I'm trying to reduce inequalities with various exponential functions and Mathematica just hangs on them (runs for a very long time).
Reduce[(x - 3)^(3 x^2 - 9 x + 15) - (x - 3)^(x^2 + 8 x - 20) >= 0 && x - 3 > 0, x, Reals]
It should reduce to (if I'm not wrong):
3.5 <= x <= 4 || x >= 5
I think this happens because there's a variable in the base.
Is Mathematica capable of reducing such inequalities, or am I doing someting wrong? :)