ve -m = 11*b - 60 for b.
3
Let f(y) be the second derivative of y**4/2 - y**3/3 + 7*y. Let g be f(2). Suppose 14*n = 76 - g. Solve 2*m + 10 = n*m for m.
5
Let t = -26 - -24. Let g be (8 + 1 + -8)/(t/(-14)). Solve g*o - o + 18 = 0 for o.
-3
Let n = 281 + -183. Let s be (-4)/14 - (-322)/n. Suppose -2*i = 2*z, 4*i + 0 = -3*z - s. Solve 0 = -6*w + z*w for w.
0
Let i = 3491 + -3487. Let l(j) = j**3 + 4*j**2 + 2*j + 2. Let p be l(-3). Suppose 12*k = p*k - i*k. Solve -5*b - 9 - 1 = k for b.
-2
Let y = -19698 - -19781. Solve 200 = 108*a - y*a for a.
8
Let c = -128 + 137. Suppose -3*d = -2*t - 32, 4*d + 4*t = 45 - c. Solve -2*h + d*h - 40 = 0 for h.
5
Suppose 2*u + 2*v = -v + 4, -16 = 5*u + v. Let b be (10 - -2) + u - 4. Suppose i + b*q = 6, -q - 2*q = -3*i + 3. Solve -i*m - 10 = 3*m for m.
-2
Let v = -123 + 168. Suppose 25*p = v*p - 140. Solve -4*r + 5 = -p for r.
3
Suppose 5*x = 2*f - 48, 186 = -4*f + 5*x + 302. Solve f*s - 94*s = -60 for s.
1
Let x(u) = 3*u**2 + 17*u - 44. Let q be x(3). Suppose 0 = 14*m - q - 22. Solve -5*p + 14 = m for p.
2
Suppose 10299 + 6491 = 73*r. Solve -89*l = -43*l + r for l.
-5
Let l(y) = -9*y**3 - 4*y**2 + 10*y**3 + 0*y**3 - 1. Let p be l(5). Suppose -p = -4*h + 4*i, -5*i + 3 = 4*h - 12. Solve -g = -0*g - h for g.
5
Let p be ((-45)/12)/(344/352 + -1). Suppose -p*l + 168*l - 27 = 0. Solve 12*i - 3 = l*i for i.
1
Suppose 0 = -2*g + i - 1065, 3*g - 2135 = 7*g + 3*i. Let u = -529 - g. Solve -52 + 48 = u*d for d.
-1
Suppose -5*l - 2*l + 35 = 0. Let o be 8/(-60)*-57*l. Suppose -x = -3*n + o, 4*x = -4*n + 2*x + 44. Solve -3*h - n = -0*h for h.
-4
Suppose 2*k + 3*s - 120 = 0, -14*s + 13*s = 5*k - 352. Solve 8*l = k - 80 for l.
-1
Let c(z) = 5*z**2 - 26*z + 30. Let o be c(7). Let l = o + -91. Solve -l*h + 1 = -5 for h.
3
Let y(n) = 3*n**2 + 41*n - 594. Let m be y(11). Solve 6*k = 250 - m for k.
5
Let a = -86 - -72. Let c(p) = -p**3 - 13*p**2 + 14*p + 5. Let k be c(a). Suppose 0 = 2*j - 3 - 7. Solve k*y - 10 = -j for y.
1
Let g(v) = 2*v + 42. Let x be g(-7). Suppose -11*f + x = 17. Solve 11 = -3*r - f for r.
-4
Let d be ((-1122)/(-153))/(16/3 - 5). Solve -d*b + 9*b - 26 = 0 for b.
-2
Suppose -11*o + 2*o - 189 = 0. Let p = -18 - o. Suppose -3*k - p = 3*d - 6*d, -k = 5*d - 17. Solve h + 6 = -k*h for h.
-2
Suppose -478*v = -125421 - 89201. Solve -41*f + 408 = v for f.
-1
Let u be 14*856/(-112)*-1. Solve -u = 17*p - 39 for p.
-4
Suppose 17 - 45 = -4*x, -37 = -m - 3*x. Solve m*y = 3*y + 39 for y.
3
Let c(v) = 8*v + 184. Let w be c(-4). Let y = w - 140. Solve -9*z = -6*z + y for z.
-4
Suppose -407 - 565 = -27*k. Solve 73*m = 55*m + k for m.
2
Suppose 279 + 309 = 49*s. Suppose 0 = -5*k - 2*o - 3*o + 30, k - 6 = 5*o. Solve -6*u = k + s for u.
-3
Let t(b) = 0 - 2*b**2 + 3 + 7*b + 3*b**2 + 0*b**2. Let y be t(-7). Let s be (-10)/5 - (y + -5). Solve s = -0*i - 2*i for i.
0
Let s be (-20)/(-5)*95/20. Suppose 125 = s*v + 30. Solve -v*y + 22 = 17 for y.
1
Let x(t) = -t**3 + 17*t**2 + 26*t - 113. Let l be x(18). Suppose 4*c - 2*f = 52, -4*c + 21 + l = -5*f. Solve -c = 5*j + 12 for j.
-5
Let t = 5063 + -5043. Let g(v) = v**3 - 4*v**2 - 3*v - 5. Let m be g(5). Solve 3*h = -t + m for h.
-5
Let z(s) = -s**3 - 8*s**2 + 38*s - 12. Let g be z(-12). Let y be g/(-486) + (29/9 - 1). Solve -7*a + y = -6*a for a.
2
Suppose d = -4*w + 29 + 2, 5*w - 5*d - 45 = 0. Solve 7 = -w*o + o for o.
-1
Suppose 0 = 35*n - 34*n - 35. Let i = n - 31. Solve i*o + 29 = 37 for o.
2
Suppose 8*a - 793 = 1319. Let z = a + -260. Solve z*r = -r + r for r.
0
Let a = 1093 - 1091. Solve 4*b - a*b = -4 for b.
-2
Suppose 3*p = 4*p - 5. Let b be -9*(-7)/21 - -2. Suppose 26 = 2*g + b*w, g - w + 0 = -1. Solve p - g = m for m.
2
Suppose 13 = 14*n + 433. Suppose -g = 13 + 9. Let w = g - n. Solve -8*t = -4*t - w for t.
2
Suppose 192*c - 157*c - 20 = 120. Solve 190*j + c = 189*j for j.
-4
Let c(l) = 515*l**3 - 4*l**2 + 4*l - 1. Let z be c(1). Suppose -46 = 4*w - z. Let j = 121 - w. Solve 2*u = u - j for u.
-4
Let d be (0 + -14)*(63/6)/7. Let c be (45/25)/(d/(-70)). Solve c*w + w + 14 = 0 for w.
-2
Suppose -39 + 29 = -2*i. Suppose 0 = i*g + 5*w - 10, -2 + 0 = -g + 5*w. Suppose -6 = -3*a, 4*l + g*a = 5*l. Solve -l*d = -d for d.
0
Let a be 8/(-10) - 308/(-35). Suppose 82 = -a*g + 146. Solve 6*y = 4*y - g for y.
-4
Suppose 34 = 8*v + 9*v. Suppose -6 = -4*m + 2*x, 0 = 4*m + x - v*x - 9. Suppose y = -4*y + 25. Solve m*c - y*c = 6 for c.
-3
Let d(u) = -5*u + 4 + 0 + 18*u**2 - 8*u**2. Let f be d(1). Let m be 0/((-3)/((-9)/(-6))). Solve f*q - 4*q = m for q.
0
Let l = -202 + 263. Solve -74*w - 65 = -l*w for w.
-5
Suppose 56 = 3*d - 4*g, d - 2*g = 2*g + 24. Suppose -209*s - d = -217*s. Let t(k) = k**2 + 5*k + 3. Let c be t(-5). Solve -a + c = -s*a for a.
-3
Let t be (-2)/(-2) - (135 - 215). Solve 27*w + 108 = -t for w.
-7
Let k(b) = -12*b - 277. Let p be k(-21). Suppose 1 = u + 4, -3*u = 4*h + 117. Let x = p - h. Solve 2*a + x + 2 = 0 for a.
-2
Let r = 88 - 92. Let y be (-620)/(-36) + -5 + r/18. Suppose 0*m - x = 5*m - 104, 0 = -m + 2*x + y. Solve -m = 4*d - 0 for d.
-5
Let c be -220 + (-22 + 18 - (-1 - 7)). Let p = c - -233. Solve p*n - 15*n = -6 for n.
-3
Let v be 0*((-28)/12)/7. Suppose u + y - 2 = v, 4*y = 4*u - 0*y - 32. Solve -2*l + l = -u for l.
5
Let h be 62/3 - -3*8/72. Solve -h*j = -18*j + 15 for j.
-5
Let o be (3 - 0)/((-12)/(-76)). Solve -14*a + 5 = o for a.
-1
Suppose 2*d - 1 - 19 = -5*n, 2*n - 8 = 0. Let v be (-3 - -1) + 8/1. Suppose -2*m = -6, -13*t = -8*t - 5*m + 5. Solve t*q + 4 + v = d for q.
-5
Let s be (144/(-8))/(-3)*32/24. Solve 19*x - 23*x = -s for x.
2
Suppose -5*p = -3*r + 88, -64 + 132 = 2*r - p. Solve -r*u = 26 - 98 for u.
2
Let k = 40 + 40. Solve k*x = 79*x - 7 for x.
-7
Let m(b) = -3*b - 1. Let k be m(-4). Let l(f) = -62*f - 429. Let x be l(-7). Suppose -5*v = 5*s + k - 66, -x*s - 5 = -v. Solve 0 = w - 3*w - v for w.
-5
Let t be (0 - 6/4)*-2. Suppose t*p = p + 26. Suppose -10*u + 7*u + 14*u - 22 = 0. Solve -3 + p = u*f for f.
5
Suppose 4*f - 9*a - 157 = 0, 0 = 2*f - a - 50 - 11. Solve -12*r - 80 = f*r for r.
-2
Let z(f) = 94*f**2 + 16*f + 32. Let g be z(-3). Solve -4*m = -g + 814 for m.
4
Let h = -9102 + 9102. Solve h = 54*l - 33*l + 42 for l.
-2
Let w(y) = y**3 + y**2 - y + 5. Let q be w(4). Let p = 91 - q. Suppose -p = -28*a + 23*a. Solve a*k - 1 = 5 for k.
3
Let g(u) = -339*u + 1029. Let i be g(3). Solve -i*p + 22 = -34*p for p.
-1
Suppose -m - 5*c + 15 = -13, 0 = -2*m + c + 1. Let i(h) = h + 5. Let z be i(-2). Suppose -3*t = 0, 2*t = 4*l - z*t - 8. Solve m*n = 11 - l for n.
3
Let h be 3 + -1 + 2*(-6 + 7). Suppose -q + 6 = i, 3*q + h*i + 4 = 18. Solve -q*k - k - 55 = 0 for k.
-5
Suppose 4*d - 5*p = 65, 5*d - 21 = -5*p + 4. Suppose d = z + 2. Let c(k) = k**2 - 7*k - 6. Let u be c(z). Solve -1 = u*t + 9 for t.
-5
Suppose 12 = m - 18 + 16. Solve -m*b + 79 = -47 for b.
9
Let b(w) be the second derivative of -w**4/12 + 11*w**3/6 - 11*w**2 + w - 17. Let j be b(6). Solve 3*s - j = 4 for s.
4
Let d be (8/5)/(9/(270/4)). Let u be d/20 - (-154)/10. Solve 0 = 6*k - u - 2 for k.
3
Let m(k) be the first derivative of k**4/4 - 16*k**3/3 + k**2 - 22*k + 9. Let z be m(16). Suppose 0*p + 50 = z*p. Solve 0 = y - 2*y + p for y.
5
Let g(h) = 3*h**2 + 69*h - 110. Let i(j) = j**2 + 34*j - 56. Let w(o) = 2*g(o) - 5*i(o). Let u be w(30). Solve u = 3*c - 4 + 1 for c.
1
Let u = -213 + 234. Suppose 0 = 18*o - u*o + 9. Solve o*d = -d + 20 for d.
5
Let m be 2 - (14 + -2)/(-4). Let y be 0/(-3 + m/1). Suppose -5*j + 3*v = 5*v - 10, -v + 5 = y. Solve j = h - 0*h - 3 for h.
3
Suppose 0 = n - 4 - 0, 0 = 5*l - n - 31. Let g(y) = 47*y + 279. Let d be g(-12). Let v = -277 - d. Solve v = 3*m - l for m.
5
Let d = 56 - 48. Let g = 5 + d. Suppose 33 = -10*s + g*s. Solve s = -5*w - 14 for w.
-5
Suppose 2*u + 5*h = -9, -h + 12 = u + 4*u. Let z = -14 - -42. Suppose 5*m = -t + z, 2*m + 2*t - 16 = -0*m. Solve 12 = -m*q - u for q.
-3
Let s(d) = -d**3 + 3*d + 19. Let a be s(-5). Let y = 132 - a. Solve 7*u - y*u - 12 = 0 for u.
3
Suppose -5*i = -87 - 28. Let t = i + -22. Let z be -3 - (-2 + t*-6). Solve -z*a = -2*a - 12 for a.
4
Suppose -7*d - 6*d = -3744. Let y be ((-8)/10)/(-2) + d/180. Suppose -3*t + 2*o = -o + 3, -o = 5*t - 7. Solve -y*u + 7 = t for u.
3
Let u = 61 - 76. Let z be (3 - u/(-10)) + (-73)/2. Let s be