A credit card company claims that the mean credit card debt for individuals is greater than 5,200. You want to test claim.