[ Eq(x3, x1/50) ]