@staticmethod
    def _number(expr, assumptions):
        # helper method
        try:
            i = int(expr.round())
            if not (expr % i).equals(0):
                raise TypeError
            return True
        except TypeError:
            return False
dataset/ETHPy150Open sympy/sympy/sympy/assumptions/handlers/sets.py/AskIntegerHandler._number/operator `-` -> `%`