p, q и r имат $ 5000 помежду си. r има две - трети от общата сума с p и q . намерите сумата с r ?
"e 2000 нека сумата с r е $ r  2 / 3 (обща сума с p и q ) r  2 / 3 ( 5000 - r )  > 3 r  10000 - 2 r  > 5 r  10000  > r  2000 ."
divide(multiply(5000, multiply(const_2, const_2)), add(add(multiply(divide(multiply(const_2, const_2), const_3), const_3), multiply(const_1, const_3)), multiply(const_1, const_3)))