 for d.
-4
Let v = 9 - 8. Suppose -4*i + 5*u = v + 3, 0 = 3*i + 3*u - 24. Solve i*z + 15 = -z for z.
-3
Suppose -2*d - 1 = j, -2*d - 2*d - 7 = j. Suppose -227 = -j*i - 82. Let o = 2 + 7. Solve -o = -4*k - i for k.
-5
Suppose -13 = -3*o - 4. Let d(u) = u. Let g(f) = -5*f. Let w(s) = -35*d(s) - 6*g(s). Let m be w(-2). Solve -o*b - m = -1 for b.
-3
Let t = 8 + -13. Let d = t - -8. Solve 4*k = -9 - d for k.
-3
Let a(o) = -o**2 - 3*o + 5. Let n be a(-4). Suppose 5*q - 16 = -n. Solve 0 = -0*t + q*t - 6 for t.
2
Let o be -2 + -51*(0 + 3). Let l = -475 - o. Let n be 2/11 - l/55. Solve 3*j = -0*j - n for j.
-2
Let s be 1 - (4 - 2) - -3. Let l be (-1 + -2)/(-3 - -2). Let d = s + l. Solve 4 = -d*g - 1 for g.
-1
Let p = 11 + 3. Solve 0 = -4*t - p - 6 for t.
-5
Let k be -10*(-4)/24*3. Let g(i) = 2*i - 9. Let p be g(k). Solve 2*a = 3*a - p for a.
1
Let c(s) = s**2 + 5*s - 8. Let x be c(-6). Let w(h) = -2*h - 2 + 2*h - h**3 - 3*h - 2*h**2. Let q be w(x). Solve -q*j + 6 = -2*j for j.
3
Let s(u) = u**2 + 8*u + 3. Let v be s(-8). Solve -v*o + 4*o + 3 = 0 for o.
-3
Let l = -84 - -90. Solve -l*n - 10 = -n for n.
-2
Suppose -4*s = -11*s + 28. Solve 0 = s*f - 3*f for f.
0
Let z(v) = v**2 + 6*v - 3. Let a be z(-6). Let w be (6*-1 + 3)*a. Solve -5*b + w = 24 for b.
-3
Suppose 4*c = o + 2 - 0, -4*o + 3*c = 8. Let h be (-1)/((o/(-4))/(-1)). Solve 0 = j - h*j + 5 for j.
5
Let g = 13 - -7. Solve 0 = -a - 3*a + g for a.
5
Let z(g) = g**3 + 7*g**2 - 10*g - 9. Let n be z(-8). Let t be (0 - 5)*8/10. Let q = n + t. Solve -q*v = -0*v - 15 for v.
5
Let b be 25 + -2 - (-1 + 3). Suppose 4*t = 4*f + b - 5, 8 = t - 2*f. Solve 5*c + 2 + 8 = t for c.
-2
Suppose -34*k = -36*k. Solve k*d - 10 = 2*d for d.
-5
Let f(l) = -l**3 - 2*l**2 - l. Let j be f(-2). Let c(y) = -y**2 + 13*y - 9. Let h be c(12). Solve -j*u = u - h for u.
1
Let w(g) = 4*g**3 + g - 2. Let m be w(2). Let l be (m/5)/((-4)/(-10)). Solve 0 = -5*x + x + l for x.
4
Let s = 12 - 4. Solve 5*m - s = m for m.
2
Let b = -32 - -48. Let j be (-3)/15 + (-105)/(-25). Solve b + 0 = -j*c for c.
-4
Let q(p) = -p**2 + 10*p - 17. Let v be q(7). Solve -20 = -0*c - v*c for c.
5
Let d(z) be the third derivative of -z**6/120 + z**5/60 + z**4/8 - z**3/3 - z**2. Let j be d(2). Solve j = -2*s - 0 - 4 for s.
-2
Let i be (-4)/(-8) + (-130)/(-4). Let l = -11 - -16. Solve 8 - i = -l*v for v.
5
Let y(x) be the first derivative of x**3/3 + x**2/2 - 1. Let v be y(-2). Suppose -21*a + 217 - 70 = 0. Solve v*l - 5 = a*l for l.
-1
Let y be (4/((-12)/15))/(-1). Solve y + 3 = 4*m for m.
2
Let x(f) = -f**3 + 9*f**2 - 8*f + 4. Let u be x(8). Suppose -m + u = 0, 0 = -2*v - 2*m + 22 - 8. Solve v*t - 5 = -2 for t.
1
Suppose v = 4 - 7. Let t = -11 + 16. Let h = t + v. Solve -3*i = 1 + h for i.
-1
Let t(q) = q**2 + q + 3. Let d be t(0). Suppose -h + 11 = 2*b, 3*b = 5*b + d*h - 21. Solve b*k + 20 = -k for k.
-5
Let y = -14 + 16. Solve -3*c + c - y = 0 for c.
-1
Let c(s) = -5*s**2 - 1. Let j be c(-1). Let a be (1 - 1)*3/j. Let v = 8 + -6. Solve a = 2*y - v - 6 for y.
4
Let r be (-1*3/(-1))/1. Solve -6 = 3*m - r for m.
-1
Let c = -5 - -9. Suppose -c*t - 4 = 0, -4*w + 0*w - 4*t + 44 = 0. Solve -3*z + 0*z = w for z.
-4
Suppose -2*y = 2*y - 20. Solve -7 - 3 = y*f for f.
-2
Suppose -4*o = -2*o. Let j(k) = k**2 - 9*k + 1. Let l be j(10). Let v be l - (4 + (2 - 5)). Solve 2*s = -o + v for s.
5
Let a(k) = -k**3 - 8*k**2 - 7*k + 14. Let n be a(-7). Solve -n = 3*b + 1 for b.
-5
Suppose -4*o - 3*i = -4*i - 29, -o - i + 1 = 0. Suppose o*j = 2*j. Solve r = -j*r - 1 for r.
-1
Let m = 29 - 27. Solve -n = -m*n for n.
0
Suppose 0 = 3*z + z + 4. Let a be ((0/z)/3)/2. Let d be 3/3 + a + 1. Solve 0*r = -r + d for r.
2
Suppose -3 = -2*l + 7. Suppose q - 5 = h, -l*h - 13 = 2. Solve 4 = q*d - 0*d for d.
2
Let d be -4*(-9)/6 - 2. Let l be (-2)/d*-26 - 1. Suppose 2*a + 4*k - 10 = -0*k, 0 = -2*a - 2*k + l. Solve -2 = -m - a for m.
-5
Suppose 0 = -2*k - 0*k. Suppose k*v = v - 1. Solve 4 = 3*n + v for n.
1
Suppose 0*n - 3*n = 0. Suppose -4*m + 9*m - 270 = n. Suppose m = 4*i - 0*i + 5*d, -3*i + 39 = 3*d. Solve -2*f - 3 = -i for f.
4
Let q = -10 + 14. Suppose -20 = -u - 4*u, -q*n + 24 = 3*u. Solve -n*j - 2 = 1 for j.
-1
Suppose v - 4 - 1 = i, -4*i + 16 = 0. Suppose -2*b + 9 = m - 0*b, -v = 4*m - b. Let x = m - -3. Solve x = 3*s - 4*s for s.
-2
Suppose -l = -4*l. Let f be 333/36 - 1/4. Solve -3*i - f = -l*i for i.
-3
Let a = 22 + -14. Let p = 100 - 96. Solve -a = -p*x - 0*x for x.
2
Let l = 11 + -18. Let r be (-5 + 9)*l/(-4). Solve -r - 3 = -2*q for q.
5
Let v be (-51)/(-12) - 1/4. Let w be (-1)/v + 7/(-4). Let y be -3*(6/9)/w. Solve -4 = -r - y for r.
3
Suppose 0 = 3*l + 5*a - 80, l - 5*a - 8 - 12 = 0. Let i = l + -17. Let h be (-36)/i*(-4)/3. Solve h + 3 = 3*j for j.
3
Let f = 2 + 2. Let k be (-44)/(-7) + (-2)/7. Suppose 4*a + 2 = k*a. Solve 3*v - a = -f for v.
-1
Let i(p) = -p**3 - 7*p**2 - 4*p + 13. Let y be i(-6). Let w be 6/(-15) - (-24)/10. Solve y = 3*m - w for m.
1
Let p = 44 + -14. Suppose 2*z + 3*z - p = 0. Solve z*q - 3*q = 0 for q.
0
Suppose 49 = n - 5*l, 4*n = -3*l + l + 86. Suppose 2*s = 2*b - 16 - n, 2*b - 5*s = 52. Solve -w - 3*w = -b for w.
4
Let a = 143 + -143. Solve 5*o + a*o = 0 for o.
0
Suppose -10*y + 13*y = 0. Solve y = -h - 2 - 2 for h.
-4
Suppose -4*d - 3 = -5*d. Solve -13 = 5*m - d for m.
-2
Suppose 2*t = b + 23, 3*b - 41 = -8*t + 4*t. Solve 4*f + t = 27 for f.
4
Let p = 136 + -130. Solve 0*a - p = -2*a for a.
3
Suppose 0 = 2*p - 4*u + 8, 2 = u - 0*u. Suppose -a = -p - 4. Solve 0 = 3*f - a*f for f.
0
Suppose 4 = j - 0. Suppose j*g - 46 = 2*a, -5 = -a - 2*g - 36. Let m be (0 + 1)*a/(-3). Solve 3*t = 6*t - m for t.
3
Let f(p) = -5*p - 1. Let z(q) = -9*q - 2. Let s(a) = 7*f(a) - 4*z(a). Let l be s(5). Suppose -4*o - l = -o, -2*o = -5*i + 14. Solve h + i*h = 0 for h.
0
Let z = -5 - -10. Suppose 2*a = -3*a + 230. Let d be (2 - 3)/((-2)/a). Solve -2 = z*f + d for f.
-5
Let f(k) = -k - 4. Let r be f(-6). Solve 0 = -3*v + 2*v + r for v.
2
Let n = 42 - 42. Solve 1 + n = -w for w.
-1
Let p(f) = f**2 - 9*f + 12. Let l be p(8). Solve -4*n + l = -12 for n.
4
Let q(j) = -j. Let n be q(-7). Let m(o) = -o**3 - 3*o**2 + 5*o + 3. Let k be m(-4). Let g = n + k. Solve -g = w + w for w.
-3
Let m be (-3)/(-3)*(0 - -1). Let t be m - -3 - (2 + -3). Let d(f) = -f**2 - 5*f + 2. Let c be d(-5). Solve -c*j - t = 3 for j.
-4
Suppose -10*q - 21 = -13*q. Solve q = -5*h - 18 for h.
-5
Suppose 0*w = -2*w. Suppose 3*z = 5*v, -4*v + z = -w*v. Suppose 3*b = 2*d - v*b - 13, 5*d + b = 41. Solve -6*p + 2*p + d = 0 for p.
2
Let f = 11 + -9. Solve f*a = -2*a for a.
0
Let x be 0/(-1)*(-2)/6. Suppose x*q + 9 = q. Let f = q - 9. Solve f = -t - t for t.
0
Let y = -8 + 9. Solve 9 = 5*v - y for v.
2
Let v be 2/4*(-8 - -10). Let n be 2 - (3 - (5 - v)). Solve -2*u - 10 = n*u for u.
-2
Suppose -13 = 4*t - 5*t - 2*g, 0 = -t + g - 2. Let h be 3/1 - (t - 0). Solve 4*f + f - 20 = h for f.
4
Let n(y) = -y**2 - y + 4. Let a be n(3). Let b = a - -11. Solve k - 20 = -b*k for k.
5
Let n be (-3)/(-2) - (-12)/24. Let l be (-2)/10 - (-2)/10. Suppose l = -a - 0*a. Solve -5*d - n - 8 = a for d.
-2
Suppose 8*v - 58 + 10 = 0. Solve 0 = v*w - 2*w for w.
0
Suppose 0*v + 12 = 4*v. Suppose -f - 3*n = -10, -2*n = 2*f + 3*n - 18. Solve -v*r = -r - f for r.
2
Let k(f) = f**3 - 3*f**2 - 2*f - 2. Let g be k(4). Let v(s) = -2*s. Let j be v(1). Let c be j + 21 - (4 + -3). Solve 3*h - c = -g for h.
4
Let o(z) = -z**2 - 5*z - 6. Let n be o(-3). Solve n = d + 4*d - 10 for d.
2
Let m be 0/(-1) - (-7 - -6). Let v = 4 - m. Suppose -9 + 4 = -z. Solve -v*n + 10 = -z*n for n.
-5
Suppose 13 = -n + 15. Solve n = -b + 2*b for b.
2
Let a be 7*((5 - 1) + -3). Suppose -3*q + c = -a*q + 44, -3*q = -3*c - 48. Solve 0 = 3*h - 0*h + q for h.
-4
Let t(f) = 2*f**2 + 2*f - 1. Let l be t(1). Let h = -27 + 29. Solve 3*n + l = h*n for n.
-3
Let u = 63 + -63. Suppose 3*j = -3*q + 9, 3*j - j = -3*q + 4. Suppose -2*t + 5*t - 15 = 0. Solve t = j*o - u for o.
1
Let n = -7 - -25. Let z be 4/n - 48/(-27). Solve 12 - 2 = -z*j for j.
-5
Suppose 4*w = 6*w + 14. Let b(h) = -h - 3. Let a be b(w). Solve 0 = -2*c + a + 2 for c.
3
Let j be (-144)/15 - (-6)/10. Let m = j + 14. Solve 0 = d - m*d + 20 for d.
5
Suppose 0 = -y + 172 + 56. Let d be (y/(-16))/((-1)/4). Suppose d = 4*p -