SZS status Theorem for i/f/arithmetic/NUMERAL__MULT__EQ__DIV_c0
