What is #25 - (3.1 * 6 + 5.3)#?