Problem:
Factor the following quadratic: $-x^2+4 \sqrt{3} x+\frac{133}{3}$
Answer:
$-\left(\left(-x-\frac{7}{\sqrt{3}}\right) \left(\frac{19}{\sqrt{3}}-x\right)\right)$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/factor_polynomials/20156.txt'}