|4*x - 7| + |x + 6| > |3*x - 13|
|x + 6| + |4*x - 7| > |3*x - 13|
(-oo, -6) U (7/4, oo)
x in Union(Interval.open(-oo, -6), Interval.open(7/4, oo))
Or(And(-oo < x, x < -6), And(7/4 < x, x < oo))
((-oo < x)∧(x < -6))∨((7/4 < x)∧(x < oo))