Forward-Backward Reasoning in Large Language Models for Mathematical Verification