Equation Rearranger — illustrative example

INPUT
Rearrange y = ax + b to solve for x.

RESULT
x = (y − b) / a, provided a is not zero.

REVIEW
Rearrangement must preserve equality and respect operations that are not always reversible. State conditions such as a denominator being nonzero.

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