(> (+ 8 (* a 4)) 7)