Problem:
Find all real solutions to $\frac{5^{\frac{9 x}{\sqrt{2}}+7 \sqrt{2}}}{5^{\frac{13 x}{\sqrt{2}}-2 \sqrt{2}}} = 5^{3 \sqrt{2} x-13 \sqrt{2}}$
Answer:
$\left\{\left\{x\to \frac{22}{5}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/exponential_equations/6510.txt'}