A weatherman stated that the average temperature during July in Chattanooga is 80 degrees or less. A sample of 32 Julys is taken to test the weatherman's statement. The correct set of hypotheses is