2 x <= ----- x + 1
x <= 2/(x + 1)
(-oo, -2] U (-1, 1]
x in Union(Interval(-oo, -2), Interval.Lopen(-1, 1))
Or(And(x <= 1, -1 < x), x <= -2)
(x <= -2)∨((x <= 1)∧(-1 < x))