Problem:
Find the sum $p(x) + q(x)$ of the following two polynomials: $p(x) = \left(-10 x^2+19 x+12\right) \log (2)$, $q(x) = \left(17 x^2+3 x+5\right) \log (2)$
Answer:
$7 x^2 \log (2)+22 x \log (2)+17 \log (2)$
{'source': 'AMPS', 'file': 'amps/mathematica/algebra/polynomial_arithmetic/40557.txt'}