Linear Equation Solver
Solve linear equations exactly.
Entry
Typed equations or coefficients
Methods
Exact algebra and substitution
Cases
Unique, identity and contradiction
Equation inputs
Keep the equation and its exact solution together.
Enter one equals sign with an expression on each side. Use the selected variable.
Entry and display options
Each entry mode keeps its own source values when you switch modes.
Changing the variable renames its letters in the typed equation.
Use parentheses for grouping, explicit or implicit multiplication, and division by nonzero constant expressions. Multiplication and division have equal precedence and are read from left to right. Group a fractional coefficient before multiplying it by the variable. Powers, functions, multiple variables, variable denominators and nonlinear products are unsupported.
Exact solutions, classification and substitution checks do not change when this setting changes.
Numeric literals retain sixty significant decimal digits and scientific input exponents from negative one hundred through positive one hundred. Integer fractions in coefficient mode retain sixty digits per integer. Typed equations support six hundred characters, one hundred sixty arithmetic tokens and sixteen nested parentheses or unary signs. Exact numerators and denominators are bounded to eighteen hundred digits. Decimal displays use half-away-from-zero rounding and scientific notation for very large or sub-resolution nonzero values.
One solution
Decimal view
The solution set is over the real numbers. Classification uses exact coefficients, and a unique solution is checked in both original expressions. A rounded decimal display does not replace the exact fraction.
Equation as parsed
Review the grouping and operators before using the answer. Multiplication is typeset explicitly, and a fraction bar groups its full numerator and denominator.
Your equation solved step by step
Read the equation
Parse the selected variable and supported arithmetic with standard precedence. Multiplication and division are evaluated from left to right; parentheses make denominator grouping explicit.
Simplify both sides
Distribute constant factors and combine variable terms separately from constants. Finite decimal sources are exact rational values, so no display rounding enters this step.
Collect the variable terms
Subtract the right-side variable term from both sides. The remaining variable coefficient is the exact difference of the two original coefficients.
Collect the constant terms
Subtract the left constant from both sides. Applying the same operation to both sides preserves the solution set.
Divide by the nonzero coefficient
The collected coefficient is nonzero, so division produces exactly one real solution. Keep its reduced fraction before choosing a rounded decimal display.
Substitute into the original expressions
Replace every occurrence of the selected variable with the exact solution, keeping the original operations and grouping.
Verify equality exactly
Both sides evaluate to the same exact value. The left-side value minus the right-side value is zero; rounded decimal coincidence is not used as the verification test.
Inputs saved with this equation
- Entry mode
- Typed equation
- Selected variable
- x
- Typed equation
- 2x + 3 = 11
- Rounded decimal places
- 6
All result details
The table records both simplified sides and the collected equation. A unique solution adds exact substitution values and their difference. Identity and contradiction cases keep their coefficient records without inventing a numeric solution. Approximate decimal displays are marked; CSV retains every exact digit.
| Quantity | Exact value | Rounded decimal | Interpretation |
|---|---|---|---|
| Left variable coefficient | After distributing constant factors and combining like terms on the left. | ||
| Left constant | Constant term in the simplified left expression. | ||
| Right variable coefficient | After distributing constant factors and combining like terms on the right. | ||
| Right constant | Constant term in the simplified right expression. | ||
| Collected variable coefficient | Left variable coefficient minus right variable coefficient. | ||
| Isolated right constant | Right constant minus left constant. | ||
| Exact solution | Reduced rational solution; changing decimal places leaves it unchanged. | ||
| Original left side at the solution | Exact substitution into the left expression. | ||
| Original right side at the solution | Exact substitution into the right expression. | ||
| Verification difference | Original left-side value minus original right-side value. |
Entry
Typed equations or coefficients
Methods
Exact algebra and substitution
Cases
Unique, identity and contradiction
Solve an equation while preserving the reasoning behind its answer
A single exact solution
Type a complete equation or enter four side coefficients, then follow the exact collection of terms. Fractions, finite decimals and constant expressions remain rational quantities throughout the process. A unique answer is shown as a reduced fraction with a separate decimal view, followed by substitution into the original parsed expressions and an exact equality check rather than a tolerance-based numerical guess.
Variables and grouping on both sides
Work with constant factors around brackets, constant denominators and variable terms on either side of the equals sign. The equation preview makes parsed multiplication and fraction grouping visible before the working is used. Swapping sides preserves the answer, while the variable selector changes the chosen unknown letter. Independent coefficient mode helps inspect the same general form without requiring a longer typed expression.
Identities, contradictions and invalid syntax
Read a clear real-number solution set when the variable terms cancel. An identity, a contradiction and a malformed or unsupported expression are different outcomes, so the tool keeps them separate. It does not turn a zero denominator into a convenient replacement, divide by a zero collected coefficient, or silently cancel a variable denominator and lose a restriction from the original equation.
Linear equation formulas and step-by-step examples
A supported expression simplifies to a variable term and a constant. Write the two sides as and , where the coefficients are exact real rational values supplied by the entered numbers and constant arithmetic. Collecting terms gives , with and . The value of decides whether isolating a unique solution is possible.
Start with the default equation and isolate the unknown
For , the left coefficient is , the left constant is , and the right expression has zero variable coefficient and constant . Collecting the variable term leaves it unchanged, then subtracting from both sides gives . Dividing by the nonzero coefficient gives . Substitution returns , so the original left value and right value agree exactly.
Distribute a constant before collecting terms
For , distributing the factor gives . Subtracting the constant gives , and division gives . The substituted original expression is . The parentheses matter: would be a different equation. Inspect the parsed equation before using the solution, especially when entering a longer expression with several bracketed terms.
Keep fractional coefficients exact
For , the simplified sides are and . The collected coefficient is , and the isolated constant is . Therefore . Substitution gives both original sides the exact value . No rounded approximation to either fractional coefficient is needed to obtain or verify this result.
Distinguish cancellation from an invalid division
For , simplification gives , then after collecting terms. Every real value works. Replacing the final constant with gives , which has no solution. Neither case permits division by the zero collected coefficient. An expression such as instead has a variable denominator and is rejected by this grammar; treating it as an all-real identity would lose the excluded value .
Use equality-preserving steps and check the original expression
The OpenStax treatment of variables and constants on both sides explains collecting terms. Its general linear-equation strategy includes simplification, classification and checking. The examples here are independently evaluated calculations. This solver additionally states its parser limits, real-number interpretation and exact display conventions so the computed answer has a clear mathematical meaning.
Keep algebra transformations exact and their conditions visible
Precision in the operations that decide the answer
- Finite decimal digits are retained as exact rational values rather than rounded before solving.
- A tiny nonzero collected coefficient stays distinct from an exact zero.
- Both original sides are evaluated at a unique exact solution and compared directly.
- Changing decimal places affects presentation without changing coefficients, classification or verification.
Working that can be inspected and saved
- Equation entry supports familiar brackets and linear constant arithmetic with stated precedence.
- Unsupported powers, variable denominators and nonlinear products receive specific validation messages.
- Identity and contradiction outcomes explain why a single numeric answer is unavailable.
- Source records, complete CSV, copying, sharing and print keep the problem attached to its method.
Equation support for practice, teaching and checking a rearrangement
Students building algebra confidence
Compare the entered equation with its simplified sides, then inspect how variable terms and constants are collected. Preset examples include brackets, fractions, an identity and a contradiction. A substitution check connects the isolated answer back to the original problem. Use the worked transformations to explain the solution independently instead of relying only on the headline value.
Teachers presenting contrasting cases
Change coefficients to move between one solution, no solution and all real solutions. Closely spaced decimal coefficients demonstrate why an exact zero matters. The coefficient mode makes those changes easy to isolate, while typed mode shows familiar classroom notation. Print or share an example with its active inputs so another learner can inspect the same assumptions and reproduce the working.
People checking a one-unknown model
Enter a linear balance, simple cost relationship or other equation after defining its units and variable. The solver checks mathematical equality for the entered expressions; it does not choose the model or verify external measurements. Keep the exact source record when using fractional or small coefficients, and check whether the selected real-number domain matches the practical interpretation of the problem.
How it works in three quick steps.
Choose typed equation or coefficient entry
Type a complete equation with one equals sign, or enter the variable coefficient and constant for each side. Select the unknown letter before reviewing the result. Typed input supports parentheses and constant arithmetic as well as variable terms on both sides. The two entry modes keep their own source values when switched, and example buttons load distinct worked situations.
Review the parsed equation and exact classification
Check the typeset grouping before using the result. The solver simplifies each side, collects variable terms and constants, then classifies the exact collected equation. A nonzero coefficient produces one solution; a zero coefficient produces either an identity or a contradiction. Invalid syntax, nonlinear products, variable denominators and division by zero receive an input error instead of a fabricated answer.
Check substitution and save the full working
For a unique solution, compare the original left and right expressions evaluated at the exact answer. Their difference must be exactly zero. Choose a rounded decimal display separately from the reduced fraction. Copy a summary, share active settings, download all exact table rows or print the source record and algebra. The browser print dialog can save the same record as a PDF.
Keep the entered equation, solution set and verification together
Download every exact table value
CSV retains active sources, the classification, simplified side coefficients, collected values and any unique solution with its substitution checks. The method record also preserves plain-text versions of the algebra steps. Large reduced numerators and denominators remain complete strings, avoiding an early conversion to binary floating-point values. Import unusually large exact columns as text when using spreadsheet software that would otherwise round them.
Print the method or save a PDF
Review the browser print preview before saving or printing. Navigation and editing controls are removed, while the outcome, typeset equation, transformation steps, source record and complete native table remain. Landscape orientation gives explanatory table columns more room. Extremely long exact expressions use an explicit compact notice on paper; retain the CSV alongside the PDF when the full digits are needed for those cases.
Share a reproducible algebra example
Share equation stores the active validated mode and source strings in a URL fragment, keeping the page canonical unchanged. A recipient can reopen and edit the same supported equation. Section links move focus without overwriting the shared fragment, and Reset clears it while restoring the original example. Copy summary provides a plain-text alternative for notes or messages when an editable link is unnecessary.
Frequently Asked Questions
Which linear equations can this solver handle?
How does the solver work when the variable is on both sides?
Can I enter brackets, fractions and decimal coefficients?
What do multiplication and division mean in typed input?
When does an equation have no solution or infinitely many solutions?
Why are variable denominators and nonlinear products rejected?
How is a unique solution checked?
Can I change the unknown, swap sides or switch input modes?
What input size and decimal accuracy are supported?
Can I save the exact solution and its steps?
About this exact one-variable linear equation solver
Toolarithm's Linear Equation Solver connects a source equation to a complete solution classification. A familiar two-step exercise is one use case, but variable terms on both sides, fractional constants and bracketed expressions require the same underlying care: preserve equality while simplifying and keep the original problem available for checking. The typed and coefficient entry modes expose those relationships from two perspectives, with independent source values so an editor change does not silently rewrite an unrelated input mode.
The calculation engine represents supported numeric sources as exact rational values. It reduces every supported expression to a variable coefficient and a constant, subtracts the right coefficient and left constant, then checks the resulting equation before dividing. A nonzero coefficient gives one exact solution. A zero coefficient leads to either an identity or a contradiction, depending on the isolated constant. Classification therefore does not depend on a floating-point tolerance or a rounded decimal display that could hide a meaningful difference.
A unique solution is substituted back into the original parsed operations, and the exact values of both sides are retained with their difference. The grammar deliberately excludes operations that would require a wider algebra system or extra domain tracking, including variable denominators and nonlinear intermediate products. This keeps the promised real-number interpretation explicit. Accessible LaTeX and MathML carry the symbolic working in both server-rendered default content and interactive results. Source records, plain copying, editable links, full CSV and print give the saved answer enough context to remain reviewable after the original session.
Who maintains this page
Ownership and review
Written and maintained by the Toolarithm editorial team. No review date is shown without a maintained editorial record. No independent professional review is claimed.
Methodology
Equations are checked by substituting worked examples into the stated relationship and comparing the result with the interactive implementation.
Read the editorial methodologyDates and sources
Review dates change only after a substantive method or content check.
Keep building