-2
Let c(m) = m**3 + 17*m**2 + m + 20. Let s be c(-17). Suppose -5*y = 5*d - 30, 3*d - s = 9. Solve -3*g + 14 = 4*k, -4 = -2*k + y*g - 5*g for k.
5
Let b = -2296 - -2297. Suppose 11 = 5*d + 1. Solve h = w, -d*w + 4*h - b = 1 for w.
1
Let b(y) = -18*y + 272. Let o be b(15). Solve 0 = n + 4*d - 12, o*n = -0*n + 4*d for n.
4
Let m be -2*(-9)/(-6) + 6. Let t be (2 - (-2 - -7))/(-1 + 0). Let y = -4 - -6. Solve 0 = -y*p - t*p + 5*i, -m*p = -i + 2 for p.
-1
Let r be 2/(-15)*1 + 26/195. Suppose -4*d + 6*d - 4 = r. Solve 4*w - 5 = -5*h, -d*h = -4*w - 5*h + 11 for w.
5
Let h be (16/(-10))/(44/770). Let s = 30 + h. Let z = 10 + -6. Solve a = t + s*t - 20, -4*a + z*t - 40 = 0 for a.
-5
Let w = -576 + 592. Let i be (0/(-7))/(2/2). Solve 4*x + w = i, s + 4 = 3*s + x for s.
4
Suppose 4*l - 4*t - 32 = 0, 0 = -3*l + 5*t + 13 + 15. Solve l + 14 = -4*v + 2*m, 4*m - 25 = 5*v for v.
-5
Suppose 4*z = -2*l + 10, 16*z - 4*l - 19 = 11*z. Solve -s = -z*q + 7, -6*q + 2*q = -s - 9 for q.
2
Let d(u) = -u**3 + u - 2. Let k(w) = -3*w**3 + 1. Let o be k(1). Let g be d(o). Solve 8 = c - 3*c, -g*c - 12 = -4*p for p.
-1
Let n = 308 - 305. Solve 3*p - 4*a = -n*a + 18, -3*a = 9 for p.
5
Let o = -282 - -286. Solve -5*h + k = 15, 0*h + o*k = -3*h - 32 for h.
-4
Let o be (-11)/4 - 7/28. Let a be (o - -2 - -1)*(-3)/6. Solve -5*n + 4*q - 27 = 0, 2*n - 4*q = -a - 18 for n.
-3
Let n = -20 - -17. Let g be ((-50)/(-35))/(n/(-42)). Solve 4*p = g, -t = 5*p - 13 - 7 for t.
-5
Let y(k) = 2*k**2 + 19*k - 5. Let d be y(-10). Solve -i - 9 = -3*n, 4*n + 0*i - d*i = 1 for n.
4
Suppose 5 = 5*v - 10. Suppose -v*l + 28 = l. Suppose f = -3*f + 3*m + l, 9 = 3*f - m. Solve -k = -3*p - 2, -f*p + 1 + 1 = k for k.
2
Let k(t) = 3*t + 22. Let x be k(-9). Let f be 4 - (1 - x/(-5)). Solve 0 = 2*m - c - 4, -2*m = -5*m + 4*c - f for m.
4
Let n(w) = -w + 2. Let h be n(2). Suppose h = -4*x - 4, -20 = -4*d + 2*x + 2*x. Solve 3*o + 5*l = -1, -2*l + 0*l = -o - d for o.
-2
Let l(q) = -q**2 - 6*q - 7. Let a be l(-3). Solve -3*b = 5*v + 2*b - 25, a*v = -3*b + 13 for v.
2
Let t(w) = w**3 - 3*w**2 - 2*w - 3. Let m be t(4). Suppose 4*h - 141 = -129. Solve -2*k + h*y = 2*k - 23, 0 = 2*k + m*y + 21 for k.
2
Suppose 3*p - 2*y - 15 = 0, 5*p - 3*y - 25 = -2*y. Solve 5*q = 4*w + 31, -p*w = 4*q + 9 - 1 for q.
3
Suppose -7 = -f - 5*k, -4 = -f - 118*k + 116*k. Solve 0 = 4*v + g - 9, 0 = -5*v + v + f*g + 18 for v.
3
Suppose -5*p + 480 = g - 4*g, 3*p + g = 274. Let l = 110 - p. Solve s = -4*b + 13, 0*b + l = 3*s + b for s.
5
Suppose 2*j = w + 4, w + 23 = 5*w + 5*j. Solve -f = 2*y, f + w = y - 4 for y.
2
Let q(u) = 3*u + 126. Let z be q(-39). Let n = -1 - -2. Suppose -z = -4*s - n. Solve 2*g + 22 = -s*g - 5*d, g + 2*d = -7 for g.
-3
Let b = 211 - 203. Solve -z + 2 = 4*d, 2*d = -4*z - z - b for z.
-2
Let h be (-2)/(((-2)/(-6))/((-8)/12)). Solve 4*s - 3*s - 4*x = 8, h*s = 5*x + 21 for s.
4
Suppose 3 = -2*i + x, 0*i - x = 3*i - 3. Let v = 79 + -77. Suppose -6 = -i*s - v*s. Solve s*a = -3*h + 15, -h + 2*a + 25 = 4*h for h.
5
Let a be 2 + 1 + 1 - (7 + -3). Solve a = -5*c - 10, 3*c - 1 = 3*k - 4 for k.
-1
Let h = 143 + -139. Solve -3*f - 13 = h*n, -3*f + 4*n + 21 = 2*f for f.
1
Let b be -9 + -1 - -11 - -1. Solve 12 = -b*c + 2*n, -5*c + 2 = 2*n - 3 for c.
-1
Let n = 42 + -68. Let g = -21 - n. Solve 0 = 5*m - 8*m + 6, 5*j - g*m = -15 for j.
-1
Let u = 7 - 4. Suppose -2*l = -r + 12, 3*r + l = u + 19. Suppose 3*k = -2*n + 11, -r - 8 = -4*k - 4*n. Solve 11 = 4*o + k*b, 7*b - 2*b = 5 for o.
2
Suppose -2*m = -5*w + 9*w - 6, 28 = 5*m - 3*w. Solve -3*h - h + a = -18, -m*a = 10 for h.
4
Let m be ((-8)/12)/((-2)/(-18)). Let g be m/(-10) - (-18)/(-30). Solve g = -5*w - 4*u + 7, -14 + 0 = -2*w + 4*u for w.
3
Let k = -1 + 1. Let r(b) = -28*b**3 - 5*b - 5. Let i be r(-1). Solve 4*h = 2*u + i, h + 15 = -5*u - k*u for u.
-4
Let j(b) = -b**3 + 32*b**2 - 35*b + 134. Let z be j(31). Solve -2*y - 26 = 4*t, 0 = -2*y + 7*y - 5*t - z for y.
-3
Let r be (110/33)/(4/18). Let n = -33 - -38. Solve -n*j - 3*v - r = 2*v, -j = 4*v for j.
-4
Let j = -163 + 160. Let g be (6/4)/j*0/6. Suppose -2*k + 18 = 5*p, 0*k - 2 = p - k. Solve g = 5*c, 2*c - 2 = p*r + 5*c for r.
-1
Suppose -g - 20 = -5*g. Let x(o) = -o**3 - 16*o**2 - 41*o - 26. Let d be (-11)/((-110)/(-126)) + 2/(-5). Let m be x(d). Solve m*b = -3*b, n - g = 5*b for n.
5
Let y be 6 + (3 - (-40)/(-10)). Solve 2*o - 14 = 3*v - 7*v, -5*o - 40 = -y*v for v.
5
Suppose 10 = 2*y + 2*v, -4*v - 23 = -5*y - 7*v. Let q = -21 - -26. Suppose 13 = q*f - 82. Solve i - f = 3*z, y*z + 8 = -12 for i.
4
Let v be 63/18 + 2/4. Suppose 0 = -v*t - 0*t + 24. Let y be (-4)/t - 88/(-33). Solve -4*b - n - 16 = y*n, 0 = -5*b + 4*n + 11 for b.
-1
Suppose j = -3*j + 16. Let u be 132/(-20) + (-2)/5. Let p(g) = g**3 + 8*g**2 + 5*g - 8. Let b be p(u). Solve -b = -o - 5*t, 4*o + 2 = -5*t - j for o.
-4
Suppose 2*d - d = -2*v + 15, -31 = -5*d + v. Let b(f) = -2*f - 2. Let y be b(-1). Suppose 5*t - 23 - 2 = y. Solve -4*m + 2*m = t*x + 8, 5*m - d = x for m.
1
Let d be ((-81)/(-4))/(-9)*(-5 - 44/(-12)). Let c(h) = h**3 + 2*h**2 - 5*h - 3. Let b be c(-3). Solve -d = -4*z - b*q - 15, -5*q - 20 = -3*z for z.
0
Let j = -330 + 356. Solve 2*a = 5*h - j, a + 5 = -2*a - h for a.
-3
Suppose 5*p - 33 = 8*t - 12*t, -2*t - 6 = -2*p. Solve -i = 7*o - 2*o - 15, 15 = -5*i + p*o for i.
0
Suppose d - 7 = -1. Let b = d - 2. Suppose 2*c + 53 = 4*c - 3*v, -c + 29 = -b*v. Solve 2*z + 30 = -5*f + z, 0 = 4*f + z + c for f.
-5
Let f(b) = 5*b**2 + 24*b + 2. Let w(h) = h**2 - 1. Let p(s) = f(s) - 3*w(s). Let g be p(-12). Solve 0 = -5*o + q - 3 + 19, o + 16 = g*q for o.
4
Suppose -5*p = -17*p + 84. Solve z + p = -5*x, x - 7 = 3*z + z for z.
-2
Suppose -8*o - 6 = 26. Let g = o + 9. Solve -6 = n - g*n + 2*t, 5*t = -n - 15 for n.
0
Let r = -24 + 54. Let c = 65 - r. Suppose -10 = -3*b - u, -3*b - u = -5*u - c. Solve 5*k - 12 = 3*o, 4*k - 2 = 5*o + b for k.
3
Suppose -h = -5*c + 2*c + 11, 30 = 5*h + 2*c. Solve 0 = -5*y + 3*s, -2*s = -h*y - 0*s for y.
0
Let n be (-2)/6 + (-118)/6. Let y be (9/15)/((-4)/n). Suppose 15 = 3*s + y. Solve 10*p = 3*q + 5*p + 15, -4*q + s*p = 12 for q.
0
Let j be (-34)/(-2) + 66/22 + -5. Solve -5*q = -5*w - 25, 3*q - 5*w = -0*q + j for q.
5
Suppose i - 18 = -2*f + 3*i, -5*f - 5*i = 5. Solve -3*t + 20 = 4*d, f*t - 2 = 4*d - 22 for t.
0
Let h = -19 - -21. Suppose 0*r - r + 13 = 4*i, i + h*r = -2. Solve 5*y - i*l + 9 = 1, 2*y + l - 2 = 0 for y.
0
Let d = 1341 + -1326. Solve -q = 3*j - d, 4*q - 10*j - 24 = -13*j for q.
3
Let o be 2/6*-2*-3. Suppose -f + 18 = f - 3*v, -o*f = 2*v - 8. Solve -2*c - f = -4*c, 4*c - 17 = h for h.
-5
Let m = 65 + -21. Suppose 0 = -3*z - 4*h + m, 2*z - 6 = 3*h - h. Let v be (1 - z/(-6))*6. Solve 5*c + 1 = -3*p - v, c + 3 = -2*p for c.
-3
Let i(u) = 52*u - 3. Let x(h) = -1. Let z(v) = -i(v) + 5*x(v). Let l be z(-1). Let t = l - 36. Solve 0*f - 2*f = -2*d + t, -2*f - 8 = d for f.
-5
Let s be 13/(2 + 44/(-20)). Let w = 70 + s. Solve 0*j + w*g = 3*j - 12, -3*g + 8 = 2*j for j.
4
Suppose 0 = 10*j - 111 + 61. Solve f - 3 + j = -4*k, -4 = -5*k + 2*f for k.
0
Let p(f) be the second derivative of -f**4/12 - 11*f**2/2 - 5*f. Let n be p(0). Let w = n - -11. Solve 0*h = 3*h + 3, 2*o + 4*h = w for o.
2
Suppose -p + 38*i - 6 = 42*i, 4*p = 3*i + 71. Solve 4*m - 13 = 5*o, 3*m = -0*m - o - p for m.
-3
Let s be (0/2)/((-4)/4). Let t be 2*((-65)/2)/(-5). Suppose s = -x + 5*r - 3, 5*x - 2*r + 5*r = t. Solve q = -u + 2*u + 9, -x*u - 33 = -5*q for q.
5
Let m be 1 + 4 + 28/(-4). Let g(y) = -3*y - 2. Let n be g(m). Solve -n*x - 3*o + 3 - 28 = 0, 20 = -2*x - 4*o for x.
-4
Suppose -115 = -28*x - 3. Solve -q - l = 3*l - 17, -5*q + 5 = x*l for q.
-3
Let l(b) = -b**3 + 7*b**2 - 7*b + 3. Suppose y + 16 = -0*y + 5*x, 4 = 3*y - 2*x. Let z be l(y). Solve 3*r + 5 = 5*u - 24, -z = r - 5*u for r.
-3
Suppose 4*g + 6 = -2*t, -1 = 4*g + 3*t + 8. Suppose -5*z - 7*x + 5*x + 53 = g, -15 = -3*z + 3*x. Solve z = l + 3*p, 4*p = -l + 6 + 7 for l.
-3
Suppose -67*i = 354 - 1359. Solve 0 = -p, i = -9*z + 4*z + p for z.
-3
Let t = -1060 - -1062. Solve -g + 4 = t*k, -5*k + g + 16 = 5*g for k.
0
Suppose 3*h - 4*h = q - 58, 0 = -2*h - 10. Suppose -s + q = 56. Solve -5*c - 10 = -5*k, 5*k + s + 13 = -c for k.
-3
Let v(g) = -g**3 + 15*g**2 + 16*g + 7. Let d be v(16). Solve 2*q + 5*i = -28, 