8 - x ------ <= 1 - x x - 10
(8 - x)/(x - 10) <= 1 - x
/ / ___ \ / ___ \\ Or\And\x <= 6 - 3*\/ 2 , -oo < x/, And\x <= 6 + 3*\/ 2 , 10 < x//
((-oo < x)∧(x <= 6 - 3*sqrt(2)))∨((10 < x)∧(x <= 6 + 3*sqrt(2)))
___ ___ (-oo, 6 - 3*\/ 2 ] U (10, 6 + 3*\/ 2 ]
x in Union(Interval(-oo, 6 - 3*sqrt(2)), Interval.Lopen(10, 3*sqrt(2) + 6))