def reduce_abs_inequalities(exprs, gen):
    return And(*[ reduce_abs_inequality(expr, rel, gen)
        for expr, rel in exprs ])
Reduce a system of inequalities with nested absolute values.
dataset/ETHPy150Open sympy/sympy/sympy/solvers/inequalities.py/reduce_abs_inequalities