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