= -15 + m for g.
2
Suppose -3*h - 7 = l, 164*h - 2 = l + 166*h. Solve 28 = l*a - 12 for a.
5
Suppose -4*v = 2*m + 98, 3*v - 6*v = -5*m - 180. Let g be -3*((-2)/8 + m/36). Solve 0 = g*i - 9 + 21 for i.
-3
Let k = -15657 - -15666. Solve k*h + 8 = -1 for h.
-1
Let g(t) = 8*t + 383. Let b be g(-46). Solve -b*o = -23*o + 40 for o.
5
Let z(j) = -10*j - 603. Let y be z(-70). Solve -36 = 88*t - y*t for t.
4
Suppose -227*v + 33 = 3*t - 230*v, t - 2*v - 10 = 0. Solve 613 = -t*g + 625 for g.
1
Let a(u) = -658*u - 4594. Let v be a(-7). Solve v = -5*d + 42 for d.
6
Let n(p) = 90*p**3 + 6*p**2 - 12*p + 8. Let b be n(1). Solve -32*m + b + 100 = 0 for m.
6
Suppose -31*u + 6 = -29*u. Suppose -v - 5*o = -0*o - 6, 5*o = -u*v + 18. Solve -v = 2*r - 5*r for r.
2
Suppose 169 = -9*p + 169. Let z = -16 - -19. Solve p = z*w - 6*w for w.
0
Suppose -29*c - 362 = -826. Let t = -3 + 6. Solve -t*x = -10 + c for x.
-2
Let k(g) = g**2 - 15*g - 47. Let r(p) = -1. Let u(f) = k(f) - 5*r(f). Let z be u(18). Solve 10*c = z*c for c.
0
Let i be -5 - 890/(-60) - 3/(-18). Solve -66*n + 64*n = -i for n.
5
Suppose -275*m - 13888 = -38600 - 13788. Let w = 41 + -178. Let l = w + m. Solve -7 + 4 = -l*g for g.
1
Let x = 3129 - 3122. Solve -x + 19 = 3*q for q.
4
Let t = 129 + -261. Let n = 137 + t. Solve -5*k = -0 - n for k.
1
Let a(l) = 3*l**3 + l**2 + l - 1. Let p = 11 + -15. Let b = 5 + p. Let f be a(b). Solve 0*t = -f*t - 16 for t.
-4
Suppose -2*o - o - 6 = -4*d, -3*d = o - 11. Let l be 4*o*(1 + -8)/(-14). Suppose -33 = -4*b - 13. Solve -b*c = 1 + l for c.
-1
Let i(g) = 23*g - 207. Let m be i(9). Solve 62*v - 71*v - 27 = m for v.
-3
Let m = 107 + -106. Let j be -1 + (m - -2) - (-75 - -75). Solve -j*y - 5 = -3 for y.
-1
Let h(n) = -n**3 + 11*n**2 + 20*n + 19. Let f be h(13). Let c be -60 - f - -16*2. Solve c*z - 28*z = 0 for z.
0
Suppose -10*q = -7*q - 33. Suppose -793 = -q*m - 23. Suppose -3*z + m = 4*v - z, z - 15 = -v. Solve 0 = -5*c - 5 - v for c.
-5
Suppose 0 = 2*r - 3*u - 22, 0*r + 4*r - 30 = -u. Let o(n) = -2*n**3 + 15*n**2 + 10*n - 16. Let l be o(r). Solve l = 2*f + 2*f - 4 for f.
1
Let m be 125/3 - ((-2412)/108 + 24). Solve m*l + 48*l = 0 for l.
0
Let f = 42626 + -42579. Solve 0 = -f*c - 64 - 77 for c.
-3
Suppose -r - 2*h - 8 = 0, -14*r - 3*h - 25 = -19*r. Solve 57 = -r*b + 59 for b.
1
Let v(z) = -2*z - 31. Let o(u) = -2*u - 31. Let c(p) = -3*o(p) + 4*v(p). Let x(l) = -2*l - 7. Let f be x(5). Let d be c(f). Solve -6*t + 3 = -d*t for t.
1
Let g be 2 - 0 - (0 + -2). Suppose b - 12 = -4*s, -s + 2*b = -2 - 1. Suppose 6*d - 3*y = 3*d, 0*d - 3*d = 2*y. Solve -s*n + 4*n + g = d for n.
-4
Suppose -5*x + 100 = 5*x. Let m(l) = 5*l - 40. Let p be m(x). Let j be (7 - -1) + -1 + -3. Solve 0 = j*w + w - p for w.
2
Suppose -g = 3*r + 3*g + 3, -2*r = 4*g + 6. Suppose 0*f - 3*d = -f + 2, r*f = -d + 16. Suppose q + 165 = 12*q. Solve -f*p - q = -0*p for p.
-3
Let h = -4464 + 4486. Solve -20*n - 2 = -h for n.
1
Let t(c) = 4*c + 1. Let m be t(-2). Let q(l) = -2*l - 10. Let s be q(m). Suppose -210*g + 205*g + 55 = 4*y, 2*y - g - 31 = 0. Solve -s*p = -p + y for p.
-5
Let f be 3/(-9) + 140/(-21). Let g(o) = 3*o + 23. Let i be g(f). Solve i*p = -0 - 2 for p.
-1
Let o = 8730 + -8575. Solve -o*g + 6 = -149*g for g.
1
Suppose 5*c - q = 37, -29*q = -4*c - 28*q + 29. Suppose c - 26 = -6*g. Solve -1 = -2*b - g for b.
-1
Let p = -36 + 39. Let a = p - 1. Solve 0 = 9*i - 10*i + a for i.
2
Let o be ((-384)/6)/(-8) - 2*-3. Solve 14*j = -o - 14 for j.
-2
Let l = 5900 + -5652. Solve -218 = -15*u - l for u.
-2
Let y be 2/(-17) + 1024/34. Suppose -9 = -5*g - d - y, -2*g + 3*d - 5 = 0. Let p be 3/(g/(4/(-1))). Solve p*z + 9 = -3 for z.
-4
Suppose -5*l + 5 = 5*m, 5*m = 6*m - l + 1. Solve -87 = 29*f - m*f for f.
-3
Let r = -5253 + 5256. Solve 32*h + r*h = -175 for h.
-5
Let g be (7*27/(-36))/(3/(-12)). Solve 44 = -g*n + 170 for n.
6
Suppose 0 = -11*u + 23 - 1. Let s(x) be the third derivative of x**4/24 - x**3/3 - 2*x**2. Let w be s(u). Solve b + w*b = 0 for b.
0
Let c = -149 - -151. Suppose 0*t - 3*t - 15 = 0, -141 = -4*s + t. Suppose -2*z + 2*g + 8 = 0, -5*z + s = -g + 6. Solve v + z = -c*v for v.
-2
Let d = 86 - 88. Let s be (125/50)/(d/(-8)). Let x(n) = n**2 + 7*n. Let q be x(-7). Solve 0 = -2*r - q*r + s for r.
5
Let r(h) = 8*h - h - 5*h + 10. Let f be r(-5). Suppose -d = m - f*d - 3, 0 = -2*m + d + 9. Solve -l = 3*l - m for l.
1
Let k = 30 + -20. Suppose 2 = -5*u + y + 82, u = -y + k. Let s(c) = c**3 - 16*c**2 + 14*c + 16. Let j be s(u). Solve 3*t - j = 5 for t.
2
Let h(q) be the third derivative of -q**4/12 - 7*q**3 - 15*q**2. Suppose 10 = -3*o + i - 62, -5*o + 4*i = 127. Let c be h(o). Solve 0 = -c*p + 9 - 21 for p.
-3
Let q be (-1 - -19)*(7 - (-120)/(-16)). Let w(o) = -18*o - 154. Let i be w(q). Solve i = -8*s - 0*s for s.
-1
Suppose -267*c + 39680 = -107*c. Solve 47*o = -c + 13 for o.
-5
Let j(i) = i**2 + i + 2. Let y be j(-2). Suppose -11 = -4*d - h + 9, -4*d + 4 = 5*h. Suppose v + d = 5*p + 4, -p + 4*v = -8. Solve y*k = -p*k for k.
0
Suppose -364*h = -379*h + 195. Solve 26 - 91 = -h*y for y.
5
Suppose 3*x = u + 23, x - 4*u - 8 + 4 = 0. Suppose 3 = b - 4*l + 3*l, 0 = 5*l. Solve -x*c = -b*c - 15 for c.
3
Let c = -32216 - -32271. Solve c*h + 264 = 22*h for h.
-8
Suppose -4*s - 3 = 3*h - 2, -5*s = 4*h. Suppose 15 = -3*f, -5*v - 5*f + f + h = 0. Solve d = v*d + 20 for d.
-5
Suppose -3*v - 4*z = -14, 4*v + 8*z = 11*z + 27. Let m be v - 51/9 - 212/(-12). Solve -m = 2*a - 26 for a.
4
Let j = 160 - 51. Suppose -89*q = 3405 - 12661. Suppose -q*h + j*h - 10 = 0. Solve h*o = -0*o + 6 for o.
3
Let d(c) = -c**2 - 11*c - 4. Let u be d(-10). Suppose 8*o = 5*o + u. Solve -1 = 3*b + o for b.
-1
Let f = -2 - -2. Solve -5*n + 5 = -f for n.
1
Let w be 734/2 - (-20 - (-18 - -5)). Solve 0 = -2*v - w + 368 for v.
-3
Suppose 3*q + 146 = -1. Suppose -5*d - 131 = -3*r + 105, -4*r + 478 = -10*d. Let m = q - d. Solve 4*k - 4 - 8 = m for k.
3
Suppose 3*m + h = 3*h + 86, 4*h - 180 = -5*m. Let q be m/80 - 48/(-5). Solve 2*t - q = -3*t for t.
2
Suppose -a = -5*s + 8, -5*a = -5*s - 8*a + 16. Solve -27 + 17 = s*b for b.
-5
Let u = 2031 + -1990. Solve -u*t + 27*t - 42 = 0 for t.
-3
Let s(g) = g**3 + 30*g**2 + 24*g - 142. Let l be s(-29). Solve 447 = -l*c + 441 for c.
-2
Let g be 1 + 1 - 28/10 - 252/(-90). Suppose -5*c + 5 = -10. Solve 1 = -c*k - g for k.
-1
Suppose -5*z = -8*z - 1101. Let l = z - -374. Solve -l*v = -9*v + 8 for v.
4
Let n(a) = -a + 10. Let s be n(7). Suppose 12 = s*h - 0*h. Let p be h*4/(-8)*-1. Solve 0 = -p*y - 2*y + 8 for y.
2
Let v be 13/((-39)/(-18)) + -6. Let n be v - (-3 - (5 - -40)). Solve -n = -5*l - 28 for l.
4
Suppose -4*b + 1968 = 200. Let r = -432 + b. Solve -r*a = 20 + 10 for a.
-3
Let m be (-2)/(((-5)/(-6))/(-5)). Suppose 72*h = 75*h + 354. Let f = 121 + h. Solve -5*u - f - m = 0 for u.
-3
Let f be -1*(14/63 - (-188)/(-36)). Suppose 0 = -3*n + f*z + 12, 5*n + z - 3*z = 20. Solve -n*s - 16 = -0*s for s.
-4
Let f(u) = -u**3 - 26*u**2 - 3*u - 78. Let z be f(-26). Suppose z = -19*b + 23*b - 16. Let l = 18 + -13. Solve 11 = -l*q - b for q.
-3
Let t(f) = 6*f**2 - 1. Let j be (0 - 1)*-3 - 4. Let a be t(j). Suppose -c + h + 4 = 0, -5*h - 7 + 3 = 3*c. Solve -3*i + a = -c*i for i.
5
Let g = 17134 - 16727. Solve -g*c + 401*c + 12 = 0 for c.
2
Let y = 17 + 51. Suppose -4 - y = 12*c. Let l be ((-63)/(-105))/(-1 - c/5). Solve f = -1 + l for f.
2
Let z = -76 - -69. Let x = 6 - z. Suppose x*h = 8*h. Solve 5*j + h*j = -5 for j.
-1
Let m(x) = x**3 + 11*x**2 + 29*x + 15. Let c be m(-3). Let z(d) = d**3 + d**2 + d + 5. Let u be z(0). Solve c = u*j - 0 - 15 for j.
3
Let f = -39 + 45. Let r be (-1 - (-9)/f)*(-36)/(-3). Suppose 10 = 4*q - 2*y, 2*y = -5*q + r + 2. Solve q*j - 4 = -14 for j.
-5
Suppose -300*d + 357*d - 627 = 0. Solve 2811 = -d*r + 2778 for r.
-3
Suppose -14*c + 26*c + 576 = 0. Let z be (-24)/c - (-3)/2. Solve z*r = r for r.
0
Suppose -15*g = -4*i - 11*g + 64, i - 7 = -2*g. Solve -24*n + 11*n = -i for n.
1
Suppose 2*g - 604 = -4*i, 16*i - 9*i - 1055 = -4*g. Solve 0 = -9*v - i + 198 for v.
5
Suppose 88*c + 582 - 3662 = 0. Solve -118*t = -c*t + 498 for t.
-6
Let n = 506 - 506. Suppose n = -10*b - b + 176. Solve -11*h + 15 = -b*h for h.
-3
Let g be (-61)/(-3) + (-8)/(-12). Let m = 5 - g. Let k be (m/12 + 1)*-12. Solve k 