[ 1*k[18]*x[5] + 1*k[18]*x[18] + 1*k[18]*x[20] + 1*k[18]*x[22] + 2*k[18]*x[23] = k[18]*k[19] ]