WolframAlpha computational knowledge AI
SatisfiableQ[b]