Sal checks whether (-1,7) is a solution of the system: x+2y=13 and 3x-y=-11.
License: CC BY-NC-SA by Khan Academy