Factor (x^2 + 3x + 2)(x^2 + 7x + 12) + (x^2 + 5x - 6) as the product of two non-constant polynomials.
The factorization is (x^2 - 3x + 1)(x^2 - 3x + 8).
