20:(5-3) - 8x[30:5-(4-7)]