[ Eq(1*k23*x1 + 1*k22*x2 + 1*k23*x14 + 1*k22*x15, k22*k25 + k23*k24),
  Eq(1*k23*x3 + 1*k22*x4 + 1*k23*x14 + 1*k22*x15, k22*k27 + k23*k26) ]