Build the inequality in the display at the top: click the Var, Num and Op buttons, one of the four Ineq symbols and the brackets, or type on the keyboard; click inside the display to move the caret. Learn more about building inequalities
Clear empties the display, the curved arrow undoes the last edit and the ⌫ button deletes the character before the caret. Learn more about editing
Click Solve, or press Enter in the display, once the inequality is complete; an expression without an inequality symbol is refused. Learn more about solving
The right panel lists the moves, with a separate step whenever the sign flips, and the answer card gives the inequality, a plain-language note and the interval; the box under the solver explains the method. Learn more about the solution
An inequality whose variable cancels ends in All real numbers or No solution instead of a ray. Learn more about these cases
<
Solve linear inequalities step by step
Enter inequality...
Var
Num
Op
Ineq
Select an inequality type or enter your own, then click Solve to see the step-by-step solution.
How the solver works
The solver reads one linear inequality in x, y or n with <, >, leq or geq, expands brackets and collects the terms, moves the variable terms to the left and the constants to the right, and divides by the coefficient, flipping the sign when that coefficient is negative. The answer is a ray, given as an inequality and as an interval; when the variable cancels the inequality is always true or never true. Learn more about linear inequalities
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 2x+3<11 and press Enter — the right panel shows the isolation steps and the answer x<4 together with the interval (−∞,4). • Click the "Negative Coefficient" example template — an inequality with a negative coefficient on the variable loads. Watch the solver flip the inequality sign during the divide-by-negative step. • Try the "Always True" template to see the case where the variable cancels and the inequality reduces to a true statement, giving all real numbers as the solution.
The Solve button is disabled until you enter something. Pressing Enter on the display is equivalent to clicking Solve. The dedicated "Ineq" row in the button panel inserts the four inequality symbols: <, >, ≤, ≥. An expression without one of them is refused with "Input must be an inequality (use <, >, ≤, or ≥)", and a squared variable with "This inequality is not linear". What makes an inequality linear is explained in what is a linear inequality.
Building Inequalities with Buttons and Keyboard
DemoA negative coefficient, undo, delete, the flip
Step 0 of 4
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, highlighted in amber to distinguish them from the binary operators. • Bracket row — parentheses for grouping subexpressions.
Keyboard shortcuts: type letters and digits directly, use star or slash for multiplication and division, type < and > directly, type <= or >= to insert the combined symbols ≤ and ≥, and press Enter to solve. Ctrl+Z undoes up to fifty edits back; Backspace deletes the character before the cursor; Delete removes the one after it.
The Clear button empties the display entirely; the curved-arrow button steps through the undo stack one edit at a time. The backspace icon on the action row deletes one character to the left of the cursor. −3x+7<16 is typed with the minus button first; its solution x>−3 shows the sign flip. Why the flip is needed is explained in the direction-flip rule.
Try an Example — Eight Form Templates
DemoOpen the templates, load two forms
Step 0 of 4
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.
• One Step — x+a<b. Single addition or subtraction move to isolate. • Two Step — ax+b>c. Two moves: subtract the constant, then divide by the coefficient. • Negative Coefficient — −ax+b≤c. Exercises the direction-flip rule during the divide step. • Variables Both Sides — ax+b≥cx+d. Requires first collecting the variable terms on one side. • Distributive — a(x+b)<c. Tests distribution before isolation. • Negative Distributive — −a(x+b)>c. Both distribution and direction-flip together. • Fraction Coefficient — x/a+b≤c. The coefficient appears as a division by a, but division by a positive constant does not flip direction. • Always True — ax+b<ax+c with b<c. The variable cancels and the inequality reduces to a true constant statement.
Roughly 80 percent of generated inequalities produce clean integer solutions; the remaining 20 percent exercise unusual or decimal cases. Loading a template clears the previous solution; click Solve to work the new inequality. The four moves applied to every template are listed in the solving process explained.
Reading the Step-by-Step Solution
DemoVariables on both sides, then no solution
Step 0 of 3
The solution panel shows each algebraic move as a labeled step. The labels reflect what the solver did, not just what the result is.
• Identify Terms — restates the inequality with the variable coefficient and the constant on each side called out explicitly. • Move Variable Terms to Left (when both sides contain the variable) — collects the variable on the left side. • Move Constants to Right — isolates the variable term on the left and the constant on the right. • Divide by Negative Coefficient (when applicable) — explicitly notes that the inequality direction flips because the coefficient is negative. • Divide by Coefficient (when positive and not 1) — standard division with no flip. • Always True or Never True (when applicable) — the variable cancels and the remaining statement determines whether all real numbers or no values satisfy the inequality.
The final-answer card at the bottom shows the answer in three forms: the inequality form (x<c), a plain-language note ("x is less than c"), and the interval notation (such as (−∞,c)). 3x−1≥x+5 collects the variable on the left and ends in x≥3, the interval [3,∞); x+1<x cancels the variable and ends in No solution. The box under the solver, How the solver works, summarises the method in a few lines and links to the theory below; the moves themselves are set out in the solving process explained. For empty solution sets the interval is the empty set ∅; for all reals it is (−∞,∞).
The Direction-Flip Rule — Why It Works
Inequalities behave like equations under addition and subtraction but differently under multiplication and division by a negative number.
The principle. Negation reverses order on the number line. If a<b then −a>−b. The smaller number, once negated, becomes the larger. Multiplying or dividing both sides of an inequality by a negative number applies this negation, so the comparison direction must flip to preserve truth.
Example. Start with 3<5 — clearly true. Multiply both sides by −2. Without flipping: −6<−10, false. With flipping: −6>−10, true. The flip is required for the inequality to remain valid.
In linear inequality solving the rule applies whenever you divide by the coefficient of the variable and that coefficient is negative. For −3x+7<16, subtract 7 to get −3x<9, then divide by −3 and flip: x>−3. The solver shows this step explicitly so the flip is never missed.
What does not flip. Adding or subtracting any number on both sides preserves direction. Multiplying or dividing by a positive number preserves direction. So the only operation that flips direction is multiplication or division by a negative number.
Special case — multiplication by zero. Multiplying both sides by zero collapses both sides to zero and produces 0=0, which is true but uninformative. Avoid this move entirely; the solver never inserts it.
For deeper coverage see linear inequality and inequality properties.
A linear inequality is a comparison between two linear expressions using one of the four symbols <, >, ≤, ≥. The general form in one variable is
ax+b□c
where □ is one of the four symbols and a, b, c are real numbers with a=0. The variable x appears only to the first power, never squared, cubed, in a denominator, or inside an absolute value.
Solution form. Every linear inequality has one of three solution shapes:
• A ray — the most common case. The solution is everything to one side of a boundary point, like x<4 or x≥−2. • All real numbers — the variable cancels and the remaining statement is true (an identity). • No solution — the variable cancels and the remaining statement is false (a contradiction).
Strict versus non-strict. The strict inequalities < and > exclude the boundary point; the non-strict ≤ and ≥ include it. In interval notation the boundary is shown with a parenthesis (excluded) or a bracket (included).
Compound forms. Two linear inequalities can be joined by AND (both must hold — the solution is an intersection) or by OR (either may hold — the solution is a union). This solver handles single inequalities; chained or compound forms are covered separately.
For deeper coverage see linear inequality, interval notation, and compound inequality.
• Move 2: Collect variable terms on one side. Add or subtract the variable term to put all x terms on the left (or right; either works). 3x−1≥x+5 becomes 2x−1≥5 after subtracting x.
• Move 3: Collect constant terms on the other side. Add or subtract to leave only the variable term on one side. 2x−1≥5 becomes 2x≥6 after adding 1.
• Move 4: Divide by the coefficient of the variable. This is where the flip rule may apply. 2x≥6 becomes x≥3 (no flip because 2 is positive). But −2x≥6 becomes x≤−3 (flip because −2 is negative).
The solver implementation. Internally, the solver collects coefficients linearly: left side becomes coeffL⋅x+constL and right side becomes coeffR⋅x+constR. The net coefficient is coeffL−coeffR and the net constant is constR−constL. The boundary value is the net constant divided by the net coefficient, with the direction flipping if and only if the net coefficient is negative.
Edge cases the solver handles automatically.
• Net coefficient is zero, net constant satisfies the inequality — all real numbers. • Net coefficient is zero, net constant violates the inequality — no solution.
For comprehensive treatment see solving linear inequalities and algebraic manipulation.
Linear Equation — the equality counterpart. Same isolation moves apply, but no direction-flip step exists because equations have no direction to flip.
Compound Inequality — two linear inequalities joined by AND or OR. The solution to an AND compound is the intersection of the individual solution sets; the solution to an OR compound is the union.
Interval Notation — the standard way to express the solution set of an inequality. Open parentheses for strict, square brackets for non-strict, infinity always with parentheses, the empty set written as ∅, and the full real line as (−∞,∞).
Quadratic Inequality — the next degree up. The variable appears squared and the solution set can be one or two intervals, requiring sign analysis on a parabola. Compare with quadratic equations.
Absolute Value Inequality — inequalities containing ∣x∣ or ∣ax+b∣. They split into compound forms: ∣A∣<c becomes −c<A<c (an AND compound), while ∣A∣>c becomes A<−c or A>c (an OR compound).
Number Line — the geometric representation of the solution set. A ray drawn on the number line corresponds exactly to a one-variable linear inequality solution.
Sign Chart — the technique used for polynomial and rational inequalities. For linear inequalities the sign chart has only one critical point and reduces to the direct division approach used here.
Solution Set — the formal name for the collection of values that make the inequality true. For linear inequalities the solution set is always a ray, the empty set, or all of R.
Linear Function — the function f(x)=ax+b whose comparison with a constant produces a linear inequality. The boundary of the solution is the x-intercept of the line y=ax+b−c.