Nu det store spørgsmål: Har alle ligninger der er skrevet op med lovlige regneudtryk mindst en løsning?