[ Eq(x4, (x3 - (x2 + x1 + x12 + x13))/(x3*k31)),
  Eq(x15, x2 + x1 + x14) ]