Supported algebra
This pilot handles expanded equations such as 3x - 7 = 11, x^2 - 5x + 6 = 0, identities and contradictions. It rejects parentheses, variable denominators, systems and unsupported variables until those paths have dedicated validation.
Why the boundary matters
A narrow solver that explains its scope is safer than a broad interface returning a fixed or unverified answer.