Consistency checks of grand unified theories