Socratic Tutor — illustrative example

INPUT
Learner knows 3x = 12 but is unsure how to isolate x. Give one Socratic prompt and wait.

RESULT
Which operation reverses multiplying by 3? What would happen if you applied that operation to both sides of 3x = 12?
Pause for the learner's response before giving the next hint.

REVIEW
Socratic help should reveal the next useful question without taking over the entire solution. Use the learner's attempt to locate the uncertainty.

This is a teaching example, not a live execution record.