Using Prediction to Promote Mathematical Reasoning