A company claims that its batteries last an average of 100 hours under normal use. There have been several complaints that the batteries don't last that long, so an independent testing agency is engaged to test them. The population standard deviation is known to be 10 hours. For the 25 batteries they tested, the mean lifetime was 96 hours.

The average lifetime of the battery (was / was not) equal to 100 hours.