Factor ax² + bx + c into (px + q)(rx + s). Works with integer, negative and fractional coefficients — and falls back to root-form factorization when needed.
Searches all integer factor pairs.
Fallback: a(x−x₁)(x−x₂).
Decides if real factors exist.
Expands back to check the result.
Keep solving.