 Solve -m - 1 + 0 = d for m.
-1
Let h(c) = -3*c**3 + 23*c**2 + 35*c + 14. Let t be h(9). Solve 0 = -t*a - 4 - 11 for a.
-3
Let z(x) = -1 - 6 + 0 + 6*x - 8. Let r be z(3). Solve 3 = -r*b - 3 for b.
-2
Let b be 3/(0 + (-3)/(-4)). Suppose g + 5*c = 5, 0 = -g + 4*c - 4 - 0. Solve -3*o + 5*o - b = g for o.
2
Let d be 9*(8/6 - 1). Suppose -5*h = -d*u, -5*u + 3*h + 15 = -1. Let n(v) = v**2 - 36*v - 457. Let a be n(-10). Solve u*c = a*c for c.
0
Let x(p) = 2*p**2 - 29*p + 16. Let v be x(14). Solve h = v*h - 2 for h.
2
Suppose -2*j - 2 + 19 = b, 2*b = 5*j - 47. Suppose -j*l - 6 = -11*l. Solve -18 + l = 3*i for i.
-5
Suppose 2*s = 4*b + 14 - 4, -3*b = 5*s - 25. Solve b = -4*q - 10 + 14 for q.
1
Suppose -6 = -2*k + m, -4*k + 5*k + 3*m + 4 = 0. Solve -k*j + 4*j = -4 for j.
-2
Let k(c) = -17*c**3 + 3*c**2 + 18*c**3 - 2*c**2 - 2*c**2. Let j be k(1). Suppose j = 7*r - 6*r - 7. Solve 0 = 2*l - r*l - 25 for l.
-5
Suppose 4*s - 16 = -4*o, -4*o - 2*s + 20 - 8 = 0. Let t be ((-3)/(-6))/(o/4). Solve 2*j - t = 3*j for j.
-1
Let z(i) = i**2 - 10*i - 9. Let u be z(11). Suppose -4*y = w - 5, -3 = -2*w - u*y + y. Let b be (-4*w - -2) + 8. Solve -m - b = -3*m for m.
3
Let h be 3 - (-504)/39 - (-4)/52. Solve 2*o = -6*o - h for o.
-2
Let c be (-5)/((-15)/639)*17/51. Solve -17*s + c - 3 = 0 for s.
4
Suppose 64 = -21*s + 29*s. Let k = 6 + -6. Suppose 0*h + h = k. Solve h = a + 3 - s for a.
5
Suppose -7*f = -59 + 31. Solve -f = w - 6 for w.
2
Let h = -115 + 122. Solve 14*f + 21 = -h*f for f.
-1
Let m(i) = i**2 + 7*i + 18. Let v = -57 - -51. Let r be m(v). Solve -4 = -2*n - r for n.
-4
Let g be (1 - 2) + -1 - 10. Let c(t) = -t**3 - 13*t**2 - 13*t - 11. Let h be c(g). Solve 2*o = 7 - h for o.
3
Let p be 6 - ((-1)/(-1) - 1). Let i be 2/p - 1/3. Suppose -3*h = 5*l + 21, 3*l = 2 - 20. Solve i = -y + h*y - 10 for y.
5
Let w(n) be the first derivative of -n**3/3 + 15*n**2/2 - 16*n - 20. Let t be w(13). Solve -t*b + 8 = -14*b for b.
-2
Suppose -566*o + 60 = -561*o. Solve o = -14*u + 11*u for u.
-4
Suppose -83 = -5*l + 4*s, 6*l = l - 4*s + 67. Solve -6*t + l = -t for t.
3
Suppose 32 = -0*u - 4*u. Let o = u + 12. Let q = 12 - 8. Solve -2*d + o = -q*d for d.
-2
Let c be (12 - (-7 - -2)) + 0. Solve -t - c = -16 for t.
-1
Let o = 330 - 327. Solve -o*w + 16 = 5*w for w.
2
Suppose 9*m - 82 = -32*m. Solve 12*y = m*y + 50 for y.
5
Let o(j) = -j - 15. Let y be (4/8)/((-1)/(-10)). Let p(k) = -8. Let w(b) = y*p(b) - 3*o(b). Let g be w(0). Solve h - g*h + 12 = 0 for h.
3
Suppose -7*o - 19 = -887. Solve 3*f - o = -139 for f.
-5
Suppose 92 = 3*k - 10. Solve -14 = 12*w + k for w.
-4
Suppose 9*p - 13*p = 292. Let k = 82 + p. Solve i - k = 4*i for i.
-3
Suppose 4*a + 2*p = 102, -3*a + 64 = 3*p + p. Let k = a - 12. Solve k = s + 3*s for s.
4
Let a(l) be the third derivative of -l**6/120 + l**5/6 + 3*l**4/8 + 4*l**3/3 + 5*l**2. Let b be a(11). Let o = b - -16. Solve -o*v + 1 = -7 for v.
4
Let b = 8 + -7. Suppose 16*g - 3 = -3. Solve g*n + b = n for n.
1
Suppose -3*h - a + 457 = 2*h, -5*h + a = -463. Let s = -83 + h. Solve 0 = -7*g + 4*g - s for g.
-3
Let z be 32/(1 - -1) - (-25)/(-5). Solve 6*m - z = -41 for m.
-5
Let c = 10 + -10. Suppose 0*x + 4*x - 20 = 0. Suppose l = x*l. Solve l = -c*y - y - 2 for y.
-2
Suppose 0 = -y - 4*j - 29, 0 = -2*j - 4. Let o = y - -25. Let v be (-129)/(-27) + 2/9. Solve v*q - o*q = 2 for q.
2
Let m = -14 - -27. Let y(t) = t**2 + 13*t - 27. Let k be y(-15). Suppose 7 = -k*r + m. Solve c - 3 = r*c for c.
-3
Let r be 7/(-2)*(2 - 4). Solve -3*v + r*v = 8 for v.
2
Suppose -22*d + 18 = -16*d. Solve c + 12 = -d*c for c.
-3
Let t be 3/(3*(-7)/(-63)). Solve -8*x + t*x - 1 = 0 for x.
1
Let f = -44 - -47. Solve -f*t + 9 = -0*t for t.
3
Let j(o) be the second derivative of -o**3/3 - o**2 + o. Let v be j(-3). Solve -w = v*w for w.
0
Let a(y) = y - 6. Let j be a(10). Let n be -1 - (-2)/(-2 + j). Let d be -1 + n + 12/4. Solve -9 = p + d*p for p.
-3
Let h be ((-100)/90)/(2/(-18)). Solve h - 50 = 8*a for a.
-5
Let u(p) = -2*p + 4. Let x(d) = d - 3. Let y(h) = 2*h - 6. Let o(q) = -5*x(q) + 2*y(q). Let l(f) = 4*o(f) - 3*u(f). Let j be l(3). Solve j*s = 5*s + 3 for s.
3
Let v be 64/24*(-15)/(-10). Solve 4*a + v + 8 = 0 for a.
-3
Let r = 862 + -856. Solve 0 = 16*n - r*n for n.
0
Let t(s) = -7*s + 28. Let b be t(4). Solve 6*c - 24 = -b*c for c.
4
Let l = 33 + -30. Suppose l*m + 4 = v + 3*v, 2*m + 3*v = 3. Solve 4*g + 0*g = m for g.
0
Let q(t) = -4*t + 8. Let k(s) = -s + 1. Let c(h) = 3*k(h) - q(h). Let m be c(9). Solve -2*u = -u - m for u.
4
Let o(i) = 3*i - 19. Let k be o(8). Suppose k*m = 3*m. Solve v = -m*v for v.
0
Suppose f - 5 = 2*f, 4*f = 4*o - 60. Suppose 0 = -7*x + o + 95. Solve w - x = -2*w for w.
5
Suppose -4*t = -2*m - 14, -4*t + 8 + 3 = m. Let o(d) = -d**3 + 5*d**2 + 5*d + 1. Let x be o(6). Let a = t - x. Solve a*y = 3*y for y.
0
Suppose 6*d - 5*d = 0. Suppose d = -4*z + z + 21. Solve -2*w - 1 = z for w.
-4
Suppose l = -2*r + 1, -2*r - 2*l + 11 - 13 = 0. Solve r*j = -3 + 7 for j.
2
Let c(t) = -2*t**2 + 77. Let a be c(-6). Solve 10*w + 15 = a for w.
-1
Suppose h = -3*f - 11, 1 = -3*h - 4*f - 7. Let w(a) = a + 7. Suppose 4*c = -0*c + t - 31, 4*c + 4*t + 16 = 0. Let s be w(c). Solve h*p = -s*p for p.
0
Suppose 2 + 2 = 2*u. Solve -18 + 14 = u*x for x.
-2
Let w = 39 + -33. Suppose 0 = -27*k + 24*k + w. Solve 0 = -k*q + 3 - 1 for q.
1
Let b be (-75)/(-69) + 58/(-667). Solve -24*a = -23*a - b for a.
1
Suppose 768 = -61*g + 4062. Solve -g - 11 = -13*d for d.
5
Let t(z) = z**3 + 5*z**2 - 2*z + 3. Let n be t(-5). Let a(r) = r**3 - 9*r**2 + 8*r - 3. Let j be a(8). Let u be 2 - j/6*-2*-3. Solve u*x = -n - 12 for x.
-5
Let h be 3 - 8/(-4 + (-12)/(-4)). Suppose h - 5 = 2*u. Solve -13 = -5*b - u for b.
2
Let i(u) = 2*u**2 - 4*u + 3. Let m be i(4). Suppose -23*h = 29*h + 832. Let p = m + h. Solve -p - 2 = k for k.
-5
Let m = 47 + -17. Suppose -3 = h, 2*s + m = -4*h - 4. Let f be (-15 - s) + (2 - -7). Solve g + f = -0*g for g.
-5
Suppose k - 3*r = 32, 0*k + 5*k + 2*r = 177. Let o = -31 + k. Solve o*u - 6 = -2 for u.
1
Let n be 3/(-3)*(-2)/2. Let m(a) = a**2 + 14*a + 49. Let c be m(-8). Solve n + c = -p for p.
-2
Suppose 4*h - 20 = -0*h + 5*o, 4*h = -3*o + 52. Solve -h = -4*n - n for n.
2
Let i = 0 - 4. Let j be i/14 - (-14)/49. Suppose 5*h - 14 - 1 = j. Solve 9 = -h*p - 0 for p.
-3
Suppose 2*q = 5 + 9. Suppose -4*i - 6 = 3*y, 4*i - 3 + q = -2*y. Let x be 18 - 6/((-6)/y). Solve -3*d + 7*d = -x for d.
-4
Let z be 8 + (-3)/(-9)*2*-6. Solve 0 = -18*y + 14*y - z for y.
-1
Let i be 9 - 2 - 7 - -7. Solve 0 = i*x - 4*x + 15 for x.
-5
Let t(m) = m - 2. Let i be t(-2). Let o be 1443/26*i/6. Let p = o + 39. Solve 1 + 1 = p*r for r.
1
Suppose -152 = -4*i + 5*g, -g + 190 = 5*i - 2*g. Solve i = 11*f - 6 for f.
4
Let d be 1*((3 - -2) + -1). Suppose -f = -12 - 3. Solve -d*c - f = -c for c.
-5
Suppose j = 2*j - 4. Suppose -a - j*y = -2*a + 22, a + 4*y + 18 = 0. Suppose -5*o = -117 + 92. Solve -p - o = -a for p.
-3
Let h = -9 - -15. Let d be 27/(-18)*(-8)/h. Let n = 247 + -246. Solve d*x - n = 5 for x.
3
Suppose -11*u - 35 + 200 = 0. Solve -u = 13*a - 16*a for a.
5
Let b be (-40)/(-18) + (-14)/63. Let l be 3 + b/((-4)/6). Suppose -p - 103 = -4*k - 15, l = -2*p. Solve 4*y + k = 2 for y.
-5
Let w = 12 - 23. Let s(r) = r**2 + 10*r - 11. Let n be s(w). Suppose 3*i - 2*i - 2 = n. Solve i*o + 12 = -o for o.
-4
Let x = 276 + -219. Solve -5*i + 47 = x for i.
-2
Let v(g) = -g**3 + 10*g**2 + 12*g - 8. Let s be v(11). Suppose -5*x + 3*k = -2 - 14, 8 = 3*x - k. Let o(d) = d. Let n be o(1). Solve -x*t = s - n for t.
-1
Let k(q) = -q**2 - 6*q - 6. Let i be k(-6). Let c = i - -6. Solve c = -x + 5*x + 20 for x.
-5
Let f be 14/35 - (-58)/5. Let c be -6*(f/(-3) + 3). Suppose -9 = 3*x, 0 = -4*z - z - 2*x - c. Solve z*d = -d for d.
0
Let c(f) = -f - 44. Let m be c(0). Let i = -40 - m. Solve 3*g - 7*g + i = 0 for g.
1
Let r = 2630 + -2610. Solve -r = -176*l + 171*l for l.
4
Suppose 10*s + 12*s = 19*s. Solve -o + s*o = -1 for o.
1
Let i = 33 - 31. Suppose -21 = 3*t - 5*r, 0 = 3*t + i*t - 3*r + 35. Let z be 30/14 + t/49. Solve z*p + 0 = -4 for p.
-2
Suppose -2*r - r = -9. Let k(j) = -2*j**3 - j + j**r + j**2 + 3*j**3 + 0*j**3 + 1. Let g be k(1). Solve 0 = -h + g*h + 8 for h.
-4
Let s(w) be the second derivative of w**3/3 - 5*w**2/2 -