При група патици и крави общият брой на краката е 12 повече от два пъти по-голям от този на главите.
"Нека броят на биволите да е x, а броят на патиците да е y  > 4 x + 2 y  2 ( x + y ) + 12  > 2 x  12  > x  6 a"
divide(12, const_2)