for d.
-4
Suppose 31 = -2*i + 35. Solve 0 = -a - i - 3 for a.
-5
Suppose 56 = p + 54. Solve 2 = -h + p*h for h.
2
Let m = -4 + 4. Let n be (-2 - (-9)/6)*m. Suppose n*o - 6 = -3*o. Solve 0 = -o*d + 5*d - 12 for d.
4
Let k be -12*((-15)/6 - 0). Solve -4*h + 10 = k for h.
-5
Let f = 0 + 1. Suppose -7 = -2*s + f, -4 = -4*v - s. Suppose v = 2*c - 7*c. Solve 3*n - 10 - 2 = c for n.
4
Let o(c) be the first derivative of c**2/2 - 4*c + 6. Let n be o(8). Solve -n = 2*q + 6 for q.
-5
Let f(u) = -u**3 + u + 6. Let m be f(3). Let z = m - -43. Solve -z = 5*k - 0*k for k.
-5
Let j be (-48)/(-40)*5/3. Suppose 4*d = 3*o + 21, -4*d = d + 3*o - 33. Solve -j = -2*c + d for c.
4
Suppose -10 + 38 = 4*f. Solve -5*h - f + 2 = 0 for h.
-1
Let j(l) = l**2 + 7*l - 26. Let n be j(-10). Solve -15 = n*v + 1 for v.
-4
Suppose 0 = 3*f + 5*p - 10, -3*f + 4*p = -2*f + 8. Solve -10 + f = -2*d for d.
5
Let o = 5 - 1. Let t = -10 + o. Let z be (-1)/(-3) + (-16)/t. Solve -3 = z*q + 6 for q.
-3
Let b(h) = -7*h + 2. Let u(k) = -2*k**3 + 2*k**2 + k. Let x be u(-1). Suppose 7 + x = -5*r. Let p be b(r). Solve 3*z - p = -z for z.
4
Let x be 25/5 - (1 + 2). Solve x*p + 6 = 2 for p.
-2
Let c = -8 + 5. Let w be 3 - (c - -1 - -3). Solve -5*s - 3 = -w*s for s.
-1
Let p(b) = -b**3 - 3*b**2 - 2*b - 3. Let q(w) = w**2 + 3*w + 3. Let r be q(-3). Suppose -9 = 2*f - r. Let g be p(f). Solve g*s = -2*s for s.
0
Suppose 2 = -3*l + 2*l - m, l + 2*m = -5. Let n be (0 - 0)/(3 - l). Solve 3*s + s = n for s.
0
Let z(m) = -m**3 - m**2 + 3*m. Let u be (1 - 4/8)*-6. Let f be z(u). Solve -d - 2*d + f = 0 for d.
3
Let m be (-2)/(-8) + 23/4. Let c = m + -2. Suppose 3*j = -5*h + 32, -2 - 2 = 3*h - c*j. Solve 0*u - 12 = h*u for u.
-3
Let s(b) = -7*b**3 + b**2 - 1. Let o be s(-1). Let l = -1 - -3. Suppose -v = -4*v. Solve v = -l*x + o*x for x.
0
Suppose 2*d - 41 = -9. Suppose 13 = 4*y + n, 5*y + 3*n - 9 - 2 = 0. Let h = y + d. Solve c + 3*c = -h for c.
-5
Let w(k) = -k**3 + k**2 + 6*k + 2. Let h be w(-2). Solve h*n + 3 = -1 for n.
-2
Let d(a) = -13 - a + 5 + a - a. Let y be d(-8). Let n be (y + 2 + 0)*2. Solve -2*k - 6 = n for k.
-5
Suppose -2*w + 3*g - 6 = 0, -2*w - 4*g + 10 = 2. Let r be 6*(w + (-4)/(-6)). Solve -r - 1 = v for v.
-5
Suppose i + 0 - 2 = 0. Let u = 2 + i. Solve 5*r + u = r for r.
-1
Suppose 4*b - 2*b - 12 = 0. Let p(a) = 1 + 2*a + a - 4*a - b. Let s be p(-5). Solve s = -3*v - 0*v + 15 for v.
5
Suppose 2*j - 22 = -2. Let y = j + -7. Solve -y*q = -7*q for q.
0
Let r be -2*(9/6 + -1). Let z be 1 + r*(1 + -2). Solve i = 1 - z for i.
-1
Suppose -9*v + 5*v + 24 = 0. Solve 20 = -y + v*y for y.
4
Suppose -5*w - 4*s + 25 = -2*s, -5*w + 3*s = -50. Solve 4*a - w + 3 = 0 for a.
1
Let m(t) be the first derivative of -t**2/2 + 5*t - 1. Let f be m(5). Suppose 4*c - 3 = 9. Solve 0 = -c*u - f*u for u.
0
Let k = -17 - -21. Solve -2*f = -0 - k for f.
2
Let i(f) = f + 17. Let n be i(-8). Suppose -8*z = -n*z + 2. Solve 0 = 2*o - z - 0 for o.
1
Suppose 0*l = -l + 15. Suppose 2*m - i - 2 = l, 5*m = -i + 60. Solve 0 = 3*h + m - 2 for h.
-3
Let x = 64 + -63. Solve 5*s - x = -26 for s.
-5
Let k = 16 - 16. Solve f = -1 - k for f.
-1
Suppose -2*a = 3*d - 12, 2*a - 2*d - 1 = 1. Solve -y + a = -2 for y.
5
Let h = 22 - 9. Let i(b) = b**2 - 2. Let u be i(-2). Solve h + u = 5*x for x.
3
Let s(x) = 7*x**2 - 2*x. Let m be s(2). Suppose -2*l = l - m. Suppose -4*a + l = -8. Solve 10 = a*v + v for v.
2
Suppose -3*x - 3 = -15. Solve -x = -0*a - a for a.
4
Let y(o) = o + 2. Let z(p) = -p - 3. Let k(t) = -3*y(t) - 2*z(t). Let r be k(-2). Solve 0 = 3*q + r*q - 10 for q.
2
Let k = -14 + 14. Suppose 0 = -k*n + 3*n - 18. Solve 3*a - 5*a - n = 0 for a.
-3
Let y(r) = -2 + 0*r + 2*r**2 + 0*r + 5*r. Let h be 45/(-12) + 1/(-4). Let v be y(h). Solve v = 2*f + 3*f for f.
2
Let f(m) = -m + 13. Let c be f(9). Solve -c*x = x for x.
0
Let b = 20 - 16. Solve 2*s + 10 = b*s for s.
5
Let k(h) = 2*h**2 - 2 + 2*h - h**3 - 7*h + 8*h. Suppose -5*g = -0*g - 10. Let m be k(g). Solve 0 = m*c - 3*c for c.
0
Let l be (4/3)/((-12)/(-18)). Solve -l = -s + 3 for s.
5
Suppose -3*t - x = -1, 2*x = -2*t + 5*x + 19. Solve -7*s = -t*s for s.
0
Suppose -3*n + 25 = 2*n. Suppose n*j - 102 = -2*h, -4*j - 2*h = -0*h - 82. Solve 2*z = -3*z + j for z.
4
Let i be 48/(-36)*(-6)/4. Solve 4 = -i*a + 2 for a.
-1
Let s(k) be the first derivative of k**3/3 + 5*k**2/2 + 4*k - 1. Let g be s(-5). Solve -2*c - g = -0 for c.
-2
Let x(f) = -3*f - 4*f**2 + f**2 - 2*f + f**3 + 2*f. Let y be x(4). Solve -3*j + 3 = -y*j for j.
-3
Suppose -b - b = 0. Let y be b/(1/(-2)*2). Solve y = x - 2*x + 3 for x.
3
Let a(n) = -n**3 - 19*n**2 - 2*n - 35. Let m be a(-19). Solve m*f = 6*f + 3 for f.
-1
Let r(c) = -c**3 + 5*c**2 + 3*c - 2. Let s be r(5). Suppose 3*o - 1 = -s. Let p be (o/10)/((-5)/25). Solve -5*v = -p - 13 for v.
3
Let a = -18 - -20. Suppose 42 = a*o - 0*o. Solve 0 = -5*i + o - 1 for i.
4
Let q = 42 - 39. Solve -2*x + q*x - 3 = 0 for x.
3
Let f = 7 + -3. Solve -2*b + b = f for b.
-4
Let w = 4 + 0. Solve -w*x + 12 = -0*x for x.
3
Let t = -4 - -6. Suppose t*j + 16 = -3*c + 4*c, 4*j = c - 28. Let r(g) = -g**3 - 7*g**2 - 6*g. Let m be r(j). Solve -5*b - 4 + 14 = m for b.
2
Let p = 43 + -40. Solve 3 = p*x - 0 for x.
1
Let r = 18 - 17. Solve x = -0*x - r for x.
-1
Suppose -2*s - 15 = -5*s. Solve s*x + 12 = -3 for x.
-3
Let f(b) be the second derivative of b**5/20 - b**4/2 - 7*b**3/6 + 4*b**2 + 3*b. Let o be f(7). Solve -t + o = t for t.
4
Suppose 0*t = 2*t + 4*n + 18, -4*n - 24 = -4*t. Solve -3*i + 10 = t for i.
3
Let b be ((-2)/(1 + 1))/1. Let z be (-4 + -1)*1 + b. Let g = z + 6. Solve g*q - 4*q + 4 = 0 for q.
1
Suppose -140 = -4*x + 7*z - 2*z, 3*x + 2*z = 128. Suppose -3*u + 5 = -x. Solve u = -5*k - 0*k for k.
-3
Suppose 5*r - r = 0. Let q be 2/6*(9 - r). Suppose -q = 2*u - 5. Solve -u = a - 0*a for a.
-1
Let k be (-4)/(-2)*(-8)/(-2). Let v = k - 7. Solve 2*t = 3*t + v for t.
-1
Suppose -5*j + 5*x - 40 = 0, -2*j + 5*x - 5 = -4*j. Let v = j + 8. Solve -8 = m - v*m for m.
4
Suppose -5*a = -74 - 1. Solve 0 = 2*j - 7*j + a for j.
3
Suppose o - 3*m + 10 = 2*o, o - 10 = 3*m. Let q = o - 6. Suppose -q*b + 0*b + 3 = 3*l, 5*l + 9 = -2*b. Solve b*w - 6 + 3 = 0 for w.
1
Let o be -1 + (-4)/3*-6. Let m(i) = 2*i + 6. Let r be m(o). Solve r = -6*c + 2*c for c.
-5
Let z be 0 - ((1 - 2) + -2). Suppose s + z*f = -10, 4*s - f - 40 + 15 = 0. Solve -s*o = -2 - 8 for o.
2
Suppose 0*g + 5*g = 5*x, 4 = g + 3*x. Solve v + 1 = -g for v.
-2
Suppose x = -4*x - 160. Let z be x/(-20) + 2/5. Suppose 0 = i - 1, -5*s = -i - 3 + 4. Solve s*f = -z*f - 4 for f.
-2
Let p be 2/(((-5)/2)/(-5)). Suppose -2*o = 8, 4*k - 3*o = p + 16. Suppose 3*j = -k*g + j + 6, 5*g = -2*j + 18. Solve -15 - 1 = g*f for f.
-4
Let f(l) = l**3 + 6*l**2 - l - 1. Let w(d) = d**2 + 7*d + 6. Let s be w(-4). Let a be f(s). Suppose -3*o - 2 + a = 0. Solve o + 1 = q for q.
2
Let u = 83 - 80. Solve u*y = -17 + 5 for y.
-4
Suppose 5*a = 4*i - i + 6, i = -2. Let j = -11 + 14. Suppose 0 = -a*r + r - j. Solve w = -2*w + r for w.
1
Let v = -38 - -40. Solve -u = -v - 1 for u.
3
Let y(m) = 2*m**2 - 4*m - 12. Let u be y(-2). Solve 3 = d - u*d for d.
-1
Suppose 0 = -2*a - 3*b - b - 4, 4*a + 4*b = -4. Solve j + 0 + 3 = a for j.
-3
Suppose -54 = -11*m + 12. Solve -y = 2*y - m for y.
2
Suppose v = -4*s + s, 0 = 2*v - s. Suppose 7*w - 4*w = v. Solve -12 = 4*a - w*a for a.
-3
Let t = 8 - 6. Let d = -2 + t. Suppose -k = -d*k - 3. Solve -g - k = 1 for g.
-4
Suppose -4*f + 2*v - 21 = f, -5*v - 10 = 0. Let u be -2 - 6/(-2) - f. Solve 3*l + u = 21 for l.
5
Suppose -16 = -5*a + v, 0*a + 4*v = -a - 1. Solve a + 1 = o for o.
4
Suppose -7 = -4*u + 1. Solve -u*d - 2*d = -4 for d.
1
Let m = 3 - 1. Let d be 5*(-1)/(-5)*m. Solve l + 12 = -d*l for l.
-4
Let k(r) = -r**2 - 4*r + 5. Let c be k(-5). Solve c = -3*b - 2*b for b.
0
Suppose -12 = -2*k + 3*c, 0 = -4*k + c + 3*c + 16. Solve k - 4 = -2*m for m.
2
Let u(q) = q**3 + 6*q**2 + 5*q - 2. Let x be u(-5). Let c be 2/1*(-2)/x. Let v be (-4)/(-3)*3/c. Solve 8 = -4*k + v*k for k.
-4
Suppose 0 = -0*a - 3*a + 15. Let v = a + -3. Solve -w = w + v for w.
-1
Let m be 11/(-44) - (0 + 26/(-8)). Solve 0 = -3*u - m - 6 for u.
-3
Suppose 4*i + 2*w + 4 = 22, -3*i + 15 = w. Solve 11*b = i*b - 25 for b.
-5
Suppose v - 5 = -2*w, w + 5 = v - 3*w. Solve v*s =