ve 4 = o*v + 1 for v.
1
Let y(c) be the first derivative of -44 - 9/2*c**2 + 2/3*c**3 + 4*c. Let p be y(4). Solve 0 = 2*r + 8 - p for r.
-4
Let r = -6176 + 6193. Solve r*t = 45*t - 84 for t.
3
Let u be 8 - ((-66)/(-77))/((-9)/42). Let w = -9 - -12. Let j = w - -2. Solve u = j*c - 3 for c.
3
Suppose 178 = 2*w - 24*x + 29*x, 274 = 3*w + 4*x. Suppose w*c = 119*c - 300. Solve 8*t + 20 = c*t for t.
5
Suppose d - 13 = -12*d. Let c be (((-2)/7)/(7/(-98)))/d. Suppose -8 = 4*y, 2*p - p - 3*y - 14 = 0. Solve -c*u - p = -4 for u.
-1
Let s(l) = 2*l**3 + 65*l**2 + 30*l - 52. Let t be s(-32). Solve -2 = -t*i - 14 for i.
-1
Let n be 28/(-8) + 3 + (-29)/2. Let o = 18 + n. Suppose 0 = -2*c - c - o, 7 = a - 3*c. Solve -a*y - 6 = 2 for y.
-2
Let w(s) = 94*s + 368. Let i(u) = -94*u - 362. Let x(k) = 4*i(k) + 5*w(k). Let p be x(-4). Solve -3*b - b = -p for b.
4
Suppose 2*q - 130 + 112 = 0. Suppose -35 = q*x - 53. Solve 0 = -x*c - 4 + 12 for c.
4
Let n(x) = -x**3 + 5*x**2 - 3*x - 1. Let p be n(2). Suppose -p*y = -3 - 22. Solve 0 = y*i - 4*i + 1 for i.
-1
Let w be ((-326)/(-10) + 0 - 222/(-555)) + -5. Solve 23*b + w = 16*b for b.
-4
Suppose 2*y + 177 = -89. Let p = 139 + y. Solve -3*w + 0 = p for w.
-2
Suppose -420 = 274*h - 280*h. Solve 38*j + h = 3*j for j.
-2
Let c(n) = -13*n + 4*n**2 - 3*n**2 + 524 + 3*n - 617. Let y be c(17). Solve -22 = -12*v + y for v.
4
Let s(q) = 3*q + 24. Let r(g) = 1. Let v(w) = -6*r(w) - s(w). Let c(b) = -43*b - 699. Let i be c(-16). Let k be v(i). Solve k*d + 15 = -2*d for d.
-3
Let c(q) = 3*q**3 - 44*q**2 - 137*q - 26. Let m(o) = -o**3 + 15*o**2 + 46*o + 9. Let h(i) = -4*c(i) - 11*m(i). Let y be h(14). Solve -12 = -y*g + 8 for g.
4
Let r = -389 - -392. Let p be (-1 - -3)/2 - 1. Suppose -3*i + i = p. Solve -r*d + 2*d + 1 = i for d.
1
Let l(y) = -3*y - 4. Let s be l(-4). Suppose 5*v = -15, 2*v + 0 = n - s. Solve c + n = 1 for c.
-1
Let a be ((-8)/(-48) + 0)*0. Suppose 0 - 2 = n. Let f(h) = -h. Let u be f(n). Solve -6 = u*s - a for s.
-3
Let f = -2561 + 2565. Solve 0*s = f*s + 16 for s.
-4
Let v = -80 + 114. Let h = v - 6. Let i = h + -26. Solve i*f = -4 - 6 for f.
-5
Let p(r) = 2*r - 3. Let i be p(3). Suppose -230 = -3*h - 1214. Let x = h - -331. Solve 0*n + i*n = x for n.
1
Suppose -4*s = 3*u + 3, s - 4*u = -u + 18. Suppose 0 = s*y - 4*z + 2*z - 242, 0 = -4*y + 2*z + 320. Let d = 83 - y. Solve d*v + 2 = 4*v for v.
-2
Let c(u) be the third derivative of 3/8*u**4 - 5/2*u**3 + 13*u**2 - 1/60*u**5 + 0*u + 0. Let x be c(6). Solve -2 + 11 = x*f for f.
3
Let n be 6/(-4) - (325/10)/(-5). Suppose 2*c + n = 11. Suppose 12 = c*p - 0*p. Solve -5 = -p*m + 3 for m.
2
Let z be (15/9)/(14/84). Solve i = 6*i + z for i.
-2
Let q = -131 + 130. Let s be (((-462)/(-36))/(-11))/(q/6). Solve s*n = 3*n for n.
0
Let j be 2*(-4)/((-8)/(-7)) - -3. Let k be (0 - 54/12)*j. Solve -k = -4*x - 2 for x.
4
Suppose 68*v - 71*v = -15. Solve 0 = -v*m + 67 - 42 for m.
5
Let v = 5726 + -5726. Solve 3*w - 223 + 226 = v for w.
-1
Let v be (-3 + 2)/(1/(-3)). Suppose -736*m + 747*m = 66. Solve -m*j = -v*j for j.
0
Let s = 173 - 169. Suppose 3*f = -s*i - i + 11, 0 = -2*f - 6. Solve 8*z + i = 4*z for z.
-1
Let t = 59 + -24. Suppose -10 + 20 = 5*a + 5*r, -4*a + 5*r + t = 0. Solve a = 4*z - 3 for z.
2
Let o = -24580 - -24587. Suppose 0 = -5*b - 3*l + 19, 2*l - 7*l = -4*b - 7. Solve -9 = o*k - b for k.
-1
Let z = -6930 - -6941. Solve 0 = z*b - 17 + 72 for b.
-5
Let i be 767 + (4/(-6) - (-740)/111). Suppose -10*n = i - 813. Let g be 2 - -6*4/6. Solve -n*y + y = -g for y.
2
Let a(w) = 2*w + 2. Let x be a(1). Suppose -4*o - 4*f = -4, 2*f = -x*o + 7*f + 4. Solve -2*m - 9 - o = 0 for m.
-5
Suppose -c - 4*o + 158 = 123, 5*o - 21 = 2*c. Solve -72 + 30 = c*r for r.
-6
Suppose 0 = -3*n + h + 75, -2*h + 33 = n + 1. Suppose 4*j - 5 - 3 = 0, 5*o - 2*j - n = 0. Solve 0 = o*f - 3*f + 9 for f.
-3
Let s(f) = -7*f - 104. Let n be s(-17). Suppose -3*h - n = -3*v, -v + h = 3*v - 32. Solve 9*m = 6*m + v for m.
3
Let d(b) = 10*b**3 + 7 - 34*b - 9*b**3 - 38*b**2 + 53*b**2. Let u be d(-17). Solve -2 = -v - u for v.
-5
Let z be (-610)/(-24)*-3 + (-2)/(-8). Let m = z - -73. Let b(l) = -l**3 - 2*l**2 + 2*l + 3. Let u be b(m). Solve 2 = 2*r + u for r.
-2
Let t(q) = -34*q - 8. Let x be t(-4). Let p = x - 120. Let k = -10 + 14. Solve p = -4*m - k for m.
-3
Suppose -26*w + 4*w - 110 = 0. Let s = 19 + w. Solve 0 = -6*f + 10 + s for f.
4
Let d = 214 - 200. Let o(c) be the first derivative of -c**3/3 + 8*c**2 - 26*c - 3. Let u be o(d). Solve -u*n + 3*n = -5 for n.
-5
Suppose 0 = -2*d - 42 - 98. Let w = 68 + d. Let y be w*(15/10 + -4). Solve 0 = -3*n - 4 - y for n.
-3
Let d be (-1)/(-5 + (-28)/(-6)). Suppose 5*f - d*f = 0. Suppose 0 = k, f*g - g = -k. Solve -4*o + 0*o = g for o.
0
Let m be (-1 - -119) + 8*(-9)/(-72). Solve -m = 43*t + 53 for t.
-4
Let f(g) = g**3 + 7*g**2 + 6*g - 5. Let q be f(-6). Let u be q*3*(-8)/40. Solve u*i - 8 = i for i.
4
Let a(b) = b**3 - b + 5. Let f be a(0). Let y = -1 - -4. Suppose 0 = -3*l + o + 56, l - y*o = -2*o + 16. Solve -3*p - f = -l for p.
5
Let s be 6/8*(77 + -69). Solve 213 - 207 = s*w for w.
1
Suppose 14*v = 11*v + 129. Suppose -14*w + 41 = -v. Suppose -5*s + w*t + 55 = t, -29 = -4*s + t. Solve 2*d - 12 = s*d for d.
-3
Let j be ((-6)/4*324/729)/((-14)/5733). Solve 0 = -8*p - 321 + j for p.
-6
Let f(m) = -2*m - 31. Let n be f(-18). Let b = n + 10. Let g = 19 - b. Solve 2 = -3*r - g for r.
-2
Suppose -125*r + 85*r - 6345 = -85*r. Solve 179 = 40*d - r for d.
8
Let b(y) = -3*y - 8. Let i be b(-7). Suppose 4*s - i = 4*r + 19, 6 = -2*r. Let g(h) = -h**2 - 4*h - 3. Let o be g(-2). Solve -16 = s*n - o for n.
-3
Suppose -149*s + 84 + 545 = -116. Suppose 5*a + d - 13 - 6 = 0, 3*d + 7 = a. Solve a*y = -y + s for y.
1
Let v be 71/3 - 50/(-150). Solve 4*f - v*f = 0 for f.
0
Suppose 23*i - 226 + 19 = 0. Let r = -1 - -1. Suppose r = -i*p + 6*p + 66. Solve 0 = 3*v + p - 10 for v.
-4
Let f(g) = -13*g - 28. Let j be f(0). Let q be ((-42)/4)/(42/j). Solve -12 = 4*h - q*h for h.
4
Let l(r) = 2*r - 11. Let k(c) = -4*c + 21. Let x(t) = 2*k(t) + 5*l(t). Let m be x(10). Suppose -50 = -12*v + m*v. Solve -9*w + 4*w = -v for w.
2
Suppose -h = 150*q - 151*q - 11, 1 = h + q. Solve -n = h - 11 for n.
5
Let b = 35 + 11. Suppose -6 = -2*p - p, 0 = 4*v - p - b. Solve v = 6*n - 3*n for n.
4
Let n(t) = -50*t - 74. Let s be n(-2). Solve p + 28 - s = 0 for p.
-2
Suppose -740 = 4*n + 3*m, -392 = 2*n + 17*m - 21*m. Let p = n + 199. Solve -p*z - 3 = -12*z for z.
3
Suppose 2*f = s - 78, -5*s - f + 9 + 227 = 0. Let g(r) = -7*r. Let u be g(-1). Solve -u*b = 3*b + s for b.
-5
Let p be 9 - (-11 - 1)*18/(-72). Suppose 3*d - 14 = -2*n, 0 = -n - p + 4. Solve -d*o = -o + 5 for o.
-1
Suppose -4*v - 3*z + 2761 = 0, -4*z + 2438 + 318 = 4*v. Solve -2*b + 700 = v for b.
3
Let f = -9 + 14. Suppose -5*w + 23 = 4*y, w - 2*y + 1 = -0*w. Let h = 4977 + -4973. Solve h*s = -w - f for s.
-2
Suppose -5*w = 5*m - 42 + 7, 4*w = 2*m + 10. Solve -24 = -w*n - 12 for n.
3
Suppose -7*l = -163 + 16. Suppose -29*c = -l*c - 296. Solve 0 = c*d - 34*d for d.
0
Let k(g) = 2*g**2 - 6*g - 9. Let u be k(7). Suppose 26 = -u*h + 120. Solve 2 = -q + h for q.
0
Let d be (-24)/((-8)/(-12)*-3). Suppose -d*c = -7*c. Suppose c = 6*f + 7 - 19. Solve 0 = f*r + 2*r + 12 for r.
-3
Let j(w) be the first derivative of -w**2 + 11*w - 39. Let z be j(4). Suppose 0*k = y - 2*k - z, 5*y - k = 15. Solve 2*q - y*q = 5 for q.
-5
Suppose -4*q = -2*j, -2*q - 4*j = -j. Suppose -23*n + 69 = -q*n. Solve 2*f = -n*f - 15 for f.
-3
Suppose -2*w + 15 = -3*g, 5*g = w - 75 + 78. Solve -73 + 13 = -w*j for j.
5
Suppose 17*c - 680 = 12*c + 5*f, -3 = 3*f. Let w be (-27)/c - 41/(-5). Solve -5*i - w = -9*i for i.
2
Let l be 2/1*(46/4 - 3). Let u = -2 - 13. Let d = u + l. Solve 0 = -d*y - 2 + 4 for y.
1
Let a be 98/2 + 37 + -29. Solve 47 - a = -2*w for w.
5
Let c(o) = 8*o**2 - 546*o + 2730. Let l be c(5). Solve 0 = -198*m + l*m - 12 for m.
6
Suppose -4*o + 89 = 3*x, -3*o - 5*x - 5 = -80. Suppose 2*q + 5*z + 7 - 26 = 0, -z - 71 = -3*q. Suppose q*a - 3*a = 0. Solve a = -4*s - s + o for s.
4
Suppose -s + 328 = 318. Let h(d) be the third derivative of d**6/120 + 2*d**5/15 + d**4/3 + 7*d**3/6 + 3*d**2. Let a be h(-7). Solve -3*f - 2*f - s = a for f.
-2
Let j(x) = -24*x**2 + 30*x**3 - 31*x**3 + 