2 _______ x - 3 \/ x - 5 ----- <= ---------- - 6 2 x
(x - 3)/2 <= -6 + (sqrt(x - 5))^2/x
False
EmptySet
x in EmptySet