A leasing firm claims that the mean number of miles driven annually, in its leased cars is less than 13400 miles. A random sample of 80 cars leased from this firm had a mean of 12846 annual miles driven. It is known that the population standard deviation of the number of miles driven in cars from this firm is 2820 miles. Is there support for the firm's claim at the 0.01 level of significance?

Perform a one-tailed test. The answer the questions below:

Carry your intermediate computations to at least three decimal places, and round your responses as specified in the table.

• The null hypothesis?
• The alternative hypothesis?
• The type of test statistic?
• The value of the test statistic? (Round to at least three decimal places.)
• The p-value: (Round to at least three decimal places.)
• Can we support the leasing firms claim that the mean number of miles driven annually is less than 13400 miles?