= 0 for v.
4
Let h(b) = b. Let w(m) = -6*m**2 - m - 6. Let l(p) = 6*h(p) - w(p). Let t be l(-2). Let y be 6 - (1 + 0/1). Solve -t = -y*s + 4 for s.
4
Let w(f) be the first derivative of -1/4*f**4 - 3*f - 7/3*f**3 + 1 - 3/2*f**2. Let r be w(-7). Solve r = 4*q - 2 for q.
5
Let i(x) = x**2 - 5*x**2 + 6 + 4*x**2 - 5*x + x**2. Let j be i(4). Let o be (4 - (3 + -1)) + j. Solve o*c + 9 + 7 = 0 for c.
-4
Let x(v) be the third derivative of -v**5/20 + v**4/24 + v**2. Let c be x(2). Let f be (6/c)/((-1)/5). Solve n = 2*n + f for n.
-3
Suppose 0 = -2*d + 2 - 0. Let x be d + 1 - (-5 + 4). Suppose -4*o - 4 = 0, -x*m = -0*m - 3*o - 6. Solve 1 + m = v for v.
2
Suppose 0*f + 3*f = 18. Suppose -2*h = 4*t - 10, 3*h = -5 - 4. Suppose -3*y + 6 = t*p, -f*p + p = 4*y - 7. Solve 2*j + p = -1 for j.
-2
Let q = 1230 - 1224. Suppose c - 8 - 1 = 0. Solve c - q = -f for f.
-3
Suppose -28 = -13*i + 6*i. Suppose -3*q + 34 = 4*y, 64 = 5*q + y + 2*y. Solve 2 = i*l + q for l.
-3
Let s be 120/6*(-8)/(-10). Solve s = 10*c + 56 for c.
-4
Let g be 21/(-3)*(-30)/105. Solve -2 + g = 5*m for m.
0
Let u(t) = -8*t**2 + 2*t + 1. Let d be u(-1). Let w(v) = 30*v - 9 - 10*v - 21*v. Let h be w(d). Solve o - 4 + 0 = h for o.
4
Let q = 14 - 36. Let m be (8 + q)*1/2. Let t = -3 - m. Solve -t*d = 10 - 26 for d.
4
Let d(o) = o**3 + 3*o**2 - 2*o - 1. Let s be d(-3). Let a be 3 - (-21)/(-3) - -1 - -3. Solve a*z = -s*z + 25 for z.
5
Let i(x) = x**2 + x - 1. Let k be i(-2). Let v be 0/(-5) + 7 + -4. Suppose -y + 2*y - v = 0. Solve 2*z - k = -y for z.
-1
Let o(n) = 0*n**3 - 2*n + 7*n**2 + n**3 - 8 + 7*n**2 - 2*n**2. Let k be o(-12). Suppose -k = -3*x - x. Solve 2*c - 6 = x*c for c.
-3
Suppose 8*l = 5*l - 18. Let m(n) = n**2 + 3*n - 16. Let a be m(l). Solve -6 = a*u + 2 for u.
-4
Let d(a) = -2*a**3 + 3. Let s be d(0). Suppose -3*j = -i - 3*i + 68, 0 = -2*i + 5*j + 34. Let n be -1 - -7 - 1 - 1. Solve 0 = n*z + i + s for z.
-5
Let j be 370/40 - 5/4. Let h be (-345)/(-20) - 10/j. Let y = 3 + -2. Solve -5*t - h = -y for t.
-3
Let n(a) = -13*a - 18. Let p be n(-2). Solve 10*q - 2 = p for q.
1
Let k = -728 - -728. Solve h - 82 + 81 = k for h.
1
Let h = 22 + -78. Let x = h + 58. Solve -4 = k - x for k.
-2
Suppose -5*c + 252 = -108. Let p = -63 + c. Solve -2*x + 1 = p for x.
-4
Let f(p) be the second derivative of -p**4/12 - 7*p**3/6 - 2*p**2 - 10*p. Let s be f(-6). Solve 1 = s*u - 5 for u.
3
Let r(i) = -2*i + 39. Let g be r(15). Suppose 18 = 3*h + g. Solve -h*p - 6 = -p for p.
-3
Let r = 154 - 154. Solve -3*w - 15 + r = 0 for w.
-5
Let r = -4903 + 8324. Let d be r/(-77) + (-4)/7. Let h be (-24)/((d/6)/5). Solve -i + h = -5*i for i.
-4
Let u = 485 + -482. Solve u*s - 4*s = -2*s for s.
0
Let y be 2 + -4 - (3 - 24). Suppose 0 = 4*b - y - 1. Let a = 21 + -16. Solve 0*t - a = b*t for t.
-1
Suppose 6*f - 2*f + b = 18, -5*f + 23 = b. Solve -f*z = -2*z - 9 for z.
3
Suppose -a = -r, a - 4 = 5*r - 16. Suppose -z - z - 10 = 4*u, u = -a. Let y = -1 + z. Solve y = 3*p - 4*p - 1 for p.
-1
Let m = 413 + -406. Solve -m*o = o - 24 for o.
3
Let c(p) be the second derivative of -p**5/20 - 2*p**4/3 + 4*p**3/3 - 7*p**2/2 + p. Let x = 322 - 331. Let z be c(x). Solve -z = -4*i + 18 for i.
5
Suppose w - 64 = 29. Let z = w - 88. Solve 6 = z*v + 11 for v.
-1
Suppose -7*k + 2*k - 7 = -3*l, 5*k + 3*l = 17. Suppose -h = k - 6. Solve 6 = -h*o + 1 for o.
-1
Let f = -195 - -199. Solve 0 = -g + 6 - f for g.
2
Let q = -133 - -149. Solve 12 + q = -7*h for h.
-4
Suppose 625 = 14*g - 131. Solve -g = -13*s - 5*s for s.
3
Let i(c) = c**3 - 2*c**2 + 8*c - 7. Let n be i(1). Solve z = -n*z + 1 for z.
1
Suppose 2*d + d - u - 11 = 0, -3*u - 6 = 0. Suppose 0 = -2*a - 2*i - i + d, -5*a + 5*i - 5 = 0. Solve 15 = -a*s + 3*s for s.
5
Suppose -9*k = -13*k + 12. Suppose 2*b - 5*i + k = 68, -2*b = -i - 45. Let c = -3 - -7. Solve 8*f = c*f - b for f.
-5
Let x be -1*(1 - -13)*-1. Solve -8*m - 24 = -x*m for m.
4
Let r = 10 - 10. Let m(i) = -4*i - 10. Let b be m(-6). Suppose 0 = d + b - 19. Solve 5 = d*n - r for n.
1
Let b be ((-171)/(-15))/1 + (-76)/190. Solve 2*x + b = 7 for x.
-2
Let b(v) = -v**2 - 3*v - 2. Let l be b(-2). Suppose -4*t - 3*i = -7*i - 20, l = 4*t + 2*i - 20. Solve t*c + 11 + 4 = 0 for c.
-3
Let c = -218 + 223. Solve -2*p = -p + c for p.
-5
Suppose 10 = -2*q - 3*q - 2*m, 2*q + 3*m = -15. Suppose q = 7*u - 2*u. Suppose u = -0*n - 5*n. Solve n = b + b - 4 for b.
2
Suppose 6*p - 2*c - 33 = p, -4*p - 2*c + 12 = 0. Suppose -9*q = -p*q - 8. Solve -f - q*f = 12 for f.
-4
Let p = 27 - -7. Let l = 36 - p. Solve l = -b - b for b.
-1
Let y(j) be the third derivative of 1/15*j**5 + 0 - 2*j**2 + 0*j + 1/12*j**4 + 1/2*j**3. Let f be y(-2). Solve m - f = -4*m for m.
3
Let g(h) = -h**3 + 5*h**2 + h - 5. Let l be g(5). Let c be (-6)/(-1) + 10/(-5). Suppose -c*n + z = -26, -6*n + 45 = -n + 5*z. Solve l = -2*k + n + 3 for k.
5
Let b(w) = 4*w - 9. Let s be b(3). Suppose -2*p = -3*v + 3, 6*v - 2*v = -4*p - 16. Let j be (0/p)/(2/2). Solve -s*d - d = j for d.
0
Let r(s) = s**2 - 4*s - 6. Let p = -4 - -10. Let f be r(p). Let b(j) = -j**2 + 6*j + 3. Let m be b(6). Solve h = m*h - f for h.
3
Suppose 3*d = -3*p, -d + 5*p = -0*d. Suppose 0 = -2*v - 16 - 88. Let j = -49 - v. Solve -j*z + 5*z + 8 = d for z.
-4
Suppose 4*b - 20 = 4*k, 3*k - 8*b + 10 = -6*b. Let j(u) = -2*u - 15. Let y be j(-10). Solve y*d + 1 + 4 = k for d.
-1
Let v = 206 + -155. Let f = -46 + v. Solve 2*x - 3 = f*x for x.
-1
Let r be -14 + 8 + 0 - -9. Solve -3*t - 9 - r = 0 for t.
-4
Let l = 8 - 3. Let g be (l - 8) + (-6)/(-1). Let i be 0*((0 - g) + 2). Solve -2*n = -i*n - 8 for n.
4
Let c(x) = 3*x - 7 - 45 + 15 - 5*x. Let j be c(-20). Solve 0 = j*n - 4 + 16 for n.
-4
Let s be (112/24 - 3)*3. Solve 11 = s*f - 9 for f.
4
Let a be ((-100)/(-30) + -8)/(2/(-3)). Solve 3 = 8*d - a*d for d.
3
Suppose 0 = 18*w - 60 - 426. Solve 5*n - w + 17 = 0 for n.
2
Suppose -2*k - 5 = -3*k. Let i(m) = -13*m + 93. Let g be i(7). Solve -k*n + 3*n = -g for n.
1
Suppose -41 = -3*w - q, 0*q + 71 = 5*w + 3*q. Let h(n) = n**2 - 13*n + 5. Let x be h(w). Solve -2*f = -7*f - x for f.
-1
Let c(w) = w**2 + w + 7. Let m be c(0). Solve -m = 7*q - 42 for q.
5
Let g(j) = 2*j**3 + 6*j**2 - 12*j - 14. Let y be g(-4). Solve -6*n - y*n + 3*n = 0 for n.
0
Let x be 0 - 0 - 8/(-12)*6. Suppose -7*s - 15 = -x*v - 6*s, 0 = -4*v + 3*s + 13. Solve 8 = -v*a - 0 for a.
-2
Let u be (-18)/36 - 45/(-6). Solve 4*q - u*q = 0 for q.
0
Suppose -j = 2*o - 9, -4 + 2 = -2*j + 4*o. Solve -i - i = -j*i for i.
0
Suppose 2*n + v = -64, 5*v = -n - 65 + 15. Let y = -16 - n. Let d = y + -10. Solve m - d*m - 15 = 0 for m.
-5
Suppose -7*y - 36 = -11*y. Suppose 0 = 4*t - 5*g - 5, 4*t = -g + 14 + y. Solve -1 = t*f + 9 for f.
-2
Let s(j) = -11*j**2 + 59*j + 107. Let c(k) = 5*k**2 - 29*k - 53. Let x(h) = -13*c(h) - 6*s(h). Let a be x(-21). Solve 0*t - 20 = a*t for t.
-4
Let l = -40 + 44. Suppose 4 + 0 = 4*t + l*c, t + 3*c + 3 = 0. Solve -t*s - s = -8 for s.
2
Let a = -59 - -62. Let b = 485 + -481. Solve -a*o - b = -o for o.
-2
Let o = -339 + 343. Solve 5*y - o - 6 = 0 for y.
2
Let s = 18 + 5. Let m = s + -18. Solve -27 + 12 = -m*t for t.
3
Suppose -4*x + 2*m + 6 + 28 = 0, 2*m + 22 = 2*x. Solve x = 5*f - 2*f for f.
2
Let j be 3/4 + (-258)/24. Let z be (1*j)/(-2) + -4. Solve q + 0 + z = 0 for q.
-1
Let y(t) = 2*t**3 - 22*t**2 + 2*t - 16. Let f be y(11). Solve -7*n = -4*n + f for n.
-2
Suppose 61*a - 155 - 150 = 0. Solve a*g + 43 = 18 for g.
-5
Let z = -73 + 75. Suppose 0 = z*w + 3*t - 24, 3*w + 4*t + 19 = 6*w. Solve -4*j + w = 17 for j.
-2
Let m = -30 + 5. Let y = -19 - m. Solve -v + y*v - 5 = 0 for v.
1
Suppose -119*r + 128*r = 63. Solve -r*i = 12 - 5 for i.
-1
Let q be -2 + 1 - (-40)/20. Suppose -3*i - 15 = -3*d, d - 5*i - q = -0. Solve d*p = 4*p for p.
0
Let z(w) = w**2 + 26*w + 27. Let u be z(-25). Suppose -3*j - u*j = -50. Solve j = 3*y - 5 for y.
5
Let s(t) = 2*t**3 - 30*t**2 + 2*t - 27. Let f be s(15). Let l be ((-4)/(-5))/(3/15). Solve l*k = -f + 7 for k.
1
Let x be (4/(-2))/4*-12. Let a(r) = -2*r + 3. Let p be a(x). Let i(f) = -f**3 - 9*f**2 + f + 11. Let n be i(p). Solve 2*w + 0 - n = 0 for w.
1
Suppose -m - 4*v + 18 = 0, -3*v - 19 = -m - 29. Solve -3*g = m*g for g.
0
Let q be 1/(0 - 3/(-15)). Suppose 3*z - 3*n + n = 4, 11 = 3*z + q*n. Solve -z*y + 1 = -1 for y.
1
L