0, -j + m = 0 for t.
4
Let z = -985 - -995. Solve 2*h = 3*t + z, -4*t - 5 = -4*h + 15 for h.
5
Let c = 13101 + -13099. Solve 5*g - 4*k - 13 = 0, -11 - 15 = -4*g - c*k for g.
5
Let t = 37 - 32. Suppose 0 = -3*k - 5*b + 76, -t*k + 89 = 4*b - 16. Solve -2*m = -g - 8, g + 0*m + 3*m - k = 0 for g.
2
Suppose 0 = -2*z + 665*v - 662*v - 5, -2*z = -4*v + 8. Solve -o + 3*w = -4, 5 + 3 = z*o + 3*w for o.
4
Let b be 2/(-15) + (-5246)/(-645). Suppose 0 = -b*o - o + 27. Solve o*q = 2*q + 4*u + 7, -2*q = 4*u + 10 for q.
-1
Suppose 5*k + 0*y - 325 = y, -3*k - 3*y = -213. Let l = 68 - k. Solve -3*s = -4*a - 2*s - 14, 0 = 2*a - 3*s + l for a.
-4
Let u be (4473/(-1988))/(6/(-8)). Solve -2*j + 9 = 3*x - 4*x, u*x + 2 = j for j.
5
Suppose 4*u = 7 + 1. Suppose 0 = -3*y + s + 6, 5*y + 9 = 4*s + 19. Solve u*r - 5*c - 22 = -0*r, y*r + 3*c + 10 = 0 for r.
1
Let g(t) = -t**3 + 24*t**2 + 27*t - 46. Let x be g(25). Suppose 0*i + 15 = -3*i, -x*k = -5*i - 37. Solve -4*h - 5 = -k*j, 4*h - 2*j + 0 = -6 for h.
-2
Suppose -5*o = 15*t - 180, 4*t = 2*t - 3*o + 10. Solve -2*x = -5*b - 17, -t*x + 5*b = -15*x - 14 for x.
1
Let q be 1/1 - -1*1. Let w be 3*(-9 - -8)*680/(-6). Suppose 0 = i - w + 339. Solve 1 = -d + f, -q*f + 1 = 3*d - i for d.
0
Let d(w) = -2*w**3 + 3*w**2 + 84*w + 80. Let o be d(-1). Solve 4*b + o - 17 = -2*i, -4*i + 4*b = 4 for i.
2
Suppose -x + 4*f - 18 = 8*f, -18 = 3*f. Solve 4*w - 8 = 2*s, 0 = s - x + 2 for w.
4
Let u be (-12)/102 + 1018/(-17). Let z = u + 66. Suppose -z*b + 3 = 3. Solve 0 = 3*p - y + 15, b = -5*p - 2*y - 21 + 7 for p.
-4
Suppose -8*s + 273 = 5*s. Suppose -2*a = 5*j - 0*j - s, 2*j = 2*a. Solve j*r + 3*y = 0, -4*r - 5 = -y - 0*y for r.
-1
Let v be (-6)/7*31/(1023/(-308)) + -8. Let f = 23 + -19. Solve 13 = -3*c - f*o, 6*c - 2*c + o = v for c.
1
Suppose 4*h - 2393 = -5*q, h + 993 - 41 = 2*q. Let y = q + -462. Solve 3*m + 5*k - y = 4*k, 0 = 5*k for m.
5
Suppose -2*l = -5*r + 248, 10*l - 5*l = 2*r - 662. Let g = l - -134. Solve -2*q = -n + 4, -q = 3*n + 2 - g for n.
0
Let x = -11849 + 11854. Let i be 3/(-12) - (-2)/8. Solve i = -a + 2*v + 1, 0 = x*a + 6*v - 3*v + 34 for a.
-5
Let d = 392 + -279. Let n = -111 + d. Solve 0 = -3*k + 6, 4*k + 12 = 6*j - n*j for j.
5
Let i(u) = -2*u**2 - 15*u + 277. Let a be i(-16). Solve -41*z + 43*z + 22 = -4*f, -a*z - 5*f - 30 = 0 for z.
-1
Let n(j) = 5*j**2 - j + 4. Let l = 185 - 185. Let z be n(l). Solve -2*c + 4*t - 24 = 0, -12 = -c - z*t - 0*t for c.
-4
Let z be (-195)/(-60) + (-80)/64. Solve 0 = -3*b + 2*l - 0*l + 17, 2 = -z*l for b.
5
Let q = 1191 - 547. Let f = q - 640. Solve 3*d - f = -4*n, 0 = 4*n - 4*d - 1 - 3 for n.
1
Let c be (5/2)/((25/10)/5). Suppose c = 14*x - 9*x. Solve 2*z + x + 9 = 5*h, 3*z = -5*h - 15 for z.
-5
Suppose 30700*q - 30391*q - 3708 = 0. Let d(c) = -c**2 + 4*c + 2. Let u be d(4). Solve r + 3*j = -2*r - q, u = 2*j for r.
-5
Let y = -12219 + 12223. Solve 2*u = -3*r - 0 + 15, -5 = -r + y*u for r.
5
Let j(i) = 2*i**2 + 7*i - 1. Let n be j(-4). Suppose -n*b = -4*b - 45. Let l = -39 - b. Solve -4*u = -2*m + 4*m - l, m = -5*u + 12 for m.
-3
Suppose -9*x + 8*x - 3*t + 187 = 0, 5*t + 187 = x. Let y = -184 + x. Solve -5*z + 3*r - 10 = r, -y*r = -2*z - 4 for z.
-2
Let p be ((-417)/(-12))/((-1)/12*3). Let d = p + 145. Solve -5*u = 0, -3*q + d + 9 = u for q.
5
Suppose 4*o + 30 = -3*d, 5*o - d = -6*d - 40. Let j(k) = k**3 + 5*k**2 - 6*k + 2. Let y be j(o). Solve 4*x = -y*r - 2, 0*x - 11 = -2*x + 3*r for x.
1
Suppose 0 = -11*j - 2 + 90. Let t(n) = -5*n**2 + 39*n + 8. Let z be t(j). Solve -5*o = -4*g + 10, 2*o - 4*g + 0*g + 4 = z for o.
-2
Let u = -29914 + 29931. Solve 0 = 5*f - 4*d - 16, -4*f + 2*d - 9 = -u for f.
0
Let k = -9169 + 9193. Solve 0 = 4*q + 2*z + 2, -5*q - 25 = -k*z + 19*z for q.
-2
Let p(c) = -5*c**3 - c**2 + 2*c + 8. Let w = -128 - -126. Let l be p(w). Let j be (0 + 32/10)*l/16. Solve -3*i - i + 5*d - 17 = 0, -3*i = d + j for i.
-3
Let o = 129 - 45. Let g = o + -90. Let z be g/9 - (-10)/15. Solve z = -m - u + 2*u - 1, -5*u + 35 = 5*m for m.
3
Let f(w) = 15*w + 47. Let k(l) = 2*l. Let p(o) = f(o) - 5*k(o). Let g be p(-9). Suppose -73 = -g*d - 63. Solve -2*y = -4*v + 20, -d*v + 3*y + 25 = -2*y for v.
5
Let s(k) = -k**3 + 13*k**2 - 7*k - 56. Let n be s(12). Let b be -6*(-1 + n/3) - -6. Solve b*p + 11 = -x, -x - p = -2*p - 9 for x.
5
Let b(s) = -s**3 - 2*s**2 + 4*s + 16. Let d = -317 + 317. Let c be b(d). Solve 4 = 2*u, -3*f - 2*u + c = -0*f for f.
4
Let c = -374 + 372. Suppose 929 = 5*u + 29. Let n be c/17 + u/85. Solve 2 = 4*z - 0*y + n*y, 1 = z + y for z.
0
Let s = -421 + 752. Let t = -205 + s. Let q be (72/14)/(27/t). Solve 4*b - 5*h = 33, 0*b - q = -2*b + 4*h for b.
2
Let o = -213 - -244. Suppose 16*n - o = 1. Solve h + 2 - 11 = -4*z, -4*h + 8 = n*z for h.
1
Let t(a) = a**3 + 15*a**2 - 25*a - 139. Let k be t(-16). Solve -x = k*p + 22, -4*x - 12 = -8*x for p.
-5
Let u(w) = 4*w - 14. Let s be ((-4)/(-2))/(12/30). Let r be u(s). Suppose -8*g = -5*g - r. Solve g*h = 3*b + 4*h + 5, 5*h = 2*b - 22 for b.
1
Suppose -2 = 2*q, 4*i - 35*q - 2483 = -36*q. Let y be (-4)/68 + i/153. Solve d - 20 = y*z, -4*d - z + 19 = 7 for d.
4
Let j be (-1)/((4 - 6)/(258/3)). Suppose 3*n + j = 5*f, 0 = 3*f + 5*n - 26 + 7. Solve x - 4*s = -f, x - s = 3 - 2 for x.
4
Suppose 0 = 2*t - 0*t - 8. Let j be 847/21 - t/(-6). Suppose -9*n - 5 = -j. Solve -n*c - c + 2 = -x, -c = -4*x - 8 for c.
0
Suppose 3*u + 4*v + 0*v = -1, -5*v = 5*u. Let f be u/(-4)*24/(-18)*-57. Let h = 23 + f. Solve -4*r + 4*i = -16, -5*r - 2*i - i - h = 0 for r.
1
Let f = -1541 - -1561. Solve 0 = d + 1, 5*d + f = -0*h - 5*h for h.
-3
Suppose -77 + 65 = -6*r. Let o(j) = j**2 - 9*j - 10. Let q be o(10). Solve -a = 2*f - q*f - 10, -r*f = -a - 10 for a.
0
Suppose 2*n + 525 = -5*n. Let d be (-4592)/80 + 3/(-5). Let l = d - n. Solve 4*t = 4*a - 4, 5*a = 3*a - 3*t + l for a.
4
Let n be (16/12)/((-6)/198). Let p = n + 46. Suppose p*q = -9 + 15. Solve -2*o - q*o = c - 23, -3*o - c + 13 = 0 for o.
5
Let v be 2/(-4)*-90 - -6. Suppose -57 = -9*y + v. Solve -2*j = -4 + y, -5*g - 3 = 2*j for g.
1
Let v = 283 - 276. Suppose -5*z - 21 = -2*q, -12 = -v*q + 4*q + z. Let h be -1 + (3 - (1 + -2)). Solve h*b - 5*y = -25, -2*b + q*y - 16 + 0 = 0 for b.
-5
Let r be 80/24*(-6)/(-4). Solve 0 = r*h - i - 6 - 6, -3 = -i for h.
3
Let p(g) = g**3 - 7*g**2 + 27*g - 82. Let x be p(5). Solve -2*k = -2*y - 8, x*y + 0*y = -5*k + 12 for k.
3
Let t = -258 + 262. Solve -t*h - 4*n = -9*n - 27, 2*h - 4*n - 18 = 0 for h.
3
Suppose 5*t - 2*v - 1 = 4, -4*t = 5*v - 37. Let c(f) = -16*f**2 - 1310*f - 1134. Let i be c(-81). Solve -d = y - 6, i = -t*d + 3*y - y + 3 for d.
3
Let w = -168 - -163. Let t be (w + 3)/(4/(-6)). Solve 5*b + 4*x - t = 28, b = 3*x - 9 for b.
3
Let m(f) = 3*f**3 + 15*f**2 + 29*f + 145. Let z be m(-5). Solve -2*k - 3*r = -13, z = -r - 2 + 7 for k.
-1
Let p = -34 - -108. Let x = -72 + p. Solve x*i = 5*c - 4, -5*c + i + 2 = -0*i for c.
0
Let g = 6235 + -6234. Solve -g - 4 = -3*m + z, 5*m - 5*z = 15 for m.
1
Let x(t) = -t**3 - 3*t**2 + 3*t. Suppose 9*d = 23 + 94. Suppose -2*u = -5 + d. Let s be x(u). Solve -3*g = s*j + 12, 4*j + 12 = 2*g - 0 for g.
0
Suppose -131*i = -125*i - 6. Let x be (i - -4)/((9 - -2)/11). Solve 0 = -0*p - 4*p - x*n - 22, 4*n = -8 for p.
-3
Suppose 5*w + 32 = 5*m - 3, 2*w = -m - 2. Suppose 7*t - 3*t = m*a - 20, -10 = 2*t. Suppose 2*c = -2*c. Solve 2 = 4*b - c*b + 2*r, a = b - 5*r - 28 for b.
3
Let p = 869 + -1388. Let n = -516 - p. Solve 0 = -n*o - 5*x + 1, -3*o + 2*x = -2*x - 10 for o.
2
Let u(k) = 16 + 16 - 39 - k. Let c be u(-5). Let b be (11 + -33)/(c + 0). Solve -b = z - 3*j, -2*z - 2*j + 2 = -16 for z.
4
Suppose -55 = -12*q + 5. Let f(i) = 2*i - 5. Let z be f(q). Suppose y - z*y - 5*k + 8 = 0, -4 = -2*y - k. Solve -17 = 2*b + 5*o, y*b + 2 = -3*o - 9 for b.
-1
Suppose -t - 2*s + 0*s - 140 = 0, 5*s - 10 = 0. Let w = -141 - t. Suppose -w*k = -q - 40, -4*q + 65 = 5*k - 2*k. Solve -5*y - 20 = -m, -4*y - k - 1 = -m for y.
-4
Suppose 4*h + 16 = 0, h = -147*u + 148*u - 7. Suppose 3*f - y - 11 = 2*f, 8 = -4*y. Solve 0*v + u*g = 3*v - f, 5*v + g = 15 for v.
3
Let u = -9 - -11. Let w(i) = 2541*i - 2532. Let n be w(1). Let p = 6 - 3. Solve -m - u*m + x + 9 = 0, 0 = -p*x + n for m.
4
Suppose 0 = 2*v + 46 + 98. Let a = v + 74. Suppose -z + 2 = 0, 0 = -3*n + 5*z -