Polynomial factorization and inequality solving