در عموم این معادلات سخت هستند؛ یکی اغلب اوقات جستجو میکند تا فقط حضور و یا نبود یک راه حل را جستجو نماید، و اگر موجود باشد، تا تعداد راه حل ها را بشمارد.