[ Eq(x6, x3 + 2*x4 + 2*x5),
  Eq(1*k19*x2 + 1*k19*x5, k19*k20) ]