Problem:
Find all real solutions to $\frac{4^{\frac{5}{\sqrt{2}}-7 \sqrt{2} x}}{4^{\frac{17}{\sqrt{2}}-14 \sqrt{2} x}} = 4^{\frac{19 x}{\sqrt{2}}-16 \sqrt{2}}$
Answer:
$\left\{\left\{x\to -\frac{10 \sqrt{2}}{-\frac{19}{\sqrt{2}}+7 \sqrt{2}}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/exponential_equations/8758.txt'}