They are all synonyms, but there are differences mostly in terms of formality: 'děvče' is the most formal and feels slightly bookish; 'dívka' is rather neutral and 'holka' is pretty informal.
Thanks for clarifying my thoughts exactly. what was the difference between holka and devce.
The difference between "děvče" and "dívka" is very delicate, there are also many other forms of this word, like "dívčina" or "dívenka" etc and they all mean "girl".
"Holka" and it's derivatives like "holčička" are much less formal and also mean "girl".
No. The trick here is that holka and dívka are femnine nouns while děvče is neutral. Weird, I know, but it did not come out of my head. So holka and dívka would be špatná but děvče is špatné.