Synthetic Data & LLM Reasoning