(- (+ (+ 5 9) (* 10 25)) 3)