2, 6 = m*s for f.
4
Suppose -4 = 2*q - 4*q. Let j(b) = -b**3 + 5*b**2 + 38*b - 20. Let g be j(-6). Suppose -147*r = -g*r + 1. Solve -q*z - t + 2 = 0, z - 3*t - r + 0 = 0 for z.
1
Suppose -2*y = 1 + 1. Let o = y + 4. Let k be (-106)/(-583) + (-20)/(-11). Solve 14 = k*j + o*b, 0*b = -4*j + 5*b + 6 for j.
4
Suppose -11 = -21*p + 94. Suppose -s + 6*s - 50 = -p*a, 0 = 2*a - 3*s + 5. Solve 4*t + 9 - 23 = -d, 2*t + 4 = a*d for d.
2
Let f = -15 - -28. Suppose 11 = -u + f. Suppose 3*n + 13 = u*x, -2*n = n - 15. Solve -o = -4*o - y + x, 0 = 3*o + 3*y - 24 for o.
3
Suppose 67*l = -35*l + 510. Solve l*p = -4*q, 0*q + p - 6 = -2*q for q.
5
Suppose 4 = 3*a + a. Let l be a + -5*(-3)/15. Let m = -46 + 50. Solve -m*s = -3*c + 2*c - 7, s + l = 4*c for s.
2
Suppose -1768 = -35*m + 18*m. Let b be (42/m - (-52)/(-338))*0. Solve -4*a + 4*i + 4 = b, 5*a - 18 = -4*i - 49 for a.
-3
Let o(p) = 2*p**3 + 54*p**2 - 52*p + 115. Let a be o(-28). Solve -a*t = 5*c + 101 - 78, 5*c - 2*t - 7 = 0 for c.
-1
Suppose x + 2*b = -2*b - 43, 2*x + 2*b + 104 = 0. Let y = 103 + x. Let s be (128/y)/((-4)/(-6)). Solve -s*m = -2*a + a - 19, 22 = -2*a + 4*m for a.
-3
Let h(v) = 17*v - 201. Let g be h(12). Solve 0 = 4*c, 1 = d - g*c + 6 for d.
-5
Suppose -k - 3*f + 23 = 0, 4*f - 36 = -26*k + 22*k. Solve 3*s + 199 = q + 193, k*s = 5*q - 4 for s.
-2
Suppose 0 = 4*i - 2*j - 128, 2*i = 45*j - 41*j + 58. Suppose -28*r - 25 = -i*r. Solve 3*o = 5*x - 11, -r*x - 2*o = -0*o - 26 for x.
4
Let f = -13799 - -13799. Solve 4*i + 7 = 3*m, 5 = m - f*m for i.
2
Let u be 11/(44/(-180))*-11. Let t be (-9)/(u/10) + 138/33. Suppose 0 = z - 3*j + 1, -2*j = 4*z + 8 - 18. Solve -z*c = -4*f + 8, 2*f + 4 = c + t*f for c.
0
Suppose -f - 4*f = -2*r + 26, 2*f = 5*r - 44. Let j = r - 3. Suppose 5*y - 30 = -j. Solve 0 = -y*g - 0 - 5, -4 = -t + 3*g for t.
1
Let s = -2 + 6. Suppose -2*p = -0*p - s. Let f = -400172 + 400174. Solve -5*d = -p*d + 3*y - 6, -3*y = -d + f for d.
2
Suppose 3*d = -z - 12, -2*d + 8 = 4*z - 4*d. Let v(p) = -p**2 + 41*p - 18. Let y be v(31). Let s = y - 288. Solve -c - 2*f - 10 - 5 = z, 20 = -s*f for c.
-5
Let k(w) = -w**2 + 6*w + 9. Let b be k(7). Suppose -a - 2 = -b*a. Let v(r) = r**2 + 52*r - 7064. Let g be v(-114). Solve g*j + 7 = c, -a*j + 9 = j + 4*c for j.
-1
Let s be 36/(-306) + 53/17. Let n be 2/(s + -4*(-5)/(-10)). Solve -4*r - 2*w - 2*w - 4 = 0, n*r - 1 = -3*w for r.
-4
Let b = -5182 - -5182. Solve b*i + 3*i + 15 = 3*a, 0 = 5*a - 2*i - 19 for a.
3
Let m = 4 - 4. Let q be ((-630)/50 + 13)/((-9)/(810/(-12))). Solve -3*w + 13 = j + 2*w, m = -q*j + 2*w + 5 for j.
3
Suppose 0*v + 6 = 2*v. Let s(z) = -88*z + 5459. Let x be s(62). Solve m - x*o - 15 = -v*m, -5*m - 3*o - 15 = 0 for m.
0
Let v be (5 + -14)/1 - -13. Solve 5*o + 2*r + 3 = 0, v*r - 3*r = -4*o for o.
1
Suppose 0 = 4*x - 8, 64*s - 59*s - 25 = -5*x. Solve 5*h = -4*r + 24, -4*r + s*r = -5*h + 19 for r.
1
Suppose a + 815 = 818. Let d be 52/6 - 4/6. Solve c = 2*k + 12, -a*c + 2*c - 3*k - d = 0 for c.
4
Let z(f) = -13*f**2 + 59*f + 166. Let j(l) = -7*l**2 + 31*l + 84. Let k(o) = -11*j(o) + 6*z(o). Let v be k(17). Solve -d + 6*d + 20 = 4*w, -w + 16 = -v*d for w.
0
Let a be (101 - -2) + 2/(10/25). Suppose -2*k + 5*q + 54 = 0, -5*k + 3*q + a = 4*q. Solve -5*m = -i - k + 5, -2*i = -6 for m.
4
Let k(l) be the second derivative of 4/3*l**3 + 39*l + 19/2*l**2 + 0 + 1/12*l**4. Let t be k(-5). Solve 4*g - g = -2*i - 2, 0 = t*i + 5*g for i.
5
Let j be ((-5)/(6 + 17/(-2)))/(2/10). Solve 2*h = h - 3*t - 4, -5*t = j for h.
2
Let f be (3/(-2))/(7/98). Let k = 24 + f. Suppose k*t - 12 - 3 = 0. Solve -3*p - 24 = p + 5*g, -t*p - 17 = 3*g for p.
-1
Suppose 0 = p - 10 + 8. Suppose p*f - 24 = -16. Suppose g = -2*t + 13, 0 = -f*g - g - t + 20. Solve 9 = -s + 5*q, 4*s + g*q = 7*q - 20 for s.
-4
Suppose -16*x = 126*x - 19880. Let l be (0 - 7)/(2/40). Let z = x + l. Solve -2*q - 2 = 2*h - z*h, -5*q - 2*h - 11 = 0 for q.
-3
Let r(a) = a**3 + 11*a**2 + 11*a + 10. Suppose 0 = 9*l + 24 + 66. Let t be r(l). Suppose t = -13*z + 9*z + 8. Solve w - z*w + b + 2 = 0, 3*w + 4*b = 13 for w.
3
Suppose 43*y - 44*y - 12 = -5*s, -2*y + 15 = 3*s. Suppose -26*v + 21*v = -45. Solve x + 2*x = t - v, -15 = -y*t + 3*x for t.
3
Suppose 5*b - 86 = 4*z, 0 = 2*b + 3*z - 18 + 2. Solve 16 = 2*c - 4*n, -5*c + 5*n = -16 - b for c.
4
Let o be 5 + 2*(27/6)/(-9). Suppose -o*i = -5*i + 78. Let x = 83 - i. Solve -4*z - 24 = -4*v, -3*z - 9 = -2*v + x for z.
-2
Suppose -3*g = 3*n + 801, 2*n - 7*n = 4*g + 1069. Let b = g + 270. Solve 4*r = 5*s - r + 25, b*s = 2*r - 12 for s.
-1
Let v be 17/(-7) + -3 - (-16)/(-28). Let j(k) = k**3 + 8*k**2 + 14*k + 15. Let w be j(v). Solve -1 = -4*b - w*m, 5*b - 4*m = -m - 19 for b.
-2
Let l(q) = q**2 - 2. Let t be l(4). Suppose -t = 3*u - 74. Let j = -39 + 53. Solve 0 = -4*o + i - j, -4*o - 6 - u = 5*i for o.
-4
Let j(i) = -1137*i + 1142. Let l be j(1). Solve 5*p - l*u = 5, -32 = -5*p - 8*u + 4*u for p.
4
Let d(j) = -j**3 + 8*j**2 - 18. Let a be d(6). Let g = -49 + a. Suppose -g*v = -3*z - 0*z - 32, -3*v = 5*z + 8. Solve 2*h = -2*s + v, -s + 2*h = 2*s - 11 for s.
3
Suppose -56*t + 54*t = -6. Suppose -t*z = -48 - 12. Let o be 7/(42/z) + 5/(-15). Solve -o*w - 3*i + 18 = 0, 6 + 3 = 2*w + i for w.
3
Let b be (76/6)/(1/3). Let w(q) = 36*q**3. Let g be w(-1). Let j = g + b. Solve 0 = 3*a + 7 + j, 4*a = -d - 17 for d.
-5
Let w be -4*(-4)/((-8)/6). Let d = -10 - w. Let c(k) = 19*k - 130. Let v be c(7). Solve -3*x = 3*m + v, -d*x = 3*m + 2*m + 5 for m.
-1
Suppose -2*g - 68*m + 63*m = -15, -7*m + 21 = 0. Solve -7*l + 6*l = -a - 4, g = 3*a + l - 8 for a.
1
Let r = 866 + -864. Solve -r*j - 2*b = -0*b + 2, -2*j = -b - 7 for j.
2
Let o(h) = h**3 + h**2 - 2*h + 11. Let c be o(0). Let u = -20 - -20. Suppose -5*q + 15 = -u*q. Solve m + q*y = -c, -m - 5*y - 9 = 6 for m.
-5
Let o = 40 + -19. Let x(r) be the second derivative of r**4/12 - 10*r**3/3 - 19*r**2/2 + r. Let a be x(o). Solve -k + 5 = -a*i, 5 = 2*i + 2*k - 5 for i.
0
Suppose 8*f = -4*f + 240. Suppose 21*q - f = 16*q. Solve 0 = q*j + 16, 5*d + 40 = -5*j for d.
-4
Let u(k) = -k**2 - 62*k - 447. Let g be u(-9). Solve 5*t + g*f + 20 = 27*f, -27 = 2*t + 5*f for t.
-1
Let g = 1033 - 1002. Solve -4*c = -5*p + g, -11*p - 5*c = -9*p + 14 for p.
3
Let i = -3280 - -3283. Solve 5*j = -3*t - 10, 4*t - i*j - 9 = -32 for t.
-5
Let v(a) = -a**3 + 8*a**2 + a - 6. Let y be v(7). Let x = 52 - y. Let s(d) = d**2 + 23*d - 47. Let i be s(-25). Solve -x*r = i*t - 14, t - 2 - 2 = 0 for r.
1
Let i = -280 - -212. Let x = i + 72. Solve 22 = x*c - 4*t - 6, -3*t - 12 = 0 for c.
3
Let a = -5025 + 5029. Solve o + 2 = v, -2 = -a*o + 6*o - 3*v for o.
-4
Let a = -156 - -161. Suppose -p - a = -2*q, -q + 0*q - 3*p = -13. Solve 0 = -q*d + t - 1, 0 = 2*d + d + 3*t - 18 for d.
1
Let x(c) = -c**3 - 33*c**2 + 67*c - 100. Let q be x(-35). Solve -4*l - 4*o + 68 = 72, -4*o = q*l + 9 for l.
-5
Suppose -4*t + 4*u = -4 - 4, -4*t - u = -13. Suppose -x + 5*w - 15 = -6*x, x - 5*w + t = 0. Solve 0 = m + c - 1, 4*c - 8 = -3*m - x for m.
-2
Let j(d) = 26*d - 8*d - 10*d + 233 - 8*d - 10*d. Let z be j(23). Suppose q - 4*r + 12 = -q, 4*q - 16 = -2*r. Solve -p = -z*c + 9, 2*c + p - 4 = q for c.
3
Let b(n) = -3*n + 95. Let k be b(12). Suppose 0 = 11*f - 7 - k. Solve f*m + 2 = -o + 3*m, -3*m = 4*o + 8 for o.
-2
Suppose 213*x = 3421 - 439. Solve -6*w = 2*f + x, 0*f + 3*w + 15 = -3*f for f.
-4
Let z be 3 + 5/(-6) - 435/(-522). Solve 0 = 4*y - z*u + 7, -7*y + 8*y = -4*u + 22 for y.
2
Suppose 73*g = -43 + 262. Solve 0 = -j + g*r - 5, 0*j + 3*j - 24 = -4*r for j.
4
Let b be (-290)/14 - (-10)/(-35). Let f be (-7)/(49/35) - b. Solve 0 = -3*m - 4*i - f, 3 = 3*m + 3*i + 15 for m.
0
Let u = 270 - 438. Let p = -165 - u. Solve -13 = 5*c + 5*j - p, -j = -c - 4 for c.
-3
Suppose 9*r - 12 = 7*r. Suppose r*j + 0*j = 12. Suppose 4*h = 5*o + 134, h - 37 = o + j*o. Solve g = -g - 5*d + h, 5*g = -4*d + 35 for g.
3
Suppose 60 = 13*g - 5. Let w be 23/g - 14/(-35). Let z be (40/14)/(6/21). Solve -2*m - z = 0, -2*v + 4*v + w*m = -29 for v.
-2
Suppose h - 5*o = -7, -4*h + 0*o + 44 = 4*o. Let x(s) = -s**2 - 2*s - 1. Let r be x(-2). Let g = r + h. Solve i - g = -5*b + 9, -i - b = 0 for i.
-4
Suppose -4*u - 3*k = -247, 5*k - 6*k - 259 = -4*u. Let c = u - 61. Solve 8 + c = -2*l + x, -l - 13 = -3*x for l.
-4
Let 