According to a leasing firm's reports, the mean number of miles driven annually in its leased cars is 13,240 miles with a standard deviation of 1160 miles. The company recently starting using new contracts which require customers to have the cars serviced at their own expense. The company's owner believes the mean number of miles driven annually under the new contracts, , is less than 13,240 miles. He takes a random sample of 25 cars under the new contracts. The cars in the sample had a mean of 12,805 annual miles driven. Assume that the population is normally distributed. Is there support for the claim, at the 0.10 level of significance, that the population mean number of miles driven annually by cars under the new contracts, is less than 13,240 miles? Assume that the population standard deviation of miles driven annually was not affected by the change to the contracts. Perform a one-tailed test. Then complete the parts below. Carry your intermediate computations to three or more decimal places, and round your responses as specified below. (If necessary, consult a list of formulas.) (a) State the null hypothesis H0 and the alternative hypothesis H1. H0:=13,240 H1:<13,240 (b) Determine the type of test statistic to use. Z (c) Find the value of the test statistic. (Round to three or more decimal places.) (d) Find the p-value. (Round to three or more decimal places.)