(+ 6 (* 9 25))