1. Re and Im

:
 re(z) <> im(z); t,t
 re(z) + im(z) <> 0; t,-t
:
 re(z + 1) <> 0; -1,t
 re(z - 1) <> 0; 1,t
 re(z +- i) <> 0; 0,t
:
 im(z + i) <> 0; t,-1
 im(z - i) <> 0; t,1
 im(z +- 1) <> 0; t,0
:
 re(z) <> 0 and im(z) <> 0; t,0;0,t
 re(z) <> 0 and im(z) >< 0; t,0;0,t
:
 re(z) <> 0 or im(z) <> 0; t,0;0,t
 re(z) <> 0 or im(z) >< 0; t,0;0,t
:
 re(z) <> 0 and im(z) <> 0; t,0;0,t
 re(z) <> 0 or im(z) <> 0; t,0;0,t
:
 re(z) <> 0 and im(z) >< 0; t,0;0,t
 re(z) <> 0 or im(z) >< 0; t,0;0,t
:
 re(z)*im(z) <> 0; t,0;0,t
 re(z) + im(z) <> 0;t,-t
 re(z) - im(z) <> 0; t,t
