To solve the first equation:

25 + (x - 2) * 15 = 70
Simplify:
25 + 15x - 30 = 70
Combine like terms:
15x - 5 = 70
Add 5 to both sides:
15x = 75
Divide by 15 on both sides:
x = 5

Now, let's solve the second equation:

72 : (12 - x : 4) = 9
First, simplify the expression inside the parentheses:
72 : (12 - x/4) = 9
Now combine the terms inside the parentheses:
72 : (12 - 5/4) = 9
Calculate 12 - 5/4:
12 - 5/4 = 48/4 - 5/4 = 43/4

Now substitute back in the expression:
72 : 43/4 = 9
To divide by a fraction, we can multiply by the reciprocal:
72 4/43 = 9
288 / 43 = 9
43 9 = 288
288 = 288

Therefore, the solution to the second equation is verified.