
5
Let h(i) = i**2 - 30*i + 173. Let y be h(23). Let p be 12/(11/8 + -1). Suppose y = -p*k + 36*k. Solve -3*w + 20 = 4*l, 5*l + 1 = 2*w + k for w.
4
Let m = -47 + 45. Let p be 12 - 5 - (m + 6). Suppose -4*o = -p*q + 3, -q = 5*o - 2*o - 14. Solve 3*b - 4*c = 15, 2*c + 19 = 4*b - o*c for b.
1
Suppose -115*g = -136*g + 420. Solve 5*p + g = b, -24*p = -20*p - 4*b + 16 for p.
-4
Let b be ((-2)/(-4))/(6*(-8)/(-864)). Suppose -5*a + 4 = -2*v, -2*a + b = 2*v - 1. Solve 2*y - 5 = v*w + y, 9 = -w + 4*y for w.
-1
Let w = 2416 - 2411. Solve 2*h + 6 = w*t, 4*t + 5 - 15 = -h for h.
2
Let a = 8198 - 8196. Solve 0 = -3*l - 2*x - a - 4, -2*l + 5*x + 15 = 0 for l.
0
Suppose -9*s - 112 = -13*s - 4*q, -4*s + q + 92 = 0. Suppose 2*i - 10 = -2*f, -3*f + s = -2*i + 19. Solve -t = 3*t + 3*y, -y = i*t for t.
0
Let u = 10047 + -10033. Solve 0 = n + 2*n - 15, l = 2*n - u for l.
-4
Let a(r) = -6*r**2 + 130 - 3*r - r**3 - 142 - 5*r. Let j be a(-5). Suppose 0 = j*h + 3*h - 72. Solve -3*t = h, -15 = -2*o + 3*o + 3*t for o.
-3
Let u(m) = m**3 + 10*m**2 + 21*m - 9. Let c be u(-6). Suppose -5*r - 5*k = -14 - 1, 0 = -4*r + 2*k + 24. Solve -16 = -4*b, -r*p - 2*b + 4 + c = 0 for p.
1
Suppose 11*s - 244 = -13. Let v be s - 2 - 2 - (9 - 13). Solve -3*x + 3*f + v = -0*x, x + 1 = -3*f for x.
5
Let b be (17/51*6 + (-3 - 0))*-7. Solve 0 = 5*i + 5*q, b*i - 3*i - 5*q + 45 = 0 for i.
-5
Suppose -20*h + 761 = 1457 - 736. Let a be 2 - (0/(-2) + -1). Solve a*j + 4*i = -5, 4*i + 7 = -h*j - 3 for j.
5
Suppose -3*u = -168 + 576. Let k = u - -137. Solve 3*o + 1 = 3*b + 4, o = -2*b + k for b.
0
Let x(u) = u**3 + 4*u**2 - 6*u + 2. Let a be x(2). Suppose 27 + 1 = a*n. Solve 3*t - 15 = 0, 3*f - 5 + 1 = -n*t for f.
-2
Suppose 0 = -2*c + t + 8, 2*t + 33 = 45. Solve c*b - 4*f - 32 = 11*b, -5*f + 10 = -5*b for b.
-5
Let m = -202 - -206. Suppose -5*k = m*r - 26, r + r = 3*k + 2. Solve -2*s = 3*c - 6, 0 = -s + 2*c - 0*c - r for s.
0
Let d be 13 - 10 - (28/(-70) - 6/10). Solve k + l = 0, 5*k - d*l = -30 - 6 for k.
-4
Let c(u) = u**3 - 6*u**2 + 4*u + 8. Let h be c(5). Let m(b) = 42 + 35 - 51 - h*b. Let q be m(7). Solve -3*w - g - q = 0, 3*g = -4*w + 8*g - 32 for w.
-3
Let y be (-1 + 1 + 38)*((-85)/10)/(-17). Suppose 4*s = 19 - 3. Solve 3 = -u, -2*d - y = u + s*u for d.
-2
Let l(r) = r**2 + 71*r + 144. Let t be l(-69). Solve -9*f - t = -7*f, 2*f + 8 = -q for q.
-2
Suppose -277*r - 18*r = -885. Solve -r*z + 19 = -4*g, -2*g + 4*g = 5*z - 13 for g.
-4
Suppose 4*y + 1177 = -3*n - 0*n, 3*y + 904 = 2*n. Let w = -296 - y. Solve 4*l = w*q - 14, -5*l + 4*q = -q + 15 for l.
-4
Let r = -29 - -32. Suppose 1 = -l, 2*v + 3*l - 14 = r. Suppose -2*y + v = -0*y. Solve b + 4*n + n = y, -2*n = -3*b + 15 for b.
5
Suppose 303*k + 3343 = 1563*k - 1697. Suppose 3*a - 19 = 17. Let z(y) = -y**3 - 1. Let n be z(-1). Solve n*l + 4*l = 5*g - 17, k*l = -a for g.
1
Suppose 11*m = 2*m + 27. Suppose -m*c - 7 = x, -3*c - 17 = x - 5*x. Let h be (0 + -1 + (x - -2))/1. Solve h*q = -9, -5*j + q - 7 = -3*j for j.
-5
Let j be (-8 - -11) + (2 + 0)*5. Solve 4*o + 5*k = 25, -k + j - 12 = 0 for o.
5
Let i(d) = -d**3 + 18*d**2 + 18*d + 35. Let b be i(19). Suppose 7*r = -r - b. Let x = r - -2. Solve 2*f + 10 = -3*k - 9, -4*f + 2*k - 14 = x for f.
-5
Let z be 0 - 2/(-8) - (-177)/12. Let m be 3 + 365/(z/(-3)). Let l be (-1 - (-4)/5) + (-364)/m. Solve 0*s + l*q + 5 = 2*s, 4*s - 15 = 5*q for s.
5
Let f(r) = -2*r**2 + 15*r - 2. Let p = -55 + 61. Let m be f(p). Solve 0 = -2*w + j + 4, 3*j = -3*w - j - m for w.
0
Let l be 2*(-1)/(-2) - -1. Suppose -3*t - 33 = -5*k - 20, -k = -3*t - 5. Let o be (38/6)/(1/3). Solve -o = k*s + s - 5*c, c = l for s.
-3
Let y be 6/(-14) + (-37136)/308. Let b be (-1551)/y - 9 - (-2)/11. Solve -2*h - 2 = -b*s, 8 = 3*s - 0*s + 5*h for s.
1
Let x = -2980 + 2982. Solve d + 4 = 4*m, 8 = -x*d - 20*m + 17*m for d.
-4
Let t be 15/(15/44) + 4. Suppose 22*v - 6*v = t. Solve 0*h + 2*h + 9 = y, v*h = -4*y + 14 for y.
5
Suppose -5*u - 3*j + 5 = 0, 0*j + 36 = 4*u - 4*j. Suppose -3*v + u*s = 7, -14*v + s + 2 = -12*v. Solve 0 = 3*f - 3*p + 12, -p = -v*f - 8 - 4 for f.
-4
Let g be (-5)/(-25) - ((-2392)/(-20))/(-2). Suppose g*q + 58 = 89*q. Solve -q*i + 29 = -5*d, -i = -3*d + d - 12 for i.
2
Let q(b) = 61*b + 734. Let z be q(-12). Solve 20 = -z*t + 4*v, -2*v + 14 = -7*t + 4*t for t.
-2
Let p = -404 + 195. Let g be (-4142)/p - (-2)/11. Let f be ((-16)/g)/(8/(-20)). Solve -t = -f*b + 6, -27 = 4*t - 7*t - 3*b for t.
4
Suppose 4*y - 3 = 5. Suppose -27*s = -17*s - 470. Suppose 0 = -11*r - 25 + s. Solve -2*p = -2*c - 18, -3*p - y*c - r = -4 for p.
4
Suppose 2 = 5*p - 38. Suppose 4*y = 2*j - 17 - 3, 2*j + p = -3*y. Suppose 55*u - 121 = 53 + 156. Solve -2 = j*o - 4*x + u, -4*o + 3*x - 16 = 0 for o.
-4
Suppose 0 = -30*f + 29*f + 4. Suppose 5*j = -f*y - 7 + 26, -y - 2 = -j. Solve -5*s - 4*x + 3 + 14 = 0, -2*s - y = -x for s.
1
Let u(r) = r**3 - 11*r**2 + 20*r + 75. Let s be u(5). Solve 3*w + h - 4 = 0, -3*w + 5*h = -5 + s for w.
0
Let s = -50 - -55. Suppose 5*w = 6*w - s. Suppose -w*g - 25 + 45 = 0. Solve -m = 2*t + 4, -5*t - 6 = g*m + 7 for m.
-2
Suppose -6*x + 8*x = 0. Suppose -4*k + 3*z + 4 = x, 24*k - 2*z = 29*k - 28. Solve 0 = 2*p + d + k*d - 35, -p - d + 10 = 0 for p.
5
Suppose 69*k = 195 + 12. Solve 2*b = -k*m + 6, -5*m = -4*b - b - 35 for b.
-3
Let r(g) = g**3 - 7*g**2 + g. Let d be r(7). Suppose 7*j - d = 21. Solve 0 = 4*c - 5*y - 46 + 6, j*c - 28 = 2*y for c.
5
Let t = -443 - -561. Suppose 25*h + 43 - t = 0. Solve 2*k - 5*r - 30 = -6, -4*k = h*r + 4 for k.
2
Let n(d) = -38 + 3*d**2 + 27*d - 34*d - d**2. Let u be n(-7). Suppose 0 = 8*h - u + 21. Solve -4*s - h = -5*j, -2*s + 5*j - 14 = -1 for s.
1
Let k = 19 + -17. Let t be 40/(-20) - (-1*k - 2). Suppose 0 = 3*h - 5*b + 11, 2*b - 19 = -h - t*b. Solve 2*r + 23 = -5*z - 2*r, h*z - r = -7 for z.
-3
Suppose 0 = -2*g - 3*p - 86, 4*p + p + 130 = -3*g. Let r be 3/8 + ((-1155)/g)/11. Solve -4 = -3*i - 2*o, -o - 1 + 9 = r*i for i.
4
Let b be 3/((12/(-20))/(-1)). Suppose -2*f - 2 = 3*i - 3, -b*i - f + 11 = 0. Solve z = 3*k - 2, 4*k + 2*z - 2 = i*z for k.
0
Let i(n) = -3*n - 9. Let p be i(-8). Let u(x) = 2*x**3 - 11*x**2 + 10*x + 13. Let r be u(6). Let o = -102 + r. Solve 5*w = -5*t + p, w + o = 3*t - 2 for w.
0
Suppose 49 = 16*p - 127. Let s be 0 - 1 - (-42)/(-6). Let o = p + s. Solve o*x + 5*g + 10 = 0, 0 = -2*x - 0*g - g + 5 for x.
5
Let w = 3779 - 3774. Solve 5*q - 4*o = -8, 3*q - 2 = -6*o + w*o for q.
0
Let w = 31 - -6. Let q = -34 + w. Suppose 4*r - 1935 = -1923. Solve -q*n - 9 = 0, r*n = i - 3 - 7 for i.
1
Let p(u) be the first derivative of u**4/4 + 2*u**3/3 - 5*u**2/2 - 6*u - 62. Let l be p(-2). Solve -2*n + l*m = 0, 0*n - 5*n + 2*m = -8 for n.
2
Suppose 2*u - 5*x - 5 + 21 = 0, -5*x = -3*u - 14. Solve 0 = 5*l + 4*k - 8, -16 - 10 = -5*l + u*k for l.
4
Let k = -61 - -63. Suppose 8 = -3*v - k*d, -19 + 7 = -v + 3*d. Solve 4*y + 11 = 3*l, 19 = -5*y - v*y + 2*l for y.
-5
Let r(t) = -t**2 - 7*t + 10. Let k be r(-7). Suppose z - 6*z = -k. Suppose z*h - 7*h = 0. Solve s - 3 = -h*s + 3*q, 0 = 4*q for s.
3
Let d = 334 + -331. Suppose -2*n = -5*g + 9, -d*g + 24 = 6*n - n. Solve -8*j + 7 = -n*j - 2*l, -4*j + 20 = 2*l for j.
3
Let s(k) be the first derivative of 21*k**2/2 - 64*k - 45. Let b be s(4). Solve 0 = 4*h - 3*h - 2*p + 5, -5*p + b = -4*h for h.
-5
Suppose 10*u + 796 = 816. Solve -5*r + 13 = -u*k, 2*r - 5 - 11 = -k for r.
5
Let u be (-5)/(-2) - 1/(-2). Let t be -3 - (-8)/3*u. Solve 0 = -v - c + 2*c + 3, -t*v + c + 15 = 0 for v.
3
Let h(o) = -2*o + 4. Let i be h(-5). Suppose 2*d - 2 = 5*a - i, -d = a - 1. Solve 7 = 5*b - 3*k, 2 = a*b - 0*b - 2*k for b.
2
Suppose 0 = 64*u - 62*u. Suppose 5*g - 5*n - 45 = -0*n, u = -g - 4*n - 16. Solve -g*v + 23 = -3*k, -5*k = -4*v - k + 24 for v.
5
Let b(k) be the third derivative of k**6/120 + k**5/20 + k**4/24 + 2*k**2 + 2*k. Let p be b(-2). Solve -p*d - 17 = -5*y, 3*d - 3*y + 11 = 2*d for d.
4
Let l = 248 + -241. Suppose -9*m + 32 = l*m. Solve 0*b - 5*b - 16 = -m*z, -4*z = -2*b for b.
-4
Let a(h) = 3*h**2 - 204*h + 241. Let o be a(67). Let q(p) = 2*p**2 - 4*p - 6. Let s be q(6). Let k = s - o. Solve 6*d = 2*d + 5*j - k, 0 = 3*d + j + 11 for d.
-3
Let h = 976 - 960. Solve 2*y + 2*w + 12 = 0, -h*y + 11*y + 10 = -3*w for y.
-1
Let q(y) = -7*y - 38. Let b be q(-7). Let x be