User Portlet User Portlet

Discussions
I tried this input, hoping to see returned x=7 as a solution: solve PrimeQ(x-2) || PrimeQ(x-6)) for x