[ Eq(Derivative(x2, t), (1*k7*k4*x1 + (-1)*k7*k3*x2)/k7),
  Eq(Derivative(x3, t), (1*k7*k5*x1/x2 + (-1)*k7*k6*x3)/k7) ]