(* l04 example *) t = 20; x0 = 0; v0 := -100; (* "-1" is not a number *) g = 10; x := g/2 * t*t + v0 * t + x0; !x; .