סוגי בעיות:

התוכנה יודעת לפשט 6 סוגי בעיות:


  ביטויים מספריים ללא נעלמים, או ביטויים אלגבריים עם נעלמים.


 
   משוואה אחת או אי-שוויון אחד.



  מערכת משוואות ו/או אי-שוויונים הקשורים ע"י קשר לוגי "וגם". "וגם" משמעו שהפתרונות של הנעלמים חייבים 
  לקיים את כל המשוואות במערכת (את הראשונה וגם את השנייה וגם את השלישית...).


  
   מערכת משוואות ו/או אי-שוויונים הקשורים ע"י קשר לוגי "או". "או" משמעו שהפתרונות של הנעלמים חייבים
   לקיים משוואה אחת לפחות (את הראשונה או את השנייה או את השלישית...).


   מערכת "וגם" הכוללת בתוכה תת-מערכות. כל תת-מערכת יכולה להיות מערכת "וגם" או מערכת "או".



   מערכת "או" הכוללת בתוכה תת-מערכות. כל תת-מערכת יכולה להיות מערכת "וגם" או מערכת "או".



הזנת ביטוי או משוואה:
שני הסוגים הראשונים של בעיות – ביטויים ומשוואות – מוזנים בעזרת חלון הזנת הביטויים והמשוואות, הנראה, לדוגמא, כך:



 הכפתור "עזרה" על חלון זה מציג את הנחיות השימוש בו.


הזנת מערכת משוואות שאינה כוללת תת-מערכות:

הזנת ארבעת הסוגים האחרונים של בעיות – מערכות של משוואות – נעזרת בחלון נוסף. חלון זה נועד לאיסוף החברים במערכת. כל חבר במערכת עשוי להיות משוואה או אי-שוויון. במערכות מורכבות (שני הסוגים האחרונים של בעיות), כל חבר עשוי להיות בעצמו מערכת.
לדוגמא, מערכת בת שני אי-שוויונים:


 
היות והכפתור    לחוץ מטה, שני החברים קשורים בקשר לוגי "וגם" (חיתוך), דהיינו על כל פתרון של הנעלם X לקיים את שניהם. לחיצה על הכפתור   תהפוך את הקשר הלוגי לקשר "או" (איחוד), דהיינו על כל פתרון של הנעלם X לקיים לפחות אחד מן החברים.
חלון זה, האוסף את החברים במערכת, הוא הראשון שמופיע כדי להתחיל להזין כל בעיה מארבעת הסוגים האחרונים.
הכפתורים הנוספים בחלון זה מאפשרים להוסיף חברים לסוף הרשימה, להשחיל חברים באמצע הרשימה (כמובן, אין לכך השפעה על הפתרון), למחוק חברים ולשנות חברים. רק בתום איסוף כל החברים נלחץ הכפתור "אישור" והזנת הבעיה הושלמה.
כל חבר, כשלעצמו, מוזן בעזרת חלון הזנת הביטויים והמשוואות. כל חבר עשוי לכלול נעלם אחד או יותר. פישוט הבעיה כולה מתבצע ככל הניתן, דהיינו, ככל הידוע לתוכנה. דבר זה צפוי להתפתח מגרסה לגרסה של התוכנה.



הזנת מערכת משוואות הכוללת תת-מערכות:
כאן, כל חבר במערכת הנו בעצמו מערכת. על כן, הזנתו מתבצעת, שוב, בעזרת חלון איסוף חברים – פרטי משלו. אך בטרם חלון זה נפתח עבורו, מוצג החלון הבא:


 
כדי לדעת אם החבר החדש עתיד לכלול תת-מערכות משלו, או לא.
התוכנה מנהלת את התהליך, כך שעבורך הוא פשוט וקל.