Намерете число такова, че когато 15 се изважда от 7 пъти броя , резултатът е 10 повече от два пъти броя .
Нека числото е х . след това , 7 х - 15  2 х + 10  > 5 х  25  > х  5 . следователно, необходимият брой е 5. отговор е с .
divide(add(15, 10), subtract(7, const_2))