Neurosymbolic AI Advances State of the Art on Math Word Problems