. Solve -y = 2*k + 4 for k.
-5
Let b(u) = -u**2 - u + 5. Let y = 17 + -18. Let x be (-1 - -2)*y*0. Let m be b(x). Solve 15 + 5 = m*i for i.
4
Suppose h + 13 = 4*o - 0*h, -o - 5*h - 2 = 0. Suppose 4*a = 5*m - 30, -m - 12 = -o*m - 5*a. Let r be (3/m)/((-1)/(-2)). Solve r = k - 1 for k.
2
Let f = 12 - 22. Let l = f + 1. Let z = 11 + l. Solve k + z = 1 for k.
-1
Let a be (0 + 6)/(2/4). Let u = -31 + 47. Let r = u - a. Solve -v - r = v for v.
-2
Suppose -5*k - o = -64, 4*k + 9*o - 11*o - 40 = 0. Solve 0*t = -4*t + k for t.
3
Let v(x) be the third derivative of -x**4/24 + 3*x**3/2 + 2*x**2. Let p be v(7). Suppose -2*d + 10 = 3*d + p*h, 2*h = 5*d + 10. Solve 3*a - 1 - 2 = d for a.
1
Let o be 4 + (-6)/(-36)*0. Suppose 0 = -5*i + d + 21 - 3, -o*i = 3*d - 22. Solve i*y + 15 = -y for y.
-3
Let s = -19 - -24. Let u(f) = 2*f - 8. Let d be u(4). Suppose 3*b + w - 10 = d, 2*w - 10 + 5 = -b. Solve b*x = 4*x + s for x.
-5
Let s be -1*(4 + -5)*2. Solve -2 = h + s for h.
-4
Let o(a) be the third derivative of a**6/120 + a**5/20 + a**4/12 + a**3/3 + 2*a**2. Suppose 0 = 4*n + 4 + 4. Let d be o(n). Solve 0*l + 4 = d*l for l.
2
Let l be (-1)/(1/(-4 - 35)). Suppose -33*t = -l*t + 12. Solve f + t = 4 for f.
2
Let h = 99 - 63. Suppose 38 = 2*n + h. Solve 9 = 2*t + n for t.
4
Let x(j) = 2*j**2 - 5*j + 4. Let i be x(3). Suppose 3*m = -2*g + 23, 2*g = -m - 2*g + 21. Let z = 33 + -33. Solve m*t + i - 2 = z for t.
-1
Let r = 77 - 39. Suppose -t - 17 = -2*u + 9, 3*u - r = 2*t. Suppose u*x - 7*x = 0. Solve x = -2*a + 2 + 2 for a.
2
Let d = 6 + -3. Let q = 9 + -8. Let m be 85/35 - ((-8)/14 + q). Solve 0 = -x + m - d for x.
-1
Let b be (-5)/(-3) - (-4)/(-6). Suppose -2 = h + b. Let d(m) = -m**3 - 2*m**2 + m - 1. Let k be d(h). Solve -2*w = -k*w for w.
0
Let u = 8 + -4. Suppose 50*q = 51*q - 1. Solve -u = -b + q for b.
5
Let q = -6 - 15. Suppose -y + 2*s - 14 = 0, -5*y - 4*s = 96 - 26. Let w be q/y*1*8. Solve 3*t + t = w for t.
3
Suppose 26*i - 17*i = 9. Solve 3*x = -i - 5 for x.
-2
Suppose 3*p - 116 = -p. Suppose -3*u = 4*f - p, -2*u + 31 = -f + 6*f. Let x = -156 + 156. Solve x = q - 0*q + u for q.
-3
Let c be ((-1)/(-5))/(37/370) - -29. Solve -11*m - c = 24 for m.
-5
Let w = -21 - -21. Solve w = -4*n - 2*n for n.
0
Suppose -14*k - 300 = -29*k. Solve 1 = 7*o - k for o.
3
Let v = -386 - -393. Solve -v*s = -6*s - 4 for s.
4
Suppose -2 + 0 = -2*a. Solve -3*m = -10 + a for m.
3
Suppose -33*o + 103 = -161. Solve 5*i - o - 7 = 0 for i.
3
Suppose -67*u + 132 = -61*u. Solve 0 = -10*h + 2 - u for h.
-2
Suppose 4*a - 146 = -34. Solve -a*y = -16*y + 60 for y.
-5
Let j be 12*(-3)/(-4)*(-25)/(-15). Solve j*x + 16 = -44 for x.
-4
Suppose 0 = 3*q + 15, 10 = 2*t - 7*t - 2*q. Solve t*l - 7*l = -28 for l.
4
Let a = -10 - -34. Let z = a + -21. Solve z*g - g = -4 for g.
-2
Suppose k = 4*k + 48. Let j(t) = 3*t. Let m(r) = 19*r + 10. Let u(n) = 6*j(n) - m(n). Let w be u(k). Solve 2*g = w*g for g.
0
Let v(n) = n**3 + 19*n**2 + 17*n - 22. Let a be v(-18). Let w be a/12 + 1/3. Solve 5*z + 5 + 5 = w for z.
-2
Let h be (-9 + 21)/1 - 10. Solve 5*o + 3 = h*o for o.
-1
Suppose 0 = -6*a + 64 + 140. Let b be (6 - 4)*(-8)/1. Let p = b - -20. Solve p*o + 14 = a for o.
5
Suppose 0*f + 4*f = 136. Suppose -5*w + f = 9. Solve -w*z = -3*z for z.
0
Let b be 14/(-18) + (-2)/9. Suppose 0*f - 3*d = 2*f - 4, -12 = 2*f - 5*d. Let j be (-5)/f + -1 + b. Solve 11 + 1 = j*w for w.
4
Suppose -6*q = -4*q + 24. Let s(a) = -2*a - 20. Let o be s(q). Solve 0 = -4*m - o - 12 for m.
-4
Let m(z) = 5*z**2 - 1157*z + 0*z**2 - 4*z**2 - 1 + 1158*z. Let u be m(-3). Solve -5*o + 15 = -u for o.
4
Let b = -9 + 5. Let m = 3 - b. Suppose -39 = -5*h + 11. Solve -m*y = -2*y + h for y.
-2
Let x = -648 + 652. Solve 0 = -y + x*y + 12 for y.
-4
Let r = -397 + 398. Solve 0 = 2*n + r - 5 for n.
2
Let y(f) = f**3 - 6*f**2 + 5*f. Let v be y(5). Let j be (-2 + 133/84)*-12. Solve -j*x = -v*x + 15 for x.
-3
Suppose 0 = r - 4*k + 5, -4*r + 0*k - k = -14. Suppose 6*n = r*n + 5*g + 4, n + 2*g = 5. Solve n*f + 0 = 9 for f.
3
Let b(y) = y**3 - 10*y**2 + 23*y - 44. Let v be b(8). Solve 0 = v*r - 17*r + 20 for r.
4
Suppose 7 = -s + 11. Suppose 10 = 2*f + 4. Suppose 4*i - 5*i + 5*j = 5, s*i - f*j - 14 = 0. Solve -24 = -i*w - 9 for w.
3
Let h be (-4)/(-8)*0/(-4). Solve -v + h*v = -4 for v.
4
Let t(h) = -h**3 - 3*h**2 - 7. Let r be t(-5). Suppose -2*d + r = d + z, 3*z = 2*d - 25. Suppose d - 44 = -5*q. Solve w = q*w - 10 for w.
2
Let n(q) = -3*q**3 - 10*q**2 - 6*q + 6. Let k be n(-3). Solve 42 = -k*s - 18 for s.
-4
Let p(j) = j + 2. Let c(a) = 4*a + 12. Let o(k) = c(k) - 5*p(k). Let t be o(-2). Solve 16 = -t*r + 4 for r.
-3
Let q = -238 - -239. Solve 0 = -2*w - q + 9 for w.
4
Suppose 0 = -73*r - 237 - 273 + 656. Let t(h) = h**3 - 7*h**2 + 7*h - 5. Let f be t(6). Solve 0 = -r*i - f + 3 for i.
1
Let v(y) = 5*y - 7. Let s(n) = 14*n - 21. Let o(f) = 4*s(f) - 11*v(f). Let j be o(13). Solve -5*x - j = -16 for x.
2
Let g be (-6 + 2)*(-2)/4. Let a(t) = t**3 - 1. Let s be a(g). Let p(i) = -i**3 - 3*i**2 - i + 2. Let f be p(-2). Solve -5*h - s + 2 = f for h.
-1
Let g(t) = t**2 + 10*t + 25. Let c be g(-4). Suppose 4 = 5*b + 29. Let u be (-8)/2 - b - c. Solve 0 = -2*n - u + 4 for n.
2
Let g be -1 + 0/4 - -13. Suppose -d + 21 = 5*q, -g = -d - 3*d - 2*q. Let z be (-6)/((-2)/d) + -1. Solve 0 = z*f + f for f.
0
Suppose 0 = -4*d + 5*g + 2, -5*g + 11 = 3*d - 4*g. Suppose 3*j + d*i = 12, 4*i + i = j + 20. Solve j = 4*z - 14 - 2 for z.
4
Let c(y) = y**3 + 6*y**2 + 5*y - 2. Let n = -5 - -1. Let h be c(n). Let s be (0 - 9)*h/(-30). Solve -s + 7 = -4*q for q.
-1
Suppose 5*f + 123 + 112 = 0. Let z = -45 - f. Solve 8 = 2*o + z for o.
3
Let i(q) = q**2 - 9*q - 21. Let d = -15 + 26. Let m be i(d). Solve 0 = -z - 0*z - m for z.
-1
Suppose -3*z + 15 = 0, 6*c - 5*z = c - 15. Solve 9*f - 10*f = c for f.
-2
Let k(h) = h**2 + 4*h - 8. Let y be k(-6). Suppose -5*l - 5 - 7 = 4*q, 0 = 4*q - 4*l - 24. Suppose 2*d - 2 = -w + q, -10 = -2*w - 5*d. Solve a + y = -w*a for a.
-4
Suppose 0 = -26*m - 18*m + 792. Solve -35 = m*t - 11*t for t.
-5
Suppose 163 = 3*a - 20. Let n = a + -56. Solve 0 = n*x - 1 - 24 for x.
5
Suppose 6*v = 4*v + 4. Suppose v*n - 27 = -7*n. Solve 1 = n*y - 4*y for y.
-1
Let r be (10 - 2) + (-4)/1. Suppose 0 = -6*l - r*l + 40. Solve 2*x = l - 6 for x.
-1
Let t = -15 + 28. Let q(p) = -p**2 + 12*p + 15. Let i be q(t). Suppose -2*c = -3*c + 6. Solve 0 = -i*k + c*k for k.
0
Suppose -r - r + 51 = -h, 5*r = 3*h + 128. Suppose -5*d = -3*i + r, i = 4*d - 1 - 0. Suppose -2*y = -1 - i. Solve -4*v - y = 12 for v.
-5
Let q(a) = a + 1 + 3 - 6 + 12*a**2. Let f be q(1). Solve 4*c - f = 5 for c.
4
Suppose f - 17 = -f + 3*r, -3*f - 3 = 5*r. Suppose 22 = 2*w - f*b, -2*w - b = b + 2. Solve 0 = -2*g - w*g - 20 for g.
-4
Let n = -2 + 2. Suppose -5*a = w + w - 88, 5*a - 3*w = 68. Let v be 40/a*2/(-10)*0. Solve n = -d - v + 3 for d.
3
Let q = -1984 - -1999. Solve 0 = -340*v + 335*v + q for v.
3
Let u = -23 + 13. Let t be -2 + 15/u*(-12)/9. Suppose 3*d - 11 = 2*s, 0 + 15 = -5*d - 5*s. Solve 0 = b - t*b - d for b.
1
Let k be 462/121*1 + (-4)/(-22). Solve k*q = -0*q + 20 for q.
5
Let x(k) = -k**3 - 13*k**2 + 30*k + 8. Let b be x(-15). Solve -5*o + 12 = -b for o.
4
Let f(a) be the second derivative of -a**4/6 + a**3/6 + a**2/2 - 16*a. Let b be f(1). Solve -4*l + 2 + 2 = b for l.
1
Suppose -3*y = 6*y - 27. Let l be ((1 + -1)/(-4))/y. Solve l = a - 0 - 3 for a.
3
Let j = 12 - -74. Let x = 86 - j. Solve -h + 3*h - 10 = x for h.
5
Suppose 153*x = 154*x - 6. Let z be 0/((-3 + 2)*2). Solve 4*y + 2 + x = z for y.
-2
Let y = 20 + -11. Solve 0 = -q - y*q - 40 for q.
-4
Suppose -4*x + 25 = 4*r + 5, 0 = -5*x - r + 41. Solve x*l + 24 = 3*l for l.
-4
Let y(p) = -2*p**2 - 2*p - 4. Let s be y(3). Let t = 58 - 27. Let w = s + t. Solve 20 = u + w*u for u.
5
Let v be (-3)/9 - (-94)/(-6). Let x(f) = -f**3 - 16*f**2 + f + 18. Let u be x(v). Suppose 5 = -4*g - r + 12, 4*r = -g - u. Solve 6 - g = -2*q for q.
-2
Let r(a) = -8*a - 59. Let n be r(-8). Solve -n*d + 10*d + 10 = 0 for d.
-2
Let r(d) be the third derivative of d**6/120 - d**5/20 + d**4/12 + d**3/2 - 4*d**2. Let p be r(3). Solve -5*u + 2*u = p for u.
-3
Let d = -59 + -21. Let v = d + 83. Solve 7*y - v*y = 0 for y.
0
Let j be (0 + -9)/((-3)/1). Let z(f) = -2*f - 2. Let c be 