Algebra • Symbolic Computation

Algebraic Equation Solver

Resolve linear, quadratic, polynomial, rational, and radical equations with complete step-by-step mathematical rigor. Isolate unknown variables, compute exact real and complex roots, evaluate discriminants, and verify solutions on an interactive Cartesian plane.

Reviewed by Sanjay Samanta & Academic Review Board

Last Updated: September 2026

Verified Accurate: Abstract Algebra & Numerical Analysis

SYMBOLIC EQUATION ENGINE Solution Verified

Interactive Algebra Equation Solver

Curriculum Presets: Click to load & solve

Enter Any Algebraic Equation (with "=" sign):

Variable: x

Equation Classification:

Linear Equation in One Variable (Degree 1)

Solution Set Nature:

Unique Real Solution

Exact Mathematical Solution:

x = −7

Decimal: x = −7.000000

LHS = RHS Verified

Step-by-Step Algebraic Solution

Formal Mathematical Derivation

Geometric Interpretation: Curve Intersections & Roots

Visualizing the solution as the intersection of y = LHS and y = RHS on the Cartesian coordinate plane.

y = LHS

y = RHS

Solution Root (Intersection)

Direct Answer & Overview

Verified Educational Guide

The Universal Foundation of Equation Solving

To solve an equation is to determine all values in the replacement set of an unknown variable that satisfy the mathematical equality predicate LHS = RHS. By applying reversible field transformations—distributing scalar factors, clearing common denominators, transposing terms via the addition property, and dividing by non-zero coefficients—the equation condenses into its explicit canonical root representation.

Primary Mathematical Formula Universal Root-Finding Equivalence

Standard Equation

ƒ(x)

Q.E.D.

f(x) = g(x) iff f(x) - g(x) = 0 implies x in ext{Roots}

Preserves solution set invariance • Applicable across real and complex domains

Exact Formula

Input Parameters

Required

Left-Hand Side Expression (LHS): Linear, polynomial, rational, or radical expressions.

Right-Hand Side Expression (RHS): Constants, polynomials, or algebraic functions.

Expected Outputs

Calculated

Canonical Reduced Form: Standard polynomial or isolated linear statement.

Exact Solution Set: Real and complex roots {x₁, x₂, ...}.

Solution Classification: Conditional, Identity (infinitely many), or Inconsistent (empty set).

Worked Numerical Example

Instant Verification

Solve 5(2x - 3) + 4 = 3(x + 5) - 2

→ Step 1: Distribute: 10x - 15 + 4 = 3x + 15 - 2 → 10x - 11 = 3x + 13. Step 2: Transpose: 7x = 24. Step 3: Divide by 7: x = 24/7.

x = 24/7 ≈ 3.4286

Epistemology & Foundations of Algebraic Equation Solving

At its mathematical core, an equation is not merely an algorithmic calculation to execute; it is an open logical proposition or propositional function asserting that two formal mathematical expressions evaluate to the exact same numerical quantity under a shared universe of discourse. The act of solving an equation represents the systematic derivation of the truth set (or solution set) $S \subseteq \mathbb{C}$ consisting of every value that renders the statement objectively true:

S = { x \in \mathbb{C} \mid \text{LHS}(x) = \text{RHS}(x) }

The historical development of equation solving represents the dawn of modern mathematical abstraction. Dating from early Babylonian quadratic tablets and Diophantus's Arithmetica to Muhammad ibn Mūsā al-Khwārizmī's foundational 9th-century treatise on completion and balancing, mathematicians sought formal rules to manipulate equations without corrupting the underlying truth set. For preliminary algebraic term reduction before solving, review our companion Equation Simplifier.

In contemporary analysis, the process of solving an equation is formalized through the concept of equivalence transformations. An operation is an equivalence transformation if and only if it represents a bijection that maps an equation $E_1$ to an equation $E_2$ such that $S(E_1) \equiv S(E_2)$. While reversible operations (such as adding a constant to both sides or multiplying by a non-zero scalar) preserve solution set invariance, irreversible operations (such as squaring both sides or multiplying by expressions containing the variable) can generate extraneous solutions or destroy valid roots.

The Axiomatic Hierarchy of Equations: Linear to Transcendental

Equations are rigorously classified by their algebraic structure, highest degree, variable geometry, and operational complexity. Before embarking on a solution, analyzing the equation's type dictates the exact mathematical tools required. To automatically diagnose an unknown equation format, explore our specialized Equation Type Identifier.

Equation Category	Canonical Standard Form	Maximum Degree / Structure	Fundamental Solution Strategy
Linear Equation	ax + b = 0 (a ≠ 0)	Degree 1 (One Root)	Direct isolation via inverse operations: x = -b/a.
Quadratic Equation	ax² + bx + c = 0	Degree 2 (Two Roots in ℂ)	Factoring, completing the square, or quadratic formula.
Cubic Polynomial	ax³ + bx² + cx + d = 0	Degree 3 (Three Roots in ℂ)	Rational Root Theorem, synthetic division, or Cardano's formula.
Rational Equation	P(x) / Q(x) = 0	Ratio of Polynomials	Multiply by global LCD; discard roots where Q(x) = 0.
Radical Equation	√(ax + b) = cx + d	Fractional Powers	Isolate radical, square both sides, verify for extraneous roots.
Simultaneous Systems	A·x = b	Multi-Variable Affine Space	Gaussian elimination, matrix inversion, or substitution.

The Universal Canonical Solving Pipeline

Regardless of an equation's superficial complexity, following a structured 5-stage mathematical reduction pipeline guarantees convergence to the correct solution set without introducing careless algebraic slips.

Stage 1: Domain Analysis & Denominator Elimination

Examine the equation for domain restrictions. Any rational denominator $Q(x)$ imposes the strict condition $Q(x) \neq 0$. Any even radical $\sqrt[2k]{R(x)}$ in the real numbers requires $R(x) \geq 0$. Next, determine the Least Common Denominator (LCD) of all rational terms and multiply both sides by the LCD to convert the equation into an integer polynomial expression.

Stage 2: Distributive Expansion of Grouping Symbols

Eliminate parentheses, brackets, and braces using the Distributive Property of Multiplication over Addition: $a(b + c) = ab + ac$. Pay exceptional attention to negative scalar multipliers: $-(3x - 5) = -3x + 5$.

Stage 3: Independent Like-Term Condensation

Before transposing terms across the equals sign, combine like algebraic terms on the Left-Hand Side and Right-Hand Side in strict isolation. Group variable terms of identical degree and sum constant numerical scalars.

Stage 4: Structural Classification & Root Extraction

Identify the degree of the condensed expression. If degree 1, isolate the variable $x = -b/a$. If degree 2, apply factoring or the Quadratic Formula Calculator. If degree 3 or higher, apply synthetic division or our dedicated Cubic Equation Solver.

Stage 5: Axiomatic Verification & Extraneous Root Rejection

Perform mandatory back-substitution: insert each calculated root back into the original unsimplified equation to confirm that LHS equals RHS. For multi-variable systems with simultaneous equations, verify consistency using our System of Equations Calculator.

Advanced Strategies: Factoring, Radicals, Rational Forms & Extraneous Roots

Higher-degree and non-polynomial equations demand specialized analytical techniques to reveal the complete solution manifold.

The Zero-Product Property in Factoring

The Zero-Product Property asserts that if $A \cdot B = 0$ in any integral domain (such as $\mathbb{R}$ or $\mathbb{C}$), then $A = 0$, $B = 0$, or both. Consequently, any polynomial equation transformed into standard form $P(x) = 0$ can be completely solved by factoring $P(x) = (x - r_1)(x - r_2)\dots(x - r_n) = 0$, decomposing an $n$-th degree problem into $n$ trivial first-degree equations.

The Mechanics of Extraneous Solutions

Consider the radical equation $\sqrt{x + 7} = x - 5$. Squaring both sides yields:

x + 7 = (x - 5)^2 \implies x + 7 = x^2 - 10x + 25 \implies x^2 - 11x + 18 = 0

Factoring gives $(x - 9)(x - 2) = 0$, suggesting roots $x = 9$ and $x = 2$. However, substituting $x = 2$ into the original statement yields $\sqrt{2 + 7} = 2 - 5 \implies \sqrt{9} = -3 \implies 3 = -3$, which is false. The root $x = 2$ is an extraneous root introduced by squaring, leaving $x = 9$ as the sole valid solution.

Comprehensive Step-by-Step Worked Examples

Review these seven fully articulated worked examples covering linear, quadratic, multi-bracket, rational, radical, and literal equation configurations.

Example 1: Multi-Step Linear Equation with Parentheses Distributive Reduction

Problem: Solve the linear equation 5(2x - 3) + 7 = 3(x + 6) - 4.

Step 1: Expand parentheses on both sides:

10x - 15 + 7 = 3x + 18 - 4

Step 2: Combine constant terms on each side independently:

10x - 8 = 3x + 14

Step 3: Subtract 3x from both sides:

7x - 8 = 14

Step 4: Add 8 to both sides:

7x = 22

Step 5: Divide by 7:

x = 22/7 ≈ 3.142857

Example 2: Quadratic Equation via the Quadratic Formula Discriminant Analysis

Problem: Solve 3x² - 10x + 3 = 0.

Step 1: Identify coefficients: a = 3, b = -10, c = 3.

Step 2: Compute the discriminant Δ:

Δ = b² - 4ac = (-10)² - 4(3)(3) = 100 - 36 = 64 (Positive > 0, two real rational roots).

Step 3: Apply the quadratic formula:

x = [-(-10) ± √64] / [2(3)] = [10 ± 8] / 6

x₁ = (10 + 8) / 6 = 18/6 = 3

x₂ = (10 - 8) / 6 = 2/6 = 1/3

Verification: 3(3)² - 10(3) + 3 = 27 - 30 + 3 = 0. Valid!

Example 3: Equation with Rational Fractions LCD Elimination

Problem: Solve (3x - 1) / 4 - (x + 2) / 3 = 1/2.

Step 1: Compute the Least Common Denominator of 4, 3, and 2: LCD = 12.

Step 2: Multiply every term by 12:

12 · [(3x - 1)/4] - 12 · [(x + 2)/3] = 12 · (1/2)

3(3x - 1) - 4(x + 2) = 6

Step 3: Expand parentheses (watch the negative sign on -4):

9x - 3 - 4x - 8 = 6

Step 4: Combine like terms:

5x - 11 = 6 &implies; 5x = 17 &implies; x = 17/5 = 3.4

Example 4: Radical Equation with Extraneous Root Filtering Radical Isolation

Problem: Solve √(2x + 9) - 1 = x.

Step 1: Isolate the radical term on the LHS:

√(2x + 9) = x + 1

Step 2: Square both sides:

2x + 9 = (x + 1)² &implies; 2x + 9 = x² + 2x + 1

Step 3: Rearrange into standard quadratic form:

x² = 8 &implies; x = ±√8 = ±2√2 ≈ ±2.828

Step 4: Check domain: x + 1 must be ≥ 0, so x ≥ -1. Thus, x = -2√2 is extraneous.

Valid Root: x = +2√2 ≈ 2.8284

Example 5: Equation Yielding an Identity (Infinitely Many Roots) Coincident System

Problem: Solve 4(3x - 2) + 10 = 2(6x + 1).

Step 1: Distribute on both sides:

12x - 8 + 10 = 12x + 2

Step 2: Combine constants on LHS:

12x + 2 = 12x + 2

Step 3: Subtract 12x from both sides:

2 = 2 (Reflexive Identity)

Classification: The equation is an identity. Solution set: All real numbers x ∈ ℝ (-∞, +∞).

Example 6: Inconsistent Equation (Contradiction / No Solution) Parallel Lines

Problem: Solve 7(x + 2) - 3 = 7x + 20.

Step 1: Distribute: 7x + 14 - 3 = 7x + 20

Step 2: Combine like terms: 7x + 11 = 7x + 20

Step 3: Subtract 7x from both sides:

11 = 20 (False Numerical Statement)

Classification: Inconsistent contradiction. The solution set is empty: ∅ (No real solution exists).

Example 7: Literal Equation Transposition in Physics Thermodynamics Formula

Problem: Rearrange the ideal gas equation PV = nRT to isolate temperature T.

Step 1: Identify the target variable: T.

Step 2: Note that T is multiplied by factors n and R.

Step 3: Apply the Division Property of Equality by dividing both sides by nR:

T = (PV) / (nR)

Computational, Physical, and Economic Applications

Algebraic equation solving is the foundational computational pillar supporting engineering design, computational physics, and modern quantitative finance.

Aerospace Engineering: Trajectory Mechanics

Rocket thrust and aerodynamic drag balance equations dictate orbit insertion velocities. Equating kinetic energy and gravitational potential energy yields the escape velocity equation $v_e = \sqrt{2GM/R}$, resolved as a radical equation.

Electrical Engineering: AC Circuit Impedance

Analyzing resonant RLC circuits requires solving the quadratic characteristic frequency equation $s^2 + (R/L)s + 1/(LC) = 0$. The roots determine whether the electrical circuit is underdamped, critically damped, or overdamped.

Computer Graphics: Ray-Sphere Intersections

In modern ray-tracing engines, calculating whether a light ray intersects a 3D spherical object reduces to solving the quadratic equation $\|P(t) - C\|^2 = r^2$. The discriminant determines whether the ray hits, grazes, or misses the geometric primitive.

Quantitative Finance: Internal Rate of Return (IRR)

Determining the IRR of a capital investment project requires solving the polynomial equation $\sum C_t / (1 + r)^t = 0$. Solving for discount rate $r$ guides corporate capital allocation and venture investments.

Common Student Traps & Diagnostic Error Matrix

The diagnostic matrix below catalogs the most prevalent misconceptions in equation solving, explains their mathematical hazards, and prescribes correct protocols.

Algebraic Misconception	Flawed Procedure	Axiomatic Correct Action
Dividing by Variable Expressions	Given $x^2 = 7x$, dividing by $x$ to conclude $x = 7$.	Dividing by $x$ erroneously discards the root $x = 0$. Transpose to $x^2 - 7x = 0$ and factor as $x(x - 7) = 0 \implies x \in {0, 7}.
Ignoring Extraneous Roots After Squaring	Squaring both sides of a radical equation and accepting all algebraic roots without checking.	Squaring introduces artificial roots. Substitute all candidates back into the original un-squared radical equation.
Incomplete Denominator Clearing	Multiplying only fractional terms by the LCD while failing to multiply integer constants.	The Multiplication Property requires scaling every single term on both sides of the equality by the LCD.
Negative Sign Distribution Traps	Expanding $-(2x - 9)$ as $-2x - 9$.	A leading negative sign negates every interior term: $-(2x - 9) = -2x + 9$.

Fact-Checked & Verified • Computational Accuracy Standards

Updated September 2026 • Editorial Policy

Authored By

Sanjay Samanta

Lead Developer & Founder of Basic Math Tools. Specializes in browser-native computational algorithms and applied mathematics.

Reviewed & Verified By

Academic Review Board

Mathematics & curriculum specialists. Audited against standard algebraic and arithmetic principles.

Found an error or have an improvement suggestion? Report a calculation issue

Frequently Asked Questions

What is an equation solver in algebra?

An equation solver is an algorithmic and symbolic mathematical engine that determines the set of all numerical values (the solution set or roots) that make an algebraic equality predicate true. It systematically applies field axioms, properties of equality, factoring theorems, and inverse operations to isolate the unknown variable.

How do you solve linear equations step-by-step?

To solve a linear equation: 1) Eliminate grouping symbols using the distributive law; 2) Clear rational fractions by multiplying every term by the least common denominator (LCD); 3) Combine like terms on both sides independently; 4) Use addition or subtraction to collect all variable terms on one side and constant terms on the other; 5) Divide by the variable coefficient to isolate x.

What is the difference between a conditional equation, an identity, and a contradiction?

A conditional equation is true only for specific values of the variable (e.g., 2x = 6 is true only when x = 3). An identity is universally true for all real numbers within its domain (e.g., 2(x + 1) = 2x + 2 simplifies to 0 = 0, yielding infinitely many solutions). An inconsistent equation or contradiction is false for all values (e.g., x + 2 = x + 5 simplifies to 2 = 5, yielding the empty set ∅ with zero solutions).

Why do extraneous solutions occur when solving radical or rational equations?

Extraneous solutions occur when non-invertible operations are applied to an equation. Squaring both sides of an equation (which maps both 5 and -5 to 25) can introduce artificial roots that satisfy the squared equation but violate the original radical statement. Similarly, multiplying by a denominator that equals zero introduces invalid roots. Rigorous back-substitution verification into the original equation is mandatory to detect and discard extraneous solutions.

How does this solver handle quadratic equations?

For quadratic equations in standard form ax² + bx + c = 0, the solver first evaluates the discriminant Δ = b² - 4ac. If Δ > 0, it extracts two distinct real roots; if Δ = 0, it yields a repeated real root of multiplicity two; if Δ < 0, it computes conjugate complex roots using the quadratic formula x = (-b ± i√|Δ|) / (2a).

Can this equation solver handle equations with fractions and decimals?

Yes. The solver accepts rational fractions, decimals, and algebraic terms. It converts rational expressions by computing the least common denominator and displays both exact fractional forms (e.g., 17/6) and high-precision floating-point decimal approximations.

What is the Fundamental Theorem of Algebra?

Formulated by Carl Friedrich Gauss, the Fundamental Theorem of Algebra states that every non-zero single-variable polynomial equation of degree n with complex coefficients has exactly n complex roots, counted with algebraic multiplicity.

How are equation solvers utilized in engineering and computational science?

Equation solvers form the computational core of finite element analysis (FEA), circuit simulation (SPICE), chemical reaction kinetics, trajectory orbital mechanics, and machine learning backpropagation, enabling engineers to resolve complex multi-variable state equilibria.