Discriminant[(2x-t)^3-(2x-t)-(2y-t^3+t),t]>0