Negation of Statements and Modulo Operations