YES
(VAR b a c)
(RULES
divide(b,a) -> multiply(b,inverse(a))
multiply(multiply(b,a),c) -> multiply(b,multiply(a,c))
multiply(inverse(b),multiply(b,a)) -> a
multiply(b,multiply(inverse(b),a)) -> a
inverse(multiply(b,a)) -> multiply(inverse(a),inverse(b))
multiply(b,identity()) -> b
multiply(b,inverse(b)) -> identity()
multiply(identity(),b) -> b
inverse(identity()) -> identity()
multiply(inverse(b),b) -> identity()
inverse(inverse(b)) -> b
)