有余数的除法算式是等式吗