Below is the line which models the condition Jack = 2*Bill = 2*(Ben-8) = 2*((T-4)-8) = 2*(((0.5*Jack-4)-8), or, equivalently Jack = Jack - 16. The last equation is self-contradictory and does not have a solution. Therefore, the original problem is self-contradictory and does not have a solution.