Ha, yes. Reading the question, and indeed giving it any thought at all, were always the things that held me back in maths at school. Using cents and requiring >

Ha, yes. Reading the question, and indeed giving it any thought at all, were always the things that held me back in maths at school. Using cents and requiring > 0: user> (run* [q] (fresh [morning afternoon a b c d e f] (fd/in morning afternoon (fd/interval 0 3500)) (fd/in a b c d e f (fd/interval 0 26)) (fd/eq (< afternoon morning) (> morning 0) (> afternoon 0) (= (+ a b) 10) (= (+ c d) 16) (= (+ e f) 26) (= (+ (* morning a) (* afternoon b)) 3500) (= (+ (* morning c) (* afternoon d)) 3500) (= (+ (* morning e) (* afternoon f)) 3500)) (== q [morning afternoon a b c d e f]))) Spoiler warning, scroll right: ([375 125 9 1 6 10 1 25])