Evaluating and verifying equations