broken pulley

i have a craftsman ride on. do i need to take the deck off to repair a broken pulley.
i was cutting the grass and it starting smoking like a smoke stack. the belt is
mostl likly no good either.

Help