what are the weakest preconditions of these following statements
Let's do the first one. You want to find what condition on $b$ will imply $2(b-1)-1&gt;0$. All you have to do is solve this inequality.
The other ones are similar.