Solving Systems by Substitution (and Checking Both Equations)