y - 1 2*y + 4 ----- - ------- - y > 2 2 8
-y + (y - 1)/2 - (2*y + 4)/8 > 2
(-oo, -4)
x in Interval.open(-oo, -4)
And(-oo < y, y < -4)
(-oo < y)∧(y < -4)