. Let l be p(-3). Let s = -16 + l. Solve 5*x = -5*j - s, 4*x + n - 1 = -2*j for x.
-1
Suppose 4*n + 5*q - 7 = 0, -3*q = -3*n - q + 11. Solve k + 3*o - 5*o = 5, -n*o = 2*k - 3 for k.
3
Suppose -4*d = 4*u - d - 1, -u = -d - 9. Solve -f + 14 - 4 = 5*t, u = -5*f + 2*t for f.
0
Suppose 177 = 31*s + 53. Solve 3*a = -a, 4*u = s*a + 20 for u.
5
Let n = -368 + 378. Solve -x - n = -5*b, 4*x + b = -0*x + 2 for x.
0
Suppose 6*j - j = -f - 196, 0 = f + 1. Let b = j - -43. Solve 3*y + 15 = -b*p, 4*y - 4*p - 5 = 5*y for y.
-5
Let y = 445 - 443. Solve -i = y + 1, -2*u + 2*i = 0 for u.
-3
Let h be 6/(-4) - (-1)/(2/11). Let r = 339 - 335. Solve -3*x - h*d = -r*x - 1, 1 = -x + d for x.
-1
Suppose 3*l - 21 = z - 6, -25 = -3*z - 5*l. Solve -g = -4*n + 19, z = -2*n + 12 - 2 for g.
1
Let i = 1256 + -1252. Solve 5*f - 5*o - i = -8*o, -3*o = -9 for f.
-1
Let y = 24 - 20. Let k be ((-2)/y)/((-1)/10). Solve -2*m = -2*g - 2*g + 14, k*g - 22 = -2*m for m.
1
Let p be (10/(-8))/((-1)/4). Suppose -142*b + 144*b - 6 = 0. Solve -k + p*k - 20 = 5*y, b*y - 4*k = -20 for y.
0
Let s be 1016/(-1270) - (-144)/5. Solve 2*a - 5*h = -6 + 20, 0 = 4*a + 4*h + s for a.
-3
Let k = 1 - -10. Suppose 31*a - a + 0 = 60. Solve -3*o + 1 + k = 3*z, 0 = a*z - o + 7 for z.
-1
Suppose 0 = -82*c + 84*c - 4. Solve -2*g - c*j + 9 = -3*g, -2*j + 4 = 4*g for g.
-1
Let t(c) = c**2 + 5*c + 4. Let g be t(-1). Suppose 5*r + 6 = 3*p + 27, -2*r - 5*p - 4 = g. Solve r*l + b = -b + 14, -3*b - 5 = -2*l for l.
4
Suppose 697 = 2*j + 691. Solve 4*n - 2*i = 4, j*i = i for n.
1
Let y(a) = 3*a - 5*a + 16 + 3*a. Let z be y(-14). Solve -z*m + 0*m - 9 = k, -35 = 5*m + 5*k for m.
-2
Suppose 2*u + 0*u + 27 = 5*g, -3 = -3*g. Let r = -5 - u. Let d be ((-8)/r)/((-1)/9). Solve -5*h - 4*x - d = 4, -2*x - 8 = h for h.
0
Suppose -2*s - 6 = -48. Let j = 33 - s. Solve -3*g - 14 = -c, -7*g = 2*c - 3*g + j for c.
2
Suppose 4*h = -7*h + 22. Solve f = h*r + r, -4*f + 4*r - 8 = 0 for f.
-3
Suppose -17 = -3*n + 1. Suppose t = 5*t - 20, -t = -2*g - 89. Let q = g + 44. Solve 2*w = -n, 0 = -q*a + 2*w + 16 - 2 for a.
4
Let t = -16 - -20. Let j = t + 10. Solve 2*x = 5*l + j, 0 = 2*l - 3*x - 1 + 11 for l.
-2
Let o = -50 - -54. Solve -3*z + 9 = i - 4*z, -3*i - 8 = o*z for i.
4
Let y be (40/16 - 4)*-2. Let o = -4 + 7. Solve -y*d - 11 = 5*n, 5*d - o = -2*n + 4 for d.
3
Let l(m) = m**2 + 2*m + 2. Let u be l(-3). Suppose u*g - 9*g - 2*g = 0. Solve 4*n - a = -g*n - 9, 0 = 5*a - 25 for n.
-1
Suppose 38*r = -4*r + 210. Solve 4*n + 10 = -2*l - 0, 5*n - r*l = -20 for n.
-3
Suppose -10 - 2 = 3*c - 4*h, c + 4 = -5*h. Let q = c + 9. Suppose -20 + 5 = -q*d. Solve -v = 5*o - 4*v - 31, 2*o - d*v - 16 = 0 for o.
5
Let w(o) = -o**3 + 4*o**2 - 5. Let z be w(3). Suppose 0*u - u + z*i = 16, -1 = -4*u + 3*i. Solve -6 = -3*p - 3*n, -p = u*p + 4*n - 6 for p.
-2
Suppose r = -3 + 1, 0 = -4*i - 4*r + 80. Let b = 32 - i. Suppose -k = -4*u + 21, 3*k - b = 4*u - 33. Solve -4*q = w - 2*w - 11, -u*q - 5*w + 45 = 0 for q.
4
Suppose -3*w = o + 1, -4*o + 0*o + 11 = -3*w. Solve -z = -5, 11 - 1 = -5*v + o*z for v.
0
Suppose -3*o - 53 = -3*k - 5, -5*k = 2*o - 101. Solve 5*y + 3*q + k = 0, -5*q = -3*y - y - 30 for y.
-5
Suppose -3*q = 5*v - 25, q - 8 = -2*v + 1. Suppose 3*p = v*p + 5. Solve -5*y - 4*i = -2*y + 17, 4*y + p*i = -22 for y.
-3
Let x be (-17 + 10)*4/(-7). Let i = 32 + -16. Let r be 1/(x - 62/i). Solve t = m - 1, 2*t = -0*t - m - r for t.
-3
Let k be (-35)/(-20) + 1/4. Let j = 12 + -9. Suppose -i - j = -3*w, -4*i + 4 = -5*w - 5. Solve 2*x - k*d + 4 = 0, -4*d - i = 3*x - 0 for x.
-2
Let s be 2 + (160/50 - (-1)/(-5)). Suppose 2*b - s*d - 27 = 8, 0 = -4*b - d + 15. Solve -f + 0*q - b = -2*q, 0 = 4*f - 5*q + 17 for f.
-3
Suppose 0*q = -2*q + 3*z - 67, 3*z = -15. Let n = -38 - q. Solve 3*j + 5*a = -5, 0 = 2*j + 2*a + n - 5 for j.
5
Suppose 0 = 3*q + 10*l - 6*l - 10, 0 = -4*l + 4. Solve -4*v - q*r = -0*r + 14, 25 = -5*v - 4*r for v.
-1
Suppose -b = 3*b - 528. Let q = 132 - b. Suppose 3*y - 5 - 4 = 0. Solve n - 8 = y*j, q = n - 4*j - 16 + 6 for n.
2
Suppose 5*i + 22*o = 24*o + 9, i - 2*o = -3. Solve -11 = u - 2*w + 3, -i*u = w + 7 for u.
-4
Suppose x - 3 = 3. Let i(t) = t**3 - 5*t**2 - 8*t + 7. Let k be i(x). Let o = k + 7. Solve -5*f + o = -4*y + 6, 5*f - 3*y + 8 = 0 for f.
-4
Let i(t) = t**3 - 3*t**2 + t. Let x be i(3). Suppose -n = x*n. Solve -4*b - 2 = -4*r + 2, b + 5*r - 11 = n for b.
1
Suppose 12 = -s - 2*c, 12 = -4*s - c - 15. Let v(y) = -4*y - 21. Let u be v(s). Solve -5*q = -2*f + 18, -u*q - 10 = -2*f - 0*f for q.
-4
Let g(p) = -p - 10 + 7 + 2. Let o be g(-6). Suppose -5 = -2*h + h. Solve o*k = -h, 3*k = m - 0*k - 8 for m.
5
Suppose 0 = -2*d + 4, 8*d = -5*i + 3*d + 15. Suppose s - i = 2. Let h be (-1)/s - (-2)/6. Solve -u = 3*k - 7, 2*k - 5*u = -1 - h for k.
2
Suppose 0 = -14*b - 2 + 72. Solve b*r + 14 - 42 = w, -2*r + 2*w + 16 = 0 for r.
5
Let k = 2 + 2. Suppose -2*b + m + m = 4, -k*b - 3*m + 20 = 0. Suppose -b*v = -10 - 0. Solve v*u - 10 = -0*u + 5*l, -3*u = -4*l - 3 for u.
5
Suppose 3*g + 17 = r, -61 = r - 5*r + 5*g. Let y = r + -10. Let z be y/10 - (-65)/25. Solve 5*f - 25 = -u, -u + 0*f - z*f = -15 for u.
0
Let g = 1 + 2. Suppose -s + g*s - 10 = 0. Solve -s*a = 5*m, -7*m + 2*m - 40 = -5*a for a.
4
Suppose -4*p + 5*u + 9 - 16 = 0, -5*u = -p - 13. Solve -5*a + 19 = -b + p*b, -7 = -4*b + 3*a for b.
4
Let a(n) = -2*n - 21. Let d be a(-8). Let z be (7/(-5) - 1)*d. Suppose -z = f + 3*c, 5 = c - 2*c. Solve -x = -f*q + 20, -5*x - 2 = 23 for q.
5
Let c be (-1 + 0 + 7)/2. Let k be (c*(-3)/6)/(2/(-4)). Solve -k*a + 22 = b + b, -45 = -5*a - 5*b for a.
4
Let t = -345 - -351. Solve -10*s + t*s = 2*x - 6, 0 = -3*x - 2*s + 1 for x.
-1
Let l = 16 + -15. Let p be l*(4 - 5) - (0 + -3). Solve 5*h + 5*x - 20 = 0, p*x + 11 = 4*h + x for h.
3
Let w = -2015 - -2020. Suppose -2*z = -j - 2 - 1, 0 = -3*z + 5*j - 13. Suppose 0*o = o - z. Solve 0 = -4*s - 3*d + 31, -4*s - o = -w*d + d for s.
4
Let f(p) = p**2 - 2*p - 23. Let y be f(6). Solve -a + 2*n + 1 + y = 0, -a - n - 7 = 0 for a.
-4
Let l(p) = p**3 + 13*p**2 + 0*p**3 + 13*p - p - 4 + 8. Let q be l(-12). Solve 1 = 2*s - o, 0 = -s + q*o - o - 7 for s.
2
Let j = 480 - 475. Solve -j*k + 7*u - 35 = 12*u, 0 = 2*k + u + 11 for k.
-4
Let v = -7 + 9. Suppose -5*t = -g + 1, v*t - g = -t + 1. Let n be (-10)/t - 2/(-1). Solve -w + n = 2*w, -w + 2 = -o for o.
2
Let i = 21 - 17. Suppose 26*h - 25*h = i. Solve 6 = 3*l - 2*y, -2*y = -4*l + h + 2 for l.
0
Suppose -678*k + 60 = -674*k. Solve -5*s = -2*o - 25, -2*s - s + k = -4*o for s.
5
Let w be 1 - -2 - ((-4 - 1) + 3). Solve 3*d - 17 = -5*y, -7 = -7*y + w*y - d for y.
4
Let u(t) = -2*t - 22. Let b be u(-11). Suppose -3 = -3*g + 6. Suppose -z = 2*z + 5*x - 17, -3*x + g = b. Solve z*o = -k + 17, -4*o + 8 = -3*k - 5 for o.
4
Suppose -18 = 4*y + 3*o - 29, 4*o = -4*y + 12. Solve 0 = 3*z + m + 4, -8 - 13 = y*z - 3*m for z.
-3
Let w(p) = 6*p - 5 - 3*p**2 - 4 - 2*p**3 + 16. Let i be w(-3). Solve -3*d - 4*n = -i, -d - 4*d = -n - 19 for d.
4
Suppose -o = o - 40. Let y = 22 - o. Suppose 5*i + y*m = 5, -2*i + i = 2*m + 7. Solve -3*d = -5*h - i, -4*d = 4*h + d - 5 for h.
0
Let z = 187 + -187. Solve 5*m = -2*s + m - 6, z = -5*s - 2*m - 15 for s.
-3
Let h(y) = -6*y + 94. Let v be h(15). Solve -4*x = v, 5*z + 2 = 6*x - 3*x for z.
-1
Suppose -2*d + 36 = -5*d. Let y = d - -12. Suppose 3*i + 5*c - 17 = 0, y = 3*i - 2*c - 6 - 4. Solve -25 = 2*b + 5*v, v + i + 1 = b for b.
0
Let i(p) = p**3 + 2*p**2 + p + 2. Let g = -20 - -18. Let t be i(g). Suppose t = -3*r + r + 6. Solve 2*u + 2 = -k, -u - 3*k + 7 = r for u.
-2
Let w(h) = -5*h - 101. Let a be w(-21). Solve -4*k - 3*n = n - a, 5*n = -10 for k.
3
Let y(k) = k. Let n be y(4). Suppose -4*r = 3*a - 16, 4*a - 2*a = 4*r + n. Let t be 152/32 - r/(-4). Solve -4*g + 18 - 4 = -z, -4*z + 28 = t*g for g.
4
Let o(g) = -g - 1. Let r be o(-4). Let s = -4 + 11. Let z(b) = -b**3 + 7*b**2 + 5*b - 1. Let l be z(s). Solve r*y + i = -4*i - l, -i + 10 = -5*y for y.
-3
Suppose -3*f - 4*f - 42 = 0. Let t be (-4)/(-1 - (-2)/6). Let n = f + t. Solve -o - 2*p = n, -o + 0*o + 5*p = 7 for o.
-2
Let x = -919 - -922. Solve 2*k + x*g - 4 = 0, 5*k - g - 25 = 2 for k.
5
Let b(h) = h**3 + 8*h**2 - 19*h + 1. Let c be b(2). Solve c*m - 11 = -2*f, -3*f - 15*m = -14*m - 6 for f.
1
Suppose 7*y - 9 - 12 = 0. 