[ Eq(1*k4*x1 + 1*k4*x2 + 1*k4*x3 + 1*k4*x4, k4*k5) ]