WMA link
FreeQ
True
FreeQ[y, x]
FreeQ[a+b+c, a+b]
FreeQ[{1, 2, a^(a+b)}, Plus]
FreeQ[a+b, x_+y_+z_]
FreeQ[a+b+c, x_+y_+z_]
FreeQ[x_+y_+z_][a+b]