相传三齐王韩信才智过人，从不直接清点自己军队的总人数，只是让士兵先后以三人一排、五人一排、七人一排地变换队形，假设先后三次队形的排尾人数分别是x人、y人、z人，他就知道自己军队的人数是m人。请问下列表达式中哪一项最符合对上述算法思想的描述？（ ）
A、x + y + z = m
B、m Mod 3 = x And m Mod 5 = y And m Mod 7 = z
C、3 * x + 5 * y + 7 * z = m
D、m Mod 3 = x Or m Mod 5 = y Or m Mod 7 = z
