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