### Correct, but convoluted answer?

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?