def METHOD_NAME(self):
    """
    Test forms of binary infix operator true division
    """
    cases = (
        (
            Symbol("a") / Integer3,
            Expression(SymbolTimes, Rational(1, 3), Symbol("a")),
        ),
        (Integer(8) / Integer2, Integer(4)),
        (Integer(8) / Integer(-2), Integer(-4)),
        (Integer(7) / Integer2, Rational(7, 2)),
        (
            # Here we test using ListExpression() instead of to_mathics_list()
            ListExpression(Integer1, Integer(9))
            / ListExpression(IntegerM1, Integer3),
            ListExpression(IntegerM1, Integer3),
        ),
    )
    self._testCases(cases)