[buzzdenver]

For those of us who are only good at derivation: are these problems like chess where a computer will always beat a human?

[ijustlovemath]

There are generic integration algorithms that would try pretty much every known technique, so I would wager to say yes (though looking forward to a counterexample proving me wrong)