「割る」が気持ち悪いなら、
整数a、b、pに関してa-bがpの倍数の時 a≡bmod(p)と書く、とすればいい。