-4 for d.
-5
Suppose 5*h - 175 = -2*w, 5*w = -2*h + 4*w + 70. Let g = -32 + h. Solve -1 = -g*l + 2*l for l.
1
Suppose 0 = -3*i + 6*i. Suppose i = 2*u + c + 31, 6*u - 2*u = c - 53. Let l(h) = -h**3 - 13*h**2 + 15*h + 20. Let g be l(u). Solve 0 = g*j - 3*j for j.
0
Let x(g) = -g**2 + 8*g - 7. Let f be x(5). Suppose f = -5*o + 23. Suppose -617*a + 15 + 15 = -587*a. Solve a - o = 2*h for h.
-1
Suppose -4*z + 4*s = -40, 2*z - s - 2*s = 24. Solve z*x - 17 = 7 for x.
4
Let h = 6 - 1. Let n = 23 + -10. Suppose -w + 29 = h*s, 3*w = n - 1. Solve -s*p + 8 = -p for p.
2
Let a = -12 + 3. Let u(q) = -q**3 - 9*q**2 + 2*q + 22. Let d be u(a). Solve d = -v - 3*v for v.
-1
Let h be 18/(-24)*32/(-24). Solve -2*s + s - h = 0 for s.
-1
Suppose 0 = -a - 9 + 12. Solve 6 = -b + a for b.
-3
Suppose -6*m + 245 = 47. Let l = -30 + m. Solve -7*r = -l*r for r.
0
Let a(m) = m - 1. Let n be a(4). Suppose g = 2, -c + 0*g - g = -11. Suppose i - c = -8. Solve -2*b = -n*b + i for b.
1
Suppose -8*n + 4*c - 7 = -7*n, -4*n - 2 = -3*c. Let p be 8/2 - 0/(-1). Solve -p = s + n for s.
-5
Let d(j) = -5*j - 3. Let b(g) = -g. Let a(f) = f**3 + 4*f**2 - 3. Let x be a(-4). Let i(m) = x*b(m) + d(m). Let o be i(-4). Solve 1 = -3*q - o for q.
-2
Let r(d) = -2*d - 2 - 4 - 2. Suppose -4*x - 15 = 5. Let c be r(x). Solve c*m - 4*m + 10 = 0 for m.
5
Let s be 10/(-25) + 17/5. Let i = -16 - 20. Let a = i + 38. Solve s*f - 5 = -a for f.
1
Let l = 1896 - 1884. Solve y = l - 16 for y.
-4
Suppose n + 1 - 3 = 0. Let r be (-3)/n*(-4 - -2). Suppose 2*g + 5 = r*g. Solve 3*a - g = 2*a for a.
5
Let g = 583 - 576. Solve -4*b = -1 - g for b.
2
Suppose 2*j + 17 = 3*s, -3*j = 4*s - 4*j - 21. Solve 0 = -11*v + s*v - 30 for v.
-5
Let u = 43 + -65. Let y = u + 25. Solve -y + 28 = 5*g for g.
5
Let p(r) = r**2 + 2*r + 3. Suppose d + 27 = 5*c, d + d + 24 = 4*c. Let l be p(d). Solve l*u - 12 = -0 for u.
4
Let d be (12/(-22))/(-3) + 86/11. Solve -5*s - 33 = -d for s.
-5
Let x(o) = o**2 - 15*o + 59. Let f be x(9). Suppose -f*u + 2*k = -27, -u + 7 - 8 = -2*k. Suppose 0 + 2 = 2*a. Solve 3*s - u = -a for s.
2
Let b = -16 + 20. Solve 0 = -9*n + b*n - 15 for n.
-3
Let g be -3 + (114/10 - 6/15). Solve -12*h - g = -10*h for h.
-4
Suppose 0*y - 10 = -x - y, -4*y + 24 = 2*x. Let w(t) be the third derivative of t**4/8 - 19*t**3/6 - t**2. Let b be w(x). Solve -16 = b*n - n for n.
-4
Suppose 121 = 9*h + 85. Solve -h*r - 6 = -14 for r.
2
Suppose -2*b + 51 = b. Let s = b + -13. Suppose 0 = 3*j - 5*u - 25, s*u - 8 = -4*j + 4. Solve 3 = 2*c - j for c.
4
Suppose 3*o + 2*h = 2, 5*h = 3*o - 0*o - 16. Let x = 1050 + -1046. Solve -x*q = -o*q - 2 for q.
1
Let m = 15 - 10. Suppose 0*w - w = 0. Suppose w = -m*b - 0*b + 20. Solve d = b*d for d.
0
Let i = -350 + 353. Solve 0 = i*x - 8*x + 15 for x.
3
Let w(i) = -i**3 - 7*i**2 - 2. Let y be w(-7). Let u be y/9 + 76/18. Suppose -3*q = -p + 11, -7 - 3 = p + u*q. Solve 0 = -p*m + 8 - 0 for m.
4
Let v be 34/(-8)*(-60)/(-3). Let h = v - -90. Solve 4 = h*f - 6 for f.
2
Let k(f) = f**3 + 11*f**2 + 12*f + 6. Let y be k(-10). Let j = -14 - y. Let g(u) = u**3 - 5*u**2 - 6*u + 6. Let m be g(6). Solve -4*o - m - 2 = j for o.
-2
Suppose 5*b = 4*u - 11, -4*b = 4*u - 6*b - 14. Solve -j - j = -u*j for j.
0
Let s(u) = 4*u - 5 - 2*u**3 - 46*u**2 + 3*u**3 + 41*u**2. Let j be s(5). Suppose v + 12 = 4*o, 3*v + 3 = j. Solve 1 - o = -z for z.
3
Suppose 4 = 8*v - 20. Solve x - 2 = -v for x.
-1
Let w be (6 - 9)/(9/(-30)). Solve -3*z - w = 2*z for z.
-2
Suppose -88 = -37*c + 23. Solve 6 - 3 = c*x for x.
1
Suppose -5*b + 3*w = -7, 7*b - w - 1 = 4*b. Let s be b/(-2) - (-14)/28. Solve -2*h - s = -7 for h.
3
Let h = 1 - -2. Let i be 174/(-4) + 6/4. Let c = -27 - i. Solve 8*m = h*m - c for m.
-3
Let a(u) be the first derivative of -u**3/3 - 3*u**2 - u - 4. Let v be a(-3). Suppose v*i = 2*i + 144. Solve i = 4*r + 8 for r.
4
Let h be (0/1)/(1/(-1)). Suppose -5*o + 15 = h, 2*z + 4*o + 9 = z. Let g = -12 - z. Solve 3*a + g + 0 = 0 for a.
-3
Let n be (6/9)/((-2)/(-9)). Suppose -t = 3*t + 2*j - 14, -2*t - 5*j = -n. Let k = -130 + 130. Solve k = -5*b + 19 - t for b.
3
Suppose 2*t = 3*h + 4, -5*h = -2*t - 2*t + 10. Let p be (-130)/(-50) + h/5. Suppose 37 - 12 = 5*o + 5*j, 0 = 5*o - p*j - 1. Solve o*y - 8 = 4*y for y.
-4
Let z be 0/(20/4 + -3) + 2. Solve 0 = z*u + 5*u - 4*u for u.
0
Let n = -722 - -730. Solve n*x - 19 + 3 = 0 for x.
2
Suppose 8*k + 2*k - 20 = 0. Solve -7*w = 4*w - k*w for w.
0
Suppose 16*o - 64 = -16. Solve o*c = -2*c + 5 for c.
1
Let j = -345 + 354. Solve -5*a + j - 4 = 0 for a.
1
Suppose 2*s - 5*n + 9 = 0, -3 + 9 = 4*s - 2*n. Suppose 37 = -s*z + 61. Solve 0 = -2*v - 2*v - z for v.
-2
Let t = 8 - 8. Suppose t = -5*p + p. Suppose -3*g + 3*q + 18 = p, q = 4*g + 5*q + 8. Solve 0 = j - g*j for j.
0
Suppose 0 = -19*h - 8 + 46. Solve h*r - 2*r = -3*r for r.
0
Suppose 268*i - 275*i + 98 = 0. Solve -i*q = 1 + 13 for q.
-1
Let a be (3/6)/((-3)/(-228)*-2). Let w = a - -21. Solve w*d = 5*d - 12 for d.
4
Let v = 104 + -100. Solve 2*z + v = 8 for z.
2
Suppose s + 5 = q - 11, -5*q - 50 = 5*s. Let i = s - -14. Solve -i = -5*z - 16 for z.
-3
Let i be 0*((-2)/(-20) - 27/45). Let s be (-1 + 1)/(2 + i). Solve s*v - 2*v = -8 for v.
4
Let f = -1100 + 1110. Solve -6*c + 20 = -f*c for c.
-5
Let v(c) = -c**3 + 5*c**2 - 3*c + 1. Let h be v(4). Let k = -2 + h. Let x be 6*1*1/k. Solve 3*w = -x*w + 25 for w.
5
Suppose -5*p = -3*p - 4. Let c be 23*(2 - (-6)/(-6)). Let n(m) = -m**3 + 24*m**2 - 24*m + 25. Let r be n(c). Solve -r*s = p*s for s.
0
Let c = -1282 + 1293. Solve -4*j = -c*j - 14 for j.
-2
Let b(u) = 6*u**2 - 2*u + 1. Let k(l) = l**3 - 6*l**2 + 5*l - 2. Let w be k(5). Let o be b(w). Let s = -27 + o. Solve s - 6 = 4*h for h.
-1
Let a be ((-16)/(-40))/((-3)/(-30)). Suppose 2*j = 4*t - 22, -t - a*t + 2*j = -26. Suppose 0 = -4*o + t, f = 3*o - 3 + 4. Solve -f = -l - 9 for l.
-5
Suppose t + 0*t = 3*i - 38, 2*t = -i + 8. Suppose r = -5*c + i, -4*c - 18 = -4*r + 6. Let z be (14/4)/r*0. Solve -3*n + z - 3 = 0 for n.
-1
Let t be (4/(-6))/((-4)/(-48)*-1). Suppose t*i - 5*i - 6 = 0. Solve c - i - 1 = 0 for c.
3
Let h(b) = b**2 + 12*b - 12. Let w be h(-14). Solve 0 = -u - 3*u - w for u.
-4
Let q(l) = -l**3 - 6*l**2. Let c be q(-6). Suppose a - 188 = 4*f - 3*a, -4*a + 240 = -5*f. Let j = -50 - f. Solve c*u + 6 = j*u for u.
3
Let k(j) = -j**3 + 10*j**2 - 8*j + 2. Let t be k(9). Let n(u) = -u + 11. Let h be n(t). Solve -l + 5*l - 8 = h for l.
2
Let w = -48 - -105. Suppose 4*k = 5*c + 33, 5*c + w = -2*k + 6. Let n(v) = v**2 + 9*v + 4. Let g be n(c). Solve -h = g*h + 10 for h.
-2
Let p be 116/30 + 24/180. Let f = 4 - p. Solve y - 2*y = f for y.
0
Let r be 278/10 - 4/(-20). Let i = r - 3. Solve -5*k - i = -0*k for k.
-5
Suppose 5*o - 86 = 4*l + 56, 4*o + 2*l - 124 = 0. Solve -8*t + o = 2*t for t.
3
Let t(p) = -p**2 - 3*p + 4. Let f be t(-3). Let i be (4 + -1)*(-6 + f)/(-2). Solve r + i = -0*r for r.
-3
Let o be 4/18 + (-1159)/(-171). Solve -5*k - 2*k = o for k.
-1
Suppose 1024*m - 162 = 1018*m. Solve 4*a = -m + 7 for a.
-5
Let p = 23 + -26. Suppose 8*m + 3*f - 16 = 4*m, 2*m - 8 = -2*f. Let v = p + m. Solve 0 = 4*d + 3 + v for d.
-1
Suppose 10 + 88 = 14*g. Solve -6 = g*d + 22 for d.
-4
Suppose -4*x + 54 = -5*y + 3*y, -4*y = 3*x + 152. Let n be (14/y)/(2/(-10)). Suppose -n*t + 6 = -0. Solve 0*j + t = -j for j.
-3
Let u(z) = z + 11. Suppose 4*y + 5*m - 11 = 0, 0 = 4*y - 2*y - 2*m - 10. Suppose y*d = -4*r - 48, -d - 4*r + 2*r = 17. Let k be u(d). Solve k*p - 16 = -0 for p.
4
Suppose -4*q + 5*d - 78 = 70, 3*q = 4*d - 112. Let m = 32 + q. Solve c = -m*c for c.
0
Let v(j) = -2*j - 4*j**3 + 3*j**3 - 2 - j - 3*j**2. Let o be v(-2). Let t be 5/5 + (-1 - o). Solve f - 2 = -t*f for f.
2
Let b = 116 - 120. Let i be b/(-3 + 3 - 2). Solve -i*n = -n - 5 for n.
5
Let k = -333 - -335. Solve k + 7 = 9*t for t.
1
Let g(k) = -k**3 - 2*k**2 - 4*k - 11. Let i be g(-3). Solve 0 = 10*q + i*q + 20 for q.
-1
Let r be ((0 - 1) + 11)*8. Suppose -m + r = 3*m. Solve 0 = -5*b + m for b.
4
Let z(l) = -l**3 + l**2 + l + 1. Let o(h) = 5*h**3 - 8*h**2 - 6. Let v(y) = o(y) + 4*z(y). Let p be v(2). Let g be 2 + -1 + p + 4. Solve -x + 2 = -g*x for x.
-1
Let q be 0*2*2/(-8). Suppose -5*b - 2*a + 15 = q, 2*b + 3*a - 1 = -6. Suppose b*w - 4 = 6. Solve -3*f = -w*f - 5 for f.
5
Let a(l) = l**3 - 