v.
2
Let b(n) = n**3 + 10*n**2 + 10. Let j be b(-10). Let f be 6*(-1)/(-1) - 1. Suppose 4*h = -6*c + j*c + 16, f*h = -2*c + 13. Solve -14 = h*x + 1 for x.
-5
Suppose -2*x - 8*u + 5*u = -25, 2*x - 32 = 4*u. Solve 0 = 5*w + x + 11 for w.
-5
Let w(s) = s + 13. Let t be w(-11). Suppose -3*j + 3 = -k, -j - t = k + 1. Let n be (-4)/6*1*k. Solve 0 = n*r - 4 - 6 for r.
5
Let m(w) = w**2 + 9*w + 7. Let x(a) = 2*a**2 + 18*a + 15. Let f(y) = 7*m(y) - 3*x(y). Let u be f(-9). Solve 14 - u = -2*s for s.
-5
Suppose -2*g = -m - 19, 0 = 2*g - 4*m - 14 + 4. Solve -5*w - 9 = g for w.
-4
Suppose -5*a - 4*h + h - 5 = 0, -4*a - 5*h - 17 = 0. Solve a*t = -10 + 2 for t.
-4
Let b(t) = 15*t**2 - 3*t. Let f be b(2). Let n = 38 - f. Let w = 22 + n. Solve -w*h + h = -10 for h.
2
Suppose 5*z - 3*n - 7 = 0, 4*z = -n - 3 + 12. Let l(o) = 4*o - 4. Let b be l(3). Let h be 23/5 + b/20. Solve h = a + z for a.
3
Let f be 6/27 + 100/36. Let r(l) = 2*l - 2 + 0*l + l. Let b be r(f). Solve 5*i - 22 = -b for i.
3
Suppose 0 = -3*i - i + 20. Suppose 2*y + 0*t - 12 = 3*t, 2*y - i*t - 20 = 0. Let s = y + 3. Solve -s*x = -5*x for x.
0
Let f = 23 - 15. Let q(l) = -2*l + 1. Let h be q(-3). Suppose -2*d - 10 = -2*i, h*i - 3*i + 5*d = -25. Solve i = w + w + f for w.
-4
Suppose 5 + 7 = 4*t. Let b(a) = -3*a. Let u be b(-1). Suppose 0 = u*h - 2*y - y - 30, 0 = y + 1. Solve t*m - h - 3 = 0 for m.
4
Let v = 5 - 5. Suppose -2*j + j = v. Solve j*c = 3*c - 15 for c.
5
Let n(h) be the third derivative of -h**4/8 - 25*h**3/6 - h**2. Let z be n(-10). Solve z*u = -3 - 2 for u.
-1
Let a be (-1)/(-4) - 21/(-12). Suppose -a*c + 0 + 8 = 0. Let h(m) = 6*m + 4. Let s be h(5). Solve 0 = c*j - s + 14 for j.
5
Let g(m) = 1 + 6*m**2 - 2*m - 3*m**2 + 11*m**2 - 4*m**2. Let t be g(1). Solve -2*p - t = 1 for p.
-5
Suppose -m - 4*m - 65 = 0. Let d = 34 - 59. Let f = m - d. Solve -f = o - 4*o for o.
4
Suppose 0*u + 4*u - 24 = 0. Solve -u = l - 2 for l.
-4
Suppose 0 = 5*z + 16 + 9. Let p be (1/(-2))/(z/100). Let a be p/(-4)*(-4)/5. Solve a*r = -0*r for r.
0
Let v(o) = -1 - o + 0*o - 1. Let s be v(-2). Suppose -3*n = n. Solve 5*p + n*p = s for p.
0
Let b be (-1)/(((-4)/(-2))/(-8)). Let r(s) = -s**2 - 5*s + 8. Let l be r(-6). Suppose y = l*y - b. Solve 0 = 2*q - 0 + y for q.
-2
Suppose -4*a + 12 - 32 = -3*k, 2*a = -k. Suppose 0 = 2*x - k. Solve -l = -0*l - x for l.
2
Suppose -v + 2*a + 4 = 0, 0 = -3*v - 2*v + a + 29. Solve 0 = -4*q + v + 2 for q.
2
Let i = 0 + 0. Solve -q + 5 = -i for q.
5
Suppose -u + 28 = -4*w, 5*w - 29 + 1 = -4*u. Solve 0 = 5*f - 2*f + u for f.
-4
Let v = 3 - 3. Suppose v = 2*j - 6 - 2. Solve -2 = 2*x + j for x.
-3
Let z(k) = -2*k + 19. Let m be z(7). Let w = -2 - -2. Solve w = n - 0 - m for n.
5
Suppose -c + 1 + 4 = -4*o, 2*c - 4*o - 10 = 0. Solve -3*t = -c - 1 for t.
2
Suppose 1 - 1 = -13*n. Solve n = -0*w + 4*w for w.
0
Suppose -a - 2 = 5*x - 27, -25 = -3*a - 5*x. Suppose -4*z - z = a. Solve -g + 3 + 2 = z for g.
5
Let z = -10 + 15. Suppose z*h + 2*u = -33, -3*u + 27 = -4*h - 4*u. Let i(n) = n**3 + 7*n**2 - n - 6. Let r be i(h). Solve -2*a = -3*a - r for a.
-1
Let a = -4 + 7. Let f(d) = d**3 - 2*d**2 - 2*d - 3. Let k be f(a). Suppose k = -2*i + 6. Solve h - 20 = -i*h for h.
5
Let p be 10 + (4 + -3)*-1. Let z(v) = v**2 + 7*v + 6. Let o be z(-6). Solve p = 3*q - o for q.
3
Suppose 12 = 10*j - 7*j. Suppose 5*m = 5*u - 20, j*u + 0*u - 20 = 0. Solve 2*d = 5 + m for d.
3
Let m = 9 + -15. Let z be ((-2)/(-6))/((-2)/m). Let h be z - 3 - (-1 - 7). Solve 0 = h*r - r + 15 for r.
-3
Suppose 4*g + 10 = -g. Let q be 3*g*(-3)/18. Solve a + 0 + q = 0 for a.
-1
Let t = 15 - 14. Solve -n + 2 = -t for n.
3
Let v(m) = -4*m - 4. Let x be v(-3). Solve -q = -3*q - x for q.
-4
Suppose k - 5*k + 4 = 0. Let i be 2 + -2 + (1 - k). Solve -5*y = -i + 5 for y.
-1
Let w = -22 + 30. Solve -w = o + o for o.
-4
Let t be 3 + 12/(-2) - -5. Suppose p - 16 = -p + t*l, 18 = p - 3*l. Solve -q - 6 + p = 0 for q.
-3
Suppose 2*q + 6 = -4*b, -6*q = -5*b - 3*q + 20. Suppose 11 + b = j. Suppose -3*m = -3*n - j, -2*m + 0*n = -3*n - 8. Solve 0 = m*g - 0*g for g.
0
Let g(b) = -b**3 - 3*b**2 + 5*b + 5. Let w be g(-4). Let s be (w + -3)*(-24)/8. Solve -4*t + 2 = -s for t.
2
Let c(n) = n**2 - 7*n - 4. Suppose -5*f + 3*f = -14. Let q be c(f). Let h be 0*3/(-1 - q). Solve h = -4*v + 10 + 10 for v.
5
Let h(m) = -m**3 - 8*m**2 + 9*m. Let l be h(-9). Solve l = 3*s - 6*s for s.
0
Let f = -48 + 69. Suppose -3*o = -4*o + 5*y + f, 2*y = -o. Suppose -2*h + 8 = -o. Solve h*k - 4*k = 6 for k.
2
Let w = 7 - 3. Suppose x + 26 = w*x + 4*m, 4*x + 4*m - 32 = 0. Let b be 1 + (-4)/(-2) + -3. Solve b = -x*y + 2*y + 8 for y.
2
Suppose -17 = -2*h - 55. Let g = h - -19. Solve g*r - 5*r = 15 for r.
-3
Let o = -2 + 5. Suppose 4*j = 5*j - 12. Suppose -5*d = -3 - j. Solve 2*k - d = o for k.
3
Let b be 81/252*12 + (-2)/(-14). Solve -b*t = -4 + 20 for t.
-4
Let c = 38 - 36. Solve 4*w = c*w - 2 for w.
-1
Suppose 3*t + 4*k + 6 = 0, -t + 0*k = 2*k + 4. Solve 0 = -g + t*g for g.
0
Let v(b) = -b**3 + 2*b**2 + 4*b + 1. Let p be v(3). Solve -3*f = -p*f + 2 for f.
2
Let q be (-6)/14 + (-116)/7. Let o be (-2)/5 - q/5. Solve -5*i + 2 = -o for i.
1
Suppose 3*k = 2*k + 4*k. Let o be 0 + 5*(-1 + 2). Suppose -o*z = -z. Solve k = s - z*s + 2 for s.
-2
Suppose -2*u = 3*u, 5*m = -4*u + 25. Suppose 0 = 3*g + 4*o - 6 + 1, m = o. Let p be -1 - -4 - 2 - g. Solve -2*i = -p*i + 8 for i.
2
Let r be (-1 - -2)*72/(-4). Let v = r - -20. Solve 5*a = v*a for a.
0
Let r = -5 + 1. Let x = 0 + r. Let z be 2/x + 10/4. Solve 5*w + z = -23 for w.
-5
Let q(c) = -c**3 - 7*c**2 + 2. Let g be q(-7). Solve -i = g*i - 6 for i.
2
Suppose 0*z - z = 0, 4*c + 36 = -z. Let b be c/(-12) - (-37)/4. Let w be (-3)/6 - b/(-4). Solve 7 = -w*a - 1 for a.
-4
Let j be (3 + (-16)/(-12))*3. Solve 3*z - 4 = -j for z.
-3
Suppose 5*p = 25, 5*c - 2*p - 2 = 38. Solve 0 = -5*t - 0*t + c for t.
2
Suppose -3*t + 10 = -2. Suppose 0 = -g + t + 13. Solve -2 + g = 3*w for w.
5
Let o(b) = 3*b - 1. Let k be o(4). Let m(x) = -5*x - 27. Let s(g) = g + 7. Let f(p) = -2*m(p) - 9*s(p). Let z be f(k). Solve z = -l + 5 for l.
3
Let o = 22 - 17. Solve -n + 0*n - o = 0 for n.
-5
Let w be (-2)/(-4)*(11 - 1). Suppose -w*v = -0*v - 30. Solve -s = s - v for s.
3
Let v be (-46)/(-23) - (0 - 0). Solve v*y + 0*y = 6 for y.
3
Let b be 19/2 - 54/36. Solve -b = j + j for j.
-4
Let t(s) = s**3 - 6*s**2 - s - 2. Let p be t(6). Let y be p/36 - (-40)/18. Let r be 10*(-1)/(-3 + y). Solve 2 = 2*i + r for i.
-4
Let x = 2 + -5. Let j be 6/3 + x + 1. Suppose j = 9*l - 5*l. Solve l = v + 2*v for v.
0
Let a = -2 + 4. Solve -m = -3*m - a for m.
-1
Suppose 4*d + 40 = 5*i, -5*i - 15 = 4*d - 55. Solve -c = c + i for c.
-4
Let p(a) = -13*a. Let w(n) = 4*n. Let s(c) = 4*p(c) + 14*w(c). Suppose 2 = 6*b - 4. Let x be s(b). Solve 4 = x*m - 0*m for m.
1
Let d(f) be the second derivative of -f**3/6 - 3*f**2/2 - f. Let z be d(-6). Solve v = 2*v + z for v.
-3
Let t be 2/(-4) + (-17)/2. Let c = t + 9. Solve c = -0*b - 3*b for b.
0
Suppose -228 = -6*m + m - 4*o, 0 = 4*m + 5*o - 186. Let z = m + -24. Let a = -23 + 23. Solve a = -8*s + 3*s - z for s.
-4
Let z be 1 - 4/(2/(-1)). Suppose v + 4*k = 2*v + 3, 0 = 2*v + z*k - 16. Solve -n = -1 + v for n.
-4
Let p(x) = x + 4. Let l be p(-3). Let j = 3 - l. Solve 0 = -2*m - j - 0 for m.
-1
Suppose -5 = 3*j + 2*j. Let m be j + 1 + (2 - -2). Suppose 4*d - 5*z + 14 = -6, 2*d - 3*z = -12. Solve -m*s + 25 - 9 = d for s.
4
Suppose 4*f + 5*u + 9 + 12 = 0, f - 16 = 3*u. Solve a - f = 4 for a.
5
Let c = 2 + 3. Let a = 2 - c. Let s = a - -3. Solve 2*q + s = -4 for q.
-2
Suppose -94 = -6*n - 34. Solve -4*z + n = -2*z for z.
5
Let q(m) = -2*m + 9. Let u be q(-4). Suppose -3*p + 13 = -u. Let r be 6/(4/(24/9)). Solve p = r*x - 6 for x.
4
Suppose -f = i - 1, 0 = -4*i + 2*i + 3*f + 7. Solve o = -3 - i for o.
-5
Let x be 2*4/4 - -1. Solve x*j = 5 + 1 for j.
2
Let h(a) = -a - 6. Let o be h(-7). Let r be (11 - o) + -10 + 10. Solve -4*c = 2 + r for c.
-3
Let f(j) = j**3 + 3*j**2 + j + 4. Let h be f(-3). Solve 3*g + 4 - h = 0 for g.
-1
Suppose 0 = 6*w - w - 110. Suppose 3*z + 2 = 5*s, 4*z = -z + 2*s + w. Solve z*f = f - 15 for f.
-3
Let f(x) = x + 14. Let r be f(-10). Suppose -r*w + 2*h + 2 = -h, 0 = -2*h + 4. Suppose 4*q - 11 = 5*n, 0*q - 5 = 3*n - w*q. Solve 2*y - n =