[ Diff(x[1], t) = (1*k[12]*(k[1] + k[2]*x[1]*(1 - (x[1] + 1)/k[3])) + (-1)*k[12]*(k[4]*x[1] + (1 - k[10]*k[11])*k[5]*x[3]*x[1]))/k[12],
  Diff(x[2], t) = (1*k[12]*(1 - k[10]*k[11])*k[5]*x[3]*x[1] + (-1)*k[12]*k[6]*x[2])/k[12],
  Diff(x[3], t) = (1*k[12]*(1 - (k[9] + k[11])/2)*k[7]*x[2] + (-1)*k[12]*k[8]*x[3])/k[12],
  Diff(x[4], t) = (1*k[12]*(k[9] + k[11])/2*k[7]*x[2] + (-1)*k[12]*k[8]*x[4])/k[12] ]