4.1 Solving and Verifying First-Degree Equations