5, -4*w + 5*f = -0*f + v for w.
-2
Suppose 4*j - 4 = 16. Let k = 6 + -2. Suppose -k*t - 15 = -d, -2*d + t - 4*t + 52 = 0. Solve j*v + s = 2*s - 20, v - 4*s + d = 0 for v.
-3
Let i be (-4)/(4/(1*-32)). Let f(l) = -l**3 + 6*l**2 + 8*l - 3. Let a be f(7). Let y = 11 - 7. Solve 3*r + 9 = -z - a, 0 = 5*z + y*r + i for z.
-4
Let z = 64 + -62. Solve -4*d = -s + 3*s, -5*d = 3*s - z for s.
4
Let r = 7 + -4. Let b be (3/(-9))/(r/(-81)). Solve -w + 3 = -3*u + 2*w, -3*w + b = 0 for u.
2
Let a(y) = 2*y. Let g be a(1). Solve g*j - 5 = 1, -3*z - 4*j + 12 = 0 for z.
0
Let x = 12 + -17. Suppose h - 5*h = 8. Let i = h - x. Solve t + 2*p = i*p + 3, 3*t - 11 = 4*p for t.
1
Let c = -92 - -94. Solve c*x + 6 = -o + 5, 6 = -2*o for x.
1
Let z = -37 + 43. Let x = 1 - 0. Solve -4*i + 2*p = 2, 0 = -p + x - z for i.
-3
Let m(y) = y**2 + 3*y + 4. Let x be m(-3). Let g(i) = i + 4. Let p be g(4). Let q = p + -1. Solve q = -x*z + k, 3*z - 11 = -z - 5*k for z.
-1
Let k = -2 - -6. Let c be 1 + 0 + 1*k. Suppose -c*t = -t - 72. Solve -5 = 3*x - 5*y, -5*x + y + 3 + t = 0 for x.
5
Let k(o) = 31*o. Let v be k(-1). Let t be 2/3 - v/3. Solve -q - a - 4 = -1, q = 3*a - t for q.
-5
Let m = 20 - 14. Suppose -4*t + 2 = -m. Solve 2*u - 10 = t*x, 5*u - 4*x + 12 = 37 for u.
5
Let a(m) = -m**3 + 10*m**2 + 1. Let y be a(10). Let r be (-22)/(-8) - (-2)/8. Solve -4*s = 5*p - 1 + 11, 0 = r*p + s - y for p.
2
Let c(f) = -f**3 + 5*f**2 - 5*f + 5. Let o be c(4). Let l be 5*(o + -4)/(-3). Solve 4*s - 2 = -5*v, 0 = l*v - 2*v + 2*s - 2 for v.
2
Suppose 27 = 4*t - 4*i - 33, -3*i = -5*t + 83. Let x = -16 + t. Solve 2 = -2*m, x*o + 1 = -m - 3*m for o.
1
Suppose -3*l = 6 - 24. Solve -2*f = -5*z + 10, l*z = -f + 3*z + 17 for f.
5
Let y(o) = -17*o + 13. Let a(w) = -9*w + 7. Suppose -t + 12 = -3*t. Let c(z) = t*y(z) + 11*a(z). Let u be c(5). Solve 4*x + p - u = 0, 5*x + 4 = p + 17 for x.
3
Let j = -71 + 71. Solve 2*y + 3*h = 4*y + 19, -4*h + 20 = j for y.
-2
Suppose 4*z - 25 = -13. Suppose 4*y + 3 = -1. Let v be (4*1)/(3 + y). Solve 3*k = 4*a - 14, -v*k + 11 = z*a - 4*k for a.
5
Let q(w) = 2 - 4*w + 0 - 3 - 6 + w**2. Let i(t) = -4*t - 2. Let h be i(-2). Let a be q(h). Solve -a*j = 2*z - z + 20, -8 = 2*j + 4*z for j.
-4
Let h = -70 + 77. Solve r + h = -2*n, -n - 9 = -r + n for r.
1
Let t(l) = -l**3 - 2*l**2 - 2*l - 1. Let u be t(-1). Solve 3*s + 5*f = -16, -f + u = s + 4 for s.
-2
Let j(u) = u**2 + 1. Let r be j(3). Solve -3*c - 5*x = -c - r, -c - 3*x + 6 = 0 for c.
0
Let f be 30/12*(-12)/(-10). Suppose -6*s - f*i = -s + 51, 2*s = -3*i - 15. Let y be s/(-3) + 1 + 0. Solve 2*j = -2*j - 5*c + 9, -y*j + 4*c = 40 for j.
-4
Suppose 3*o + 0*o = 9. Let w(h) = h - 1. Let m be w(o). Suppose 3 = d + m. Solve -d = y - 2*v, 4 = -y - v + 6*v for y.
1
Suppose 4*l + 4 = 12. Suppose 0 = -n - l*h + 2, 5*n + h - 5 = 14. Solve -29 = -5*v - 4*k, 0 = -v - k - n*k + 10 for v.
5
Let m(u) = u - 10. Let f be m(13). Solve d = -f, 3*y - 7 = 2*y + 4*d for y.
-5
Suppose 30 = 2*i + 5*m, 6*m = 3*i + 2*m - 22. Let d be (8/i)/((-2)/(-10)). Let p = 13 - -1. Solve 2*y - r = -4 - 5, d*y = -2*r - p for y.
-4
Suppose -5*o - 19 = 4*p, -3*p - o - 12 = 2*o. Let l be 13/p*(-5 + 3). Solve -3*t + 5 = f, 2*t + 4*f - l + 6 = 0 for t.
0
Let w(b) = 8*b. Let n be w(1). Suppose 0 = j - 0*j - 17. Let f(h) = h**2 - 3*h + 5. Let k be f(2). Solve c + 2*l = n, -4*c - k*l = -0*c - j for c.
2
Let o be (-6)/8 - 87/(-4). Suppose -o = -2*q + q. Solve -4*b - q = -5*k, b + 6 = 3*k - 1 for k.
1
Let p(y) = y - 5. Let a be p(5). Suppose -5*u + 5 = -a*u. Let z = u - -4. Solve 23 = -n - z*h, -4*h = 3*n + 11 + 3 for n.
2
Let t(v) = -2*v - 4. Let x be t(-4). Let c = 7 - x. Solve 0*r - 2*r + 8 = -5*y, r + 7 = -c*y for y.
-2
Let d be (7/2 - 3)*4. Let j be d - 2 - 2 - -5. Solve -j*l - l + 5 = -3*z, 2*l + 2*z = -8 for l.
-1
Let s = -3 - -8. Suppose -3*t = 5*h - 29, -19 = 3*t - 4*t + 3*h. Let a be (8/(-18))/((-30)/135). Solve 0 = -v + s*v - m - 21, a*v = 3*m + t for v.
5
Let q be (-17 - -17)*(-2)/(-4). Solve -5*o - 5*d + 30 = -q*o, -o - 4*d = -9 for o.
5
Let h(m) = -5*m**2 - m - 13. Let c(d) = 3*d**2 + 7. Let i(b) = -7*c(b) - 4*h(b). Let n be i(4). Solve -2*w + 4*v = 0, n*w + 0*v = -3*v + 9 for w.
2
Suppose 1 = 5*d - 34. Let m = 9 - d. Solve -n + 1 = -2*x - 1, m = 5*x + n for x.
0
Let t(z) be the second derivative of 1/6*z**3 + 0 + 5/2*z**2 + z. Let o be t(0). Solve 5*g + o*q = -5, -q = -1 + 3 for g.
1
Let o(y) = -y**2 + 14*y + 11. Let b be o(15). Let h(z) = 3*z - 3. Let p be h(3). Let u = p + b. Solve -u*m - 2 = x, 6*m - m + 3*x + 6 = 0 for m.
0
Let v = -61 + 66. Solve -j + 5 = -2*j + v*u, u = -4*j - 20 for j.
-5
Let f be 1*(-2 - (-8)/(-2)). Let s be (-2)/f*(2 - -1). Solve 0 = -j + s, 10 = -3*v - 3*j - 2*j for v.
-5
Let b = -67 + 69. Solve 5*y + 21 = -b*a, 5*y + 4*a = -21 + 4 for y.
-5
Let q(x) = -x - 8. Let j be q(-8). Suppose -3*s - 4*h = -27, 3*h = 2*s - j - 1. Suppose -2*v + v + 4 = 0. Solve 2*z = -5*y + 8, 3*y - 5 = -s*z - v for z.
-1
Let f be 16/5 - (-7)/(-35). Solve 0 = -4*s + 5*j + 24 - 4, 0 = -f*s + 2*j + 8 for s.
0
Let j be 4*(-3 - -2) + 3. Let c = j - -6. Solve -2*s = 3*h + 10, 0 = s - 4*h - c - 1 for s.
-2
Suppose 0 = 3*p + p. Suppose -3*s - 3 = -3*u, 2*u = 2*s - 6*s + 14. Solve k - 14 = -3*y, p*y - 14 = -s*y + 4*k for y.
5
Suppose -3*c - 2 = -8. Let o(l) = 2*l**3 - l**2 + 1. Let a be o(1). Suppose a*n + 25 = 7*n. Solve -4*x = -n*z - 18, -z = x + c*z + 4 for x.
2
Let c(z) = -2*z - 3. Let p be c(-4). Solve 0 = -g - 3*y - 3 - 7, 35 = p*g - 2*y for g.
5
Suppose -t = -4 + 4. Solve 2*l - 5 = u, -2*u + 2*l - 5 + 1 = t for u.
1
Let k be 1 - (1/2 + 3/(-2)). Solve -5*a = -5*y - 35, -3*y + k = 5*a + 7 for y.
-5
Let n(i) = -i**2 - 8*i + 11. Let r be n(-9). Solve r*w = -s - 10 - 5, -s - 3*w = 20 for s.
-5
Let l(z) be the third derivative of -z**5/60 - 5*z**4/24 + z**3/2 - z**2. Let a be l(-5). Solve -2*u = -a*u - 2*v + 11, 5*v = -5*u + 40 for u.
5
Let g(j) = -3*j**2 - 2*j + 2. Let d be g(-2). Let i = -3 - d. Solve i*q - b - 2*b + 9 = 0, 3*q - b + 7 = 0 for q.
-2
Suppose 3*v = 5*t + 5, 2 = 2*t - 2*v + 8. Suppose 0 = 5*i + 3*u - 65, i = 4*i - 2*u - 20. Solve i = -2*l, 3*l = t*f + 4*l + 9 for f.
-2
Suppose 6*y - 3*y = -27. Let m = 2 - y. Solve -4*h + 4*o = -o + 24, 0 = -3*h + 2*o - m for h.
-1
Suppose 4*u - 160 = -0*u. Solve -5*z - c - u = 4*c, -20 = z + 5*c for z.
-5
Let q = 52 - -4. Suppose 3*d = -3*u - d + 112, -2*u + 2*d + q = 0. Solve -i - i = -5*m - 14, 4*i = -5*m - u for m.
-4
Suppose 5*n - 29 = -2*s, -2*s + 2*n + 9 = 3*n. Let p(g) = 2*g**2 + 2. Let d be p(s). Let y be (120/25)/(3/d). Solve -w + 2 = -5*o - y, -2*o - 14 = 3*w for o.
-4
Let b = 4 - -6. Let t be 126/15 - (-6)/b. Solve g - t - 2 = -4*o, -2*g = 2*o - 4 for g.
-1
Let f(j) = -j + j + 5*j - j**2 - 4. Let t be f(4). Solve 0 = -v - 1, -4*u - 4*v + t = -8 for u.
3
Let o be 48 + 6/4*-2. Let n = o + -16. Solve -2*y = -5*t - 21, 4*t + 2*y + n = -t for t.
-5
Suppose -3*o + 1 = d - 0, 0 = -3*o - 3. Suppose 7 = -d*f + 27. Solve -4*k - 6 = -6*k + 4*v, 0 = -5*k - f*v - 45 for k.
-5
Suppose 0 = -2*s + 4*s + 18. Let b be ((-8)/6)/(18/27). Let a be b/s*-3*-3. Solve 2*x + a*h + 2 = 4*x, -h - 25 = 5*x for x.
-4
Let w be (1*4)/(2/1). Let n be -5 - -3 - (-4 + w). Suppose n = -2*u + 10 + 2. Solve m = -4*c - 11 - u, -2*m + 21 = -3*c for m.
3
Let h(r) = 5 + 3*r - 4 - r + 4*r**2 - 3*r**3 - 2*r**2. Let t = 0 - 1. Let p be h(t). Solve 2*b + 3*n - 14 = 0, 16 = p*b - 2*n + 4 for b.
4
Suppose 4*a - 65 = 127. Solve 30 = -q - 5*d, 4*q + a = -2*d + 18 for q.
-5
Let f(d) = 7*d**2 - 2*d - 3. Let h(b) = b**3 - 5*b**2 + 3*b + 2. Let i be h(4). Let c be f(i). Solve -5*n + 5 - c = -x, 28 = -4*n + 3*x for n.
-4
Suppose 2*m + 3*u + 8 = -0*m, -5*m + 5*u = -30. Let i be (0 + -6)*(-1)/m. Let a = -8 + 10. Solve -2*y - 16 = 2*y - 2*o, -o = i*y + a for y.
-2
Suppose -4*n + 0*n = h - 16, 0 = -3*n + 5*h + 12. Let l be n/(-10)*(-1 - -6). Let p = l + 5. Solve 4*m = 2*u - 22, 8*m - p*m = -2*u - 5 for m.
-3
Let f = 78 + -73. Solve -3*z = -2*z - 4*y + f, -2*z + y + 4 = 0 for z.
3
Suppose -5*a + 8*a = 0. Suppose a*h + h - 20 = 0. Solve 4*j = -h, -3*j = 3*c - 0*j for c.
5
Let a(q) = -q**3 + 9*q**2 + 11*q - 6. Let i be 10/40 + 39/4. Let o be a(i). Solve -2*j = 5*b + 18, 3*b - b + o = 0 for j.
-4
Suppose 4*w - 11 + 3 = 0. Suppose 0 = -5*i + 2*l - 0*l + 4, 5*l - 7 = 4