|x - 3|*(|x - 4| + |x + 5| - |2*x + 1|) <= 0
(|x - 4| + |x + 5| - |2*x + 1|)*|x - 3| <= 0
(-oo, -5] U {3} U [4, oo)
x in Union(FiniteSet(3), Interval(-oo, -5), Interval(4, oo))
Or(And(4 <= x, x < oo), And(x <= -5, -oo < x), x = 3)
(x = 3))∨((4 <= x)∧(x < oo))∨((x <= -5)∧(-oo < x)