Hard Logic Math Problems