有余数的除法算式根据被除数=除数×商+余数；除数=（被除数-余数）÷商或商=（被除数-余数）÷除数来验算。

除法是四则运算之一，已知两个因数的积与其中一个因数，求另一个因数的运算，叫做除法。若ab=c（b≠0）,用积数c和因数b来求另一个因数a的运算就是除法，写作c/b，读作c除以b（或b除c）。其中，c叫做被除数，b叫做除数，运算的结果a叫做商。