Solvability of differential algebraic equations and inequalities: An algorithm

The existence of real solutions to polynomial systems of implicit differential equations, differential inequations and differential inequalities is considered. A transformation to a standard form is achieved using methods of differential algebra. The problem then reduces to a problem in real (non-differential) algebra.