What is wrong with the following program?
  Let x = 25.
  Let y = (3*(4 + x* x) + 1.