solve {log(4-x,x+4)*log(x+5,6-x) <= 0, 25^(x^2-2*x+10)-(1/5)^(2*x^2-4*x-80) <= 0}