[ 1*k[6]*x[3] + 1*k[6]*x[4] + 1*k[6]*x[5] = k[6]*k[7] ]