_________ / 2 \/ 10 - x <= 10 - 3*x
sqrt(10 - x^2) <= 10 - 3*x
____ ____ [-\/ 10 , \/ 10 ]
x in Interval(-sqrt(10), sqrt(10))
/ ____ ____\ And\-\/ 10 <= x, x <= \/ 10 /
(x <= sqrt(10))∧(-sqrt(10) <= x)