class_docstr: Binary predicate for $\neq$.
  
  The purpose of this class is to provide the instance which represent
  the inequation predicate in order to allow the logical inference.
  This class must remain internal to assumptions module and user must
  use :obj:`~.Ne()` instead to construct the inequation expression.
  
  Evaluating this predicate to ``True`` or ``False`` is done by
  :func:`~.core.relational.is_neq()`
  
  Examples
  ========
  
  >>> from sympy import ask, Q
  >>> Q.ne(0, 0)
  Q.ne(0, 0)
  >>> ask(_)
  False
  
  See Also
  ========
  
  sympy.core.relational.Ne
class_docstr_tok: ["Binary","predicate","for","$","\\neq","$",".","The","purpose","of","this","class","is","to","provide","the","instance","which","represent","the","inequation","predicate","in","order","to","allow","the","logical","inference",".","This","class","must","remain","internal","to","assumptions","module","and","user","must","use",":","obj",":","`","~.Ne","(",")","`","instead","to","construct","the","inequation","expression",".","Evaluating","this","predicate","to","``","True","``","or","``","False","``","is","done","by",":","func",":","`","~.core.relational.is_neq","(",")","`","Examples","========",">",">",">","from","sympy","import","ask",",","Q",">",">",">","Q.ne","(","0",",","0",")","Q.ne","(","0",",","0",")",">",">",">","ask","(","_",")","False","See","Also","========","sympy.core.relational.Ne"]
code: def eval(self, args, assumptions=True):
      if assumptions == True:
          # default assumptions for is_neq is None
          assumptions = None
      return is_neq(*args, assumptions)
  
imports: from sympy.assumptions import Q
  from sympy.core.relational import is_eq, is_neq, is_gt, is_ge, is_lt, is_le
  from .binrel import BinaryRelation
label_desc: Use image node_id 2 for calling the UnequalityPredicate obj's underlying member method code with example usage: obj.eval(args, assumptions) and returns: is_neq