inp z
inp x
mul z 3
eql z x