Question: An engineer believes that the average setting time for a new gypsum cement mix used in highway spot repairs is less than 32 minutes. The variance of setting time is known to be 25 (minutes)². From a record of the setting times for 100 spot repairs, the average is found to be 31.34 minutes. Do the results support the engineer's belief? Test at 0.05 level of significance.