FreeQ

FreeQ[e, var] returns True if e is free from any occurences of var.

Attributes[FreeQ] := {Protected}