15*x + 21 > 5*x - 2
-23 (----, oo) 10
x in Interval.open(-23/10, oo)
/-23 \ And|---- < x, x < oo| \ 10 /
(-23/10 < x)∧(x < oo)