0 for k.
-1
Let y(x) = 2*x**3 - 10*x**2 - 5*x + 19. Let t be y(8). Let b(n) = 0*n**2 - t*n + 353*n + n**2. Let p be b(11). Solve 0 = -5*z - 36 + p for z.
-5
Let k be 18/27 + 7/3. Suppose 2*z - 11 = -5*y + 26, 2*z - 7 = y. Let s = z - 6. Solve s = -k*i - i for i.
0
Suppose -2*m + 19998 = 2*d, 6*d - d - 59998 = -6*m. Solve -4*b - 9983 = -m for b.
5
Let o = 13 - 8. Let l be 0/3 + (1 - -2). Let k(z) = z - 3. Let f be k(5). Solve -f = -l*g - o for g.
-1
Let r = 677 - 674. Suppose 0 = -6*z + 11*z + c - 55, -2*z + r*c + 5 = 0. Solve 2*y - z*y = -40 for y.
5
Suppose 16*t - 13*t - 72 = 0. Let l(b) = b**2 - 22*b - 43. Let i be l(t). Solve -i*x = 10 - 0 for x.
-2
Let k(d) = 5*d**2 + 5*d - 8. Let q be k(1). Suppose q*w + 3*w - 5 = 0. Solve 0 = 2*j + 9 + w for j.
-5
Suppose -2*r - 3 = 2*y - 27, 2*r - 40 = -4*y. Suppose y*q - 4 = 20. Solve -q*t - 1 = 8 for t.
-3
Let h(t) be the first derivative of -3*t**4/4 - 2*t**3/3 + t**2 + 4*t + 193. Let g be h(-2). Solve 15*o + g = 11*o for o.
-4
Let w(m) = 11*m**2 - 20*m - 8. Let y be (4*-3)/(9/6). Let d(f) = -7*f**2 + 13*f + 5. Let p(g) = y*d(g) - 5*w(g). Let h be p(0). Solve h = x - 5*x + 4 for x.
1
Suppose 0 = -5*k - 9 + 34. Suppose 0 = k*m + 2*n, m + 4*n = -5 - 13. Suppose -m*d + 22 = 3*j, -5*j = d + 10 - 35. Solve b = -j + 5 for b.
1
Let i(m) = -5*m**2 + 101*m + 201. Let h be i(22). Solve -h*c = 31*c for c.
0
Let y(z) = -5*z**2 + 42*z + 54. Let k(h) = 2*h**2 - 20*h - 27. Let w(i) = -7*k(i) - 3*y(i). Let b be w(-12). Suppose -6*d = -2*d. Solve -b = v - d*v for v.
-3
Suppose 3*k - 113 = 2*n, -166 + 14 = -4*k + 3*n. Solve 0 = -429*t + 422*t + k for t.
5
Let p = -2182 - -3020. Solve 844*c = p*c + 18 for c.
3
Let w = -1930 + 1932. Suppose -5*i - 15 = -0*i. Let o be (-17)/(-5) - i/5. Solve 2 = o*d - w for d.
1
Suppose -7*r + 49 = 483. Suppose -4*x + 67 + 197 = 0. Let u = x + r. Solve -u*i - i = 5 for i.
-1
Let w be (1 - 4)*64/12. Let i be ((-19)/(-2))/((-5)/10). Let z = w - i. Solve g = -z - 2 for g.
-5
Suppose 5*h = 11 + 4. Let l = -293 - -570. Suppose -a - 257 = -l. Solve 0 = h*n - 8*n - a for n.
-4
Let g(l) = -30*l**2 - 47*l + 81. Let h(n) = -11*n**2 - 16*n + 27. Let w(f) = 4*g(f) - 11*h(f). Let y = -17 + 26. Let d be w(y). Solve 4*m - 5*m + 4 = d for m.
4
Let f = -3638 + 3676. Solve 14*t + 18 + f = 0 for t.
-4
Let b be (((-70)/15)/(-14))/(2/30). Solve -12 = b*g + 13 for g.
-5
Let h = 51 - 49. Suppose 32 = 3*o - h*c, -4*o = 3*c - 8 - 29. Let l be (-6)/15 + (-34)/(-10). Solve -l*f - 2*f - o = 0 for f.
-2
Let l(t) = t**3 - 15*t**2 - 34*t + 29. Let h be l(17). Solve 8*g = -h*g + 37 for g.
1
Let d(q) = -q**3 - 13*q**2 + 13*q - 13. Let r be d(-14). Let g be ((4/(-2))/r)/((-44)/286). Solve 5*j = g - 3 for j.
2
Let u = 230 + -234. Let y be (u/6 + 1)/((-7)/(-84)). Solve 0 = y*k + 5 + 11 for k.
-4
Suppose 2671*x - 2660*x = 0. Let j = 5 - 4. Solve u + j - 4 = x for u.
3
Let g(l) = l**3 + l. Let z = -92 - -92. Let p be g(z). Solve p = 4*f + 23 - 3 for f.
-5
Suppose 121 = -48*p + 217. Solve 12*y - p*y - 40 = 0 for y.
4
Suppose 5*d - 3*j = -2 - 1, -5*d + 4 = 4*j. Suppose -s = -y - 8 - 7, d = -s - 3*y + 15. Let p(i) = -16*i + 101. Let m be p(6). Solve 10*q - m*q = -s for q.
-3
Let z(k) = -3*k. Let b be z(-7). Let a be ((-3)/(-9))/((-41)/(-246)). Suppose 3*j - 51 = -4*u + u, u = -a*j + b. Solve 4*d - 3 = u for d.
4
Suppose 4*m + 25 = 4*r + 9*m, 25 = 5*m. Solve -2*u - 36 + 26 = r for u.
-5
Let l = 17981 + -17913. Solve l*g = 65*g + 21 for g.
7
Let b = -499 + 545. Let d be 44 - b - (-9)/1. Solve -d*q = -5*q - 4 for q.
2
Let r(t) = -2*t**3 + 21*t**2 - 7*t - 31. Let y be r(10). Let c be 10 + y + -1 - 4. Suppose -3*o - 6 = 0, -3*w = -c*o - 12 - 5. Solve 4 = -p + w for p.
-1
Suppose 1686 - 246 = 36*o. Solve o*n - 44*n - 20 = 0 for n.
-5
Let c(r) = 2*r**2 - 38*r + 41. Let s be c(18). Suppose -s*u + 9 = -0*u - 4*a, -4*a + 21 = u. Solve 0*b = -b + u for b.
5
Suppose -79 + 216 + 129 = 38*n. Solve -16 = -3*g - n for g.
3
Suppose -41*v + 485 = 56*v. Solve -v*z = 37 - 42 for z.
1
Suppose 12948 = -107*l + 185*l. Let t = -146 + 320. Suppose 0 = -2*a + t - l. Solve 8*v - a*v = 12 for v.
3
Let x = 11 - 8. Let d be (20/(-3)*x)/(-1). Let m(p) = -5*p**3 - 1. Let n be m(-1). Solve -w - n*w = -d for w.
4
Suppose 3*p - 275 = -38. Suppose -14*l = -p - 5. Solve 5*b = -4 - l for b.
-2
Let a(n) = n**2 - 3*n + 5. Let h be a(3). Suppose -4*m = -12, 0 = 4*k + h*m - 10 - 21. Solve -k*f = -f - 9 for f.
3
Let x be (-8)/(-25)*(-50)/(-20)*5. Suppose 2*t - 16 = 2*f - 4, -x*f = -5*t + 27. Solve 5*k - t = 6*k for k.
-3
Suppose -46 = 10*d - 76. Suppose 2*l = -3*q + 52, -q + 16 = -d*l + 4*l. Solve 2*h + 2*h - q = 0 for h.
5
Let q = -7 - -11. Suppose 0 = -q*m - 4*r - 12, 0*r - 9 = -m + 3*r. Let s be m*(2 + (-10)/4). Solve s - 2 = -2*a for a.
1
Let d be ((-576)/32 - -15)/(-2 + (0 - 1)). Solve 31 = -5*t + d for t.
-6
Let i = 621 - 616. Solve i*k + 12 = -8 for k.
-4
Let x(n) = -6*n + 107. Let i be x(17). Suppose -i*v = 3*q - 95, 0 = -v - 2*q + 3 + 9. Solve -2*g + 32 = v for g.
5
Let p = 5591 + -5459. Solve p = 10*u + 23*u for u.
4
Suppose -49 = -b - 2*t + 5*t, t = 5*b - 189. Suppose 4*m + b = 61. Solve 2*s - m*s = 8 for s.
-2
Suppose 15*x = 25*x - 60. Suppose -63 = -x*u - 3. Solve -25*f - u = -20*f for f.
-2
Let n be -5 - -5 - 296/(-3) - 27/(-81). Solve n*l - 17*l - 82 = 0 for l.
1
Suppose -3*j - p + 213 = 0, -18*p + 14*p = 0. Solve j*m - 30 = 77*m for m.
-5
Suppose 15 = 2*b + 7. Suppose 4*u - 5*y = -81, b*y = -5*u + 2*y - 126. Let q be (-16)/u - 21/(-9). Solve -2*a = -q + 11 for a.
-4
Let f(c) = 77*c**2 + 529*c - 54. Let p be f(-7). Suppose 7*w - 20 = 2*w. Solve 0*t + p = -w*t for t.
-4
Let q be ((1 - 2)*-24)/(1/6). Let m be (-2)/(-3) - q/(-27). Suppose 6 = m*x - 12. Solve x = -2*a + 5*a for a.
1
Let k = 189 - 187. Let j(x) = -x**3 + 4*x**2 - 3. Let o be j(k). Solve h = o*h for h.
0
Let m = -29 - -32. Suppose -3*n - 39 = -4*y, 0 = m*y + n - 1 - 12. Solve 0 = -2*c + y + 2 for c.
4
Suppose 5*u - 5 = 0, -393*u + 12 = 2*j - 395*u. Solve 11*z + 8 = j*z for z.
-2
Let f be -35*(2/(-2))/7. Suppose -57*z + 58*z - 16 = 0. Solve -z = -f*x + x for x.
4
Let i(m) = -m**3 - 5*m**2 + 21*m + 130. Let v be i(-6). Solve -10*g = v*g + 200 for g.
-4
Let t be 50/6 + 1/(-3). Suppose 2626 - 2920 = -98*o. Solve w + t - o = 0 for w.
-5
Suppose 0 = 11*r - 15*r + 5*f - 2786, 0 = 5*f - 10. Let s = r - -696. Solve 1 = -s*t - 7 for t.
-4
Let u(b) = 2*b**3 + 14*b**2 + 20*b + 86. Let q be u(-6). Solve 35 = -q*n + 45*n for n.
5
Let a = -52 + 54. Suppose v - k = a*v - 2, 2*k = -4*v + 12. Solve -6*c = -v - 8 for c.
2
Let j be 2 - (-6 - (6 + -2)). Suppose 3 = -3*f - 0*u + 2*u, 0 = 2*f + 2*u + j. Let n be (-27)/18 - -7 - f/(-2). Solve -n*s - 5 = s for s.
-1
Let d(x) = 19*x - 186. Let o be d(10). Suppose -8*a - 2*m + 88 = -5*a, 2*a + o*m = 72. Solve -5*k - a = -6 for k.
-4
Let r(c) = -c**2 + 8*c + 32. Let g be r(-12). Let o be (g/(-6))/13 - 1/(-3). Solve o*s = 16 - 10 for s.
2
Let j = 10363 - 10359. Solve 30*y + j*y + 68 = 0 for y.
-2
Suppose 27 = -4*j - d - 0, 42 = -5*j - 4*d. Let i be 3/(j - (-162)/24). Solve 7*p = i*p for p.
0
Let t be 21 - ((-6)/(-4) + (-4)/8). Suppose -3*q - q = -t. Suppose 4*a + 0*x = 5*x + 3, q*x = 2*a + 1. Solve l = -a*l + 6 for l.
2
Let f = -2665 + 2700. Solve -f*j = -7*j - 112 for j.
4
Let h be (-1)/(11 + -4 - 8). Let a be (11 + -6 + 5)/h. Solve -2*c - 6 = -a for c.
2
Let i = -37 - -81. Let v = i - 40. Solve -w - 25 = v*w for w.
-5
Suppose 5*g = -5*d - 85, 14 = -5*d - 2*g - 86. Let v = -15 - d. Solve -v*t = -12*t for t.
0
Suppose 22 = 3*x - 4*a + 8*a, -3*a = -3. Suppose 4*f = x + 46. Solve -f*t + 8*t - 15 = 0 for t.
-3
Let l(a) = -4*a**2 + 28*a - 37. Let y be l(5). Suppose y*g + 36 - 87 = -5*k, -2*k = -2*g + 18. Solve -g*u = -28 + 88 for u.
-5
Suppose 4*j + 5*p + 1280 = 0, -13*j + 12*j = -5*p + 320. Let o be (-12)/10*j/96. Solve o*v = -v - 20 for v.
-4
Let j be 37/(18 + (-8 - 9)). Solve 2*i - j = -39 for i.
-1
Let d(t) = -1 + t**3 + 8 + 4*t**2 - 6*t + 0*t**3 + 0*t**3. Let g be d(-5). Let n be 1/((-4)/g) + -1 + 29. Solve -n = 3*z + 2*z for z.
-5
Suppose 0 = n - 109 + 9. Suppose -n = -4*p - p. Let w = 4727 + -4723. Solve -w*y - y = p for y.
-4
Let z = -76 + 126. Suppose 2*x + z = 7*x. Let r(w) = -w**2 + 12*w - 20. Let n be r(x). Solve -2*v - v + 3 = n for v.
1
Let j(q) = 5*q - 4 - 