[ Eq(x14, 100000*x3) ]