5*g - 20, 2 = -4*g + d + 3 for g.
-1
Suppose 2 = 2*k - 0. Suppose y - k = 0, 5*y - 51 = -5*t - 16. Let w(l) = l**2 - 6*l. Let c be w(t). Solve -3*d = s - 5, 5*s + c = -2*d - 1 for d.
2
Let g be ((-12)/8)/((-1)/2) + 1. Solve -3 + 9 = g*c + 3*f, 0 = 3*f - 6 for c.
0
Let a(t) = -125*t - 240. Let h be a(-2). Solve -q + c - 9 = -3*c, -4*q + 3*c - h = 0 for q.
-1
Suppose 0 = 5*s + 5*m + 550, 6*m = 2*m + 20. Let b = s - -139. Solve -4*d = 4*i - b, -3*i + 20 = i + 2*d for i.
4
Suppose 2 + 19 = j. Let t = 22 - j. Suppose -5 = -3*s + t. Solve -h = s*r + 8, -12 = -0*h + 3*h for r.
-2
Suppose 4*d = 20, -5 = o - 2*d + 1. Suppose 3*j - o*m = -m + 15, m = -2. Solve j*a - 10 = -5*v, -3*a - 15 = -0 for v.
5
Suppose 0 = 56*f - 60*f + 8. Let v = f - -11. Solve -2*y - v = -3*w - 2*w, -5*w = y - 1 for w.
1
Let x be (-1)/(-4) + (-5)/20. Suppose 0 = 5*f - 4*d - 25, f + 2*d + 9 = -x. Let w be f + (2 + -5)/(-3). Solve 0 = 3*p - 5*r + 9, -w*p - 6 = -0*p - 5*r for p.
-3
Suppose -3*f = -2*i - 21, -5*i - 8 = 7. Solve 4*q - 3*m + 28 - 8 = 0, 2*q + 10 = -f*m for q.
-5
Let t = 36 - -19. Let s = t - 43. Solve -c + 3 = -g, 0*g - s = 2*g + c for g.
-5
Suppose 6*w - 82 = -3*o + 10*w, -118 = -5*o + 2*w. Solve -b - o = -n + 4*b, n = 3*b + 14 for n.
2
Let b(k) = 13*k - 192. Let y be b(15). Solve -4*m - 18 = y*q, 0 = -4*q + 2*m - 5 + 3 for q.
-2
Suppose t + 15 = 6*t. Suppose -3*m + 5 = -5*u, -u - t*m + 13 = -4. Let l = 0 + 3. Solve -u*f + 3*i = 0, 0*f = -l*f + 4*i for f.
0
Suppose 15*k - 4*u = 20*k - 19, 0 = k + u - 3. Solve 0 = -k*j + 6*j, -10 = -2*h - 5*j for h.
5
Let r be 9/3 + -7 + 91/13. Solve -4*x = -4*f + 16, -5*x - r + 10 = 4*f for f.
3
Let f be 0/(-3*(1 - 2)). Suppose -3*j + 6*j - 12 = f. Solve j*p + 1 + 9 = -5*k, 2*k + 5*p + 21 = 0 for k.
2
Suppose 32*a - a = 0. Solve 5*t = 2*v + 5, t - 2*v + 3*v - 1 = a for t.
1
Let g be (-4 - 0)*64/(-128). Solve -z = 2*p - 2*z + 9, -2*z = -g for p.
-4
Suppose -3*s - s = -36. Solve 4*w + 1 + 2 = 3*p, -2*w - s = p for w.
-3
Let f(v) = v + 9. Let j be f(-6). Suppose -12 = -j*p - p. Let m = 3 + 2. Solve m*a - i - 22 = p*i, 15 = -5*i for a.
2
Let t(r) = 4*r - 3. Let m be t(7). Solve 0 = 5*x - m, 4*x = 4*l + 15 + 9 for l.
-1
Let l be (-29 - -29)/(2 - 3). Solve -5*k - 3*i = -30, l = -6*k + 4*k + 2*i - 4 for k.
3
Let f(i) = -229*i - 225. Let p be f(-1). Let b = 33 + -18. Solve 0 = -d - w + 6, 0 = -p*d + w + 4*w + b for d.
5
Suppose 3*y - 26 = 2*c, 26*c + 10 = y + 25*c. Solve -3*f + f + 14 = 4*l, -2*f + y = -4*l for f.
5
Suppose -5*j - 7 + 32 = 0. Suppose 2*t + 3 = 3*t. Solve -j = 5*v, t*l + 0*v = v - 11 for l.
-4
Let n be (-1*8)/((-4)/10). Let a be 4/n - (-92)/(-10). Let y(b) = -b**3 - 8*b**2 + 9*b + 2. Let k be y(a). Solve -5*l = h - 24, -3*l + k*l - 4*h + 20 = 0 for l.
4
Let o be 94/6 + 234/(-351). Solve 2*f + 8*h = 3*h + o, 0 = 2*f - 4*h + 30 for f.
-5
Let m be (-4)/(-3 - 1) + -3. Let k be m - (4 + -2) - -7. Solve -2*v - 2*h + 4 = -0*h, 0 = 5*v + k*h - 4 for v.
-1
Suppose -4 = -12*r + 11*r. Suppose -r*n = -g, 2*g + 2*n - 5*n = -10. Let t(u) = -u - 8. Let h be t(g). Solve k + 22 = -5*w, h = -0*k - 2*k + 6 for w.
-5
Suppose 5*j + 100 = 3*h, -h + 24 = -0*h - 4*j. Suppose -2*g = 2*y + 64, -g = -4*y + y + 44. Let z = h + g. Solve -5*w - r - 14 = 0, 0 = 2*w + z*r + 3 - 2 for w.
-3
Let o(m) = m - 6. Let x be o(6). Suppose -36 = -t + y, -4*y - 18 + 6 = 0. Let i = 35 - t. Solve x = 4*a + 4*b + 8 + 12, -10 = 4*a + i*b for a.
0
Let r = -25 + 29. Solve d + 6 = 2*z - d, r*z - d = 0 for z.
-1
Suppose -6*h + h - m + 15 = 0, 3*h = -4*m - 8. Solve -k + h = -4*n, 4*n - n = 0 for k.
4
Let c = -47 + 82. Suppose 5*s - c = 40. Solve 3*x = 3*q, -q + 0*x = -4*x + s for q.
5
Let n(y) = 2*y**2 + 33*y + 129. Let d be n(-5). Solve 5 = b - 4*r + d, 1 = r for b.
-5
Suppose -4*n + 104 = t, n + 3*t - 31 = 6. Let c(u) = u + 5. Suppose 3*w = -5*p, -3*p + 5*w = 2*w. Let a be c(p). Solve 5*y = a*z - n, 4*z + 2*y = y + 15 for z.
4
Let q(f) = -f + 6. Let i be q(4). Suppose -2*b - 7 = -3*t, -21 = -2*t - i*b - 3. Suppose -t*d = -0*d. Solve -5*r - 2*p + 16 = 0, 0 = -3*r - 4*p - d + 4 for r.
4
Let r = -9 + 11. Let d(q) = -q + 11. Let x be d(6). Suppose 2*w = x*f - 12, 3*w + r*w + 5*f = 40. Solve t - 4*v = 0, -11 = w*t - t - v for t.
-4
Suppose -4*i + 3 = -1. Suppose -5*l = 5*z + 25, 5*l + 3*z + 21 = -0*z. Let u = i - l. Solve 0 = -4*j + u*a, 28 = -2*j - 3*a - 2*a for j.
-4
Let a(k) = -k**2 + 5*k - 3. Let i be a(3). Let d be 5*(i + (-22)/10). Let f(o) = 8*o - 6. Let z be f(d). Solve -n = 5*w + z, 6*n - 3*w = 2*n + 11 for n.
-1
Let y be (-5 - 111/(-15))*5. Solve -h - 3 = v, 5*h - 6*v + 2*v - y = 0 for h.
0
Suppose -95*c = -113*c + 36. Solve 26 = c*v - 5*x, -20 = -x + 6*x for v.
3
Let v(x) = -x**2 - 3*x + 9. Let j be v(-4). Solve -2*u - 4*w = -4, -4*u + 5 = -u + j*w for u.
0
Let j(f) = 20*f + 10. Let k be j(2). Let a = k + -46. Solve 4*u - 4*g + 35 = -g, -15 = a*u + g for u.
-5
Let k(y) = -y**2 + 6*y + 14. Let q be k(6). Let a = q - 10. Solve -4*d + 2*n = 28, 4 = -4*d - a*n - 0 for d.
-5
Suppose -5*u + 9 = -i - 4, -4*i + 14 = 2*u. Let n(l) = 2*l**2 + 4*l. Let c be n(-2). Solve c = 3*j + 4*p - 27, -p - i*p = 5*j - 34 for j.
5
Let c(w) = w**3 + 9*w**2 + 9*w + 7 - 5*w - 15*w**2 + 0*w**3. Let k be c(5). Solve -5*a = -j + 1, j + 18 = -4*j + k*a for j.
-4
Let s = 31 - 29. Let o = -10 + 22. Let t = o + -10. Solve -s*v = -6*v + 3*k + 12, 4*k + 16 = t*v for v.
0
Let s be (1092/(-14))/(-6) - 2*-1. Solve s*l - 10*l - j - 8 = 0, -4 = 5*l + 3*j for l.
1
Suppose 1045 = -52*v - 17*v + 2977. Suppose 2*u = q + 2 - 16, 5*q - 45 = 5*u. Suppose -193 = -q*s - 49. Solve 4*i = -3*f + v, -f + s = 4*i + 4*f for i.
4
Let w(g) = g**3 + 6*g**2 - 9*g - 14. Let u be w(-7). Solve 4*b = 2*x - 6, 4*b + 12 = -u*b - 4*x for b.
-2
Let w = -1079 + 1083. Solve -3*l + w*z = 3*z + 7, -l + 5 = -4*z for l.
-3
Suppose -2*m = -4*w + 24, 4*w - 6*m + 2*m = 24. Solve 0 = -4*v - d + w, v + 2*d = -d + 7 for v.
1
Let b be 120 - 118 - -3*1. Solve -2*j + 3 - 12 = 5*y, 0 = -b*y + j - 3 for y.
-1
Suppose -2*i = l - 18, 37 = 3*i + 5*l - l. Solve q - 4 + 1 = -2*c, 3*c + q - i = 0 for c.
4
Let d = 61 + 74. Suppose -2*b - 115 = -d. Solve -5*i = c - 19, 3 - b = -i + 3*c for i.
4
Let k = 14 + -18. Let j be ((-57)/(-6))/((-2)/k). Let w = -17 + j. Solve -a + 3 = m - 0*m, -w*m + a = -3 for m.
2
Let f be (-145)/(-6) + 44/(-264). Solve 2*v - 6 = 4*z, f = 4*z - 0*z + 4*v for z.
1
Suppose 16*p = 3*p + 39. Let w(g) = 12*g**2 + 2*g - 1. Let d be w(1). Solve 5*q = 3*r + 7, -q = -0*r + p*r + d for r.
-4
Let s = -17 - -25. Suppose 2*k + 2*a - 5*a = 51, 5*k = a + 108. Let b = k - s. Solve 2*z - 7 = -r, -6*z + b = -3*z - r for z.
4
Suppose 3*j - 4*u - 32 = 0, -2*j + u + 20 = 2. Let i = -4 + j. Solve 12 = 2*f + i*q, 3 = 5*f - 3*f - 5*q for f.
4
Let g = 20 - 29. Let s be 12/g*(-6 - -3). Suppose -h + s = -1. Solve 3*k - 4*k + b = h, -3*b + 3 = 0 for k.
-4
Let v be 116/30 + (-870)/225 + 4. Solve -2*c + 5 = 3*d - 5, -d = v*c for d.
4
Let u be (-4 + 0 + 3)*(-3 - -3). Let l = 3 - -2. Suppose -17 - 8 = -l*a. Solve 0 = i - a*h - 14, u*i + 5 = 4*i - 3*h for i.
-1
Suppose -w - 9 = -x - 2, 0 = -5*w. Solve -4*g - 2*z + 10 = 0, -5*g + 2*z - x = -2*z for g.
1
Let x(f) = -f**3 - 10*f**2 - 22*f + 13. Let d be x(-7). Let y be 1 + (4/4 - -2). Suppose 5*i - 12 = i. Solve 4*m - d = -y*b, 0*m + 4*m - 18 = -i*b for b.
2
Suppose -s - 2 = -0*s + 2*q, s + 6 = -4*q. Suppose 2*v + s*v = 8. Solve -9 = 5*u + 4*j + 2, 2*j - v = 0 for u.
-3
Let s be -12*26/(-39) - 1. Let z be ((-1)/1 - -1)/2. Solve -5*w + 5*m + 10 = 0, s = w - z*m - 2*m for w.
-3
Suppose 0 = j - 1, -3*j + 0*j - 9 = -4*y. Let c be (-154)/(-35) + 39/15 + -3. Solve -r - 2*u = y*r - 18, -4 = -c*u for r.
4
Let f be ((-3)/(-6))/(2/36). Suppose -3*g + f = 3. Solve g*o = -4*z - 10, 4*z = -3*o - 5 - 2 for z.
-4
Let b = 1820 - 1815. Solve -4*h = 2*w - 16, 0 = -5*h + 8*h + b*w - 26 for h.
2
Suppose -3 = 3*u - 6. Suppose 7*w - 22 = -u. Solve -w*h + 4*h + 19 = -5*v, -4*h = v for h.
1
Let c(p) = 2*p - 5. Let l(y) = -3*y + 5. Let m(q) = -4*c(q) - 3*l(q). Let u be m(0). Solve 0 = -5*f - u*i + 30, -4*f - 3*i + 12 = -5*i for f.
4
Let t(a) = a**2 - 5*a - 30. Let l be t(-4). Solve 4*k + 8 = -2*r, 0*k = -5*r + 3*k + l for r.
0
Suppose 4*l - 3*f - 2 = 0, 3*l - 8*l + 20 = 5*f. Solve 5*z - 2*p + 30 = 0, 3*z + 3*p - 1 - l = 0 for z.
-4
Suppose