9, -q*z + 3*t - 15 = 0 for z.
-3
Suppose 2*v + 79 = -5*u, -134 - 39 = 4*v + 5*u. Let n = v + 47. Suppose n = -t + 1 + 2. Solve 3*h - 6 = 7*h - t*g, -4*h + 4*g - 8 = 0 for h.
0
Let a = -80941 - -80944. Let m be 1 - (10 + -2) - -1. Let z be ((-1)/3)/(1/m). Solve 0 = -a*l + o - 8 + 3, 2*l + z*o = -6 for l.
-2
Let c(y) = y**2 - y - 17. Let l(n) = n**2 + 12*n + 4. Let a be l(-7). Let r = -35 - a. Let f be c(r). Solve -4 = -4*i + g - 1, 0 = f*i - 4*g - 12 for i.
0
Let w = -229 + 283. Suppose 62*d - 16 = w*d. Solve 0 = -d*f + 4*s + 12, -2*f - s + 0 = 13 for f.
-4
Suppose -13 = -4*d + 3. Suppose -4*b + 9 = 5, -12 = -2*k - 2*b. Solve d*s + 4*y - 3*y + 20 = 0, k*s + 25 = 4*y for s.
-5
Let a be (0 - -93)/(0/6 - -3). Solve -5*x + 12*d - a = 14*d, 3*x + 2*d + 21 = 0 for x.
-5
Let x = -2 + 8. Let a(u) = -u + 45. Let s(i) = -3*i + 133. Let w(m) = -8*a(m) + 3*s(m). Let f be w(37). Solve f*r = -x, -4*v + 5*r = -0*v - 31 for v.
4
Suppose 21627 - 21687 = -15*f. Solve -2*o = -7*o - 5*g, 0 = o + 5*g - f for o.
-1
Let q be 1 - -15 - (-5 - -3). Suppose 0*w + q*w - 36 = 0. Solve 4*c - 20 = -h, c - 3*c + 16 = w*h for h.
4
Let p be (-24)/(-16) + (-1)/(-2). Let q = -38 - p. Let j = q + 44. Solve 3*r - j*h = 0, -h = -2*r + 5*r for r.
0
Suppose 17*f - 2881 = -1963. Let h = 11 - 8. Suppose 2*c + f = -5*m + 136, -4*m - h*c + 67 = 0. Solve -4*p = n + 3*n - m, p - 4 = 4*n for n.
0
Suppose -217 = -138*r + 59. Solve -r*g - 4 - 8 = -4*o, 8 = 2*g for o.
5
Let v(z) = 58*z - 229. Let b be v(4). Solve 0 = c - 3*u - 0 - b, 5*c - 15 = 4*u for c.
3
Let n = -5227 + 5230. Solve n*l - 4*s - 4 = -13, l - 3*s = -3 for l.
-3
Let g = 14 - 2. Suppose 32*t - 15*t = 136. Let o = g - t. Solve 6*d - 2*d = 5*a - 4, d = -o*a + 20 for a.
4
Suppose 16*y - 12 = 13*y. Suppose -4*d = y*t - 20 - 4, 0 = 3*d - 4*t - 39. Let w be 4/(3/d - -1). Solve -12 = u + u - 2*k, 0 = -w*u + 5*k - 20 for u.
-5
Let y be -1 - ((-4)/30 + (-2284)/(-30)). Let q be (-2)/8 + y/(-44)*3. Solve -3*p + 14 = -4*c, 5*c - q = -4*p - 7 for p.
2
Let b be (21/35)/(87/290). Solve 7*t - 6*t = 5*f + 5, -b*f = 3*t + 19 for f.
-2
Let r = -106 - -107. Let h be (6*r)/2 - (36 + -35). Solve -4*i + 13 = -t, 0 = h*t - i - 0*i + 5 for t.
-1
Let z be ((-6)/(-4))/(12/40). Let k = -3 + z. Let b be ((-9)/(-7) + -1)*(1 - 351/(-13)). Solve 4*u - b = k*o + 2, -4*u = 5*o - 17 for o.
1
Let r = 1368 + -1428. Let g be (-604)/10 + (-6)/(-15). Let f = g - r. Solve -4*n - 16 = 0, -5*v + f*n - 21 = -n for v.
-5
Let k(v) = v**2 + v + 45. Let d be k(0). Suppose -d = -5*h + 5. Suppose -15 = 248*j - 253*j. Solve -3*u - j = 4*y, -5*y + 3 = -3*u - h*y for u.
-1
Let n(f) = -2*f**3 + 51*f**2 - 69*f - 62. Let q be n(24). Solve 5*b + 67*y = 72*y + q, 0 = 4*b + 3*y + 27 for b.
-3
Let t = 12667 + -12664. Solve -2*k = 2, a - t*a - k = 7 for a.
-3
Let v(p) be the first derivative of -7 - 1/3*p**3 + 5*p**2 - 16*p. Let a be v(8). Solve 3*f - 2*g + 7 + 3 = a, 15 = f + 3*g for f.
0
Let r(k) = k**3 + 43*k**2 + 146*k - 37. Let z be r(-4). Let i = 11 - 7. Suppose z*o + 29 = 3*d + 2*o, -i*d + 2*o = -42. Solve f = -3*p + d - 24, 4 = -f for p.
-4
Let f = -18 + 21. Let u be -4*f*(-4)/24. Suppose -u*x = -0 - 6. Solve -j + 5*t = x*j + 23, -j - 3*t = -7 for j.
-2
Suppose 2*k = -j - 480, 4*k + 0*k = -5*j - 2394. Let y = -478 - j. Let r = 1 + 4. Solve 2*m - h + 4 = 0, 4*m + 2 = r*h - y for m.
-3
Suppose 0 = 21*f + 13*f + 68. Let y be f*(3 + -9 + 4). Solve 0 = 5*q - 5*i + 10, -4*q + i - y = -2*i for q.
2
Let z be 57/6 - 300/(-600). Solve z + 15 = 5*p, 2*x + p = 9 for x.
2
Let g = -10 - -21. Let j(c) = -c**2 - 22*c - 20. Let x be j(-18). Suppose 47*d - x*d = 0. Solve o + d*s = -2*s - g, -1 = -o + s for o.
-3
Let x(c) = -c**2 + 359*c - 25737. Let a be x(99). Let v = 4 + -2. Solve 13 = 3*r + v*f, a*r - 28 = -f - 4*f for r.
1
Suppose -5*w + 4*w + 22 = 0. Suppose -3*z + 7 = 5*d - w, 2 = 2*d - 2*z. Suppose -6*l + 12*l - 24 = 0. Solve -p - 3*p - l = -d*v, 0 = v - 3 for p.
2
Suppose -5*k = -6 + 1. Let t be (3 - k) + (0/(-3))/3. Let i be (-4 - 3)*1*(-4)/14. Solve -3*j - 25 = i*j - 4*b, -j = t*b + 5 for j.
-5
Let q = 6 - 4. Suppose -41*y - 75 = -66*y. Solve -r - 8 - y = -q*w, 3*r - 12 = -3*w for w.
5
Let x = 9926 + -9926. Solve -2*p + 236 = i + 232, x = -2*p - 2*i for p.
4
Let m = -8312 - -8321. Solve 3*a + k + 3 = 0, 10*k - m = 13*k for a.
0
Let x = 1 + 5. Let t = 30028 + -30024. Suppose -h = 2*z - 4, -7*z + 3*z = -3*h - 18. Solve 4*f = z*f - w + x, -f + w + t = 0 for f.
5
Suppose -15*t + 87 = -63. Suppose 8*o - t = -2. Solve -2*h + m - 7 = 0, 5*m - o = h - 2 for h.
-4
Let f = -113 - 182. Let p = 300 + f. Solve -25 = p*n - 3*t, n = 2*n - 5*t + 5 for n.
-5
Suppose 15*x - 33 - 27 = 0. Suppose 4*u - 9 = -x*t + 3*t, -4*t - u + 21 = 0. Solve -3*w = 4*q + 16 - 5, -10 = t*q for w.
-1
Let u(q) = -q**2 + 10*q + 2. Let r = -4 - -33. Suppose -2*y = -r + 9. Let a be u(y). Solve -2*x + 3*x + 8 = -l, 0 = a*l + 4*x + 26 for l.
-3
Let q = 2 + 2. Suppose -2*x + 2 = 5*l - 10*l, -3*l - 2*x + 2 = 0. Suppose l = q*m + 2*m - 30. Solve a + 7 = 4*t, -4 = m*t - 3*t + 2*a for t.
1
Let t = -629 + 639. Suppose 0 = t*x - 33 + 13. Solve 2*n - 2 = x*m, 2*n - 4 = -m + 1 for m.
1
Let j = 5040 - 5038. Solve -2*c = -3*k + 2*k + 9, j*c = 3*k - 11 for k.
1
Suppose -c = 4*c - 25. Let g be (-7)/(-7)*1*c. Let q(b) = -38*b**2 - 236*b - 43. Let x be q(-6). Solve 4*u = -3*n - x, 5*u = g*n - 3*n - 35 for u.
-5
Let c be (138/18 + 4/(-6))*(-32)/(-224). Solve 2*s - 4*g + 7*g = -5, -c = 4*s - 3*g for s.
-1
Let n(y) = -y**3 - 5*y**2 - 8*y - 6. Let d be n(-3). Suppose 3*v - 2*c + 8 = 5*v, -3*c - 3 = d. Solve -1 = i + v*h, 0 = -2*i + 4*h + 2 - 4 for i.
-1
Let y(n) = n**3 + n**2 - 2. Let p be y(-2). Let v be (8/p)/(4/(-12)). Let d = 4582 - 4579. Solve -3 = -o - 2*s, v = -3*o - s + d for o.
-1
Suppose 4*v + 10*v = 630. Let l = v - 42. Solve 0 = -3*b + 6, -3*b = -l*s - 8*b + 16 for s.
2
Let k(p) = 3*p**2 + 6*p + 9. Let i be k(-5). Let r = i - 52. Suppose -4*h - r = -22, 0 = 3*s - h - 85. Solve 3*c = 4*z + c - s, 0 = z + 5*c + 20 for z.
5
Let o = -7 - -15. Suppose -4*c + u - 4*u = -22, -2*u + o = c. Suppose -10 = -c*d + 18. Solve 2*z = d*m - 3*m, 0 = -2*z + 5*m + 1 for z.
-2
Suppose -684 = 7*l - 894. Let j be -30 + l + 0 + 0. Solve 0 = 4*n - 5*n - 5*i, j = 3*n + 4*i for n.
0
Let q(o) = -2*o**2 - 26*o + 37. Suppose 0 = -5*i - 5*r - 75, 3*i + 2*i - 5*r + 65 = 0. Let w be q(i). Solve 0 = 3*c + 2*y + 5, w = -3*c - y - 1 for c.
-5
Suppose w = 4*o - 12, -3*o - 2*w - 2 = -0*o. Suppose 0 = -4*l + o + 6. Let t be (-3)/6 + 9/6 + l. Solve t*i - 4*b = 0, 2*i + 0*b = -b for i.
0
Suppose -452*j - 30 = -462*j. Solve j*d = -9 - 0, -4*d - 9 = m for m.
3
Suppose 7*h = 608 - 587. Solve 2*u - 3 - h = 3*s, -3*s - 6 = 3*u for s.
-2
Let d be 9/567*14*18. Solve 0 = n - 4*o + 5, -n - d*o + 10 + 1 = 0 for n.
3
Let t = 11 + 4. Let k be (-7 - 1) + -5*(-9)/t. Let n(r) = r**2 + 2*r - 13. Let w be n(k). Solve 0 = -2*m - 4, -2*m + 14 = 4*x - w for x.
5
Let q be -6*8/12 + 134. Suppose -11*y = 2*y - q. Solve -3*w + 6 = 3*g, -2*w - y = -g + w for g.
4
Let s(h) = -6*h**3 - 2*h**2 + 2*h - 1. Let d be s(2). Let n = d + 55. Solve n*f - g = 4*g + 9, 0 = 2*f - 2*g for f.
-3
Let s = 5651 - 5651. Solve 5*g + 12 = -s*g - x, -2*x + 4 = -4*g for g.
-2
Let b(d) = -13*d**2 + 3*d**3 + 6 - 2 + d - d**2 - 5*d**3 + 3. Let m be b(-7). Solve -3*v + 3*q - 6 = 0, 2*q - 8 - 2 = m for v.
3
Suppose 0 = 3*a - 2*a - 8. Let l(y) = -5*y + 15. Let d be l(3). Suppose d*m - 2*m + 18 = 4*s, 0 = -m - 4*s + 15. Solve -3*v + 5 = -2*o, 4*o + a = m*v + 1 for o.
-1
Let y = 7657 - 7654. Solve -5*u + y*z = -0*u - 20, -10 = 2*z for u.
1
Let p = -415 + 223. Let d be p/(-14) + 12/42. Suppose 13*r = d*r - 4. Solve r*o = -2*n - 0*n - 14, o + 4*n = 0 for o.
-4
Let a be (-2)/(2/5*5) - 23. Let d = -20 - a. Suppose d*s - 16 = 0, -4 = -4*r - 0*r + 4*s. Solve 3*c = k + k, 7 = -r*k + 4*c for k.
-3
Let r be 6/22 + (-228)/(-132). Solve -2*x + 6 = 0, 4*p + p = -4*x + r for p.
-2
Let q = -13115 + 13118. Solve 2*b + 5*f = 3, 4*b + 0 - 19 = q*f for b.
4
Let z(k) = -k**2 + 5*k + 30. Let b be z(16). Let l be 81/108 + (-1162)/(-8). Let f = l + b. Solve f = 5*x + 20, 0*i - 4*i = 4*x + 20 for i.
-1
Let r(u) = u**3 + 9*u**2 - 9*u - 76. Let m(t) = t - 22. Let s be m(13). Let c be r(s). Solve -2*d = -c*h - 5, 2*d + 15 = -5*h - 10 for d.
-5
Suppose 2*i