Problem:
Find all real solutions to $\left| \frac{31}{\sqrt{2}}-\frac{9 x}{\sqrt{2}}\right| =\frac{25}{\sqrt{2}}$
Answer:
$\left\{\left\{x\to \frac{2}{3}\right\},\left\{x\to \frac{56}{9}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/solve_abs_value_equation/2221.txt'}