Fact Families With Multiplication and Division