The mean feels the size of every value in a long tail, while the median only counts how many values are out there, so a right tail usually drags the mean above the median. That signal is reliable enough to be a good skew detector, which is why a gap between the two is worth investigating.
But it is not a theorem, and the word "always" is what breaks the other options. Statisticians have constructed data sets with a long right tail whose mean nonetheless falls below the median.
The claim that the mean and median agree only for symmetric data fails too, because equality does not force symmetry. The data 0,2,4,4,10 has
xˉ=520=4andmedian=4,
yet it is plainly not symmetric about 4.