 0, 4*a - g = 8*a for c.
4
Let m(t) = -t + 6. Let n(v) = 30*v + 9. Let w be n(-1). Let i be m(w). Solve -2*f - 3*x - 2*x = -i, -2*f - 2*x + 12 = 0 for f.
1
Let d be (3 - 49/21)*(-2 - -5). Let g be (-1 - -4) + 17 + -11. Let q = g - 4. Solve d*o - 4*j - 6 = -3*o, -q*j - 30 = 5*o for o.
-2
Suppose a + 32 = 2*a. Suppose -a = -4*u - 0. Suppose 0 = 5*l - u*l. Solve 4*b + 8 = -4*y, b - 14 = -l*y + 3*y for y.
-4
Suppose 0 = -l + 5*x + 4, -5*l + 10*l - 2*x = 20. Solve -4*o = l*w - 18 - 2, 9 = 3*o for w.
2
Suppose -5*v = -302 + 272. Solve -2*y = 5*d, -v*y = -3*y + 4*d for y.
0
Let k = 13 + -9. Suppose 77*p + 17 + 571 = 273*p. Solve -k*s + 21 = p*t, 2*t - 1 = -s + 8 for s.
3
Let b(c) = -c**3 + 20*c**2 - 22*c + 30. Let f be b(19). Let u = f + 30. Solve -2*h = -5*o - 10, 0 = o - u + 5 for h.
0
Let v = 36 - 20. Let l be 94/48 + -2 - (-1134027)/280584. Solve v = -2*o - 0*o + 3*f, -l*o - 2*f = 0 for o.
-2
Let w(d) = -29*d - 73. Let c be w(-3). Let x be 3/24 - c/(-16) - -1. Solve x*f = -l - f, l = -2*f for l.
0
Let f be (-456)/(-2166) - 4/38 - 1533/(-57). Solve 2*y - 10 = -2*c, 2*y + 17 = -c + f for y.
5
Suppose 8*k - 7*k + 10*k - 66 = 0. Solve -s - 3*r = -6, 9*s + r = 10*s + k for s.
-3
Let a be 3/(-3 - (-3 + (-6)/72)). Suppose 23*y = a + 125. Solve -3*h - 9*n = -5*n - 5, -y = -2*h + n for h.
3
Let j be -3 + 40/15*3. Let w be (-47)/(-9) + 24/(-108). Suppose -h + 3*p - 6 = 0, 3*p = -w*h + 10 - 4. Solve 0 = -2*s + 5*q - 15, 2*q = -h*s + 3*s - j for s.
5
Let k(d) = -15*d**3 - 3*d - 4. Let i be k(-2). Let c = i + -118. Solve 0 = c*r - 4*v + 8, 2*r - 3*v = -0*r - 7 for r.
1
Suppose 0 = -5*n + 4*b + 24, -3*b = 4*n - 58 + 14. Solve -2*k = -m - n, -3*m + 3*k - 31 = -10 for m.
-6
Let z be 62 - (-3 + 4) - -1. Let o = z + -111. Let w = o + 54. Solve 0 = 4*a + 4*g - 8, -w*a + 2 = g + 4 for a.
-1
Let i be 3/6*12*1. Let m = i + -2. Suppose -2*b = -l + 4, -2*l + 8 = -b - 0. Solve 0 = -m*p - l, p - 7 = 2*y - 18 for y.
5
Suppose 44*p - 34*p = -600. Let x be 32/p*-9 + 2/10. Solve 6 = -2*t - 2*q, -t = 2*t - x*q + 9 for t.
-3
Let b be (-182)/(-39) + (-3)/(-9) + -1. Suppose 0 = b*m + 8, 0 = 3*s + 4*m - 1. Solve -7*u + s*u - 11 = -3*o, -o + 4*u = -1 for o.
5
Suppose -3*l - 14 = 4*j, 3*l + 2*j + 16 = -3*j. Let w be (-132)/(-18) + l/6. Suppose -4*z + 5 - 15 = -126. Solve -3*f - 19 = -a, -z = -a - 2*f + w*f for a.
4
Suppose 13*t = 7*t + 18. Suppose 12*a = -9*a - 18*a. Solve 2*s + t*i - 1 + 7 = a, -3*s + i = -2 for s.
0
Let n(j) = -41*j + 168. Let a be n(4). Solve g + 10 = -3*v, 45 = -49*g + 54*g - a*v for g.
5
Let k be (4 + -3)*-16 - -23. Solve 4*t - k = 18*o - 13*o, 5*t - 4*o = 2 for t.
-2
Suppose -12*h = -9*h. Suppose h = -20*c + 24*c. Suppose 2*m = -c*m + 4. Solve 6 = j + m*a, -3*a + 3 = 5*j - 6 for j.
0
Let n(o) = -2*o**3 + 23*o**2 + 13*o + 3. Let x be n(12). Solve 0 = 2*c - 4*g + 30 - 10, -x = -4*c - 3*g for c.
0
Let j(l) = -2*l - 18. Let b be j(-10). Let t be ((-508)/10)/(b/(-5)). Let i = t - 103. Solve 2*p + 3*p + 3*w = 30, -3*p = 3*w - i for p.
3
Let c = 772 + -433. Let h = c - 332. Solve -h*q = 5*f - 5*q - 3, 0 = -4*q + 16 for f.
-1
Let a(k) = -k**3 + 7*k**2 + 193*k - 1190. Let u be a(6). Solve -100 + 90 = c - 5*h, 0 = 5*c - 2*h + u for c.
0
Suppose -5*h + l = 3*l - 45, -2*l + 24 = 2*h. Solve h*g + 2*t + 2 = 7, -4*g - 5*t = 1 for g.
1
Suppose 6 = -3*o - 2*p, -3*o - 1919 = 5*p - 1895. Solve 5*k - 30 = 5*y, -17 + 21 = o*k + 2*y for k.
4
Let a be (1/(5/4))/((-2)/(-5)). Suppose -4*y + 2*h = -2 - 70, -h - 4 = 0. Solve 5*w - y = w + 4*p, -p = w - a for w.
3
Suppose -c - 1 = x, 3*x - 2*c - 11 = 2*x. Let g be 18/(-12)*32/(-6). Suppose g*n - 23 = 153. Solve 3*k - 2*t = -x*t - 7, -3*k = -2*t + n for k.
-4
Let m = 12014 + -11994. Solve 3*a + p + 173 - 158 = 0, 0 = 4*a - p + m for a.
-5
Suppose -13*r = -9*r. Suppose 3*j - v + 83 = r, 4*j - 3*j + v + 21 = 0. Let l be j*(-5)/30*3. Solve -5*s = u - 3*s - l, 3*u + 2*s - 23 = 0 for u.
5
Let z be (-48 - -22)*(-22)/(-4). Let s = 148 + z. Suppose 0 = -v + 4*v. Solve s*n - g - 5 = -v*g, n + g - 1 = 0 for n.
1
Let l(t) = 380*t + 2 + 2*t**3 - 380*t + 13*t**2 + 9*t**2. Let a be l(-11). Solve -3*h + 12 = -3, -a*y + h - 7 = 0 for y.
-1
Let g(v) be the third derivative of v**5/4 + v**4/24 - v**3/6 - 15*v**2. Let z be g(-1). Let m = -9 + z. Solve -2*u - 4*b - m = 2, 3*u + 5*b = -10 for u.
-5
Suppose -9*j + 16*j - 21 = 0. Suppose 20 = 3*x - 4*r, 0 = -j*x + r - 0 + 5. Solve x = -h + 1, 5*z + 15 + 3 = -2*h for z.
-4
Let i = -2953 + 2969. Solve 0 = 3*u - 2*j - 19, -3*u + i*j = 12*j - 29 for u.
3
Suppose 2*t + 42 = -732*b + 734*b, 0 = 3*b + 2*t - 33. Suppose -3*i + 10 = q, 5*i = -4*q + 2 + 17. Solve 0*n - 3 = n, 2*n = -i*u - b for u.
-3
Let x = 86 - 72. Let d be 39/(((-6)/14)/((-2)/x)). Let t be (-12)/(-28) - 36/(-14). Solve 3*w - d = -2*s, -t*s - 24 = s - 4*w for s.
-1
Suppose -2*v - 8 = -5*n, 85*v = 83*v - 2*n + 20. Suppose -425 = -v*g - 395. Solve 2*k - 4 = h, 0 = 3*h - h - k + g for h.
-2
Let x be (2*(-27)/(-36))/(6/16). Suppose 5*p - z - 3*z - 5 = 0, -4*p + x*z = 0. Solve -4*n + n + p*v - 4 = 0, 4*v - 2 = 2*n for n.
-3
Let z = -24 - -25. Let i be (-72)/(-120)*(z + 4). Solve -3*d + 19 = 2*x, 4*x - 13 - 16 = -i*d for d.
3
Let p = 16 + -23. Let z(t) = -t**3 - 6*t**2 + 8*t + 7. Let l be z(p). Let b be 8/(-48) + (25/6 - l). Solve 4*n = -r + 4*r + 6, r = b*n - 2 for n.
0
Let y = -15968 - -15971. Solve 4*v + 11 = 5*t, -t + 15*v + y = 14*v for t.
-1
Suppose -2*f + 892 = 2. Let l = f - 442. Solve -2*j = -3*r + 6*r + 17, 0 = l*j - 3*r - 12 for j.
-1
Let z be (-539)/(-22)*(-1)/7*(-76)/14. Solve -2*q + 25 = -3*j, z*q - 40 = 16*q + 5*j for q.
5
Let r(d) = -d - 7. Let h be r(-11). Suppose 0 = h*a + x - 16, -a + x - 4*x + 4 = 0. Let s be 4*3/24*(1 - -9). Solve -a*g - 18 = 3*f - 5*g, -s*f = g + 22 for f.
-5
Let c = 0 + 5. Let p(b) = b**3 - 23*b**2 + 76*b - 33. Let x be p(3). Solve -5*z = -3*s - 15, -s + 4*s = -c*z - x for z.
0
Suppose 78 = -63*i + 89*i. Solve -2*u + 8 = -3*r, i*r - 4*u + 6 = -u for r.
-4
Suppose 3*j = -5*p + 4*j + 30, 0 = 3*p + 2*j - 18. Let a be (-88)/33 + 2/(-6) + p. Solve -6 = -a*s + 4*b - 7*b, 4*b - 12 = -2*s for s.
-2
Let u = -10892 - -10901. Solve a - 2*h = -13, 5*h = -5*a + 1 + u for a.
-3
Let u be (-3 - 77/(-28))*(4 + -4)/(-3). Solve -4 = 3*p - u*p - 4*h, 0 = 5*p + 4*h - 36 for p.
4
Let d be (12/4)/12*297*8. Let q be 2/14*-2 - d/77. Let b be (6/q)/(2/(-8 - 0)). Solve w + 3 = -2*o, -12 = -b*w + o - 0*o for w.
3
Let y(b) = -b**2 - b + 32. Let j be y(-6). Let m = -13 + 8. Let i = m - -9. Solve 0 = h - 2*w + 3, j = -i*w + 10 for h.
1
Let c = -4020 + 4051. Solve r = 3, 2*z + 5*r - c = 6*z for z.
-4
Suppose 0 = 9*p - 6*p - 99. Suppose -p = -c + 11. Let v = c - 44. Solve -3*w + v*y - 3*y + 18 = 0, -5*w + 18 = -y for w.
4
Let a = -9573 - -9593. Solve -4*h - a = 0, 3*y + 22 = -4*h - 13 for y.
-5
Let i(o) = -48*o + 49. Let b be i(1). Suppose -4*s = 2*w - 8, -3*w + b = s - 6. Solve -2*r + 13 = -3*d, -r + 0*r = w*d + 4 for r.
2
Suppose i + 2*s = 6, 5*i = 2*i + 2*s + 26. Let w(p) = 2*p**3 - 17*p**2 + 6*p + 19. Let n be w(i). Solve -5*b = 4*v - 7, 3 + 12 = -n*v + 3*b for v.
-2
Let n be (-1 + -11)*3/(-24)*2. Let p(h) = 3*h + 8. Let f be p(4). Let x = -15 + f. Solve -4*a + x = -3*a + 2*g, 5*a = n*g - 1 for a.
1
Suppose 59*a = 52*a + 224. Suppose -2*g + a = 20. Solve -2*x - g = -5*z + 4, x + 15 = 5*z for z.
4
Let g be (-2*57/15)/((-2)/60). Let p = 230 - g. Solve -9 = -y + 5*q, -y - 2*q - 6 = -p*y for y.
4
Suppose 18*j = -1188 + 1548. Solve 0 = 6*f - 8*f - 3*g - 4, -5*g - j = 0 for f.
4
Let g(t) = t**2 + 18*t + 14. Let j be g(-17). Let y be (-1 - j)*(-155)/(-10). Solve 4*q - y = 5*a, 5*a + 28 = 4*q + a for q.
4
Let x(z) = -2*z**2 - 8*z + 230. Let b be x(-12). Solve 3*y + 5*l - b = 0, -4*y - 3*l + 36 = -0*y for y.
6
Let g(y) = -y**2 + 71*y + 5882. Let d be g(-49). Solve -n + 10 = -d*u, -3*u - 6 = 3 for n.
4
Let h(v) = v**2 - 6*v - 37. Let r be h(10). Let q be r/(-9) - (-2 - 20/6). Solve -3*k - n = -18, 5*n - 5 = q*k - 3*k for k.
5
Let j be 18*((-6136)/(-3717) + 30/(-21)). Let v = 0 + 1. Solve p = 3*w + 2*p - 3, -j*w = 3*p + v for w.
2
Suppose 5558*z - 5578*z = -580. Solve -2*j = 5*u - 25, 2 = -z*j + 27*j + 4*u for j.
5
Suppose -2*v + 3*n + 16 = 0, v + 18 - 13 = -5*n. Solve 2*i - 16*q = -14*q + 10, v = i + 2*q for i.
5
Let p be (-17 - -19)/(2/3). Suppose -p*