Был ли в ветхом завете упомянут дьявол?

Диаболос-клеветник-греческое слово, поэтому его нет в ВЗ, он писался на еврейском.
1 Паралипоменон21:1
И восстал сатана на Израиля, и возбудил Давида сделать счисление Израильтян.

Но то что сатана и дьявол одна личность указано в Откровении 12:9
И низвержен был великий дракон, древний змий, называемый диаволом и сатаною, обольщающий всю вселенную, низвержен на землю, и ангелы его низвержены с ним.

Ну не так конечно... Иезекииль 28:14 ...

https://ru.wikipedia.org/wiki/Сатана#В_Ветхом_Завете

6 И был день, когда пришли сыны Божии предстать пред Господа; между ними пришел и сатана. 7 И сказал Господь сатане: откуда ты пришел? И отвечал сатана Господу и сказал: я ходил по земле и обошел ее. 8 И сказал Господь сатане: обратил ли ты внимание твое на раба Моего Иова? ибо нет такого, как он, на земле: человек непорочный, справедливый, богобоязненный и удаляющийся от зла. 9 И отвечал сатана Господу и сказал: разве даром богобоязнен Иов? 10 Не Ты ли кругом оградил его и дом его и все, что у него? Дело рук его Ты благословил, и стада его распространяются по земле; 11 но простри руку Твою и коснись всего, что у него, — благословит ли он Тебя? 12 И сказал Господь сатане: вот, все, что у него, в руке твоей; только на него не простирай руки твоей. И отошел сатана от лица Господня.

В том значении, как Дьявол понимается сейчас - нет.
Были некие сыновья Бога, был змей, но Дьявола, как такового, в ВЗ не найти.

Важно не то, что когда-то было, а то, что есть сейчас, Реальность