Умоляю, решите по , прогрессии, нужно

Просто предполагаем что Андреев соврал о том что он из Онеги. Получается Григорьев - Каргополь. Затем, понимаем что в если в Каргополе уже живет Григорьев, то первое утверждение Борисова ложное, тогда Борисов - Коряма. Григорьев действительно из Каргополя, тогда Данилов =/ Вельск. Если Данилов не из Вельска, тогда Андреев - Коряжма. Остается 2 города. Если Данилов =/ Вельск, то тогда Данилов - Онега, а Васильев - Вельск. Если бы мы в первом выбрали другой вариант, то все равно путем логических вычислений, мы бы наткнулись на противоречие.

1) 15x+y-3x-7y-3 =12x-6y-3                        
2)3y-6+2y+5  =5y-1                             
3)2x-5xy-3y+2xy+5y-3x=-x+2y-3xy               
4)3x-2+3-7x=-4x+1                                
5)5-3a+2a-4+3-8a =4-9a                       


1)5(x-5)  =5x-25                                     
2)-2(y+2)   =-2y-4                                  
3)8(2-3x)   =16-24x                                  
4)-4(x-6)  =-4x+24                                    
5)3(5-2a)=15-6a