[ Eq(x5, x8 - x1 - x3 - x4),
  Eq(x6, x9 - x1 - x2 - 2*x4),
  Eq(x7, x10 - x2 - k13*x3) ]