 4*s. Let u = 1776 + -1774. Solve l - 2 = k*t, 0 = 5*t - u*l - 2 + 4 for t.
-2
Suppose -12*i + 72 = -6*i. Suppose -3*b + 12 = 3*n - 2*n, -2*n = 2*b - i. Solve 2*y = -k + n, -y = 3*k + k + 16 for y.
4
Let o(d) = 3*d**2 + d + 3. Let x be o(2). Let j = 32 + -29. Solve b + 0*m - 21 = -5*m, 0 = j*b - m + x for b.
-4
Let s be 1/(-5 - -6) + 27/9. Solve -3*d + 32 = -7*d + 4*m, -2*d = 2*m + s for d.
-5
Let l be 5/(5 - -15)*(19 + 5). Solve 0*j - s + 18 = 5*j, -l = 3*j - 5*s for j.
3
Let h(p) = 2*p**2 + 4*p. Let t be h(2). Solve -3*g - 2 = z + 12, -5*g = -2*z + t for g.
-4
Let p(y) = y + 6. Let m be p(0). Suppose -i + 4*i - m = 0. Suppose 0 = x + i*x - 12. Solve -5*z = -2*h + 17, h - 17 = x*z - 4*h for z.
-3
Let y(h) = -h**2 + 13*h - 37. Let v be y(6). Solve p = -2*c - 3, 20 - v = -c - 5*p for c.
0
Let b(l) = l**2 - 4*l - 14. Let k be b(7). Let i be 2/k - 380/(-140). Solve -3*p + i*a = -9, -2*a - 23 = -5*p - 5 for p.
4
Let k(u) = -u**3 + 5*u**2 + u + 16. Let s be k(5). Suppose 3*h = -9 + s. Solve -6 = -5*i + 14, h*l - 8 = 2*i for l.
4
Let b = 13 + -8. Suppose 4*y = -b + 1. Let w be 1 - (-1 - y) - 1. Solve w = h + o - 6, -2*o = -6 for h.
3
Suppose 14*u + 19 - 61 = 0. Solve -4*q - 3*f + 7 = -u, -5*f + 6 = 4*q for q.
4
Let o = -232 + 267. Solve 5*m + 5*b + o = 0, -5*m - 4*b - 5 = -5*b for m.
-2
Suppose 0 = -3*k - 3*r + 42, 32 = 3*k + 4*r - 15. Suppose -k = -2*o + o. Suppose 21*b = 26*b - 10. Solve 3*f = b*f + 5*q - 15, f - o = -q for f.
5
Suppose -4*n - n + 25 = 0. Let x be 2 + (-3 - -16*1). Suppose 0*c - x = -n*c. Solve c*z - 8*z + 12 = -4*m, 0 = 4*z + 4*m - 24 for z.
4
Let s(a) = -4*a + 1. Let n(v) = v. Let z(q) = -3*n(q) - s(q). Let y be z(1). Suppose y = 3*d - 16 + 10. Solve 0 = -5*f + t + 11, d + 3 = -5*t for f.
2
Let v = 932 + -928. Solve -2*w + v*w + g - 2 = 0, 5*g - 10 = 2*w for w.
0
Let d be (-196)/(0 + 4) + 2. Let x = d + 51. Solve 0 = x*i - 3*c + 12, 0*c = -3*i - c + 4 for i.
0
Let x = -1055 + 1055. Solve -4*o + 3 = -3*h - x*o, h - 2*o + 1 = 0 for h.
-1
Suppose -2*b + 121 - 37 = 0. Suppose 4*w - 4*z - b = -z, -5*w = 3*z - 39. Solve -5*u - x + 10 = -8, -w = 2*u - 5*x for u.
3
Let d(u) = u - 3. Let b be d(8). Suppose 5*p + h - 51 = 0, p - b*h - 31 = -0*p. Solve -3 = -3*l - 3*q, -3*q = 3*l + 2*l - p for l.
4
Suppose 9*a = -247 + 283. Solve 4*s = -4*b + 4, a = 2*s - 6*s + 4*b for s.
0
Let o be 3 - (3 + -2 - 2). Let k(p) = 2*p**3 + 13*p**2 - 50*p - 39. Let r be k(-9). Solve -o*s + 31 = s - 2*b, 3*s + 3*b = r for s.
5
Let r = 29 - 27. Suppose 0*y - 4*y + 32 = 4*c, 0 = -r*y - c + 21. Solve s + 9 + y = -5*p, 4*p + 23 = s for p.
-5
Suppose -h - 10 - 4 = -3*f, f - 6 = h. Solve c = -4*t + f, 4*t = c + 3*t + 1 for c.
0
Let v(y) = 3*y - 7. Let k be v(4). Let z = k + 4. Suppose -b - z + 13 = 0. Solve b*i - g = 3*i - 6, 22 = -5*i + 3*g for i.
-2
Let m be -1*1*(5 - -3). Let t(k) = -2*k - 4. Let r be t(m). Solve -2*p - 1 + 5 = 0, -3*z + r = 3*p for z.
2
Let t = 51 - 40. Suppose 19 + t = 10*a. Solve -b - 13 = a*j + 1, -j + 6 = -5*b for j.
-4
Let d(v) = v**2 - 20*v - 89. Let w be d(-4). Solve 10 = 5*n + 8*m - w*m, 3*n + 5*m = -16 for n.
3
Let s be 2 + (-2 - -1) - (-64 - -40). Let t be (2/4)/(2/20). Solve 0 = -m + t*f - s, -m - 10 = -2*f - 0*f for m.
0
Suppose -9*g + 4*g = 35. Let f = 11 + g. Solve -12 = f*v, 3*o - v = 2*v + 6 for o.
-1
Let t(b) = 6*b**2 - b. Let w be t(1). Let i be (-6 - -7)*4*w. Solve u - 2 = -2*d - 0*u, -i = -5*u for d.
-1
Suppose -11 - 4 = -5*u. Suppose -2*f + 8 = 4*a, 0 = -2*a + u*f - 0 + 4. Let l be -3 - -9 - (1 + a). Solve -w + 4 = 5*h, 0 = -w - 4*h + l for w.
-1
Suppose -5*s = 31 - 41. Solve -p + 4*b - 9 = 0, -3*p + 16 = s*b + 1 for p.
3
Let c = -1120 + 1127. Solve -c*m + 12*m = -3*h + 29, -4*h + 5*m = 8 for h.
3
Let r(q) = 3*q + 43. Let s be r(-12). Suppose 36 = s*h - 41. Solve -12 = -3*z - 8*v + 5*v, 3*z + 2*v - h = 0 for z.
3
Suppose -4*h - i - 283 = 0, 0 = 3*h - 0*h + 5*i + 208. Let n = -35 - h. Suppose 5*m = 10, -m - 5 = -j + 3*m. Solve -7 - j = 5*k, -4*y + n = -4*k for y.
5
Let s = 9 + -4. Let c(u) = 9*u**2 - 6*u - 2 + 0 - 8*u**2. Let n be c(7). Solve s*d + 3*o = -0*d, -2*d + 31 = -n*o for d.
3
Let x be (-1)/(-4)*(-2 + 2). Suppose 3*g + 4*t = 8 + 14, t - 4 = x. Solve 3*p + 16 = 4*d, 0*d - 2*p - 10 = -g*d for d.
1
Let k(r) = r**3 + 14*r**2 - 13*r + 34. Let v be k(-15). Solve -4*t + 1 = 3*p + v, -5*t = 15 for p.
3
Suppose -k + 24*k = 69. Solve 0 = -5*s + 16 - 41, 0 = -k*r - 3*s for r.
5
Let c(f) = -f**3 + 6*f**2 + 6*f + 9. Let b be c(7). Suppose -b = 3*g - 14. Solve 3*l = g*j + 7, 2*j - 22 = j - 4*l for j.
2
Suppose -11*p = -16*p + 60. Solve 5*b - 4*u + p = 3*b, u - 1 = 0 for b.
-4
Suppose 4*o - 10 = -2*r + 10, 10 = 5*r. Let m = -66 + 68. Let h(l) = l - 10. Let n be h(12). Solve -n*z = -2*d - 6, 0*d - z = -m*d - o for d.
-1
Suppose -4*n + 3*z + 11 = 0, -2*n - 2*z + 0 + 2 = 0. Solve 0 = -u + 2*u + n, -4*l - 4*u + 12 = 0 for l.
5
Let l = -23 + 28. Suppose -4*b - n - 1 = -9, -2*n - l = b. Solve b*w - 2*j + 6 + 2 = 0, -w - 4 = -j for w.
0
Let h(q) = -q**2 + 22*q + 285. Let t be h(-9). Solve -3*z = -2*c + 19, 0 = -c - t*z + 2*z - 7 for c.
5
Suppose -2*w = -4*i - 30, -2*i + i = -5*w + 48. Solve 4*x = z - w, -2*x - 4*z = -z - 13 for x.
-1
Let v be (-2)/((-5)/(2 - -8)). Suppose 12 + 5 = 5*p + a, -v*a - 16 = -p. Solve -4*f + 4 = -d - p*d, 2*f - 5*d - 12 = 0 for f.
-4
Let a(o) = o**2 + o - 5. Let i be a(-4). Let y = 9 - i. Suppose -3*g = y*g - 20. Solve 0 = 2*c + 5*q - 4*q + 7, -5*c + 15 = -g*q for c.
-1
Let q be (-2 - 6)*4/(-8). Suppose -4 = -i - f + 5, -q*i = -5*f - 72. Solve 3*h - 4*g - 26 = 0, 4*h - 41 = 4*g - i for h.
2
Let d = -7863 + 7865. Suppose 2*b - 6 = 18. Let j be ((-9)/b)/(2/(-8)). Solve -5 = 4*i + z, -2*i - d*z = 1 + j for i.
-1
Let g = -21 - -19. Let v be 4 + g - (-3 + -2). Solve n - 4 = 3*n + 3*k, -5*k = 3*n + v for n.
1
Let s be (-10 - 0)*(1 + 18/(-15)). Let d be (-2 - -10) + 0/3. Let l be (-3)/(-2)*d/3. Solve -5*p = -2*r - 17, -10 = -l*p - 0*p - s*r for p.
3
Suppose 2*u = -u + 171. Let c = -47 + u. Solve 5*n = -5*a + c, -n - 4 = -2*a + 4*n for a.
2
Let j = 172 + -158. Solve -w = 3*x - 0*w - 7, j = 4*x - w for x.
3
Let n = -64 - -3. Let m = n + 64. Solve i - 5*d - 2 = 0, 2*d = -5*i + 7 + m for i.
2
Suppose 4*v + 32 = -5*n + 74, 4*n + 32 = 5*v. Solve f + 2*f - 1 = -i, 5*i + v = -2*f for i.
-2
Suppose 5*o - 39 = -2*g, -4*o - 5*g + 32 = -3*g. Solve -a - 8 = r + 3*a, -2*r = 5*a + o for r.
4
Let o = -995 - -1009. Solve 3*j = 9*h - 8*h + 16, -o = 4*h - 2*j for h.
-1
Let b(o) = 45*o + 4. Let j be b(3). Let u = -136 + j. Solve u*r = f - 7, -f - 5 = -6*f for r.
-2
Let q be (-26)/(-5) + (-12)/(-15). Let o be ((-6)/9)/(q/(-18)). Solve o*j + 2*f - 9 = 5*j, 2*j + 19 = -3*f for j.
-5
Let k(z) = -z**3 - 7*z**2 + z - 2. Let n be k(-7). Let q = -6 - n. Let d be (1/1 - -2) + (51 - 51). Solve -q*m - 6 = -u + 4, -5*m = d*u + 40 for u.
-5
Suppose 0 = -2*n - 2*n + 100. Let h = n - 22. Solve -4*o + 2 = h*b + 2*b, -o + 2 = 2*b for b.
2
Let m = -2 + 1. Let r = -262 + 259. Let h be r + (1/m - -4). Solve h = -a + w + 1, 0*w + 1 = a + 5*w for a.
1
Let t(f) = -f**2 - 5*f + 1. Let l be t(-4). Suppose 3*i = 11 - l. Suppose 3*a + i*a - 15 = 0. Solve 4*c + c + r = -5, 5*r - 19 = -a*c for c.
-2
Let x = -24 - -26. Suppose 35 + 3 = x*w. Suppose w*g = 16*g. Solve -k + 2*f = 5*f - 10, g = -3*k - 3*f for k.
-5
Let u(t) = -t**3 + 8*t**2 + 4*t - 26. Let r be u(7). Let l = -45 + r. Solve 3*f = -0*j + 3*j - l, -2*j = -4*f - 4 for f.
0
Suppose -38 = 3*l + 4*i - 28, 0 = 4*i + 16. Solve 5*h + 16 = 2*k, -h + l*k - 8 + 0 = 0 for h.
-2
Suppose -2*g + 4 = -2. Suppose 0 = -6*h + 2*h - g*d + 13, -2*h + 7 = d. Suppose -3*u - u + h = 0. Solve 0 = 4*y - 3*z + z + 10, y = z - u for y.
-4
Suppose -7*d = -0*d - 35. Solve y + 7 = -a, -d*y - 21 = -2*a - 0*y for a.
-2
Let a = 75 + 313. Suppose 5*p + a = 8. Let j be p/(-28) + 2/7. Solve 3*k + 12 = u, j*k - 2*u - 3*u + 24 = 0 for k.
-3
Suppose 0*u = 2*u - 30. Let w be 2/(-3) - u/(-9). Suppose -v - w = -4. Solve -v*g - j = 15, -g - 5 = -2*j + 5*j for g.
-5
Let a be 5/((6/(-36))/((-1)/6)). Solve -12 = -4*u - 4*f, 1 = -5*u + a*f - 24 for u.
-1
Let x be (-1)/5 - -1*26/5. Suppose -x*p + 20 = -p. Solve -3*y = -i + p, -y = i - 0*y - 1 for i.
2
Let u(c) = 1 + 0*c + 5*c**2 + 2 - 6*c - c**3. Let m(h) = -2*h - 7. Let n be m(-5). Let t be u(n). Sol