Solution 1. Subtract the second equation from the third to get a(c−b+1)=30. Add the second and third to get 2a(b+c)=−4−2d. Substitute into the fourth to get 2a(2ad−31)=−4−2d⟺a(31−2ad)=2+d⟺d=2a2+131a−2 which in particular gives a≡1(mod3). Then plugging in a factor of 30 for a gives us the system of equations b+c=2ad−31 and c−b+1=30/a in b,c. Here, observe that b+c is odd, so c−b+1 is even. Thus a must be odd (and from earlier a≡1(mod3) ), so a∈{−1,±3,5,±15}. Manually checking these, we see that the only possibilities we need to check are (a,d)=(5,3),(−1,−11),(−3,−5), corresponding to (b,c)=(−3,2),(11,−20),(5,−6). Then check the three candidates against first condition a2−b2−c2−d2=c−b−2 to find our only solution (a,b,c,d)=(5,−3,2,3). Solution 2. Here's an alternative casework solution. From 2ad=b+c+31, we have that b+c is odd. So, b and c has different parity. Thus, b2+c2≡1(mod4). Plugging this into the first equation, we get that a and d also have the same parity. So, a2−b2−c2−d2≡−1(mod4). Thus, c−b−2≡−1(mod4). So, c≡b+1(mod4). From taking modulo a in the second and third equation, we have a∣d+32 and a∣28−d. So, a∣60. Now, if a is even, let a=2k and d=2m. Plugging this in the second and third equation, we get 2kc=14−k−m and 2kb=k−m−16. So, k(c−b)=15−k. We can see that k=0. Therefore, c−b=k15−k=k15−1. But c−b≡1(mod4). So, k15−1≡1(mod4), or k15≡2(mod4) which leads to a contradiction. So, a is odd. And we have a∣60. So, a∣15. This gives us 8 easy possibilities to check...