Express the null and alternative hypotheses in symbolic form for this claim: the mean weight of female aerobics instructors in a certain city is more than 134 lbs.