-2*t = -o + 6 for t.
-3
Let n(f) be the third derivative of -f**4/8 - 7*f**3/2 - 5*f**2. Let u be n(-15). Suppose 4*m - 2*o + 3 = 33, 3*m = o + u. Solve -m = l + 2*l for l.
-3
Suppose -3*h + h - s = -3, 2*h = -4*s - 12. Let g = 263 - 263. Solve h*u - 3*u + 5 = g for u.
-5
Let d be (((-16)/(-9))/(-4))/((-8)/108). Solve 30*h - d - 24 = 0 for h.
1
Let i = 7 + -5. Suppose 6*p = -2660 - 922. Let c = 603 + p. Solve -4 = c*b - i*b for b.
-1
Let y(s) be the first derivative of s**3/3 - 12*s - 12. Let b be y(3). Let i be (b/6)/((-2)/4). Solve i = c + 2 for c.
-1
Let b = 113 - 88. Let y = b + -21. Let f be (44/(-8) + y)*(-8 - 0). Solve 2*k = 5*k - f for k.
4
Let g be 47 + 0 + 0 + (0 + 3 - 3). Solve g*o - 43*o = -8 for o.
-2
Let b(y) = y**3 - 11*y**2 - 6*y - 15. Let t(x) = -33*x - 252. Let h be t(-8). Let c be b(h). Solve -c = -4*k - 37 for k.
5
Let d(a) = a**2 - 4*a + 7. Let v be d(4). Let w be (-7)/(-14)*-2*(3 - 3). Solve 8*p + v + 25 = w for p.
-4
Suppose -3*a + 4*b = -0*a - 46, 0 = -5*a - 4*b + 34. Let x be 25/a + (-1 - (-10)/4). Solve -x*h - 2 + 14 = 0 for h.
3
Let l(n) = -108*n**3 + 26*n**2 + 16*n - 29. Let v(x) = -27*x**3 + 6*x**2 + 4*x - 7. Let t(d) = 2*l(d) - 9*v(d). Let f be t(1). Solve f*a = 21*a - 10 for a.
-2
Let x = -1320 - -1345. Solve 0 = -6*j - x + 73 for j.
8
Let a(h) = 60*h - 1337. Let l be a(23). Solve 36 = -l*b - 7 for b.
-1
Let f be (133/(-19))/(14/(-16)). Solve -3 = -f*w + 13 for w.
2
Let z = -136 - -129. Let j(n) = -n**2 + n + 61. Let b be j(z). Solve -11 = b*o - 1 for o.
-2
Let p be 24/(-108) + (-38)/(-9). Solve 8 - 24 = p*q for q.
-4
Let o(u) = -u**3 + 4*u**2 - 4*u + 2. Let j be o(2). Let q(i) = -i**3 - 13*i**2 + 9*i - 10. Let y be q(-15). Let z = y - 297. Solve -z = 2*m + j*m for m.
-2
Let i(a) = -6*a - 38. Let n be i(-6). Let m be (-6)/18 + n/(18/(-183)). Solve 9*x = 14*x + m for x.
-4
Suppose -17934 + 13436 = 68*m - 76646. Solve m*k - 20 = 1057*k for k.
5
Suppose -10 = 2*f + 3*r, 5*f + 6 = 7*f - r. Suppose 26 = 4*p + 2*a, -5*p + 3*a + 40 = 7*a. Solve -p*n + f = -3*n for n.
1
Let w = -3 - 2. Let z = w - -13. Suppose o - 3*r + 20 - 3 = 0, 4*o - 5*r + 19 = 0. Solve z + 8 = o*b for b.
4
Let z(u) = u**2 + u - 40. Let o = -1117 + 1123. Let i be z(o). Suppose 6 = d + 2*d. Solve d*a - i = -4 for a.
-1
Let g(t) = -9*t + 9. Let m be g(1). Suppose 3*y + 4*v - 15 = 0, 3*y - 3*v - 2*v - 15 = m. Suppose y = -2*r + 2*b + 11, 4*r - b = 12. Solve -1 = r*w + 11 for w.
-4
Suppose 348 = a + x, -4*x = -6*a + 4*a + 690. Suppose -136 = -4*d - o - a, 3*o - 177 = 3*d. Let i = -51 - d. Solve -c - i*c = 0 for c.
0
Suppose -3*y - t - 5 = 0, 1 = -3*t - 14. Solve y = 17*g - 18 + 103 for g.
-5
Let z(a) = a**2 + 19*a + 87. Let j be z(-12). Let b be (-10)/(-180)*j - 142/(-12). Solve -10*w + b*w = 4 for w.
2
Let t(a) be the second derivative of a**5/60 - 4*a**3/3 + 19*a**2/2 + 25*a. Let i(x) be the first derivative of t(x). Let p be i(-4). Solve j - p = 3*j for j.
-4
Suppose 3*t - 6 + 6 = 0. Suppose 4*g - 12 = 0, t = 5*r + g + 2*g - 79. Suppose 0 = -2*h - 0*h + r. Solve h*l = 3*l + 8 for l.
2
Let o be (-322)/(-20) - (5 + 472/(-80) + 1). Solve -o*b + 24*b - 32 = 0 for b.
4
Let d = 242 + -239. Suppose -4*r - 4 = -4*o, 0 = d*r - 15*o + 10*o + 5. Solve 17*s - 16*s + 5 = r for s.
-5
Let s be 126/(-210) + (-189)/(-15). Solve s*d - 10 = 2*d for d.
1
Let c(l) = 9*l - 7. Let w be c(4). Let i = -25 + w. Suppose b = 2*q + 10, i*b + 2*q + 0*q = 10. Solve s + 6 = b*s for s.
2
Let y be 34/2 + (-2 + -30 - -25). Solve y*j - 57 + 17 = 0 for j.
4
Let r(g) = 52*g + 985. Let i be r(-13). Solve -31*y - i + 185 = 0 for y.
-4
Let r be (-13 + -2)/5 + (12 - -66). Solve 57*c - 42*c = -r for c.
-5
Let f(c) = c**3 - 10*c**2 + 20*c + 10. Suppose h - 6*h - 3*m = -29, 0 = -m - 2. Let q be f(h). Solve -2*k + 1 - q = 0 for k.
-1
Suppose -5*l + 1 = -2*m - 19, -l = -2*m - 12. Let v be 4*(4 - (4 + -1)). Suppose 0 = -2*w + v*a + 28, 3*a + a = -w - 10. Solve -y + w = l*y for y.
2
Let u = 680 - 671. Suppose u*x + 246 = 327. Solve 8*m = x*m - 3 for m.
3
Let y = -2044 - -2052. Solve -y + 20 = -3*i for i.
-4
Let t = -3268 - -3271. Let q = 0 + -2. Let d be 0 + (-1 + 0)*q. Solve -t*a = d*a + 10 for a.
-2
Let c(o) = -o**2 - 16*o - 5. Let v be c(-11). Suppose 26*g - v = 24*g. Suppose 5*a + 3*w - 15 = -0*w, 0 = 5*w - g. Solve -4*k + 7 - 3 = a for k.
1
Let d(k) = 104*k**2 - 2. Let w be d(1). Solve -33*m = w + 30 for m.
-4
Suppose 0 = 5*v - 155 - 70. Let l = v - 25. Suppose 2*w = -t - 0*w + 4, -5*t - 5*w = -l. Solve 3 - 19 = t*i for i.
-4
Let w = -1762 - -1771. Solve 0 = -w*a - 73 + 64 for a.
-1
Suppose -12 + 0 = 4*v - 5*d, v = -3*d + 14. Suppose v*h = -h. Solve h = -3*j - 11 - 1 for j.
-4
Suppose 2*g = -5*f + 32, -9*g - 20 = -11*g - 2*f. Solve 0 = -10*k + g - 46 for k.
-4
Suppose -7*i = 3*j - 4*i - 105, -2*i = j - 36. Suppose -5*s - 9 = -j. Suppose s*h = 3*h + 12. Solve -w + h*w = 0 for w.
0
Suppose -38*x = -30*x - 24. Let i(a) = -2*a + 6 + 1 - 4 + 2*a**2 - a**2. Let d be i(x). Solve 15 = -z + d*z for z.
3
Let p(d) be the second derivative of -d**3/6 - 7*d**2/2 + d. Let q be p(9). Let z = 36 + q. Solve 8 - z = 4*l for l.
-3
Let z(q) = -3*q**2 - 45*q - 41. Suppose 17 = -3*h - 0*h - 5*u, 4*u = 20. Let t be z(h). Solve 0 = 4*o - t + 13 for o.
-3
Suppose 0*h = 2*h - 184. Let x be ((-20)/(-6))/(-2)*-51 + -3. Let f = h - x. Solve 0 = m + m - f for m.
5
Let n(w) = -2*w - 171. Let i be n(-21). Let j = 136 + i. Let g be (6 - 7)/(1/(-13)). Solve -5*a + g + j = 0 for a.
4
Let d be (0 - 0) + 34 + -25. Solve -d*i + 5 = 32 for i.
-3
Let i(n) = -232*n - 1436. Let z be i(-12). Solve -z*c - 2 = -1347*c for c.
-2
Suppose -2*k = f - 21, 2*k - 2*f = -0*f + 12. Suppose 25 = k*r + 7. Let x = 15 + -7. Solve r*y + x = 4*y for y.
4
Suppose -31 = -10*b - 31. Suppose 2*w = 5*m + 5 - 0, -2*m - 2 = b. Solve -4*l + w = -16 for l.
4
Suppose 104*g - 1477 - 10783 = 14884. Solve g = 75*r - 189 for r.
6
Suppose 4*q - 83 = 3*z, 0 = -4*z - 5*q - 16 - 43. Suppose -3*r = 3*u - 72, 3*u + 13 = 5*r + 61. Let y be 6/z + 6/u. Solve -b - b = y for b.
0
Let l(s) be the first derivative of s**2 + 10*s - 5. Let k be l(-5). Suppose -4*y + k - 32 = -4*m, -2*y - 13 = -m. Solve -m*d = -d + 2 for d.
-1
Let d be ((-88)/(-77))/((-4)/(-14)). Let y be (2 + (-25)/10)*-16. Suppose 7*o + 2 = y*o. Solve -o - d = 3*u for u.
-2
Suppose 18 = -1378*v + 1381*v - u, -5*u = -30. Solve 45*k = -v*k - 265 for k.
-5
Let r = 17 + -29. Let j(k) = -k**2 - 11*k + 12. Let a be j(r). Let z = -46 - -53. Solve -2*i + z*i - 15 = a for i.
3
Suppose 2*b - 52 = 2*m, -m + 28 = -2*m + 2*b. Let n be (3/m)/(4/(-32)). Let p(o) = -o**2 + 1. Let q be p(n). Solve 0 = d + 2 - q for d.
-2
Suppose 0 = -2*i - g + 20, 0 = 7*i - 2*i + 5*g - 50. Let c = -6 + i. Let v(n) = 57*n**2 + 57*n + 7. Let t be v(-1). Solve c = -3*o + t for o.
1
Suppose 2*t = -2*y + 8 - 0, -4*t + 2*y + 40 = 0. Let x be 26/t - (21/(-12) + 2). Solve -1 - 2 = -x*g for g.
1
Let z be -1*(10/(-20) - (-42)/(-4)). Let b(g) = -g**3 + 16*g**2 - 15*g - 8. Let x be b(15). Let c be z/((-44)/x)*13/2. Solve 0 = -5*d + 3 - c for d.
-2
Suppose -23*r = -17*r - 78. Let m be 2/((-10)/r) - (-15)/25. Let t be m/(2*(-4 - (-3)/1)). Solve 0*u = u + t for u.
-1
Suppose -10*m + 138 = -302. Let q be (m/(-16))/((-1)/4). Solve -3*d + q*d - 32 = 0 for d.
4
Let s(j) = -12*j + 1458. Let l be s(-55). Solve 8*z + 2126 = l for z.
-1
Let v(o) = -38*o + 116. Let t be v(7). Let m be ((-3)/(-15)*-14)/(15/t). Solve m = -3*a - 11*a for a.
-2
Let l be (-15)/2*12/(-15). Suppose -l*n - 171 = -225. Solve 4*q + n = -7 for q.
-4
Suppose 2*g + 5*x - 10 = x, 0 = -4*g - 4*x + 20. Suppose 0 = -g*y + 17 + 3. Solve -y - 8 = -4*p for p.
3
Let y = -38 + -39. Suppose 3*x + 298 = -4*a + x, 0 = 4*x - 12. Let f = a - y. Solve 0 = 3*m + f - 10 for m.
3
Suppose 3*y + 4*n = 19, -2*y - 3*n + 12 = -n. Suppose -3*h - h = u - 17, 3*u + y = 2*h. Let s be (-1)/u*-4 - (5 - 3). Solve 0 = s*z - 0*z for z.
0
Let g(q) = -5*q**2 + q + 10. Let a be g(3). Let t = a - -50. Suppose -2 = 4*o - t. Solve -o*d + 4 = -4 for d.
2
Suppose -4*y - l + 0*l + 260 = 0, -6*l + 130 = 2*y. Solve y = 2*m + 11*m for m.
5
Suppose -2*o + 238 = -5*l, -3*o = 3*l + 128 - 548. Solve o = 11*p + 79 for p.
5
Suppose y = -y + 8. Let l(m) = 2*m**2 + 8*m - 4. Let j be l(-6). Suppose -i + j = i + g, 2*g - 10 = -i. Solve i + 2 = -y*r