Solving equations by substitution