lve w*k - 21 = -6 for k.
5
Let n(j) = j - 1. Let o be n(5). Suppose 0 = 3*b - 4*g + 2 - 5, 0 = -o*g + 12. Let r(z) = -z**3 + 4*z**2 + 5*z + 4. Let u be r(b). Solve y - 1 = u for y.
5
Let o = 5 + -2. Suppose -r - 9*q = -4*q + 10, o*q + 6 = 2*r. Solve x + 3*x - 16 = r for x.
4
Let l = 22 + -19. Solve l*v - v - 8 = 0 for v.
4
Let g be 4*(-2)/(-1 + -1). Suppose 4*b - 16 = -g*f, -12 = -b - 4*f + 4. Solve -3*n = -b*n - 3 for n.
1
Let k be 5/(5/3)*1. Solve k = -3*o - 0*o for o.
-1
Let g = 2 + 0. Let c(i) = 2*i**2 + 3*i + 4. Let a be c(-2). Suppose 2 + a = g*r. Solve -1 + r = -d for d.
-3
Let f(p) = -p**2 - p + 5. Let m be f(0). Suppose u - 4*q = -u, -u = 3*q - m. Solve u = a + 1 for a.
1
Suppose -3*q = -2*x - 21, 3*q - 4*q = 5*x + 10. Let j be (3/2)/((-1)/(-6)). Solve q*k = 2*k + j for k.
3
Let d = 0 - 5. Let i = d - -2. Let r be 1*(-3)/i*5. Solve r*h - h - 16 = 0 for h.
4
Let j be 3*7/((-14)/4). Let a = j + 10. Let v = -2 + a. Solve v*k = -k - 15 for k.
-5
Suppose 0 = -23*z + 24*z. Solve z = -4*i + i + 15 for i.
5
Suppose 12 = 3*m + 3*l, -6 = -0*m - m - 2*l. Let b = -1 + m. Let g be 54/24*4/3. Solve g*a = 2*a + b for a.
1
Let q(u) = -5*u + 8. Let z be q(4). Let i = 8 - z. Solve y - i = -3*y for y.
5
Let b(i) = i + 75. Suppose -2*k + 7*k = 0. Let u be b(k). Suppose -2*a = 3*a - u. Solve 4*r = a + 5 for r.
5
Let t(s) = -s**2 - 8*s - 4. Let i be t(-7). Suppose 5*g = i*g. Let p be 1 + 1 + -1 - g. Solve z + p = 3 for z.
2
Suppose -12 = -3*k - 5*l, l = -3*k + 4 + 8. Solve k*c + 2 = -10 for c.
-3
Let x be ((-8)/(-6) - 1)*0. Solve c - 2 + 3 = x for c.
-1
Let a(b) = -2*b - 6. Let t be a(-4). Solve -m = -t*m for m.
0
Let s = 10 - 5. Solve 2*i = s*i - 6 for i.
2
Let f(t) = 6*t + 4. Let c be f(-3). Let s be -3*(c/(-6) + -3). Solve -s*m - 20 = 3*m for m.
-4
Suppose -d = 2*j + 8, 2*d + 3*d + 10 = -4*j. Suppose o - 1 = d*q, -3*o + 8 + 5 = -q. Solve 0*i = -q*i for i.
0
Let a be 3/(-2) + (-1)/2. Suppose 2*b - 6 = -4*o, 2*o - 3*b = b - 2. Let v be (o/2)/(a/(-24)). Solve i = -v + 1 for i.
-5
Let o = -22 - -32. Solve -o = -r + 3*r for r.
-5
Let s = -47 - -47. Let j = 22 - 16. Solve q + 2*q - j = s for q.
2
Suppose p + 3*p = 0. Solve -k + p = -5 for k.
5
Suppose 3*a - 7*a + 8 = 0. Solve -a*i = -i for i.
0
Let o be 2/(-6) + 50/6. Let n be -3 + (1 - (5 + -2)). Let p be n/(-1)*(4 + -3). Solve p*j - o = 7 for j.
3
Let s(v) = -v + 9. Let t be s(8). Suppose -t - 5 = -2*j - 4*z, 9 = 3*j + z. Suppose 3*d = -g + 1, -3 = -g + j*d - 4*d. Solve -g*f = -f for f.
0
Suppose 3*s + v = 2, 0*s + 3*s - 2*v = 14. Solve -s*j = -6*j + 16 for j.
4
Let z(u) = u**3 + u**2 + u - 1. Let x(q) = -4*q**3 - 4*q**2 - 4*q + 3. Let i(w) = x(w) + 3*z(w). Let b be i(0). Solve -n = -b - 1 for n.
1
Let f = -9 - 6. Let x = f - -19. Solve -x = 3*z - 5*z for z.
2
Suppose 4*x - 2 = -b, 0 - 8 = 4*b. Let s be (x - 1)*(-1)/(-2). Suppose s = 3*g - 14 - 88. Solve -5*q - 9 = -g for q.
5
Let a be -6 + 2 + (2 - 0). Let k = a - -4. Suppose -2*y + 4*y - 6 = 0. Solve k*f + 5 = -y*f for f.
-1
Suppose 2*p + 38 = -12. Let t = p - -12. Let j = t + 21. Solve -4*y = -j*y + 8 for y.
2
Suppose -4*y + 4 = -4. Solve -2*l + l = -y for l.
2
Let x be -2 + 1 + (-15)/(-3). Suppose -3*a + x*g = -2*a - 3, 3*a - 3*g - 9 = 0. Solve 3*k - 9 = a for k.
4
Suppose -3*p + 4*p - 6 = 0. Let k be p/(-45) - 188/(-60). Solve -k*b - 2*b + 5 = 0 for b.
1
Let i be (2*-2)/((-10)/(-25)). Let n be 54/(-12)*i/3. Solve 5*a + 0*a = -n for a.
-3
Suppose -n = 3*n - 16. Suppose 8 = -3*a + n*o, 0 = -5*a + 3*o + 2*o - 10. Solve -2*m - 3*m = a for m.
0
Let i = -2 + -2. Suppose 18 = 3*j + 6. Let y = j + i. Solve -2*n = -y*n + 2 for n.
-1
Let c(u) = -u**2 + 3*u + 2. Let v be c(3). Solve -v*w + 1 = -1 for w.
1
Let h = 7 + -5. Solve 4*y = 3*y - h for y.
-2
Let h be ((-15)/(-2))/((-6)/(-8)). Let m(u) = u**2 - 4*u**2 + u + h*u**2. Let o be m(-1). Solve -6 = 3*v - o*v for v.
2
Let v = 24 + -22. Solve -v*w - 3*w - 5 = 0 for w.
-1
Suppose 3*d = d + 14. Let b(z) = -z**3 + 7*z**2 + 3. Let a be b(d). Solve -3*r + a = 9 for r.
-2
Let k = 2 + 0. Suppose q + k = 6. Solve -4*t + q = -8 for t.
3
Suppose 2*c - c = 5*x, 4*x = c. Suppose 5*s - 4*z = 108, 87*z + 94 = 5*s + 90*z. Solve -5*t + c*t = -s for t.
4
Let l(q) = -q**3 + 6*q**2 - 4*q - 1. Let w be l(5). Suppose z + 0 = 5*y - 2, -13 = -3*z - w*y. Solve -z*b - 8 = -7*b for b.
2
Let a(d) = -d**3 + 9*d**2 - 10*d + 2. Suppose 24 = 2*m - 2*j, -5*m + 3*j = j - 48. Let s be a(m). Let o be 7/s - 22/(-4). Solve o*g = 2 + 13 for g.
3
Let x(b) = b**2 - 4. Let z be x(-2). Solve -4*m + 25 - 5 = z for m.
5
Let l = 20 + -5. Solve 0*k - l = 5*k for k.
-3
Let q(z) be the second derivative of z**3/3 + 6*z**2 + 2*z. Let i be q(-6). Let g(m) = -m**2 + 7*m. Let r be g(3). Solve i = -2*u - 2 + r for u.
5
Let q(a) = a + 5. Let x be q(-5). Suppose -3*h - w = -34, -4*h + 8*h - 2*w = 52. Suppose -5*i = -7 - 3, -d + i = -1. Solve -d*t - t + h = x for t.
3
Let u(o) = 4*o + 94. Let y be u(-21). Solve 5*d - y*d = 25 for d.
-5
Suppose -4 = h + 5. Let y(c) = 2*c + 18. Let m be y(h). Solve -5*t = -m*t for t.
0
Let d be (0 - (0 + -3)) + 3. Solve -4*o - 2 - d = 0 for o.
-2
Let s(w) = w**2 - 5*w - 4. Let h be s(6). Solve 2*r + h*r = 0 for r.
0
Let h(m) = m**3 + 8*m**2 + 6*m - 3. Let i be h(-7). Solve 0 = o + i*o - 20 for o.
4
Let x = -2 - -2. Suppose 4*f - 16 = -2*c - 2, 2*f - 5*c = 25. Suppose x*b + 4*b - 2*u = 20, 3*b - 2 = -f*u. Solve 0 = -b*y - y for y.
0
Let s(f) = 1 - f**3 + 4*f**2 - f**2 + 5 + 2*f**2. Let p be s(5). Let i = p + -1. Solve 0 + i = -o for o.
-5
Let t = 175 - 173. Solve 0 = 5*s + t + 3 for s.
-1
Suppose -o + 55 = 5*l + 4*o, 4*l + 5*o - 47 = 0. Let d(r) be the third derivative of -5*r**4/24 - 2*r**2. Let f be d(-1). Solve -f*x - 7 = l for x.
-3
Let l(z) = z**2 - 7*z + 16. Let v be l(4). Solve 10 = v*i - 2 for i.
3
Let s(j) = -j**3 - 6*j**2 - 2*j - 8. Let t be s(-6). Suppose -t = 5*h - h. Let m = h - -1. Solve v = -3 - m for v.
-3
Let n = 10 - 6. Suppose 0 = n*i - 4*d + 4, 3*i + 5*d - 32 = -i. Suppose i = o - 12. Solve o = r + 4*r for r.
3
Suppose 0 = -5*a - 5*l + 25, -2*a + a + 2*l - 10 = 0. Suppose m + 2*v + 3 + 2 = a, m = -v - 1. Suppose 0 = -2*o + 34 - 14. Solve -2*h = m*h - o for h.
2
Let r be (29/(-3))/(-1) + 34/(-51). Solve 3*j - r = 6 for j.
5
Suppose -b + y + 2 = 0, 0 = 5*y + 6 - 31. Suppose -5 - 3 = -3*r - 5*n, -r = -5*n + 4. Suppose -16 = -5*d - r. Solve -d*u + 1 = b for u.
-2
Let p = 14 + -8. Solve -k - 3 + p = 0 for k.
3
Let r(b) be the second derivative of 0 + 5/2*b**2 + 1/20*b**5 + 3*b + 1/3*b**4 - 2/3*b**3. Let h be r(-5). Solve h*k = 2*k - 2 for k.
1
Let y be 3/(-3) - (-3)/(-1). Let x = y + 8. Solve 1 - x = -3*i for i.
1
Let v(t) = t**2 - 6*t - 5. Let l be v(7). Let q(o) = o**3 + 6*o**2 + 5*o. Suppose 0 = 4*f - 7*f - 15. Let b be q(f). Solve b - 8 = -l*y for y.
4
Suppose 2*n - 3*n - 2*n = 0. Solve n = -w - 0 - 3 for w.
-3
Let t = -7 - -14. Let c = -5 + t. Let m = 9 - 3. Solve -v - c*v - m = 0 for v.
-2
Let d = 9 + -2. Let r = 13 + -3. Solve -r = -d*n + 2*n for n.
2
Let g(t) = -3*t + 3. Let v be g(4). Let m = -3 - v. Let s(n) = n**3 + 5*n**2 + 3*n - 4. Let o be s(-4). Solve -3*k - 3 - m = o for k.
-3
Suppose 6*y = 3*y + 7*y. Solve 3*p - 4*p = y for p.
0
Suppose 0 = o - 3*s - 11, 4*o - o + 2*s = 0. Suppose 5*q = o*q + 75. Suppose -5*h + q = -0. Solve 5*i = 4*i - h for i.
-5
Suppose -3*z + 40 = -62. Let m = z - 18. Solve -4*o + 0*o - m = 0 for o.
-4
Let b be -2*2*(-3)/3. Let q(x) be the third derivative of -x**6/120 + x**5/20 - x**4/8 + x**3/3 + 2*x**2. Let l be q(2). Solve l = -w - b*w for w.
0
Let z be (1 + -2)*-1 - -11. Solve 0 = -7*h + 4*h + z for h.
4
Suppose -7 = -3*p + 2. Solve 2*b = -p*b - 5 for b.
-1
Suppose 4*o = -x + 1, x + 3*x - 18 = -2*o. Solve -t = -2*t - x for t.
-5
Let q = 24 - 14. Suppose 0 = 5*z - q. Solve -h = z*h - 12 for h.
4
Let n = 16 + -10. Solve -n = -0*j - 2*j for j.
3
Let m be (-10)/5 - 14/(-2). Suppose 6 = m*n - 3*n. Let j(g) = -g**3 + 5*g**2 - g + 3. Let b be j(n). Solve -5*a = b + 7 for a.
-5
Suppose 3*g - 2*u - u - 15 = 0, 0 = -4*g + 2*u + 26. Solve c + c = g for c.
4
Let l(o) = -o**3 - 25*o**2 + 26*o + 3. Let z be l(-26). Solve -2*a - 1 - z = 0 for a.
-2
Suppose 0 = 3*d + 13 - 28. Solve d*s = 1 + 9 for s.
2
Let b(m) = -m**2 - 8*m - 8. Let s be b(-2). Solve s*i - 2 = -22 for i.
-5
Let v = -35 - -20