The solver shows an inequality display at the top with a blinking yellow caret marking the cursor position. Click anywhere in the display to place the cursor, or use arrow keys, Home, and End for keyboard navigation. Type directly or use the button panel below.
Three quick experiments:
• Type ∣x−3∣<5 and press Enter — the right panel rewrites as −5<x−3<5, solves both sides, and reports the compound inequality −2<x<8 with the interval (−2,8). • Click the "Simple Greater Than" example template — an inequality like ∣x+2∣>4 loads. The solver rewrites as a union, x+2<−4 or x+2>4, and reports the union answer x<−6 or x>2. • Try the "No Solution" template — an inequality with a negative right side loads. The solver detects the impossibility immediately and reports no solution.
The Solve button is disabled until you enter something. The special row includes the absolute value bars button (rendered as ∣∣).
Building Inequalities with Buttons and Keyboard
The button panel groups inputs by type. All inputs can be made either by clicking or typing on the keyboard.
• Variable row — x, y, n. • Number row — digits 0 through 9 and the decimal point. • Operator row — multiplication, division, plus, minus. • Ineq row — the four inequality symbols. • Special row — absolute value bars and parentheses.
The absolute value bars button inserts a single ∣ character; click it twice to surround an expression. Keyboard users can type the vertical-bar character directly. For multi-term expressions inside the bars, type the terms between the two bars: ∣2x+1∣.
Keyboard shortcuts: type letters and digits directly, use star or slash for multiplication and division, type < and > directly, type <= or >= to insert ≤ and ≥, type the vertical bar for absolute value, and press Enter to solve. Ctrl+Z undoes up to fifty edits back.
Try an Example — Eight Form Templates
Click the "Try an Example" header to expand the template panel. Each card generates a random inequality of that form. Clicking again produces a new random version.
• Simple Less Than — ∣x+a∣<b. The compound case with coefficient 1 on the variable. • Simple Greater Than — ∣x+a∣>b. The union case with coefficient 1. • Less or Equal — ∣ax+b∣≤c. Non-strict compound case with bracketed endpoints. • Greater or Equal — ∣ax+b∣≥c. Non-strict union case with bracketed endpoints. • Isolate First — ∣x+a∣+b<c. Requires subtracting b before applying the case split. • Coefficient Outside — a⋅∣x+b∣>c. Requires dividing by a before applying the case split. • No Solution — ∣expression∣< negative. Tests the impossible-case branch. • All Reals — ∣expression∣≥0. Tests the always-true branch.
Roughly 80 percent of generated inequalities produce clean integer boundary values.
Reading the Step-by-Step Solution
The solution panel shows each algebraic move as a labeled step. The exact sequence depends on the structural case.
• Rearrange (when applicable) — if the absolute value is on the right, the solver swaps sides and flips the direction. • Isolate Absolute Value — subtracts an additive constant or divides by a coefficient outside the bars to leave ∣expression∣□c alone on one side. Dividing by a negative coefficient flips the direction. • No Solution or All Real Numbers (for special cases) — handles negative right sides and zero edge cases without applying the case split. • Compound Inequality (for less-than form) — rewrites ∣A∣<c as −c<A<c. • Union of Two Inequalities (for greater-than form) — rewrites ∣A∣>c as A<−c or A>c. • Solve Both Sides (compound) or Solve Both Branches (union) — finishes each linear sub-inequality. • Solution Interval or Solution — states the final compound or union answer.
The final-answer card shows the answer in three forms: the inequality form (a<x<b or x<a or x>b), a plain-language note about the bounds, and the interval notation.
The Two Cases — Why They Work
Every absolute value inequality reduces to one of two structural cases. Knowing which one is half the work.
Case 1: $|A| < c$ becomes a compound inequality (AND). The absolute value of A is less than c exactly when A is closer to zero than c units. That is, A lies in the open interval from −c to c:
∣A∣<c⟺−c<A<c
Geometrically: on the number line, ∣A∣ is the distance from zero, so ∣A∣<c means "within c of zero".
Case 2: $|A| > c$ becomes a union (OR). The absolute value of A is greater than c exactly when A is farther from zero than c units. That is, A lies outside the interval from −c to c:
∣A∣>c⟺A<−c or A>c
Geometrically: on the number line, "more than c away from zero" means either far to the left or far to the right.
Non-strict variants. The strict < and > produce open endpoints; the non-strict ≤ and ≥ produce closed endpoints. So ∣A∣≤c becomes −c≤A≤c (closed interval), and ∣A∣≥c becomes A≤−c or A≥c (union with closed endpoints).
Edge cases when $c \leq 0$.
• ∣A∣<c with c≤0: impossible because ∣A∣≥0 never lies below a non-positive number. • ∣A∣>c with c<0: always true because ∣A∣≥0>c. • ∣A∣≤0: only when A=0, giving a single point. • ∣A∣≥0: always true. • ∣A∣>0: all reals except where A=0. • ∣A∣<0: no solution.
For deeper coverage see absolute value inequality and compound inequality.
What is an Absolute Value Inequality?
An absolute value inequality is an inequality containing an expression inside absolute value bars compared to another quantity. The standard form is
∣f(x)∣□c
where f(x) is a linear expression (usually ax+b), c is a real number, and □ is one of <, >, ≤, ≥.
Solution shapes. Depending on the inequality direction and the sign of c, the solution takes one of several forms:
• A bounded interval (compound) — less-than form with c>0. Example: ∣x∣<3 gives −3<x<3. • A union of two rays — greater-than form with c>0. Example: ∣x∣>3 gives x<−3 or x>3. • A single point — non-strict less-than with c=0. Example: ∣x−5∣≤0 gives x=5. • All reals except one point — strict greater-than with c=0. Example: ∣x∣>0 gives all x=0. • All real numbers — greater-than form with c≤0 (and non-strict c=0). • No solution — less-than form with c≤0 (and strict c=0).
Geometric meaning.∣x−a∣ is the distance from x to a on the number line. So ∣x−a∣<c means "x is within c of a" (an interval centered at a), and ∣x−a∣>c means "x is more than c from a" (the complement, two rays extending outward).
Standard form for non-trivial cases. Once isolated to ∣ax+b∣□c with c>0, the linear-isolation case split applies cleanly: compound for less-than, union for greater-than.
For deeper coverage see absolute value inequality, absolute value, and interval notation.
The Solving Process Explained
Four stages handle any standard absolute value inequality.
• Stage 1: Isolate the absolute value. Subtract any constants added to the absolute value expression. Divide by any coefficient multiplying it (flipping the direction once if the coefficient is negative). The goal is to reach the form ∣f(x)∣□c where c is a constant.
• Stage 2: Examine the right side.
• $c < 0$ with less-than form: no solution. • $c < 0$ with greater-than form: all real numbers. • $c = 0$, special cases: single point (non-strict less-than), all reals except a point (strict greater-than), no solution (strict less-than), all reals (non-strict greater-than). • $c > 0$: proceed to stage 3.
• Stage 3: Apply the case split.
• Less-than form ($|A| < c$ or $|A| \leq c$): rewrite as the compound inequality −c□A□c with the same strictness on both sides. • Greater-than form ($|A| > c$ or $|A| \geq c$): rewrite as the union A□−c or A□c with the appropriate strictness.
• Stage 4: Solve the resulting linear sub-inequalities. For compound form, isolate the variable in the middle by performing the same operation on all three parts. For union form, solve each branch independently. Direction flips once in each branch if the linear coefficient is negative.
The implementation. Internally, the solver collects linear terms inside the absolute value to extract coefficient a and constant b. It then performs the case split symbolically, solves each sub-inequality, and assembles the final answer in the appropriate compound, union, point, or special-case form. The final-answer card adapts to the matched branch.
For comprehensive treatment see solving absolute value inequalities and case analysis.
Related Concepts
Absolute Value — the distance from zero on the number line. Defined piecewise as x if x≥0 and −x if x<0. The foundational concept for any absolute value inequality.
Absolute Value Equation — the equality counterpart ∣f(x)∣=c. Solves by splitting into two cases (f(x)=c and f(x)=−c) rather than the compound or union form of the inequality.
Compound Inequality — a chain like −c<A<c that captures a bounded region. Arises naturally from less-than absolute value inequalities.
Union of Inequalities — two inequalities joined by "or", producing a disconnected solution set. Arises naturally from greater-than absolute value inequalities.
Interval Notation — the standard way to write the solution. Parentheses for strict bounds, brackets for non-strict, the union symbol ∪ for disconnected pieces.
Linear Inequality — the inequality type that the post-case-split sub-inequalities are. The solver routes each branch through standard linear-inequality logic.
Distance on the Number Line — the geometric interpretation. ∣x−a∣<c asks for points within distance c of a; ∣x−a∣>c asks for points farther than c from a. This perspective makes absolute value inequalities intuitive.
Triangle Inequality — the fundamental relation ∣x+y∣≤∣x∣+∣y∣. The cornerstone result connecting absolute value to addition; appears throughout analysis.
Piecewise Function — the formal way to define the absolute value function. The absolute value is the canonical example, splitting at x=0.
Quadratic Inequality — squaring both sides of ∣f(x)∣>c gives f(x)2>c2, a quadratic inequality with the same solution set when c≥0. An alternative solving path for some problems, though usually less direct than the case split.
Modulus — the generalization to complex numbers. ∣a+bi∣=a2+b2. Real absolute value is the special case where the imaginary part is zero.
Number Line Graphing — the geometric representation of the solution. A compound solution is a single shaded segment; a union solution is two shaded rays extending outward.