*v - 0*v + 24 for w.
-1
Let c(v) = -4*v + 0*v - v**2 + 2 + 5*v - 2*v. Let a be c(-2). Solve 2*n - 2*j - 14 = j, -2*n + 5*j + 18 = a for n.
4
Let k be (-4)/(-14) - 52/(-14). Let u = k - 1. Suppose -u = -b + 2. Solve -b*c = 5*h + 10, 4*h = h - c - 4 for h.
-1
Suppose -2*o - 14 = -4*o. Let n = 15 + -10. Solve -2*w = -4, n*z - o*w - 5 = -2*w for z.
3
Let d = 15 + -29. Let n = -9 - d. Suppose n*o = 20 + 40. Solve v + o = -3*g - g, -4*v = -16 for g.
-4
Let t(h) = -h - 4*h**2 + h**3 - h - 1 + 4 + 6*h**2. Let j be t(-3). Let f(r) = r**3 + r + 13. Let i be f(j). Solve 8 = -3*y + 2*a, -3*y + 3*a - i = 2*y for y.
-2
Let j be (-1 + -1)*1/(-2). Let g be ((-6)/12)/(j/(-6)). Solve 3*q - 3 = k, -g*k + 3*q = k + 12 for k.
-3
Let g = -12 + 21. Let m(x) = x - 7. Let u be m(g). Solve p - 2*z + 0*z - 10 = 0, 4*p - u*z = 22 for p.
4
Suppose -2*y + 10 = -c + 3*c, 15 = 3*y. Suppose c = -3*r + r + 6. Let n(z) = -3*z**2 + 27*z - 5. Let x be n(8). Solve 5*o - b = 0, -4*o + x = -0*o + r*b for o.
1
Let w(b) = -5*b - 2. Let t be w(-6). Let j = 49 - t. Solve 5*a = -2*u + 15, -j = -0*a - a - 4*u for a.
1
Suppose 31*k = 26*k + 15. Solve 3*t = -3*l - 0 + k, 3*l - 3 = -2*t for l.
1
Let u be 3/9*(-4 + 4). Solve u*d + 2 = -2*d, -5*j - 2*d + 18 = 0 for j.
4
Suppose 0 = -4*i - 4*b + 8, -i + 4*b = -2. Let n be 2 + (1 - 1 - i). Solve 0 = 3*q - m + 1, n = -2*q - 0*m - 5*m + 5 for q.
0
Let a be 2 + 1 + (3 - 4). Solve 5*c + a*g + 7 = 0, 0*c + 3*g = 3*c for c.
-1
Suppose -5*s = -6 - 34. Suppose -5*h + 7 + s = 0. Solve 6 = h*p + 4*k + 26, -5*p = 4*k + 20 for p.
0
Suppose 3*x + 2*j = -8, 3*x = 4*j - 3 + 19. Let s(l) = -l + 3. Let b be s(0). Solve 3*q + 2*p - 8 = x, -q = 4*p - 3*p - b for q.
2
Let f = -3 - -3. Suppose f = -m - 2*m. Let s be 5 - -3*(-2)/6. Solve -s*p + 4*i - 7 = 5, -i = m for p.
-3
Let o = -30 - -54. Suppose 7*q = 4*d + 4*q - 27, 3*d - q - o = 0. Suppose 5*x + 3*j = 13, 4*x = 3*j + 23 + d. Solve 0 = 5*y - x*r, 0 = -4*y + r + 8 - 2 for y.
2
Suppose -8*w + 13*w + 20 = 0. Let j(k) = -2*k + 4. Let u be j(w). Solve 6*v + 2*l = v + u, 2*v - 7 = -3*l for v.
2
Suppose -3*s + 10 = 2*s. Solve -4*a - 2*w = 11 + 5, -4*w = -s*a - 18 for a.
-5
Let k(o) = 3*o - 14. Let d be k(6). Suppose v + d*v = 0. Solve -5*j + 4*f = -0 - 9, v = 2*f - 8 for j.
5
Suppose 3*m - 9 = 3. Let i be (-2)/(-8) + 11/m. Let w be 2 - (-1 - (i - 2)). Solve -5*b + 0*b - 21 = 4*a, w*b = -4 for a.
-4
Let x be ((-2)/3 - -1)*3. Let j(l) = l - 5. Let n be j(10). Solve 6 = 2*o + o, 3*z = n*o - x for z.
3
Let t(d) = 2*d + 2. Suppose -20 = -4*v, 3*y = 4*y - 4*v + 11. Let k be t(y). Solve -3*a + 4*p = k + 11, -5*a - 3*p - 13 = 0 for a.
-5
Let x = 9 + 13. Solve 9*w = 4*w + 2*j - x, 5*j + 11 = -4*w for w.
-4
Let f = -3 - -5. Let c = -38 - -43. Solve f*y + 17 = -c*o, 4*y = -y + 20 for o.
-5
Suppose m + 3*z = 5, 3*m + 2*z - 12 = -2*m. Let n = m + 1. Solve p - 2 = 5*r + 3*p, 14 = -n*r + 2*p for r.
-2
Let n be (-2 + 8)/(-1 + 2). Solve 4*s - 3*h + 15 = 2*s, 5*s + 3*h + n = 0 for s.
-3
Suppose -12 = 7*t - 33. Solve 15 = -5*s + d - 3*d, 2*d = t*s + 25 for s.
-5
Suppose -2*f + 2*t + 4 = 3*t, 0 = -3*f + 5*t + 32. Suppose 2*m = -0*m + f. Solve 5*i + 4*c + 7 = m*i, 2*i = 3*c + 1 for i.
-1
Suppose -35 = -12*c + 5*c. Solve 2*r + 20 = 5*q, 4*r + c*q - 11 = 9 for r.
0
Suppose -2*w - 1 = -7. Suppose 3*q - 2 = -2*a, 4*q + 4*a - 1 - w = 0. Suppose 9 = -5*v + 24. Solve -9 = -v*j - 5*r - 3, q = -3*r for j.
2
Let z be (14 + -14)*(-1 - 8/(-6)). Solve z = -5*f + f - 2*s + 10, -2*f - 5*s = -9 for f.
2
Suppose -2*v = -5*x - 8, -2*x = -3*v - 4*x + 12. Let m be (4 + -2 - 3)*-7. Let g be (m/(-14))/((-2)/8). Solve v*y - 14 = g*a, 6 = 2*y - 2 for a.
1
Let n(a) = -a**2 + 7*a + 2. Let t be n(6). Solve x = 5*m - 28 + 8, 0 = -2*x - 2*m + t for x.
0
Let f(g) = 1 - 4 - 3*g + 0. Let q be f(-6). Let d be -3 + 3/9*21. Solve -q = -5*p + 2*c + 2*c, -p + d = -c for p.
-1
Let d(u) = -2*u**3 + 4*u**2 - u - 2. Let k be d(2). Let a = -2 - k. Solve 0 = t + 4*t + z - 5, -3*t - 4 = a*z for t.
2
Let d be 5*(0 + (-1)/(-1)). Solve 22 = -4*h - u, h - 5*u + d = -2*h for h.
-5
Suppose -27 + 6 = -3*q. Suppose -3*y - 2*w = -0*w - 35, 4*w = -20. Let b = y + -10. Solve 4*i - 15 = -3*c, i - 18 = -b*c + q for i.
0
Suppose -6*k = -4*k - 10. Solve -3*u + f - 7 = -5*u, -k*u - 5*f = -20 for u.
3
Let n(f) = 5*f**2. Let g be n(1). Solve 0 = g*b + 2*r + 17, 3*r = -2 - 1 for b.
-3
Suppose -5*m - 4 + 14 = 3*f, 18 = -3*m + 3*f. Let i = m + 4. Solve -3*r - 15 = 3*c - 2*c, 4*c + 15 = -i*r for c.
0
Let j(z) = z**2 + 8*z + 8. Let a be j(-7). Let f(n) = 3*n**2 + n - 1. Let i be f(a). Solve -i*r = 5*l - 21, -3*r + 4 = 2*r - 2*l for r.
2
Suppose -o = 2*v - 3 - 5, -16 = -2*v - 3*o. Suppose 0*u - v*u = -6. Let j be (-4)/(-6) + (-21)/(-9). Solve j*r + 6 = -u*s, -3*s = -0*s + 2*r + 1 for s.
3
Let z(h) = 2*h**2 + 3*h - 2. Let c be z(-3). Let n(f) = 6 + 2*f - 11*f - 6 - 1. Let y be n(-1). Solve i + y = 4*j - c*j, 0 = -3*i + 5*j + 32 for i.
4
Let p(o) = -o - 1. Let c be p(-1). Solve c = 5*r - 4*j - 12, 3*r + r - j = 3 for r.
0
Let f(z) = z**3 - 4*z**2. Let c be f(2). Let g = c - -5. Let b = 2 - g. Solve 5*k - 26 + 6 = -b*r, -5*r + 20 = -3*k for k.
0
Let p(w) = -6 + 0*w**3 + 10*w**2 - w + 0*w**3 - w**3 + 2*w. Let d be p(10). Solve 0 = -4*i - 4, -8*i + 4*i + d = 2*k for k.
4
Let c(z) = z**3 + 5*z**2 + 5*z + 2. Let g be c(-4). Suppose -30 = -2*b - 3*b. Let o = g + b. Solve 10 = -d + 2*t, 10 = -o*d - 0*d + 2*t for d.
0
Suppose b - 8 = -2*f, 5*b - 8 = 4*f + b. Let r be (-1)/(f + -1) - -4. Solve -r*c - w - 35 = 3*w, -5*c - 50 = 5*w for c.
-5
Suppose -2*v + 1 = -3. Let y be v/(-3) + (-5)/(-3). Suppose -5*b + 15*x - 12*x = -34, b - 14 = 3*x. Solve 0 = 3*a + c - y - 6, b*c + 4 = -2*a for a.
3
Suppose 8*d + 0*d - 32 = 0. Suppose 3*h - 47 = -4*x + 4*h, 2*x = -h + 25. Let l be -5*(x/(-5))/3. Solve 0*w - l*w = -3*o - d, -5*w + 5 = 5*o for w.
1
Let i(o) = -3*o**3 - 2*o**2 - 2*o + 1. Let p be i(-1). Solve 0 = 3*v - 2*h + 6, p*h - 23 = 5*v + 5*h for v.
-4
Let o(s) = 89*s + 5. Let y be o(-5). Let a be (-2)/(-7) - y/77. Solve 2*t = -a, -9 = -6*r + 3*r - 2*t for r.
5
Let l = -8 + 12. Let p(a) = -9*a**2 - a + 1. Let d be p(1). Let u = -6 - d. Solve 0 = 4*c - l*w + 8, 2*c - 2*w = u*c - 1 for c.
-1
Let i be (-2)/(-4) - 7/(-2). Let s(m) = 2*m**2 + 6*m - 5. Let g be s(-4). Solve -5*v + g*k = -5, i*v + 2*k + 2*k = -28 for v.
-2
Suppose -u - 35 = -2*m - 6*u, -2*m + 37 = 3*u. Suppose 2 - m = -3*k. Let z = 3 - -2. Solve z - 12 = 3*v - 5*a, -k = -4*v - a for v.
1
Let t be -3*-2*(-8)/(-3). Let u be (-90)/(-15)*(-1)/2. Let z be t + 1*(2 + u). Solve -5*y + 6 = -5*w - 9, -5*y = -3*w - z for y.
3
Suppose 3*k + 20 = -5*l, 5*k - 4 - 4 = 2*l. Suppose 40 = 5*v - 3*t - t, 5*v + 3*t - 5 = k. Solve -w + 5 = v*a - 2*a, 0 = -3*w + a + 1 for w.
1
Let r = -1 - -5. Let q be 2*(0 + r - -1). Solve 0 = 2*y - y - 4*d + 14, -y - q = -3*d for y.
2
Let v(j) = 1 - 4 - 2 + j - 6. Let t be v(11). Let g = 9 + -4. Solve t = y + 2*s - 0 - g, -4*s = -20 for y.
-5
Let x be (1/(-6))/(5/(-90)). Solve x*w - 2*m + m = 2, -5*w - 3*m + 22 = 0 for w.
2
Let q(o) = -13*o - 1. Let p be q(-1). Let c be 5/((-2)/p*-3). Solve 2*y = y + 5*n - 8, -n + c = 4*y for y.
2
Let h = -14 + 24. Suppose -5*c = 4*g - 3*g - h, -3*c = -4*g - 6. Suppose 3 = 3*m, 2*m - 8 = -3*x - g*m. Solve 4*d = -7*i + 4*i + 15, x*i - 17 = -5*d for d.
3
Let k(h) = -2*h - 29. Let g be k(-16). Solve -y - 14 = -5*y + g*o, 3*y = -o + 17 for y.
5
Let m(c) be the third derivative of -c**4/24 + c**3/3 - 3*c**2. Let l be m(-2). Solve -l = 4*z + 3*d + d, -2*z - 6 = 3*d for z.
3
Suppose -5*z = -12 - 8. Solve 6*u = 2*u + 5*h + 12, 0 = -2*u + z*h + 12 for u.
-2
Let o be 10/25*(-15)/12*-50. Solve 4*f - 4*n = 3*f - o, -n = -5 for f.
-5
Suppose 5*b - 5*w = 0, 3*b = 2*b + 5*w - 12. Solve -12 = h - b*h + m, -5*h = -m - 24 for h.
4
Let l be (-2)/(-3) - 2/3. Suppose -w + 2*w - 6 = 0. Suppose -4*r = -3*o, l*o = 2*r - 3*o + w. Solve -5*z - 30 = -r*i + i, -3 = i + 2*z for i.
5
Suppose 3*o + o - 32 = 0. Suppose 5*g - 103 = 4*y - o, -2*y = 2*g - 20. Solve -5*i - g = 5*z, -i + 12 + 0 = -4*z for i.
0
Let u = -55 - -55. Solve 4*z + 3*r = -0*z + 12, -4*r = u for z.
3
Suppose 0 = -4*o - 0*o - 4*c + 4, -5*o = -2*c - 19. Solve 0 = 2*p - 4*r - 8, -16 = -6*p + 2*p - o*r for p.
4
Suppose -92 - 84 = -2*h. Let a = h - 48. Let q = 1 + -1. Solve q = 