Manipulating probabilities and equations