Problem:
Find all real solutions to $\frac{8^{-\frac{5 x}{\sqrt{2}}}}{8^{-8 \sqrt{2} x-10 \sqrt{2}}} = 8^{\frac{19}{\sqrt{2}}-\frac{35 x}{\sqrt{2}}}$
Answer:
$\left\{\left\{x\to \frac{\frac{19}{\sqrt{2}}-10 \sqrt{2}}{23 \sqrt{2}}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/exponential_equations/40809.txt'}