Revision history [back]

This absolute value inequality $$5\left| 2x-3\right| + 3 < 23$$ is satisfied when $$x \in \left( - \frac{1}{2}, \ \frac{7}{2} \right)$$ . When I ask Sage to solve it, with this command

solve(5*abs(2*x-3)+3<23, x)

I get the same solution, but in a very convoluted way, as follows:

[[(-1/2) < x, x < (3/2)], [x == (3/2)], [(3/2) < x, x < (7/2)]]

Does this seem strange to anyone else?