Repository: sympy/sympy

Issue:
Incorrect result of `reduce_inequalities` involving `pi` and `abs`
sympy v1.12:

```python
In [1]: from sympy import *
   ...: m = symbols('m')

In [2]: reduce_inequalities(3 < abs(m))
Out[2]: ((-oo < m) & (m < -3)) | ((3 < m) & (m < oo))

In [3]: reduce_inequalities(pi < abs(m))
Out[3]: False
```



Discussion:

Patch:
diff --git a/sympy/solvers/inequalities.py b/sympy/solvers/inequalities.py
index 8e6e2f6355..61afa2cbc2 100644
--- a/sympy/solvers/inequalities.py
+++ b/sympy/solvers/inequalities.py
@@ -224,10 +224,12 @@ def reduce_rational_inequalities(exprs, gen, relational=True):
     """
     exact = True
     eqs = []
-    solution = S.Reals if exprs else S.EmptySet
+    solution = S.EmptySet  # add pieces for each group
     for _exprs in exprs:
+        if not _exprs:
+            continue
         _eqs = []
-
+        _sol = S.Reals
         for expr in _exprs:
             if isinstance(expr, tuple):
                 expr, rel = expr
@@ -261,10 +263,11 @@ def reduce_rational_inequalities(exprs, gen, relational=True):
             if not (domain.is_ZZ or domain.is_QQ):
                 expr = numer/denom
                 expr = Relational(expr, 0, rel)
-                solution &= solve_univariate_inequality(expr, gen, relational=False)
+                _sol &= solve_univariate_inequality(expr, gen, relational=False)
             else:
                 _eqs.append(((numer, denom), rel))
 
+        solution |= _sol
         if _eqs:
             eqs.append(_eqs)
 


Test patch:
diff --git a/sympy/solvers/tests/test_inequalities.py b/sympy/solvers/tests/test_inequalities.py
index 4fc143b5e5..de7e8e1c97 100644
--- a/sympy/solvers/tests/test_inequalities.py
+++ b/sympy/solvers/tests/test_inequalities.py
@@ -489,3 +489,8 @@ def test__pt():
 
 def test_issue_25697():
     assert _solve_inequality(log(x, 3) <= 2, x) == (x <= 9) & (S.Zero < x)
+
+
+def test_issue_25738():
+    assert reduce_inequalities(3 < abs(x)
+        ) == reduce_inequalities(pi < abs(x)).subs(pi, 3)