(x*(x-6)<=7)&((x^2-4*x-12)/(x+3)>=0)