for d.
-2
Suppose 4 = 2*u - 4. Suppose m = -2 + u. Suppose 0 = -m*d + 4*l - 16, -2*d + 16 = -2*l + 6*l. Solve 0 = -d*q - q - 4 for q.
-4
Let t = 5 - 1. Let s(x) = -x**2 + 5*x + 10. Suppose 3*w + 0*w - 19 = -y, 2*w = 4*y + 8. Let f be s(w). Solve -f = -0*b - t*b for b.
1
Let u(i) = 2*i**3 + 2*i + 4. Let n be u(3). Suppose 89 = 4*o - z - n, 4*o + 4*z - 128 = 0. Suppose -2*h - 7 = -o. Solve -2*t = 3*t + h for t.
-3
Let l = 5 - 1. Let h(k) = -k + 9. Let d be h(l). Solve -d*j + 13 = -2 for j.
3
Suppose -2*m + 18 = 4*m. Solve 5*y - 6 = m*y for y.
3
Let q(k) be the first derivative of -5*k**2/2 + k + 1. Let n be q(2). Let t be ((-8)/3)/(6/n). Solve t*f - 2 = -6 for f.
-1
Let j be 4 - (2 + -1)/(-1). Suppose x + 78 = 4*x - y, j*x + 5*y = 110. Suppose -h + 5*w - 19 = 0, -4*h - 4*w + 2*w + 34 = 0. Solve h*i + x = i for i.
-5
Suppose -8*h = -2*h - 18. Solve -v + 2*v = -h for v.
-3
Let g = 19 - 3. Suppose -y = y + g. Let i = y - -14. Solve z = -z + i for z.
3
Let o be (-15)/10*12/(-9). Let m be o/(-12) - 75/(-18). Solve -m*a = -0*a + 8 for a.
-2
Let l(w) = -w**2 - 4*w - 3. Let c be l(-3). Let z(u) = u**3 - 2*u**2 - 5*u + 3. Let j be z(4). Suppose 12*b = 6 + 66. Solve v - b*v - j = c for v.
-3
Let l be 0/((3 + -1)/1). Solve -i - i = l for i.
0
Let n = -4 - -1. Let o be (3/(-2))/(n/12). Solve 2*p - o*p + 8 = 0 for p.
2
Let s be (3 - (-3 + 10)) + 4. Solve s*k - 2 = 2*k for k.
-1
Suppose 7*j = 4*j. Suppose 0 = 140*s - 132*s - 40. Solve j = n + 2 - s for n.
3
Suppose v + 8 = 13. Solve -3*d - v = 1 for d.
-2
Let b be (-2)/(-3)*3/(-6)*-15. Solve 12 = b*v + 2 for v.
2
Suppose -4*n = -20, -1 = -2*u + 2*n - 3. Solve -u*d = d + 5 for d.
-1
Let a = 4 - 5. Let i be -1 - -1 - (1 + a). Solve i = 5*f - 2*f for f.
0
Let w(j) = -j**2 + 2*j - 1. Let m be w(2). Let p be 1/m*(-4 - -5). Let d be 4 - (-2 + (p - -1)). Solve -r + d*r = 0 for r.
0
Suppose -7 = 3*k - 22, f - 3*k = -21. Let z be 18/4*(-4)/f. Let s be 1/3 - z/9. Solve s = 5*a - 1 + 6 for a.
-1
Suppose -22 = -l - 4*p, 3*l = 2*l + 4*p - 18. Solve -i + 2 + l = 0 for i.
4
Let v = -28 - -20. Let u = -5 - v. Let a be 0/(-1 - (u + -2)). Solve 0 = -a*s - 3*s + 3 for s.
1
Suppose 30 = 4*z - 3*z. Suppose 0*a + 7 = -4*h + 3*a, -5*h + z = 4*a. Let n(o) = -3*o - 1. Let q be n(-1). Solve q = -h*s + 3*s for s.
2
Let o = -8 - -13. Suppose -n + 4 = 3*q, 0*n = 5*q - 2*n + 8. Solve q = -2*x + o*x for x.
0
Let z = -6 - -9. Solve 0 = -5*c + z - 8 for c.
-1
Let h(r) = -r - 2. Suppose 4*i + 4*t + 12 = 4, 0 = -i - 4*t + 4. Let u be h(i). Suppose 5*x = 12 + 3. Solve -u*v - x*v + 25 = 0 for v.
5
Let f(c) = -3*c**2 - c + 1. Let t(a) = a**2 - a - 1. Let o(h) = -f(h) - 4*t(h). Let n be o(4). Suppose -4*g - 1 = n, -3*g + 42 = 4*q. Solve 3*j + q = 3 for j.
-3
Let g be 3/(-9) + (-39)/(-9). Suppose -g*t = 2*p - 118, -6*t + 3*t = 5*p - 274. Suppose 0 = -0*b + 4*b + 5*w - p, 5*b + w - 40 = 0. Solve 4*j - b = 1 for j.
2
Suppose -5*z + 5*b = 5, -5 = -2*b + 3. Let c be 2/5 + 6/10. Let y be 0 - 0 - (1 - c). Solve y = d + z*d for d.
0
Let w(g) = -g**2 - 4*g + 22. Let c be w(-7). Solve 4*b + c = 17 for b.
4
Let i = 1 + 5. Suppose -4*n = -n - i. Suppose w - 40 = -27. Solve 3*d - w = n for d.
5
Let l = 5 + -3. Suppose 3*u = 5*k + 2, 0 = 5*u - l - 18. Let v = k + 3. Solve 2*b = 13 - v for b.
4
Suppose 4*x + 5 + 3 = -4*z, 4*x + 2 = -z. Solve 6*m - 2*m - 16 = x for m.
4
Suppose -2*t + 66 - 8 = 4*k, 5*k - t = 69. Let b(n) = -n**3 + 3*n**2 + 4. Let m be b(3). Solve 0 = m*y + 2 - k for y.
3
Let k(w) = w + 1. Let h(r) = -r**2 - 7*r - 3. Let t be h(-6). Let l be k(t). Solve 0 = l*x + x for x.
0
Let t = 6 - 1. Solve -2*r + t*r = 12 for r.
4
Let o be 123/7 + 3/7. Suppose -m - 2*m = -o. Solve 0 = 3*i - 21 + m for i.
5
Let w be (-48)/(-9)*6/4. Suppose -2*v + 6 = 4*a, a - v + 7 = 5*a. Solve -a*i - 2*i = w for i.
-2
Let b be ((-1)/2)/(8/(-32)). Let l be (-4)/(0 + 1/(-2)). Suppose l = 3*j - j. Solve b = -j*r - 6 for r.
-2
Suppose 2*o = -8 + 2. Let z = -2 - o. Let q = 8 - 8. Solve i - z - 4 = q for i.
5
Let k(y) = y + 1. Let i be k(3). Solve i + 1 = 5*t for t.
1
Let j(w) = -w**2 + 25*w - 64. Let s be j(22). Solve 0 = s*q - 7 - 1 for q.
4
Suppose -70*q + 67*q = -27. Solve 3*f = -3 - q for f.
-4
Suppose -9 = -j - 0*h + h, -4*j + 5*h + 39 = 0. Solve -j + 0 = 2*w for w.
-3
Let f be (-1 + 1)/(-1) - -3. Let n(h) = -h - 1. Let q(p) = 3*p - 1. Let b(g) = 2*n(g) + q(g). Let u be b(5). Solve -f*z - u = 4 for z.
-2
Let q = 9 - -11. Let n = 10 + -7. Suppose -4*u - 5*l + 32 = 0, -21 = -0*u - 3*u - n*l. Solve 2*r + q = -u*r for r.
-4
Let d be 2/(-7) - (-2)/7. Suppose -12*s + 20 = -4. Solve -2 = s*z - d for z.
-1
Suppose -18*d = -16*d - 6. Suppose 4*p - 113 = 151. Let c be p/14 + 4/14. Solve -2*g = d*g - c for g.
1
Suppose 27*r - 30*r = -6. Solve -4 = -3*s + r for s.
2
Let d(k) = k**3 - 10*k**2 + k - 7. Let r be d(10). Solve r + 3 = -2*y for y.
-3
Let y be (-34)/(-6) - 2/3. Suppose y = -2*t + 11. Solve t*d - 10 = 2 for d.
4
Let i = -9 - -14. Let j be 9/i - (-5)/25. Let f(a) = a + 2. Let g be f(j). Solve 0*w + 12 = -g*w for w.
-3
Let h(f) = -4*f**2 + 4*f + 3. Let a(z) = -3*z**2 + 4*z + 3. Let u(b) = 3*a(b) - 2*h(b). Let s be u(4). Suppose s*r = r. Solve 5*c + 9 + 6 = r for c.
-3
Let q = 6 - 4. Let p(x) = -x**3 + 10*x**2 - 10*x + 15. Let f be p(9). Solve -q*v - 4 = f for v.
-5
Suppose -25 = -g - 4*g. Solve -5*i + g = 15 for i.
-2
Let v(b) = b**2 + 11*b. Let z be v(-11). Solve 4*u + z + 16 = 0 for u.
-4
Let h be (-116)/(-30) + ((-68)/30)/(-17). Solve c = -h - 1 for c.
-5
Let s(r) = -r**2 + 4*r - 1. Let c be s(2). Solve c*t + 6 = 3 for t.
-1
Let m be (-1)/2 - (-35)/10. Suppose -4 = -5*l + m*k, 5 = l + 4*k - 5. Solve -l*d = -0*d - 8 for d.
4
Let j(p) = p + 1. Let k be j(2). Suppose 2*r + 3 = k*r. Solve -q - 4 = -r for q.
-1
Suppose 6*d - 3*t - 15 = 3*d, 4*d + 2*t = 14. Solve a - 6 = d*a for a.
-2
Let y be (2/(-4))/(21/(-126)). Solve 2*a - y*a = -2 for a.
2
Suppose -2*u - 10 = 5*t - 3, 5*u + 8 = -3*t. Let a = -23 - -7. Let p be (20/16)/(t/a). Solve 5*o = o + p for o.
5
Let c(s) be the first derivative of s**4/4 + 2*s**3 - 2*s**2 - 8*s + 3. Let i be c(-6). Solve 4*p - i = -0*p for p.
4
Let z be (-9)/21 - (-356)/14. Suppose 8*g = 3*g + z. Solve -2*u - g = -3*u for u.
5
Let y be (-1 - -1) + 2 + 9. Suppose 2*d - 4 = -0, -n = 4*d - y. Let v be (-5)/15 - (-13)/n. Solve v*t + t = 0 for t.
0
Let w = 8 + -3. Let l(d) = -d**2 + 6*d + 5. Let c be l(w). Solve -t + 3*t = c for t.
5
Let m be 5 + 22/(-4) - (-2)/4. Solve 2 = 2*h - m*h for h.
1
Let m = -31 + 51. Suppose 0*b = 2*b - 36. Let u be (-2)/(-4) - b/(-4). Solve 0 = -u*q - m - 5 for q.
-5
Let g = 1 + -3. Let p(m) = -m**3 - 3*m**2 - 2*m + 2. Let t be p(g). Solve -s = 1 + t for s.
-3
Suppose -9 = -4*k + q + 2*q, 3*k - 33 = -3*q. Solve 0 = -k*d + 2*d - 12 for d.
-3
Suppose g + 4*g = 5. Suppose -5*z - l = -24, -4*z + g = -l - 20. Solve 4 + z = 3*q for q.
3
Suppose -6 = 16*y - 18*y. Solve -y = -4*w - 11 for w.
-2
Suppose 9*x + 2*c = 4*x, 0 = -5*x + 3*c. Suppose -3*y + y + 2 = x. Solve y = -h + 2 for h.
1
Let o(j) = -j + 5. Let k(y) = -2*y - 10. Let x be k(-7). Let m be o(x). Solve -5*s - 6 + m = 0 for s.
-1
Let f be 8/(-10)*(-5)/2. Let o(g) = 4*g**2 + 3 - g**2 - 9*g - 4*g**2. Let j be o(-9). Solve 1 = f*i - j for i.
2
Suppose h + 2*r + 3*r - 23 = 0, -2*h - 4*r = -22. Solve 0 = -4*y + h*y + 3 for y.
3
Suppose r + r = 4. Solve -3*o - 1 = r for o.
-1
Let y(t) = -t**3 - t**2 + 2*t. Let l = 6 - 4. Let x be y(l). Let a = -2 - x. Solve 4 = -2*v - a for v.
-5
Suppose -3*s = -6*s + 5*u - 4, -u = -4*s + 6. Let w(z) = -11*z + 80. Let n be w(7). Solve 0 = s*x + x - n for x.
1
Let t(h) = h**3 - 8*h**2 - h + 10. Let y be t(8). Solve y*p = -p + 15 for p.
5
Suppose -58 = 4*m - 66. Solve 5*k - m*k + 3 = 0 for k.
-1
Suppose -2 = 4*f - 3*f. Let q = f - -5. Let t be (-8)/(-12) + 37/q. Solve -t + 1 = 3*v for v.
-4
Let u(j) = j + 11. Let p be u(-6). Solve 10 = -p*q + 35 for q.
5
Suppose -g + 7 = -0*g. Let j be 3*(-8)/36*-3. Solve -g*h = -j*h - 15 for h.
3
Let p(d) = -3*d - 2. Let t be p(-2). Suppose 3*o = 5*o. Suppose t*z = -o*z + 16. Solve -z*b + 6 = -b for b.
2
Let q be 2/(-10) + (-41)/(-5). Let g be q + 1/(-1) + 0. Suppose 0 = 8*p + 37 - 157. Solve g*u + p = 4*u for u.
-5
Suppose -b = 4*p - 4, -5*b + 0*p = 3*p - 20. Let g(x) be the first derivative of x**3/3 - x**2 - 4*x + 