Why step solving matters in inequality work
Inequalities need more care than equations because each operation affects the truth set. Adding or subtracting the same value preserves equivalence. Multiplying or dividing by a negative reverses direction, so the solver records the sign flip and the final interval notation used in most marking schemes.
Linear inequalities and sign changes
For ax + b < 0, isolating x creates one boundary point. If a is positive, solutions lie left for < and right for >. If a is negative, the division step flips the sign. That single rule explains many mistakes, and the exported steps form a clear audit trail.
Quadratic inequalities with discriminant data
Quadratics are handled by writing f(x) = ax² + bx + c and comparing it to zero. The discriminant D = b² − 4ac indicates the number of real roots. If D < 0, the parabola never crosses the axis, so the solution is either all reals or none, based on a and the inequality symbol.
Intervals from root ordering and sign charts
When D ≥ 0, the roots are computed and ordered x₁ ≤ x₂. For a > 0, f(x) is negative between roots and positive outside; for a < 0 the pattern reverses. Endpoint inclusion follows < versus ≤. Results are returned as one interval or a union, matching standard sign-chart conclusions.
Absolute value inequalities as bounded regions
Absolute value inputs such as |2x − 3| ≤ 5 become −5 ≤ 2x − 3 ≤ 5, then two linked linear constraints. For |u| > c, the region splits into u < −c or u > c, producing a union. This method is widely used in entrance testing because it is easy to verify.
Graphing and exports for faster validation
The Plotly number-line view marks boundary points and shades solution spans on a consistent scale. For unbounded intervals, the graph expands around the nearest finite bound to show direction. CSV stores the input, summary, interval, and steps as rows, while PDF provides a printable record for revision packs and tutoring notes. The visualization is intended for quick checking, not symbolic proof, but it helps confirm whether endpoints are open or closed and whether a union has two separate rays. Using the same input, students can compare manual work to the automated steps and learn consistent notation very quickly.