不理那個同事，素質太低，另外

要看你的manager 是不是一個reasonable manager， 他應該不會理會她的。

And you also can tell your manager when she has some problem but this is just for work not personal. If you feel too bored to do this, and your manager is not fair,

there are tons of job in the market now, life is short, work is just for money, is not your whole life, just say bye bye to these people, not worth to work with. 

My experience is, overall, the co-worker or manager are good, if either one is not good, find another job.