(3*($x+$y+$z) % 9) == 5

##</code><code>##

if (4*($x+$y+$z) % 9) == 5  then ($x+$y+$z) % 9 = 8
if (5*($x+$y+$z) % 9) == 5  then  ($x+$y+$z) % 9 = 1
if (7*($x+$y+$z) % 9) == 5  then  ($x+$y+$z) % 9 = 2