olve i - 16 = 4*p, -5*i = -p - n - 1 for i.
4
Let w(j) = j**3 - 5*j**2 - 8. Let x be w(6). Let u = x - 21. Solve -3*v - y - u = -v, -2*v + y - 13 = 0 for v.
-5
Let c be (3 + -1)*-1 - (-5 + 1). Let q = 0 - -5. Suppose -5*k + 20 = h, -2*k + 5*k - h - 4 = 0. Solve 3*y - k = -q*a, 2 = c*y - 5*a - 0 for y.
1
Suppose -s = 3*d - 1, 4*s + 2*d - 181 + 177 = 0. Solve 2*x - s = o, -3*o + 11 = -3*x - 4*o for x.
-2
Suppose 95*i - 98*i = -5*z + 10, 0 = 3*i - 15. Solve -v + 2*v + 4*h = -11, -5 = -5*v - z*h for v.
5
Let o = 49 - 45. Let l = o + -3. Solve -1 = 4*s + 5*d + l, 2*d = 4 for s.
-3
Suppose -4*l - 12 = -2*u, -5*u - 3*l + 2 = -15. Solve 5*f - 2*k = -29, 7*f + u*k + 12 = 3*f for f.
-5
Let j = 478 + -463. Let s(d) = 2*d - 3. Let f be s(4). Solve -5*v + u = j - 2, 4*u - 22 = f*v for v.
-2
Let s be 31 - (-3 + 3 - (-3 - -1)). Solve -4*k = 5*m - 3*k - 24, -5*m + 4*k + s = 0 for m.
5
Suppose 0 = q - 53 + 50. Solve q*b = 3*m - b + 4, -2*m = 3*b + 14 for m.
-4
Let b = -122 - -174. Let i be b/130 + 8/5. Solve -4*j - 2*k = -4*k + 6, i*j - 2*k = -8 for j.
1
Let g(x) = 0*x**2 + 0*x + 12*x + 1 - 5 - x**2. Let p(m) = m**3 + m**2 + m + 11. Let c be p(0). Let j be g(c). Solve 4*s + 19 = -5*n - 21, s - j = 3*n for s.
-5
Suppose -9*d + 660 = 3*d. Suppose 10*m = -m + d. Solve -m*n + 20 = 0, 2*y + 0*y = 5*n - 20 for y.
0
Let p = 123 - 118. Solve l + 0*u = -5*u - 18, -4*l - 12 = p*u for l.
2
Let n = -209 - -211. Solve -n*b - 2 = -l, 2*l + 3*b - 2 = 6*b for l.
-2
Suppose 4 = -4*z + 24. Suppose -6 = 5*x + 2*l, -3*x + z*l - 12 = 2*l. Let j be x - (1 + -2) - -10. Solve -4*f + 6 = 2*m - 6*f, -5*f - j = -3*m for m.
3
Let l = -13 - -24. Let w = -56 + 136. Let k be w/14 - 2/(-7). Solve 31 = -5*i - 4*a, -3*i - 2*a - l - k = 0 for i.
-3
Let u = 441 + -436. Solve 4*v + 4*s + 8 = 0, -2*v + 3*v = u*s + 16 for v.
1
Let g = -2694 + 2699. Solve -2*w = -g*h + 9, w + 4 = 2*h - 0 for w.
-2
Suppose 0*c = c + 5, -m + 3*c - 2 = 0. Let p = m - -38. Suppose 2*l + 30 = 8*l. Solve d = -l*t - p, 3 = -3*d - 3*t - 12 for d.
-1
Let x = 19 + 4. Solve -2*y - o + 2 = 1, 0 = 4*y - 5*o - x for y.
2
Let b be (2 + 4/((-24)/10))*15. Suppose -100 = -b*z - 80. Solve q = 4*a - 4 - 8, 24 = z*a + 2*q for a.
4
Let l(u) be the first derivative of u**2/2 + 7*u + 129. Suppose 0*n = -n - 5. Let b be l(n). Solve 0 = -5*q - b*m - 3*m - 25, -5 = q - m for q.
-5
Let m(d) = -4*d**3 - 6*d**2 - 5*d - 4. Let r be m(-4). Let h = -173 + r. Let q(y) = 5*y + 1. Let s be q(2). Solve -h*l - 9 = 3*t + 3, -4*l + t - s = 0 for l.
-3
Suppose 3*d - 6 + 4 = -2*q, -3*d = -3*q + 18. Suppose -3*x + 126 = q*x. Solve 3*u - 18 = 3*m, -x = -0*u + u + 5*m for u.
2
Suppose 1 = 2*g + 13. Let t = g + 8. Solve -t*b = -10, 2*n + 5*b = -3*n + 30 for n.
1
Suppose 0 = 39*c - 34*c. Let v = c + 5. Solve v*k = 3*i + 30, -3*k + 34 = -5*i - 0*k for i.
-5
Let d(a) = -3*a + 16. Suppose -3*g + 6 + 6 = 0. Let r be d(g). Solve p - i = -5, 2*p + 12 = 5*i - r for p.
-3
Let u = -35 + 28. Let n(w) = -w**2 - 9*w - 10. Let t be n(u). Solve -x + t*i = -5*x - 16, -3*x = 5*i + 22 for x.
1
Suppose j + b + 4 = -0, 5*j - 1 = 2*b. Let k be (-13 - -3)*j/2. Solve -3*w + 20 - 1 = k*n, -w = 3*n - 9 for n.
2
Suppose 5*k + 4*q - 14 = 0, 2*k + 7 = 5*k + q. Let p(z) = 186*z - 1116. Let y be p(6). Solve -5*r + g = 3, -15 = -y*r - k*r - 5*g for r.
0
Let x(i) = i**3 + 2*i**2 + 3*i - 4. Let t be x(1). Solve -v + 2*f - 7 + 0 = 0, -t*v = 3*f + 7 for v.
-5
Let y be (2 + 4/(-2))/(-1). Suppose y = 9*n + 3*n - 24. Solve n*b - 13 = -3*k, 4*b + 1 = 5*k - 2*k for k.
3
Suppose -4*k - h - 13 = -87, 0 = 2*k + 5*h - 46. Solve -2*i - 2*i + 20 = 4*m, 3*i = -4*m + k for m.
3
Let b be -2 + ((-2)/(-2) - 1). Let i = b + 26. Suppose 4*v - i = -5*p + 3, v - 5*p + 12 = 0. Solve -v*t + 4*w = -w - 8, -w = 4 for t.
-4
Suppose -2*h + 6*o + 22 = 0, -4 = -3*h - o + 9. Solve 12*p = h*j + 11*p, p = -j - 6 for j.
-1
Let l be (-451)/22 - (-2)/(-4). Let o = -15 - l. Solve -o*k = -k + 4*w + 2, -5*k - 8 = w for k.
-2
Let n = -1 - 11. Let k = n + 16. Solve -6*j + 2*j - 4*d = -28, k*j + 5*d - 32 = 0 for j.
3
Let m = -1630 - -1639. Solve 3*k = 3*w + m - 0, 2*k = -w for k.
1
Suppose -56 - 76 = -2*s. Let q = 69 - s. Solve 3*d + 0 = -2*g + 11, q*d - 17 = g for g.
-2
Let t = -67 - -112. Let o be 99/t + 2/(-10). Let f(u) = -3*u - 6. Let p be f(-6). Solve -m + 0*z + 5*z - p = 0, -o*z + 21 = 5*m for m.
3
Suppose -10 = 3*c - 5*c. Let g = c - -3. Solve 2*w = 4*s - g, -2*w - 3*s = 8 - 0 for w.
-4
Let s = 69 + -67. Let i(m) = m**2 + 7*m + 8. Let n be i(-6). Solve s = -n*k - 0, -4*h = -3*k + 5 for h.
-2
Let f be 81/6*(-4)/(-9). Solve -5*a - j + 2 + 0 = 0, -3*j = -4*a - f for a.
0
Let v(i) = -i**3 - 30*i**2 - 80*i + 35. Let d be v(-27). Solve 3*j = r + d, -2*j + 2*r = -j - 11 for j.
1
Let i(o) = -6*o + 51. Let c be i(8). Solve s - 3*s + 9 = 5*j, 6 = c*s for j.
1
Suppose 3*s - m + 11 = 31, 5*s - 5 = -4*m. Solve t - 5*v = 10, -s*t + v + 2 = -0 for t.
0
Let o(r) = r + 8. Let s be o(10). Suppose -b - s = -82. Suppose -b - 6 = -5*d. Solve -f - d = -2*v, 0 = f - 3*v + 31 - 12 for f.
-4
Suppose 0 = -3*i - 2*w + 47, 5*w - 27 = -7. Let c = i + -11. Solve c = 2*k - g + 3*g, 0 = k - 4*g + 14 for k.
-2
Suppose -2*l - 2 = 0, g + 2*l = 2*g - 6. Suppose -y + 4*n - 9 = 2*y, 3*y + 5*n - 18 = 0. Let v be 2*(g/4 + y). Solve -16 = -u + 3*x, 8 = 2*x - v*x for u.
4
Suppose 1 = -5*v + 6. Let a(c) = 6*c**3 - 2*c**2 - c + 2. Let l be a(v). Solve 0 = -2*b + 2*f + 18, 3*f - l*f - 3 = b for b.
5
Let b(p) = 28*p + 196. Let s be b(-7). Solve u - 24 = 5*m, s = 3*u - 5*m - 37 + 5 for u.
4
Let s = 4 + -4. Let r = 847 + -843. Solve 0*c - j = -r*c - 17, c - j + 8 = s for c.
-3
Let k(i) = -i**2 + 15*i - 5. Let n be k(15). Suppose j = -5*h - 29, -4*j + 4*h + 5 - 1 = 0. Let y = j - n. Solve -p + 4*r - 2 = -y, r = 5*p + 5 for p.
-1
Let a = 0 - -2. Suppose -z - 27 = -3*g, 4*z + 0*g = 3*g - 126. Let y = z + 48. Solve a*n + y = -3*q - 0*n, 3*n = -9 for q.
-3
Let f(o) = 23 + 20 + o - 48. Let u be f(9). Solve -2*s - 4*z = -1 - 3, -u*z + 12 = 4*s for s.
4
Let n be 1 - -2*1/(-2). Let q = -14 + -29. Let i = 48 + q. Solve n*c + 2*c + 25 = i*z, 4*z - 5*c - 20 = 0 for z.
5
Let a = -2 + 2. Suppose z - 3*v + 17 = 4, 2*z + 21 = 5*v. Suppose 2*t + 3*h - 1 = 7*t, 4 = z*h. Solve -2*x + a = 5*p - 19, -4*x + 3*p - t = 0 for x.
2
Suppose -35 = -f - 33. Suppose -r = 2, -5*d - 3*r - 14 = -r. Let i(x) = 2*x**2 + 2*x + 2. Let n be i(d). Solve -n*l - 2*c + 8 = -f*l, -4*l = -5*c - 22 for l.
3
Suppose -4*f + 61 + 11 = 0. Let a(b) = b**3 + 6*b**2 + 3*b - 2. Let h be a(-4). Solve 5*x = -2*d - h, 6 - f = 4*d - 2*x for d.
-4
Let q(w) = 8*w**3 + w**2 + 2*w. Let d be q(2). Let v = -69 + d. Solve -v*g + a = -4*a + 19, -g + 2*a - 8 = 0 for g.
2
Suppose 0 = -a - 2*r - r + 4, -2*r + 6 = 4*a. Solve 0 = 5*c - 5*q + 10, -3*c + 4*q - a - 3 = 0 for c.
-4
Suppose -14 = 4*p + q, 0*p = -5*p + 3*q - 9. Let w(j) = -j + 1. Let k be w(p). Solve 9 = 4*z - 5*a, a = k*z - 3 - 2 for z.
1
Let j(x) = x**3 + 7*x**2 + 5*x + 8. Let c be j(-6). Let w(t) = -t**3 - 3*t**2 + 8*t + 6. Let r be w(-5). Let o = c + r. Solve 2*s - o + 6 = 5*f, 6 = 3*s for f.
-4
Suppose 4*b - n = 190 + 411, -5*b + 746 = 4*n. Let w = b - 145. Let l(v) = v**2 + 3*v. Let m be l(-4). Solve -m*f + w = 5*j, j = -f + 4*j - 3 for f.
0
Suppose -78*b + 53*b = -50. Solve 20 + 0 = 4*a - b*p, -3*p = 6 for a.
4
Let d = -2088 + 2090. Solve 3*v + 2 = j, j = -0*v + 4*v + d for v.
0
Suppose -31*k - 5 = -36. Solve -2*n + 4*u = k - 7, n + 5 = -2*u for n.
-1
Suppose 0 = -10*g + 7*g + 36. Let q(w) = 8*w**2 + 2*w. Let r be q(-1). Suppose r*m = 5*m + 3. Solve m*i - i - 4*h = g, 0 = -3*i + 2*h + 6 for i.
0
Suppose 0 = 4*k - 3*k - 2. Let m be 1/k - 7/(-2). Suppose -12*r - 3*r + 60 = 0. Solve -1 = -q + g, g - m = -r*q - 0 for q.
1
Suppose -11*s = -16*s. Suppose 2*m + 4*j - 50 = -s*m, -4*j = -m + 49. Let d = -27 + m. Solve y + d + 2 = 5*p, -4*y - 13 = -p for y.
-3
Let v be (-4 + 2 + 10)/2. Suppose -5*b - 4*k - 11 = 0, 0*b - 3*k + 15 = -v*b. Let o be (-10)/((-2)/b*-3). Solve -2*m + y = -10, o*m + 4*y + 5 = 17 for m.
4
Let h(i) = -2*i**2 + 10*i - 40. Let d(f) = f**2 - 10*f + 41. Let k(t) = 3*d(t) + 2*h(t). Let a be k(-13). Solve 4*o + 8 = a*l, -5*l + 4 = -2*o + 3*o for o.
-1
Suppose 38*k - 39*k = -5. Solve -2*y = -r - 9, -1 = 4*y - k*r - 16 for y.
5
Let t = -40 - 2. Let f = 50 + t. Let