Julio tested the point (4, –2) to see whether it is a solution to this system of equations.

–3x – 2y = –8,
y = 2x – 5

His work is shown below.

Negative 3 (4) minus 2 (negative 2) = negative 8. Negative 12 + 4 = negative 8. Negative 8 = negative 8. Therefore, (4, negative 2) is a solution to the system.

Did Julio verify the solution?
No. He substituted 4 and –2 for the wrong variables.
No. He did not check the point in the second equation.
No. He simplified the equation incorrectly.
Yes. He verified that (4, –2) is a solution to the system of equations.