Solving equations with equality properties