Solve2Go supports solving equations and inequalities conjectures based on visual thinking. Conjectures can be refuted or supported by examples provided by the tool, and should be proved using symbolic manipulations on paper. In many mathematical investigations we encounter the need to compare two functions. Solve2Go supports comparisons of two types: Equations: when we want to know for which values of x the two functions are equal. Inequalities: when we want to know for which values of x one function is greater than the other. When the two functions involved are linear, we call the comparison a linear comparison. When at least one of the functions is not linear, we refer to a non-linear comparison. Non-linear comparisons form a wide and rich field of study.