g*k + 2 for k.
-1
Suppose 48 = 7*r + 20. Suppose -r = -2*t - 4*o + 4, o = 4*t - 16. Solve 3*u = t - 10 for u.
-2
Let p = 177 + -175. Solve -p*r + 6*r = 0 for r.
0
Let b(q) be the third derivative of q**5/40 + q**4/8 + q**3/3 + 5*q**2. Let x(z) be the first derivative of b(z). Let p be x(3). Solve -4*o = -0*o - p for o.
3
Suppose -q - g = -24, -q + 2*g = -3*g. Suppose 6*j = j + q. Suppose 3*t - j*z = 6*t - 26, 5*t - 35 = -5*z. Solve 0 = t*w + 1 - 7 for w.
3
Suppose -43*h + 36 = -34*h. Solve -3*t = -5 - h for t.
3
Suppose 13*x = -8 + 190. Solve x*i - 21 = 21 for i.
3
Let d(p) = 3*p**2 - 25*p - 24. Let n be d(-1). Solve -3*o = -2 - n for o.
2
Let m = -14 - -5. Let o be 2/m + 6/27. Solve 0 = -o*f - f for f.
0
Suppose 2*b = 2*k - 2*b - 16, -46 = -5*k + 4*b. Solve -4 = -2*l - k for l.
-3
Suppose -25 = 3*j + 2*j, 0 = 3*n - j - 5. Let z be (n*(-3)/(-6))/(-4). Let y = 11 + z. Solve -36 = -5*u - y for u.
5
Let g be -1 - -8 - (5 - 2). Suppose 0 = -t + g*v - 2, -13 - 1 = -5*t - 4*v. Solve 0 = 3*z - 4 - t for z.
2
Let r = 1 + 0. Suppose -290*u = -294*u. Let p(g) = g**3 - 5*g**2 - 8*g + 12. Let b be p(6). Solve b = -m - u*m - r for m.
-1
Let l be 5 + 6 - 12/3. Solve -g + 6 = -l*g for g.
-1
Let h be -1 - (2 - 1) - -26. Let g = h + -19. Let t be (-2)/(((-30)/9)/g). Solve -r - t*r = 0 for r.
0
Suppose 10*a = 11*a - 3. Solve -6 + a = j for j.
-3
Suppose -15*w = 6 - 156. Solve 15*c - w*c = 5 for c.
1
Let x = -80 + 78. Let n(i) = 5*i**2 - 7*i - 14. Let u be n(x). Solve -l - u = -5*l for l.
5
Let t be 4 - 0 - (-48)/(-2 + -1). Let d be 25/(-5)*1*t/15. Solve 4 + 8 = -d*s for s.
-3
Suppose 5*h + 169 = -f, -118 + 426 = -2*f - 4*h. Let a = f + 167. Solve -5*t + a = 8 for t.
3
Suppose 19*d = 12*d + 119. Solve 25 + 60 = d*x for x.
5
Let j = 16 - 8. Let o = -8 + j. Let s be 1/(((-65)/(-50))/13). Solve 8*g - 3*g - s = o for g.
2
Suppose 4*s = 3*b - 24, b + 3*s + 0 - 8 = 0. Solve -b = 4*h + 4 for h.
-3
Let h(p) = 7*p**3 + p**2 + 4*p - 10. Let o(z) = 15*z**3 + 3*z**2 + 8*z - 20. Let s(j) = 13*h(j) - 6*o(j). Let f be s(5). Solve -2*q = f - 0 for q.
-5
Let v = 264 - 254. Solve v = m + 7 for m.
3
Let v(n) = -n**2 - 8*n + 8. Let h be v(0). Solve 7*q - 11*q + h = 0 for q.
2
Let w(s) = 3*s**3 - s**2 + s + 3. Let m be w(-1). Let c be m/(-4) + 29/(-58). Solve -p - 1 = -c for p.
-1
Let g be ((-21)/35)/((-2)/130). Suppose -g*o + 6 = -37*o. Solve o*v + 9 = -0 for v.
-3
Suppose -4*t = -2*k - 102, 11*t - k = 12*t - 21. Solve -23*h = -t*h + 1 for h.
1
Suppose 4*i - 4*s = 20, 33*i - 26 = 29*i - 2*s. Solve 10 = 8*p - i for p.
2
Let c = 105 + -98. Let o(s) = s - 2. Let m be 3/(-9) - (-26)/6. Let x be o(m). Solve 15 = c*f - x*f for f.
3
Let p(i) = i**3 - 3*i**2 + 4*i - 12. Let s be p(3). Suppose 2*x + s*r + 5*r = 40, 0 = 3*x + r - 60. Solve -4*h = h - x for h.
4
Let d(n) = n**3 + 5*n**2 - 3*n - 4. Let j be d(-5). Suppose -3*o + j = -1. Suppose 5*t + s = 5*s + 35, o*t - 2 = -2*s. Solve 0 = -g - 2 + t for g.
1
Let m(f) = -f**3 - 4*f**2 + 15*f + 22. Let b be m(-6). Solve 0 = -c + 5*c + b for c.
-1
Let l(c) = -c - 4. Let g be l(-6). Let s be 3*8/(-12)*4. Let t be (-2 + 2)/(s/(-4)). Solve t*k + g = 2*k for k.
1
Let i be (136 - (-3)/(-3))*(-18)/27. Let h = i - -90. Solve -10 = 2*o - h*o for o.
-5
Let g(b) = 2*b**2 - b - 14. Let r be g(-3). Solve r*z = 13*z - 30 for z.
5
Let w = 261 + -254. Solve 3*t + 1 = w for t.
2
Let l = 1 - 6. Let o = l + 5. Let a be 2/(3 + 10/(-4)). Solve 0*y - 2*y - a = o for y.
-2
Let o(v) = -4*v**2 - 7*v + 6. Let q(t) = -5*t**2 - 8*t + 5. Let w(b) = 4*o(b) - 3*q(b). Let h be w(-5). Solve d + h = 2 for d.
-2
Let v be -2*-1*2/4 - -2. Solve 0 = -v*c + 8*c + 10 for c.
-2
Suppose -5*l + 3*c = -25, -2*l - 2*c - 18 = -6*l. Solve -15*m = -l*m for m.
0
Suppose 3*b + 2 = u, 10 = -u + 6*u. Suppose g - 2 = 0, b*a + a - 2 = 2*g. Let m = -13 - -19. Solve -3*l = a + m for l.
-4
Suppose -8*y - 5*x + 212 = -4*y, 0 = 2*y - x - 92. Solve 2*k + y - 40 = 0 for k.
-4
Suppose -3*z + h + 4 = 0, -17*z - 4*h = -22*z + 16. Solve -3*u - 65 + 59 = z for u.
-2
Let z = 900 - 896. Solve -n = n - z for n.
2
Suppose 0 = 2*w + 5*o - 45, 5*o - 55 = -6*w + 3*w. Solve 0 = -5*k - w - 0 for k.
-2
Let g = -1 - 4. Let j be 2/(-4)*1/(g/20). Solve j*z = 3*z - 4 for z.
4
Suppose -7*d = -10 - 25. Suppose -3*v - 2 = -d*v + 2*m, 0 = -5*v - 5*m + 15. Solve -2*p - 16 = v*p for p.
-4
Let p be 4 - (-27 - 9)/4. Solve -p*u + 20*u = 35 for u.
5
Suppose 54*r = 37*r. Solve r = 13*b - 22*b for b.
0
Let j be 6/(-1) + 1/1. Suppose 0 = -b - 4*b + 40. Let t = j + b. Solve 15 = t*m - 0*m for m.
5
Let j(u) = -u**3 + u. Let f(w) = -3*w**3 + w**2. Let i(z) = -f(z) + 4*j(z). Let r be i(-3). Suppose 8*c = r*c. Solve c = p - 4*p - 12 for p.
-4
Let d = 689 - 673. Solve d = 2*v + 10 for v.
3
Let z = 216 + -216. Solve -y + z + 0 = 0 for y.
0
Let u(b) be the third derivative of -2/3*b**3 + 13*b**2 + 0 + 0*b + 1/24*b**4. Let x be u(6). Solve -x = a - 4 for a.
2
Let p(l) = -l**2 - 7*l + 3. Let u be p(-6). Suppose -16 = 3*x + y, -2*y - 4 - 14 = 4*x. Let a = u + x. Solve -4 = -3*c + a for c.
2
Suppose 2*z - 80 = -3*z. Suppose 5*v - z = -3*v. Solve -w + 3 = v*w for w.
1
Suppose 2 = -2*i + 4*y - 0, 5*y - 4 = 2*i. Solve i*r - r = -r for r.
0
Suppose -18*j = -104 + 14. Let s(l) = l**3 - 5*l**2 + 7*l - 4. Let m be s(4). Suppose -m*y + 12 = -j*y. Solve y*v - 10 = 6*v for v.
-5
Suppose 26*w - 11*w = 105. Solve -4*r + 6 = -w*r for r.
-2
Suppose 76*u = 77*u - 37. Let o = u + -30. Solve -3*y = 2 + o for y.
-3
Suppose 3*l + 3*n - 51 = 0, -3*l + 4*n = 7 - 30. Solve -9*i = -l*i for i.
0
Let u(a) be the third derivative of a**4/12 - a**3 - 6*a**2. Let d be u(5). Let s be (1 + 25 - -1) + -1. Solve d*k = 6 - s for k.
-5
Let a = 0 - 0. Suppose 1590 - 1632 = -14*g. Suppose g*c - 10 - 5 = a. Solve -2*f - 3 = -c for f.
1
Let s be -4*-3*(-34)/(-6). Solve -s = -9*h - 23 for h.
5
Suppose 17*v - 7 = 12*v + 3*f, 3 = 2*v - f. Solve -v*l - 10 + 14 = 0 for l.
2
Suppose -4*k + 20 = 0, -k + 18 = 2*c + k. Suppose -2 + 2 = -c*v. Solve 2*t - 1 - 1 = v for t.
1
Suppose -4*z - 53 = -65. Let y(r) = -3*r - 7. Let j be y(-5). Solve -o = z*o + j for o.
-2
Let r = -14 - -20. Suppose 3*f + n = 19, 3*f + 3*n - 3 = 6. Let m be (-3)/2*f/(-6). Solve m*v + 16 = r*v for v.
4
Let t(x) = 4*x**2 + x - 1. Let m be t(1). Let d(w) be the first derivative of -w**2/2 + 4*w - 35. Let z be d(1). Solve 0 = z*o - m*o + 1 for o.
1
Suppose 10 = -4*i + 6*i. Suppose i*m = 4*m + 13. Suppose 4*s - 20 = -2*t, -3*s + 2 + m = -4*t. Solve 5*j + 20 = s for j.
-3
Let n(x) = -2*x**2 - 4 + 2 - 13*x - 3 + 3. Let c be n(-6). Solve o = -0 - c for o.
-4
Let c(u) = -3*u**2 + 3*u - 19. Let n be c(5). Let l = 79 + n. Solve l*x = 4*x - 12 for x.
3
Suppose 3*s = 23 + 10. Suppose s*q - 16*q = -30. Solve -q - 3 = 3*j for j.
-3
Let y(k) = 2*k**3 - 7*k**2 - 4. Let u(g) = g**3 - g**2. Let c(f) = u(f) - y(f). Let t be c(6). Let x be (-15)/(-1) + -1 + 3. Solve 3 = t*q - x for q.
5
Let k be (-3)/9 - 5/(45/(-192)). Suppose -6*x - k = -81. Solve -3*l - 2 = x for l.
-4
Suppose 282 = 22*g - 70. Solve -2*p - g + 12 = 0 for p.
-2
Suppose -2*w = -w - 2, -2*n - 2*w = -8. Suppose 3*i + 3*k - 12 = 6*k, 3*i - 2 = -2*k. Solve t + n = -i for t.
-4
Let x be ((-156)/(-36))/13*3*4. Solve -x*q = -5*q for q.
0
Suppose 3*s - 15 = 3*z, -3*s + 2*z - 25 = 7*z. Solve s = 2*b - 6*b + 4 for b.
1
Let f(g) = -3*g + 10. Let z = 14 - 7. Let c be f(z). Let d = c - -21. Solve -b - d = b for b.
-5
Suppose 0 = 5*n - 6 - 39. Suppose 8*q = 5*q + n. Solve -4 = -q*l + 2 for l.
2
Let l(k) = k**3 - 19*k**2 - 216*k + 12. Let z be l(27). Solve 0*v = -6*v + z for v.
2
Let m be (2/5)/(1/10). Let s(c) = c**2 + 101*c + 100. Let z be s(-1). Solve -o + 0 - m = z for o.
-4
Suppose 7*p + 34 = 55. Solve 5*k - p*k = -k for k.
0
Let c(a) = a - 3. Let j be c(14). Solve b = -j*b - 12 for b.
-1
Suppose -2*s - 25 = -5*x - 6*s, -5*s + 25 = 0. Let o be x + 1 - (1 - 4). Suppose -o*m + 3*v + 27 = 0, 0*m + 5*v + 8 = -4*m. Solve m*t + 5 = -4 for t.
-3
Let u be 1/6 - (-190)/12. Solve -u*w = -11*w for w.
0
Let c(w) = -9*w**2 - 2*w - 1. Let y be c(-1). Let g be (y/(-2) + -3)*0. Suppose g = 4*p + 3*u - 5 + 14, 4*u = 5*p - 12. Solve 0 = -p*t + 3*t for t.
0
Suppose -3*c = -4*u + 9, 5*u = 8*u - 5*c + 7. Let h(z) = z**3 + 5*z**2 - 7*z - 6. Let g be h(-6). Solve g*n + 3*n = u for n.
2
Suppose -l - 207 