It has been reported that the average credit card debt for college seniors at the college book store for a specific college is $3262. The student senate at a large university feels that their seniors...

 book store for a specific college is $3262. The student senate at a large university feels that their seniors have

 a debt much less than this, so it conducts a study of 50 randomly selected seniors and finds that the average

 debt is $ 2995, and the population standard deviation is $1100. With is the student senate correct?