Mathematical Reasoning: Patterns, Problems, Conjectures, and Proofs