I have a question I would like to solve in Mathematica with functions like HypothesisTestData. I have a sample size of 25 college students. The variable I am interested in is the mean travel time of college students. The admissions office believes the mean travel time is 22 minutes, so mu zero is 22 minutes, and the null hypothesis H 0 is the mean 22 min. I have a sample mean of 19.6 minutes and a known standard deviation of 9.6 minutes.
I want to perform a test with a 1% level of significance.
This is my conclusion:
At a 1% level of significance, we do not have evidence to conclude that the mean travel time of college students is less than 22 min.
I computed z star to be -1.25 and z alpha to be 2.32635.
Since z star is not less than or equal to z alpha, we fail to reject the null hypothesis H 0.

Is there a way to do with a function in Mathematica
I am attaching some of my attempts at figuring it out: