v). Solve 3*k - 9 = n*k for k.
-3
Suppose 5*w + 2 = 6*w. Let j be (-626)/18 + (-4)/18. Let y = -23 - j. Solve 6*n = w*n + y for n.
3
Let j be (3/1 + -1)/((-32)/(-400)). Solve -j*k = 70 + 30 for k.
-4
Let w(k) = k**2 - 2*k - 14. Let z be w(5). Suppose -5*c + 30 = 2*p, z - 9 = -2*c. Solve -2*o + 3*o = -p for o.
-5
Suppose 0 = 48*u - 14*u - 238. Solve -6 = -u*a + 9*a for a.
-3
Let r = -5 - -16. Solve 7*g - r*g + 8 = 0 for g.
2
Let z be 36/(-9)*(2 + -3). Suppose -z*o - 10 = -2*w + o, -2*o = w + 4. Solve w = 2*i - 1 - 5 for i.
3
Let p(d) = d**3 + 8*d**2 - 10*d - 3. Let m be p(-9). Solve 0 = 3*s + m - 0 for s.
-2
Let z(x) = -4*x**2 - 16*x + 48. Let a be z(-6). Solve a = v - 3*v + 2 for v.
1
Suppose 19*s = 23*s - 32. Suppose 0 = -t + s - 4. Solve n - t = 3*n for n.
-2
Let m(t) = -t**3 + 6*t**2 + 8*t - 2. Let u be m(7). Let f = -1332 - -1358. Solve 0 = -u*z - f + 6 for z.
-4
Let f(h) = -7*h + 31. Let n be f(12). Let m = 68 + n. Solve 0 = 3*s - 8*s + m for s.
3
Suppose 8 = -37*r + 38*r. Let t be 0*(2/(-7) - 81/(-63)). Solve r*d - 4*d = t for d.
0
Let l = -71 + 41. Let p be (14/(-21))/(4/l). Suppose -2*q = -3*x + 2*q + 10, 4*q - 6 = -p*x. Solve -k = k + x for k.
-1
Let b = -1 - -2. Suppose 16 = h - b. Let y = h + -12. Solve -2*i - y = 3*i for i.
-1
Suppose 40*v - 12*v = 56. Solve 5 - 1 = -v*s for s.
-2
Let p be (-2 - -2)/(1/(4 + -3)). Suppose 4*d - 3*d = p. Solve d*v = -v + 5 for v.
5
Suppose 5*a = 2*w - 18, 2*a = -5*w - 0 + 16. Let x = 7 - 4. Suppose 2*b + 2 = x*b. Solve -b*j - w = 2 for j.
-3
Let p be (290/(-116))/(2/(-20)). Solve -6*n = -11*n + p for n.
5
Let i be 16 - 2/(-6)*-3. Suppose 3*h = -24 - 15. Let k = i + h. Solve -l - 1 = -k*l for l.
1
Let s(k) = k**3 - 11*k**2 - 27*k + 10. Let r be s(13). Let z(m) = 4*m + 16. Let j be z(r). Solve 5*b - 3 = j*b for b.
3
Suppose -k + 2 = -6. Let j(m) = 3*m - 16. Let a be j(k). Solve -a = -2*b - 2 for b.
3
Let u be (2/(-5))/(3/15). Let h be 1 - (u - (0 + -2)). Suppose 3*t = 5*j - h + 3, -2*t + 10 = j. Solve 0 = 2*g + 2*g + t for g.
-1
Let y(a) be the second derivative of -a**4/12 - 5*a**3/6 - a**2 + 2*a. Let w be y(-2). Suppose l = -3*t - 1 - 3, -l = 4*t + w. Solve t*b = 3*b - 3 for b.
1
Suppose t - r - 19 = 2, 0 = -5*t - 2*r + 84. Solve t*s = 4*s + 14 for s.
1
Suppose -3*i + 42 = 4*y, 0 = -2*y - 4 - 2. Let l(m) = m**2 - 19*m + 22. Let u be l(i). Solve 13 = -u*o + 1 for o.
-3
Suppose 0 = 4*z - 14 - 2. Let b be 11/3 + (-2)/3. Let w be (0 - z/b)*-3. Solve 5 - 17 = -w*n for n.
3
Let r(g) = 4*g - 70. Let x be r(18). Solve -y = x*y for y.
0
Suppose -4*g + 11 = s - g, -2*s - 8 = -4*g. Suppose -3*k + 0*r + 8 = -2*r, -8 = -5*k + s*r. Solve 0*w - w - 2 = k for w.
-2
Let v(b) = -2*b**2 - 2*b + 5*b - 1 + b**3 - 2*b**2. Let g(s) = -10*s + 4. Let y be g(0). Let w be v(y). Solve -2*n = -w + 3 for n.
4
Suppose 2 = -2*n - 0*n. Let r = 2 + n. Let u(z) = -z + 67. Let q be u(64). Solve -q*h - 14 = r for h.
-5
Let o(x) = x**3 - 35*x**2 + 33*x + 44. Let y be o(34). Solve -y*q + 7*q = 6 for q.
-2
Suppose -4*d - 14 = 4*r - 46, -2*r - 12 = -5*d. Suppose 0 = -d*q + 7 + 1. Suppose q*v - 6 = -2*y, v - 15 = -0*y + 2*y. Solve -v + 22 = -5*n for n.
-3
Suppose 6*a - 2*a = -12, -2*k - 5*a = 19. Let r be (-12)/8*(-2 + k/3). Let w(p) = -p**3 - 4*p**2 + 2*p - 5. Let m be w(-5). Solve m - r = -2*d for d.
-3
Suppose 0 = 5*o - 5*l - 50, -2*o = 18*l - 22*l - 18. Let m = 7 + 0. Let i = o - m. Solve -5 = -i*b - b for b.
1
Suppose 0 = -7*a - 79 + 121. Solve a + 10 = 4*p for p.
4
Suppose -4*n - 7 = v, -3*v = -0*v + n - 12. Solve -v*w = w + 6 for w.
-1
Suppose u = j + 18, 2*u - 5*j + 10*j = 15. Let q be ((-72)/16)/((-6)/(-16)). Let y = q + u. Solve -6 = 3*k - y for k.
-1
Suppose 0 = 20*r + 20 - 220. Solve -6*u + r*u = -12 for u.
-3
Suppose -32 - 46 = f. Let l = -68 - f. Solve -2*q + 0*q - l = 0 for q.
-5
Let s = -8 + 11. Suppose a + 8*d - 3*d = 0, 0 = -4*d. Suppose -3*u + 4 = -b, 6*b - 3*b + u - 8 = a. Solve s*r - 14 = -b for r.
4
Let m(w) = -w**2 - 27*w - 109. Let u be m(-22). Solve 0 = -k - u for k.
-1
Let w(q) = 16*q**3 + 2*q**2 - q. Suppose 12*g - 14*g + 2 = 0. Let u be w(g). Let r = -12 + u. Solve 2*k = r*k + 9 for k.
-3
Let x be 6/(2/(7 - (-10)/(-2))). Solve 17*b = 20*b - x for b.
2
Let s(j) = 2*j - 24. Suppose t - 2*v = 3, 21 = 5*t + 5*v - 69. Let l be s(t). Solve -p + l = 4 for p.
-2
Suppose 2*i = 7 + 1. Suppose 4*d - 4*f + 2 = -2*f, 0 = -5*d + 3*f - 4. Let o be -3*d - (-8 + 1). Solve 0 = 2*z - o*z + i for z.
2
Suppose 0 = 8*j - 4*j - 20. Suppose -j*b = -6*b + 3*b. Solve -2*t + 6 = -b for t.
3
Suppose -2 - 12 = -7*g. Let u be (-58)/(-6) - 4/6. Suppose -u = -2*t - 3. Solve 0 = r - t + g for r.
1
Suppose -116*c - 27 = -119*c. Solve -3*s + 0 = -c for s.
3
Let h = -1 - -14. Let s be 0*(-3)/(-6) + 2. Suppose s*w + 15 = 3*l, 2*l + 0*w = 2*w + 12. Solve -l*a + 4 - h = 0 for a.
-3
Suppose -2*x - 12 - 24 = 0. Let h be -3*x/3 + -1. Let p = h + -13. Solve o = 5*o - p for o.
1
Suppose 22*m - 51 = -7. Solve 22 = m*c + 16 for c.
3
Let m = -569 - -572. Solve -m*c = 99 - 93 for c.
-2
Let q(v) be the first derivative of v**4/4 - 7*v**3/3 + 5*v**2/2 + 8*v + 2. Let i be q(6). Suppose -3*x + 2*f = 0, 3*f - i = x + 5. Solve 0 = k - x for k.
2
Let v be 40/25 + (-2)/(-5). Suppose 0*s = v*s. Suppose -4*n + 3*n = s. Solve 0 = -n*p + 2*p for p.
0
Let b(i) = i**3 + i**2 + i - 2. Let w(n) = 3*n - 8. Let l be w(3). Let x be b(l). Solve -2*y - x - 3 = 0 for y.
-2
Let y(m) = m**3 + 7*m**2 - 10*m - 12. Suppose 2*l + 2*s - 2 = -18, -3*s = -l - 8. Let f be y(l). Solve -r + 0*r = f for r.
-4
Let k be (-1534)/(-494) - (-2)/(-19). Solve -r + k = 8 for r.
-5
Let c(l) = 0*l**2 - 2*l**2 - l**3 + 2*l**3 - 4 + 7*l**2. Let t be c(-4). Solve 0*v - 4*v - t = 0 for v.
-3
Let f = -135 + 138. Solve 0 = f*h + 22 - 10 for h.
-4
Let d = 1439 + -1431. Solve 9 = d*j - 5*j for j.
3
Suppose -219 + 35 = -4*s. Solve 47*r - s*r + 4 = 0 for r.
-4
Let g(l) = -l**3 - 7*l**2 - 2*l + 3. Let s be g(-6). Let h be ((-4)/(-14))/(3/s). Let q be (0 + h/(-3))*3. Solve q*f = 13 - 3 for f.
5
Let d = -398 - -399. Solve -g = -0*g - d for g.
1
Let c = 0 - -5. Let a be (-1)/((3/1)/(-27)). Suppose -c = -k, 5*m - a = k + 61. Solve 4*b + b = m for b.
3
Let h(t) = t**2 + 6*t + 6. Let s be h(-5). Suppose 3*j = 6 - 3. Let z = s - j. Solve z = -0*i - 2*i - 2 for i.
-1
Let y be 4 + (-6 - -1 - -3) + 0. Solve g - y = 2 for g.
4
Let h = -610 - -613. Solve -h*u + 14 = 4*u for u.
2
Let b = 461 - 441. Solve 6*l - b - 10 = 0 for l.
5
Suppose -h - 1 = -k - 3, -12 = 2*h + 2*k. Let g = 6 - h. Solve 2*q - g + 2 = 0 for q.
3
Let w = -204 - -206. Solve 19 = w*t + 11 for t.
4
Let f be (-2)/4*1*(63 - -1). Let v = -28 - f. Solve -v + 0 = 2*y for y.
-2
Let d(v) = -2*v. Let k be d(-4). Let p = -5 + k. Suppose 0 = 23*j - 22*j. Solve j = 5*c + p + 12 for c.
-3
Suppose -15*n + 252 = -153. Solve 0 = -5*p - n + 2 for p.
-5
Let s(d) = d**2 + 2*d - 33. Let z be s(5). Solve -c = -z*c for c.
0
Let m(f) = -f**2 - 14*f - 33. Let q be m(-9). Let h(c) = c**2 - 6*c + 2. Let j be h(6). Suppose -u = 2*u. Solve -j*a - a + q = u for a.
4
Let l be (60/(-50))/((-1)/5). Let m be -2 + (2 - 0) + -5 + l. Solve -3*c + m - 4 = 0 for c.
-1
Let o = 50 - 44. Let d be (6/(-4))/(1 + (-9)/o). Solve 0 = d*b - 0*b for b.
0
Suppose -4*k = k + y - 63, 27 = 2*k + y. Solve 0 = -4*j + k + 4 for j.
4
Suppose w - 3*w + 6 = 0. Suppose -3*m + 8 = 3*s + s, -4*s + 8 = -2*m. Suppose -w*q = -2*q - s. Solve 0 = -5*t - q + 22 for t.
4
Let y be (10 - 10 - 0)/2. Solve -3*b - b + 3*b = y for b.
0
Let t be ((-1)/(-3))/(8/72) - -5. Suppose 3*f + 2 = -5*s, s - 3*s - t = 0. Solve f*d = d for d.
0
Suppose -w + 0*w + 2 = 0. Suppose -2*x - 3*v + 21 = 0, 5*x = 4*v + 60 + 27. Solve -w*b + x = b for b.
5
Let r(m) = -7*m + 2. Let b(v) = -14*v + 3. Let y(j) = 6*b(j) - 13*r(j). Let w be y(2). Solve 3*x - w + 3 = 0 for x.
1
Let l be (-4)/18 + (-1110)/(-135). Solve -l = -5*r + 12 for r.
4
Let h(g) = -g + 1. Let b be h(-5). Let k be ((-16)/b)/((-1)/3). Suppose -139 - 501 = -160*l. Solve 0 = l*n + k - 0 for n.
-2
Let n(t) = -t**2 - 3*t. Let g = 89 - 49. Let l be (32/g)/(2/(-5)). Let m be n(l). Solve -m*z - 3*z + 20 = 0 for z.
4
Let u(d) = -2*d - 28. Let j be u(-10). Let o be (-21)/(-12) - 2/j. Solve o*i + 4 + 4 = 0 for i.
-4
Let a = 142 - 67. Let u = 78 - a. Solve 1 + u = -2*d for d.
-2
Suppose -5*r - 1 = 