Happy ((19*t u-w-(u-(u 8)25) 1)3) 15)mod30) (32 2*x 2*y-(19*t u-w- (u-(u 8)25) 1)3)15)mod30)-z)mod7)-7*(t 11*(19*t u-w(u- (u 8)25) 1)3) 15)mod30) 22*(32 2*x 2*y-(19*t u-w-(u-(u 8)25) 1)3) 15)mod30)-g)mod7) 114)31 !

!!!