Compute the weakest precondition for the following statements and post-conditions.

a = 2 * b + 1;

b = a 3;

{ b < 0 }