The first one looks correct.

The second one is not correct. For example, let Bob be a teacher that doesn't wear glasses. Then Bob is in T, G(Bob) is false, and T(Bob) is True.

The third is correct, but it's overcomplicated.

The fourth and sixth don't make sense to me since you're quantifying over the same variable twice.

The fifth is correct.