2, 0 = -3*h for f.
-4
Let l(t) = 8*t**2 - 3*t + 3. Let p be l(-3). Let y be p/9 - (-2)/(-6). Let r be y/(-12) - (-22)/8. Solve 0 = -5*k + i - r*i + 12, 9 = 5*k + 2*i for k.
3
Let p(m) = 2*m**3 - m**2 + 4*m + 1. Let l be p(0). Solve 0 = -u - 5*z - 21, -u = 2*u - z - l for u.
-1
Suppose -293 = -6*u - 53. Let q = 45 - u. Solve n = -5*b - 29, q*n + 10 = -3*b - 25 for n.
-4
Suppose 881 = 4*v + 873. Solve 2*r + 20 = -4*z, 0*z = r - z - v for r.
-2
Let v = 1215 + -1199. Solve 5*k + 3*u = -v + 12, k - u - 4 = 0 for k.
1
Let v(f) = -1 + f - 6 - 2*f + 16. Let d be v(7). Solve -2*b + 4*k = 8, 8*b = 3*b + 4*k - d for b.
2
Let a(v) = -v**2 + 6*v - 5. Let x be a(3). Suppose 5*t - x*s = 0, 0*t = -t - s + 9. Solve 5*j + 2*d + 10 = 0, -d - 25 = -5*j + t*d for j.
0
Suppose 0 = -2*u - 3*s + 9, -s + 31 = 5*u - 2*s. Let q be 2 + 1 + 17/1. Suppose 5*l - q = -0*l. Solve 0 = 3*a + u, 0*a = l*n + 2*a for n.
1
Let t = 855 + -851. Solve -5*z + t*l - 18 = 0, 0*l = 3*z + 3*l for z.
-2
Suppose -4*b - 6*p + 4*p = -10, 2*p - 4 = -b. Suppose 0 = -b*v + 6. Let u be v*(-2)/(-6)*4. Solve 3*m = d + 6*m - 11, u*m - 12 = 0 for d.
2
Suppose 15*l = 26*l - 17*l. Solve 1 = -l*s + s - 5*z, -15 = 4*s - z for s.
-4
Let y(h) = 2*h**2 + h - 2. Let v be y(-2). Solve -8 = v*o, 5*t - 3*o + 13 = -2*o for t.
-3
Let r = -367 - -377. Solve 0 = -3*w - s - r, 12 = -3*s for w.
-2
Let q be -6 + (-56)/(-6) + (-2)/(-3). Solve -3*f - 5*s + 1 = 0, q*f - 3 = 3*f + s for f.
2
Let f(c) = -5*c - 2*c**2 + 2*c - 4*c**2 + 7*c**2. Let j be f(3). Let h = 4 + j. Solve 0 = -3*a - 3, 0 = -2*z + a - 1 + h for z.
1
Let a = -33 - -37. Solve 2*v + p = -4, a*v - 2 = -p - 14 for v.
-4
Let f(o) = 1 + 4*o**2 + 18*o - 19*o + 4*o**2. Let i be f(1). Solve 2*w - 9 = -b, 3*w - 6 = -b + i for w.
5
Suppose 5*v - 76 = -4*d, 3*v - 24 = -0*v + 3*d. Let p be (2/(-3))/(1/v). Let x be 7 - (-7)/(28/p). Solve -4 = -3*n + 4*s, 5*s - 23 = -2*n - x for n.
4
Let p = -43 - -63. Let o be p/6 - 5/15. Solve -2*y - 4*h = 24, o*y - 4*h - 12 = -y for y.
-2
Let g = -28 + 20. Let q = 4 + g. Let t be 12/18 - q/(-6). Solve 5*u - u - r + 9 = t, -3*r = 2*u + 1 for u.
-2
Let v = -14 - -18. Suppose 2*n - 21 = -n. Suppose 8*a - 24 = n*a. Solve 2*r + 4*q - 11 = 3, a = 4*r + v*q for r.
5
Let p be (-2)/(-8) - (-92)/16. Suppose c = 4*c - p. Solve -20 = c*w - 4*b, -5*w = -4*w + 4*b - 14 for w.
-2
Let k = 767 + -762. Solve 5*a - 3*i = -k*i - 23, -5*i = -5*a - 30 for a.
-5
Suppose 9*c - 10*c + 16 = 0. Let y = -12 + c. Suppose -i + 3*h + 30 = 0, 0 = -y*i + 3*i + h + 28. Solve -5 = 2*m - 2*n - 3, 0 = 3*m + 3*n - i for m.
4
Suppose 0*r + 5*r = 55. Suppose -2*n + r = 5*c, n = -4*c + 5 - 1. Suppose -7*v - 2 = -n*v. Solve -v*p - 10 = j, -4*j - 3*p + 4 = -6*p for j.
-2
Let h = -12 + 11. Let n(l) = 23*l**2 - l - 1. Let w be n(h). Suppose w = f + 4*s, f + 12 = -0*s + 3*s. Solve -4*d + 3 = 3*p, 5 - 2 = f*d + 3*p for d.
0
Let v(r) = r**3 - 5*r**2 + 5*r + 1. Let b be v(4). Let p(n) = n**3 + 14*n**2 - 78*n - 101. Let j be p(-18). Solve -j*k - 17 = -3*k - 5*s, -s - 5 = -b*k for k.
2
Suppose -3*c + 27 = 5*o, -20*o - 4*c = -18*o - 22. Solve 3*w - 12 = -3*h, 3*w = h + o + 1 for w.
2
Suppose 4 = 9*x - 14. Solve -a + 3*v - 12 = 0, 4*a - v - x*v = -3 for a.
3
Let c(r) = r - 8. Let h be c(10). Suppose 0 = -0*l - h*l + 8. Suppose 2*o - l*o = -6. Solve -4*z + o = -p - 3, 12 = 2*z + 4*p for z.
2
Suppose 2*y + 30 = -0*y. Let k be (25/y)/((-1)/(-3)). Let g be (-9)/(-2) + k/10. Solve 0 = 3*j + g*h - 27, 4*h + 10 = 5*j - h for j.
5
Suppose -3*c = 4*i + 2*c - 20, -20 = -2*i - 5*c. Suppose 0 = o - 16 + 6. Suppose -5*u = -3*p + 29, p + 5*u - 2 = 41. Solve k + 4*y = p, 3*k + i*k + y = o for k.
2
Let g be (-9)/6*(-3 - -1). Let a = -10 - -13. Solve 0 = -3*w - 2*s - a, 4*w = -g*s - 2 - 1 for w.
-3
Suppose 6*x = 21 - 9, -2*r - 6 = -5*x. Solve 0 = r*j + 4*t - 16, 2*t = j - 4*j + 8 for j.
0
Let i = 473 + -468. Solve 6 = 5*d - i*w + 1, d = 3*w + 5 for d.
-1
Let x(f) = -f**3 - 18*f**2 + 20*f + 27. Let i be x(-19). Let p be (2 + i/(-3))/(18/(-81)). Solve 0 = -3*c - 5*o - 14, -p*c + 10 = -o - 0 for c.
2
Suppose -18*w + 16*w = 548. Let f be (-10)/45 - w/18. Solve 3*n = 4*i + 29 - 6, 5*i = n - f for i.
-2
Suppose -12 = -23*g + 34. Solve g*m + 3 = -3*m - 3*q, -4 = -q for m.
-3
Let v(l) = -l**2 - 7*l - 5. Let z be v(-5). Suppose 2 + 33 = -z*j. Let y be (-132)/11*j/4. Solve -i = -3*i + 4*u - 24, 3*i + y = 3*u for i.
-2
Let j(a) = -a**3 - 2*a**2 + 2*a + 4. Let t be j(-2). Suppose -2*l = -r + 11 - 4, 5*l - 5 = -5*r. Let b = 9 - r. Solve -n - 1 - b = 5*f, t = -f - 1 for n.
-2
Let v = 16 - 62. Let b = 50 + v. Solve -26 = -5*o - 3*t - 4, -2*o - 12 = -b*t for o.
2
Let v be (-285)/(-21) - (-9)/21. Solve 0 = m + 2*x - 6, 0 = -3*m + 4*m + 4*x - v for m.
-2
Suppose -35*o + 40*o + 10 = 0, 5*w - 17 = o. Solve -4*n = q + 14, -2 = w*n - 3*q + 8*q for n.
-4
Suppose 3*l - 12 = l. Suppose 8 = 7*h - l. Solve -13 = 3*q + 2*a, -3*q - 3*a = h*q + 20 for q.
-1
Let v(i) = i + 1. Let u be v(1). Let j = 1 + u. Suppose 0 = 111*n - 116*n - 4*k + 102, 0 = n + 3*k - 27. Solve 2*w - 2*o = n, -4*o - 8 = -0*w + j*w for w.
4
Let b be (-89)/1 - (0 - 1). Let o = b - -40. Let w = -28 - o. Solve 2*z - 4*j + j + w = 0, -4 = 3*z + 2*j for z.
-4
Suppose -5*z + 159 + 6 = 4*s, 0 = -z - 3*s + 44. Suppose -31*y + z*y = -4. Solve 2*t - 2*l - 3*l = 10, y*t + 5*l - 10 = 0 for t.
5
Suppose m + 4*m = 2*r + 51, 3*m = -3*r + 18. Suppose 3*l = m*l - 36. Solve -l = -4*t + 2, -2*g - 3*t = -14 for g.
4
Suppose -2*g - 2 = -5*t + 4, -3*g + 4*t = 2. Suppose -g*w = 3*w - 20. Solve -w*n - 2*k + 16 + 2 = 0, n = 4*k for n.
4
Let j be (165/(-20))/((-6)/8). Suppose -5*b = b - 18. Solve 0 = 5*a + t - j, -4*t + b*t = -a + 1 for a.
2
Suppose 2*a = 2*z - z - 10, -z - 11 = 5*a. Solve z*s - s + 4*t - 3 = 0, 5*t + 20 = s for s.
5
Suppose -325 = -5*o - 310. Solve -4*h - h = -3*d - 40, 3*d = o*h - 30 for d.
-5
Let f = 4 - 1. Suppose 32 = -174*j + 190*j. Solve j*k = -3*m + 23, -2*m + 14 = f*k - 2*k for m.
5
Let c(m) be the second derivative of m**5/20 - m**4/12 + 2*m**3/3 - 3*m**2/2 + 4*m. Let p be c(2). Solve 2*o - p = -3*o - i, 0 = i - 4 for o.
1
Let x(a) = -a + 7. Let f(z) = -2*z - 24. Let g be f(-13). Let n be x(g). Solve -i + 1 = -v, -3*i - 23 = n*v - 58 for v.
4
Suppose j + 22 = 4*v, -v + 3 = -5*j - 12. Solve 0 = -2*c + 2*y + 6, -2 = 4*c - v*y - 15 for c.
2
Suppose 8*n = 3*n + 45. Let y = 9 - n. Solve y = p + 4*q - 3, -2*p - p = 5*q + 5 for p.
-5
Let q(x) = 1 + 10*x + x**2 + x**2 - 3*x**2 - 15. Let d be q(10). Let g = d + 16. Solve 6*m - m = -g*l + 15, l = -2*m + 6 for m.
3
Suppose -50*t + 26*t + 456 = 0. Solve 4*u + 20 = 0, 4*u + t + 2 = -n for n.
-1
Suppose -5 + 0 = -j. Suppose -j*w + 5*g - 53 = 97, g = -4*w - 125. Let l = 63 + w. Solve -8*m - 4*b - l = -3*m, 0 = m + 3*b + 13 for m.
-4
Suppose 15 = 3*p + 3*o + o, -25 = -5*p - 4*o. Solve -10 = 4*t + 10, 35 = -2*j - p*t for j.
-5
Let u(x) = -131*x + 6. Let q be u(-6). Let g be 4/18 + q/81. Solve -f - 8 = 5*o + f, 0 = -4*o + 2*f - g for o.
-2
Let q(b) = b**2 + b - 9. Let o be q(-4). Suppose 8 = -2*f, c + 0*f + o*f - 1 = 0. Solve -5*t + 10 = -y, 2*t + 0*y + 3*y + c = 0 for t.
1
Suppose -3*t + b - 11 = -3*b, -23 = 5*t - 2*b. Let x(w) = -w**3 - 4*w**2 + 6*w + 7. Let f be x(t). Solve 2*c + 3*a = -6, -3*a + 12 = -4*c - f*a for c.
-3
Let t(f) be the second derivative of f**5/20 + 11*f**4/12 + f**3/3 + 11*f**2 - 3*f. Let n be t(-11). Solve n = -3*p + 2*q + 13, -4*p + p - 5*q = 22 for p.
1
Let r be ((-6)/(-13))/(57/494). Solve -5 = t - 1, -w - 15 = r*t for w.
1
Let v = -14 - -14. Suppose v = -4*a + 7*a - 33. Solve -3*q + 5*w + a = -11, -4*w = -5*q + 15 for q.
-1
Let c(v) = 16*v + 1. Let i be c(1). Solve 0 = -z + 5*h + i, -3*z + 1 = -2*h - 11 for z.
2
Suppose 0 = 67*r - 58*r - 153. Solve -l = 5*v - 22, l - 4*v - 3 + r = 0 for l.
2
Let a(o) = -o**2 - 32*o - 177. Let i be a(-24). Solve 17 = -3*p + 2*p - 3*k, -5*p - i = k for p.
-2
Suppose -v + 100 - 17 = 0. Let t = -80 + v. Solve 2*j - t*p - 9 = -j, j + 3*p = 7 for j.
4
Suppose -4*a = 192 - 48. Let m = -29 - a. Solve c + m = 5*z, 3*z - c - 6 = -z for z.
1
Suppose 2*v = -i + 9, -13*v + 19*v - 24 = 0. Solve -3*m + 9 = -s, -s = 2*m - 0 - i for m.
2
Let r be 4 + 3/(-1) - -1. Suppose -2*h - 141 = -7*h - r*b, -2*h + b = -60. Solve -2*s - 10 = 3*x - 4*x, 3*s - 5*x = -h for s.
-3
Suppose -4*i 