solve({x = 17 - y, 2 z = 2 x - 1/6, k = y + z, k = 16 + w})