How do you check solutions to equations with variables on both sides?