
Let t = -14 + 30. Suppose -4*d + 31 = -3*c, 3*d = 2*c - 6*c - 8. Suppose d*m - m = 0. Solve m = -3*z - z + t for z.
4
Suppose -12 = 5*w - 42. Let k be (-4)/(-6)*w/4. Solve 2 = j + k for j.
1
Let w(u) = -u**3 + 36*u**2 - 35*u + 6. Let x be w(35). Solve -x*j + j + 15 = 0 for j.
3
Let b be 9 + -5 - (-4)/(-2). Let c = 2 - b. Solve c*m + 2*m = -10 for m.
-5
Let g(r) = r**3 + 7*r**2 + 7*r + 8. Suppose -12 = 2*q - 0. Let x be g(q). Let d be 1*(x/(-1) - -8). Solve -4*y + 6 = -d*y for y.
-3
Suppose 3 - 3 = -7*z. Solve -l - 4 = -z*l for l.
-4
Let g = 4 + -4. Suppose 4*k + 1 = 3*j, 4*j - 5*k - 4 = -k. Solve -j*h + 3 = -g for h.
1
Let w = -9 + 16. Solve -15 = -w*z + 2*z for z.
3
Let n(f) = -f**2 - 3*f. Let t(u) = 3*u**2 + 9*u - 1. Let g(x) = -7*n(x) - 2*t(x). Let q be g(-5). Solve -w = 3*w + q for w.
-3
Suppose -5*h + 125 = -0*h. Solve h = -0*k + 5*k for k.
5
Suppose 10 = 2*w - 7*w. Suppose -1 = 5*v - 4*v. Let t be (-1 - v)/(w/(-2)). Solve -2*u - u = t for u.
0
Let z = 29 + -26. Solve -11 = z*r - 2 for r.
-3
Let r(l) = -2*l - 3. Let d(s) = s**2 - 5*s - 9. Let m(q) = 2*d(q) - 7*r(q). Let v be m(-2). Solve 0 = v*g - 5 - 7 for g.
4
Let f = -15 - -23. Suppose 3*r - f - 6 = x, 3*r - 2*x = 19. Solve 6*m = r*m - 9 for m.
-3
Let z be (1/2)/(1/(-92)). Let h = z + 66. Solve -3*s = s - h for s.
5
Suppose 0 = 5*t + 4*w - 19, -4*t + 20 = 3*w + 5. Let y(z) = -2*z + 1. Let j be y(-4). Solve t*n = 6*n - j for n.
3
Let g(q) = q**3 - 10*q**2 + 10*q - 4. Suppose 2*y - 4*o - 2 = 0, -2*o = 4*y + y - 53. Let p be g(y). Solve -p*h + 1 = -4 for h.
1
Let w be 166/7 + (-6)/(-21). Suppose i + 0*i - w = 0. Solve -i = 3*r - 9 for r.
-5
Suppose -b = -4*s + 10, 7*s = 2*s - 5*b + 25. Solve -q + 4*q - s = 0 for q.
1
Suppose -3 = 2*m - 5, 5*j - m = 29. Solve -5 = j*d + 19 for d.
-4
Suppose -10*m = -m - 18. Solve -2 = -m*f - 6 for f.
-2
Let v(y) = y**3 - y - 2. Let n be v(0). Let d be ((-30)/12)/(n/4). Suppose d*b = -0 + 5. Solve 9 = -5*o - b for o.
-2
Suppose -3*n + 3*u + 6 = -9, 2*n - 4*u = 10. Solve -9 = -4*p - n for p.
1
Let h(f) = -f + 2. Let q be h(0). Suppose 1 - 9 = -q*i. Solve -2*c - 8 = -i*c for c.
4
Suppose 12*a - 4*a = 32. Solve 7 + 9 = -a*h for h.
-4
Let a be ((-6)/(-9))/(8/(-36)). Let p be 3*((-15)/9 - a). Solve 0 = -p*n - 2 - 2 for n.
-1
Let o(r) = -r**2 - 5*r - 1. Let q(w) = 4*w**2 + 2 + 6 + 15*w - 5. Let c(m) = -7*o(m) - 2*q(m). Let b be c(5). Solve 0 = -2*h + 5 - b for h.
2
Suppose 5 = -3*q - 5*m, 19*m - 24*m = 5*q + 5. Solve q = -3*x + 4*x for x.
0
Let b = -16 + 22. Solve -b = 5*v - 1 for v.
-1
Suppose -4 = -2*q + 2. Suppose -q*u = -0*u - 3. Suppose 5*v - 37 = 8. Solve -u - v = 2*s for s.
-5
Let s be 33/12 + ((-9)/12 - -1). Solve 0*u - 6 = -s*u for u.
2
Suppose 5*g - 1 = f - 21, -3*f - 4*g = -60. Let l be -1 + (-32)/(-6) + 3/(-9). Solve 0*s + f = l*s for s.
5
Let m be 1/3 - (-34)/6. Let j = m + -10. Let l = -4 - j. Solve l*a = a - 1 for a.
1
Let k = -20 + 25. Solve 0 = -6*o + k*o + 3 for o.
3
Let h be 162/(-12)*(-2 - 0). Suppose 3*o = -2*w + 24, -h = -3*o - 2*o + w. Solve -c + 15 = -o*c for c.
-3
Let z(f) = -f + 1. Let i be z(1). Let a = 0 + i. Solve -n - 3 + 6 = a for n.
3
Let u(p) = p**2 - p - 7. Let c be u(4). Solve -4*z - z = c for z.
-1
Suppose 0 = z + 3*z + 4*n + 52, -z + 5*n + 11 = 0. Let t = z + 7. Let v be ((-2)/t)/(5 + -4). Solve 2*q + v = 7 for q.
3
Let o(g) = -g**3 + 10*g**2 + g - 5. Let r be o(10). Suppose -5*y - 5*u = -15, 0 = -2*u + r*u. Solve -y*b = -14 + 2 for b.
4
Let t(i) = -i**3 - 2*i**2 - i - 1. Let c be t(-4). Suppose -4*n + 99 = c. Solve 3*m = -4 + n for m.
4
Let q = -16 - -27. Let w = -6 + q. Solve -w*b + 2 = -3 for b.
1
Suppose -2*b - 8 = -c, 3*c = -2*b + 6 + 2. Suppose c*r = 17 - 1. Solve 0*q = r*q for q.
0
Let q = 41 - 28. Suppose q - 38 = -5*v. Solve -l + v = 1 for l.
4
Suppose -f + u = 2*f - 27, 0 = 5*f + 5*u - 65. Suppose 0 = -y - f + 3. Let r = y - -11. Solve -d = -0 + r for d.
-4
Let n(h) = -2*h**3 - h + h + h - h**3. Let o be n(-1). Solve v - o = 2*v for v.
-2
Let m = -20 - -35. Suppose -13*j = -m*j. Solve j*p - 4 = -2*p for p.
2
Suppose -3*d - 2 = 5*k + 6, 4*d - 4*k - 32 = 0. Let x be 8 - (1 - d - -4). Solve -5*b - x = 3 for b.
-2
Let v(y) = 47*y**3 - y**2 - y - 1. Let b be v(-1). Let c be (-4)/14 + b/(-21). Solve -c*k - 4 + 0 = 0 for k.
-2
Let c(k) = -3*k + 54. Let x be c(18). Solve x = -5*q + q for q.
0
Suppose 39 = 3*m - 0*x + 5*x, -49 = -5*m - 3*x. Solve 2 - m = 2*k for k.
-3
Let j(v) = -v**3 + 11*v**2 + 13*v - 10. Let w be j(12). Solve 0*u = w*u for u.
0
Suppose 2 = j - 0. Suppose 0 = -0*c - j*c + 6. Solve 0 = -c*v + 2*v for v.
0
Let f(i) = -i**3 - 5*i**2 - 4*i + 5. Let s be f(-5). Let k be (-1)/(-2) + s/10. Solve 7*q - 12 = k*q for q.
3
Let r(l) = -l - 3. Let f be r(-5). Solve w + f - 5 = 0 for w.
3
Let s = 0 - 0. Suppose -3*x - 2 = 5*y - 0*x, 0 = -4*y - 2*x. Suppose -4*w - 15 = -q, y*w + 15 = -3*w. Solve -q*o - 15 = -s*o for o.
-5
Let m(l) = l**2 - 27*l + 41. Let b be m(26). Solve 3*c + 2*c - b = 0 for c.
3
Suppose 0 = -3*w + 6 - 6. Solve 0 = x + 4 - w for x.
-4
Let t be (2 - -3) + (1 - -1). Let r = -5 - -5. Let u be t - r - (-8)/4. Solve -3*c = -0 + u for c.
-3
Let u = 66 + -54. Solve -5*w - 3 = u for w.
-3
Let y = 6 + -3. Suppose y*n = n. Suppose 2*h + 6 = n, 2*k + 0*h + 15 = -5*h. Solve k = -x - x - 2 for x.
-1
Suppose -5*s + 28 + 7 = 0. Let n = s + -4. Solve -3 = -n*q - 6 for q.
-1
Let j be -2*-3*9/3. Let m = j - 12. Solve -p + m = 2*p for p.
2
Let s(z) = z**3 - 8*z**2 + 7. Let x be s(8). Suppose -3*i = -6 - 18. Suppose w - i = -3*w. Solve 5 = w*d - x*d for d.
-1
Let v = -6 + 6. Suppose -18 = -2*s + 3*q, v*s - 5*s = q - 11. Suppose -z = s*d - 0 - 3, -1 = 4*d + 3*z. Solve d*m - 4 = -0*m for m.
2
Let f(p) = p**3 + 3*p**2 - 3*p - 3. Let v = -8 + 5. Let y be v/(-1)*(1 - 2). Let i be f(y). Solve 0*d = -2*d - i for d.
-3
Let a(i) = -i**3 - 13*i**2 + 13*i - 11. Let r be a(-14). Solve -r*z + 2*z = 0 for z.
0
Suppose 0*b - 27 = 3*b. Let p(s) be the third derivative of -s**5/60 - 3*s**4/8 + 5*s**3/6 - s**2. Let k be p(b). Solve -k = -6*f + f for f.
1
Let q(a) = -a**2 - 11*a + 14. Let w(i) = i - 4. Let n be w(-8). Let r be q(n). Solve r*f = f for f.
0
Let s(f) = -7*f + 7*f - f - 4. Let z be s(-3). Let b be (2 + z)/(3/30). Solve 0 = -3*n - 1 + b for n.
3
Let n = 44 + -41. Solve n = -2*j - 1 for j.
-2
Suppose l = -u, 2*u + 20 = -l - 3*u. Suppose -2*d - 15 + 36 = v, 4*v - l*d = 58. Solve -v = -5*i - 2 for i.
3
Suppose -6*a + 5*p = -5*a + 11, -17 = -2*a - 3*p. Solve j - 3 = a*j for j.
-1
Let a(s) = s + 3. Let f be a(-1). Solve 15 = q + f*q for q.
5
Let b(s) = -s + 5. Let k be b(0). Suppose 2*n - 14 = -3*h, 2*n = k*h - 3*n - 15. Solve -6 = -h*v + 14 for v.
5
Suppose -4*n = -n - 6. Suppose 0 = 3*h - 5*h. Let x be 0 + (h - 0) - -20. Solve -x = -3*j - n*j for j.
4
Suppose -5*j + 25 = -d, 0*j - 4*j - 4*d = 4. Suppose -j*y = x + 9, -x - x = 2*y. Solve 0*m + 3 = x*m for m.
1
Suppose 0 = -7*q + 4*q. Let y = 7 - 5. Solve q = -y*n + 4 + 4 for n.
4
Let t(s) = -s**2 - 7*s - 7. Let c be t(-5). Let p(w) = 3*w + 4. Let y be p(c). Solve 3*j + 1 - y = 0 for j.
4
Let t be (-3)/(-6)*(4 + 0) - -2. Solve 0*l + t*l = 20 for l.
5
Let m(n) = n**2 + 9*n + 9. Let u be m(-8). Suppose -5*a - 2*h + 97 = 0, 6*a - 3*a + 4*h = 47. Solve -4*r + u = a for r.
-5
Let l = -4 - -4. Solve -2*h + l*h = -8 for h.
4
Let i = -11 - -12. Let l = 1 + i. Solve -3*g = -4*g + l for g.
2
Let j(r) = -r**2 + 2*r + 1. Let u be j(-1). Let g be u/(5/(-2) + 2). Solve -3*t - g = t for t.
-1
Let t(y) = 2*y**3 + y - 2. Let q(u) = -u**2 - 8*u - 5. Let w be q(-7). Let r be t(w). Solve 3*g = r - 4 for g.
4
Let f(d) = d**3 - 13*d**2 - 28*d - 22. Let m be f(15). Solve 9*q - 7*q = m for q.
4
Let m be (1 + 6/(-4))*(28 - 28). Suppose 4*l = -4*p - 12, 0 = 3*l - 2*l + 4*p + 18. Solve 0 = n - l - m for n.
2
Let g(r) = -r**3 + 21*r**2 - 21*r + 23. Let f be g(20). Solve 4 = f*s + 1 for s.
1
Let p(s) be the second derivative of s**3/6 - 2*s**2 + 3*s. Let k be p(0). Let w be k/(-26) + (-412)/(-26). Solve -w = 3*g + g for g.
-4
Suppose 4*z = 8*z. Let i be 32 + (1 + 5)/(-3). Suppose z*l - i = -3*l. Solve 3*b - 1 = -l for b.
-3
Suppose 4*x - 3 = -3. Let t be (-3 - -2)/((-1)/3). Solve x = t*r - r for r.
0
Suppose 0*k + 2*k = 4, -4*c - 4*k = -8. Solve c*m + m - 3 = 0 for m.
3
Suppose 0 = -h - 2*h + 21. Solve -4*k