Rational equation workbench

Find x, then prove it belongs.

Equivalent algebra is only half the job. Track the excluded value, test a candidate, and leave with a proof you can inspect.

Start with the equation

x7 - 6x= 1

Before transforming anything, record where the denominator is zero.

1 of 4

Visual evidence

One intersection. One forbidden line.

Left sidey = 1Excluded

Left side1.000

Right side1.000

Residual0.000

Durable output

Saved locally

Restrictionx ≠ 7/6

Transformx = 7 - 6x

Collect7x = 7

Candidatex = 1

ConclusionVerify the candidate to finish.

Next: check x = 1 against the original denominator.