 = -13*m + 12*m - 6 for m.
-6
Let h(m) be the third derivative of m**5/60 - m**4/6 + m**3/3 + 2*m**2 + 78*m. Suppose -2*s + 4 = -s. Let l be h(s). Solve 2*p = p - l for p.
-2
Suppose -5*p - 192 = -2*w, 5*w + 5*p - 263 = 2*w. Suppose -44*q = -31*q - w. Let z be ((-4)/(-6))/(1/3). Solve -z*i - 3 = q for i.
-5
Suppose -2*f + 502 = -2*d - 520, 994 = -2*d - 5*f. Let a = 535 + d. Solve 4*j + a = 28 for j.
0
Let x = 6018 - 5961. Solve -65 = 4*j - x for j.
-2
Let o(b) = 74*b + 2829. Let q be o(-38). Solve -q*a - 548 = -480 for a.
-4
Suppose -145*k = -148*k - 36. Let i be 16/k*(-90)/40. Solve -2 = y + i for y.
-5
Suppose -368 = -86*r + 320. Let q(z) = -2*z - 3. Suppose -6*w - 11 = 7. Let u be q(w). Solve r*s = 5*s + u for s.
1
Let t be (-54)/12*(1 - (2 - -1)). Suppose t*r - 14*r = -10. Suppose 0*s - 5*s - 19 = -w, -r*w - 3*s = 1. Solve w*x - 7 = -3 for x.
1
Let t = -6787 - -6839. Solve -183 = -47*v + t for v.
5
Suppose 20 = 41*o - 37*o - 5*f, 5 = o - 4*f. Suppose 5*x - b = 16, 32 = o*x - 3*b + 6*b. Solve -2*v + x*v = 10 for v.
5
Let k = 3581 - 3286. Solve -304*s = -k*s - 54 for s.
6
Let l(i) = 24*i + 378. Let b be l(-15). Solve -b = 3*n + 15*n for n.
-1
Let k(r) be the third derivative of r**5/12 - r**4/24 - r**3/3 - 173*r**2. Suppose 0 = 2*p - 4, d + 3*p = p + 2. Let c be k(d). Solve -4*q + 8*q + c = 0 for q.
-5
Let u(s) = s**3 - 7*s**2 - s + 7. Let o be u(7). Let j = 3214 + -3208. Solve o = 4*c - j*c for c.
0
Suppose y - 2*y + 0*y = 0. Suppose a - 5*k + 2 = y, 2*a = -2*k - 3*k + 56. Solve -6 + a = -4*u for u.
-3
Suppose -2*l = -3*n + 455, -4*n = -3*l - 375 - 230. Solve 21*y - n + 50 = 0 for y.
5
Suppose -40*q + 13*q - 53 = -215. Solve -q = -0*c - 6*c for c.
1
Let r be 7 - -6*(-188)/(-6). Let a = 197 - r. Solve 0 = -a*s - 3 + 5 for s.
1
Let m be 5/(-1) - (4 + -12 + 1). Let n be m/(9 - (-150)/(-18)). Solve -r + 4 = n*r for r.
1
Let y = -60 + 56. Let g be y/(4 + -5) - 0. Let c be (-2 + g + -1)*-1*-4. Solve 3*i - c = 2*i for i.
4
Let u = 324 - 291. Let y be (u/2)/(-11)*-8. Solve 0 = 10*o - y*o for o.
0
Let h(t) = 60*t - 3477. Let r be h(58). Solve 0 = 50*n - r*n + 423 for n.
-9
Let h = 1984 - 1979. Solve 26*q = 21 + h for q.
1
Let j(o) be the second derivative of 0 + 1/3*o**3 + 10*o**2 + 17*o. Let z be j(-5). Solve 0 = 4*b + z + 2 for b.
-3
Suppose 0 = 6*t + 344 - 626. Let z = t + -42. Solve -2*p - 5 = z for p.
-5
Let t = -188 - -218. Let o = t - 28. Solve -o*h = -h for h.
0
Let u(b) = -2*b**3 - b**2 + b. Let v be u(0). Suppose v = 5*y + s - 90, -3*y + s = -s - 67. Solve -y*z = -18*z + 2 for z.
-2
Let s be (33/(-9))/(-11) + 5/3. Suppose -5*x + 2*m + 77 = -2*m, s*x - 41 = 5*m. Solve 0 = 10*k - x*k - 12 for k.
-4
Let c = -40 + 45. Suppose c*t - 34 = 2*w, -2*t - t + 5*w = -28. Let h be (-116)/87 + 38/t. Solve h*z = 16 + 9 for z.
5
Let i(a) = -a**2 - 29*a - 133. Let u be i(-6). Solve z - 6*z = u for z.
-1
Let v = 5462 - 5454. Solve 0 = -39*d + 43*d - v for d.
2
Let a be (6 + -1)*(18 - 17). Suppose -f + 0 = 3*z - 6, 4*f - a*z = 24. Solve -6*q - f = -9*q for q.
2
Let w(o) = 37*o**2 + 16*o - 9. Let i be w(2). Solve 0 = -i*d + 169*d + 4 for d.
2
Suppose -80*d + 75*d - 218 + 623 = 0. Solve 90*f - d*f - 45 = 0 for f.
5
Suppose 11 = -2*h + 13. Let v be (-3)/9*(18 + -18). Solve q + h + v = 0 for q.
-1
Let c(q) = -2*q**2 + 22*q + 98. Let h be c(14). Solve h*g = 20*g - 18 for g.
3
Let s(n) = -4*n - 74. Let l be s(-23). Solve 18 = 12*a - l*a for a.
-3
Let z = 3090 - 3075. Solve 2*c + z - 13 = 0 for c.
-1
Let s(k) = 2*k - 6. Let i(h) = 2*h - 6. Let v(p) = 4*i(p) - 3*s(p). Let o = 46 + -42. Let j be v(o). Solve 0 = j*n + n for n.
0
Suppose 0 = 235*k - 30*k - 36900. Solve 10*w = -130 + k for w.
5
Let t(d) = -d**2 - 17*d - 11. Let y be t(-16). Suppose 61 = y*z + 51. Suppose -3*k + z*r = -3*r - 4, 0 = 5*k + r - 16. Solve -k = -3*j - 18 for j.
-5
Let f be 2 + 1 - (8 + -20 + 4). Solve -5 = -6*y + f*y for y.
-1
Let u be (-18)/(-15)*(176/12 + -8). Let h be 16 - (-2)/(u/(-28)). Solve 2*p - 1 = -h for p.
-4
Let p be ((-10)/6)/((-188)/564). Solve 5*b + p*b - 30 = 0 for b.
3
Suppose -27*c + 20*c = -175. Let p be (10 - 0) + c*1/5. Solve 10 - p = k for k.
-5
Let r = -20904 - -21304. Solve 18*v + r = -62*v for v.
-5
Let c(k) = 3*k**3 - 29*k**2 - 23*k + 138. Let r be c(10). Solve 10 + 30 = r*s for s.
5
Let b be 2 + 5*(1 + 5 + -5). Suppose 23 = 3*d + 2*s, -b = -5*s - 2. Solve d*q + q = q for q.
0
Let y be (46/(-4))/(4*(-2)/16). Suppose 177 = y*z + 39. Solve 25 = -z*u - 5 for u.
-5
Suppose -12*h + 16*h - 12 = 0. Let m = -40 + 61. Let c = -21 + m. Solve c*q + q = h for q.
3
Let j(b) = -5*b**3 + 59*b**2 - 44*b + 30. Let f be j(11). Solve f*o + 40 = -140 for o.
-6
Suppose -9*l - 5*l - 22*l = -252. Solve 34 = -l*w + 62 for w.
4
Suppose 17 = -b + 19. Let s be (b + 16/(-20))/(24/180). Let j = 5 - 3. Solve 0 = -j*w - s + 5 for w.
-2
Let w be (-14)/(-21)*(-10 + 85). Solve 143*h = 153*h - w for h.
5
Suppose 924 = -4*s - 4*r, -2*r = 2 - 0. Let q = s + 230. Solve 3*c + 3*c - 12 = q for c.
2
Let g(l) = -l**2 + 35*l - 146. Let c(r) = 2*r**2 - 18*r + 70. Let d be c(5). Let j be g(d). Solve 9*v = j*v - 15 for v.
-3
Let a(w) = -18*w + 130. Let r be a(7). Suppose 9*u - 12 = -2*z + 5*u, -5*z = 4*u - 42. Solve z = 6*f - r*f for f.
5
Let l(v) = 222*v**2 + 7*v - 10. Let q be l(-6). Let w be q/(-30) + (-4)/(-6). Let p be (w/9)/11*3/(-2). Solve z + p = 3 for z.
-1
Let t(a) = -a**2 + 5*a + 1. Let z be t(4). Suppose -2*f + z = -45. Let m = f + -23. Solve m*h - 4 = -0*h for h.
2
Let r(t) be the second derivative of t**4/6 - 5*t**3/2 - 4*t**2 + t + 3. Let v be r(8). Solve -5*j = -15 - v for j.
3
Suppose 111 = 12*d - 237. Suppose -3*h = 5*y - 7*h - d, -53 = -5*y - 2*h. Solve y*m = 4*m for m.
0
Suppose -3*n + 14 = -1. Let t(k) = -k + 2. Let a be t(-2). Let c = -5754 + 5760. Solve a = -n*f - c for f.
-2
Let v(m) = -748*m + 51. Let h be v(0). Solve 11*b + 40 - h = 0 for b.
1
Suppose 102*j - 78*j - 35728 = -382*j. Solve -185*s - j = -141*s for s.
-2
Let l = -58 - -61. Suppose 0 = -l*b + 6*b - 3. Let i be 2*b + 3/(-6)*-6. Solve -n + 6*n = -i for n.
-1
Suppose 2*y - 25 = -3*y. Suppose -21 = -d + 2*u, -5*d + 30*u + 115 = 25*u. Solve y*r - d = -0*r for r.
5
Let j(q) = -q**3 - 29*q**2 + 31*q + 32. Let p be j(-30). Let n be (8 - 50/6)/(p/(-48)). Solve -n*x = -4*x - 8 for x.
2
Suppose o + 2*d + 5 = -0*d, -14 = 2*o + 5*d. Let k(f) = -f + 1. Let j be k(1). Solve -2*a - o*a + 10 = j for a.
2
Suppose -1 = w - 3*c, -4*w + 10*c = 5*c - 3. Let r(x) = x + 11. Let b(k) = -k**2 + 5*k. Let o be b(6). Let l be r(o). Solve l = s - w*s for s.
-5
Suppose 0 = -2*m + 5*y, -5*m + 283*y - 285*y = -29. Solve 0 = 2*z - 3*z - m for z.
-5
Let o be (-7 - 18/6)*2/(-4). Let w(r) = -r**3 - 1. Let p(u) = 4*u**3 + 10*u**2 + u - 2. Let f(a) = o*w(a) + p(a). Let g be f(10). Solve 0 = -g*j - j - 16 for j.
-4
Let g be ((-988)/(-152) + 1/(-2))*(-5)/(-2). Solve 15*f - g = -0 for f.
1
Let r(k) = k**2 - 392*k - 2388. Let b be r(-6). Solve 0 = -b*g - 13*g for g.
0
Let a(p) = -3*p**2 + p - 1. Let z be a(1). Let x(k) = k**3 + 2*k**2 - 3*k + 4. Let q be x(z). Let v = 443 + -439. Solve -2*w + v*w = q for w.
2
Suppose -5*t - 40 - 15 = -5*w, -t - 26 = -4*w. Solve -w*i = -12*i + 35 for i.
5
Suppose -2*i - 126 = 2*y, 2*y - 74 = 2*i + 72. Let l = i + 68. Solve 9*o - 12*o + 3 = l for o.
1
Let x = -14 - -22. Suppose -3*p - p + x = 0. Suppose -33*w + 38*w - 5 = 0. Solve p*g = -3 + w for g.
-1
Let q(w) = 15*w - 400. Let s be q(27). Solve s*f = -37 + 27 for f.
-2
Let x(z) = -z**2 - 10*z - 8. Let n be x(-6). Suppose 5*g = -75 + 115. Suppose 2*i = 3*i + u - g, -12 = -3*i + u. Solve -j = -i*j + n for j.
4
Let u(o) = o**3 - 23*o**2 + 21*o + 26. Let x be u(22). Suppose -8 = -2*a - x. Suppose -d = 2*w, 5*d - a*d = w. Solve -i = -d*i for i.
0
Let v be ((-10)/(-15))/((-2)/(-9)). Let t = 3074 + -3072. Solve -p - v = t for p.
-5
Let z(r) = r**2 - 9*r - 209. Let v be z(-11). Solve -5*p = -v*p - 30 for p.
-5
Suppose -5*w - 10 = -5*p, -5*p + w + 6 = -12. Suppose -3*v - 6 = 3*d, -10*d - 6 = -5*v - 7*d. Solve v*o = -o - p for o.
-4
Suppose 7*z - 306 - 261 = 0. Let t = z + -44. Let d = t - 17. Solve 9*g = 4*g - d for g.
-4
Let c be ((-420)/(-63))/((-1)/(-3)). Let o(z) = 2*z**2 + 7*z - 2. Let s be o(-4). Solve -s*p + 7*p = -c for p.
-4
Suppose 0 = -4*w + 5*f + 7, -f = -2*w + 119 - 96. Let