Type: definition $ a \equiv b \pmod m $ outputs true if \[ m \mid (a-b). \] Otherwise, it outputs false.