v.
-2
Let f(q) = q**3 - 7*q**2 - 7*q - 3. Suppose 3*i - 25 - 20 = 0. Let s = 23 - i. Let b be f(s). Solve -2 - 3 = 5*y - b*z, 3*z = 2*y + 1 for y.
-2
Suppose -1 = -4*z + 19. Let r be (-1)/(-3)*(z - -10). Solve 0 = -l - 0*y + 4*y - 25, 0 = l + r*y - 20 for l.
-5
Let h be 11 + -8*1/(-2). Suppose 6*g - h = g. Solve -3*k + 36 = 4*c + k, -19 = -c - g*k for c.
4
Let y(m) = 8*m**2 - 49*m + 13. Let v be y(6). Let n = 1 - 1. Solve -j - 4*a + 24 = n, -2*j = -v*j + a + 15 for j.
4
Suppose -2*i - 2*i = 0. Solve k + 2*r = 5, r = -i*r + 5 for k.
-5
Suppose 51 = 4*g - 29. Suppose -23*s = -27*s + g. Solve -3*h - 2*w - s = -0*w, -5*h = 2*w + 15 for h.
-5
Let f(m) = 2*m**3 - m**2 - 2*m + 1. Let d be f(2). Let q be 12/27*d/2. Solve 3*y = x - 0 - 7, -2*y - q = 2*x for x.
1
Let a be -30 - -28 - (-1 - 2 - 1). Solve 2*r + r = -5*l - 20, -a*l - 8 = 5*r for r.
0
Let i be ((-2)/3)/(5/(-270)). Suppose 0 = 9*s - 5*s - i. Suppose -5*t - 10 = -20. Solve s*v - 4*v + 12 = t*j, -3*j - 32 = 5*v for v.
-4
Suppose -6*f - 200 = -16*f. Suppose -2*q + f = 2*q. Solve -4*p + 5*p = -2*t + 5, 25 = 5*p - q*t for p.
5
Let a be 24/1 - (7 + -7). Let j be (1 - 1)/1 + 3. Suppose 3*r - j = 0, 2*l - 7*l = 4*r - a. Solve m + 0*m - 22 = -5*x, 0 = -x + l for m.
2
Let l be (-3*(-20)/(-12))/(1 - 2). Suppose -w + 5*w = 0. Solve x + u = -w*x - l, -5*x + 5*u = -5 for x.
-2
Let s(v) = 2*v + 9. Let f be s(11). Let r = 33 - f. Solve -w - 1 = r*a - 7*a, 3*w = -a + 13 for w.
4
Suppose -4*o = -2*w - 28, -4*w + 30 = 4*o - 7*w. Let d = o + -3. Solve -3*g - 5 = 2*t - 14, -4*t - d*g + 9 = 0 for t.
0
Let u(o) = -o + 25. Let p be u(20). Solve -2*n + p*l + 2 = 0, -2*l - 3*l = 0 for n.
1
Let u(h) = h**2 - 6*h + 3. Let d be u(6). Let r = 8 + -16. Let t = -5 - r. Solve l = -d*i - t, -4*l = -4*i + 16 - 4 for l.
-3
Suppose -2*l + 27 = 7. Suppose 2*g + 3*g - l = 0. Let t(x) = -3*x + 2. Let d be t(0). Solve s - 9 = -3*f - d*s, -2*s = -g*f + 10 for f.
4
Suppose -21*u + 50 = -11*u. Solve -s + 0 = -5, u*s - 29 = b for b.
-4
Let r(p) = 2*p**3 - 4*p**2 + p. Let z be 4 + -10 + 2 + 6. Let t be r(z). Solve 0 = g + 2*h + t, -h + 0*h = -g - 5 for g.
-4
Let b(y) = -y**3 + y**2 + 2*y + 49. Let d be b(0). Let p = d + -46. Solve p*r + 18 = 3*c, -3*r + r - 2*c = -8 for r.
-1
Suppose -2*b + 16 = -4*b. Let a(x) = -x**3 - 8*x**2 + x + 13. Let j be a(b). Suppose j*o - 3*o = 0. Solve 0 = -o*t - 5*t + 10, 17 = 5*h + t for h.
3
Let n be 2/8 - (-66)/(-8). Let i be (56/12)/(n/(-12)). Let q(w) = w**2 - 7*w + 8. Let t be q(i). Solve 0 = -2*r + 3*j + 1, -r + 3*j + t = 4*j for r.
5
Let o(l) = 4*l + 297 - 2*l + 18*l**2 - 298. Let c = 0 + 1. Let y be o(c). Solve 0 = -b - 4*t - t + y, -3*b + 15 = t for b.
4
Let i = 11 - 11. Suppose j + i*j = 0. Suppose j = -2*b - b. Solve w - 25 = -5*c, -3*c + 15 = -b*w - w for c.
5
Let f(z) = -z. Let h(b) = -b**2 - 9*b + 22. Let v(t) = -2*f(t) + h(t). Let c be v(-9). Solve c = -3*g - 5*l, -10 - 3 = 5*g + 2*l for g.
-3
Suppose 0 = -3*j - 2*w + 27, -8*w - 15 = -3*w. Solve 4*y - 7*z + 4*z = -5, 5*y - j = -2*z for y.
1
Suppose 2*p - 8 = -w - 3*p, 2*w - 3*p - 3 = 0. Let z = 25 + -15. Suppose 7*t - 2*t - z = 0. Solve 0*y + w*y + 19 = 2*i, -y - 1 = t*i for y.
-5
Let c(d) = d**2 - 6*d + 4. Let u be 20/(-3)*(-48)/64. Let m be c(u). Let i be (20 - 20)/(m + -1). Solve 0 = -0*q + q - 3*z + 1, 5*q + 4*z + 24 = i for q.
-4
Let y = 18 + -14. Suppose 0 = -14*i + 15*i - y. Let o be 4/2 + 3/1. Solve q - 12 = -o*v, 0 = -3*v + i + 2 for q.
2
Let q(s) = s**2 - 14*s + 45. Let t be q(5). Solve -h = 3*b + 3 - t, -h - 5*b = 7 for h.
3
Let v be ((-24)/(-16))/((-24)/(-32)). Solve -u + 4 = v*u + d, -d = 5*u - 10 for u.
3
Let o = -1356 - -1363. Let s be (-38)/10 - 1/5. Let b = -2 - s. Solve -4*f + o*f = -b*q, 2*q - 3*f = 0 for q.
0
Let r = -242 + 244. Let w(p) = -p**3 + 6*p**2 - 4*p - 3. Let t be w(5). Let h = r + t. Solve h*n = -0*x + 2*x - 10, 12 = -4*x for n.
-4
Let w(t) = 2*t - 3. Let j be w(13). Suppose -19 + j = 4*o. Solve -c + o = 0, -5 = i - 2*c + 1 for i.
-4
Let o(p) = p**2 + 39*p - 216. Let g be o(-44). Solve 3*c + s - 1 = 6*s, -2*s = c - g for c.
2
Let s be 56 - ((-3)/1 + 0). Suppose -3*m + s = -13. Let x be m/(-8) + 34/2. Solve 0 = f - n - n + 2, -5*f = -2*n - x for f.
4
Let d be 1/(-1 + 36/34). Let s = -74 - -57. Let h = d + s. Solve h = 4*z - 0*y + 5*y + 33, 5*z = y - 5 for z.
-2
Suppose p - 58 + 28 = 0. Let g be ((-30)/45)/((-4)/p). Let u be (-10)/(1/(1/(-2))). Solve -25 = -h + g*t, -2*h = 5*t - u + 15 for h.
5
Let v = 7 - -1. Solve -2*r = 8, -r = -2*l + 2 - v for l.
-5
Suppose 64*t = 60*t. Solve x - 20 = -4*b - 5, t = -b + 3*x + 7 for b.
4
Let m(x) = -4*x - 65. Suppose 5*i + 94 = 3*a, -2*a + 47 = -5*i - 44. Let u be m(i). Solve 4*t = 5*s - 18, u*s - 18 = -s + 5*t for s.
2
Suppose -17 - 19 = -3*j. Solve 4*p + 4*c = 8, 5*p + 5*c - j = p for p.
-2
Suppose 175 = 43*a - 40. Solve -a*d - 1 + 10 = -u, -5*u - 17 = 3*d for u.
-4
Let l = 33 + -8. Solve -4*k - l = -3*q, 4 = 2*k + 4*q - 0 for k.
-4
Let u = -10 - -20. Suppose 39*f - 34*f = 15. Solve 3*w = -2*o + 13 + u, -f*o = -4*w + 8 for w.
5
Let x = -42 + 46. Solve -2*l - 4 = -v - 0, x*l = 3*v - 12 for v.
4
Let k be -2 - 1 - (-3 + -2). Let d = k - 2. Solve h + 21 = -d*h - 4*m, 5*h + 5*m = -45 for h.
-5
Let f = -150 - -155. Solve v - f = z + 2, 5*v + 5 = -3*z for z.
-5
Let w = -347 + 359. Solve -3*y + w = -n + 2*y, n = -2*y + 9 for n.
3
Suppose -m + 64 = 4*b, -4*m = 2*b + 12 - 58. Let d(u) = 2*u + 2. Let q be d(-2). Let s be (-3)/q - (-35)/10. Solve -4*l - b = -s*p + l, -20 = 5*l for p.
-1
Suppose 0 = 3*q - 3*m - 39, m = -5*q + 9 + 26. Solve n + 4*f = q, -10 + 5 = 5*n + 5*f for n.
-4
Let i(b) = b**2 + 19*b + 2. Let r = 82 - 101. Let w be i(r). Solve -p - w*s + 1 - 5 = 0, -3*p - s + 8 = 0 for p.
4
Let k(w) = 22*w - 193. Let c be k(9). Solve -3*u - 22 = -u - 4*x, -2*x - 7 = c*u for u.
-3
Let l(i) be the first derivative of 4 - 3*i - 1/3*i**3 - 4*i**2. Let c be l(-7). Solve 5*s + 17 = 2*k, -2*s - c = -k - s for k.
1
Suppose 5*z - 3*p + 83 = -0*z, -z = -5*p + 21. Let k be (168/(-32))/((-6)/z). Let r = k - -18. Solve -3*c = 2*l - 16 - 5, -3*c = r*l - 27 for c.
5
Let r(p) = -p - 3. Let n be r(-3). Let z = 5222 + -5217. Suppose -d - 1 = -11. Solve -4*j = 3*u - z, -3*u + n*j + d = 5*j for u.
-5
Suppose 0 = -3*w + 1 + 8, 2*c + 2*w - 14 = 0. Solve -2*f - 5*m = -2*m + 7, -4*m = c for f.
-2
Suppose 3*n = 17*p - 12*p - 50, n = -5. Suppose 0 = -0*b - b. Solve -2*u = 2*r - p*r + 17, -u + 4*r - 13 = b for u.
-1
Let r = -2385 + 2390. Solve 3*g - g = -2*u + 10, r*g - 18 = 2*u for u.
1
Suppose 2*i = k - 2, -7 + 1 = 2*i - 3*k. Solve -c - 3 = i, 5*n + 0*c = c + 18 for n.
3
Let x(y) = -8*y + 40. Let z be x(4). Solve 0*j - 3*j - 6 = 0, -4*j - z = -l for l.
0
Let x = -73 - -82. Solve 2*p + 5*t = -2*p + 15, -4*p - 3*t + x = 0 for p.
0
Let n = 5 - 3. Let t be n + (2 - 0)/(-1). Let z = t + 13. Solve 3 = 2*c + z, 20 = -3*s - 4*c for s.
0
Suppose 0 = -2*d - 4, 0 = 4*v - 2*d - 7 + 3. Solve 0*y = y + 4*k - 6, 5*y + 4*k - 14 = v for y.
2
Let p be (-5 - (-55)/10)*4. Solve o = -2*o - 3*s - 3, 5*o + p*s + 5 = 0 for o.
-1
Let k = -128 + 80. Let u = k - -34. Let r be 14/6 + u/42. Solve n + n - 10 = 0, -r*n + 18 = -2*s for s.
-4
Let i be (-254)/10 + 4/10. Let p = -22 - i. Solve 5*g - 10 = -5*o, -4*g - 2*o - p = -1 for g.
-3
Let m(w) = -w**3 - 21*w**2 - 2*w - 35. Let q be m(-21). Solve 2*c = -u - 9, c - 3*u + q = -4*u for c.
-2
Let x = -6 + 19. Suppose 5*v = 3*m - 2*m + x, 6 = 2*v. Solve -5*n - 22 + 3 = -4*u, 7 = -m*u - 3*n for u.
1
Suppose 0*s = s + 6. Let o be 8 + -1 + (-2)/(s/9). Solve 0 = 5*b - f - 4 + 2, -b - o = 5*f for b.
0
Let t be (-4)/3*9/(-6). Let d(n) = 4*n - 2. Suppose 0 = 3*m + 1 - 13. Let f be d(m). Solve 0 = 5*q + s + 20, 5*q - t*s + 6 = -f for q.
-4
Let m(f) be the first derivative of -f**3/3 - f**2/2 + 12*f - 5. Let g be m(0). Let k be (-2 + 0)/((-8)/g). Solve 12 = s + 3*s, -9 = k*d + s for d.
-4
Let j be 0/(((-8)/(-10))/(4/(-10))). Let o be 242/4 + 1/(-2). Suppose j = 5*p - 0*p - o. Solve 5*w - x = p, 5*x = -2*w - 0*x - 6 for w.
2
Let q = -5 + 7. Let d be (3/q)/(3/6). Let x be ((-354)/236)/(1/(-2)). Solve -x*u + o = -2 - d, 0 = 2*u + 4*o - 8 for u.
2
Suppose -2*d - b = -33, d + 0*b - 4*b + 6 = 0. Solve -3*g = 2*s - 7 - d, -s + g = 2 for s.
3
Let b(m) = -6*m**3 + 252*m**2 + 2*m - 81. Let k be b(42). Solve 