d for d.
-1
Let v = 1 - -2. Solve 0 = -3*r - 9 + v for r.
-2
Let g(u) = u - 8. Let w be g(12). Suppose n + 2*z - 16 = -0*n, -36 = -w*n - z. Let q be n/36 + (-104)/(-18). Solve 0 = v - q*v - 20 for v.
-4
Suppose -l = -0*j + 2*j - 1, l - 1 = j. Solve 5 = -j*g + g for g.
5
Suppose 2*h = 0, -5*h = -3*k - 0 + 3. Solve k + 3 = -4*o for o.
-1
Let x = -16 - -18. Solve x*w = -w - 9 for w.
-3
Let p = 0 - 8. Let m = p + 14. Solve f + 10 = m*f for f.
2
Suppose 3*z + 640 = 5*s, -3*s - 3*z + 239 + 121 = 0. Suppose 2*w = -3*w + s. Let b(g) = -3*g - 1. Let h be b(-1). Solve 3*m = -h*m + w for m.
5
Let k(x) = -1 - 1 - 1 - 2*x - x**3 - 6*x**2 - 4. Let u be k(-6). Solve -15 = -u*t - 0*t for t.
3
Suppose -3 - 17 = -4*k. Solve -k = -2*f - 1 for f.
2
Let k be (-12)/4 + 7 - 1*2. Solve k*g - g = -5 for g.
-5
Let o(c) = -2*c**2 + 5*c + 2. Let k be o(0). Solve -2*j + 10 - k = 0 for j.
4
Suppose 3*m - 3 = -2*b, -4*b + 5*m + 8 = -9. Let n = -12 - -18. Solve b*k - 18 = -n for k.
4
Let l(f) = -f - 11. Let z be l(-13). Suppose z*a + 3*a = 0. Solve a = 2*c - 0*c - 4 for c.
2
Let c be 82/5 + (-2)/5. Let j = -74 + 76. Solve 6*i + c = j*i for i.
-4
Suppose -22 = -4*f + 3*h, -2*f - 2*f + 10 = 3*h. Suppose 0 = -5*t + 4*r - 25, 0*r = f*r - 20. Let y be (0/t + 3)*1. Solve -y*c = 2*c + 20 for c.
-4
Let z = 2 - 2. Suppose z*u = -u + 4. Let d be 8*1 - (1 - 0). Solve 5 + d = -u*h for h.
-3
Suppose 4*k = -0 + 4, -q = k - 2. Solve 5 - q = 2*g for g.
2
Let a(n) = 4*n. Suppose 3*k = -3*u, 2 + 2 = 5*k + u. Let f be a(k). Suppose -3*j = -4*t, 0*j - 24 = -f*t - 3*j. Solve -l - t*l = 4 for l.
-1
Let z be 5/15 - (-11)/3. Solve -5*k + z + 6 = 0 for k.
2
Suppose -p + 8 = -5*p. Let r(g) = -2*g**3 - 3*g**2 - 2*g - 1. Let a be r(p). Suppose -a - 3 = -5*k. Solve -4*q + k + 2 = 0 for q.
1
Let g(b) = 4*b**3 - 1. Let x be g(1). Solve -o - 1 = -x for o.
2
Let a(p) = -p**3 - 3*p**2 - 6*p - 5. Let g be a(-4). Suppose 3*v + g = 5*x, 0*v = -v + 5. Suppose 10*n = n + n. Solve n = -o - o + x for o.
5
Let z = -70 - -71. Solve r - z = -4 for r.
-3
Let t(p) = 3*p**2 + 3*p - 14. Let h be t(-3). Let n be 1 + (0 - 8)/(-2). Solve -n = k + h*k for k.
-1
Suppose -7 - 14 = -3*s. Let c = 11 - s. Solve -3*i + c = -8 for i.
4
Let q = 10 + -10. Solve q - 10 = -2*s for s.
5
Let w(h) = -h**3 - 6*h**2 - 6*h + 7. Let a be w(-5). Suppose 0 = p + 3*p - 12. Let n = p - 3. Solve 3*f - a = -n*f for f.
4
Suppose z + 3*y = -3*z + 26, -2*y - 6 = -2*z. Solve 12 + 3 = z*j for j.
3
Suppose 3*x - 7*x = 0. Suppose -5*s - 25 = -3*y, x = 2*y - 2*s - 24 + 6. Solve -2 = 4*u - y for u.
2
Suppose -23*j = -25*j + 8. Solve j*s - 4 = -0 for s.
1
Let j(i) be the first derivative of i**2/2 + 13*i - 4. Let r be j(-9). Solve -4*g + r + 4 = 0 for g.
2
Let n = -11 - -13. Solve 3*s = n*s + 1 for s.
1
Let j be ((-2)/6)/(2/(-72)). Suppose -4*q = -5*m + 4 + 11, -4*q - 4*m = -j. Solve -5*x = -q*x + 10 for x.
-2
Let v(g) = 3 - 1 + g**2 - 3 + 5*g. Let d be v(-6). Suppose 0 = 3*f - 3*h - 9, -2*f - 2 + 8 = 5*h. Solve f = -2*z - d for z.
-4
Let t(p) = p**3 + 5*p**2 + 4*p + 2. Let z be t(-2). Solve -2*u = -z*u for u.
0
Let a(t) = 3*t - 6. Let f(v) = v - 1. Let j(n) = a(n) - 5*f(n). Let c be j(-4). Solve 15 = -c*p + 2*p for p.
-3
Suppose -5*q + 28 = -7. Suppose -q = -3*d + i, i + 0 = 4*d - 10. Let l be (2/d)/(5/45). Solve l = a + a for a.
3
Suppose 4*a - 5*r - 2 = 5, 3*a + 2*r = 34. Suppose 3*z + z - a = 0. Solve -4*y - z = 10 for y.
-3
Suppose -p - 1 = -4*h - 2, 0 = -5*h - p - 8. Let j be (35/(-21))/(h/3). Solve -12 = -j*o + 2*o for o.
4
Let i be 2/(-4)*2 - -53. Let g be i/9 + (-8)/(-36). Suppose 4*w = g + 2. Solve w*z = z - 1 for z.
-1
Let z(g) = -g**3 + 15*g**2 - g + 21. Let y be z(15). Solve -y = -2*l + 2 for l.
4
Suppose 4*k = -3*d + 4, -3 = -3*d + 2*k - 5. Let x(v) be the first derivative of -v**2 - 2*v - 2. Let g be x(-2). Solve d = -h - g*h for h.
0
Suppose f = -4*f + 15. Let i = 96 + -93. Suppose b - 2*o = -0*o + i, 4*o + f = b. Solve -15 + 6 = -b*w for w.
3
Suppose 0 = -2*z + z + 4. Solve z = -3*h + 1 for h.
-1
Suppose 12 = 4*c - 2*a, c + a - 3 - 6 = 0. Let i = 11 - c. Suppose 0 = 3*w - i*w. Solve -3*t + w*t + 9 = 0 for t.
3
Let s = 23 + -21. Suppose 0 = -4*c - s*b - b + 12, -5*c - 4*b + 15 = 0. Solve -3*j = -15 + c for j.
4
Suppose 0 = 3*t - 7 - 29. Solve -m = 3*m + t for m.
-3
Let u(y) = 6*y - 7. Let d be u(2). Solve -3 - d = -4*n for n.
2
Suppose 2*v + 7 = v - 5*w, -33 = -3*v + 3*w. Solve 3*m - v*m = 20 for m.
-4
Let v(s) be the first derivative of 3*s**2/2 + 3. Let n be v(3). Solve 0 = 2*i + 1 - n for i.
4
Let r(d) = d**3 + 4*d**2 + 2*d. Let b be r(-3). Suppose f = -b*f. Solve w + 4 = -f for w.
-4
Suppose -20 = -4*z - 2*l, -l = 5*z + l - 27. Solve -z = 5*d - 32 for d.
5
Let t(z) = -2*z - 7. Let d be t(-8). Suppose 0 = 4*q - 0*q + 88. Let x = 46 + q. Solve -5*g - d = -x for g.
3
Let f be 1/(10/(-6) + 2). Suppose 3*h = f - 0. Suppose 3*s - h = 23. Solve -5*z + 12 + s = 0 for z.
4
Let u(k) = -3*k - 1. Let q be u(-2). Let s = q - 3. Let n(x) = -x**3 - 7*x**2 - 8*x - 9. Let c be n(-6). Solve -m - c = s*m for m.
-1
Let t(k) = 2*k**3 + 4*k**2 + 2*k. Let g be t(-2). Let l be 5 + -1 + 4/g. Suppose -l*b - b = 0. Solve 3*y + y = b for y.
0
Let k(d) = -d**3 + 7*d**2 - 4*d + 8. Let h be k(6). Solve -4*j - h = j for j.
-4
Let u = -8 + 21. Suppose -18*p = -u*p - 35. Solve 2*k = 17 - p for k.
5
Suppose -5*k + 4*q = -3*k - 44, 2*k = -4*q + 36. Let f be (k/2)/(-1 + 2). Suppose -2*p - 5*l - 3 = 1, 0 = -3*p - 3*l + 3. Solve h + f = p*h for h.
5
Let z = 4 + -4. Suppose 0 = 5*o - 5, i + z*i = 5*o - 3. Let v(l) = 2*l + 2. Let a be v(i). Solve 4*r - a - 14 = 0 for r.
5
Suppose -i = 5*l + 7, 0*i = -5*i - 3*l + 9. Suppose -8 = -i*q + 1. Solve 10 = -q*n + n for n.
-5
Suppose -2*u + u - 2 = 0. Let d(p) = p**2 + 3*p + 5. Let i be d(u). Solve 4*y = i*y + 5 for y.
5
Suppose 0*t = -5*q - 2*t + 17, 22 = 2*q - 3*t. Suppose -3*i = -2*c + 2*i + 10, -q*i = -c. Suppose 3*r + 7 = -g - 3*g, 3*g = 3*r - 21. Solve r*f = f + c for f.
5
Suppose -2*f - 2 = -14. Suppose 0 = l - f + 3. Let m = -2 + l. Solve -4*o + 11 = -m for o.
3
Let s be (-3 - -4 - -1) + 2. Suppose -2*z = -s*z + 4. Solve h + 0 + z = 0 for h.
-2
Suppose 6 = -2*t - u - 3, 5*t - 2*u = 0. Let p be (0/(t - 1))/(-1). Solve 12 = -3*w - p for w.
-4
Let l(w) = w**3 - 10*w**2 + 10*w. Let y be l(9). Solve 7 = -4*c - y for c.
-4
Suppose 3*p - 4*v + 5 = -2, 10 = 2*p + v. Suppose -3*o - 4*b - 5 = -37, 0 = -3*o + 4*b - 8. Suppose p*t = o*t. Solve -4*g + 3 - 11 = t for g.
-2
Suppose 122 = 3*c + 119. Solve -2*b = -c - 9 for b.
5
Let x = 9 + -9. Suppose 4*v + 12 = -x*v - a, 0 = -v + 2*a - 3. Let m = -3 - v. Solve 2*j = -m*j - 10 for j.
-5
Suppose -3*j + 22 = -14. Let p = j + -7. Solve 0 = -p*b - 0*b - 5 for b.
-1
Let n be 2/3 + 62/6. Let t = -6 + n. Solve -3*r - t = 7 for r.
-4
Let s(y) = -y - 1. Let l = -26 + 16. Let t be s(l). Solve 5*d + 6 + t = 0 for d.
-3
Suppose x - 21 = -2*x. Solve 9 = 4*j - x*j for j.
-3
Suppose -9*y = -6*y. Solve -2*o + y*o = 0 for o.
0
Suppose n - 8 = -n. Suppose 0 = 3*p - 2*j - 13 + n, 2*p - 6 = 5*j. Let h = 3 - p. Solve -3 = -h*l - 3*l for l.
1
Suppose 5*y - 19 = -b + 25, 3*b + 4 = 2*y. Solve 4*u - y = -0*u for u.
2
Suppose -k + 6 = -2*h + 2*k, 0 = -h - k + 7. Suppose -l = 5*f + l, h*f - 1 = -l. Let c = 0 + f. Solve -5 = 3*g - c for g.
-1
Suppose -2*b + 18 = 4*u + 54, 16 = -2*b + u. Let z = b + 14. Solve z*y = y + 12 for y.
4
Suppose -f + 6 = -h - 5*f, -4*f = 8. Suppose -4*m + h*m = -32. Solve m = 4*o + 4 for o.
3
Let q be (-2 + 18/8)*0. Solve -j + 0*j = q for j.
0
Suppose -g = -3*q + 3*g + 1, -g = -5*q + 13. Let y be (3 - 1)*(-2)/(-1). Solve -q*o + y = -4*o for o.
-4
Let w = 5 + -2. Solve -28 = 5*x - w for x.
-5
Suppose 0 = r + 12 - 1. Let w be 1/(-1 + r/(-10)). Solve u + u = -w for u.
-5
Let b(s) = -s + 1. Let g(h) = -4*h + 5. Let l(c) = -6*b(c) + g(c). Let d be l(5). Solve -2*x - 1 = d for x.
-5
Suppose -2*t - 24 = -6*t. Let k(c) = c**3 + 8*c**2 + 6*c - 3. Let x be k(-7). Suppose g + x*g = 25. Solve 1 = -g*j + t*j for j.
1
Let h be 0 - (-3)/((-6)/(-32)). Suppose -h = -5*r + 84. Solve -q + r = 3*q for q.
5
Let n = -20 - -48. Suppose 0*q = 4*q - n. Let p be (-2 - -1)*-1 - 0. Solve 0 = 3*j - q + p for j.
2
Let v = -258 - -261. Suppose -3*j - 6 - 6 = 0. Let g(b) = b**3 + 5*b**2 + 5*b + 6. Let a be g(j). Solve v = -a