程序设计实例中遇到的问题

大家帮我看一下高光的地方为什么写这个式子，如果可以详细讲一下这个程序那就不能更好了

z=num-x-y 先重新赋值z，然后判断z%3 就是模3等不等于0，如果不等于0，那么条件成立，如果等于零，也就是能被3整除，那么条件不成立，理解的话点一下采纳谢谢