Park the Craftsman lawn mower on a level surface. Move the PTO switch to the "Disengaged" setting. Turn the ignition switch to the "Off" setting. Set the ground speed control levers to their "Park" position. Remove the ignition key, if applicable.
Unhook the belt covers on the deck and remove them. Set the socket wrench in the hole on the idler pulley arm. Pull on the belt to release the tension. Roll the drive belt from the rear drive pulley on the mower.
Slide the belt off the remaining pulleys and remove it from the deck. Route the new drive belt in the same way as the old belt. Fit the belt down into the pulley grooves and make sure that the belt goes through all of the belt guides.
Insert the wrench into the idler pulley arm and set the tension on the belt. Refit the belt covers on the mowing deck.