Is this math game always winnable?

Unsatisfyingly, a counterexample is (all black):

$$(5,5,6,6,7,7,8,8,9,9,10,10,J,J,Q,Q,K,K)$$

which does not satisfy the last two equations, since

$$\_+\_+\_ \ge 5+5+6 =16>13 = K$$

Extending this result, we need at least $22$ cards to guarantee a solvable $14$-tuple since we have the $21$-card counterexample

$$(3,4,4,5,5, \dots , K, K)$$

where $3+4+4+5+5+6 = 27 > 26 = 2K$, so the last two equations cannot both be satisfied. I do not know whether a counterexample to $22$ cards exists at this moment.


28 card counterexample:

$$ black: K, K, J, J, 9, 9, 7, 7, 5, 5, 3, 3, A, A $$ $$ red: K, K, J, J, 9, 9, 7, 7, 5, 5, 3, 3, A, A $$

cannot satisfy __ + __ = __ because 2 odds make an even (whether added or subtracted), and there are no evens in the set.

Edit: it's 28 cards, not 26.

The 29th counterexample is easy: with only one additional even, it isn't enough to satisfy both of the top two equations. So, 2 evens are needed to be added.