20)/n)*-6. Solve 1 = 3*a - b for a.
1
Let d = -6 + 8. Let w(j) = j - 1. Let r be w(1). Suppose -2*b + 12 = b. Solve -d*k = -r*k - b for k.
2
Let s(q) be the third derivative of q**5/60 + 5*q**4/24 + q**3/2 - 5*q**2. Let i be s(-5). Solve 0 = -5*b + i + 2 for b.
1
Let i(u) be the second derivative of u**3/3 + u**2 + u. Let o be i(5). Solve -3*f + 0 = -o for f.
4
Let i(y) = y**3 + 8*y**2 - 2*y - 12. Let q be i(-8). Solve 0*j - q = -j for j.
4
Let m(q) = -2*q + 5. Let s be m(2). Solve n = 4 - s for n.
3
Let p = 12 + -6. Solve u = -2*u + p for u.
2
Let t(l) = -2*l**2 + 3*l + 5. Let n be t(0). Solve 0 = -r + n*r + 16 for r.
-4
Suppose 0 = 2*q - 4. Let p(j) = j**2 - j - 2. Let a be p(3). Suppose 0 = x - a*x. Solve y + x*y + q = 0 for y.
-2
Let q(a) = a**2 - 20*a - 44. Let d be q(22). Solve 2*l - 3*l + 1 = d for l.
1
Let o = 9 - 6. Solve -o*a + 2 + 1 = 0 for a.
1
Let q(d) = d**2 - d + 2. Let f be q(0). Suppose -8*l = -2*l. Solve l*i - 4 = f*i for i.
-2
Suppose -2*c = -3*r - 33, -2 - 1 = r. Let v be (6/4)/(c/32). Solve 0 = -q - v + 7 for q.
3
Let n = -4 - -7. Let s = 3 - n. Suppose s = -3*m - 2*m + 30. Solve -3*j = -m*j + 6 for j.
2
Let a be 8/(-12) + 64/6. Suppose -q + 10 = -a. Let h(l) = 3*l + 21. Let c be h(-7). Solve -w - 4*w + q = c for w.
4
Let g(s) = 2*s**2 - 2*s + 1. Let o be g(2). Solve -q = -o*q - 20 for q.
-5
Let o(c) = -c**3 + 3*c**2 - c - 2. Let m be o(2). Suppose m*b = 2*b. Suppose b = 5*j - 6 - 4. Solve j = k - 2 for k.
4
Let g = -4 - -7. Suppose -5*b + g*s - 17 + 5 = 0, -4 = b - s. Solve b = -2*l - 2 - 4 for l.
-3
Let g = -15 + 19. Solve j = g - 5 for j.
-1
Let k = -10 + -11. Let u = -17 - k. Solve 15 = -f + u*f for f.
5
Suppose 3*n + n - 4 = 0. Let t be -3 + 6 + 2 + 1. Let r = t + n. Solve 4*u = -r + 23 for u.
4
Let h(a) = a**3 + 2*a**2 - 5*a - 6. Let m be h(-3). Solve m = -2*b - 3 - 1 for b.
-2
Let v(m) = -m**3 + 15*m**2 + 5. Let z be v(15). Solve z*c - 1 = 24 for c.
5
Let s = -148 + 151. Solve -4*a - 9 = s for a.
-3
Suppose -6 = -a - 5. Solve k + a = 3 for k.
2
Suppose -3*z + z = 0. Suppose z = -i + 5*i - 8. Solve -3*l = i*l - 10 for l.
2
Let i be 416/12 - 2/(-6). Let s be (-14)/i*(-25 - 0). Suppose -y - 4*y = -s. Solve -4*d = -y*d for d.
0
Let i(p) be the first derivative of p**6/45 - p**4/24 + 4*p**3/3 - 2. Let m(h) be the third derivative of i(h). Let d be m(-1). Solve -d = -2*a + 3 for a.
5
Let z = -5 - -7. Suppose 48 + 94 = z*t. Suppose 0 = -f - 3*s - 0*s + 3, 0 = 5*f + s - t. Solve -3*a - f = -0*a for a.
-5
Let v(x) = -x**3 - 2*x**2 - x - 3. Let n be v(-3). Suppose -2*l - o + n = 0, 3*l + o = -2*l + 27. Solve -3*m - l = -6*m for m.
2
Let y = -33 + 33. Solve y*j = -3*j + 3 for j.
1
Suppose -6*z + z + 10 = 0. Suppose -z*h = -6*h. Solve 3*l + h*l = 6 for l.
2
Let w(x) = x - 7. Let o be w(12). Solve -o*n + 0 = -5 for n.
1
Suppose -2*d + 10 - 4 = 0. Suppose -5*w - 22 = -d*s, 0 = 5*s - 2*s + 3. Let p = w - -7. Solve p*f - 3 = 3 for f.
3
Suppose -5*t + 4*t + 4 = -3*x, -t + 14 = 2*x. Let l(v) = v + 2. Let d be l(t). Solve -d - 13 = -5*b for b.
5
Let t(g) = g**3 - 23*g**2 + 42*g + 4. Let v be t(21). Solve -5 = v*p - 3*p for p.
-5
Let h be (2/4)/((-2)/(-32)). Solve 3*a - 23 + h = 0 for a.
5
Suppose -5*g - 3*n + 12 = 0, -5*g + 2*n + 11 = -2*g. Suppose -5*p = 3*x - 2*x - 36, p + 2*x - 9 = 0. Solve -g*u = 2 + p for u.
-3
Let f be 1*(-9)/3 - -12. Suppose 0*y + y - f = -4*x, -4*y = 4*x - 12. Solve 7 = 3*l + y for l.
2
Let t(m) = -m - 1. Let f be t(-1). Suppose 3*c = -0*h - 3*h + 6, -4*h = 5*c - 13. Let u = 0 - h. Solve f = b - u - 2 for b.
5
Let d = -70 + 75. Solve -d*f + 3*f = 4 for f.
-2
Suppose -3*y - 2*q + 59 = 0, -3*y + 2*q + 16 = -27. Suppose -2*g = g - 2*b - 21, 5*b = -15. Solve -8 - y = g*w for w.
-5
Let c(f) = -f**3 + 4*f**2 - 4. Let g be c(3). Solve 4*t + t = g for t.
1
Suppose 4*o = o + 60. Suppose 4*b = 2*a - 6 + 22, -5*b - a = -o. Suppose -3*c + 12 = -0*c. Solve b = c*p - 4 for p.
2
Let a(y) = y - 7. Let z be a(9). Solve -3*b - 10 = z*b for b.
-2
Let o be ((-575)/92)/((-2)/8). Solve 0*k - 5*k = -o for k.
5
Let h(n) = n - 1. Let y be h(2). Suppose 2*a + 3*a - 790 = 0. Let r be a/22 + (-2)/11. Solve y = -2*s - r for s.
-4
Suppose 0 = 5*k - 5*v - 22 - 8, -4*v - 12 = 2*k. Suppose 16*a = 21*a. Solve 0 = -h - a + k for h.
2
Let n(z) = z**3 - 6*z**2 + 3. Let d be n(6). Let p be (d - 1)/(-4 + 6). Solve -2*m = -p + 5 for m.
-2
Suppose -2*d + 2*c + 0*c = -2, -4 = -2*d + 4*c. Let x = -102 + 105. Solve 0*p - x*p - 6 = d for p.
-2
Let h(n) = -n**3 - 7*n**2 - 7*n - 1. Let j be h(-6). Let z = 0 + 0. Let y be (z/(12/(-4)))/(-1). Solve j = -y*u + u for u.
5
Suppose -4*r - 1 + 5 = 0. Let f(g) = g**3 + 6*g**2 - 7*g + 2. Let w be f(-7). Solve -r = -a + w for a.
3
Suppose -d + 5*d + 2*s - 20 = 0, 5*s = -5*d + 30. Let j = 34 - 18. Suppose j + 44 = 4*u. Solve v + u = d*v for v.
5
Suppose -13 = 3*g - 19. Solve -6 = 2*y - g for y.
-2
Suppose 3 = 2*w - t, -2*w + 3*w + 4*t = 15. Let p = -11 - -23. Suppose y + w*y = p. Solve -7*a + y*a = -16 for a.
4
Let i be (6/9)/((-2)/72). Let d = i - -34. Suppose 0 = -3*w - 2*w + d. Solve 4 = -w*z + z for z.
-4
Suppose -4*j + 12 = -0*j. Suppose 2*q + 5 = j*q. Solve 4*d + 3 = -q for d.
-2
Let a(m) = m**2 + 17*m - 9. Suppose -69 + 15 = 3*l + g, -2*l + 2*g = 36. Let j be a(l). Suppose i + 1 = 6. Solve j - 4 = -i*q for q.
-1
Let l be -12*1/2*-1. Suppose 0 = -9*a + l*a - 6. Let j(h) = -2*h - 1. Let g be j(a). Solve 0 = -g*k + 15 - 3 for k.
4
Suppose 0 = 6*t - 10*t - 40. Let y = 12 + t. Solve -w - 3 = -y for w.
-1
Suppose 3*i + 3 = 12. Suppose -12 = -3*z - 4*a + 8, -5*z - i*a = -26. Let h = -2 + z. Solve h*x - 3*x = 3 for x.
-3
Let f = -9 + 11. Solve f*k = 16 - 6 for k.
5
Let f = -2 + 1. Suppose a - 60 = 4*z, -4*a = z - 6*a + 15. Let h be ((-8)/(-10))/(f/z). Solve c + 3*c = h for c.
3
Let k = 0 - 0. Solve k = -0*o + o - 2 for o.
2
Let m(b) = -b**2 - 4*b + 7. Let h be m(-5). Suppose 0*a - h*a = 0. Suppose -4*v = v. Solve -3*r + v + 9 = a for r.
3
Let a = 12 - 7. Let b be (a/15)/((-1)/(-9)). Suppose 0 = -4*m + 1 + b. Solve -c + m = 2 for c.
-1
Let o be 3*(2 - (-3)/(-3)). Suppose -4*j + 3*c = j - 63, -4*j + 51 = -o*c. Solve 0 = -3*s - s - j for s.
-3
Let f(o) = 8*o - 15. Let j(r) = -7*r + 14. Let z(q) = -6*f(q) - 7*j(q). Let b be z(6). Let s be (-1*1)/(b/6). Solve u + s = 2*u for u.
3
Let j be (-6)/(-9) - 40/(-36)*3. Solve -j*l - 8 = 4 for l.
-3
Suppose 0 = 2*w - 2*o + 6, -5*w + 0*o - 2*o + 6 = 0. Solve -3*h = -w - 9 for h.
3
Let u(d) = 6*d**2 + 2*d + 1. Let f be u(-1). Let o = 11 - f. Solve 9 = -3*s + o*s for s.
3
Suppose -7 + 15 = 4*b. Suppose 2*v = -b*v. Solve v = -a - a for a.
0
Let r = 12 + -15. Let d be (r/(-5))/((-2)/(-10)). Solve 5 = -d*m - 10 for m.
-5
Suppose 3*p + 1 = -4*r, -4*p - 4 - 6 = r. Solve -j + 2 = -r for j.
4
Suppose 2*s + 0*f + 4 = 2*f, 0 = -s + 5*f + 14. Let j be (-52)/6 - (-6)/9. Let n = s - j. Solve 0 = -n*b + 1 + 1 for b.
1
Let s be ((-117)/(-36))/((-2)/(-8)). Let i = 50 + -21. Solve -4*u - i = -s for u.
-4
Let s = 4 - 6. Let i be 0 + (-6*1)/s. Let r = -5 - -7. Solve 0 = i*z - z - r for z.
1
Suppose -5*h = -3*h - 20. Solve 0 = 2*k + h for k.
-5
Let x be 4/(-3)*3/(-2). Suppose -t - 2*i = -0*i, -i + 9 = x*t. Suppose -u = 2*u - t. Solve u*l + 3 = -7 for l.
-5
Let l = -104 - -110. Solve 4*x + 6 = l*x for x.
3
Let r(c) = c**3 - 5*c**2 + c - 1. Let l be r(5). Let f be l/6 + (-16)/(-3). Solve 8*t = 5*t - f for t.
-2
Suppose -2*a + 3*t - 65 = 0, 0 = 3*a + a + 4*t + 100. Let u = a - -30. Solve 0 = d + 3 + u for d.
-5
Suppose 0 = -t + 4*t - 9. Let y be -26*((-3)/2)/t. Suppose 4*g = 4*v + 1 - 9, -y = -3*v - 4*g. Solve -2*w + v = 9 for w.
-3
Let o(n) = 5*n**2 + 21*n. Let h be o(-5). Solve -3*m = m + h for m.
-5
Suppose 2*z + 20 = 30. Solve -z*p + 6 - 1 = 0 for p.
1
Let z(x) = x**2 + 1. Suppose -4*p + 5*p - 2 = 0. Let q be z(p). Solve -q*j + 2*j = 15 for j.
-5
Let h(q) = q. Let y be h(-1). Let b = -3 + 4. Let f = b - y. Solve 3*a = f*a for a.
0
Let s be (3 - 4) + (0 - -3). Suppose -s*k + 10 = -0. Solve -3 = l - k for l.
2
Let z be (-6 - -2)*(0 - 1). Suppose 2*g - z = 0, -3*m + 0*g - 3*g + 6 = 0. Solve m = t + 4*t + 20 for t.
-4
Let m be ((-4)/6)/((-8)/36). Let h be 3/(-9) - (-37)/m. Solve 5*f = 2*f + h for f.
4
Suppose -l - 5*t + 29 = 0, -2*l + 4*t - 40 = -7*l. Solve l*y - 8 = 4 for y.
3
Suppose -l = -3, -5*l +