Solving Equations by Undoing Operations