def solve_poly_inequalities(polys):
    from sympy import Union
    return Union(*[solve_poly_inequality(*p) for p in polys])
Solve polynomial inequalities with rational coefficients.
dataset/ETHPy150Open sympy/sympy/sympy/solvers/inequalities.py/solve_poly_inequalities