Problem:
Find all real solutions to $\left| -\frac{x^2}{\sqrt{2}}+11 \sqrt{2} x+\frac{35}{\sqrt{2}}\right| =\frac{15}{\sqrt{2}}$
Answer:
$\left\{\left\{x\to 11-3 \sqrt{19}\right\},\left\{x\to 11+3 \sqrt{19}\right\},\left\{x\to 11-\sqrt{141}\right\},\left\{x\to 11+\sqrt{141}\right\}\right\}$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/solve_abs_value_equation/26882.txt'}