-6*b - g = -130 for b.
-6
Suppose -3*a + 3*k = 0, -5*k - 15 = 4*a + 30. Let t(x) = x**2 + 8*x + 16 - 1 + 0*x**2. Let l be t(a). Solve 0*y - 3*y + 12 = l for y.
4
Let r = 14 - 10. Let v = 17 - -21. Let o = v - 30. Solve 2*c = r*c + o for c.
-4
Let a be 9/2 - -12*3/(-72). Solve a + 136 = -28*k for k.
-5
Let v(q) = 5 - q**3 + 5*q**3 - 5*q + 3*q**3 - 6*q**3 - 4*q**2. Let d be v(5). Solve -9*g + d*g = 0 for g.
0
Let y = -404 - -408. Let v be (25/(-10) + y)*16/3. Solve -v = 2*i - 4*i for i.
4
Suppose c - 7 = 10*y - 8*y, -2*y - 35 = -5*c. Solve 22 - c = -15*h for h.
-1
Let j(c) = c**3 + 4*c**2 - 4*c - 12. Let y be j(-5). Let o = y - -20. Suppose 31 = o*m + 16. Solve -9 = -m*r + 2*r for r.
3
Let l = 31 - 29. Suppose g - 2*c + 4 = -4*g, -3*g = c - l. Suppose 5*a - 71 = -3*o, -92 = -g*a - 5*a + 4*o. Solve -5*n + n - a = 0 for n.
-4
Suppose -355 = -124*m + 55*m + 197. Solve 691 - 651 = m*o for o.
5
Let h be 42/((-21)/(-3)) + -3. Let l be (3 + (-57)/h)*50/(-40). Solve 16 - l = j for j.
-4
Suppose -3*b = -8*b + 10. Let u(f) = 2*f - 5. Let n be u(4). Let c be 22 + ((-4)/8)/((-11)/(-330)). Solve b*q + n = c for q.
2
Let x(s) = -s**3 - 8*s**2 - 9*s - 7. Let w be 4/7 + (-106)/14. Let a be x(w). Suppose 4*m - 9 = -k + a, 0 = -3*k + 2*m + 6. Solve k*d = -0 - 4 for d.
-1
Suppose -2*b = -6*b - 4*b. Solve b = -21*g - 100 - 5 for g.
-5
Let b be (10/4)/((9/(-18))/(134/(-5))). Solve 0 = 98*u - b*u + 216 for u.
6
Let k = -122 - -142. Suppose -3*j + k = 7*j. Solve 0 = j*a - 6*a - 16 for a.
-4
Let h(u) = u**3 - 18*u**2 + 17*u + 12. Suppose -11*z + 26 + 161 = 0. Let y be h(z). Solve 6*x = 10*x + y for x.
-3
Suppose 4*p = 30 + 22. Suppose 3*g - p = -1. Suppose -5*u + 14 = -5*o - 11, -g*u + 35 = o. Solve 2*x + 2 = -u for x.
-5
Suppose 0 = -5*s + b - 20, 5*s + 2*b = s - 16. Let g be 21 + (s + 0)/4. Let y(m) = m**3 - 21*m**2 + 21*m - 17. Let h be y(g). Solve 0 = -h*l + 2*l - 2 for l.
-2
Let h = -34447 - -35302. Solve 861 = 3*g + h for g.
2
Let s be ((-3157)/(-1386) + 4/18)*4. Solve -s*i + 22 = i for i.
2
Let s(w) be the third derivative of w**6/120 + w**5/30 - w**4/6 + w**3/6 - 18*w**2. Let i be s(-3). Let b be (-2 - (5 - i)) + 9. Solve -4*q = -b*q - 6 for q.
-3
Let g = -60 - -50. Let q be (-4 - (-48)/15)*g/4. Suppose -4*w - 2 = -q. Solve -t + 1 = -w for t.
1
Suppose -2*g + 80 = 3*g. Suppose -2 = -2*p - 5*q + g, 5*p - 4*q - 45 = 0. Solve -5*h = -8*h - p for h.
-3
Suppose -73458 = 6*d - 55*d - 14*d. Solve 27 = -1175*u + d*u for u.
-3
Let c(k) = k**2 + 5*k + 14. Let b be c(-4). Suppose -3*n = -4*r + 4, 5*n + 3*r - b + 7 = 0. Solve n = 9*m + 12 - 57 for m.
5
Suppose -124*u + 33462 = 61*u - 16*u. Solve -u*w + 234*w = -108 for w.
-3
Let h = -369 - -380. Let u(y) = -28*y**2 + 13*y + 27*y**2 - 12 - 7. Let j be u(h). Solve t - 4*t = -j for t.
1
Suppose 4*p - 12*y = -10*y - 4, p + 4*y = 8. Solve p = -b - b - 10 for b.
-5
Suppose 3*g - 5*p + 8 = -11, 1 = 3*g - p. Let s be ((-56)/42)/(g/(-6)). Solve -16 = -4*m + s for m.
5
Suppose -1237 + 455 = -46*v. Solve v*q = -2*q - 38 for q.
-2
Let d(z) = 3*z**3 - 394*z**2 + 126*z + 751. Let r be d(131). Solve -23*s + 7*s = r for s.
-6
Suppose -2*p + 956 = 2*p - 4*a, -4*p + 932 = 2*a. Let s = p + -232. Solve -1 = s*h - 10 for h.
3
Let p(q) = -232*q + 4464. Let o be p(18). Solve 19*v - o = 55*v for v.
-8
Let l(f) = 16*f - 11. Let t be l(2). Suppose -t = -c - 2*q, -c + q + 6 + 3 = 0. Suppose -c*k + 2*k = -33. Solve x + 0 = k for x.
3
Let v be (46 - -1 - 4) + -3. Let n be (4/10)/(8/v). Suppose 3*z = -s - 3, 2*z = 2*s - 5*s + 12. Solve -s = a + n*a for a.
-2
Let g(z) = 3*z**2 + 4*z - 5. Let t = 57 - 63. Let m be g(t). Let n = m + -70. Solve -5*w = -n*w for w.
0
Let q = -3619 - -3661. Solve 0 = -18*l + 11*l - q for l.
-6
Suppose -42*x - 80 = -43*x. Let d = 82 - x. Solve -15 = d*m - 5 for m.
-5
Let d(m) = 4*m**3 - 9*m**2 + 30*m - 78. Let n be d(3). Solve 0 = -n*f - 0*f - 36*f for f.
0
Let m(q) = q**2 + 3*q + 4. Let n be m(-4). Let c be (23048/258)/(-134) - 2/9*-3. Solve c = 4*w + n + 8 for w.
-4
Suppose -19*v = -10*v - 918. Solve -109*x + v*x + 7 = 0 for x.
1
Let c(z) = -z + 154. Let f be c(-50). Solve 8*h + f = 196 for h.
-1
Let v = -4419 + 4421. Suppose 0 = -5*f + l + 25, -f = -5*l - 0*l - 29. Solve f*i = v*i for i.
0
Suppose -2*n + 5*n = -111. Let l be (-2)/4*0 - (12 + 28). Let y = n - l. Solve 0*r = -y*r for r.
0
Let h(s) = -4*s + 76. Let d = 109 + -91. Let a be h(d). Solve -3*x + a + 2 = 0 for x.
2
Suppose -4*o + 2*o + 4 = 0. Let j = 182 - 175. Suppose -5*u + j*u - 10 = -2*y, 38 = 4*y - 2*u. Solve -y = -5*s + o for s.
2
Let p = 255 - 299. Let n be 2/((p/(-10))/1 - 4). Solve -1 = -2*x - n for x.
-2
Let q = -46 - -95. Suppose -5*h = 2*l - 62, 0 = 3*h + h + l - q. Let y = -12 + h. Solve y = 2*c + 10 for c.
-5
Suppose -6*l - 77 + 6 + 17 = 0. Suppose 4*b = 5*k - 7, b + 3*b + 4*k + 52 = 0. Let j = b - l. Solve 2 + j = n for n.
3
Let n(p) = p**3 + 38*p**2 + 191*p - 20. Let o be n(-32). Solve o*a = 21*a + 36 for a.
-4
Let g = -91939 - -91955. Suppose 3*i - 3 = 6. Suppose -3*f + 0 = -3, i*h - 3*f = 3. Solve -2*p = h*p - g for p.
4
Let g = -3685 + 3740. Solve 0 = -810*b + 799*b + g for b.
5
Let f(v) = 9*v + 139. Let g be f(-9). Suppose -12*t - 34 = -g. Suppose -4*d + 2 = -2. Solve -3 + d = -t*a for a.
1
Let p(f) = 3*f - 22. Let l(y) = y - 7. Let q(v) = 17*l(v) - 6*p(v). Suppose 28*n = 31*n - 4*b + 32, 0 = 3*n - b + 26. Let j be q(n). Solve -j + 6 = 3*k for k.
-5
Suppose o - 11 = -6. Suppose 0 = o*r - 3*r - 72. Let w be (2 + (-15)/9)/(6/r). Solve 0*l = w*l for l.
0
Let n(k) = 13*k + 17 + 5*k**2 - 10*k**2 - 55 + 5*k**2 + k**2. Let j be n(-19). Solve -75*u = -j*u - 3 for u.
-3
Suppose -5*n + 110 = 2*y, -33*y + 29*y = -n - 198. Suppose 0 = 4*f + 2*w - 80, y = 3*f - 5*w - 36. Solve -18 = -4*z - f for z.
-1
Let i(u) = 3*u**2 + 67*u + 6. Let v be i(-23). Let n = -53 + v. Let o be n + ((-12)/15)/((-4)/10). Solve 11 = -5*x + o for x.
-2
Suppose -149*a + 168*a = 494. Solve 0 = 31*s + a*s + 285 for s.
-5
Let u(k) be the first derivative of k**4/4 - 5*k**3/3 + 3*k**2/2 + 3*k + 123. Let j be u(5). Solve j*n = 16*n + 2 for n.
1
Let v be 6/3 - (2 + 0). Suppose -b + 3*g + 6 = g, 4*b = -4*g. Suppose 0 = -j + b*d - 2, 4*j + d - 11 = 2*j. Solve v*r - r = j for r.
-4
Let h(w) be the second derivative of -w**4/12 + 5*w**3 - 112*w**2 - 8*w. Let z be h(14). Solve z = 2*o + 3 - 7 for o.
2
Let m = -76 + 17. Let c = 98 + m. Let u = c + -35. Solve u*j = 2*j for j.
0
Suppose 5*z + f - 365 = 3*f, 0 = 4*z + f - 292. Let g = z - 51. Let v(i) = -3*i**2 - 108*i + 114. Let t be v(-37). Solve 5*m + g + t = 0 for m.
-5
Let t be ((595/(-21) - -7) + 5)/(2/(-18)). Solve 7*q + 182 = t for q.
-5
Let i(k) = 2*k**2 + 56*k + 4. Let c be i(-28). Let x = 7 + -19. Let p(z) = -z**3 - 12*z**2 - 2*z - 23. Let g be p(x). Solve -g + 21 = c*q for q.
5
Let p = -1669 - -1723. Solve -7*s - p = 11*s for s.
-3
Let g = -209 + 223. Suppose x - o - g = 0, 7*o - 3*o + 2 = x. Solve 5*u - x + 3 = 0 for u.
3
Let k(r) = 38*r + 266. Let d be k(-7). Suppose d = -2*h + 2*x + 12, -3*h + 2*x + 4 = -14. Solve f + 8 - h = 0 for f.
-2
Let i(r) = r**2 + 1. Let u(h) = h**3 + 2*h**2 + h + 7. Let w(n) = -4*i(n) + u(n). Let x be w(3). Suppose -x = -13*f + 24. Solve f*c = 7*c + 16 for c.
-4
Let b(n) be the second derivative of -n**5/20 + 7*n**4/12 - n**3/2 - 3*n**2 - 222*n. Let l be b(6). Solve 3*x + 0 = l for x.
4
Let u be 2/((1/(-3))/(3/(-9))). Let h(a) = 10 + 2*a - 7 + 9 + u*a. Let f be h(-2). Solve 6 = y + f for y.
2
Let h = 14959 - 14941. Solve 409*i + h = 412*i for i.
6
Let t be 5/((-20)/11)*-4. Suppose 4*w - t*w + 413 = 0. Suppose w - 9 = 5*p. Solve -p = 6*i - i for i.
-2
Let k = -67 + 28. Let b = k - -53. Suppose -4*q = -2*q - b. Solve 4 = j + q for j.
-3
Let x be (-64)/(-10) - (-10)/(-25). Let j(a) = 3*a - 2. Let p be j(-8). Let h be 4*(-6)/(-156) + 4/p. Solve x*n - 2*n + 4 = h for n.
-1
Let b be ((-1)/(-3))/(5/45). Let u(d) = d**2 + 123*d - 1761. Let p be u(-136). Solve 16 = -b*g + p*g for g.
4
Let a be (-99)/165 + 0 + (-33)/(-5). Suppose 0*l = -11*l + a*l. Solve l = 5*q + 11 + 9 for q.
-4
Let v = 376 + -372. Suppose 2*t = w + 19, 5*t - 45 - 22 = -v*w. Solve t + 41 = -13*g for g.
-4
Let j(b) = -b**2 + 1213*b + 87. Let k be j(0). Solve 554 = k*c - 55 for c.
7
Let u be 310/40 - (-6)/(-8). Let t be 11/u + 3/7. Solve 1 = -t*l 