User Portlet

VRTb = Resolve[Exists[{x, y, b, n}, FullSimplify[V && IR && Not[T]]], Reals] // FullSimplify;