7 for g.
3
Let c = -13247 - -13250. Solve 0 = c*f + 108 - 126 for f.
6
Let m be (-425)/(-3) + (-49)/(-147) - (1 + 3). Solve 35*g - 33 + m = 0 for g.
-3
Let k = 6 - 1. Suppose 3*d - 3 = -k*t - 2, 0 = -3*d - t + 5. Let n = d + -2. Solve s + n*s + 4 = 0 for s.
-4
Let y(r) = -r**3 - 1 - 1 - 219*r**2 + 214*r**2 - r. Let x be y(-5). Solve -5*q - 8 = -x for q.
-1
Suppose s = -x + 7, -3*s + 27 = 4*x + 2*s. Let k = -3 + x. Let r(h) = 3*h**3 - 2*h**2 - 5*h + 8. Let m be r(2). Solve 0 = k*g - 4 + m for g.
-2
Let v(f) = 3*f**2 + 5*f + 1. Let j be v(-2). Suppose -j*c + 2*c = 0. Suppose 3*x + 5*b = 8*b - 3, c = 5*x + 5*b - 35. Solve -x*h + 5*h - 6 = 0 for h.
3
Let x = -11493 - -11523. Solve 0 = -45*h + 30*h - x for h.
-2
Suppose -1189*c - 224 = -1191*c. Let t = -90 + c. Solve q + t = 27 for q.
5
Suppose -114*z + 23310 = 71*z. Solve -3*s = -21*s - z for s.
-7
Let a(h) = h**2 + 16*h + 68. Let k be a(-7). Suppose 4*c + 2*x = 7*x + 49, 5*c - k = -5*x. Solve 4*q + 30 = -c*q for q.
-3
Suppose 3*k + 9 = -5*r, -4*r - k + 0*k - 3 = 0. Suppose -5*z = 5, -i + 3*z + 9 = -r*z. Solve i*u - 4 - 2 = 0 for u.
1
Suppose 10 = 3*y - 2, -w = 3*y - 8. Let t(x) be the second derivative of -x**3/6 - 2*x. Let d be t(w). Solve 0 = -d*p + 6*p - 6 for p.
3
Suppose -2*r = c - 212 - 56, -4*r - 4*c = -548. Solve r*u = 129*u - 8 for u.
-4
Let a be 22/(-10) + 3 - ((-491)/5 - -8). Solve -63*h = -a*h - 28 for h.
-1
Let m(i) = -i**3 + 6*i**2 + 4*i - 5. Let t be m(6). Suppose -3*y + 80 = -4*h, -81 = 5*h + 7*y - 6*y. Let p = t + h. Solve -4*q = p + 10 for q.
-3
Let b(g) = 2*g**2 + 5*g - 2. Let l be b(-5). Suppose -3 + l = 4*j. Let v = -2079 - -2080. Solve j*o + v = -14 for o.
-3
Suppose h - 14 = -3*g, -5*h - g = -4*h - 8. Suppose 4*s + 8 = h*n - 3*n, 4*n = -3*s - 6. Let x = -746831 - -746833. Solve -x*c + 6 = -n*c for c.
3
Let z(s) = s**2 - 65*s + 586. Let y be z(55). Suppose -32*q + 92 = -y. Suppose -3*a = a. Solve 0 = -q*f + 16 - a for f.
4
Let y = -4449 - -4454. Solve 0 = 26*x - y - 73 for x.
3
Suppose 42*n - 1718 = 455 - 157. Solve -59*q + n*q = 22 for q.
-2
Let t(z) = -90*z + 4785. Let n be t(53). Solve -544*q + 541*q = -n for q.
5
Suppose -27*n = 91*n - 1180. Solve n*d + 18 = 78 for d.
6
Let w(r) = -3*r**3 + 34*r**2 + 31*r - 35. Let a be w(12). Solve a*f - 50*f = -7 for f.
7
Let v be (-6*(-1)/5)/(96/240). Suppose v*l + 0 + 4 = -2*c, -2*l - 5*c - 10 = 0. Solve -2*o + l = -2 for o.
1
Let w be (69/(-9))/(-4 - 70/(-18)). Suppose 0 = 26*j - 29*j + w. Suppose t + 2*b + b = 11, b + j = 5*t. Solve 0*h - t = -5*h for h.
1
Suppose -18*t + 7 = -17*t. Let y(l) = -2*l + 14. Let d be y(t). Suppose d = 3*c - 0*c - 18. Solve a + 25 = c*a for a.
5
Suppose 0*p - 6*p = -24. Suppose -8*j + 1 + 15 = 0. Solve j*d - 3*d = -p for d.
4
Suppose 8*n + 61 - 37 = 0. Let h be (n - -1)*(-275)/110. Suppose r - 4*r - 4*b = -4, -2 = 3*r - 2*b. Solve -h*i + i = r for i.
0
Let n(x) be the first derivative of x**4/12 - 8*x**3/3 - 8*x - 23. Let d(j) be the first derivative of n(j). Let v be d(16). Solve -2*r - 2*r + 4 = v for r.
1
Suppose 3*o + 23*b = 27*b + 123, -3*o = -b - 114. Solve 0 = 7*s + 2 - o for s.
5
Let k(u) = u**2 + 8*u - 1185. Let f be k(-39). Solve -f*t - 26 - 46 = 0 for t.
-3
Let u(y) = 7*y**2 - 11*y - 2. Let d be u(5). Suppose -10*w + 8*w = -d. Let a = -55 + w. Solve 2 = -a*p + 14 for p.
3
Let p = 132 - 112. Suppose 0 = p*d - 4*d - 400. Solve 4*y = -y + d for y.
5
Let x = -4 - -6. Suppose -2*i + i + x = 0. Let b be (63/(-15) + 2)/((-271)/2710). Solve 4*y + i = b for y.
5
Let m = -950 - -973. Solve 29*s = -64 - m for s.
-3
Let p be 3/((-34)/36 - -1). Let h = p + -32. Solve -h + 32 = 5*w for w.
2
Let p = -76 - -137. Let z = 63 - p. Suppose z*y + 0*y + 5*u - 40 = 0, 5*y - 85 = -5*u. Solve 2*x + y = -x for x.
-5
Suppose -2*j + 74 = -180. Let t = j - 124. Suppose -t*p + 20 = 2*p. Solve -3 = -p*w - 23 for w.
-5
Suppose -5506 = -13*l - 5428. Solve 19*p - l*p = -39 for p.
-3
Let k = -50 - -50. Suppose 3*m - 4*m - 2 = k, 0 = -5*o + m - 148. Let y be (-1)/(15/(-24))*o/(-12). Solve -5*j = -y*j + 4 for j.
-4
Let w = -1737 - -1740. Solve -w*d = 31*d - 102 for d.
3
Suppose 77*g = 76*g + 146. Let l = g + -142. Solve -d = -l*d - 9 for d.
-3
Let a be (-6)/5*(-3 - 20/(-15)). Let p be -2*1/(-6)*6. Suppose -5*s - n + p = -0*n, -3*n + 6 = 0. Solve s = a*l - l for l.
0
Suppose -2*z = -2*i + 62, -402*i + 406*i + 3*z = 82. Solve 0 = -40*h + 35*h - i for h.
-5
Suppose -920 = -5241*j + 5126*j. Solve 11*r = j*r + 9 for r.
3
Suppose 0 = -u - 461 + 467. Suppose -9 = 5*x - 3*m, 4*x - 3 = -3*m + u. Solve x = 5*y - 2*y for y.
0
Let a = -11 + 13. Suppose 4*c = -c - 3*n + 332, -3*c + n = -188. Let f = -57 + c. Solve 0 = f*u - a*u + 5 for u.
-1
Let z(y) = 2*y**2. Let c be z(3). Let w(f) = f**3 - 18*f**2 - 2*f + 40. Let r be w(c). Solve 0*i = r*i + 20 for i.
-5
Suppose -x - g = -7, -g + 13 = 2*x + x. Let d(h) = h**2 - 12*h + 15. Let s be d(4). Let p = -17 - s. Solve p = -c - 1 - x for c.
-4
Let o = -3 + 18. Let v be (8 - 4)/(3/o). Suppose -9*j + 14*j = v. Solve j*h - 3 = -19 for h.
-4
Let b = -7886 - -8617. Solve b*u - 25 = 736*u for u.
-5
Let h(r) = 7*r**3 - 14*r**2 + 8*r + 24. Let c(u) = -12*u**3 + 28*u**2 - 17*u - 48. Let v(o) = 3*c(o) + 5*h(o). Let g be v(13). Solve 0 = -0*x - g*x + 2 for x.
1
Let n = -3283 + 3327. Solve 0 = 2*f - n + 42 for f.
1
Let w(g) = g**2 + 12*g + 8. Let k be w(0). Let c be 1/(-3) - 33/9. Let h be (-2)/(-8) + (-11)/c. Solve h*j + k = 5*j for j.
4
Let p = -7753 + 7776. Solve -p*n - 98 = -9*n for n.
-7
Let t = 113 - 77. Let j be 24/t*(47 - -1). Suppose -j*q = -40*q + 16. Solve 3*i + q = -10 for i.
-4
Let h(a) = -a**2 - 5*a. Let v be h(-4). Suppose 3*f = v*l - 44, 0*l + 27 = -4*f - l. Let x be f/6*6/(-4). Solve -2*w + x = 6 for w.
-2
Suppose 12*l - 104 = -8. Let s = 11 - l. Solve 0 + 12 = s*a for a.
4
Suppose -170*u - 203 = 38*u - 1451. Solve -u*r + 58 = 34 for r.
4
Suppose 0*a = 3*t - 3*a - 60, -t = -4*a - 20. Let b be (-9)/(-12) + 145/t. Suppose b*m - 4*m = 132. Solve 4*i = 13 - m for i.
-5
Let l(q) = 2*q**2 + 44*q - 61. Let v be l(-23). Let p be 12/20 + (-81)/v + -3. Solve -4*n = -p*n - 4 for n.
4
Let g(o) = 13*o - 1. Let c = -45 - -52. Let d be g(c). Let j be (52/39)/((-3)/(d/(-4))). Solve -7*z + j = -2*z for z.
2
Let n = 23774 + -23745. Solve n*g + 55 = 18*g for g.
-5
Suppose r - 3*l - 4 = 0, -14 = -5*r - l + 6. Let b be (-9)/3 - -3*1. Suppose 4*p - 36 = -b*p. Solve r*m - p = 7 for m.
4
Let m = -6855 - -6888. Solve 36*r + m + 75 = 0 for r.
-3
Suppose -6*l + 2*l + 88 = -4*u, 3*l - 58 = u. Solve -56 = l*c + 10*c for c.
-2
Let l(z) = -9*z**3 + 19*z**3 + 6*z**2 - 6*z - 11*z**3. Let r be l(4). Solve 2*o - r = -0 for o.
4
Let m(j) = 31*j - 217. Let n be 3/8 + ((-8109)/72)/(-17). Let y be m(n). Solve y = -2*g + 6*g for g.
0
Let q(g) = -48*g - 2597. Let d be q(-61). Solve -274 = 19*z - d for z.
3
Suppose 22*w - 4*o = 20*w - 8, -31 = -w - 5*o. Let a be (2 - 12)*1/(-2). Suppose -4*d - 6 = 3*r, -w*r + 4*r = -a*d - 19. Solve 0 = m + 2 + r for m.
-4
Suppose 8*c + 125 = 77. Let p be (-51)/c - (-14)/28. Solve -4*g - 5*g = -p for g.
1
Suppose 0 = -14*p + 29 + 27. Let u(l) = -2*l**2 + 2*l + 11*l**3 - 8*l**3 + 4 - p*l**3. Let x be u(-2). Solve 3*n + 0*n = x for n.
0
Suppose 3*c - 1069 = 2*b, 294*b - 1819 = -5*c + 292*b. Solve -18*h - c + 217 = 0 for h.
-8
Let m(h) = -2*h + 10. Let l be m(3). Suppose l*d = 2*n - 8, -4*n - 2*d + 46 = -0*d. Suppose 2*t - 3*t = -5, 3*o - 3*t = -9. Solve 0*w + o*w = -n for w.
-5
Let g = -99 + 100. Let i be g/(-6 + 5 - -2). Solve 0 = 3*m + 5 + i for m.
-2
Suppose 10*u + 990 = 65*u. Solve -u + 8 = -2*z for z.
5
Suppose 2*g + 5*r - 169 = 0, -4*g + 24*r - 29*r = -353. Solve -170*i + 147*i + g = 0 for i.
4
Let o be 0 + -6 + (-285)/(-27) + 8/18. Solve -2*c = -6*c + o*c for c.
0
Suppose -39 = 35*j - 98 - 116. Solve -j*b + 44 = 17*b for b.
2
Let s(l) = 4*l + 29. Let h = 341 + -239. Suppose -x + 96 = h. Let u be s(x). Solve u*i + 23 - 3 = 0 for i.
-4
Let k = -21 + 25. Suppose -5*x - 5 = 0, 5*x + 2 = -0*z - z. Suppose -4 = -5*s + k*t, -2*t = -z*s + t. Solve 0 = -s*q + 8*q - 20 for q.
5
Let p be 0 + -2 - (9 - 13). Suppose p*c = -0*c - 14. Let t = c + 7. Solve 3*r + t + 3 = 0 for r.
-1
Suppose 5*p - 14 = 36. Let o be (((-330)/(-20))/(-33))/((-2)/48). Solve -2*f - p = -o for f.
1
Suppose 30 = -5*k + 10. Let z be 