Problem:
Find all real solutions to $\frac{4^{12 \sqrt{3} x+\frac{25}{\sqrt{3}}}}{4^{\frac{31 x}{\sqrt{3}}-\frac{23}{\sqrt{3}}}} = 16^{-\frac{7 x}{\sqrt{3}}-10 \sqrt{3}}$
Answer:
$\left\{\left\{x\to -\frac{108}{19}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/exponential_equations/5792.txt'}