= -f*m + 4 for m.
4
Let x be (9/(-27))/((-4)/(-6))*-94. Let p = 47 - x. Suppose -2*w - 4*i + 34 = p, -i = 3*w - 0*i - 31. Solve 3*h = -w - 0 for h.
-3
Let j(l) be the second derivative of -l**4/6 - 8*l**3/3 + l**2/2 + l. Let b(m) = 57*m**2 - 118*m + 1. Let d be b(2). Let f be j(d). Solve -6*g = -g + f for g.
-3
Suppose -21*j + 88 - 4 = 0. Suppose j*l - 13 = -o + 5, 0 = 4*o + 3*l - 20. Solve -o = b + 3 for b.
-5
Let f be 5 + 0 - (-1 + (-4)/2). Suppose 0 = -19*q + 16*q - 2*z + f, 11 = 5*q + z. Solve -q*n = 5 - 11 for n.
3
Suppose 2917*j = 2931*j - 350. Solve j = 22*u - 19 for u.
2
Suppose -3*f - 15 = 0, -3*a + 4*f = -68 - 0. Let q = -13 + a. Solve 8 = q*z - 7 for z.
5
Suppose -i - d - 170 = -6*d, -4*i - 749 = 3*d. Let k = -183 - i. Solve -5*t - 7 = -k for t.
-1
Suppose -3090 = 7*c - 3181. Solve 13*k = -c*k - 208 for k.
-8
Let z = -6269 - -6293. Solve 17*j = z*j - 7 for j.
1
Suppose 85 = -4*b + 129. Solve b*v + 26 - 59 = 0 for v.
3
Let b = -1387 + 1445. Solve b*w - 51*w = -7 for w.
-1
Let a(c) = -c**3 + 4*c**2 + 59*c + 19. Let z be a(10). Suppose 4*p - t - 44 = 0, -15 = -2*p + t + z. Solve 0 = p*m + 9 - 29 for m.
2
Let q(b) = -b - 7. Let i be q(-6). Let u(n) = n**3 + 12*n**2 - 13*n - 22. Let l be u(-13). Let s be (-1 - i)*(-11)/l. Solve s*c = c + 4 for c.
-4
Suppose 45*a - 47*a = -5*y - 10, -3*a + 15 = 3*y. Suppose y = i + 4*z, 10*i = 5*i + 5*z + 125. Solve -21*b + 3 = -i*b for b.
3
Let w = 18 - 13. Let i be 2 - (3 + w + -9). Suppose 4*d - 3*o - 53 = 0, i*d - 17 = o + 24. Solve 1 = -3*k - d for k.
-5
Let u = -32 + 36. Suppose u*c - 3*d + 20 = -1, 5*c - d = -18. Let y = -2 - c. Solve 0*l - l = -y for l.
1
Let u be 66 - (6 + -1 - (10/(-2) - -10)). Solve -71*j - 10 = -u*j for j.
-2
Let s be (-8626)/(-49) - 1048/25676. Solve 169*j - 28 = s*j for j.
-4
Suppose -3*g - 3*t = 4 - 34, -t = -4*g + 15. Suppose 0 = -l - g, n - 2*l - 20 = -4*n. Solve n*c = -6 + 4 for c.
-1
Let a be 8/(-42*(-42)/1764). Let s(t) = t**2 - t + 22. Let f be s(0). Solve a*r + f = -10 for r.
-4
Let i be (8/6)/(7/(-21)) - -7. Suppose -t - t = -4. Suppose 2*g = -8*g + 29 - 29. Solve g = i*h + t - 5 for h.
1
Let q(g) = -g**2 + 14*g - 38. Let a be q(10). Suppose a = -r - 4*o, o + 0*o = -4*r + 7. Solve 5*x - 14 = -r*x for x.
2
Suppose 5*q - 107 = -3*l, 4*l - 2*q + 41 = 123. Solve 0 = 32*o - 35*o - l for o.
-8
Let d = -2383 + 2516. Solve 138*j + 25 = d*j for j.
-5
Let r = 2400 - 2377. Solve -r*k = -105 - 33 for k.
6
Suppose -944*s = -922*s - 7458. Solve s*c - 337*c + 4 = 0 for c.
-2
Let z = -5 + 10. Suppose 4*l + 2*b - b = 1, z*b = -4*l - 11. Suppose 3*q - 4*y - 22 = 0, -y - l = -q + 5. Solve -q*g + 3*g = -5 for g.
-5
Suppose 0 = -2*m + 2*v - 3 + 11, 5*v - 44 = -3*m. Solve m*d = -0*d + 8 for d.
1
Let c(q) = -2*q**3 + 6*q**2 - 3*q. Let v be c(2). Suppose 0*p = 4*p - 2*i + 6, -v*p + 12 = -4*i. Let d be 8*(-3 - (p + -1)). Solve 0 = 5*u - u + d for u.
-4
Suppose 16*q - 20*q = 23*q. Suppose q = -o + 4*a + 28 - 8, -3*a - 15 = 0. Solve o = 3*z - 5*z for z.
0
Let m(c) = 2493*c - 7349. Let l be m(3). Solve -3*p + l = 115 for p.
5
Let c(z) = z + 2. Let u(w) = -7*w - 64. Let a(n) = -4*c(n) - u(n). Let y be a(-15). Solve 4*k - 7 = -y for k.
-1
Suppose 0 = -80*h + 1702 - 182. Solve 13*q = 71 - h for q.
4
Suppose 78*q - 28*q = -56*q + 38796. Solve 306 - q = 10*w for w.
-6
Suppose 287*d + 21 = 289*d - 3*m, 2*d + 4*m = -28. Suppose 0 = -5*v - 3*o - 0*o + 16, -o = -v + 8. Solve d = 4*i - v*i - 1 for i.
-1
Let v = 49 + -21. Suppose 6*k = 2*k + v. Suppose k = -f + 2, -2*f = -5*h + 15. Solve -2*g = -h - 3 for g.
2
Suppose -2*w - n + 9 = 0, 3*w + n = 5*n + 8. Suppose -3*c = -3*b - 9, -w*b + b - 5*c = -15. Solve -a = -b*a for a.
0
Let s(c) be the third derivative of c**4/6 + 19*c**3 - 7*c**2 + 3. Let i be s(-28). Solve b = -i + 5 for b.
3
Let o be 812/36 + 1036/(-666). Solve -5*g - 16 = -o for g.
1
Suppose -21 - 321 = -9*t. Solve -17*n + t + 47 = 0 for n.
5
Let t(l) = l**2 - 10*l + 4. Let d be t(10). Suppose 0 = 5*b + 5, -b - d*b = 2*y - 9. Solve y = -2*u + 1 for u.
-3
Suppose -14*o + 12*o - 66 = 0. Let l = 37 + o. Solve -3 = z - l*z for z.
1
Let g = -7337 + 7354. Solve 26*u + 9 + g = 0 for u.
-1
Let y be (-2)/(-2) - -2 - -1. Suppose -205 = 7*n - 261. Suppose -2*u + h = -3, 5*u - n = 3*h - h. Solve -u = -6*k + y*k for k.
1
Suppose 23*u = 20*u - 102. Let o = u - -82. Solve 0 = 8*l - o + 8 for l.
5
Suppose 14*n - 9*n = -290. Let u = n + 14. Let z = u + 44. Solve z*w + 15 = -3*w for w.
-5
Let u be -1*-54*5/10. Let l = 8 - u. Let a = 20 + l. Solve -5*z = 6 - a for z.
-1
Let u be (-10)/(-1 - -3) - (12 - 18). Let l be (1 - -4) + 2 + -5. Suppose 3*g = 2*v + 7, v - 3*v - 4 = -l*g. Solve u + g = -4*s for s.
-1
Let c = 2888 + -2700. Solve -c*o + 192*o + 16 = 0 for o.
-4
Suppose -6*u - 2 = -8. Let q be -1*2/u*(-3)/6. Solve 0 = 2*g - 3*g - q for g.
-1
Suppose 0 = 3*j - 248 - 208. Let h = 152 - j. Solve h = -2*d + 7 - 13 for d.
-3
Suppose -10 = -7*x + 2*x. Let m(d) = 21*d + 3. Let h be m(-5). Let c = 109 + h. Solve 3*k + x = -c for k.
-3
Let j(t) = 2*t**3 - 16*t**2 + 53*t - 407. Let i be j(8). Solve 6*g - 31 = i for g.
8
Let o(q) = 8*q**2 - 9*q + 8. Let d be o(2). Suppose 0 = -3*i + 4*t + d, 0 = 4*i - 3*t - 0 - 20. Solve -6*a = -i + 14 for a.
-2
Let i = -8328 - -8458. Solve 124*r - i*r + 6 = 0 for r.
1
Let g(x) = 5*x**3 + 3*x**2 - 5*x - 5. Let u be g(2). Solve 8*w = 5 - u for w.
-4
Let m(s) = 3*s**2 - 2 + 3*s**2 + 2*s - 15*s**3 + 10*s**3 + 4*s**3. Let t be m(6). Solve 5*o + 15 + t = 0 for o.
-5
Let u be -15 + 1 + (4 - -2) + -2. Let t be (-1 - u - 4)/(1/1). Solve 0 = -4*r + t + 3 for r.
2
Suppose 15*v + 225 = -4*s, -20*v - 75 = s - 15*v. Let j(c) be the third derivative of -c**4/24 + c**2. Let m be j(-4). Solve s*a + 8 = m*a for a.
2
Let y = 4875 - 4788. Solve -18*l + 21 = -y for l.
6
Suppose -10*t = -30*t + 360. Solve -117 = 45*j + t for j.
-3
Let p(d) = d**2 - 13*d - 11. Let v be p(14). Suppose v*q - 2*q = 5, 4*q + 16 = 4*c. Suppose 5*w - 6 - c = 0, -f - 13 = -5*w. Solve f*o = -2*o + 16 for o.
4
Let j(a) = -7*a + 15. Let r be j(-5). Suppose r = 3*v + 11. Suppose 15*g = v*g + 6. Solve -g*i - 12 = -6*i for i.
4
Suppose 12*y = -1411 - 197. Let t = y + 138. Solve 0 = -t*r + 8*r for r.
0
Let p = -1995 + 2086. Solve -9*d + 172 = p for d.
9
Let b be 3/4*6944/168. Solve 88*v - b = 119*v for v.
-1
Suppose 124*j - 32 = 2572. Solve 52*s - 186 = j*s for s.
6
Let t be 14/21 + (-4)/6. Let r = -170 - -160. Let l be 15/2 - (5/r - -2). Solve a - l*a - 5 = t for a.
-1
Suppose 192 = -p - 4*f, 0 = -2*p - 2*p + 3*f - 787. Let i = -196 - p. Solve i = d - 4 + 4 for d.
0
Suppose -5*y = -3*y + 138*y - 4060. Solve -18 = y*v + 69 for v.
-3
Let s(f) = -7*f**2 - 13*f + 3. Let a be 336/54 - 6/27. Let m(j) = 20*j**2 + 38*j - 9. Let o(c) = a*m(c) + 17*s(c). Let t be o(-9). Solve -4*h = -h - t for h.
5
Suppose 0 = -5*m + 33 - 148. Let q(y) = -3*y - 40. Let s be q(m). Solve s*h + 25 = 34*h for h.
5
Let k(t) = t + 4. Let m be k(6). Let w be -3 - (-8)/((-24)/(-15)). Suppose -10*h + 11*h + 19 = w*u, h - 11 = -u. Solve u = -m*n + 5*n for n.
-2
Let v(o) = 4*o**2 + 48*o + 114. Let j be v(-9). Solve 7 - 1 = j*s for s.
1
Suppose 37 = x - 22. Let i be (20/(-1))/4 - 45. Let u = i + x. Solve -4*b - 3 = u for b.
-3
Suppose 5*g - 167 = 3*t, t = -g - 0*t + 35. Suppose 0 = -47*y - 473 + 2447. Let p = y - g. Solve -p*o + 3*o = 20 for o.
-4
Let k = 4219 - 4196. Solve -9*g - k*g = 0 for g.
0
Let b(t) = -6*t + 2. Let o be b(0). Suppose -6*d + d + 35 = 0. Let z(k) = k**2 - 7*k + 3. Let h be z(d). Solve -o = s + h for s.
-5
Let h = -43 - -43. Let g(y) = y**3 - y - 2. Let v be g(h). Let w be 20*((-1)/4 - v/4). Solve -1 = -w*r - 6 for r.
-1
Let d = 6167 - 6148. Solve 0 = 38*p - d*p + 76 for p.
-4
Let y(k) = k**2 - 2*k - 5. Let h be y(-3). Suppose -7*t = 3*t - h. Let b be ((-24)/(-36))/(t/3). Solve 0 = -s - b*s for s.
0
Let n = 80 + -52. Let d(w) = 4*w - 106. Let h be d(n). Solve 2*r - 16 = h*r for r.
-4
Let a(v) = v**3 - 7*v**2 + 13*v + 3. Let q be a(6). Solve q = 180*w - 171*w for w.
5
Suppose -466*b = -523*b. Solve -17*i - 5*i - 22 = b for i.
-1
Let r = -2780 - -2787. Solve -r + 31 = -8*o for o.
-3
Let r(c) = -c**3 + 21*c**2 + 15*c + 60. Let d be r(22). Let q = 94 + d. Solve -3*m + 46 - 43 = q for m.
1
Suppose -5*l - 15 = -2*q, -2*q - 5*l = -76 + 31. Solve 0 = 7*p - 8 + 