def test_reduce_inequalities_general():
    assert reduce_inequalities(Ge(sqrt(2)*x, 1)) == And(sqrt(2)/2 <= x, x < oo)
    assert reduce_inequalities(PurePoly(x + 1, x) > 0) == And(S(-1) < x, x < oo)
dataset/ETHPy150Open sympy/sympy/sympy/solvers/tests/test_inequalities.py/test_reduce_inequalities_general/original