 v.
4
Suppose 5*o - 2*b - 180 = 0, 2*o - 5*b - 80 = -8. Suppose 0 = -4*g - 0*g + o. Let c be ((-12)/(-8))/(g/12). Solve -c*k + k - 1 = 0 for k.
-1
Let c(z) = -z**3 - 12*z**2 - 18*z - 2. Let n be c(-10). Let v = -21 - n. Solve 6 - v = 5*m for m.
1
Suppose -16 = -2*c + 20. Let h = c + -14. Solve o - h = -0 for o.
4
Suppose -3*i = 3*v - 0*v - 240, -v = -2*i + 160. Let r = -74 + i. Solve 4*q - r = q for q.
2
Let r(u) = 11*u + 26. Let k(q) = -100*q - 235. Let y(l) = 6*k(l) + 55*r(l). Let o be y(-4). Solve o = -4*x + x for x.
0
Suppose -2*v - 2*v - 28 = 0. Let u(w) = w**3 + 7*w**2 + 2. Let y be u(v). Suppose -5*t = -3*t - 10. Solve -q - t = -y*q for q.
5
Let k(c) = 3*c + 14. Let p be 11 + -11 + (1 - 5). Let i be k(p). Let z be (-68)/(-12) - 4/6. Solve z = 3*g + i*g for g.
1
Let c be 2/((10/(-4))/(-5)). Suppose -12*o + 21*o - 45 = 0. Solve -3*q = o + c for q.
-3
Suppose 0 = -2*o + 3*o. Let u = -13 - -17. Suppose 5*n + u = -4*t + 28, -5*n + 2*t = -18. Solve c + n = -o*c for c.
-4
Let a = 12 - 15. Let i be (a/(-6))/((-4)/(-8)). Let n be 2/(i + (-3)/6). Solve 2*u - n = u for u.
4
Let m = 17 + -14. Suppose -37 = -2*v - j, 0 = -5*v + j - m*j + 91. Suppose -3*i - v = -47. Solve i*f = 5*f for f.
0
Let o(n) = -n**3 - 5*n**2 + 6*n. Let y be o(-6). Suppose 0 = -2*s - 2, s - 9 = -5*u - 25. Let z be (5 + y - 1) + u. Solve 2*t - 3 - z = 0 for t.
2
Suppose 3*u + p = 77, -5*u = -3*p - 2*p - 135. Solve 6*g - u = 4 for g.
5
Suppose -2*q + 5*a - 10 = 3*q, -a = -4*q - 2. Solve 6*w - w = q for w.
0
Let z be 9/(-21) + 30/21. Let j(k) = 5*k**3 + 1. Let h be j(z). Let m = -3 + 5. Solve -m = 2*w - h for w.
2
Let y(h) = -4*h - 18. Let u be y(-6). Suppose u - 4 = 2*g, 5*n = -2*g + 22. Solve 3*k - 8 = n for k.
4
Let c(v) = v**3 - 10*v**2 - v + 14. Let b be c(10). Let m be (-7 + 8)*(0 + b). Solve 4*t + 20 - m = 0 for t.
-4
Let j be -18*4*(-3)/(-24). Let y be 3/(j/(-12)) - 4. Solve 0 = -y*h + h for h.
0
Suppose 26*o + 18 = 32*o. Solve -o*k + 3 - 9 = 0 for k.
-2
Suppose 3*p - 50 = -2*x - 23, 18 = 2*p + 4*x. Solve -7*c + p*c + 6 = 0 for c.
-3
Suppose -2*t = -1 - 5. Suppose 2*a - t*a + 3*w + 19 = 0, -5*a + w + 39 = 0. Let f be 2/a - 26/(-7). Solve 0 = k - f*k for k.
0
Suppose -5*a + 7 = -3*a + f, -2*f = -a + 1. Suppose -5*g - a = -3. Solve -4*h + 4 = -g for h.
1
Suppose -30 = -9*i + 222. Solve -4*n = -11*n - i for n.
-4
Suppose 0 = m + 2*s - 32, 0 = 7*m + 3*s - 111 - 91. Solve -7*f - m*f = -140 for f.
4
Let w(v) be the second derivative of v**5/20 - 11*v**4/12 + 3*v**3/2 + 5*v**2 - 7*v. Let m be w(10). Solve 2*i - 6*i - 4 = m for i.
-1
Let i(s) = -2 + 3*s + 11 - 2*s - s**2. Let t be i(0). Let c = t + -9. Solve 0 = a - c + 2 for a.
-2
Let i be 8/((-14)/63 - (-20)/9). Solve i*x - 11*x = -7 for x.
1
Let c = 368 + -354. Solve -13 = c*h - h for h.
-1
Let b be ((-35)/(-30))/(5 + 87/(-18)). Let o = 4 - 3. Solve b = 3*y + o for y.
2
Suppose -4 = 7*l - 39. Suppose -2*f = -3*t - 4, l*f - 3*f + 5*t = 4. Solve 0*s - f*s = 6 for s.
-3
Suppose 0*m = -m, 0 = 2*t - m - 4. Suppose t = 2*b - 4. Let y = -83 - -84. Solve -b*g + 2*g = -y for g.
1
Let t be 646/17 + 0/(-2 + -3). Solve 36*n - t*n = 10 for n.
-5
Suppose -4*w = 0, 4*z = -4*w + 255 + 337. Solve 141*l = z*l + 21 for l.
-3
Let i(t) = t**3 + 7*t**2 - t - 3. Suppose -6 = 2*d, 3*d + 3 = 3*a + 18. Let l be 1 + a/(-1)*-1. Let k be i(l). Solve k*n + n = 0 for n.
0
Suppose 4*m = -c + 178, -3*m + 0*m - 4*c + 140 = 0. Solve -m = 2*u - 34 for u.
-5
Let y be -2*(-3 - -1) + 20/4. Solve 3*p + 24 = y for p.
-5
Suppose -4*n + 1 - 23 = -3*z, -6 = z + 2*n. Solve -3*r = z - 8 for r.
2
Suppose k + 25 = 30. Suppose -2*x - 3 + 6 = -k*n, -x = 3*n - 7. Solve -n = t + 4 for t.
-5
Let m be (-2)/(-34) - 1541/(-391). Solve 0 = -10*h - m - 6 for h.
-1
Suppose 0 = -4*b - 2*a + 32 + 46, -3*a = 2*b - 33. Suppose -b - 7 = -4*t. Solve -t + 4 = -3*j for j.
1
Let x be 9/3 - ((-6)/(-2) + -11). Solve -3*n - x*n - 56 = 0 for n.
-4
Let b be 2 + 2/(0 + 6/(-3)). Let m = b - -1. Solve 25 = m*v - 7*v for v.
-5
Suppose 0 = -2*g + 3*v + 13, 2*g - 4*v + 5*v = 9. Suppose 16 = t + q + q, 2*q = -g*t + 48. Let c be (-12)/(-1)*4/t. Solve -4 = c*z - 4*z for z.
-2
Suppose -5*j - 3*r = -105, 0*j = -j + 5*r + 21. Suppose 22*u - j = 15*u. Suppose 6*f = 2*f + 3*l + 6, 2*f + 4*l = -8. Solve -t + u - 2 = f for t.
1
Let v = -19 - -32. Let d = 16 - v. Suppose 0*k + d*k = 12. Solve -4*u = -16 + k for u.
3
Suppose 0 = 3*i, 8*i = 5*j + 4*i + 90. Suppose p + p = -44. Let k = j - p. Solve -3 = -o - k for o.
-1
Let r(i) = -i**2 + 6*i - 2. Let k be r(6). Let d be (k - -2)*1/(-2). Suppose -4*n + 4*g + 16 = d, -3*n - 5*g = 2*n - 30. Solve -v + 3 - n = 0 for v.
-2
Let v be 5 - ((-3)/4 + (-2249)/52). Solve v*h - 36*h = -13 for h.
-1
Let p = -18 - -20. Suppose -u + 6 - 1 = 0, 5*v + 120 = -p*u. Let q be v/(-4) - (-2)/4. Solve q*t = 3*t + 4 for t.
1
Let t = 1588 - 1582. Solve -u + t = 5*u for u.
1
Let x be ((-25)/(-15))/(0 + (-10)/(-12)). Solve 12*t + x = 11*t for t.
-2
Suppose -4*q = 2*s + 8, s - 5*q + 27 - 9 = 0. Let b be 1/(-16)*6*s. Solve -b*t + 3 + 3 = 0 for t.
2
Let y(t) = t**3 + 4*t**2 + 2*t + 35. Let r be y(-5). Solve -4*p + p + p = r for p.
0
Suppose 0 = d - 3*q + 70, 3*q + 186 = -5*d + 2*d. Let a = d - -91. Solve 7 = -4*r + a for r.
5
Let l be (6*3/(-27))/(4/(-30)). Solve -7 = l*a + 18 for a.
-5
Suppose -3*o = 2*g - 7, -2*g - 3*g = 2*o - 34. Let x = 10 - g. Solve x = -b + 3*b for b.
1
Let l(y) = 5*y - 5. Let u be l(1). Solve u = -40*p + 38*p + 2 for p.
1
Let j(v) = -v**2 - 33*v - 196. Let f be j(-8). Solve -f*w + 0*w = -12 for w.
3
Let z be (-32)/(-144) + 43/9. Suppose 0 = 5*f - 15 - z. Solve 0 = -5*r + 3*r - f for r.
-2
Let r be 1/10*4*75/30. Suppose 7*a - 27 - r = 0. Solve -a*g = -22 + 6 for g.
4
Suppose 3 = 5*b - 7. Let l be (-126)/(-3)*3/(-6). Let a = l - -25. Solve a = -b*g - 2 for g.
-3
Let o(s) = 5*s + 54. Let w = -78 - -68. Let d be o(w). Solve 0 = x + 3 - d for x.
1
Let i be (-25)/(-2)*(-28)/(-35). Solve 6*s + 4 = i*s for s.
1
Suppose -5*f + f + 18 = m, 2*m - 24 = -4*f. Solve 0 = m*t - 1 - 5 for t.
1
Let k(f) = 6*f + 1 - 5 - f**2 + 4*f**2 - 4*f**2. Let h be k(2). Solve 0*g = -2*g - h for g.
-2
Let c(u) = -3*u**2 - 36*u - 9. Let v be c(-9). Suppose -32 = -z + 4*i, 4*z - 2*i - v = -0*i. Solve 0 = 5*w - 1 + z for w.
-3
Let g(z) be the second derivative of z**5/20 - 3*z**4/4 + 5*z**3/3 - 7*z**2/2 + 7*z. Let x be g(8). Solve -x = -5*d - 24 for d.
-3
Let o be (3 + 1)/12*9. Suppose -4*i - 3*b - o = 0, -3*i + b = -b - 19. Solve 0 = -3*j + 2*j + i for j.
3
Let g be 0 - 4 - (-4 - 33). Suppose 4*b + 13 - g = 0. Solve 3 = 2*a - b*a for a.
-1
Suppose -4*h + 190 = 2*f, -9*h + 4*f + 270 = -4*h. Suppose -25 = h*l - 55*l. Solve -9 = 2*o - l*o for o.
3
Let y be -4 - -14*(-2)/(-4). Let l be (72/(-45))/(2/(-10)). Let b = 20 - l. Solve 0 = -0*a + y*a - b for a.
4
Let w be ((-56)/(-8))/((1 - -1)/4). Solve 4*s + w + 2 = 0 for s.
-4
Let h(y) be the first derivative of -y**2/2 + 3*y - 36. Let g be h(0). Solve 0 = -v + 1 - g for v.
-2
Let o = 2041 + -2018. Solve -9*t + o = -4 for t.
3
Let c be 22/14 + (-9)/(-21). Solve -c = l - 5 for l.
3
Let g be 2/(-4 + 14) + 498/10. Let t = g - 48. Solve -3*m + 2*m + t = 0 for m.
2
Let d(r) = 2*r + 8. Let z be d(-4). Suppose -5*q - 10 - 10 = z. Let p = -4 - q. Solve p = -s - s + 6 for s.
3
Let y = 0 + 4. Let q be y/26 + 296/104. Suppose 0 = 2*v - q*t - 1, 3*v + 3*t - 7*t = 3. Solve -v*h + 0*h - 5 = 0 for h.
-1
Suppose 3 = -3*k - 3*f, -3*k + 3*f = 2*k - 3. Suppose 0 = -2*w - 6 - 0. Let n(s) = -s**3 - 2*s**2 + 3*s + 4. Let r be n(w). Solve -r*q = -k + 20 for q.
-5
Let f(j) = -3*j**3 + 11*j**2 + 12*j. Let o(v) = -v**3. Let z(b) = -f(b) + 2*o(b). Let c be z(12). Solve m - 2*m - 1 = c for m.
-1
Suppose 2*q - 3*w + 21 = -36, -5*q - 125 = -4*w. Let a(h) = h**2 + 25*h - 26. Let t be a(-25). Let k = q - t. Solve -3 = -2*f - k for f.
-1
Let x = -74 - -74. Suppose s + 5 = 2, -2*p - 2*s + 8 = x. Solve -p = 4*h + 13 for h.
-5
Let h(d) = d**2 + 29*d + 44. Let o be h(-27). Let s(a) = a + 12. Let r be s(o). Solve -4 = -r*y + y for y.
4
Let y(r) = -r**3 + r**2 - 19. Let w be y(0). Let p = w + 24. Solve 0 = -4*g + 3 + p for g.
2
Let x(b) = b**3 - 8*b**2 + 3*b - 14. Let f be x(7). Let c = 42 + f. Solve c = -4*d + 9 - 1 for d.
2
Let o be (-42)/(-18) - 1/3. Suppose -12*h - o*h = h. Solve 5*s + h = -20 f