A verification guide for testing candidate solutions in the original equation and recognizing extraneous answers.
A check uses the original problem
Solving transforms a problem; checking tests the proposed result independently. Substitute the candidate wherever the variable appears in the original equation, simplify each side separately, and compare them. Equal values mean the candidate satisfies the equation. Unequal values mean it does not.
Using the original equation matters because an error may have entered during simplification. Checking only the final transformed line can confirm your arithmetic without confirming that every earlier transformation was valid.
Check a linear solution
Suppose you solved 5x + 9 = 2x − 12 and obtained x = −7. The left side becomes 5(−7) + 9 = −35 + 9 = −26. The right side becomes 2(−7) − 12 = −14 − 12 = −26. Because both sides equal −26, the solution passes.
Write the negative candidate inside parentheses. This prevents 5 · −7 from being confused with an operation that changes only part of the expression.
Check every quadratic root
Quadratic equations can have two candidates, so test both. For x² − 5x + 6 = 0, substituting x = 2 gives 4 − 10 + 6 = 0. Substituting x = 3 gives 9 − 15 + 6 = 0. The checks establish that both values are solutions.
A successful substitution confirms membership in the solution set. Completeness—whether you found every root—comes from the solving method. For a nonzero quadratic, the degree and the chosen method justify how many complex roots are accounted for, including multiplicity.
Why extraneous solutions appear
Some transformations can introduce candidates. Squaring both sides is the classic example: x = −2 does not imply √x = √−2 over the real numbers, and the equation √(x + 2) = x can produce a candidate that fails after squaring. Multiplying by an expression that could be zero can also change the allowed domain.
That is why rational and radical equations require both domain restrictions and final substitution. A candidate is not accepted merely because it solves a later transformed equation.
Checking inequalities is different
An inequality answer is usually an interval, not a single candidate. Test one value inside the proposed interval and a value outside it, then also verify the boundary when the symbol includes equality. This is a useful diagnostic, but it does not replace the algebraic proof of the complete interval.
The strongest habit is simple: solve carefully, state domain restrictions, and check against the original statement. Treat a calculator’s verification panel as evidence you can inspect rather than a decorative badge.
A repeatable substitution-check workflow
To learn how to check algebra answers by substitution, keep the solving work and checking work visually separate. Copy the original equation, replace every occurrence of x with the candidate in parentheses, evaluate powers before multiplication, simplify the left and right sides independently, and record whether the final statement is true.
For a set of answers, repeat the full process for every candidate. This matters when you verify quadratic roots or the two branches of an absolute-value equation. One successful candidate does not prove that a second candidate works, and substitution alone does not prove that no additional solutions were missed.
- Return to the original equation and note any domain restrictions.
- Substitute the candidate in parentheses everywhere x appears.
- Simplify each side independently using the order of operations.
- Compare the final values and accept only a true statement.
- Use the solving method to justify whether the solution set is complete.
How to read an algebra solver verification panel
An algebra solver can provide two different kinds of evidence. Candidate verification shows that a stated value satisfies the original equation. Completeness evidence explains why the method found the entire supported solution set—for example, both branches of the quadratic formula or both cases of an absolute-value equation.
When you check algebra answers online, confirm the interpreted input, number domain, candidate list, and evidence rather than relying only on a green badge. If the tool refuses a rational, radical, or multivariable expression, that boundary is safer than a guessed answer. Use another established method for problem families the calculator does not claim to support.