C语言中，整型变量x小于0，是否可知x*2也小于0

假定计算机是32位的，用2的补码表示整数，若x<0，则x*2<0不一定成立，如，当x为整型值的最小时就不成立。