DERIDE

v. mock, ridicule, scoff (at), jeer (at), laugh (at), make fun or sport (of), tease, taunt, twit, poke fun (at), make a laughing-stock (of), sneer (at), scorn, flout, disdain, pooh-pooh, belittle, diminish, disparage, laugh off, Brit rally, Colloq knock, Brit take the mickey or micky out of His classmates had always derided his attempts at getting anywhere with the girls