Suggest the following data which are average July temperatures in San Antonio from 1981 through 2010
84.2, 85.5 82.9 85.0, 82.2, 85.8, 83.8, 84.6, 86.6, 83.4, 84.5, 84.7, 86.1, 87.9, 84.3, 87.3, 85.1, 88.1, 82.9, 85.9, 85.4, 82.5, 81.9, 82.9, 85.3, 85.7, 80.4, 84.1, 88.7, 84.0
Supposing that these average temperatures are normally distributed, is there sufficient evidence at 5% level of significance to point to that the mean July temperature is greater than 84 degrees, which is average July temperature in the preceding 80 years?