Mathematical Reasoning F