Specify any linear equation to generate step-by-step Socratic hints, live AST trees, and DAG state debug info.