A simple random sample of 100 15-year-old boys from one city gives a mean weight of 153.5 lb. Use a 0.05 significance level to test the claim that these sample weights come from a population with a mean equal to 149 lb. Assume that the standard deviation of the weights of all 15-year-old boys in the city is known to be 16.2 lb. Choose your method of testing hypotheses.

DO NOT USE TECHNOLOGY. Show work.