Division by 7 and 10 in base 17
Division by 7 and 10 in base 17