Use ZZ instead of Int
Define IntLT
Define IntDivides