Counter-example search result

Formula

{{origFormula}}

Formula not valid, found a counter-example

{{cexFormula}}

Counter-example values

{{cex.symbol}}
{{cex.value}}

No counter-example found. Try proving it to see if it is valid. Some arithmetic simplifications may help reduce the complexity.

If the formula cannot be proved (⊢ false) and no counter-example can be found, then sanity check it, e.g., whether you could have divided by zero.

Sorry, no counter-example found before search timeout expired.

Sorry, cannot search for counter-examples in modalities.

Please use more proof steps to remove modalities, until only first-order formulas remain and then try again.

Sorry, the current backend tool does not support counter-example search.

Please go to Help → Backend Tool Configuration and configure Mathematica as backend tool.