
Let l(x) be the first derivative of x**3/3 + x**2 + 66. Let q be l(-2). Solve 0 = m - 2 - q, 4*d + 3*m = -2 for d.
-2
Suppose 4*j - 4*c + 4 = 0, 10 = 5*j - 3*c + 13. Solve -2*i - 5*h + 8 = j, -5*h + 7 = -4*i - 7 for i.
-1
Let a(b) = b**2 - 1. Let o(g) = -g + 9. Let u be o(8). Let m be a(u). Let s = 208928 + -208911. Solve q + 5*t = 20, m*q = q + 4*t - s for q.
5
Suppose 131*x = 222*x - 364. Solve k - 5 = -x*v - 0*v, 5*k - 25 = -5*v for v.
0
Suppose -278 = 5*q - 4*d, -9*d + 7*d + 220 = -4*q. Let b be 2*((-3)/(-18))/((-6)/q). Solve k - b*k - 6 = 4*z, -2*z = 4*k + 6 for z.
-1
Let y(h) = 2*h**3 + 5*h**2 - 4*h - 1. Let v be y(-3). Suppose 3*s - s - 206 = 0. Let o = 107 - s. Solve 4*z + o*a - 16 = 0, -v*a - 1 + 15 = 4*z for z.
3
Let q be (-39)/26*(-4)/6. Let a be (45/(-18))/(-1 - q/(-2)). Solve -a*j - 2*c - c = -25, 3*c = 5*j - 25 for j.
5
Let t = -7748 - -7748. Solve -c + 3 = -4*h - 13, t = h - 2*c - 3 for h.
-5
Let c(b) = -2*b**3 + 43*b**2 + 21*b + 25. Let m be c(22). Solve -4*l - 9 = -m*r, l + 16 - 13 = 0 for r.
-1
Let w(k) = -2*k**3 - 17*k**2 + 33*k + 343. Let l be w(-8). Solve 39 = -n + 5*q + 42, -5*q = -5*n + l for n.
3
Suppose v - 4*v + 3 = 0. Suppose p + 4*d - v = 31, -2*p = d - 64. Let a = 6 - 3. Solve 0 = a*x + y + 8, -3*x = -0*y - 5*y + p for x.
-4
Let l be 1 + (15 - 7 - -3) + -9. Solve -2*i = -l*h - 5*i + 9, 0 = -2*h - 5*i + 15 for h.
0
Let b = 8 - 5. Let c = 1849 - 1840. Let j = 37 + -32. Solve j = m - l, b*m + 0*l - c = -3*l for m.
4
Suppose 15 = -3*a + 5*m, -189*a + 194*a + 4*m - 49 = 0. Solve 0 = -2*f + a*t - 25, -3*f + 6*t = 4*t + 21 for f.
-5
Let d be ((-52)/70 + 408/357)*5. Solve -z + 27 = -3*j + 16, -2 = -d*z - 4*j for z.
5
Let j(q) = q**2 + q - 8. Let n = 427 + -432. Let i be j(n). Solve 0*w + 5*w - 2*h = -12, 4*h = 4*w + i for w.
-2
Let k(j) = j**2 - 2*j + 5 - 7 - 16 - 4. Let o be k(9). Let s(c) = -3*c - 32. Let x be s(-12). Solve -4*q + 17 = -5*t, -4*t - o = x*q - 13 for q.
-2
Let o = -5893 - -5896. Solve 0 = -t + o*g + 5, 10*t - 15*t = -4*g - 14 for t.
2
Let f = 6458 + -6457. Solve 3*t + y = -8 + f, 4*y + 10 = -3*t for t.
-2
Let y be -4 - (-8 - (7 + -8)). Solve n = -3*b - 16, y*b + 17 = 13*n - 15*n for b.
-5
Let v = 239 - 236. Let p be (-1 + 2)*(v + -4 + 4). Solve -2*o = -4*o + t - p, 5*t - 30 = -5*o for o.
1
Let i(d) = 6*d - 42. Let g be i(6). Let c be 26/g + (-9)/(-27) + 41. Let l = c - 34. Solve -l*w = -s - 10, 4*s - 19 = -4*w + 5 for w.
4
Suppose 108*c + 4*c = -207*c + 77*c. Solve c = -i - v - 2*v + 8, -5*v = -i - 24 for i.
-4
Let i be -4 - (16/48 + 50/(-6)). Solve 0 = -i*c - 5*l + 36, -c + 2 - 14 = -4*l for c.
4
Suppose 24 = 2*t + 4*t. Suppose 6*y - 2*y = 3*j - 23, y = -j - t. Let p be (1/(-5) - j)*(2 - 7). Solve -2*g = -3*k - 10, 2*k + p = 3*g - g for g.
-1
Suppose 3*m + 4*c = 8, -3*c + 9 - 3 = 5*m. Solve m = -4*z + b - 9, z + 9 = -4*z + 2*b for z.
-3
Let o be 2/(-6) - 19/(-3). Suppose 4*c + 5*w = -92, 21 = -4*c + 2*w - 99. Let v = c + 28. Solve -3*y + 3 = v, -z - 5*y + 10*y = o for z.
-1
Let r(f) = 8*f - 477. Let u be r(60). Solve 2*p - 6 = -u*s, p - 3*s + 2 + 13 = 0 for p.
-3
Suppose 99*m = 23*m + 152. Solve -m*f = -7*f + 5*o + 5, 5*f - 17 = o for f.
4
Let j be 805/345*(-18)/(-21). Solve -j*r + 6*r = -5*o - 16, o + 20 = -5*r for o.
0
Let l be (-2130)/(-430) - 14/(-301). Solve 4*m + 3 - 21 = l*b, 5*b = -2*m - 6 for m.
2
Let f(j) = -j**3 - 5*j**2 - 4*j + 3. Let x be f(-4). Suppose 3*z + x = 6. Let q be (z/(-2))/(4/(-104)). Solve 3*b - o + q = 0, 7*b - 2*b - 2*o = -23 for b.
-3
Suppose 14*u + 4 = 12*u. Let w be 1/((-15)/10 - -1)*u. Solve -o - 7*s = -2*s + 16, w*s = -o - 13 for o.
-1
Suppose 12*d - 5*k = 11*d + 24, -5*k - 12 = 2*d. Solve -24 = -4*q + d*l, 8 + 2 = -5*q - 5*l for q.
2
Suppose -4 = 65*q + 168*q - 4. Solve -5*r - 3*s = -22, -4*r - 2*s + q = -18 for r.
5
Let h = -14 + 19. Let g(x) = -x + 3. Let o be g(1). Let n be ((-3)/o)/(2*1/(-4)). Solve -5*b + d - 8 - h = 0, n*d = -6 for b.
-3
Let g(h) be the second derivative of h**4/12 - h**3/6 - 3*h**2/2 - 75*h. Let m be g(5). Solve -4*v - 3*f + 5*f = 2, -f - m = 4*v for v.
-3
Let j = 600 - 598. Solve 0 = -2*o + 2*t - 10, 7*o - j*t = 4*o - 13 for o.
-3
Let t be ((-35)/10)/(129/(-1806)). Solve -5*a + 51*o - t*o - 2 = 0, -o = 2*a - 1 for a.
0
Suppose -357 = -63*h - 590 + 485. Solve 5*u + 28 = 2*q, 3*q - u + h = -5*u for q.
4
Let p = -2339 - -2354. Solve 0 = 5*i - i + 3*k - p, 5*i - 3*k - 12 = 0 for i.
3
Suppose -6*a + 4*a - 5*p + 178 = 0, 5*a - 5*p = 515. Suppose 95*i + 12 = a*i. Solve 5*b - 13 = -4*l, 5*l = i*l - 3*b + 9 for l.
-3
Let g be ((-36)/(-10))/(28/140). Suppose g = 13*r - 8. Solve 3*d - r = -8, -w - 15 = 5*d for w.
-5
Let g be -2 + (28/(-35))/(3/(-45)) + -3. Let x = 12 + -9. Solve -x*n = 5*a + 11, -2*a = g*n - 3*n - 4 for a.
-4
Let i = -982 + 986. Solve -4*f - b + 12 = 0, 0 = -3*f - 4*b - 0*b - i for f.
4
Let y be -3*(-6)/45 - (-65)/25. Solve -r = -y, m - 5*r = 6*m - 10 for m.
-1
Let t be (3/7*3)/(-2 + (-60)/(-28)). Solve 229 = 4*c - 4*o + 217, -2*c - 3*o = t for c.
0
Let u(s) = 2*s + 16. Let x be u(-7). Let r(v) = -2*v + 7. Let p be r(x). Let g be 1*(6 + (p - 4))*1. Solve -3*q - 12 = -g*j, 0 = j + q - 1 - 3 for j.
3
Let n = 312 + -290. Suppose 20*k + 4 = n*k. Solve -2*h - 2 = -k*l, -3*l + 0 = 3*h - 9 for l.
2
Let w be (-11)/(-4 + 52/12). Let f = w - -31. Let o be 1*f + (7 - 2). Solve 0 = -3*u + o*l - 9, 0*u + 13 = -3*u + 5*l for u.
-1
Let m = -4 + 13. Let g(f) = -m*f**2 + 26*f**2 + 5 - 12*f**2 + 5*f. Let u be g(-2). Solve 4*i = -z - u, 3*i + 5*z = 3*z - 5 for i.
-5
Suppose -17*m - 8 = -40*m + 21*m. Solve -4*q + m*t = -12, 4*q + 3*t - 17 = -19 for q.
1
Let c be (-4)/(-12)*(-9)/(-1). Let p(q) = 2*q**2 - 55*q - 19. Let k be p(28). Solve -3*s + 8 = 5*a, 2*s + 29 - k = c*a for s.
-4
Let b be 1944/276 + (-1)/23. Solve -4*r + 4*f - 8*f + 4 = 0, 3*r = -5*f + b for r.
-1
Let n be (28/70)/(2/40). Suppose -3*r - 3*z = 2*z + 10, -5*r - 4*z - n = 0. Solve -2*x + 2*w + 8 = -r*w, -5*x - w = -26 for x.
5
Suppose 0 = -6*m + 117 - 567. Let w = -70 - m. Suppose 5*t = -w*d, -d + 2*t = 2*d - 10. Solve 5*l = d*b - 3*b - 18, b - 4*l - 18 = 0 for b.
2
Let j(n) = -3*n - 8. Let u be j(-6). Let g be (-48)/(-15) + (-2)/u. Let y be (-56)/(-20) - (-4)/20. Solve -2*z = g*h - 4, -y*h - 4 = -z + 7 for z.
5
Let j be (102/(-9) - 0)*84/(-56). Suppose -b + 10 = 3*g, -2*b + 19*g = 24*g - j. Solve 0*s + m = s - 1, m - b = -s for s.
1
Let p be 0*2/(-6)*-3. Let x be (0 + p)/(-6 + 7). Let l = 1031 - 1027. Solve f = -y + l, -f + 16 = -x*y + 4*y for y.
4
Suppose 9*v + 8 = 59*v + 8. Suppose -5*n - 3*q - 29 = 0, 0 = 5*n - 4*q + 2*q + 39. Let o = 7 + n. Solve o = l - 5*u + 21 - v, 3*l - 4*u = -8 for l.
4
Let x = -2875 - -2894. Solve -20 = 5*t, x*t + 22 = -2*r + 16*t for r.
-5
Let v be 14 + 8 - (-24 - -42). Solve -12 = v*h + 2*q, -1 = 5*h - 4*q - 25 for h.
0
Suppose -5*z - 3*c = -40, 9*z + 4*c = 12*z - 53. Let x be (-4)/10*(8 + -3). Let q be ((-24)/4)/(4/x). Solve 0 = l - 3*n - z, 2*n + 2 = q*l + 4 for l.
-4
Let r = 41 + -19. Suppose -r = -s - 10*s. Let t be -4 + s/2 + 7. Solve -2*g - 2*g + 4 = -2*c, 0 = t*g + 5*c + 10 for g.
0
Let s be 7520/130 + 10/65. Suppose -s = -45*p + 77. Solve g - p*y = 3*g, 4*g - 2*y = 0 for g.
0
Let d be (111/9)/(1/(-3)). Suppose -13*b + 689 - 182 = 0. Let g = d + b. Solve -3*w + 8*w + 9 = g*c, w - 12 = 5*c for c.
-3
Suppose -2 = 173*c - 171*c. Let m be c/7 - 6372/(-63). Let y = m - 98. Solve -w + y*q + 5 = 0, 0 = -0*q + 4*q for w.
5
Suppose 2*s + 124 = 3*r, -5*r - s + 31 = -180. Solve g = 2*w - 3, 2*g + 21 = -5*w + r for g.
3
Let h(c) = 6*c - 7. Let f be h(2). Solve 0 = 5*v + 4*i - 4, -f*i + 9 - 4 = 2*v for v.
0
Suppose 0 = -4*q + 2*q + 4. Suppose y = -2*x + 6*x + 5, 3*y + x = 28. Suppose 0 = y*n - n + 7*n. Solve -3*l = -s - 6, -q = -2*s - n*s - l for s.
0
Suppose -17*r = -7*r + 28*r - 1178. Let f(a) = -a**3 + 3*a**2 + a - 1. Let w be f(-2). Suppose w = 8*q - r. Solve -4*l = -2*u + q, 0*l + 2 = -l for u.
-1
Let v(u) = -13*u**2 - 9*u - 13. Let d be v(-3). Let h = -102 - d. Solve -m - 6 = 5*l, -m - 3*l = 3 + h for m.
-1
Let c(w) = w**3 - 14*w**2 + 24*w + 29. Let n be c(12). Let k = n - 44. Let t = k - -39. Solve -2*y + 6 = -4*y + 4*g, -g = 4*y - t for y.
5
Suppose 5*d - 128 = 112. Suppose 0 = 3*h + 66 - d. Let p(o) = -o**2 - 8*o - 9. Let x be p(h). Solve -x*z - 3*w = 0, 2 = -