a+1>0; x/2-y/3>=0; 2x+1<3; |a/2+4|<=a; 2x-1>=x+3; a^2+b^2>=0; -2<2y+3<4; |a-5|<=1;