এই সমীকরণগুলো কঠিন সাধারণত ;একটি প্রায়শই খোঁজ শুধু অস্তিত্ব খুঁজে পেতে অথবা সমাধানের অনুপস্থিতি, এবং তারা অস্তিত্বশীল, গননা করতে সমাধানের অংক।