= 0. Solve -21 = -v*k - 6 for k.
5
Let y be (-1)/(-3)*-3 - -1. Suppose -4*j + k + 2 = 0, y = 2*k + k - 6. Let l be (-32)/8 + j*12. Solve -3*a = a + l for a.
-2
Suppose 6*h - 20 = h. Suppose k + 20 = 6*k. Suppose 0 = k*d - 10 - 6. Solve -d = 2*w + h for w.
-4
Suppose 72 = 51*p - 39*p. Solve -25*z = -22*z - p for z.
2
Suppose -9*j = -4*j - 5*a, -4*a + 27 = 5*j. Solve -w - j*w = -8 for w.
2
Suppose 270 = 35*c + 60. Solve -c = j - 3*j for j.
3
Suppose 0 = -35*z + 179 + 31. Solve 8*b - 18 = z for b.
3
Let b be 2/(-8)*-38 + 40/80. Solve 0 = 4*s - b + 2 for s.
2
Let d be 3/(((-1)/(-8))/((-5)/(-15))). Solve d*i + 2 - 18 = 0 for i.
2
Let r(y) = -y**3 - 2*y**2 + 22*y - 4. Let k be r(-6). Solve -3*i - k = 7 for i.
-5
Let w be (12/(-14))/(2 + (-15)/7). Let i be (10/4 + -1)*(8 - w). Solve j = i*j + 4 for j.
-2
Let t(z) = -z**2 - 6*z + 1. Let u be t(-3). Suppose -3*b - 2*c = -7, 5*c = -b - 4*b + u. Solve b*d + 0*d = 0 for d.
0
Suppose -366 + 294 = -8*f. Solve 0 + f = -3*a for a.
-3
Let u = -94 + 98. Suppose -i = -3*k + 39, -u*i - 9 = -3*k + 30. Solve -2*n = k - 3 for n.
-5
Suppose -28 = -8*u + u. Suppose -28 = -10*r - u*r. Solve -12 = r*d - 5*d for d.
4
Suppose 2*w + 36 = 5*w. Suppose 3*t + 9 - 51 = 0. Let r = t - w. Solve -r*l = -4 - 4 for l.
4
Let l(k) = -k**2 + 10*k + 6. Let f be l(6). Let z = 32 - f. Solve 0 = -4*q - 2 - z for q.
-1
Suppose 4*x - 5*n = 6*x - 5, -5*x + 5 = 5*n. Let b(o) = -o**3 - 2*o + 2. Let i be b(x). Solve z = -i*z for z.
0
Let x(c) = c - 8. Let t be x(8). Suppose 3*d - 12 = -0. Solve t*h + d = -h for h.
-4
Let z = 878 - 877. Solve 21*f - 104 = z for f.
5
Let v(d) = -d**2 - 9*d - 6. Let p be v(-8). Suppose -16 = f - 2*f - p*l, -5*f + 2*l = -80. Suppose -4*j + f + 0 = 0. Solve -j*k = -2*k + 4 for k.
-2
Let i(r) = -r**3 - 13*r**2 - 24*r - 20. Suppose -14*s - 110 = -4*s. Let p be i(s). Solve p*n - 12 + 2 = 0 for n.
5
Let t(d) be the first derivative of d**2 - 3*d - 6. Suppose 0*j - 5*j + 15 = 0. Let n be t(j). Solve -6 = -0*v - n*v for v.
2
Suppose -4*q + 20 = -4*n, -3*q - n + 0*n = -15. Suppose -16 + 2 = x - 4*s, -q*s = -2*x - 13. Solve -2 = x*o - 8*o for o.
1
Let l(c) = -16*c + 19*c**2 - 17 - 8*c**2 - 10*c**2. Let z be l(17). Solve z*y - 3 = y for y.
-3
Suppose -9*f = -52*f + 258. Solve 5 = 7*h - f*h for h.
5
Let i be (112/(-21) - 8)*12/(-8). Solve 21*k - 17*k = -i for k.
-5
Suppose -5*r - 22 = -7*r. Let u(f) = 3*f + 21. Let s be u(-6). Solve s*i - r - 4 = 0 for i.
5
Let m(y) = -y**2 - 7*y - 6. Let k be m(-6). Suppose -6 = -14*j + 92. Let r(b) = b**3 + 4*b**2 - 5*b + 3. Let a be r(-5). Solve k = -a*f + 19 - j for f.
4
Suppose 0 = -3*u + 744 - 711. Solve 8*h + 13 + u = 0 for h.
-3
Let l = -78 + 77. Let y = l + 10. Solve 0 = 5*x + y + 11 for x.
-4
Suppose 3*r = 2*r + 5. Suppose r*q = -3*q + 40. Solve q*b - 22 = 3 for b.
5
Let p = -9 - -15. Suppose 17*i = 10*i. Solve i*b - p = -3*b for b.
2
Suppose -1 = -2*i - 3*d, 6*i - 2*i = -d + 17. Suppose i*q - 19 - 1 = 0. Solve -q*g + 12 = -0 for g.
3
Suppose 2*f - 77 = 2*i - 93, -5*i - f = -28. Solve -24 = i*k + 6 for k.
-5
Let c(t) be the third derivative of -t**6/120 - 7*t**5/60 + 7*t**4/24 - 2*t**3/3 - 12*t**2. Let k be c(-8). Let p be (-3)/k - 30/(-8). Solve -1 = s - p for s.
2
Let m(c) = c**2 - 7*c - 17. Let l be m(10). Suppose 0 = -16*k - l + 77. Solve z - 5 = -k*z for z.
1
Let o = -8 + 11. Let r = -30 - -35. Suppose r*g + 137 = 147. Solve -g*s - o = -5 for s.
1
Let c(j) = j**3 + 15*j**2 - 15*j + 25. Let s be c(-16). Solve -s*v = -6*v - 9 for v.
3
Let x be (-105)/14*12/(-15). Solve -12 = x*k - 2*k for k.
-3
Suppose 3*n + 11 = -5*t + 45, 0 = 2*t + 5*n - 25. Let l = -1 + 3. Let k = -555 - -572. Solve -t*y = -l + k for y.
-3
Let i(y) = 21 + 9*y**2 - 6*y**2 - 17 + 5*y**2. Let o be i(-2). Let r = 38 - o. Solve 5*d - 4*d = r for d.
2
Let z be (-1)/5 + 58/(-10) + 6. Solve z = f - 5*f - 8 for f.
-2
Let w = 1206 - 1195. Solve w*z + 2 = -20 for z.
-2
Let x = 31 + -14. Suppose 2*l + 6 = -4*b, -4*l - x + 57 = -5*b. Solve -1 = -l*u - 26 for u.
-5
Let m be ((-27)/(-45))/((-2)/10). Let c be (5/3)/((-1)/(-3)) + m. Solve u = -c*u - 15 for u.
-5
Suppose 25 = -3*u + 31. Solve -l + 4 - u = 0 for l.
2
Let m be (10/(-25))/((-5)/125). Solve m*w = 12 + 38 for w.
5
Let h be (-140)/42*24/(-20). Solve 0 = -h*t + 21*t for t.
0
Suppose 0*i + 6 = 3*g + 3*i, -2*i = 3*g - 6. Let c be 2 + 1 + 1 - g. Solve 0 = -0*r + c*r for r.
0
Let o be ((-3)/(-2))/((-3)/(-2)). Let z = o - 0. Suppose 213 + 235 = 28*m. Solve -z + m = -5*f for f.
-3
Let l(a) = a**2 + 7*a. Let w be -2*31/8 + (-3)/(-4). Let i be l(w). Solve i*z + z = -5 for z.
-5
Let f(v) = v**2 + 8*v + 17. Let i be f(-6). Suppose 0 = -5*j - h - 2 - 3, 4*j = h + i. Solve 4*u + u - 25 = j for u.
5
Suppose 5*l - 3 = 12. Suppose -3*s + 3*p = 9, s + 2*p = -0*s - 3. Let v = s + l. Solve -4*d + 6 + 2 = v for d.
2
Suppose -3*f + 7*f - 5*y - 37 = 0, 5*f = -5*y + 35. Solve 3*k + 20 = f*k for k.
4
Let u be ((-1)/(-2)*-38)/(-1). Solve 14*g + 10 = u*g for g.
2
Suppose 8*j = 17*j. Solve j = -7*s + 9*s + 8 for s.
-4
Let n be (0 + 12/(-15))*1005/(-134). Solve 4*q - n*q + 8 = 0 for q.
4
Let v(a) = -7*a**2 + 5*a - 31. Let m(i) = -3*i**2 + 2*i - 15. Let w(p) = -5*m(p) + 2*v(p). Let b = -4 + 4. Let r be w(b). Solve -4*x - 3 = r for x.
-4
Let n be (-1 - 2) + 3 + (-6)/(-3). Solve 0*c - n*c = 2 for c.
-1
Let s = 2604 + -2576. Solve g = 24 - s for g.
-4
Suppose 33*l - 221 = 274. Solve -l*w = -16*w for w.
0
Suppose 0 = -57*f + 227 + 1654. Solve 0 = 27*y - f*y + 6 for y.
1
Let h = 354 - 350. Solve 0 = -h*b - 0*b + 8 for b.
2
Let n(v) be the first derivative of -v**4/4 + 2*v**3/3 - v**2 - v - 5. Let j be n(2). Let r = 0 - j. Solve 5 + 0 = -r*h for h.
-1
Let p be -4*((-77)/(-4))/(-7) - -1. Let m be (-3)/p - 2/(-8). Solve 6*i - i = m for i.
0
Let l(b) = -7*b**2 + 3*b - 5. Let v be l(3). Let d = v + 61. Solve d*u + 2*u + 12 = 0 for u.
-3
Let t(l) = -9*l - 1. Let w be t(-1). Let v(h) be the second derivative of -h**5/20 - 3*h**4/4 + 2*h**2 - 2*h. Let x be v(-9). Solve -w = 3*c + x for c.
-4
Let y = 1540 + -1535. Suppose -5*a - 4 = -2*x + 13, -4*x = 4*a + 8. Solve -x - y = -3*i for i.
2
Suppose 0 = 3*w + 27 - 3. Let b be w/2 - 45/(-5). Suppose 5*o + 3*h = 23, -b*o - 4*h + 20 - 1 = 0. Solve o*a = 2*a for a.
0
Suppose 0 = -23*y + 7*y + 48. Solve 6*a - 7*a - y = 0 for a.
-3
Suppose -14*i + 874 = 90. Solve -8*t = i - 88 for t.
4
Let l = -12 - -16. Suppose -l*d + 64 = -4*p, -4*d + 29 = -3*p - 18. Let y = 20 + p. Solve y = -3*z + 15 for z.
4
Suppose 0*k + 5*k = -q + 20, -3*k - 3*q = -24. Let s(p) = 2*p**2 - 7*p + 5. Let d be s(k). Solve -x + 4 = d for x.
2
Let a be (-51)/102 - (-30)/4. Solve -a*z = -10*z for z.
0
Let n(i) = i**3 - 10*i**2 + 25*i - 46. Let c be n(8). Solve -13*s - 13 = c for s.
-3
Let u(z) be the first derivative of -z**2/2 + 3*z + 7. Let n be u(2). Let x be (n/(-2))/((-3)/30). Solve -t = -0*t - x for t.
5
Suppose u = -g - 6, g - 10 = 3*u - 0*u. Let c(b) = b**3 + 4*b**2 - b + 8. Let d be c(u). Solve -x = 2*x - d for x.
4
Suppose 0 = 33*b - 38*b. Solve -5*w + w - 4 = b for w.
-1
Suppose -6*z + 50 = 4*z. Solve -z*m + 6 = -3*m for m.
3
Let i(v) = -v**3 + 20*v**2 + 19. Let j be i(20). Let b(d) = 2*d - 35. Let c be b(j). Solve -c*k + 15 = 2*k for k.
3
Let k be 8 + (-2 - -1) + 8/(-4). Suppose a = 6*a. Solve k*g = -a*g for g.
0
Suppose 0 = 6*k - 4*k - 6. Suppose n + 8 = k*n. Solve -u + 9 = -n*u for u.
-3
Let m = 873 - 873. Solve m*u + 4*u + 2*u = 0 for u.
0
Let j be (-1 + 5/3)/((-6)/(-27)). Suppose k - j = 3. Solve w + k = -w for w.
-3
Let b(w) = -w**2 + 10*w - 16. Let f be b(7). Suppose 2*t + 3 + 3 = f*l, -l = 4*t - 10. Solve -6*k = -t*k for k.
0
Let s be 6/(-2) + (4 - -2). Suppose 0*g = -6*g + 12. Solve s*n = 2*n - g for n.
-2
Suppose -2*f + 3*l = 9 - 20, -4*f + 5*l + 21 = 0. Solve -f*u - 203 = -187 for u.
-4
Let q be (15/(-10))/(6/(-128)). Let s = q + -28. Solve -s*c + 4 = -0*c for c.
1
Suppose -4*x - d - 52 = -17, -2*x - 4*d = 0. Suppose 7*j - 15*j + 64 = 0. Let s be (-15)/x*j/6. Solve -8 = -s*t + 2 for t.
5
Let z = -80 + 86. Solve -14 = -z*w + 4 for w.
3
Let w(q) = -q**2 + 21*q + 2. Let y be w(13). Let j = y + -104. Solve o + 6 = -j*o for o.
-2
Suppose 613*o - 610*o = 48. Solve 82*p = 86*p + o for p.
-4
Suppose 0 = 4*w + 5*g - 69, 3*w - 2*g = 3*g + 8. Suppose w = -2*a + 21. Solve 0 = 5*z + a for