i(-27). Suppose 0 = z*c - 23*c - 26. Solve 2*t = 2*s + 8, c*s + 0*t = -t - 8 for s.
-4
Suppose -5*t + 7 = 99*v - 97*v, 0 = 4*t - 3*v - 24. Solve t*u = -5*i + 25, u + 4*i = -2*u + 20 for u.
0
Let x(b) = -b**2 + 8*b + 473. Let h be x(-18). Solve -h = 5*u - 4*o, 13 + 12 = -5*o for u.
-5
Let k(m) = -22*m + 134. Let l be k(6). Solve 2*o - 13 = l*s + o, -9 = s - o for s.
-4
Let r be (-4)/8 - 10/4. Let h be 2 - (0 + (r - -2)). Suppose -i = -3*i + 10. Solve 3*m - l - 8 = i*m, -21 = 5*m + h*l for m.
-3
Let r = -63 + 63. Suppose r = 5*g - 14*g. Solve 0 = -4*f + 4*t, 6*f - 2*f + 2*t - 12 = g for f.
2
Suppose 3*c = -c + 8. Let y(d) = 169*d - 163. Let p be y(1). Solve -p = -2*f - 0*f - c*l, 2*l = 5*f - 29 for f.
5
Let j be (2 - 10/3)*6/(-4). Solve 2 = 3*k + j*l, -2*k + 4*l = -k - 10 for k.
2
Let x(o) = -80*o + 41*o + 37*o + 3*o**3 + o**2. Let f be x(1). Solve -f*l + 0*r + 2*r = 4, -40 = 5*l + 5*r for l.
-5
Let h(z) = -z - 4. Let u be h(-5). Suppose 11 = 4*r - u. Suppose -2*w + 7 - r = 0. Solve 4*d - 4*t + 4 = 0, -14 = 2*d + w*t + 2*t for d.
-3
Suppose -6 = -12*t + 9*t. Suppose -h = 3*y, 0*h - h - t*y = 0. Solve -5*l - 3*o - 5 = h, -2*l + 4*o - o + 19 = 0 for l.
2
Let s = 33 - 43. Let h be -3 - (s - (-1 - 4/4)). Solve n = 3*k + 8 + 6, k - h*n = -28 for k.
-3
Suppose -11*p + 3*p - 440 = 0. Let d = p + 58. Solve 0 = -2*x - 10, -4*u + d = -x - 6 for u.
1
Suppose 12*a - 36 = 8*a. Suppose -a = -3*r + 6. Solve 5*o - 3*c = 0, -5*o + r*c = -3*o for o.
0
Let b be 21/((((-14)/4)/(-7))/1). Let t be 2 - 3/2 - b/(-28). Solve 7 - 4 = w + 3*i, 3*i = -t*w + 3 for w.
0
Suppose -55*t + 48*t + 77 = 0. Solve -6*d + 11*d = 3*p - 18, 3*d - 2*p + t = 0 for d.
-3
Let m(x) = x**3 - 17*x**2 - 18*x + 4. Suppose -2*q - 5 = 3*o - 35, 0 = 3*o + 6. Let i be m(q). Let a = 0 - 0. Solve a*z + l = -z, -i*l - 6 = z for z.
2
Suppose -t + 20 = -4*g, -3*t - 33*g + 37*g = -28. Solve 3*x + 6 = 3*b, -x + 4*b = -3*x - t for x.
-2
Suppose 19*x - 7 = 20*x. Let a = x - -11. Solve 0 = a*n + 12, n + 16 = 2*g - n for g.
5
Let d(q) = 2*q**3 + 3*q**2 - 2. Let a be d(-2). Let j = a + 7. Let g be 0/((1 - 3) + j). Solve 5*z = -3*h + 1, 2*z + 10 = 4*h - g for h.
2
Let g = -124 + 175. Let c = -47 + g. Solve c*t + a = 4*a - 27, -5*a + 10 = 5*t for t.
-3
Let t be 2/6 - ((-846)/54 + 14). Solve -5*n = -2*p - 2, -5*p + t*p - 3 = n for p.
-1
Let m(f) = -31*f - 310. Let y be m(-10). Solve l + y*l + 4*p + 11 = 0, 0 = 2*l - 2*p - 18 for l.
5
Let r(h) = -h**3 + 10*h**2 + 2*h - 24. Let i be r(10). Let w be 0/(0/i - 2). Solve -5*l - 5*p - 10 = w, -2*l - 2*p + 16 = -5*p for l.
2
Let w = 306 - 306. Solve 4*t + 30 = 5*p, 9 = 2*p - w*t - t for p.
2
Let j(d) = 6*d - 47. Let x be j(7). Let n be 5/2*(x + (5 - -2)). Solve -n*i - 4*m = -34 + 13, 0 = -5*m - 5 for i.
5
Let d(l) = 4*l**2 - 4*l - 20. Let v be d(4). Solve -5*m + 0*m - 4*f + v = 0, -5*m + 5*f = -10 for m.
4
Suppose -10*a = -6*a + 4. Let x be a - (-7 + 5)*6/4. Solve f + x*t = -4, -5*f + t - 9 = 11 for f.
-4
Let q(r) = -r**3 - 14*r**2 - 24*r + 2. Let c be q(-12). Solve -4*t + 5*u = -16, 7*t - 20 = c*t + 3*u for t.
4
Let p(w) be the first derivative of w**3/3 + 7*w**2 + 24*w + 7. Let f be p(-12). Let v = 7 + -5. Solve t - v + f = -y, 2*y - 2 = 0 for t.
1
Suppose -2*y = 3*y + t - 491, 3*t - 493 = -5*y. Let r be (-22)/(-7) - 14/y. Solve 5*g + 14 = -r*l, 3*l = 2*g - 6 - 1 for l.
-3
Suppose 18 - 68 = -5*c. Suppose 20*t = 15*t + 20. Let y be (-2)/t - 27/(-6). Solve -c = -2*p - y*i, 3*p - 4*i - 6 + 31 = 0 for p.
-3
Let c be 1/(5 + (-68)/14). Solve -4*g - c = 3*z, -4 = 5*z - 4*g + 29 for z.
-5
Let c(b) be the first derivative of -1 + 1/4*b**4 + 4/3*b**3 - b + b**2. Let u be c(-3). Solve 3*y + 4*k + 6 = 0, u*k + 1 = -4*y + 3 for y.
2
Let b(u) = u - 2. Let h be b(3). Let q be (1/(-5))/((-8)/80). Let n(l) = l**2 + 8*l - 15. Let k be n(-10). Solve -4*j = -5*o - 7, -q*o = -j + k - h for o.
-3
Suppose -3 - 21 = -8*w. Solve 0*v = 2*o - 4*v + 18, 12 = -3*o + w*v for o.
1
Let k be (4/2)/(-2) - -1. Suppose 56 = 12*c + 32. Let u(q) = q**2 + 4*q - 3. Let z be u(-5). Solve 5*y = 5*l + 10, k = -c*l - z*y - 2 - 2 for l.
-2
Suppose 5*h + r - 16 = 0, -6*h - 2*r = -5*h - 5. Solve x + n + 26 = 6*n, 5*x + 20 = h*n for x.
-1
Let j(x) = -x + 2. Suppose -i - 1 = 2. Let s be j(i). Suppose -a - s*l + 3*l - 2 = 0, -l + 2 = a. Solve 5*p - p = 4*t, 5*t - 2*p = a for t.
2
Let v(z) = -z**3 - 15*z**2 + 5*z + 1. Let m be v(-15). Let d = 84 + m. Solve 2*h + 8 = 0, 0 = -3*g + 5*h - d*h - 11 for g.
3
Let s(a) = -a**3 - 10*a**2 - 13*a - 15. Let z be s(-9). Solve -v + 5*v + 18 = -2*y, -3*v = 4*y + z for y.
-3
Suppose 4*m + 36 = 16*m. Solve 0*n = -m*n + 2*x + 17, n = 3*x + 8 for n.
5
Let q = -128 + 143. Suppose -3*x = -2*m - 11, 0*m = -4*x + 3*m + q. Solve x*a - 5*p - 10 = 0, 0 = 2*p + 1 + 3 for a.
0
Suppose 0 = d - u + 2, 3 - 2 = -3*d + 2*u. Suppose 3*w = -4*o + 24, 5*w = d*w + 2*o + 2. Solve 2*p - 2*s = 4*p - 8, -7 = -w*p - s for p.
1
Let a(d) = 4*d + 130. Let t be a(-32). Solve 7 = i - 4*h, -2*i + 1 = -t*h - 7 for i.
3
Let b = 297 + -292. Suppose -5*s - 15 = 2*m - 5*m, -2*m - 5*s + 10 = 0. Solve -b*f + 2*g + 12 = 0, 7 = m*f + 2*g - 1 for f.
2
Suppose 2*d - 4*d = 2, b - 3 = -5*d. Let l = 11 - b. Suppose 4*u = -2 + 10. Solve -3*x - 2*n = -5, u*x - l = 3*n - 17 for x.
-1
Let c = -172 + 175. Solve 2 + 1 = -3*p, -2*d + c*p = 3 for d.
-3
Let n(x) = -x**2 + 7*x + 102. Let o be n(14). Solve o = -2*h - 6, 5*i + 4*h + 45 = 0 for i.
-5
Let o(d) = -d**3 - 3*d**2 + 1. Let y be o(-2). Let n be (-10)/(-15) - 10/y. Solve -x + 1 = n*a - 9*a, 0 = 5*a - 4*x - 11 for a.
-1
Let f be 34 - 3*(0 - -1). Let j = -11 + f. Solve -d - 5*s = -j, -3*s = d - 7*s + 16 for d.
0
Let u = 29 - 21. Let z be u/(-20) - (-154)/10. Solve 0 = -k - 4*h + z, 8 = 4*h - 4 for k.
3
Suppose 9 = 3*y - b, -2*y + y - 2*b = 4. Let u = 91 - 91. Solve -20 = -3*i + y*n, -5*i + u*n + 16 = n for i.
4
Suppose 3*a = g - 18, 13 = -3*a - 2. Solve -5*v + 10 = x + 2, g*x + 5*v - 4 = 0 for x.
-2
Let v = -18 - -17. Let y be (-3 - (0 + -3))*v. Let z be y*(-2)/(-3 + 7). Solve f + 3 = -2*w + 2*f, z = -2*w - 3*f - 7 for w.
-2
Suppose d - 4*y - 25 = 0, -5*d - 15*y + 49 = -16*y. Solve h = -3*j - d, -4*j - 1 = h + 11 for j.
-3
Let f = 29 + -27. Let h be (-6)/(-12) - 1/f. Suppose -2*x + 8 = -h. Solve x*a - 35 = -3*c, -a - 3*a + 5*c = 5 for a.
5
Suppose 3*n = 2 + 10, 5*n - 22 = -c. Solve -z - 7 = c*k, 11 = -k + 5*z - 8*z for k.
-2
Let w be (2/(-6)*2)/((-75)/225). Solve 0 = -4*x + 8, w*x + 2*x + 17 = -5*a for a.
-5
Suppose 7*u + 52 = 20*u. Solve u*s - 5*y = 1, 5*y - 2*y = 3*s for s.
-1
Let l = -19 + 22. Let v be (3 + -3)/l - -4. Suppose -2 = -v*j + 6. Solve -2*c + 25 = 5*x, 3*c - 5*c - j*x + 16 = 0 for c.
5
Let k(s) = 6*s + 76. Let w be k(-12). Solve -12 = -0*h + h - w*l, 0 = -2*h + 5*l - 15 for h.
0
Suppose 0 = 5*y + q - 36, -3*q + 6 = -4*y + 31. Solve -3*a = 3*w + 12, 2*w + y*a = 3*a - 8 for w.
-4
Let x = 39 - 58. Let p(k) = 3*k**3 - 3*k**2 + k - 2. Let v be p(2). Let u be (x/(-57))/(1/v). Solve -4*l = -4*i + 4, 2*i - u = 6*l - 3*l for i.
-1
Let o = -180 - -185. Solve -2*n = d - o*n - 3, -12 = -4*d + 4*n for d.
3
Let q = -268 + 288. Let f(h) = -h**3 - 5*h**2 + 8*h + 8. Let o be f(-6). Let p = 4 + o. Solve -4*w - q = -5*w + 4*r, p = 2*w - 4*r - 20 for w.
0
Suppose -58*o = -52*o - 30. Solve o*z - 3 = -5*k + 32, k + 2*z - 11 = 0 for k.
3
Let g(c) = -37*c - 143. Let j be g(-4). Solve -u - 3*i + 10 = -2*i, j*u - 30 = -i for u.
5
Suppose -5 = 6*m + 7. Let d be (14/(-4) - -2)*(0 + m). Solve 4*x - 2*n + 20 = 0, 3*n = d*x - n + 25 for x.
-3
Suppose -f + 10 = -4*j, -3*f - 77*j + 81*j + 46 = 0. Solve 4*n - 2*z + f = -z, -z = 2 for n.
-5
Suppose -5 = 2*p - 15. Let m(d) = 715*d**2 - 1 + 5*d - d**3 - 711*d**2 + d. Let x be m(p). Solve -4*y = -x*k - 12, 4*y - 3 = 2*k + 7 for y.
2
Suppose -5*h + 20 = 0, 4 = i + 2*h - 6. Let m(q) = q**3 - q**2 - q + 1. Let r be m(i). Solve -2*s = 3*j + 11, 4*j - s = -r*s - 12 for j.
-1
Suppose -28 = 3*t + 29. Let m = -19 - t. Suppose m = f - 5 + 3. Solve 5*x = -f*p - 13, -12 = 5*x + 5*p - 2 for x.
-3
Let o be 1*-2*6/(-3). Let y(c) = -c + 16. Let h be y(o). Solve -s + h = s - 4*u, 0 = s - 4*u - 14 for s.
-2
Suppose -6*c = c - 56. Suppose 23 + c = 3*y - 5*a, 5*y - 5*a = 35. Solve 6*g - 3*g + 3 = 4*q, y*q - g + 1 = 0 for q.
-3
Suppose 0 = -0*v - 3*v + 6. Suppose 2*g + t