Wolfram言語の記号式は幅広い範囲のオブジェクトを表すことができる．Wolfram言語には，式をテストするための関数が数多く用意されている．「質問をする」関数は名前の最後にQが付き，答えが明確に真である場合はTrueを返し，そうでない場合はFalseを返す．

等号と不等号

Equal (==)，Unequal (!=) — 数値的等価

SameQ (===)，UnsameQ (=!=) — リテラルな記号的同一性

Less (<)  ▪  Greater (>)  ▪  LessEqual (<=)  ▪  GreaterEqual (>=)  ▪  Between

論理結合 »

And(&&)  ▪  Or(||)  ▪  Not(!)  ▪  True  ▪  False  ▪  ...

AllTrue  ▪  AnyTrue  ▪  NoneTrue

演算子形式

GreaterThan  ▪  LessThan  ▪  GreaterEqualThan  ▪  LessEqualThan  ▪  EqualTo  ▪  UnequalTo  ▪  NearestTo  ▪  SameAs

数の特性

NumberQ，MachineNumberQ — リテラルな数，リテラルな機械精度数

RealValuedNumberQ — 実数値を含むリテラルな数

NumericQ — 数値的な量（数値，数値定数，関数を含む）

RealValuedNumericQ — 値が実数である数値的な量

IntegerQ  ▪  EvenQ  ▪  OddQ  ▪  PrimeQ  ▪  CoprimeQ  ▪  AlgebraicIntegerQ  ▪  ...

Positive  ▪  Negative  ▪  NonPositive  ▪  NonNegative  ▪  PossibleZeroQ

リスト指向の判定

VectorQ，MatrixQ — 指定の型の要素を持つようなベクトル，行列

ArrayQ — 任意の深さの完全な配列

MemberQ — リスト内にパターンがあるかどうかを判定する

DuplicateFreeQ  ▪  IntersectingQ  ▪  DisjointQ  ▪  SubsetQ

ContainsAll  ▪  ContainsNone  ▪  ContainsAny  ▪  ContainsOnly  ▪  ContainsExactly

式の判定

MatchQ — 式がパターンに合致するかどうかを判定する

AtomQ  ▪  ListQ  ▪  TrueQ  ▪  BooleanQ  ▪  OrderedQ  ▪  PolynomialQ  ▪  DateObjectQ  ▪  TimeObjectQ  ▪  PolynomialExpressionQ  ▪  RationalExpressionQ

Order — 式の正規順序

LexicographicOrder  ▪  NumericalOrder  ▪  AlphabeticOrder

文字列の判定 »

StringQ  ▪  StringMatchQ  ▪  StringFreeQ  ▪  LetterQ  ▪  DigitQ  ▪  SyntaxQ  ▪  ...