(x + 5)*(x + 7) --------------- - 11 <= 0 x
-11 + ((x + 5)*(x + 7))/x <= 0
(-oo, 0)
x in Interval.open(-oo, 0)
And(-oo < x, x < 0)
(-oo < x)∧(x < 0)