[ Eq(x8, 15 - 2*(x1 + x3 + k19) - (x2 + x4 + x5 + k18)) ]