A car manufacturer claims that, when driven at a speed of 50 miles per hour on a highway, the mileage of a certain model follows a normal distribution with mean μ = 30 miles per gallon and standard deviation σ= 4 miles per gallon.