Is the name Hot Wheels trademarked?

I have been wondering for a while (for a personal project) whether the name Hot wheels is trademarked or copyrighted. Is it?