[ Eq(x5, x1**2),
  Eq(x6, 5 - x3) ]