 = -2*n. Suppose -r*z - z + 20 = 0. Solve -t = -2*a - 10, 2*a + 10 = z*t - 12 for a.
-3
Let z be 4 + 13 + (47 - 33). Solve -h + 8 = -5*i, -h + z = 5*i + 33 for h.
3
Let b(a) = 37*a**3 + 2*a**2 - 6*a + 6. Let p be b(2). Let v = 300 - p. Solve -2*f - 4*h = 4, 0*f - v*h + 22 = -5*f for f.
-4
Suppose -6 = 2*t + 5*v, 8 = -t - 0*v - 5*v. Solve -7 = 5*m - t*g + 3*g, 3*m + 4*g - 6 = 0 for m.
-2
Suppose -4*i + 5*i - 5 = 0. Let b = -224 - -234. Suppose -b*h + i*h = -25. Solve -z - 2*g + h = 0, g = 3*z - 0*g + 6 for z.
-1
Let p(a) = 5*a - 10. Let d be p(3). Suppose 0 = -0*w + 5*w - 85. Let k = 36 - w. Solve 3*u = -3*r - 6, 2*u + d*r + k = -0*u for u.
3
Suppose -17*p + 26 = -15*p + 4*a, -4*p + 4*a + 4 = 0. Solve 3*z - 4*h = 3, p*z = h - 5*h - 27 for z.
-3
Suppose -w - 22 = 2*j - 6*w, -3*j - 2*w = -5. Let a = j + 9. Suppose -5*m - 4*h = -a*h - 9, -4*h = -m - 11. Solve -d + m = 4*f - 2*f, 2*f - 2*d = -4 for f.
1
Let f(j) = -j + 5. Let w be f(5). Suppose -10*d = d + 10*d - 147. Solve 0 = -q - 5*p - 13, w = q - p - 4*p - d for q.
-3
Suppose 0 = -t - 5*q + 42, 3*t + 8 = 7*q - 20. Solve 5*b - 4*i = -t, -3*b + 178*i + 9 = 180*i for b.
1
Let b(c) = -2*c**2 + 23*c + 1767. Let f be b(36). Solve s - 5*w = -f*w - 1, 18 = 3*s + w for s.
5
Suppose 0*t - 7 = -t. Let h(y) = -2*y**2 + 16*y - 6. Let s be h(t). Suppose 4*g - 12 = g, g = -c + s. Solve 3*l - 1 = -4*i + 3, 2*i = -3*l - c for i.
4
Let y = 7916 + -7912. Solve 21*z - 24*z = 3*c + 15, -14 = y*z - 2*c for z.
-4
Let c = -30 + 18. Let l(v) = -4*v - 44. Let a be l(c). Suppose 0 = a*r - 23 + 3. Solve -3*f = -4*j - 0*f + r, -5*j + f + 20 = 0 for j.
5
Suppose 5*n + 63 = -3*x, -n = 3*n + 4*x + 44. Let s = -13 - n. Solve -s = -2*m, -1 = z - 5*m - 0 for z.
4
Let o(t) = 11*t**2 - 52*t - 10. Let l be o(5). Suppose 3*i - 25 = -5*n, 3*i = 5*n - 0 + l. Solve 2*k = -4*g + 20, -5*k + 22 - n = 0 for g.
3
Suppose -3*b - 2 = k, -5*k + 3*b = -0*k - 8. Solve 2*s - 3*s - f - k = 0, 2*f + 4 = -3*s for s.
-2
Suppose 0 = 3*f - 14 - 4. Let y = -2 + f. Solve 5*a = p + 11, y*a = 2*p + 2*a + 6 for p.
-1
Let b(w) = w**3 + 50*w**2 + 54*w + 249. Let t be b(-49). Solve 0 = -5*j - 79*f + 75*f + 36, -24 = -2*j - t*f for j.
4
Let g = -8071 - -8076. Suppose -2*i + 5*y - 3*y + 30 = 0, 0 = -i - y + 25. Solve 2*l + g*p = p + 14, -4*p + i = 4*l for l.
3
Let k be (-2)/(-7) - ((-1254)/42)/11. Suppose 0 = 3*c + k*s + 2*s + 14, 3*c + 3*s = -6. Solve z - 27 = -5*a, z + 3 = -a + c*a for z.
2
Let g = -6278 - -6284. Solve 14 = 5*b + 2*j, b - 3*j = 2 - g for b.
2
Let u(v) = -v**2 - 16*v - 36. Let c be u(-6). Solve -2*z - 4*h = -c, 4*z = 7*z + 4*h - 26 for z.
2
Let x = -9023 + 9036. Solve 15*g + 4 = x*g - w, -3*g - 6 = -5*w for g.
-2
Suppose 0 = 5*j - 2*x - 208, 0 = -183*j + 182*j + 2*x + 56. Solve z + w + 36 = j, 3*w = 2*z - 4 for z.
2
Suppose 4*z - 3*v - 108 = 0, -3*z - 3*v + 1468 = 1429. Solve q - 8 = -24*n + z*n, -5*n + 5*q = 0 for n.
2
Let f = 1148 - 1108. Let d(w) = 12*w - 1. Let l be d(1). Suppose -l*h = -h - f. Solve -2*p + 0 + 14 = 2*s, 0 = 2*p + h*s - 22 for p.
3
Let g = -6707 - -6707. Solve g*w + 2*w = 2*z + 10, 5*w = -2*z + 4 for z.
-3
Suppose -3*v + 90 = 3*n, 23 = n + 3*v - 1. Let d be ((-12)/n)/(18/(-99)). Solve -i = 2*b + 1, -16 = d*b - i - i for b.
-3
Let r(f) = -3*f + 30. Suppose 0 = 10*x - 7*x - 114. Suppose -2*z = -x + 22. Let o be r(z). Solve 4*h - 3*d = -8, -h + 4*h = -5*d - o for h.
-2
Let u = 727 + -725. Solve 3*x + 13 = -2*o, x - 1 = -u*o - 12 for x.
-1
Suppose -256*i - 22 = -256*i - 2*x, 0 = -4*i - 2*x + 30. Suppose 0 = 5*y + 3*b - 22, -y + 3*b = -4 - 4. Solve 0*f = -i*f + 4*c + 6, -c - 18 = y*f for f.
-3
Let u be (2/3)/((-18)/(-81)). Let c(g) = -1 - 6 - 5 - u*g - 17. Let m be c(-11). Solve 2*p = -4*i + 20, -m*i + 5*p + 10 = i for i.
4
Let a be 82/6 - (-3 + (-33)/(-9)). Suppose -3*y = -2*t + a, -2*t + 3*y - y = -10. Suppose -5*c = t*c - 28. Solve -4*j - w + 4*w = -9, -c*j + 3 = -w for j.
0
Suppose -5*l = -4*t + 6, -3*l = -2*t - l + 4. Suppose -4*h - 60 = -9*h. Let o = 13 - h. Solve m - p = -o, 2 = -3*m + t*p + 1 for m.
-3
Suppose -285 = 43*v - 62*v. Solve 0 = 3*t - v, -2*t - t = -4*f - 27 for f.
-3
Let g = -20316 - -20320. Solve -g*y - 37*j = -40*j - 1, j + 9 = -3*y for y.
-2
Let i(v) = -2*v**2 - 61*v + 45. Let x be i(-31). Let n be (x/4 - 3)/(3/96). Solve -z - 5*s = n, 5 = -5*z + 4*s + 41 for z.
4
Let v = 155 - 271. Let l = 118 + v. Solve -5*d - 16 = 3*b, -l*b + 4*d + 2 = b for b.
-2
Let x = 111 - 99. Suppose 0 = -3*u - 0 + x. Solve -9 = 5*b + 4*y, -2*b - 3*y = 2 - u for b.
-5
Suppose -24*r = 2871 - 3231. Solve -w = 4*v + 15, 2*v - 4*w - r = 3*v for v.
-3
Let v = -11464 + 11469. Solve 0 = -j - l - v, -2*l - 2 = -2*j - 0 for j.
-2
Let g(o) = 4*o**3 + 20*o**2 - 3*o - 13. Let p be g(-5). Solve -u = p*v + 14, 3*u - 25 = 3*v - 22 for v.
-5
Suppose -2*r + 27*r = 55 - 5. Solve -1 = c + k, 2 = -r*c + 3*k - 0 for c.
-1
Suppose 4*s = -3*j + 13 - 0, -j = -3*s - 13. Suppose y - 3*f - 17 = -j*f, -2*y = -2*f - 14. Solve 2*m + 8 = 0, n + 2*m + y = -0*m for n.
-1
Suppose 2*w - 40 = 5*q, -36*w + 34*w + 4*q = -32. Solve 2*j - 3*r - 1 = w, 31*r = -2*j + 35*r + 4 for j.
-4
Suppose -g + 7 = -i, -971 = -4*i + 3*g - 990. Suppose -a + 10 = -0*a - f, -2*a = 3*f. Solve 0 = 4*p, 0*p + a = -i*u - p for u.
-3
Suppose 561 = 189*t - 195. Solve 5*m = 5*b, -b - 1 - t = 0 for m.
-5
Let m(h) = 3*h**2 - 33*h - 129. Let g be m(24). Let w = 809 - g. Solve -w*n + 21 = 3*i, 0*n = -n + 3 for i.
5
Let h be 19/2 + (-5810)/(-664)*2/7. Solve 2*f = z - 3*f + h, 5*f - 10 = 0 for z.
-2
Let w be (-30)/4*4/(-6). Let c be 1 - (w + -3) - -5. Solve 0 = 2*v - c*q, q - 3*q = -4*v + 12 for v.
4
Let b(h) = -6*h**2 + 7*h + 4. Let j be b(-4). Let u = j - -134. Solve -4*q - 3 - 1 = -3*z, -4*z + q = -u for z.
4
Let f(r) = r**3 - 7*r**2 - 47*r - 7. Let q be f(-4). Solve -5*x - 17 = 3*p + 12, -3*p + x - q = 0 for p.
-3
Suppose -4*s - 3*i = 23, 13 = s - 3*i - 0. Let r be (-6)/((1/2)/(s/6)). Solve 4*f + 26 = 2*k, 6*f + 8 = r*f for k.
5
Let h be ((-8)/(-6))/(208/(-48) + 5). Suppose l = -3*w + 9, -3*w + 8*w + 10 = 0. Solve -h*n = 5*z + 19, -n + 3*z + l + 3 = 0 for n.
3
Let u be 2/6 + 2/(-6). Suppose 4*x - x + 9 = -m, 5 = -m - 2*x. Let s be ((-164)/41)/(2/m*-3). Solve 5*t + 25 = u, 0 = -y + s*t + 5 for y.
-5
Suppose 2*n - 3 - 7 = -2*q, -q = -n + 1. Solve 0 = q*f - 6*u + 2*u - 24, 0 = -f + u + 7 for f.
2
Suppose 26 = 8*v + 5*v. Let t be (3/3)/(v/24). Suppose 3*d = -4*w + d + 26, -4*d = -2*w - t. Solve -f = 3*r - 11, -f + 4*f - w*r = -32 for f.
-4
Let l = -137 - -147. Let y(q) = q**3 - 8*q**2 - 17*q - 25. Let h be y(l). Solve h*j + 14 = -2*r, -2*j + 3*r - 4 = 13 for j.
-4
Suppose 2*j = -j - 12, 3*n = j + 10. Suppose 5*h + 5*k = 35, -n*h - k + 3*k + 2 = 0. Solve 4*m + m - 4*t + 12 = 0, -4*m = h*t + 24 for m.
-4
Suppose -5*v - 2*f = -8, -4*v + 26*f = 27*f - 4. Solve 37*b + 24 = 42*b + 2*w, v = -3*b - 2*w + 12 for b.
6
Let x = -42 + 42. Suppose x = 4*i - 4*m - 36, 4*i - 2*i = -2*m + 2. Solve 0 = -2*b - 2*b + 5*y + 31, 0 = i*b + 2*y - 14 for b.
4
Suppose 64*g - 39 = 51*g. Suppose -35*q + 5 = -34*q. Solve -4*h - 5*t = -11, q*h = 8*h + 2*t - g for h.
-1
Let i be 77/(23 - (-702)/(-36)). Suppose 0 = -v + 2 + 3, -5*v = 4*j - 45. Solve k - 2*m = -4*k + i, k - m = j for k.
4
Let c(j) = 2*j**2 + 6 - 14*j - j**2 - 22 - 26 + 10. Let p be c(-2). Solve 2*t + 0*t + 2*f = 8, 4*f = p for t.
4
Let d(o) = o**2 - 23*o + 2. Suppose -124 = -5*v + 3*g, -4*g + 95 = 4*v - 5*g. Let s be d(v). Solve -2*t + 0 - 10 = 2*p, s*p - 5*t = 11 for p.
-2
Let v be -4 + (0 - 1 - 712/(-89)). Solve v*j - 26 = -5*y - 0, 2*j - 3*y = -8 for j.
2
Let j = 7499 - 7475. Solve h = -s - 6, 2*s - j + 22 = 5*h for h.
-2
Suppose 11 = -31*j + 135. Solve 2*k + f + 21 = -3*k, 5*k + 16 = j*f for k.
-4
Let r(a) = a**3 + 8*a**2 - a - 9. Let g be r(-8). Let l = g - 3. Let t be l/10 - (-176)/40. Solve -t*y - 2*m = -4, -2*y + 0*m = -2*m + 10 for y.
-1
Let c be 4*(2 - 1) + 27. Suppose 2*t + c = 27. Let l be (1 - (t + 3)) + 8/4. Solve 4*g = l*n - 4*n - 12, -5*g = 25 for n.
4
Let b be 4/(-10) - ((-159)/(-15) + -6). Let p be 0/(-1*(b - -7)). Solve -j - 4 = -d - 0, p = -4*j + 5*d - 15 for j.
-5
Suppose 2*i - i + 9 = 2*p, i = -4*p + 15. Let y(k) = p*k + 0*k - k + 9 - 4*k. Let t be y(6). Solve 4*b - 9 = t*u, -u - 4 = b - 1 for u.
-3
Let o be 0 + -16 - (-35 - 3). Solve o*t 