The mean weight of loads of rock is 46.0 tons with a standard deviation of 12.0 tons.

The mean weight of loads of rock is 46.0 tons with a standard deviation of 12.0 tons. If 25 loads are chosen at random for a weight check, find the probability that the mean weight of those loads is less than 45.0 tons. Assume that the variable is normally distributed.