Compute the weakest precondition for each of the following sequences of assignment statements and their postconditions:
a. a = 2 * b + 1;
    b = a - 3
    {b < 0}

b. a = 3 * (2 * b + a);
    b = 2 * a - 1
    {b > 5}