0 = -2*m. Let k = m - t. Solve 2*n = 3*w - 0 + k, -w = -5*n + 9 for w.
1
Let h(f) = 13*f**3 + 5*f**3 - 17*f**3 - 36 + 30*f**2 + 27*f - 20. Let x be h(-29). Solve 2*j + 12 = 5*j - 3*u, -5*j - 8 = x*u for j.
0
Let x(l) = -3*l**2 + 17*l - 60. Let g be x(3). Let r(y) = y**2 + 37*y + 39. Let u be r(g). Solve -3*n - n + h - 5 = 0, u*n + h - 5 = 0 for n.
0
Suppose 47*l + 39 = 174 + 53. Solve 0 = 5*c - l*f - 13, -2*c + 5*f = -4*c - 8 for c.
1
Let q = 16 - 30. Suppose 0 = 3*k + 2*j - j - 59, -k = -5*j + 7. Let i = k + q. Solve 3*z = 4*a - 10, -12 = i*z - 5*a - 0*a for z.
2
Suppose -1707 = c - 1735. Solve -31*u + 18 = -c*u - 3*g, 2*g + 18 = 5*u for u.
2
Let q = 1061 - 1058. Solve q*u = -f + 1, -3*f - 29 = -3*u - 20 for f.
-2
Suppose 4*y - 1901 = 151. Let z = y + -511. Solve 0*u = -4*s + u - 21, 2*s = -z*u - 8 for s.
-5
Let b(k) = -k**3 + 4*k**2 - 5*k + 25. Let j be b(3). Suppose 23 = 4*v + j. Solve x = 2*t + 2*x - 3, 3*t + 5*x - v = 0 for t.
2
Let g(p) = 2*p**2 + 3*p - 1. Let d be g(-4). Suppose -169 + d = -6*y. Let o = 16 - 14. Solve 5*z = -y, 3*h - 14 = -z + o*z for h.
3
Let u be 0 - ((-81)/9 + 8 + -2). Solve -5*g + 8 = -u*f, -8*g + 6*g = 5*f + 3 for g.
1
Let l(f) = -f. Let i be l(-4). Suppose 17*w + 5490 = -44*w. Let u be 15/(w/(-24))*10/8. Solve -i*b + 13 = t, -2*b - 5 = u*t + 2 for t.
-3
Suppose 0 = -3*f + 2*i + 28, -35*f + 39*f - 3*i = 40. Solve -5 + 1 = -z + o, -5*o + 43 = f*z for z.
7
Let t(q) = q + 14. Let g be t(-9). Suppose -141 = g*o - 51. Let v = 43 + o. Solve 0 = 5*h - i + 3*i + 25, 5*h = -i - v for h.
-5
Suppose -1345 = -126*x - 967. Solve -4*n + 28 = 4*l, -2*l - 34 = -x*n - 23 for n.
5
Let g = -70 + 83. Suppose -4*u + 1 = 5*c - g, 5*c - 5 = 5*u. Solve 4*w + 3*r = 23, 0 = w + c*w + r - 11 for w.
2
Let k = -210 + 212. Let t be (-1)/2*k/(-1). Solve 0 = -3*g + 4*w + 6, -t = -4*g + 6*w - 3*w for g.
-2
Let d = -12764 - -12766. Solve 2*j - d*r = 7*j + 40, -j - 2*r = 16 for j.
-6
Let i = -226 + 327. Suppose -i = 4*t - 109. Solve -n = l + 1, -l = -n + l + t for n.
0
Suppose 0 = 9*a - 5*a + 328. Let o = 85 + a. Suppose o*w - 20 = -2*w. Solve -4*t - 2*d - w = 0, t = 6*t - 4*d + 18 for t.
-2
Let k(f) = -6*f**3 + f**2 - 6*f - 8. Let a be k(-1). Solve -3*b - 6 - 18 = -a*x, -b - 9 = -2*x for b.
-3
Let w be 1/(-2*(-3)/(-42)). Let g be (w - 1)*(-6)/8. Let z be g/(-1)*(-7)/21. Solve -l - 9 = 4*j - 9*j, -z*j = -3*l - 14 for j.
1
Suppose 0 = -j - 24*a + 23*a + 26, -j + 4*a = -1. Suppose -4*y = 3*c - 15, -4*c - j*y + 23*y = -20. Solve x - c*g - 11 = 0, 14 = 3*x + x - 5*g for x.
1
Let k be 1 + 4/(-18) + 20/9. Let l = -76 - -89. Suppose z - 3*x = 7, 3*x = -4*z - 0*x + l. Solve 4*b - 16 = -0*b, 4*f + k*b - z = 0 for f.
-2
Let o(l) = 389*l + 1563. Let s be o(-4). Solve 2*p - 10 = -2*f, 3*p + s = 3*f - 2 for p.
1
Let c(x) = 4*x + 20. Let i be c(-4). Suppose -2 = i*p - 3*h + 4, -2*p + 3*h = 0. Let d be 25/7 + p/(-7). Solve d*r - 10 = -r, -5*v + 22 = r for v.
4
Suppose 30 = -5*n + 105. Let g be (-50)/n*(-54)/5. Suppose g = t + 2*t. Solve -4*b + t = -0*b, 0 = 3*i + b + 3 for i.
-2
Let w be (-24939)/(-117) - 10/65. Suppose 2*p + 133 - w = 0. Solve -o = o + 2*n, -3*n = -5*o + p for o.
5
Suppose 2*a = -4*t + 34, a - 3*t = -142 + 139. Solve -2*p = -4*g + 26, -5*p = g + a + 1 for g.
5
Suppose 0 = y + 2*r - 5*r + 206, 3*y + 642 = r. Let v = -213 - y. Solve v*x = -5*t - 5, 2*t + 11 = -3*x - 2*t for x.
-5
Let d(g) = 19*g - 776. Let j be d(41). Solve 5 = -5*v, v = j*y - 2*y + 2 for y.
-3
Let v(l) = 11*l + 9*l + 22 - l**3 - 18*l**2 + 15*l**2 - 6*l. Let h be v(-5). Solve 2*d = -5*z - 28, -h*d + 4*z = d - 4 for d.
-4
Let j(w) = 5*w**2 - 28*w + 11. Let y be j(7). Suppose 304*o + y = 310*o. Solve -2*r + o = -2*n, -5*n - 17 = -5*r + 2*r for r.
4
Let q(t) = t**2 + 7*t - 8. Suppose 0 = 2*u - 5*u - 24. Let z be q(u). Suppose z = -6*m + 93 + 69. Solve -n = 4*w + 7, 0*w + 3*n - m = 4*w for w.
-3
Suppose 0 = 3*j + 2*d - 0*d - 21, 3*j - 6 = 3*d. Suppose 0 = 5*y + 11*l - 13*l - 12, 3*l + 8 = j*y. Solve -5*i - y = -3*i, 4*q = 2*i - 4 for q.
-2
Let b be -5 + 7 + 2 + 575. Let r = -574 + b. Solve -5*j + 0*h - r*h + 25 = 0, -2*h - 18 = -5*j for j.
4
Suppose w - 36 = -326*u + 325*u, 44 = 2*u - 2*w. Solve u*z - 7 = 3*j + 27*z, 0 = j + 4*z - 7 for j.
-1
Let o(u) = -5*u - 11. Let s(p) = -3*p - 6. Let w(a) = 4*o(a) - 7*s(a). Let z = -425 + 433. Let i be w(z). Solve -i = -2*q + 2*f, 2*f + 8 = q + 2*q for q.
2
Let w(s) = 5*s**2 - 44*s - 6. Let a be w(9). Let y be (-1 - (-11)/a)*(-141)/(-94). Solve -4*g + 8*x = 4*x + y, 3*g + 4*x - 25 = 0 for g.
3
Suppose 2*m + 0*d = 4*d + 4, 0 = -3*m - 5*d + 6. Suppose 6*a + 8 = 2*a, m*c - 2 = a. Solve 0*w + 4*l + 12 = w, -3*w - 4*l - 28 = c for w.
-4
Let v = 223 + -174. Suppose -12*o - 1 + v = 0. Solve -4*c + 5 = 3*i, -4*c = -o*i + 5 + 11 for c.
-1
Let c(m) = m + 1. Let s be c(2). Let a(x) = 5234*x + 5234. Let k be a(-1). Let j = 2 - -1. Solve k = -s*i + 3*l + j, 3*l + 8 = l for i.
-3
Let x(b) = 4*b**2 + 68*b + 3. Let g be 1/(3*(-5)/255). Let z be x(g). Solve z*h = -4*s + s + 18, 5*h = -4*s + 28 for s.
2
Let m be (1 - 6) + 1*5. Suppose -4*k = 4*o - m*o - 16, -4*k = -3*o + 5. Solve -2*g + 4*q - 10 = 0, -q + 6 - 1 = -o*g for g.
-1
Let l = 1253 + -1249. Solve -3*c - 21*j = -23*j + 21, -5*c - l*j = 13 for c.
-5
Suppose -13*w - 13*w - 2730 = 0. Let l = 122 + w. Solve l = 4*k + 2*c + 3, -c = 3 for k.
5
Suppose 5*l = 2*n - 57, -75 = -0*n - 5*n - l. Suppose 9 = 2*g + f, 0 = g + 4*f - 2 - 6. Solve g*p - 5*s + 8 = -8, 0 = 4*p - 3*s + n for p.
-4
Let n be (-22)/(-5) - ((-12)/20 - -1). Suppose 0 = -a - 2*w + 34, n*w - w + 24 = a. Solve 5*y + a = 3*s, 24 = 4*s + 4 for y.
-3
Let m(k) = -2*k**3 - k**2 - k - 2. Let j = 92 + -94. Let w be m(j). Suppose -w = -t - 9. Solve 0*v - 2 = -u - v, -4*v = -t*u - 8 for u.
0
Suppose -302 = 2*m + 144. Let l = -220 - m. Solve -2*b - 5*i = -19, -b - l = -2*i + 1 for b.
2
Let d = 1 + 19. Let h be 155/d + 1/4. Suppose -5*o + k + 6 = -h, -k - 2 = o. Solve 10 = -o*p + 5*w, 0 = 4*p - 3*w + 9 + 11 for p.
-5
Suppose 8 + 4 = 6*j. Let f be 2/(j/(-3)*(-12)/16). Suppose 58 = f*s + 3*v, 2*s + 10 = 3*v + 48. Solve 0 = 3*y - i - i + 8, -4*i = 3*y - s for y.
0
Let l be 1/4*4*(6 - (7 + -4)). Solve 4*k = l*k + 5*a + 25, -4*k = -5*a - 40 for k.
5
Suppose -130 = 149*i - 159*i. Solve 0 = d - 8*s + 4*s - i, -2*s - 4 = 0 for d.
5
Suppose 3 = w + 2*p, -3*w + 14 - 5 = 4*p. Suppose w*j - 44 = 31. Suppose 0 = -21*y + j*y - 48. Solve f + 3 + 6 = 5*t, 0 = -4*t - 4*f + y for t.
2
Let z be (3/(-6))/(2/(-16)). Suppose 16*x - 52 = -z. Solve 9 = x*s, -6*s = -3*m - 2*s - 6 for m.
2
Let n be (19/3)/1 - (-4)/6. Let o(g) = -g**3 - 5*g**2 - 8*g - 8. Let d be o(-5). Solve 5*x + 20 = -t, -n*x - d = -3*x + 4*t for x.
-3
Let p = -22552 + 22588. Solve p - 48 = 2*h - 5*b, -h - 11 = -5*b for h.
-1
Let h(b) = 9*b**3 - 4*b**2 - 3*b + 17. Let c be h(-4). Let q = -609 - c. Solve 5*i - q*g = -g + 19, -4*i - 8 = 5*g for i.
3
Let i = -735587 + 735592. Suppose 0 = 5*g - 3*g + 14. Let u = g - -12. Solve n + 2 = -q + 3, 2*q + i*n - u = 0 for q.
0
Let a(q) = q**2 - 4*q - 21. Let k be a(7). Suppose k*r + 15*r + 15 = 0. Let h(d) = 4*d**2. Let i be h(r). Solve 4*s + 16 = 0, -2*s + 3*s = -i*o - 24 for o.
-5
Let i be (-11 - -1)*((-48)/45 + (-10)/(-15)). Solve -4*t - 5*w + i + 2 = 0, 5*w = 3*t + 13 for t.
-1
Let v = -273 + 278. Let k be -2 + 4 - v - (1 - 21). Solve -5*t = -i - k - 6, 7 = -4*i + 3*t for i.
2
Suppose 3*l = 5*r - 105, 0 = 4*l + 31 - 11. Let i be 70/15 - 12/r. Solve -2*o = -p - 1, -4*o + 3*o - 4 = i*p for p.
-1
Suppose -4*a + 5*a + 5*u - 8 = 0, 5*a = -u + 16. Suppose -3*l + 15 = -0*l. Solve -4 = d - 6, 0 = a*x + d - l for x.
1
Suppose -19*n - 39 = -229. Let l(p) = 2*p - 16. Let a be l(n). Solve 0 = a*g, -o - 5*g - 4 + 2 = 0 for o.
-2
Let b(c) = 2*c**2 + 37*c - 152. Let q be b(-22). Solve -5*x - 2 = -4*p + 3, -p = -2*x - q for x.
-1
Suppose 0*n - 4*n = -12, -4*d - 4*n + 32 = 0. Suppose 3*b - 9 = -2*a + 37, -5 = -a + 3*b. Solve -f + d*t = a, t = 3*t - 8 for f.
3
Let j = 781 + -778. Solve 0 = -j*b - 9, -5*n + 13*b - 9*b = -7 for n.
-1
Let o = 96 - 93. Suppose o*d = 18*d. Let v = 26 + -20. Solve -m = -x - 3*x + 7, -3*x + v = d for m.
1
Let b(f) = -4*f + 10. Let a = -42 + 44. Let r be b(a). Solve -r*q - 6 = -u - 4*u, -5*u = -10 for q.
2
Suppose 9*l + 16*l = -200. Let c be 5/(-4) - (18/l + -5). L