- 10 = b*k for k.
2
Let k(o) = 2*o**2 + o + 1. Let v be k(-1). Suppose -v*f = -17 - 25. Let g = 21 - f. Solve 4*b - 3 - 5 = g for b.
2
Let f(m) be the second derivative of m**4/12 + 4*m**3 + 5*m**2 - 5*m. Let w be f(-25). Solve -4*h = 3*h + w for h.
-5
Let p be 0/(12/(8/(-2)))*(6 - 7). Solve -1882*r + 1876*r + 12 = p for r.
2
Let o(f) = f + 33. Let z be o(-21). Suppose -5*r + z = -4*m, 5*r = -2*m - m + 26. Solve r*v - v = -9 for v.
-3
Let a = -6791 + 6863. Let y = -106 + 176. Let j = a - y. Solve f = -j*f + 3 for f.
1
Let l = 24728 - 24723. Solve -18 - 12 = -l*s for s.
6
Let i be (((-2)/(-2))/2)/((-12)/(-120)). Suppose 0 = -i*f + 4 + 6. Solve -v - 7 = -f for v.
-5
Let w = 1778 + -1736. Solve -45 - w = 29*r for r.
-3
Let t = 99 - 247. Let q = 157 + t. Suppose 3 - 6 = -v - l, v = 5*l + q. Solve -v*a + 3 = -13 for a.
4
Let a = 1522 + -850. Let d be ((-3)/(-6))/(4*3/a). Suppose d = 3*z + 4*r, -3*z - 2*r + 24 = 4. Solve -g = -z*g + 15 for g.
5
Let q(h) = -h**2 + 2*h + 3. Let f be q(3). Suppose -u = -f*u. Let k = 1433 + -1427. Solve 3*l - k + 15 = u for l.
-3
Let l(b) = 59*b + 321. Let h be l(-5). Solve h = 28*p - 198 for p.
8
Let z(t) be the second derivative of -t**3/3 - 3*t**2 - 3*t. Let x be z(-4). Let o(h) = -78*h**2 - h + 4. Let n be o(0). Solve -x*r - n = -0*r for r.
-2
Let z = 43 - 28. Let r(m) = 2*m**2 + 15*m - 5. Let b be r(-8). Let f be ((-5)/(-15) - 10/b)*-1. Solve -f*c - z = 2*c for c.
-3
Let s = 19203 + -19192. Solve s*f - 1303 = -1259 for f.
4
Suppose 0 = 2*y - 8. Suppose 81*l = 87*l - 24. Solve y*q - l = 8*q for q.
-1
Let y(l) = -4*l + 28. Let x(j) = j**3 + 5*j**2 - j - 1. Let t = -27 + 22. Let c be x(t). Let n be y(c). Solve 2*d = 5*d + n for d.
-4
Suppose -45*d - d = 826 - 2850. Solve -43*u - d = 300 for u.
-8
Let d = -4625 + 4630. Solve 7*p - d*p = 18*p for p.
0
Suppose 11*u + 91 = -4*r + 80, 3*u + 3 = 3*r. Solve 6*w - 19*w + 52 = r for w.
4
Suppose -8*o = -15*o + 147. Let k be ((-4)/6)/((-1)/o*2). Solve -9*q + 6 = -k*q for q.
3
Suppose 2*g = -b + 4, -b - 4*g + 10 = g. Let q(i) = -18*i + 12. Let y be q(b). Solve -7*o + 10*o = -y for o.
-4
Let j(m) = -13*m + 3. Let t be j(2). Suppose 26 = -4*p + 2*d, 6*d - d - 25 = 5*p. Let b = p - t. Solve -5*y + 0*y - b = 0 for y.
-3
Let c(b) = -23*b + 124. Let t be c(5). Solve t*f - 5 = -32 for f.
-3
Let q be -21*((-20)/15)/(28/18). Let p(u) = -u**2 + 22*u - 67. Let d be p(q). Solve 20 = d*t + 25 for t.
-1
Suppose 5 = -6*v + 29. Let m(g) = g + 67. Let z be m(-9). Let b be (-104)/(-18) - 6 - z/(-18). Solve -t = -b*t + v for t.
2
Suppose -13 = -p - 1. Suppose -133 = -4*k - 1. Let z = -29 + k. Solve -7*i + z*i = -p for i.
4
Let j(w) = w**2 - w - 10. Let z = -49 + 75. Let s = -29 + z. Let h be j(s). Solve y - 3*y = h for y.
-1
Let z = 0 - 12. Let u be -5*z/40*(-164)/(-3). Let h = u - 82. Solve y + 4*y - 25 = h for y.
5
Let p be 2/3 - 185/(-15). Suppose -3*z - p = -5*m - 7*z, 0 = 5*m - 3*z + 1. Solve 2*x + m = x for x.
-1
Let i(c) = -38*c + 2078. Let m be i(50). Solve m - 188 = -5*j for j.
2
Suppose -260*j + 4726 + 8274 = 0. Solve 5*w - j = -10 for w.
8
Let d(y) = y**3 - 8*y**2 - 47*y - 9. Let w be d(12). Let m be (w/5 + 1)/(6/15). Solve 10 = -m*b + 30 for b.
5
Suppose -5*x + 4*s + 49 = 0, -3*s + 20 - 5 = 2*x. Solve x*v = -v + 60 for v.
6
Suppose -29*p + 5 + 15 = -25*p. Solve p*m + 184 = 28*m for m.
8
Let a be (-6)/12*(0/(-5) - 66). Solve 1 + a = 17*z for z.
2
Let m(z) = 92*z - 604. Let c be m(8). Solve 8*a + 14*a + c = 0 for a.
-6
Let r(j) = 6*j**2 - j - 6. Let k be r(3). Suppose 15*v - 24*v + k = 0. Solve -x = -0*x - v for x.
5
Let p be (-9)/((-5)/5*1). Let s = -55 - -57. Let r be 0*(s + 0)*(-6)/24. Solve -4*c - 1 + p = r for c.
2
Suppose 0 = -14*s + 18*s - 16. Suppose 8 = s*z - 4. Let u be z - (5 - (-3 + 6)). Solve -u = -r - 3 for r.
-2
Suppose 0*m - m = -4*m. Suppose -2*r - 5*l = 2*r - 37, m = 2*r + 2*l - 16. Suppose 9*s = r*s + 24. Solve 2*d - d = -s for d.
-4
Suppose 181*x + 80*x = 100485. Solve -x = -2*j - 403 for j.
-9
Let p = -744 + 744. Solve -7*a + p = -21 for a.
3
Let o(x) = -3*x + 68. Let i be o(20). Let t be 385/88 + (-3)/i. Solve t*g = -2*g + 12 for g.
2
Let j = -213 + 209. Let k be 4/2 - (15/5 + j). Solve k*o - 8*o = 15 for o.
-3
Let r(x) = x**2 + 4*x - 24. Let f be r(-8). Suppose 0 = f*u - 49 - 23. Suppose 3*y - u = g, 0*g + 5*g = 3*y - 9. Solve 4*s - 3*s = -y for s.
-3
Let s(a) = -7*a**3 - 2*a**2 - 2*a - 1. Let g(j) = j**2 + 3*j + 1. Let h be g(-1). Let c be s(h). Suppose c = -6*r + 30. Solve -r*o + 20 = 8 for o.
3
Suppose 0*s + 1452 = -5*s - 4*k, -k = -2. Let h = s + 292. Solve h = -5*d + 13 - 3 for d.
2
Let o(t) be the third derivative of -t**5/30 + 47*t**4/24 + 29*t**3/6 - 7*t**2. Let s be 72/(-14)*154/(-33). Let u be o(s). Solve u*v + 0*v = -15 for v.
-3
Let y(s) = -s**3 - 3*s**2 - 25*s - 97. Let g be y(-4). Solve g*a - 160 = -21*a for a.
4
Let p = 43944 + -43918. Solve -105*u = -p*u + 395 for u.
-5
Suppose -8*w + 5*w - 51 = 0. Let m be 10 + w + 0 + 17. Solve m*t = -7*t + 4*t for t.
0
Let j(d) = 3*d**2 + 4*d + 4. Let b be j(-4). Suppose -b*o + 5*o = -93. Solve -o*a + 8*a = -5 for a.
-1
Suppose 0 = -907*a + 902*a + 105. Solve 63 = 7*z + a for z.
6
Let u(b) = b**2 + 21*b + 26. Let m(q) = -q**2 - 23*q + 30. Let t be m(-25). Let o be u(t). Solve o*g = 8 - 2 for g.
1
Let k(n) = -n**3 - 4*n**2 - 6*n - 6. Let b be k(-3). Let p be ((-12)/4 - -1)*b/6. Let g be 3 + p/2 + 1/2. Solve g*v - 6*v + 9 = 0 for v.
3
Suppose g - 2 = 3*d, 4*g + 1 = -3*d + 9. Suppose -g*q - w - 7 = 0, 6*w - 2*w + 24 = -4*q. Let b be -2 - (q + -2 + -4). Solve -b*x = 13 + 12 for x.
-5
Let c be (1 - -3)*(-2)/4. Let r be -2*(c/14 + (-122)/28). Solve 27*o - 24*o + r = 0 for o.
-3
Suppose g - 2*g = 4*x + 130, 0 = 3*g + 3*x + 435. Let h be (g/45)/(2/(-12)). Let c be h/3 - -1*8/(-12). Solve -3*q - 15 = -c for q.
-3
Let o(d) = -2*d**2 + 100*d + 276. Let q be o(51). Solve -52*m = -86 - q for m.
5
Suppose 0 = 4*k - 3*a - 3398, 0 = -0*k - 3*k - 2*a + 2540. Solve -832 = -4*w - k for w.
-4
Let y = 5971 + -5971. Solve -11*r + 33 = -y for r.
3
Suppose 0 = -2*y - 4*s + 82, 0*s + 2*s = -3*y + 139. Solve -y*z - 89 = 9 for z.
-2
Suppose 49*o = 1604 + 307. Solve 123*y = o*y + 588 for y.
7
Let u be 1/8 - (-234)/48. Suppose 3*d + u = 8*d. Suppose 4*p - d = 11. Solve o - 4*o - p = 0 for o.
-1
Suppose 15089 = 53*i - 2719. Solve -264 = -9*o - i for o.
-8
Let t(m) = -m**2 - 5*m + 280. Let s be t(-19). Solve s*d + 15 = -d for d.
-1
Let x(u) = -u**2 - 7*u + 11. Let b be x(-7). Let w = b - 6. Solve 0 = -7*c - w - 2 for c.
-1
Let n be (-1)/(2/(-6)) + -1. Let k be (0 - -1)*(-209)/19. Let u be ((k - -4) + 5)*-2. Solve q - n*q = u for q.
-4
Let k(z) = z**3 - 12*z**2 - 2*z + 21. Let a be 3/(-9)*(2 - 38). Let u be k(a). Let p be ((-1)/2)/((-74)/24 - u). Solve -4*b = -14 - p for b.
5
Let m = -4154 + 4206. Solve -4*s + 17*s = -m for s.
-4
Suppose 5*m - 4*m - 5*f = 11, 4*f = 5*m + 8. Let k(t) = 3*t**2 - 2*t + 1. Let r be k(m). Let v = r - 57. Solve -4*u + u + 6 = v for u.
2
Suppose 25*u - 21*u = 4*o - 164, -3*o + 2*u + 126 = 0. Solve -o*f - 30 = -49*f for f.
6
Let z(m) = -m**3 + 32*m**2 + 70*m - 61. Let p(f) = f**3 + 24*f**2 - 26*f + 9. Let n be p(-25). Let c be z(n). Solve 2*g - c + 3 = 0 for g.
2
Let f be 4 + 62/(-15) - (-1264)/30. Suppose 2*d - f = 12. Let m(q) = -q**2 + 27*q + 6. Let o be m(d). Solve 0 = -r - r - o for r.
-3
Suppose 6 = 4*h + 2*w, -5*h + w + 2*w + 13 = 0. Let o(i) = -i + 13. Let p be o(11). Let j be -4*(-2)/3*(-330)/(-88). Solve p*m - j = -h for m.
4
Let x = 619 + -74. Suppose x*s = 541*s + 28. Solve -m + 2 - s = 0 for m.
-5
Let m(a) = a**2 + 24*a - 796. Let g be m(26). Solve 498 - g = -3*b for b.
2
Suppose -4 = -b - 2*m, 33*m - 37*m - 32 = -3*b. Suppose 185 - 153 = b*o. Solve o*a - 33 = -7*a for a.
3
Let z(d) = d**2 + 13*d + 86. Let q be z(-7). Suppose 0 = 46*w - 57*w + q. Solve w*a - 5*a - 2 = 0 for a.
-2
Let z = -378 - -390. Suppose 0*w - w = -z. Solve -5*f = -w - 3 for f.
3
Let o = -74 - -124. Let r = 134 + -92. Let a = o - r. Solve c = 3*c - a for c.
4
Suppose c - 3*g - 22 = 0, -c + 5*g - 13 = -45. Suppose -c = -4*d + 49. Let a(j) = -2*j + 28. Let w be a(d). Solve w = 2*q - 1 - 1 for q.
1
Suppose l = -5*b - 22, -18*l + b = -14*l + 4. Let u be ((-21)/(-7) - 5)*l. Solve 5*q + 19 = u for q.
-3
Let d be 54/24 - (-6)/8. Let h = 