[ 1*k[31]*x[1] + 1*k[31]*x[2] + 1*k[31]*x[3] + 1*k[31]*x[4] + 1*k[31]*x[5] + 1*k[31]*x[6] + 1*k[31]*x[7] + 1*k[31]*x[8] + 1*k[31]*x[9] = k[31]*k[32] ]