9*a --- > -63 11
9*a/11 > -63
(-77, oo)
x in Interval.open(-77, oo)
And(-77 < a, a < oo)
(-77 < a)∧(a < oo)