1 2*x + x + 2 > 4*x + - + 4 x
x + 2*x + 2 > 4*x + 1/x + 4
Or(And(-1 < x, x < 0), x < -1)
(x < -1)∨((-1 < x)∧(x < 0))
(-oo, -1) U (-1, 0)
x in Union(Interval.open(-oo, -1), Interval.open(-1, 0))