Which exponential property do you use first to simplify \frac{(2a^2bc^2)(6abc^3)}{4ab^2c}?