The standard deviation of pulse rates of adult males is less than 12 bpm. For a random sample of 135 adult​ males, the pulse rates have a standard deviation of 11.5 bpm. Complete parts​ (a) and​ (b) below. a. Express the original claim in symbolic form.