for k.
-3
Suppose 0 = 3*i + 2*d + 2, i + 2*d + 6 + 0 = 0. Solve 3*l + 5*v = i, 0*l + 5*l - 4*v - 28 = 0 for l.
4
Suppose 5*w = -4*g + 3*g + 27, g + 18 = 4*w. Solve -c = 3, w*c + 7 + 6 = -a for a.
2
Suppose -4*p + 9*p = -35. Let i = 10 + p. Solve -3*q + i*x + 3 = 0, 0 = -q + 2*x - 1 + 2 for q.
1
Let h be 3/(2*1*(-9)/(-24)). Suppose -h*o - a + 14 = 0, -o = 2*a - 0*a - 7. Solve 0*i - o*b = -2*i - 12, 2*b = -2*i + 8 for i.
0
Suppose 0 = -2*y - 9*y + 99. Solve 0 = -2*p - 3*p - 3*x - y, 4*x + 12 = 3*p for p.
0
Suppose 0 = 3*t - 2*y + 13, -3*t = t + 2*y - 6. Let j = t + -7. Let f(w) = w**2 + 6*w - 6. Let o be f(j). Solve 0 = l - 6*l - g + o, -3*g - 12 = l for l.
3
Suppose 7*v = 2*v + 70. Let f(x) = -x**2 + 10*x + 58. Let y be f(v). Solve -5*t + 4*n - 6 + 41 = 0, -y = -4*t - 2*n for t.
3
Let p be ((216/126)/(-4))/((-2)/14). Solve -p*k = -2*h - 7, 0 = -2*h - h + k - 14 for h.
-5
Let f = -233 + 235. Solve w = -f*i - w + 8, 5*i + 4*w = 20 for i.
4
Let u = 652 + -652. Solve 3*r + 19 = 3*c + 1, u = 5*r + 25 for c.
1
Suppose -33 = 4*v - 113. Suppose v = -5*j + 45. Solve 4*z + 12 = 4*d, 3*d + j = 5*z + 20 for z.
-3
Let g be -2 + 44 - (0 + 1). Solve r - 27 = -3*y - 2*r, -4*r + g = 5*y for y.
5
Let c(f) = -f**3 + 4*f + 9. Let x be c(4). Let k = 39 + x. Solve -4*r = -3*b + 24, 4*r = 5*b - k*b - 32 for b.
4
Suppose 41 - 20 = 7*i. Solve o - 2*k + i = 0, -k + 2 = -3*k for o.
-5
Suppose i + 9 = 3*p, 5*i - p = -0*i - 3. Let w(x) = -x**2 - x. Let o be w(i). Solve -4*y + 9*y = r + 11, 5*y - 15 = o for r.
4
Let r be 3/(-9)*1 - 310/15. Let q = r - -23. Solve 4*l + 24 = 2*v, l = v + q*v - 16 for l.
-4
Suppose -7*s + 2*s = -20. Suppose s*m = 3*i + m - 6, -3*m + 6 = i. Solve -z + 4 = -2*t, 0 = t - 7*z + i*z + 2 for t.
-2
Let w(j) = -5 + 55 + 2*j + 2*j. Let r be w(-12). Solve 13 = 2*o + q, r*q - 4*q + 10 = 0 for o.
4
Let n(x) = x - 8. Let k be n(10). Suppose 6*p - 6 = 3*p, 2*i = 4*p. Let w be 7 - 2 - (-4)/(-2). Solve 4 = -w*z - 2*h, -5*z + 10 = -i*h + k for z.
0
Let f(i) = 2*i**2 - 4*i - 42. Let t be f(-4). Solve t = 3*o, 0 = -2*u - o + 8 + 2 for u.
4
Suppose m + 24 = 4*p, -14 = 4*p - 2*m - 34. Solve 0 = -j - 5*k - 8, -4*j - p - 10 = 5*k for j.
-3
Let z be (-2)/4*(-40)/1. Suppose 2*f - 2*m - 2 = 0, -3 = -m - 0*m. Let v(a) = 5*a - 5. Let i be v(f). Solve -z = -4*o + 5*l - 2*l, 4*l - i = -3*o for o.
5
Let y(z) = z**2 + z - 1. Let i be y(2). Suppose 0 = -i*r - 2*u + 101, -2*r + 4*u + 92 = 2*r. Let o = r + -17. Solve -o*j - t = -8, -3*j - 13 + 32 = 4*t for j.
1
Suppose 2*t - 4*k = -5*k - 4, 4*t - 5*k - 20 = 0. Solve 5*x + 2*j - 19 = t, 0 = -2*x - 0*j - 4*j - 2 for x.
5
Let t(l) = 2*l**2 + 13*l - 18. Let p be t(-10). Let v be 15/(-10)*p/(-6). Solve 0 = 3*i - 9, -a = 5*i + 2 - v for a.
-4
Let v be (14/4)/(-7)*-8. Let p = 14 - v. Suppose -q - 7 = -p. Solve 0*i - 3*h - 9 = -q*i, -2*h = -3*i + 4 for i.
-2
Let n be 4/(2/32*(1 - 2)). Let c = n + 68. Solve -2*s + k + k = c, 8 = s + k for s.
3
Let l(d) = -d - 8. Let c be l(5). Let q = -2 - c. Let x(k) = -k**2 + 11*k + 3. Let b be x(q). Solve 5*s + 15 = -j, -b = 3*s - 2*j + 6 for s.
-3
Let l = 1058 - 1054. Solve 3*y - 1 = 4*i + 7, l*y = -2*i - 4 for i.
-2
Suppose -4*v - 1 = -33. Suppose 3*f = -d + v*f - 11, 3*d - 3 = 3*f. Solve -d*n = -4*q - 3*n + 24, 2*q + 4*n = -6 for q.
5
Let c be ((-2)/(-6))/((-11)/(-330)). Solve -2*u + 2 + 10 = -4*b, 0 = 2*b - 3*u + c for b.
-2
Suppose 5*c = -s - 503, -4*c = -5*s + 610 - 225. Let j = -97 - c. Solve -b - 3*m - 15 = 0, b + 0*b = j*m + 15 for b.
0
Let h(k) = -k**3 - 4*k**2 + 2*k + 11. Let a be h(-4). Let t = 5 + 12. Solve -a*f = 4*z, f - 3*z - t = -f for f.
4
Suppose -2*n + 32 = -4*n. Let y be -2*(-4)/n - (-10)/4. Solve 5*s - k = 0, 25 = 3*s + 4*k + y for s.
1
Suppose 3*j + 2*j = 0. Suppose j = -0*a - 5*a + 15. Suppose -g - 4*g + 5*n = -30, -a*g - n + 6 = 0. Solve g*y + b + 20 = 0, b + 5 = y - b for y.
-5
Let n be ((-1)/5)/((-12142)/(-715) + -17). Solve 0*d - d - n = -3*m, -m - 5*d = -25 for m.
5
Suppose -6*o + 22*o - 32 = 0. Solve o*g - 5 - 1 = 4*t, 0 = -5*g - 4*t - 27 for g.
-3
Let t be (185/555)/((-2)/(-42)). Solve 5*u - 4*x - t = -4, -2*u - 8 = 3*x for u.
-1
Let w = -112 + 67. Let b = 45 + w. Solve o + 1 = 0, b*s - 5*s + 2*o = 3 for s.
-1
Let x(b) = -b**3 + 15*b**2 - 25*b - 11. Let h = -27 - -40. Let w be x(h). Solve -w*u = 5*r - 2*r + 8, 2*u = r - 8 for r.
0
Let j = 1727 - 1727. Solve -3*s + 18 = v, j = -2*v + 2*s - 4 for v.
3
Let u = 431 + -423. Solve u = -0*r - 4*r, 0 = -5*o + 2*r - 6 for o.
-2
Let m be (36/(-72))/(2/20)*-1. Solve -4*c = -2*k + 10, -m*c + 0*c - 17 = -4*k for c.
-1
Let q = -523 + 536. Solve -3*f = -6, 0 = 5*u - 3*f + 2*f - q for u.
3
Let a = -30 + 35. Suppose -a*k + 8 = 2*c, 0*k = 2*k. Solve -3*g + r - 5*r = 27, -c*g = -r + 17 for g.
-5
Let s(f) = f**2 + 5*f + 1. Let i be s(-5). Suppose 5*o + 4*j = -i, 5*o - 2*j + 4*j - 7 = 0. Solve 0 = 2*k - 10, 2*x - o*k = k - 12 for x.
4
Let v = -17 + 39. Let h be 10/(-8)*-4 - 0. Solve h*p = -3*y - 25, -5*y = -5*p - 3 - v for p.
-5
Suppose -2*z = -4*x, 4*z - 3*z = -4*x + 12. Let j = 523 + -521. Suppose -6*b = -2*b - 60. Solve -2*i - 7 = -3*m, j*m + z*i - b = -5 for m.
3
Suppose 7*l + 10 = 12*l. Let s = -18 + 21. Solve -n = 5*f, 0*n - l*n = s*f + 7 for n.
-5
Let g be 0 - -9 - (-2 + 9). Solve 3*k = -3*y + 3, -3*k - 10 = -g*y + 12 for y.
5
Suppose 33 = p - 2*r - 15, -5*p = -3*r - 212. Let f be 12/(-9)*(-90)/p. Solve 5*b - 2 = z, f*b - 4*b - 8 = -3*z for z.
3
Let y(s) = 2*s**3 + 2*s**2 - 4*s - 3. Let t be y(-3). Let z be ((-24)/54)/(60/t - -2). Solve -15 = -2*d + 3*r, -4*d - z*r - 11 = -1 for d.
0
Suppose -3*a - m = 68, 2*m - 35 - 18 = 3*a. Let f = -11 - a. Solve -2*c = -b - 5, -2*c = -c + 2*b + f for c.
0
Suppose 4*v = 5*g - 7*g + 12, 15 = 2*g + 5*v. Solve 20 = 5*k - 0*b - b, g = -3*k - 5*b - 16 for k.
3
Suppose -13*u + 10*u + 27 = 0. Solve 16 = -4*w - 5*b - u, 5*b + 30 = -5*w for w.
-5
Let b = -262 + 167. Let w = b - -97. Solve s + 5 = 0, -w*n - 5 = -3*n + 2*s for n.
-5
Let u be 2/9 + 86/18. Let y be (-35)/(-5) - -2 - 5. Let d be 19 + 3 + y*(-4)/8. Solve -4*o - u*t = -d, -2*o + 16 = -0*t + 4*t for o.
0
Let c = -35 - -68. Suppose -5*h + c = -17. Solve -b - 10 = -4*n, -2*n + 2*b - 2 = -h for n.
2
Let p be 20/70 + (-1 - (-52)/14). Suppose p*v = -v + 8. Solve -3*n - 4*b + v = -14, -8 = 2*n - 2*b for n.
0
Let x = 6 + 4. Suppose 0 = i - 4, 2*v - i - 56 = -2*v. Let j = v - x. Solve f + 2*k = -11, -2*f - j*k = f + 29 for f.
-3
Let m = -23 - -21. Let j = m + 4. Solve 0 = y + 3*a - 8, 4*a = 2*y - j - 4 for y.
5
Let c = 15 - 12. Solve -3*x + 0*d = 5*d + 1, -c*x = -2*d - 13 for x.
3
Let z be (-616)/231*(-54)/8. Solve -2*u + z = 4*p, 3*p - 9*u - 12 = -10*u for p.
3
Let o be (5 - 1)*(2 + -1). Suppose 12*j = 14*j - o. Suppose 4*l = 22 - j, 5*y = -l + 115. Solve 3*s + s + y = 2*t, s = 3*t - 13 for s.
-4
Let t = 12 + -8. Let c(h) = h**3 - 4*h**2 + 5*h - 102. Let q be c(6). Solve x = -q*p - 2*p - 2, -t*p + x = -8 for p.
1
Let p(h) = h**3 - 17*h**2 + 15*h + 22. Let k be p(16). Suppose 5*r + 6 - 21 = 2*q, -4*r = -2*q - 10. Solve x = -2*x - 4*j - r, -x + 3*j - k = 0 for x.
-3
Let s(u) = u - 1. Let y be s(6). Let f = 71 + -71. Suppose f = -y*z - 2 + 12. Solve z*o + 6 = 4*i, 5*i - 3*o + 1 - 8 = 0 for i.
2
Let v be 5*-1*3/(-2 + 1). Suppose -16*c + 13*c + v = 0. Solve c*f - 4*d = f, d + 2 = -f for f.
-1
Let m be ((-28)/(-8) - 0)*4. Let g = m - 11. Solve -2*d + g*v = 11, 3*d - 5*v + 21 = 2 for d.
2
Let g be (150/(-20))/((-1)/2). Suppose 4*v + b = g, -v + 13 = -2*b - 2. Solve 0 = -v*k - 20, -4*k - 11 = 4*n + 25 for n.
-5
Let m(r) = r - 15. Let n be m(17). Suppose -l - 6 = -4*q + 6*q, n*l = -3*q - 9. Solve 0*p = -3*o + 3*p - 12, l = 5*o + 2*p + 13 for o.
-3
Suppose -10*n = -5*n. Let z be 2 + 1 + n + 1. Solve 4*a + 36 = 5*u, z*a + 6*u = 3*u - 4 for a.
-4
Let g = 111 - 111. Solve g = -2*h + 5*h - m + 14, 2*h + 3*m = -2 for h.
-4
Let c be (2/(-4))/(1/(-2)). Let j = 3 + c. Suppose 0 = g - 3*g - 3*m + 18, 0 = -2*g - m + 10. Solve -4*u - 5*f = 1 + g, -3*f = 4*u - j for u.
4
Suppose 3*g - 55 = 4*a - 9*a, -2*a = 3*g - 49. Let n be g/3 + (1 - 4). Solve -3*v - 2*j + 2 = -4*v, -n*v = -j + 1 for v.
0
Let r(w) = -2*w**2 - 33*w - 68. Let o be r(-14). Solve 2*z = o*a, 3*z + 4*a - 14 = -0*a for z.
2
Suppose f = 11 - 37. Let n = f - -34. Suppose -6*v + n = -2*v. Solve -4 = -3*d - 5*t 