Reasoning about unknown variables: divisibility