FreeQ

FreeQ[expr,form] yields True if no subexpression in expr matches form, and yields False otherwise. 

FreeQ[expr,form,levelspec] tests only those parts of expr on levels specified by levelspec. 

FreeQ[form] represents an operator form of FreeQ that can be applied to an expression.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.