72 for d.
-9
Let l(p) = -8*p - 156. Let q be l(-22). Suppose 0 = 5*n + 3*i - q, 19*i = -n + 24*i - 24. Solve -2*k + n = -9 for k.
5
Let k be (13 - 50) + (-1 - 0). Let t be (-44)/(-21) - k/(-399). Solve 5*n = t*n - 12 for n.
-4
Let l(i) = 1 + 2 + 11*i**2 - 25*i + 13*i + i**3. Let h be (0 - -6)*(-2)/3 + -8. Let v be l(h). Solve v*d + d = 0 for d.
0
Let g(b) = -b - 1. Let u(x) = 2*x + 11. Let f(i) = -g(i) + u(i). Let c be f(-17). Let a = -37 - c. Solve 0 = -5*q - a + 22 for q.
4
Let p = -219 - -236. Suppose 5*f = 38 + p. Solve -10*b = -f*b - 1 for b.
-1
Let t(l) = 2*l**2 - 5*l - 6. Let m be t(4). Suppose w + 2 = 2*w. Solve -m*c = -w + 26 for c.
-4
Let n be 483242/323 - 14/133. Solve 0 = 1495*o - n*o for o.
0
Suppose -3*p + 1 = 2*b - 1, 0 = -b - 5*p + 1. Suppose b = -3*l + 2*l + 4*o, l - 44 = -5*o. Suppose l = 2*t + 7. Solve -4*i = -t*i + 4 for i.
2
Suppose -2*p + 3*m + 117 = 0, -4*p - 2*m - m + 207 = 0. Let g be 3/(-4) + 0 + p/8. Suppose -3*a + g = -2*n + 7*n, 4*a - 25 = -n. Solve a = 3*i + 1 for i.
2
Let h(w) be the second derivative of -1/2*w**3 + 0 - 15*w**2 + 23*w. Let y be h(-11). Solve 0 = -6*a + y*a + 9 for a.
3
Let z be (-372)/(-465) - 6*6/45. Solve z = 232*j - 237*j + 25 for j.
5
Let b(w) = 2*w**2 + 25*w + 1. Let o be b(-13). Suppose 5*i + 6*j - 59 = 10*j, 0 = 2*i - 3*j - 18. Solve -i*u + 1 = -o*u for u.
1
Let x(m) = 53*m - 63. Let c(i) = 18*i - 21. Let h(l) = -17*c(l) + 6*x(l). Let s be h(3). Suppose -52*w + 49*w = -s. Solve -w*g - 14 = 1 for g.
-3
Let d(a) = -763*a + 5341. Let m be d(7). Suppose 4*l + l = 15. Solve -l*p - 10 + 1 = m for p.
-3
Suppose 87*y = 96*y - 711. Solve -44 = 7*u - y for u.
5
Let s be (-98)/(-70) - (6708/(-30) + 6). Solve 199 = -10*n + s for n.
2
Let t(k) = 35*k**3 - 2*k**2 - 6*k + 16. Let c be t(2). Solve -b + 278 = c for b.
2
Let v = -13 - -23. Suppose 4*q - v = -2*s, 4*s - 4*q - 2 = 6. Suppose 19 = s*i - 5*y, 3*y = 4 - 1. Solve -4*m = -i*m + 12 for m.
3
Let h = -218 + 344. Let i = h + -121. Solve -q + i = 4*q for q.
1
Let g be -2 + 2 + -2 - -4. Suppose j = 4*n + 21, 20 = -5*n - 0. Suppose j*x = -5*b + 55, 5*x - 18 = -b + 17. Solve 0 - x = -g*m for m.
3
Let i = -158 + 155. Let b be (-3 - i)*(6 - 5). Solve b = -2*g + 8 - 6 for g.
1
Let i = -121 - -242. Suppose -150 = -146*m + i*m. Solve 4*z = z + m for z.
2
Let d = -418 + 263. Let s = d + 163. Solve s = 2*c - 6*c for c.
-2
Suppose -4*q = 5*o - 141 + 685, 3*o - 544 = 4*q. Let f = q - -148. Solve -6*c + f = -3*c for c.
4
Let t be -4 + (-2 - (-2 + -11)). Let l = -21 + 29. Let r be 6 + (-8)/(l/(-3)). Solve 4*g + r = -t for g.
-4
Let x = -90 - -90. Let n(i) = i**3 - i + 2. Let y be n(x). Suppose 0 = -5*b - y*h + 21, 4*h = -0*b - 2*b + 2. Solve -p = -2*p - b for p.
-5
Let t be (102/(-8))/(-17)*484/33. Solve t*f + 8*f = -114 for f.
-6
Let c be 357 + 1 + (3 - (1 - -3)). Let t be (-34)/c + (-762)/(-63). Solve 0 = 8*l - t - 4 for l.
2
Let k be 262/11 + 12/66. Suppose k - 9 = 3*c. Suppose -a + 2*g + 2 = c*g, -g = a - 2. Solve h = a*h - 2 for h.
2
Let m(v) = -18*v - 21. Let x(h) = -5*h - 7. Let r(l) = -2*m(l) + 7*x(l). Let y be r(7). Solve q + 2 = -y*q for q.
-2
Suppose 0 = 62*p - 59 - 127. Suppose -5*y = -5*s + 15, -p = s - 4*s - 3*y. Solve 5 = -s*r + 7 for r.
1
Let w be (-19)/((-133)/(-49)) + (28 + -1 - 2). Solve 98*u = 92*u - w for u.
-3
Let m(b) = -11*b + 4. Let k be m(-20). Let i = -220 + k. Solve 2*s - i = s for s.
4
Let d = -82 - 136. Let a = -211 - d. Solve 2*o + 36 = -a*o for o.
-4
Let t be 1/(-2) - (-11)/2. Let c(g) = -7*g + 302. Let s = 659 - 617. Let d be c(s). Solve -t*i = -i - d for i.
2
Suppose 8*y - 7*y = 8. Suppose 0 = 3*h - 1 + 40. Let s be (h + 12)/(3 - (-30)/(-9)). Solve 0 = z - s*z - y for z.
-4
Let f be 1/3 - 88/12. Let o(k) = -k**3 - 7*k**2. Let s be o(f). Suppose 4*g - 39 = -23. Solve -2*b + g = -s*b for b.
2
Let w be 0*(-1 - 6/(-4)). Let b = w + 23. Let h = -23 + b. Solve h = 2*v + 1 + 5 for v.
-3
Let o = -64 + 78. Suppose 74 - o = 12*j. Solve j*y - 3 - 7 = 0 for y.
2
Let o be (-18)/(-27)*(-9)/8*-4. Suppose 11 = 2*z - f, o*f + 21 = -0*z + 3*z. Suppose -z*h - 4 = 4*a, -3*a - 11 = h - 2*h. Solve -h = 5*p - 17 for p.
3
Suppose 13 = g + 4*f, -5*g = -f + 4*f + 20. Let z be (g - -5 - 1)/(-1). Solve -z*q = q for q.
0
Suppose 40 = 3*l + 17*l. Suppose f - 8 = -3*f + l*v, 2*v + 10 = 5*f. Solve -f*d + 3*d = 0 for d.
0
Suppose -117 = -t - 2*o, 13*t + 6*o - 11*o - 1397 = 0. Solve 101 = 35*a - t for a.
6
Let z(x) = 3*x**3 - 2*x**2 - 5*x + 2. Let l be z(2). Solve 35*u - l = 37*u for u.
-4
Let d(t) = 77*t + 2. Let m be d(-1). Let i = m + 77. Solve 3*n - i*n = -3 for n.
-3
Let a be ((-4)/12)/((-3)/27). Suppose -20 = a*c - 68. Suppose 0 = -u + 4*q - 3 - 1, -4*q = 2*u - c. Solve u*o + 2 = 2*o for o.
-1
Suppose -76 + 0 = z. Suppose 442 = 32*t - 1990. Let d = z + t. Solve 0 = 5*c - d*c - 5 for c.
1
Let n = -146 + 150. Suppose 2*u = -3*r + 6 - 0, -8 = 3*u - n*r. Solve u = 3*q + 12 - 0 for q.
-4
Let h(l) be the second derivative of l**3/6 - 3*l**2/2 + 3*l. Let q be h(-12). Let d = 15 + q. Solve 0 = -d*g - g - 2 for g.
-2
Suppose -30*x = 73*x + 22*x - 9125. Solve x*v - 31*v = 336 for v.
8
Let g(r) = 3*r - 49. Let n be g(13). Let s be n/(-3) - (-5 + 16/3). Solve s*k - 5*k = 0 for k.
0
Let o(z) = 18*z**2 + 220*z + 314. Let i be o(-11). Solve -i*l - 114 = 174 for l.
-4
Let q be 48/26 - 14/(-91). Solve q = -2289*c + 2288*c for c.
-2
Suppose 24*a - 215 = 457. Let q be a/(-6)*90/(-35). Let z be 4 + -2 + 0/(-2). Solve -6*y - q = -z*y for y.
-3
Let q = -721 + 830. Let z be (q/(-327))/((-2)/168). Solve 5*s + z = 3 for s.
-5
Let f be (-1)/((-1)/(-4))*(4 - 5). Suppose 2*u = f*w + 202, -3*u + 0*u = 4*w + 177. Let k be 2/3 - w/9. Solve k = q + 8 for q.
-2
Let o be 4/14 + 132/77. Suppose p + o*p - 27 = 0. Solve 0 = p*j - 8*j for j.
0
Let w be (-210)/(-4) + ((-27)/6 - -4). Suppose -68 = -8*t - w. Solve 0 = t*v + 7 - 1 for v.
-3
Let k(i) = 2*i**3 - 3*i**2 + 10*i - 6. Let x be k(2). Solve -21*d + x*d - 12 = 0 for d.
-4
Let k(z) = z**3 + 4*z**2 - 3*z + 12. Let n be k(-5). Suppose 0 = -c + s + 11, -16 = -3*c + n*c + 2*s. Let o be c/9 + 6/(-9). Solve o = -6*x + 4*x + 8 for x.
4
Let h(o) = -o**3 - 6*o**2 + 20*o + 7. Let p = -89 + 81. Let q be h(p). Let a = -23 - q. Solve 0 = a*k + 2 - 4 for k.
1
Suppose 4*f + 6*f = -30 + 380. Solve f = -54*k - 73 for k.
-2
Suppose 8690 - 8670 = 5*f. Let u be (-16)/(-6)*(-3)/(-2). Suppose -5 = 3*i + 4*q, u = -2*q - 0. Solve -9 + i = -f*y for y.
2
Suppose -2*i + 2*s - 2 = -4, 0 = -4*i + 3*s + 9. Let q be 11 + 8*((-15)/i + 2). Solve -6*l - q = 5 for l.
-2
Let v(y) = y. Let k be v(1). Let h be 18/12 - k/(4/(-90)). Suppose -7*q = -q - h. Solve d + q = -0 for d.
-4
Let i(y) be the first derivative of y**3 - 15*y**2/2 + 3*y - 17. Let t be i(5). Suppose 4*w + 1 = 5*s + 23, 0 = -3*w - 3*s + t. Solve -4 = w*o - 16 for o.
4
Suppose 502 + 934 = 95*z + 11. Solve z = 4*u + 11 for u.
1
Suppose -13163*h = -13149*h - 308. Solve 2*i = -h*i + i for i.
0
Let s(l) = 6*l**2 - 23*l - 1. Let p be s(8). Let v = p + -199. Solve v*b + 7*b = 14 for b.
2
Suppose 4 + 10 = i - 4*s, 0 = 5*s + 15. Let g(x) = x**3 + 5*x**2 - 7*x - 5. Let z be g(-6). Suppose -4*v = -3*d - 9, 5*d - 1 - z = v. Solve -o = -v*o + i for o.
1
Suppose -4*q - 12*k = -8*k - 20, q - 7 = k. Let n be ((-1)/(-2))/(1/(24/q)). Solve n*t + 11 = 3 for t.
-4
Let z(j) = -298*j + 1858. Let s be z(6). Solve s - 19 = 17*y for y.
3
Suppose 2*c + 2*c - 156 = 0. Solve 0 = -10*l + c*l - 87 for l.
3
Suppose k = 20 + 6. Suppose 3*m + 14 = k. Suppose 10 = 4*c - 0*v + 2*v, m*v = c - 7. Solve c*g + 16 = -g for g.
-4
Let n = 4589 - 4589. Let c = -1 - -3. Solve n = c*r + 3*r for r.
0
Let z be (3 - 56/(-12)) + 6/18. Suppose z + 17 = 5*f. Suppose f*r = -5*n + 25, 0 = 5*r + 10. Solve 3*v + 16 = n*v for v.
4
Suppose 3*q + 39 = 16*q. Let b be 0/(5*(-9)/(180/8)). Solve b = q*x + x - 16 for x.
4
Let t(x) = x**2 + 16*x + 55. Let k be t(-11). Suppose -2*i - 2 = -c + 20, k = -3*c + i + 61. Solve 19*g - c*g = 0 for g.
0
Let t(g) = 2*g**2 + 84*g + 783. Let d be t(-30). Solve 59*x - d*x - 28 = 0 for x.
-7
Let f = -14993 - -15017. Solve 19*j - 15*j = f for j.
6
Let x(o) = -2*o**3 + 493 - 957 - 17*o + 17*o**2 + 484 + o**3. Let h be 61/4 + 6/8. Let w be x(h). Solve w*t = -t for t.
0
Let t(z) = z**3 + 20*z**2 - 2*z - 34. Suppose 8*n - 12*n - 65 = 3*h, 5*n 