{log(11-x,x+7)*log(x+5,9-x) <= 0, 64^(x^2-3*x+20)-(1/8)^(2*x^2-6*x-200) <= 0}