Solving equations - Prooftoys