Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.
2x+4y-3z=15
5x+4y+z=-16
метод Крамера
det 3 2 1= 3*16-2*17-1*12=48-34-12=2
2 4 -3
5 4 1
detx=158 dety =-172 detz=-134
x=detx/det=158/2=79
y=-172/2=-86
z=-134/2=-67