Linear Equation Calculator
Solve ax + b = rhs for x. Identity and inconsistent cases when a = 0. Inequality /linear-inequality. Absolute value /absolute-value. Not the quadratic formula. Runs locally.
Enter values to calculate.
Trust summary CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes
- Input interpretation
- Enter values to calculate.
- Result
- —
- Verified scope
- all published modes
- Assurance
- Core
- Declared partition coverage
- PASS · 7/7 declared partitions (solve, inequality, abs, abs-inequality, rational, rational-inequality, invalid-domain) · Matrix
- Known limitations
- Core CVP does not include live graph, viewport, or pointer interaction.
- Model
- x in ax + b = rhs.
- Scope
- Degree 1 only
- Verification
- Engine tested · Source checked · v1.5.0 · CVP VERIFIED · CVP protocol 1.0.0-proposed · Core assurance · all published modes· View Manifest · CVP overview · Specification
- Versions
- Calculation 1.5.0 · CVP protocol 1.0.0-proposed · Evidence 2026-09-22.discrete-algebra-cvp
- Verification revision
- 2026-09-22.discrete-algebra-cvp · 3/3 property · digest b48961b2e1e8
- Legacy regression
- 18/18 tests · Production surface contract 6/6
- Trust layers
- Verification VERIFIED · Production CURRENT · Overall CVP state: VERIFIED under CVP 1.0.0-proposed
- Reference
- O1 model · O2 expected_values · O2 numerical_behavior
- Interfaces
- PASS · UI (SSR) / REST / MCP
- Supplemental domain review
- Not performed
- Named expert review
- Not performed
- CVP suite
- 9/9 golden · 3/3 CVP boundary · 6/6 invalid · 3/3 property · 5/5 cross-interface · 1/1 cross-calculator · 6/6 CVP contract · Manifest
- Sources
- ISO 80000-2:2019 Quantities and units — Mathematics
- CRC Standard Mathematical Tables — linear equations, absolute value, and linear rational equations
- Evidence
- 7 legacy golden · 3 legacy boundary · legacy regression suite · 9/9 oracle-backed golden · 6/6 invalid · Artifact integrity PASS
- Semantic contract
- PASS
Full verification
Formulas
Core equations used by this calculator.
How to use
Enter a, b, and rhs
b may be 0. rhs is the right-hand side (REST also accepts c).
Read x or the status
success, infinite, or inconsistent.
Example calculations
Common configurations with formula and result.
One solution
2x + 3 = 11
Identity
0x + 5 = 5
Linear Equation calculator specification
Version 1.5.0 · Engine tested
- Engine tested 18/18 tests · Production surface contract 6/6
- Named expert review Not performed
- Calculation version 1.5.0
- Definition
- A linear equation in one unknown has the form ax + b = rhs. If a ≠ 0 there is exactly one solution x = (rhs − b)/a.
- What it calculates
- x in ax + b = rhs.
- Inputs
- a
- b?
- rhs
- Outputs
- x
- status
- Formula
x = (rhs − b) / a- Assumptions
- Degree 1 only
- Not quadratic
- Units
- dimensionless
- Boundary conditions
- missing a or rhs → MISSING_REQUIRED_INPUT
- unknown mode → INVALID_MODE
- Example
- a=2 b=3 rhs=11 → x=4
- Validation cases
2 published on this page · 18/18 tests · Production surface contract 6/6 · View evidence
- a=2 b=3 rhs=11 → x=4
- a=0 b=5 rhs=5 → status=infinite
- Sources
- ISO 80000-2:2019 Quantities and units — MathematicsSupports: Linear equation ax + b = rhs and inequality notation in one unknown
- CRC Standard Mathematical Tables — linear equations, absolute value, and linear rational equationsSupports: x = (rhs − b)/a; |ax+b| = rhs has two roots when rhs > 0; (ax+b)/(cx+d) = rhs clears to a linear equation excluding the pole
- ISO 80000-2:2019 Quantities and units — Mathematics
- Calculation version
- 1.5.0
Related tools
Other calculators in this family: Absolute Value Calculator, Absolute Value Inequality Calculator, Cubic Equation Calculator, Linear Inequality Calculator, Polynomial Evaluate Calculator, Polynomial Roots Calculator, Quadratic Formula Calculator, Quadratic Inequality Calculator . Explore all Algebra & Equations.
Frequently asked questions
Key distinctions behind the calculation.
Is this the quadratic formula?
No. Quadratics are /calc/math/quadratic. This page is degree 1.
Where is the inequality?
/calc/math/linear-inequality is mode=inequality on this same engine.
Where is absolute value?
/calc/math/absolute-value is mode=abs on this same engine: |ax + b| = rhs. The inequality is /absolute-value-inequality. (ax+b)/(cx+d)=rhs is /rational-equation. The inequality is /rational-inequality.
Where does this run?
Locally in the browser by default. REST and MCP call the same linear-equation engine.