Problem:
Find all real solutions to $\frac{8^{x+5}}{8^{-7 x-17}} = 8^{-15 x-19}$
Answer:
$\left\{\left\{x\to -\frac{41}{23}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/exponential_equations/34580.txt'}