5. A simple random sample of 32 cars yields a mean weight of 3605.3 lb, a standard deviation of 501.7 lb, and the sample weights appear to be a normally distributed population. Use a 0.01 significance level to test the claim that the mean weight of cars is less than 3700 lb. [3 marks] 6. Repeat question 5 by assuming the weights of cars have a standard deviation known to be 520 lb. [3 marks]