 6, u - 1 = -b for b.
2
Let c be 2*(2/(-4))/(5/(-25)). Suppose 5*o = -5*s + 80, c*o - 4*s - 57 = 32. Solve 0 = -2*a + 3*f + o, -2*f - f - 9 = 0 for a.
4
Let x be ((-76)/(-12))/(1/3). Let a(l) = -l**3 - 4*l + 2 + 5 + l**2 + l**2 + 2*l**2. Let t be a(3). Solve -c + s = -8, -t*s - x = -3*c - 2*s for c.
3
Suppose 5*l - 2*f = -3*f - 81, 0 = 2*f + 2. Let b be (16/10)/(l/(-40)). Suppose -12*h + b*h = 0. Solve -4*i = -h*i - 3*r + 3, -3*i - 4*r + 4 = 0 for i.
0
Let y(w) = -945*w - 942. Let q be y(-1). Solve 5 = -a + q*z, 28*z + 10 = -2*a + 30*z for a.
-5
Let u = -13 + 12. Let t be (u - -2)/(6/12). Suppose -p = -4*j - t, -3*j - 8 = -4*p - 0. Solve -2*h + 3*h + 3*x + 10 = j, 0 = -3*x - 9 for h.
-1
Suppose 0 = 3*u - 26 - 568. Let r be 213/5*(-26 + 31) - 8. Suppose -u = a - r. Solve -10 = 2*d, a*v - d = 4*v + 8 for v.
1
Let t = 4559 + -4556. Solve -t*g = -3*o - 15, -2*o - 15 = -3*g - 0*o for g.
5
Suppose -20*b + 20*b = 9*b + 15*b. Let m = 2 + 3. Solve m*q = -4*l - b*q + 36, -3*q = 4*l - 28 for l.
4
Suppose i = -3*z + 2, 19*z - 17*z - 12 = 2*i. Solve -406 = -z*m - l - 404, 29 = 3*m - 5*l for m.
3
Suppose -4*w = -5*w + 3. Suppose 4*r - 2*r + 80 = -5*b, -w*r - 99 = -3*b. Let a = -35 - r. Solve -u = -4*u + 3*l, a = -5*u - 2*l for u.
0
Suppose 104*o - 4 - 191 = 13. Solve -o = -3*l - n, 0*l = -4*l + 4*n + 24 for l.
2
Suppose 162*g - 27*g = 0. Solve -5*j + g*c = 2*c + 17, -3*c - 12 = 3*j for j.
-3
Suppose -40 = 7*s - 68. Suppose 0 = 3*a - 5*l + 2*l - 18, -3*l - 26 = -s*a. Suppose -3*m + a*m = 75. Solve 3*h + m = -4*y + y, -2*h + 5*y - 3 = 0 for h.
-4
Suppose -20*w + 148 = -2*w + 19*w. Solve 11 = 3*j - s, w*s = -0*j + 2*j - 4 for j.
4
Let q be ((-223)/1561 + 46/28)*(-24)/(-9). Let l(a) = -a**2 + 2*a + 3. Let t be l(3). Solve 4*v - 5*x - 8 = t, -4*v = -2*x + q - 0 for v.
-3
Let v(k) = -7*k + 11. Let m be v(-3). Suppose 42*x = m*x + 50. Solve 0 = -0*c - 5*c + 5*y + 10, -4*y = x*c + 35 for c.
-3
Suppose -17*z - 7232 = 3665. Let l = z + 651. Solve 5*h - 3*a - a = -20, -2*a = -2*h - l for h.
0
Let d = 7720 + -7717. Solve d*t = 8*t + 2*p - 30, p - 1 = t for t.
4
Suppose h - 4*k + 25 = 0, -2*h - 20 = 4*k - 54. Solve -18*p + o = -16*p + h, -3*o + 9 = 5*p for p.
0
Suppose 4*w + 2*a - 24 = 0, -3*w - 5*a + 11 = -7*a. Let v be 1464/36 + 6/(-9). Suppose -35*i + v*i = 20. Solve 4 + 1 = -w*y - 5*h, 8 = i*h for y.
-3
Suppose 8 = -j + 4*y, -3*j + 3*y = -y - 8. Suppose -j = -3*m + 46. Let p be 0 + m/3 + (-4 - -3). Solve p*q + 10 = 0, -2*q + 9 = -4*n - 7 for n.
-5
Let t(l) = 201*l + 404. Let d be t(-2). Solve d*i + 4*x = -8, -5*x = 4*i - 2*x + 1 for i.
2
Suppose -327 = -22*f + 25*f. Let p = f + 120. Let i(x) = x**2 - 13*x + 29. Let z be i(p). Solve 5*l + 2*m + z = 0, -5*l = -3*l - 5*m - 3 for l.
-1
Suppose t = 37*g - 33*g - 17, -3*t - 15 = 0. Solve 2*h + 3 = -g*i, -3*h + 2 = -2*i - 0 for i.
-1
Let n = -3 - -6. Let y = -1129 - -1133. Suppose 4*t - 93 = -0*t - n*z, 4*t - y*z - 72 = 0. Solve 2*h - 6 = r + 3*r, r + 4*h - t = 0 for r.
1
Suppose 0 = -2*d - 8753 + 8781. Solve 0 = d*f - 12*f - 5*n - 31, -2*f - 3*n = 9 for f.
3
Let f = -305 - -378. Suppose 18*r = f + 17. Solve -3*v + 4 = 3*u + 1, -2*u = -r*v + 5 for u.
0
Let l be 25/10*108/10. Suppose t + 2*t - l = 0. Suppose -14*u = 2*u - 4*u. Solve 5*x + 4 = b - u*x, -5*x = 4*b + t for b.
-1
Suppose 0 = 110*c - 113*c - 4*b + 36, -c + 2*b - 8 = 0. Suppose -4*m = 15 + 9. Let y be (-3)/(m/(-4))*-1. Solve -2 = -o - y*x, -4*x + 28 = -c*o - 0*x for o.
-4
Let q be (4 - 7) + 1 + 2 + 4. Suppose -k = -q*k + k. Solve -3*t + 5*t - 4*p - 26 = k, -p = 5 for t.
3
Let m = -11 + 40. Let w = m - 24. Suppose 0*k + 10 = w*k. Solve k*t + 25 = -3*h, -3*h - t = -4*t for h.
-5
Suppose -4*r = 3*t - 27, -14*t + 600 = 3*r + 521. Solve -2*q + g - 14 = -0, -r*g + 18 = 2*q for q.
-3
Let y = 68 - 66. Let f = 51 - 52. Let l be -24*((-6)/4 - f). Solve -l = -3*s, -3*m - 6 = y*s + 1 for m.
-5
Let s = 74 - 63. Let b(c) = 9 - s + 8 - c. Let k be b(6). Solve 2*i = -2*f + 4*f - 6, k = f + i + 3 for f.
0
Suppose 0 = 6*c - 3*c - 120. Suppose -4 = c*f - 42*f. Suppose -v - 3*u + 2 = 0, 3*u + 6 = v + f*u. Solve -3*g = -9, 15 = -m - 0*m + v*g for m.
0
Let u be (-14)/(-5) + (102/(-15) - -7). Let h(s) = -s**3 - 3*s**2 - s. Let c be h(-3). Let w = c + 0. Solve 3*i + 23 = -2*i + w*z, u*i = -5*z - 7 for i.
-4
Suppose 15*x - 5*q - 173 = 12*x, 5*q = x - 51. Suppose 6*w + 13 = x. Solve 4*p + w = 0, -s - 7 = 4*p + 2 for s.
-1
Let h = -56 - -60. Suppose -c - 17 = -h*a, -a + 8 = -4*c - 0. Let w = 6 - a. Solve w*u = d - 1, -5*u - 4 = -2*d + d for d.
-1
Suppose -4020 = -74*f - 328*f. Solve -5*y - 7 = b - f*y, 5*b - y - 13 = 0 for b.
3
Suppose 31 = 16*j - 11*j + r, -r - 14 = -4*j. Solve -q - 5 = d, q + 36 = -j*d + 19 for d.
-3
Let i be (-7)/14*392/1. Let j be (-6)/(-10) + i/10 + 4. Let x(v) = -v - 12. Let q be x(j). Solve 4*k = 4*p - 8, 4*k - 2*k + 14 = -q*p for p.
-2
Let x be (-436)/(-28) - (-8)/(-14). Let c be 156/x + 9/15. Solve -4*m = 4*w - 5*w + 8, 3*m - 5*w - c = 0 for m.
-3
Suppose -f = -5*f + o - 24, 4*f + 3*o + 24 = 0. Let x be 230/45 + f/54. Solve 4*z + 12 = -x*k, -2*z + 5*k + 3 = 9 for z.
-3
Let m be (-1124)/14 - (-22)/77. Let h = m - -83. Solve -5*l + l = -h*o + 15, 0 = 5*o - l - 25 for o.
5
Let p(q) = q**2 - 50*q + 3. Let b be p(0). Solve -2*y - b*l = -5, -5*y = -6*l + 4*l - 3 for y.
1
Let r = 57 - 59. Let l be 32/(-18) - r - 994/(-63). Suppose -2*p + 4*i - l = 0, 0*p + i = 4*p + 4. Solve -4*c - c - 4*d = -6, p = 5*d + 5 for c.
2
Let d(p) = p**2 - p - 2. Let w be d(2). Let n(y) = -3*y - 5*y - 17 + w*y. Let t be n(-3). Solve -3*g - t = -l, -4*l - 4 = -4*g - 0 for g.
-4
Let a(f) = -f**3 - 7*f**2 + 8*f + 4. Let c be a(-8). Let o be (-355)/(-25)*c - (-2)/10. Let y = -37 + o. Solve -5*p = -3*b + 6*b - 20, -5*b - y = -5*p for p.
4
Let v = 7057 + -7055. Solve -4*a - 2*l + 30 = 0, -5*a + 10*a - 15 = v*l for a.
5
Let q be ((20/(-6))/(-2))/((-70)/(-84)). Suppose -5*b = q*n - 63, -b + 5*b + 5*n - 47 = 0. Solve s + x = -x - b, 4 = -x for s.
-5
Suppose -235*s - 68*s + 1216 = s. Solve 4*x = -3*f + 12, 121*f - 117*f = s*x - 12 for x.
3
Let y be (9/6)/(((-210)/(-28))/15). Solve -4*l - 32 = -4*h, 0 = y*h + 93*l - 94*l - 14 for h.
3
Let y be 80/24 + ((-11)/(-3) - 3). Let r be (-1 + 3)*(-6)/4. Let v be 6 + r*6/(-9). Solve -d - y = i - 0, d + v = 3*i for i.
1
Let c be 1 - (-3)/(-4) - (-33)/12. Suppose -c*l = 106 - 130. Solve -5*a = i - l, 2*i + 14 = 3*a - 2*i for a.
2
Let a(l) = -4*l**3 + 31*l**2 - 40*l - 10. Let g be a(6). Solve 2*d + g*j = -4, 5*d - 18 = 2*d + 3*j for d.
2
Suppose -45*r + 52*r = 238. Suppose -r = -22*s + 32. Solve s*b = 3*z - 5 - 13, 0 = -b - 5*z + 18 for b.
-2
Let q be (0/(12/(-12))*1)/(-1 + 0). Solve q = -w - 2*c + 1, -w + 0*c = -c - 7 for w.
5
Let b(c) = c**2 - 8*c - 5. Let a be b(9). Let q = -68 + 140. Let j = q + -49. Solve -5*o + 3*n - 10 = 0, a*o + 4 - j = -3*n for o.
1
Let u be 8/2 + -11 + -8 + 18. Solve u*b = 5*s - 40, -23 = 2*s + 5*b - 8 for s.
5
Suppose -4*i + g + 561 = 0, g + 4*g + 285 = 2*i. Suppose 16*v - 11*v = -i. Let x = v + 31. Solve 4*f - x = -c, 0*f + 16 = -4*c - 2*f for c.
-5
Suppose 24*o - 33*o - g = -24, -2*o = 5*g - 34. Suppose 2*x + 1 = -1. Let i be (2/2)/((-1)/x). Solve 2*m + 2 = 2*c, 0 = -o*m - 0*c + c - i for m.
0
Suppose 0 = -3*m + h + 2852, -2*m = -4*h + 992 - 2900. Solve 4*k + 13 = -b, 0 = k - 3*b + m - 937 for k.
-4
Let l = -55 + 59. Suppose 0 = l*f + 12, 3*y - 2*y - 17 = -3*f. Suppose 7*m - 9 - y = 0. Solve -m*k + 8 + 5 = 3*b, 2*k = b + 14 for b.
-4
Let y(u) be the first derivative of -5*u**2/2 - 8*u + 32. Let k = 15 + -21. Let w be y(k). Solve 5*d = -25, -v = -0*v - 5*d - w for v.
-3
Let s = -198 - -334. Let a = s - 132. Solve -2*j - j - a*q - 11 = 0, j - 13 = 2*q for j.
3
Let a = 180 - 122. Suppose j + j = a. Let q = j + -24. Solve -v - 23 = -5*i, 2*i - 6 = q*v - 3*v for i.
5
Let o(s) = 2*s**3 + 13*s**2 + 35*s + 106. Let h be o(-5). Solve 3*y - 2*r + 50 - 33 = 0, r = y + h for y.
-5
Suppose 0 = 6*a - 3 - 27. Suppose 0 = 5*y - 14 - 1. Let r be (y/(-2))/(30/(-100)). Solve -2*w = -k - 0*k - a, -r*w = -5*k - 25 for k.
-5
Let t(c) = -61*c + 4. Let q be t(0). Suppose -8 = -2*g - 4. Solve -2 = -2*h - x, -q*h = -h - x + g for h.
0
Let l(a) = a**3 - 15*a**2 + 37*a - 8. Suppose 9*z = -23 + 131. Let q be l(z). Solve x + 2*p + 2 + 5 = 0, -q*p - 20 = 0 for x.