2*k + b = 6, -2*k - f = 3*b for k.
-4
Suppose -174*g + 596*g = -141*g. Let k = 2 + -1. Let v be 2 + -2 - -5*k. Solve 2*l + 3*m + 13 = 0, g = 2*l - v*m + 2*m + 7 for l.
-5
Suppose 3*f + 7 - 13 = 0. Suppose 1 = -q + f. Let l be ((-10)/(-20))/(q/8). Solve 3*x - g - 3 = 2, -x + l = 2*g for x.
2
Let h = -7177 - -7182. Solve -5*x - 4*p - h = 0, -4*x = 5*p + 13 - 9 for x.
-1
Suppose -4*v + 3*t + 44 = -12, 0 = 5*v + 4*t - 101. Let i = 44 + -42. Solve -4*r + i*r - v = 5*x, 3*r = -x + 7 for x.
-5
Suppose 4*h = -20, t - 248*h = -243*h + 34. Solve t*o = 5*i + 6*o - 3, -i - 3*o = 3 for i.
0
Let u = 139 - 137. Suppose 0 = 5*y + 4*o - 22, 0 = 2*y + u*y - 5*o + 7. Let h(m) = m + 2. Let s be h(5). Solve -p = y*f - 4*f + 3, 0 = 3*f - p - s for f.
4
Suppose 20*j = -15102 - 918. Let u = 807 + j. Solve -t + 2*m + 2 = 0, -m + u = 3*t - 3*m for t.
2
Let t = -82 + 219. Suppose 3*o + 252 = -153. Let a = o + t. Solve 5*h - 2*l + 0*l = -4, a*l - 4 = 4*h for h.
0
Let l be (-36)/((-720)/130) + (-3)/2. Solve -2*r - 29 = 5*n, -l*n - 19 + 4 = 0 for r.
-7
Suppose 0 = 102*u - 105*u + 27. Solve -2*q = -4*p - 16, -p = -q - 2*q + u for p.
-3
Let f(p) = p**2 - 5 + 4 - 4*p**3 + 13*p**3. Let m be 6/(4*3/2). Let t be f(m). Solve 0 = -j + 1, -3*u + 0*u = 3*j + t for u.
-4
Let d be (54/378)/(69/(-35) - -2). Solve -5*s - 5*k + 30 = -9*s, -d*s + 5*k = 35 for s.
-5
Let k = -324 + 415. Let w = -89 + k. Solve w*b - 3*b = -5*r + 13, 2*b - r = 1 for b.
2
Let m be -1*2/(-4)*4. Suppose -5*u - 31*u + 1620 = 0. Let x = 47 - u. Solve -m*h - 3*d - 8 = -2*d, 0 = x*h - 2*d - 4 for h.
-2
Let a be (-4)/(13/(26/(-4))). Suppose 5*t = -3*d - 20, 4*t = a*d - 6*d - 16. Solve 3*y - 6 = d, -3*b - 3*y = -2*b - 2 for b.
-4
Let q(l) = -300*l - 288. Let j be q(-1). Solve -26*c + 25*c + 3*h - j = 0, 0 = -3*c - 3*h for c.
-3
Let c(n) = 6*n + 15. Let g be c(-6). Let w = g - -25. Suppose 3*t = -5*r + r - 4, -2*t - r = -w. Solve 2*x = x - 3*o + 2, -o + 19 = t*x for x.
5
Let p be 2460/(-40)*(-2)/3. Let n = p - 26. Suppose -13*g = -8*g - n. Solve g*z - 4 = 5*u, 5*u - 2*z + 4 = 3 for u.
1
Let r be (-2)/4*150/(-2 - 13). Solve -r = -d, 0 = 3*b - 7*b - 5*d + 25 for b.
0
Suppose 0 = 61*h - 786 + 115. Solve 5*l + 2 = y, -h = -l + 4*y - 0*y for l.
-1
Let t(w) = w**3 - 16*w**2 + 28. Suppose 0 = -27*r + 23*r + 64. Let o be t(r). Solve -3*j + 4*l + o = 0, 4*j - l - 4*l - 36 = 0 for j.
4
Let f be (-16)/(-20)*(-255)/(-102). Let w(b) = b + 2. Let a = 2 - 2. Let i be w(a). Solve -2 = -2*j, f*j = i*s - j + 5 for s.
-1
Let r be ((-68)/18 + 8/(-36))*-2. Suppose 3*w = -p + 6*p + 27, 0 = 5*w + 4*p - r. Solve 0 = -2*l - 5*b + 5, -2*l + 21 = 3*l + w*b for l.
5
Suppose -2*y = 0, -8*f - 5*y = -3*f - 55. Suppose -5 + f = 3*g. Suppose 0 = 2*n - 6 - 4. Solve -12 - g = -3*x + n*j, 17 = 5*x - 2*j for x.
3
Let r be (21/(-12))/((-259)/1480). Solve -2*t - 228*f + r = -223*f, -t - 2*f + 5 = 0 for t.
5
Let b be 10/8 + 738/24 + 0. Let u be (1/3)/(7/(b + -11)). Solve 5*d + 10 = 5*r, -5*r + u + 14 = 0 for d.
1
Let x(g) = 5*g - 52. Let i be ((-1)/2)/((-12)/312). Let a be x(i). Solve 5*l + 13 = -2*h, l = -4*h + 4*l - a for h.
-4
Let u(w) = -w - 1. Let m be u(-2). Let v(p) = 3*p - 1. Let o be v(m). Suppose -o = -4*k + 18. Solve -k = 2*r + j, -3*r - 5 = -5*j - 4 for r.
-2
Suppose -w + 58 = -3*q - 33, -2 = -2*w. Let a(k) = 2*k**2 + 62*k + 65. Let j be a(q). Solve 0 = -5*r + n + 4*n - j, -4*r - 4*n + 12 = 0 for r.
1
Suppose 5*y - 11 = 4. Suppose 2*s - 4*v - 10 = 0, 2*s + y*s + 35 = -5*v. Let b be -1 + 4 - (-2 - (-3 - s)). Solve 0 = 2*r + b*l - 10 - 1, l + 1 = -2*r for r.
-2
Let v be (-35948)/(-110) + (-2)/(-10). Let r = 329 - v. Solve 0 = -3*s - y - 7, 16 = -2*y - r*y for s.
-1
Suppose -5*w - 10 = 0, 63*w - 10 = 5*n + 68*w. Solve -7 = -2*p - 5*x, 7*x - 9*x + 2 = n for p.
1
Let n be 12/2 - 0 - 8. Let h be 8/6 + -3*n/9. Solve 2*o - 24 = -3*t - t, h*o + 6 = 2*t for o.
2
Let a = -3227 - -3227. Solve 2*c + 10 = -2*j, a = -6*c + 9*c - 3*j + 3 for c.
-3
Suppose -i + 0*i = -2. Suppose 0 = 3*u - i*s - 16, 0 = 3*u + u - 5*s - 26. Suppose t - 25 = -u*t. Solve -5*g + 15 = 3*b, 3 = -t*b - 0*b + g for b.
0
Let c(n) = -20*n**3 + 40*n**3 + 0*n - 19*n**3 + n - 10 - 15*n**2. Let m be c(15). Solve 0 = -i + m*u + 2 - 4, i + u = -2 for i.
-2
Suppose 0 = -3*n - 9, -64*x - 3*n + 27 = -62*x. Solve p = 4*g + 2*p - x, 0 = -4*g + 5*p + 6 for g.
4
Let k = 411 - 431. Let t be (k/(-30))/((-10)/(-255)). Solve 5*a = -4*z + t, -3*z = 2*a - 3*a - 8 for a.
1
Suppose 28 = l - 6*l - 2*q, 5*l - 3*q + 8 = 0. Let w(v) = -v**3 - 4*v**2 - v + 1. Let m be w(l). Solve -m = -j + 2*t - 6*t, -j + t + 5 = 0 for j.
5
Let j be (-5 - 4/(-2)) + -2 + -8. Let v(b) = b + 15. Let n be v(j). Let m be (5 - 0)*(n - 1). Solve -h + 2 = -5*s - 3, -3*h - m*s - 25 = 0 for h.
-5
Let i be (-10)/6 + 8200/24. Let n be (-18)/(-81) + (i/(-18))/(-5). Let w be 34/9 + 6/27. Solve -10 = -5*o + n*r, -4*o - w*r + 10 = o for o.
2
Let a = 11 + -9. Let x be 4/(-34) - 771/(-51). Suppose -3*c = -6*c + x. Solve -2*w - 4*o = a*w + 8, c*w - 5*o = 0 for w.
-1
Let k = 1813 + -1804. Solve 3*u - 4*u + 3*m + k = 0, -4*u - 2*m - 20 = 0 for u.
-3
Let c be (1 - -2 - 2) + -3 - -5. Suppose 0 = c*m + 7 - 25. Suppose -s - 23 = -4*t, m = -4*s - 6. Solve -k - 3*h = -t, -5*k - 4*h = -1 - 13 for k.
2
Let i = 116 + -83. Suppose 13*j = 2*j + i. Solve 0*m - m = 2*u - 4, -j*m - 20 = -2*u for u.
4
Let p be (-1 - (-4 - -4))/(6/(-12)) - -1. Suppose -2*n - 4*z + 36 = 3*n, -5*n + z + 41 = 0. Solve p*t + 2*s + n = s, 2*t + 3*s - 4 = 0 for t.
-4
Let p be -9 - -12 - 7*-1. Suppose 18 = g - 2*z - 2*z, 5*g = -5*z - p. Suppose g*i + 5*j - j = 18, -3*j + 9 = 0. Solve 5*h + 2*v = -1, 0 = -h + v - 0 - i for h.
-1
Let t = 469 + -679. Let p = t - -213. Solve 3*g + v = -0*v - 6, 4*g + p*v = -13 for g.
-1
Suppose v + 30 - 21 = 0. Let n(r) be the first derivative of -3*r**2/2 - 24*r - 14. Let k be n(v). Solve -5*l + 4*q = 33, 5*l + 12 = k*q - 19 for l.
-5
Let y(n) = n**3 + 8*n**2 + 13*n - 7. Let s be ((-48)/12 - 0) + (-1 - 0). Let m be y(s). Solve -3*a + 0*a + m*q + 18 = 0, -5*q - 18 = -2*a for a.
4
Let l = 1 + 1. Let m = 61 - 42. Suppose 1419 + 135 = 612*c - 894. Solve -2*g = -5*j - m, l*j - 2 = c*j + 2*g for j.
-3
Let w(p) = 4*p**2 - 6*p - 5. Suppose -291*j + 30 = -306*j. Let y be w(j). Solve -5*u + 5*l - 35 = 0, 3*u = -u + 3*l - y for u.
-2
Suppose 4*g + 4 = z + 17, 4*z - 2*g = -80. Let c = 26 + z. Solve c*n - 11 = 4*o, -2*o + 2*n - 9 = -3 for o.
-4
Let r = -56 - -55. Let y be -4 + ((-12)/r - 0). Suppose y*v - 20 = 3*v. Solve 4*k = -s + 18, -v*s + 7 = 3*k - 0 for s.
-2
Let h be 2*(-1)/8*-4*1. Suppose -p + h = -5. Solve 2*j - 4*j + x = -p, -2*j + 4*x = -18 for j.
1
Let o = 73 + -61. Suppose 0 = i - 3*c + 8, -i + 0*i + 5*c - o = 0. Let t(u) = -u**3 - 3. Let z be t(i). Solve 0 = 3*h + z*k + 37, h + 4*k + 28 = -h for h.
-4
Let g = -4498 - -4505. Solve f + w + g = 5*w, w + 5 = -2*f for f.
-3
Let v be ((-455)/30)/(-13) + 102/36. Solve 0 = -4*i + 8, 34 - 40 = v*s - 3*i for s.
0
Let a(r) = 6*r**2 + 2*r - 1. Let k be a(0). Let c(x) = 8*x**2 + 3*x + 3. Let j be c(k). Solve 0 = q + 2*n - 7, 0 = 4*q + j*n - 3*n - 19 for q.
1
Let w(y) = -89*y**3 - y**2 - y - 1. Let a be w(-1). Let z be (-4)/(-18) - a/72. Let h be (8/(-3) + z + 3)*-6. Solve u = 4*p + 2, 5*p + h*u + 1 = 9 for p.
0
Let q(o) = o**2 - 55*o + 592. Let m be q(14). Solve -4 = -4*s + 4*a, 6*a - m = -4*s + 3*a for s.
3
Let o = 95 - 63. Suppose 109 = -u + o. Let k = u - -82. Solve 0*y = 3*y + k*l - 6, -4*y + l = 15 for y.
-3
Let c be (-18 + 2)/4 + -46. Let y = c + 49. Let l be 0 - y - 3 - -2. Solve 2*f - 16 = 4*n + 2, -f - n = l for f.
3
Let c(a) = a**2 - 4*a + 1. Let p(n) = -5*n**2 + 40*n - 38. Let b(q) = 6*c(q) + p(q). Let v be b(-18). Solve -v*d + 3*j - 8 = 0, 0*d + 2 = -d + 4*j for d.
-2
Suppose -33 = -2*l + 188*g - 185*g, -5*l = -2*g - 55. Solve 0 = -0*t + t + 2*m + 5, -2*m - l = 5*t for t.
-1
Suppose 26*r - 30*r = 52. Let i(t) = -t**2 + t + 190. Let j be i(r). Solve y - 1 = -l - 2, j = -2*y - 4*l for y.
2
Let g(a) = -a**2 - 16*a - 44. Let z be g(-5). Let b be (-2)/z*(11 - 22). Solve -2*c = 2, 4*f + b*c + 8 = 2*f for f.
-3
Suppose -94 + 568 = 79*i. Solve 2*w + 8 = 0, -v + 2*w - 20 = i*w for v.
-4
Let x be (19/(152/48))/(18/120). Solve 2 = -x*f + 36*f + 5*w, 5*f - 18 = -4*w for f.
2
Let r(n) = n**3 - 4*n**2 - 10*n - 7. Let k be