 -3*s + 3. Let k be u(4). Let z = 14 + k. Suppose -2*c - 6 = -2*y - 6*c, -z*y - 5*c = -25. Solve -2*j = -5*w - 0*w - 11, 2*j + w + y = 0 for j.
-2
Let x be (-3)/2*8/(-2). Suppose -9*z + 8*z + x = 0. Let m be 3/z*(-1 - -3). Solve -3*k - 4*l - m = 0, -4*k + 5*l = -k + 19 for k.
-3
Let q = 41 + 32. Let m = -71 + q. Solve -p - 3*p - 4 = 3*v, m*p = 3*v + 16 for p.
2
Suppose 2*v + v = -51. Let a(b) = -3*b - 32. Let i be a(v). Solve -3*t + i = -0*z + z, 15 = 5*z - t for z.
4
Let q be (-11)/(-7) - 336/(-784). Solve -q*r + 5*h + 1 = 26, -5 = -5*r - h for r.
0
Let i(t) = -36*t - 140. Let l be i(-4). Solve q + 0*q = -2*y - 5, 0 = -l*q - 3*y - 10 for q.
-1
Let r(g) = -2*g**3 - 17*g**2 + 7*g - 15. Let d be r(-9). Solve 0 = d*b - h - 14, -h - 15 - 2 = -4*b for b.
3
Let m be -5*(112/(-20) + 5) + -1. Solve 0*s + 4*i = -5*s - 35, -4 = -m*s + 2*i for s.
-3
Let d(r) = -2*r - 20. Let a be d(-10). Solve -2*b + 15 = -3*b - 3*y, b + 2*y + 11 = a for b.
-3
Let k be (2 - (1 + -2)) + -1. Let p be (k + -2)*(-3)/6. Suppose 0 = -b - p*b. Solve 5*a = -4*x + 6, b = 5*x + 3*a - 8*a + 15 for x.
-1
Let f be (-18)/(-24) + (-82)/(-8). Solve -3*u + f = -5*k, -3*u = -u + 5*k + 26 for u.
-3
Let n = -178 - -183. Solve -2*o = 2, n*g + 4 + 17 = -o for g.
-4
Let z be -12 + (289/17 - 2). Suppose -5*n + 24 = -n. Let h(s) = s**2 - 6*s + 4. Let p be h(n). Solve -3*k + z*i + 3 = 0, k - 5*k - 4*i + p = 0 for k.
1
Let j = -198 - -200. Solve 0 = -n + 5*u + 3, u = j*n - n + 1 for n.
-2
Let k = -56 + 72. Suppose 4*z - k = 4. Solve -4*n + 1 - z = 4*t, -3 = -n for t.
-4
Suppose -5*r + 150 = -0*s + 5*s, 5*s + 130 = 5*r. Let z = r + -53. Let n = z + 30. Solve b + 3 = 4*v - 5, 3*v = n*b - 11 for v.
3
Let y be (-312)/(-32) - (3/4 - 1). Solve 4 = 2*s + 3*f - 0*f, -y = -5*s - f for s.
2
Let d = -1 - 33. Let s = d + 54. Suppose -11*p = -7*p - s. Solve 5*i - 10 = -5*v, 0 = -p*v + 3*i - 12 - 2 for v.
-1
Let z = -542 + 544. Solve -5*i + 35 = -5*l, -4*l + z*i = 18 + 2 for l.
-3
Suppose d + 13*j = 8*j - 19, -d = 2*j + 4. Suppose -4*a + 37 = 3*i, -5*i + 50 + d = a. Solve 5*q = 2 + 13, 3*q + i = -5*s for s.
-4
Suppose -18 = -4*u + 2*s, -4*u + u - s = -6. Solve -4*i = -4*x - 20, 9*x + u*i = 6*x + 15 for x.
0
Let k = 35 - 28. Suppose 0 = 2*q - 5*a - 20, 3*q - a = 2*q + k. Solve -2*z + 3*c = -0 + 2, -21 = -q*z + c for z.
5
Suppose -12 = -7*m + 23. Let q be (5 - (m + -4)) + 1. Solve -5*i = -3*v - 19, -v = -q*v + 4*i - 12 for v.
2
Let l(n) = 6*n - 130. Let y be l(22). Solve -2*s + 4 = -s - d, -3*s + 7 = y*d for s.
3
Let l be 1*(-6 + (1 - 0)). Let k be ((-1)/((-1)/(-2)))/((-1)/7). Let h = k - l. Solve -2*w - h = 5*n, -28 = -w + 4*n + n for w.
3
Suppose 21 + 39 = 20*d. Solve -3*k - 3 - 3 = -d*n, -5*n - 2*k = -3 for n.
1
Let i be 4 - 2 - -1*1. Let b(t) = -85 - t - 4*t**2 + 90 + 5*t**2. Let u be b(0). Solve -i*p + u*l = -5*p + 10, -4*p = 5*l - 10 for p.
0
Suppose w + 4 = j, -2*w - 28 = -5*j - 5. Solve -30 + 10 = j*d - k, -3*d + 2*k - 12 = 0 for d.
-4
Suppose -2*p - 4*w + 76 = -8, -3*p + 4*w + 96 = 0. Suppose -s - 3*s = p. Let x = 9 + s. Solve -2*q + 6 = 2*a - 0*q, 3*a - 2*q - 14 = x for a.
4
Let j be 10/55 - 598/22. Suppose 0 = -3*f + 62 + 28. Let i = f + j. Solve -4*u + 3*d - 4 = 0, -2*u + 5*u + 2*d + i = 0 for u.
-1
Let t be 32/(-3) - 10/(-15). Let j be (-1 - t)*(-5 - -4). Let r = j - -16. Solve 0*y = -5*a - y + 21, 0 = -2*a + y + r for a.
4
Suppose 3*f - 25 = -19. Suppose -q = m, -2*m + 2*q + 24 = f*m. Solve 2*a = -d + 4, -m*a - a = d - 4 for d.
4
Suppose 17*p - 15*p = -4*y + 10, 0 = 4*p - 4. Solve h + 13 = -0*h - y*c, c = -4 for h.
-5
Let c(s) = -5*s**2 - 13*s - 3. Let z be c(-2). Suppose 4*v - 27 = -p + 4*p, z = -3*p. Solve -2*y = -3*a - 13, v*y - 2*y = -4*a - 24 for a.
-5
Suppose -f - 13*h + 8*h - 22 = 0, h = -4*f + 7. Solve 0 = -4*v + f*v - w - 9, 3*w = -v - 19 for v.
-4
Suppose -g = -3*r + 4 + 3, 4*g - 5 = r. Let f(i) = i**3 - 9*i**2 + 7*i + 8. Let k be f(8). Solve 2*m = 2*n + 3*n + 30, m - g*n - 13 = k for m.
5
Suppose -4*c = 4*l, -21*c = -4*l - 20*c + 25. Solve v - l = -3*d - 0, 4*d = 3*v + 11 for d.
2
Suppose 0 + 4 = -4*q. Let y be (-13)/(-26)*(q - -1). Solve -3*w = 2*w - 4*r - 1, y = 3*w - r + 5 for w.
-3
Let c be -2*-1*(-6)/(-4). Let h be (2/c - 0)*3. Let j be 1/((-9)/3 + 6)*6. Solve 2*l = 0, q + 5*l - h = j for q.
4
Let g(a) = a**2 + 10*a + 24. Let v be g(-6). Solve -5*j - 3*r - 17 = 0, v*j = -2*j - 2*r - 10 for j.
-1
Let q be 0/3 + (12 - 8). Solve -2*y + 3*y - q*b = 24, 5 = -b for y.
4
Let n(g) = -10*g + 152. Let y be n(15). Solve -y*h - 4*f = 4, 2*f + 0*f + 2 = 0 for h.
0
Suppose w - 21 + 97 = 0. Let j = w + 102. Solve 2*o - 4 = 2*i - 12, -j = -o - 5*i for o.
1
Suppose -u + 2*i = -4, i = 3*u + 3*i - 12. Solve -1 = -s, 3*l = u*s - 0*s + 5 for l.
3
Let n = 5 - 2. Let v be (-4)/8*6 + n. Solve -5*k + 2*z + z = 16, v = 4*z - 8 for k.
-2
Suppose -2*d + d = 3*w + 6, -5*w - 50 = 5*d. Let g = 16 + d. Solve 0 = -3*v + v - n - 6, -g*n - 12 = 5*v for v.
-4
Let g = 1820 - 1816. Suppose 2*c = -3 + 11. Solve -3*d + 0*d + c = g*h, -3*d - 32 = -5*h for d.
-4
Let h(j) = 3*j**2 - 24*j + 50. Let x be h(3). Solve 2*u - x*t = 0, 0*u - u + 3*t = -1 for u.
-5
Suppose 0 = 19*f - 18*f - 4. Suppose 2 = 4*t - 2*i - 4, 0 = 4*t - f*i - 4. Solve -5*s + t = 4*k - 28, -s = -2 for k.
5
Let r = -149 + 73. Let k = r + 81. Solve -2*l - k*y = -0*l + 10, -4*l - y = -16 for l.
5
Suppose 2*f - 1 + 5 = 0. Let n be 2/(-4) + (-1)/f. Let a be 4 + (0 - (n - 0)). Solve -4*g = -2*k - 12, -a*k + 0*g - 11 = 5*g for k.
-4
Let y(x) = -70*x - 2. Let j(g) = -g - 1. Let q(k) = -3*j(k) + y(k). Let c be q(1). Let a be c/(-9) - (-1)/(-3). Solve 2*m = -1 + a, 12 = 4*r + 4*m for r.
0
Suppose c = -5*m - 44, 4*c = 3*m - 82 - 2. Let j = -20 - c. Solve -2*v + 3*p - 7*p = -22, -j*p - 13 = -5*v for v.
5
Let y(b) = -b**3 - 2*b**2 + b - 3. Let p be 1 - (2 - 0/4). Let i = -4 - p. Let r be y(i). Solve -5*n - 4*j + 26 = 0, -r*n = -5*j + 14 - 0 for n.
2
Let v(q) = 2*q**2 - 12*q + 11. Let w be v(5). Solve 2*c + 1 = -4*p - 13, 0 = c + w for p.
-3
Suppose n = -2*n + 9. Suppose y + 4 = n*y. Solve 3*v - 33 = -y*v + 4*h, -v - 3*h = 1 for v.
5
Suppose -70*c + 125 = -45*c. Let q = 12 - 12. Solve q = 3*v - y - 9, -y + c*y + 3 = v for v.
3
Let k be (0 + 0)/5*1. Suppose k = 2*q - 10 + 10. Solve w = -5*z + 22, q*z + 4*z - 3*w = 10 for z.
4
Let w be -1 + 3 + -4 + 14. Suppose 22 = w*v - 38. Solve -k - y + 8 = 4*k, v*y - 15 = 0 for k.
1
Suppose -11*l - 3 = -8*l. Let z be (-2 - l)*(-12 - -11) + 0. Solve -5*r - 4*k = 6, -5*r - 2*k = -1 - z for r.
2
Let k = -1227 + 1231. Solve -y - 3*y + 20 = -2*j, 4*y - 20 = k*j for y.
5
Let f = 34 - 13. Suppose 3*q - f = 2*q. Let i = -11 + q. Solve -4*j + v = -i - 2, 4*v - 8 = 2*j for j.
4
Suppose -4*u - 135 = u. Let d be u/18*(-8)/3. Solve d*c - o = -13, -2*c - o - 2*o = 17 for c.
-4
Suppose -8*f + 4*f + 12 = 0. Suppose k = -3*h + f, 4*h - 5*k - 7 = 16. Solve 3*u + 1 = -0*n - 2*n, -h*n = 5*u + 7 for n.
4
Suppose 0 = -o + 3*h - 30 + 23, 6 = -3*o + 4*h. Solve 28 = -5*t - 2*n, 0 = -t + o*n - n for t.
-4
Let d = 50 - 40. Let w be -3 + 11 + (-5)/d*8. Solve 2*r + 2 = 0, -2*x - 4*r + 2 + w = 0 for x.
5
Suppose 3*a - 12 = -7*b + 8*b, -3*b = 2*a - 19. Suppose -29*s + 30*s = b. Let q be 3/(-2)*(-10)/3. Solve -3 = 2*i - s*i - 2*h, -h = -q*i + 26 for i.
5
Let k = -1 - -4. Suppose 4*a - 20 = 5*w, 0 = -7*a + 2*a + 5*w + 30. Let n be (0/(18 - 10))/(-2). Solve n*p = 3*p - 3, 0 = -k*q + p - a for q.
-3
Suppose -3*r - 1 = 2*k - 2, 5*r + k = 4. Let h(f) = 12*f**3 - f**2 + 3*f - 2. Let n be h(r). Suppose n*o = 13*o - 25. Solve 5*y = o, 4*a - 2*a = y - 11 for a.
-3
Suppose 4*l + p - 372 = -p, 0 = 3*l + p - 281. Suppose 4*h = -h + l. Suppose -4*x + 3 = -x. Solve 0 = i + 4*d + x, -5*i + 4*d = -0*d - h for i.
3
Let j(f) = f**2 + 11*f - 21. Let s be j(-12). Let h be 13/2 + s/18. Solve -3*t - 4 = -5*v + h, -4 = -2*v - 4*t for v.
2
Let i = 981 - 972. Solve a - 5*w = -w - i, 5*a + w + 24 = 0 for a.
-5
Let w(h) = -h**3 - 8*h**2 - 13*h - 3. Let s be w(-6). Solve 4*y - n - 4 = 6, s*y + 3*n = 0 for y.
2
Let s(a) = -a**2 - 46*a - 461. Let p be s(-31). Solve z + 0*z + p = 2*w, 2*z = -w + 2 for z.
0
Suppose -b + 5*d + 0 = -55, 0 = 3*b - 3*d - 201. Let x = 78 + -120. Let o = x + b. Solve o = -4*y + 4*q, 5*y + 2*q = -0*y for y.
-2
Let f(k) = -3*k**3 - 97*k**2 - 35*k - 94. Let x be f(-32)