 = -k**2 - 32*k - 252. Let s be z(-16). Solve s = 2*n + 8 for n.
-2
Suppose 0 = -3*w - 3*z, -4*w + 0*w + 27 = -5*z. Solve w*f + 6 = -6 for f.
-4
Let f be (1 + 1)/(2/15). Suppose -6 = 8*b - 6. Solve 5*j + 10 + f = b for j.
-5
Suppose 13 = -2*s - 0*s - a, -2*s + 2*a = 10. Let c be 4/s*(-7 - (1 + -2)). Solve -c*y - 20 + 4 = 0 for y.
-4
Suppose 2*x = 9 - 7. Let v be (-1)/x - (-2)/(-3)*-6. Solve u = -v*u + 20 for u.
5
Let w(c) = c - 2. Let k be w(6). Let g = 223 + -224. Let s = k + g. Solve -s - 2 = 5*b for b.
-1
Suppose 4*x = 2*m + 25 + 3, -5*x + 38 = -4*m. Solve 0 = -4*z - x + 10 for z.
1
Suppose -3*v + 14 = -4. Suppose 4*i = v*i. Suppose -c + 22 = 3*h, -4 = -2*h + 2*c - i. Solve -2*x - h + 16 = 0 for x.
5
Let n(b) = -b**3 + 19*b**2 + 114*b + 10. Let q be n(-5). Solve -i + 11*i + q = 0 for i.
-4
Let o(c) = 63*c - 309. Let h be o(5). Solve -4*q + 14 = -h for q.
5
Let l(z) = -13*z + 16. Let r be l(1). Solve -2 = s - r*s for s.
1
Suppose 4*u - 4*z - 6 = -2, -2*z + 2 = 0. Let w be (u - 15/(-6)) + 2/(-4). Solve 14 = -w*f - 6 for f.
-5
Let j(x) = 5*x**3 - 3*x**2 + 3*x + 2. Let i be j(2). Let k = i + -29. Solve -2 = z - k for z.
5
Let f be 6/(-2)*8/(-6). Suppose 4*x - 4 = f. Let n be 95/57 - (-4)/(-6). Solve 0 = -z - x - n for z.
-3
Suppose -4*d + 75 = d. Let w be (0*(-7)/56)/1 + 5. Solve 0*j - w*j = -d for j.
3
Suppose 5*d - 3*p = 228, -2*d - 2*p + 120 - 32 = 0. Suppose d + 30 = 5*x. Solve -2*z = z + x for z.
-5
Suppose 2*u - 44 = 4*f, -f + 6*f - 11 = -3*u. Suppose -u = -w - w. Solve w = 3*a - 0 for a.
2
Suppose 3*m + 9 = 6*o - 3*o, -4*m = -5*o + 15. Solve -5*h - 4 + 24 = m for h.
4
Let w = 183 + -180. Solve 11 = w*l + 8 for l.
1
Suppose -z + 20 = -4*w, -4*z + z - 3*w + 15 = 0. Solve -5*t - 7 = z for t.
-3
Suppose -7*z + 6*z = -6. Let t(a) = -a**3 + 7*a**2 - 5*a - 2. Let l be t(z). Solve -l*j = -2*j + 10 for j.
-5
Let r(w) = -w**2 + 12*w - 35. Let j be r(5). Solve j = -3*v + 36 - 36 for v.
0
Let i = -600 + 604. Solve 9 = -o + i for o.
-5
Let h(t) be the first derivative of t**3/3 + 5*t**2/2 - 24*t + 17. Let d be h(-8). Solve 4*u + 3 - 11 = d for u.
2
Let d(t) = 35*t + 329. Let o be d(-9). Solve -o*f + 4*f - 40 = 0 for f.
-4
Let a be 228/3*(-2)/4. Let u be (-4)/(-6) + a/(-6). Solve -11*z + u*z + 16 = 0 for z.
4
Let x be ((-242)/24 - (-14)/(-21))*4. Let b = x - -48. Solve -6 = 2*c - b*c for c.
2
Let u = -21 + 36. Suppose -5*o - 14 = -4*y + 56, -10 = -o - 4*y. Let c(g) = g + 14. Let w be c(o). Solve j - u = w*j for j.
-5
Let l be (-2 - 2)*(-2)/2. Suppose 4*p = c - 6*c + 11, -11 = -l*c - p. Solve 0 = c*f + 2*f - 20 for f.
4
Let y(o) = -o**2 - 37*o + 1. Let g be y(-37). Solve 3 = 2*q + g for q.
1
Suppose -37 = 3*v + 41. Let b be v/(-10) + (-6)/10. Let r be b*(-3 - (-45)/6). Solve 3 = 3*t - r for t.
4
Let a(v) = -v**2 - 11*v + 1029. Let h be a(27). Let f be (-4)/14 - 32/(-14). Solve f*i - 25 = -h*i for i.
5
Suppose n + 135 = 3*z, z - 2*n = 6*z - 225. Solve -49*y = -z*y for y.
0
Suppose 0 = -7*f + 5*f + 32. Let t = f - -14. Solve -5*m + 10 - t = 0 for m.
-4
Let b be 6*(-4)/(-12) - 2. Suppose b*j = j. Let z = 3 + j. Solve -z*o - 2 = -o for o.
-1
Let l(a) = -10*a - 710. Let w be l(-71). Solve x + 17 - 21 = w for x.
4
Let z = -1037 - -1052. Solve 0 = z*r - 2*r for r.
0
Let r(f) = -5 - 1 + 2*f - 6. Let m be r(6). Solve m*j + 5*j + 5 = 0 for j.
-1
Let t(m) = -m**3 + 2*m**2 + 2*m - 2. Let l be t(2). Suppose -8 + l = -2*w. Suppose 5*d - w*h - 89 = 0, -d - d + 41 = -3*h. Solve -j - 3*j = d for j.
-4
Suppose -15*n + 50*n - 700 = 0. Solve 0 = 2*a + 3*a + n for a.
-4
Suppose 635*h + 44 = 646*h. Suppose 75 = 5*q + 3*j, -j = -2*q + 4*j + 30. Solve o = -h*o + q for o.
3
Let v be (-16)/(-20) + (-12)/15. Let n(o) = o**2 + 3*o - 2. Let t be n(-4). Solve v = t*a - 1 + 5 for a.
-2
Suppose 2*u - 5 - 1 = 0. Let k = -33 + 37. Suppose k*v - 3*n = -1, 4*v + 3*n = 7*n - 4. Solve c = v*c + u for c.
-3
Let k(c) = c**3 - 8*c**2 - 2*c + 11. Let n be k(8). Let s = n - 2. Let g = s + 9. Solve 7 - g = a for a.
5
Let t(p) = p**3 + 4*p**2 - 4. Let r be t(-3). Let c(b) = 3*b - 5. Let w(j) = j. Let l(s) = -c(s) + 6*w(s). Let u be l(r). Solve -2*n - u = 3*n for n.
-4
Suppose -3*p = y - 2 - 12, 5*y - 22 = -3*p. Let i = 121 - 121. Solve i = 3*u - p*u for u.
0
Suppose 23 = 4*h - 25. Let o(a) = -100 + 42 + 42 + a**2 - 10*a. Let b be o(h). Solve -j + b = j for j.
4
Let p be 24/(-16)*6/9*-4. Suppose 0 = -w + p*w + 7*w. Solve -2*i = -w*i for i.
0
Let p = 714 - 710. Solve p*o + 6 = -2 for o.
-2
Let h(d) = d**3 + 9*d**2 - 45*d + 19. Let g be h(-11). Solve n = -g + 269 for n.
-3
Let i = -14 - -28. Let x be (-4)/(-6) - i/(-6). Let q be (-17)/(-51) - (-1)/(-3). Solve q = b - x*b for b.
0
Suppose x - 5 = 4*m - 4, -5*m - 3*x + 20 = 0. Suppose -3*k - 2*h = -0*k - m, k = -4*h - 13. Solve -k = -w - 4 for w.
-1
Suppose -30*f + 537 = -1773. Solve 87*a = f*a for a.
0
Suppose 3*n = -2*t + 20, -2*n - t = -0*n - 12. Suppose -3*k - 4*b = k - 16, n*k + b = 28. Solve k = -r - 3*r for r.
-2
Suppose -3*a + 30 = 4*w, -4*a + 2*w + 10 = -8. Suppose 4*p - 10 = a. Let b = -17 - -37. Solve -s = p*s - b for s.
4
Let k be -3 - ((-4)/(-4) - 4). Suppose k = -3*q - 12, 4 = -y + 3*y - q. Solve y = 3*j - 2*j + 1 for j.
-1
Suppose 3*a = a - 10, -4*r = 4*a. Solve 0 = r*h - 7 + 2 for h.
1
Let v(g) = 13*g - 102. Let p be v(10). Solve p*a = 22*a + 12 for a.
2
Let s = -260 + 349. Solve s*u = 88*u + 2 for u.
2
Suppose 4*d = -2*j + 14 + 6, 0 = -5*j + 10. Let a(h) = -h + 3*h + 7 + 2*h**2 - 2 - h**3. Let p be a(3). Solve p*t = 6*t - d for t.
1
Suppose -5*c = -4*s + 35, -4*s + 2*c + 14 + 12 = 0. Let z = 17 - 11. Let r be ((5 + -1)*-1)/((-8)/z). Solve r*f - s = 7 for f.
4
Let p be 189/(-18)*(-10)/15. Solve 5*t + p = -18 for t.
-5
Let w be (6/(-9))/((-248)/60 - -4). Solve w*x - 4*x + 1 = 0 for x.
-1
Let x be -1*(-4 - (1 - 0)). Suppose -3*r + 25 = 5*y + 2*r, 4*y + r - 17 = 0. Solve i + x = -y*i for i.
-1
Let x(p) = 7*p - 463. Let b be x(73). Solve 4 + b = -26*s for s.
-2
Suppose 11*h - 6 - 5 = 0. Solve 0 = -5*g - h + 6 for g.
1
Suppose 4*l = -2*t + 14, -3*t - 2*t - 19 = l. Let v be (-8)/l + (-32)/(-6). Solve 0 = v*b - 9 + 21 for b.
-3
Let d be (8/2)/((-28)/(-7)). Let q be (d/4)/((-1)/(-16)). Solve 0 = -0*f + q*f for f.
0
Let u be (-5)/10*0/2. Suppose 3*x + a - 1 - 3 = u, 5*x - 4*a = 35. Suppose 39 = 3*n + x*c, -2*n - 2*c + 34 = -4*c. Solve 2*r + r + n = 0 for r.
-5
Let m be 4 + (-55)/(-10)*(-8)/(-22). Let r = 26 - 20. Solve 4*j = -r - m for j.
-3
Let t(w) = 2*w + 45. Let p be t(-17). Suppose -15 = -v - p. Solve 4*m + 0 = -v for m.
-1
Let g(c) = 3*c - 10. Suppose 7*u - 42 = -7. Let p be g(u). Solve m = p*m - 12 for m.
3
Let k be -28*1*(840/98)/(-15). Let y be 1 + ((-11)/(-1) - -2). Let p be (-2)/6 - y/(-6). Solve k = p*h + 2*h for h.
4
Suppose 0 = -a - 2*v + 120, -4*a = -2*a + 3*v - 239. Suppose -4*z = -3*b - a + 48, -3*z + 46 = -2*b. Let d = b + 26. Solve d = m - 1 for m.
1
Let v(c) = 3*c**2 + 54*c + 8. Let o be v(-18). Solve 15 = -o*f - 25 for f.
-5
Let i(g) = 23*g + 2*g**2 - 5*g + 0*g**2 + 4 - g**2. Let j be i(-18). Solve j*n = 16 - 0 for n.
4
Let q = 272 + -262. Solve -q + 5 = x for x.
-5
Let w(u) = -u**3 + 47*u**2 - 45*u - 41. Let g be w(46). Solve -26 + 11 = g*t for t.
-3
Let u(y) = y - 4. Let z be u(7). Suppose -2*q - 10 = -4*q. Solve q = b + z for b.
2
Suppose z - o - 4 = 3, -3*z = o - 5. Let y be -3*(-1)/z - -1. Suppose 3*n - 9 = -0*n. Solve n + 3 = y*i for i.
3
Let a(b) = 9*b. Let p be a(1). Suppose 3*d + 0 = p. Solve -z - d*z + 16 = 0 for z.
4
Let i be (-1)/(-4) - 138/(-24). Let l = -7 - -9. Suppose -l*b + 10 = 2. Solve -5*p - b = i for p.
-2
Let c be (108/(-15))/(-12) - 12/(-5). Solve 0 = 7*f + c*f - 12*f for f.
0
Let h be -3*(2 - (-20)/(-6)). Suppose -47 = 5*t - 297. Suppose t = 5*i + 5*c, i + 0*c = -3*c + 20. Solve -14 + h = i*j for j.
-2
Let j = 3 - -9. Let f be 0 + 8 + j/(-4). Let t = -1 + f. Solve 0 = -5*x + t*x - 4 for x.
-4
Let i be ((-24)/(-9))/((-12)/(-18)). Solve -4*c + 16 = i for c.
3
Let v be 47/((-1)/(-1) + 11/(-22)). Solve -24*c - v = 2 for c.
-4
Suppose 0 = 2*h + x - 30, 5*x + 3 = -7. Let i be 14/4 - 8/h. Solve -i*s = -8*s + 25 for s.
5
Suppose 16*v - 21*v + 63 = 4*n, 3*n - 5*v - 56 = 0. Solve -19*b = -n*b + 4 for b.
-2
Suppose 1423 = 5*j + 4*n, 7*j - 2*j - 2*n - 1441 = 0. Solve c - j = -292 for c.
-5
Let u(d) = -d**2 