 6 for k.
-2
Let m be ((-3)/(6/13))/(8/(-16)). Let z(c) = -7*c + 1. Let v be z(-1). Suppose 112 = -34*n + 62*n. Solve q = n*q - k - m, k + v = 2*q for q.
5
Let h be ((-75)/(-60))/(1/16). Solve 0 = 3*g - 4*b + 8*b + 15, -h = 4*g - 3*b for g.
-5
Let l be -5*(2 - (1 + 0)). Let g(p) = 2*p + 13. Let n be g(l). Suppose -4*h - v + 17 = 0, -n*v = -3*h - 5 - 1. Solve r - 3*d = 3*r - 4, -2*d = -h*r + 19 for r.
5
Let v(b) = -b**2 - 66*b - 1038. Let s be v(-26). Solve 8 = -s*w - z, 16 = -5*w - z + 2 for w.
-2
Let q be (-80)/(-36) + (-2)/9. Let n(l) = 94*l**2 - 188*l + 5. Let m be n(2). Solve q*y - 5*z + 11 = 0, 4*y - 3*y + z - m = 0 for y.
2
Suppose -10*d + 5*x - 15 = -15*d, 2*x - 6 = -5*d. Suppose d = 7*v - 12 - 23. Solve -4*m = v*r + 20, 5*m - 3*r + 8 + 17 = 0 for m.
-5
Let v be 19/(-114) + 2/(12/103). Suppose -v*r = 2*r - 38. Solve -2 = -r*t + t, 0 = 5*u + 4*t - 13 for u.
1
Let b = 13 + -49. Let q be 12/b + 268/(-6). Let n be (-8)/6*q/20. Solve n*y + 9 = -0*m + m, -2*y = -4*m - 4 for y.
-4
Suppose 128*y + 8460 = 147*y + 169*y. Solve 2*p + 5*o - 19 = 0, -44*p + y*p + 23 = 4*o for p.
-3
Let b be (1/(30/50) + -1)*(-9)/(-1). Solve 0*x - 16 = b*k - 2*x, 5*k + x + 24 = 0 for k.
-4
Suppose 5*z + 60 + 28 = 13*z. Solve -3*t + z = 4*i, -9 + 39 = -5*t + 3*i for t.
-3
Let f = 3814 - 3786. Solve o - 3*a - 18 = 0, f = 5*o + a + 18 for o.
3
Let g(i) = i**3 + 11*i**2 + 14*i - 17. Let z be g(-8). Let n be z/(-14)*-1*(-6)/(-9). Solve n*x + m = -12, 0 = 2*m + 6 for x.
-3
Suppose 0 = -5*q + 17*u - 22*u + 40, 3*u - 32 = -5*q. Solve -x + 4*z - z = 19, q*z = 5*x + 40 for x.
-4
Suppose -70895 = -16*m - 70799. Solve 2*b - 3*o + 12 = 0, m*b - 5*o + 20 = b for b.
0
Let y be ((-2)/(-4)*0)/(-2 - -1). Suppose 4*u - 8*u - 4*n = 4, 2*n + 26 = 4*u. Solve u*x = 4, y*v + 3*v = 3*x for v.
1
Suppose -15*x = -4*h - 16*x + 103, -x = h - 22. Solve 5*v + 0 - h = -4*z, 0 = -2*v + 2*z for v.
3
Let q(w) = w**3 - 12*w**2 + 13*w - 20. Let o(z) = -z**3 - 28*z**2 + 166*z + 44. Let x be o(-33). Let b be q(x). Solve 2*n - 1 = b*f - 5*f, n - 17 = 4*f for f.
-3
Let d = -2665 - -2668. Solve 0*x = 4*x - 3*m - 5, 4*m = d*x - 2 for x.
2
Suppose -4*a - 32 = -8*a - 4*k, 2*k - 25 = -3*a. Suppose 0 = 6*r - 3 - a. Solve 0 = -3*m - 15, -r*m = -5*f - 4*m + 10 for f.
4
Let k(p) = -8*p + 2. Let b be k(5). Let r = -15 - b. Let l = -1 + r. Solve 0 = -4*o - 0*n + n - l, 4*o + 26 = 3*n for o.
-5
Let h(i) = i**3 + 11*i**2 - 3*i - 30. Suppose 14*s + 308 = -14*s. Let z be h(s). Solve -2*r = 4*q - 10, z = 3*q - 2*r - 1 for q.
2
Let d = 357 - 340. Solve 2*x + d - 36 = 3*y, -3*x + 6 = 3*y for y.
-3
Suppose -2*y = 38 + 112. Let n = y + 78. Solve -z - 2*x - 1 = 2, -n*z = x - 11 for z.
5
Let r be 18/(-15) + 31/((-930)/(-96)). Solve 3*b = -9, -r*u - 6 = -b - 1 for u.
-4
Let p = 2199 + -2199. Solve p*t + 2*z + 12 = 3*t, 0 = -5*t + z + 20 for t.
4
Let y(a) = 2*a**3 - 52*a**2 + a - 22. Let r be y(26). Solve 0 = k + r*s + 11, -3*s = -4*k + 32 for k.
5
Suppose 5*z - 9*z = -24. Suppose k + 15 = z*k. Suppose -f + 2*q = 3*q - 4, -5*f = -2*q - 6. Solve f*i = -5*r + 4, k = 3*i - 2*i + 3*r for i.
-3
Let y = 37 - 23. Let x(n) = 4*n**2 - 1. Let m = -16 + 15. Let v be x(m). Solve -4*q - 2 = 6, -y = 4*o - v*q for o.
-5
Let y(w) = 6*w - 1 + 3 - 2 - w**3 - w**2. Let k be y(-3). Suppose k = -3*z - 9, -21 = -x - 2*x + 4*z. Solve 5*f + 5 = -5*j, -5*j - 3 = -2*j - x*f for j.
-1
Let x = -21 + 26. Suppose -x*r = 4*r - 90. Suppose 18 - r = w. Solve -w = -4*h, -d = d + 4*h for d.
-4
Let y = -2753 - -2757. Solve 5*a + 5*c = 0, -7 + 4 = a + y*c for a.
1
Let z(r) = -r**3 - r**2 + r + 1. Let b be 8/20 - (-15)/25. Let t be z(b). Solve 5*u = 2*g + 1, -g + t*g - 3 = -5*u for g.
2
Let q be ((-2)/(-6))/(10/120). Let w(n) = -n**3 + 6*n**2 - 10*n + 8. Let k be w(q). Solve k = b - 3*b - 8, 0 = s + 2*b + 3 for s.
5
Let y(c) = -3*c + 134. Let i be y(44). Suppose 0 = -i*x + 4, -5*x + 16 + 0 = 3*f. Solve 2*l + 6 = -4, -5*l = -f*o + 15 for o.
-5
Let f(m) be the third derivative of -m**5/60 + 7*m**4/24 + 7*m**2. Let r be f(5). Let j = -6 + r. Solve 2*g - 4 = 0, -j*g = -3*x - 2*g - 16 for x.
-4
Let a(y) = y**2 - y - 2. Let k be a(3). Let p = 9365 + -9362. Solve -s - 4 = k*c - 0*s, 12 = -p*s for c.
0
Suppose -v - m - 3 = -2*v, -5*m = 3*v - 25. Solve -g + 5 - 28 = 5*x, 0 = -v*g - 3*x - 27 for g.
-3
Let b be (235/(-35) - -5)*56/(-16). Solve 0 = -2*z - n + 1 + 6, 0 = 2*n + b for z.
5
Let u = 16262 - 16262. Solve 67*j + 8 = -2*x + 69*j, u = -3*x - 3*j + 6 for x.
-1
Let d = 246 + -101. Suppose 10*y = -105 + d. Solve -2*b - 6*h + 2*h - 20 = 0, b + 18 = -y*h for b.
-2
Let x(t) be the first derivative of 14*t**2 - 3*t + 2. Let i be x(1). Suppose 15*r - i = 10*r. Solve -4*s + 0 - 18 = v, 0 = 2*s - r*v - 2 for s.
-4
Let k(x) = 3*x**2 - 17*x - 6. Let t be k(8). Let b be 24/36 + t/(-3). Let i = b - -20. Solve -2*q + 10 = -i*g, 2*q = 2*g + 5*q + 9 for g.
-3
Suppose -4*t - 2 = -6. Let f be ((-3)/2 - t)/(3/66). Let w = f + 59. Solve -2*p = 5*k - 0 - 2, -4*p = k - w for p.
1
Suppose 14*v = 37*v - 920. Suppose -16 + v = 4*p. Solve -5*m + z = -6, -5*z + 14 + p = 0 for m.
2
Suppose -w - 3*w + 4 = -2*z, -10 = -3*w - 2*z. Let g = w + 0. Suppose -3*t = -3*d, -5*t + 2*d + 6 = -t. Solve g*v + 11 = 2*j + t*v, -4*v = -3*j for j.
4
Let z(g) be the third derivative of -g**4/3 + 10*g**3/3 - g**2 + 166*g. Let b be z(0). Solve -12 = -4*k - 2*d, b = -9*d + 4*d for k.
5
Let i be (-768)/84 + 2 + 52/(-28). Let y(n) = 2*n**2 + 20*n + 25. Let j be y(i). Solve -4*b + j = 5*h - 6, 3*h - 7 = -2*b for b.
2
Let t be 4*25/(-40)*10. Let a be -2 + t/((-150)/36). Solve -4 = -2*b - 0*b + 3*o, -4*o = -a*b + 8 for b.
2
Let z(o) = 2*o**3 + 94*o**2 + 449*o + 9. Let b be z(-6). Solve -x - 4*s - 281 = -b, -3*x = 5*s + 14 for x.
2
Let j(z) = -379*z - 4923. Let c be j(-13). Solve -30 = 3*u - 5*p - 29, -c = -2*u + p for u.
3
Let v = 2244 - 2242. Solve o + 20 = -v*o + 4*p, 15 = 4*o + 3*p for o.
0
Let w = 571 - 478. Let a be w/(-248) + 59/8. Solve -3*t + 4*j + a = -12, -3*t - 2*j + 13 = 0 for t.
5
Let p be ((-30)/14)/((-134)/938). Solve -5*n + 2*l - 5 = -20, 4*l - p = n for n.
5
Suppose -2*o + 533 = -3*v + 523, 0 = -5*v + 20. Solve -4*d + o*i + 42 = 0, 5*d - 28*i + 30*i - 21 = 0 for d.
5
Let b(f) = 27*f**2 + 5*f - 6. Let r be b(2). Suppose -3*s - 97 = -r. Solve -1 = t - z, 0 = 6*t - 2*t + s*z - 14 for t.
1
Let b(r) = 4*r**3 - 31*r**2 - 6*r - 19. Let q be b(8). Let f(v) = -4*v**2 - 16*v - 12. Let a be f(q). Solve -5*u = -2*t - 12, a*t + 4*u - 10 = 2*t for t.
-1
Let r be (48/(-168))/((-1)/42). Suppose r*i - 288 = -0*i. Solve 4*p - i = -4*l, 4*p + 16 = 4*l - 0 for p.
1
Let p = -7229 - -7229. Solve 4*m + 5*f = 3*f - 18, p = -2*f - 10 for m.
-2
Let i be (-78)/507 - 6/(-39). Solve -w = g - 2, 4*w - 5*g - 35 = -i*w for w.
5
Suppose -19*i + 5*w = -14*i + 15, 2*i + 2*w - 14 = 0. Solve -g + h = 0, 0 = 5*g + i*h - 22 - 6 for g.
4
Let o(m) = 46*m + 4450. Let t be o(-96). Solve -32*q + 5*y = -t*q - 1, 0 = 4*q + 4*y + 8 for q.
-3
Let l be (-4)/(-6) + (-20)/12. Let y(o) = -2*o - 1. Let v be y(l). Let x = -4006 - -4006. Solve 4*z - 12 = x, -5*u + v + 1 = 4*z for u.
-2
Let t be (-308)/49*(-7)/2. Suppose -6*g + t + 74 = 0. Let n = 10 + -5. Solve -11 = -5*j - 6*h + 2*h, -4*j = n*h - g for j.
-1
Suppose 4*x + 3*n = 37, -10*x - 24 = -13*x - 3*n. Let p be 50/18 + 16/72. Solve -q - x = 3*i + p*q, 0 = -i + q - 2 for i.
-3
Let l be ((-3)/2)/(1/(-6) - 0). Suppose -l*t = -0*t - 18. Solve 3*q + 6 + 2 = t*z, 2*q = 4*z for z.
-2
Let g = -96 - -98. Suppose -492 = 2*z - 502. Solve -z*b + m - 7 - g = 0, -5*b + 5*m = 25 for b.
-1
Suppose -q - y = 2, -70*y + 18 = q - 73*y. Solve 0 = 4*n - 2*n - q*k + 7, -4*k = 5*n - 17 for n.
1
Suppose -4*k + 81 = -k. Suppose k - 28 = -o. Let b be 0 - (o/(-4) - 5/(-20)). Solve h - m - 1 + 4 = b, m - 15 = 5*h for h.
-3
Suppose -2*x + 0*x = -10. Let u be (-3 - 0)/(3 - 4). Suppose u = 3*n - 6*n, 4*n = -2*r + 24. Solve 0*y = -x*k + y - r, -3*k - y - 2 = 0 for k.
-2
Let k = -1 + 1. Suppose 3013 = 493*w + 548. Solve -3*d + 10 = 4*y - w, -4*d - 5*y + 20 = k for d.
5
Suppose -155*p = -164*p + 18. Solve -8 = -p*l - 0*z + z, 4 = -2*z for l.
3
Let o = 4493 + -4493. Solve o = 3*w - 3*x, 5*w - 10*w = 3*x + 40 for w.
-5
Let n be (-303)/(-21) + -8 + (-480)/(-56). Suppose 2*r - 31 = 2*g - 3*r, -2*r = -4*g - 54. Let s = g + 21. Solve -4*f - s 