Checking Solutions to Equations