
4
Let i(n) = n**3 - n**2 + n + 22. Let d be i(0). Let q be 8*(-4)/40*-5. Solve d - 2 = q*f for f.
5
Suppose 5*v = 5*t + 25, 9 = -v + 4*v + 3*t. Suppose -v*s + 4 = -12. Let y = s - 2. Solve 3*k = -14 + y for k.
-4
Let t = 26 - 17. Let k = -15 - -21. Solve 3*q - t = k*q for q.
-3
Suppose -z = -6*z - 15. Suppose 0*k + 5*k = 2*q + 19, 2*k - 16 = 5*q. Let b = z + k. Solve b = -i - 2 + 3 for i.
1
Let l be (-2 - -2) + 1 + -23. Let a = 24 + l. Solve 0 = -a*y + 8 for y.
4
Let u be (-4)/(-8) - 3/(-2). Solve u = -x - 1 for x.
-3
Suppose 0 = 3*y + 4*v + 3, -y - 2*v = -v. Suppose -4*j = -y*j. Suppose j*f - 2*f = -16. Solve x - 3 + f = 0 for x.
-5
Let q = -2 - 0. Let x be 0 - (1 + -1 + q). Suppose 0 = 3*i + x*i - 2*v - 10, -v = 0. Solve -3 = i*a + 1 for a.
-2
Let y = 6 + -3. Solve 0*g - 3*g + y = 0 for g.
1
Let i be (-2)/(-6) + (-4)/(-6). Suppose -2*t + i = 3*l - 5, 3*l = -3*t + 12. Solve -2*s = -t*s for s.
0
Let p(t) = 2*t + 1. Let v be p(2). Let w(j) be the first derivative of j**4/4 + 2*j**3/3 - 2*j**2 - 1. Let d be w(-3). Solve v*g = d*g + 6 for g.
3
Let g be 1/(2/(1 - -3)). Let w(k) be the third derivative of k**6/120 + k**5/15 - 5*k**4/24 + k**3/2 - 3*k**2. Let r be w(-5). Solve g*j + 25 = -r*j for j.
-5
Let b(t) = -2*t**3 - 3*t**2 + t - 4. Let g be b(-3). Let p = 4 - 3. Let a = 1 - p. Solve g = -5*v - a for v.
-4
Let h(y) = y + 3. Let r be h(9). Let i(t) = -t**2 - 9*t + 3. Let p be i(-9). Solve 0*c = -p*c - r for c.
-4
Suppose 3*m - n - 40 = 0, -2 = 3*n - 4*n. Let k = m - 8. Solve -k = x + x for x.
-3
Let b = -16 + 30. Solve 4*m - 2 - b = 0 for m.
4
Let m(w) = -w**2 + 8*w - 7. Let q be m(6). Let g = q - -7. Solve -s = -5*s + g for s.
3
Suppose 3*d + z = -9, 0*z + 19 = -d + 5*z. Suppose -8 = -3*o + 13. Let a = o + d. Solve -a*f + 4*f = 4 for f.
4
Let u = 12 - 12. Let a(p) = p**2 + p - 1. Let k be a(-2). Let s = 0 + k. Solve u = o + s for o.
-1
Let l(x) = x + 16. Let f be l(-14). Solve -d = f*d - 15 for d.
5
Suppose -4*m + 2*c = 4*c + 8, -5*m + c + 4 = 0. Let n = 3 - 1. Suppose -j - n - 2 = 3*w, -4*w = -2*j + 32. Solve m = 3*v + j + 4 for v.
-4
Let s be (1 - 0)*(2 - 0). Suppose -s*h = 2*h + 16. Let w(r) = -4*r - 1. Let b be w(h). Solve 0 = 2*x + x - b for x.
5
Suppose 0 = 4*b - 14 - 2, -b + 4 = 2*z. Suppose z = r + r - 4. Solve r*n - 5*n + 12 = 0 for n.
4
Let x = 74 + -71. Solve 7 - 16 = x*b for b.
-3
Let u(l) = -l**2 + 5*l + 1. Let v be u(6). Let i = 46 + -51. Let c = i - v. Solve -4*r - r = c for r.
0
Let l = 3 - 3. Let g be l + 2 + -3 + 3. Let z(c) = c**3 + 4*c**2 - 5*c. Let t be z(-5). Solve t = 2*k - g - 8 for k.
5
Let q(x) = 17*x + 29. Let r(t) = 4*t + 7. Let m(h) = 6*q(h) - 26*r(h). Let s be m(-7). Solve -2*o = -4 - s for o.
5
Let z be 27/6*4/9. Suppose 2*y - 4*f - 4 = 8, -4*y - 3*f + 24 = 0. Solve z = -t + y for t.
4
Suppose 2 + 17 = -t. Let f = -19 - t. Solve f*u = -u for u.
0
Suppose -3*d - 24 = 2*h, 3 = -d + 1. Let f = -7 - h. Suppose f*z = 2*p - 4, 2*z + 0 + 1 = -p. Solve -p = -0*o + o for o.
-1
Suppose 4*l + 16 = 0, 0 = -4*p + 3*l - 14 + 34. Suppose -5*g = -3*j - 40, 3*g + p*j = 2*g + 8. Let u = g - 4. Solve -u*w - 2 + 6 = 0 for w.
1
Suppose 2*f + 5*w = 16, -2*w + 5*w = 2*f. Solve -k = f*k + 12 for k.
-3
Suppose 22 = 5*k - 4*b, -2*b - b = 4*k - 30. Suppose -s = -k*s. Let u(v) = 13*v**3 - v**2 - v + 1. Let z be u(1). Solve s*t = 4*t + z for t.
-3
Let v = -11 - -18. Suppose 2*f + 7 = g, -3*g - f + 20 = -6*f. Let b = v + g. Solve q + b = 4*q for q.
4
Let i(o) be the third derivative of o**6/120 - o**5/12 + 5*o**3/6 + 3*o**2. Suppose 0 = 2*q - q - 5. Let y be i(q). Solve 0 = 2*p - y*p - 9 for p.
-3
Let x(n) = -7*n**3 - 6*n**2. Let o(j) = j**3. Let h(b) = -6*o(b) - x(b). Let u be h(-6). Solve 0 = w - u + 1 for w.
-1
Let r(f) = -f + 4. Let m be r(4). Solve -4*b + 5*b + 3 = m for b.
-3
Let f = -3 - -2. Let q(d) = -3*d - 1. Let k be q(f). Let y(p) = p**2 + 6*p + 3. Let w be y(-6). Solve -w*o = k*o for o.
0
Let w(z) = z**2 + 10*z + 3. Let r be w(-10). Suppose -r*x = -4 - 5. Solve x*y = 4 - 1 for y.
1
Let v(j) = -3*j - 1. Let n be v(-3). Let a(z) = z + 9. Let w be a(-13). Let h be -2 + -2*(w + 3). Solve h*b + n = -2*b for b.
-4
Suppose 6 = 2*h - 3*u, 3*h - 2*u - 9 = 3*u. Suppose 7*n - 47 = -h*g + 2*n, -3*g + 2*n + 19 = 0. Solve -4*i + 20 = -g*i for i.
-4
Let q be -2 - (9/(-1 + -2) - 7). Solve -5*v - 17 - q = 0 for v.
-5
Let i be (3/2)/((-6)/(-16)). Suppose 5*l = i*l + 2. Solve 0 = l*g - g + 2 for g.
-2
Let l = 9 + -5. Suppose 3*o + 4*b - 75 = 0, 0*b = 3*o + b - 66. Let f = o - 19. Solve l*v = f*v - 8 for v.
-4
Suppose -2*d + 5*d - 6 = 0. Suppose -12 = -2*v - d. Let c = 2 - 0. Solve c*a + v = 7*a for a.
1
Let q(y) = -y**2 + 7*y - 3. Let r be q(6). Let c = 2 - 0. Suppose -5*w - 65 = -5*u, c*u - 11 = 2*w - r*w. Solve -u = -i - 3 for i.
5
Let l(c) be the third derivative of -3*c**4/2 - c**3/2 + c**2. Let v be l(6). Let g be 4/10 - v/15. Solve 0 = -t - 4*t + g for t.
3
Let r be 26/8 - (-1)/(-4). Let g be 12/r + 2 + -2. Suppose 0 = -3*h + 5*h - 3*t + 6, -2*t = -4*h - 4. Solve h = 7*f - 3*f - g for f.
1
Let i(b) = -3*b + 3 + 4*b - 2. Let w be i(3). Solve -w*c - 18 + 6 = 0 for c.
-3
Suppose -5*h = -6*h + 1. Let n be 6/(3 - 4 - h). Let l be 5 - n/(9/(-6)). Solve -3*t = l + 3 for t.
-2
Let t(m) be the third derivative of m**4/24 - 7*m**3/6 - 4*m**2. Let k be t(10). Solve -3*a = -6*a - k for a.
-1
Let q(f) = 4*f + 40. Let b be q(-9). Solve 6 = -2*u - b for u.
-5
Suppose -2*m = -3*p - 31, 2*m + 2*p - 27 = p. Suppose -1 - m = -5*v. Solve v*w = 4*w for w.
0
Let y be 26*((-6)/(-4) - 1). Solve -5*t + 38 = y for t.
5
Let v be (-6)/(-1 - (-2)/6). Suppose 0 = -4*w + v + 15. Solve w = 2*j + 2 for j.
2
Suppose 5*a = -2*k - 0*k + 20, 0 = -5*k - 5*a + 20. Solve k*l - l = 0 for l.
0
Let a(w) = -w + 7. Let f be a(5). Solve 0*g = -f*g - 2 for g.
-1
Suppose 0*p + 4 = 2*p. Suppose -2*f + 22 = -p*z, 3*z - 87 = -2*f - 3*f. Solve -f = 3*o - 0*o for o.
-5
Suppose 56 = 3*z - 5*c, -39 + 11 = -2*z + c. Suppose 0 = 3*u - 0*u - z. Suppose -2*m + u = -0*m. Solve -m*v = v + 9 for v.
-3
Suppose -u - 2*u = -27. Let f be (12/(-8))/(u/(-12)). Suppose -b + 5*b - 4*a = 12, f*b = 5*a - 6. Solve b*v + 5 = 2*v for v.
-1
Let o(p) = -4*p - 4. Let d be o(-4). Let r = d + -6. Solve -2*n = -r*n for n.
0
Suppose 2*k - 12 = -2. Suppose k*s - 9 - 11 = 0. Solve s*t - 3*t = 5 for t.
5
Let m(s) = s**3 + 7*s**2 + 5*s + 3. Let x be m(-6). Let u = x + -7. Solve u*l + 1 = 9 for l.
4
Let m(b) = 15*b**3 - 2*b**2 + b + 1. Let g be m(1). Solve -2*h + g = 3*h for h.
3
Let x = -38 + 47. Solve x + 11 = -4*p for p.
-5
Suppose t - v = -3, 2*v + 6 - 14 = t. Suppose 5 = t*d - 1. Solve 5*w + 2 = d*w for w.
-1
Let k be 4/6 - (-2)/(-3). Let j be 3/(-9)*k*-1. Solve 2*r + 0 + 2 = j for r.
-1
Let j be (2 - 2)/((-1)/(-1)). Solve 2*k + 0*k + 2 = j for k.
-1
Suppose -5*l - 20 = -l + 2*i, 0 = -l - 3*i - 10. Let j be (12/(-8))/(3/l). Let z = 3 + 0. Solve -j*p + 4 = -z*p for p.
-4
Let s be ((-25)/(-10))/((-2)/4). Let m = s - -8. Solve 2*k - m*k - 5 = 0 for k.
-5
Suppose 6*p - 50 = p. Let x(i) = -i**2 + 11*i - 10. Let k be x(p). Solve -8 = -k*g - 2*g for g.
4
Let f = -1 - -9. Suppose 2*y + f = 6*y. Let x be ((-21)/(-14))/(3/y). Solve 3 = -u + x for u.
-2
Suppose 4 = 6*j - 5*j. Solve 0 = j*z - 19 - 1 for z.
5
Let f be 3 + 3/(4 - 1). Let c be 5 - (-2)/f*-2. Solve u - 15 = -c*u for u.
3
Suppose 0 = -19*b + 20*b. Solve -s + 4 = -b for s.
4
Suppose f + k - 2 = 0, 19 = 6*f - 4*f - 3*k. Solve -f + 3 = g for g.
-2
Let n(l) = l - 2. Let i be n(4). Suppose 6 = -4*q + 2. Let h be 3 - (2 - (i - q)). Solve 0 = -5*u + h*u + 1 for u.
1
Suppose -3 = -g - 5. Suppose 0*p = 4*p + 24. Let i = g - p. Solve 9*m - 25 = i*m for m.
5
Let v = 19 + -9. Let h = v + -7. Solve 3*a - 2*a = -h for a.
-3
Let x be 12/10 - 2/10. Let z = x + -11. Let r = 22 + z. Solve q + r = -3*q for q.
-3
Let w(l) = -l**2 - 4*l + 14. Let o be w(-6). Suppose -f = o, -2*j - 3*f + 12 = -6*f. Solve 0*p + j = 3*p for p.
1
Let p = 9 - 6. Suppose 4*h = 4 + 8, 14 = v + p*h. Solve 2*i + v = -3 for i.
-4
Suppose 4*w + 3*o = 1, 2*w + 3*o + 2 = o. Suppose 8 = -3*y - w*h + 2, 5*h = -15. Solve -y*t = 2*t + 16 for t.
-4
Suppose 3*g - 61 + 1 = 0. Solve g = 3*d + 2*d for d.
4
Suppose 2*k + k = 15. Suppose -o + 4 + 1 = 3*m, 2*m = -4*o. Suppose -m*y - 2*v = 4, y + 3*v = -y - 9. Solve k - y = h for