[ Eq(1*k14*x2 + 1*k14*x3 + 1*k14*x4 + 1*k14*x5, k14*k15) ]