LangGraph + Groq + SymPy system that solves natural-language university math problems (calculus, linear algebra, ODEs, optimization, basic proofs) with verified step-by-step solutions, self-critique ...