 9 for k.
-4
Let l(r) = -2*r**2 - 1. Let s be l(-6). Let q = s - -73. Solve t + 4*t + 10 = q for t.
-2
Let p(w) = -w**2 - 5*w - 2. Let h be p(-4). Let n be (4 - h - 2)/2. Suppose n = 2*f + i - 10, -14 = -5*f + 3*i + 11. Solve 29 = f*z + 9 for z.
4
Suppose 0 = -o - 10*t + 15*t + 34, 4*o + 4*t = 40. Solve -5*c = -o*c - 9 for c.
-1
Suppose 4*c = -t + 14, 2*t - 3*t = c - 5. Suppose -2*v + c*v = 0, -z = v - 6. Solve -z*j = -2*j + 12 for j.
-3
Let s = -382 + 393. Solve -5*x + 14 + s = 0 for x.
5
Suppose 68*g - 72*g + 161 = 3*r, 0 = -4*r + 2*g + 200. Solve -8*j + 19 = r for j.
-4
Suppose -3*h + 182 - 29 = 0. Let c = h - 45. Solve c*s - s = -10 for s.
-2
Suppose 3*n - 91 + 31 = 0. Suppose 0 = n*b - 17*b - 15. Solve -z - 4*z = b for z.
-1
Let h(u) = -u**3 + 18*u**2 + 18*u + 24. Let q be h(19). Solve 0 = q*s - 4*s + 3 for s.
-3
Let x = 30 + -25. Suppose x*b - 9 = 2*b. Solve 0*u = b*u - 6 for u.
2
Suppose 3*a - 4 = 2*a. Let m(f) = -2*f - 12. Let s be m(-6). Suppose -d = -s*d. Solve d = a*l + l for l.
0
Let k be 51*(1 + 16/(-12))/1. Let v = k - -21. Solve -6*h = -2*h + v for h.
-1
Let i(f) be the first derivative of f**4/4 + 2*f**3 + 5*f**2/2 + 2*f - 2. Let o be i(-5). Suppose 40 = 2*d + o*d. Solve 4*c - 2*c = d for c.
5
Suppose -3*z - 6 = -18. Solve -d - z + 9 = 0 for d.
5
Let y(k) = -10*k - 77. Let l be y(-8). Solve l*m - 9*m = 0 for m.
0
Let z = 1291 + -1283. Solve -12*h - z = -10*h for h.
-4
Let k(n) = -n + 10. Let b be k(8). Let h(g) = -g**3 + 11*g**2 - 17*g - 5. Let y be h(9). Let x be (-8)/(-3) - (-2)/(-3). Solve x = -b*i - y for i.
-3
Let j(f) = 3*f + 8 - 2*f - 3*f + 16. Let o be j(12). Solve -4*n + 6*n = o for n.
0
Let y be (-22)/88 + 17/4. Let s be (-3)/(-3*2/(-72)). Let l be (-820)/s - 2/(-9). Solve -y*r - 3 = -l for r.
5
Let n be 3 + -4 + 3 + 1. Solve -13 = 4*z + n for z.
-4
Let h(c) = -c**3 - 9*c**2 - 14*c - 55. Let j be h(-9). Solve j*o + 4 = 69*o for o.
-2
Let a(f) = -f**3 + 20*f**2 + 2. Let o be a(20). Suppose -l = t + 3 - 13, o*t = l - 16. Let j = 16 + -11. Solve 0 = j*g - 2*g - l for g.
4
Let c = -59 + 24. Let k = c + 38. Solve 0*r + k*r = 0 for r.
0
Let j be 7 - (4/(-5))/((-6)/(-15)). Solve 0 = -j*f - 63 + 18 for f.
-5
Let k be 7 + -6 + 5 - 6. Solve -5*w - w - 30 = k for w.
-5
Suppose -4*f + 57 = -0*f - 3*q, -5*q + 97 = 4*f. Suppose 0*p - f = -3*p. Let g(b) = b**3 - 7*b**2 + 5*b + 8. Let m be g(p). Solve -c = -m*c for c.
0
Let r be (-6)/((-30)/(-13)) + 3/5. Let h(i) = i**2. Let x be h(r). Solve q - 9 = x*q for q.
-3
Suppose -14*p + 15 = -41. Solve -p*b = -14*b + 50 for b.
5
Suppose -135*c - 35 = -5*u - 138*c, -5*c + 37 = 3*u. Let v = -2 + 2. Solve v = 3*p - u*p - 1 for p.
-1
Let z(y) = 2*y**2 + 36*y - 38. Let l be z(-19). Solve l = -4*w + 22 - 6 for w.
4
Let h be (30/9)/(-1*(-2)/30). Suppose 4*q + q = h. Suppose 0 = -2*j + 7 - 1. Solve -8*y + j*y = q for y.
-2
Suppose -1 = 3*k - 19. Solve k*z = -9 - 9 for z.
-3
Let q = -33 + 55. Let f(s) = s**3 - 21*s**2 - 20*s - 42. Let x be f(q). Solve 3*b - 11 + x = 0 for b.
3
Suppose -2*r - 3*m = -7, 0 = -4*r - 0*r - 3*m + 11. Suppose 9*f = 7*f - 14. Let d be 9 - (f - -5)*-2. Solve r*g = 3*g - d for g.
5
Let q be 30/(11 - 16) - -13. Solve 0 = -4*w + q + 13 for w.
5
Suppose 23*p - 111 = 27. Solve -3 = -p*k + 9*k for k.
-1
Let f = 916 + -914. Solve 0 = -6*q - f*q + 8 for q.
1
Let u be 0/((-2)/(-3) - (-10)/(-6)). Solve 2*f - f = u for f.
0
Suppose -4*c + 21 = 5*k, 2*c = -0*k + k - 7. Let v be (2/(-4))/(2/(-32)). Suppose 20 = 3*p + k*x, 0 = -2*p - p + 2*x - v. Solve -2*z + p*z = 0 for z.
0
Let s = 22 - 5. Let i be (s/2)/((-2)/(-4)). Let j = -13 + i. Solve j*x = -x for x.
0
Suppose -2*h = 25 - 9. Let l = h - -11. Solve -3*n + l = 15 for n.
-4
Suppose 0 = 4*v + 3*v - 497. Let c = v - 69. Solve -4*x - 22 = -c for x.
-5
Suppose -11 = -h + i, 4*h = 10*i - 8*i + 36. Solve h*z + 8 = -z for z.
-1
Let x = 196 + -192. Let j(k) = k**3 + 7*k**2 + 6*k. Let q be (-4)/(-3*(-6)/27). Let h be j(q). Solve -a + h = x for a.
-4
Let b = -17 - -22. Let z be (2/b)/((-12)/(-60)). Solve -9 = z*t - 3 for t.
-3
Let j(x) = -x**3 + 5*x**2 + 7*x + 4. Let i be j(6). Suppose -y - y = i, -63 = 4*v - y. Let k = v - -32. Solve -l + k = 4*l for l.
3
Let u = -33 + 35. Suppose 0 = -4*s - 2*b, u*s - 2*b = 5*s + 2. Solve c = -s*c - 9 for c.
-3
Let x(q) = -q**3 + 7*q**2 + 3*q - 4. Let y be x(7). Let z = -10 + y. Suppose 0 = -k + 4*s - 18, -3*s + z = 4*k - 16. Solve k*m + 3*m + 15 = 0 for m.
-3
Suppose -3*h - 18 = 3*h. Let d be (h - -7) + 5/5. Solve -2*v = -d*v for v.
0
Let u = 153 + -142. Solve u*m + 5 = 6*m for m.
-1
Suppose -3*f + 4*n + n = -61, -23 = -4*f - 5*n. Solve -3 = -3*l - f for l.
-3
Let p be 3/(-6*1/(-4)). Let j be (-5)/2 + (-1)/(-2). Let l = j + p. Solve r + 0*r = l for r.
0
Let y(v) = 2*v - 26 + 7 + 4*v - 48. Let q be y(12). Solve q*o = 9*o for o.
0
Let m be ((-36)/15)/(-3)*(10 + 20). Solve 0 = 21*p - 13*p - m for p.
3
Suppose 2*w + 5 = 5*k, 4*w - 5 = 4*k - 9. Solve w = 13*g - 10*g - 12 for g.
4
Let s be (-2)/60*-4 - 2/15. Solve -4*z + 8 + 0 = s for z.
2
Suppose 75*x - 522 - 528 = 0. Solve 7 = -21*c - x for c.
-1
Let j(t) = t + 2. Let i be j(5). Let w(q) = -q**3 + 8*q**2 - 8*q + 2. Let n be w(i). Let b be 2/(-3) + n/(-3). Solve 11 = 2*l + b for l.
5
Suppose 3*q - 9 - 3 = 0. Let r be (-8 + q)*(-3)/6. Solve r*g - 12 = -2*g for g.
3
Let b(a) = 18*a - 243. Let z be b(15). Solve -8*y + 3 = z for y.
-3
Let b(n) = n**3 + 16*n**2 - 36*n + 12. Let f be b(-18). Solve -1 = -13*k + f*k for k.
1
Let d be -1 + (2 - (3 + -5)). Let f be (0/3)/(2/3*d). Solve -2*z = -f*z for z.
0
Let x be (7 + 3)/(-1 + 3). Suppose -x = 4*d - 13. Solve 0 = -7*y + d*y - 15 for y.
-3
Let g = 16 + 18. Suppose 4*o = 2*o + g. Solve -4*j - 3 = o for j.
-5
Suppose l = -z + 7, -3*l - 5 = -5*z + 6. Let p = 6 - l. Let i = 58 + -56. Solve -p*n + n + i = 0 for n.
1
Let d be ((-12)/(-11))/6 + (-634)/(-22). Let n = -23 + d. Solve 0 = 2*l + l + n for l.
-2
Suppose 0*k = -k + 2. Suppose -5 = -k*s + v, -4*s + 2*s + 4*v = -8. Solve -15 = s*m + m for m.
-5
Let i be (-25 - 365/(-20))/((-1)/28). Solve -i = -2*s - 199 for s.
-5
Suppose 81*h - 12 = 75*h. Solve -4*i - 24 = h*i for i.
-4
Let f(x) = x**3 + x**2 - 2*x - 53. Let n be f(0). Let r = -53 - n. Solve 7*l - 8*l - 1 = r for l.
-1
Let o(n) = 13*n - 43. Let d be o(5). Let f = d + -21. Solve -11 = 5*u - f for u.
-2
Suppose -5*l + 2*z - 5*z = -12, -5*l + 20 = 5*z. Let w(i) = i**3 + 20. Let n be w(l). Solve -6*h - n = -h for h.
-4
Suppose -1 = f - 6. Suppose 7*v - 8 = 12*v - 2*a, -16 = -5*v - 4*a. Solve -25 = -f*y - v*y for y.
5
Let t(z) = -z**3 + 14*z**2 + 11. Let l be t(14). Solve -20 = -7*b + l*b for b.
-5
Let q = 43 - 38. Solve -9*h + q = -4*h for h.
1
Let n = 67 - 97. Let t be ((-8)/(-6))/((-40)/n). Solve -r + t = -0*r for r.
1
Suppose 0 = 4*f - 5*v - 37, -4 + 1 = 4*f + 3*v. Solve f*s + 4 = -2 for s.
-2
Let u = 71 + -62. Let r = -2 + u. Suppose -4*n + 6 = -n. Solve -r*y = -n*y for y.
0
Let y = 54 + -49. Suppose -4*i - 3*h + 6 + 8 = 0, -18 = -4*i - y*h. Let v = 1 - -2. Solve v = -i*u + 3*u for u.
3
Suppose 6*x - 32 = 2*x. Suppose 2*i = -3*p + x, 3*p = 2*p - 3*i + 12. Solve p = -0*c - 2*c - 4 for c.
-2
Suppose -494 = -16*j + 66. Solve -6*q = -5 + j for q.
-5
Let h = -220 - -222. Solve -9*g - 20 = -h for g.
-2
Let n(h) = -h**3 - 8*h**2 - 2*h + 38. Let k be n(-7). Solve -8*b + k*b + 25 = 0 for b.
5
Suppose 0 = -5*l + 5*g - 285, 5*g + 100 = -3*l + l. Let f = l - -57. Solve -f = i + i for i.
-1
Suppose -2 = -v, -2*q - 3*v = 22 - 28. Solve q = 5*o - 19 - 6 for o.
5
Let t(i) = -i**3 - 14*i**2 - 34*i + 11. Let l be t(-11). Solve -l + 2 = -4*o for o.
5
Let q be 4/(16/(-17)) + 3/12. Let g be 2/3*(-30)/q. Solve f = g*f - 4 for f.
1
Suppose -8 = -4*f - 0*f. Suppose f*u = 5*w - 10 - 31, 2*w - 2*u - 20 = 0. Solve 0 = -4*n + w*n - 9 for n.
3
Suppose 0*w = -5*w - 25. Let v(i) = 6*i + 55 - 4*i + i - 39. Let d be v(w). Solve d = -o - 2 for o.
-3
Suppose 0 = 5*y + 5, 75 + 70 = -5*h - 5*y. Let r = -24 - h. Solve -r*b = -b for b.
0
Let n be (-433)/(-3) + (-28)/(-42). Solve -n = -17*t - 60 for t.
5
Suppose 0 = 4*a - 2*f + 6*f - 16, -5*a - f = -12. Let q(z) = -z**3 + 10*z**2 - 9*z + 5. Let r be q(9). Solve r*s = a*s for s.
0
Let m(k) = k**2 - 7*k - 5. Suppose -4*n + n + 27 = b, -4*n = 2*b - 38. Let g be m(n). Solve 9 = g*q + 3 for q.
2
Suppose -3*p + 