+ 14 for k.
-2
Let j(c) = 13*c**3. Let g = 33 - 32. Let i be j(g). Suppose -u - 6 = -3*a, a - 5*u + 3 = -3*u. Solve -m - 7 = m - s, a*m + s = -i for m.
-4
Suppose 5*s - 385 = 6*g - g, 4*g - 5*s = -309. Let i = 100 + g. Solve -4*v + 3*h - 28 = 0, -2*v + v + 5*h - i = 0 for v.
-4
Suppose 5*b + 27 = 8*b. Let o be b/(-27)*(-1 + 1). Solve -n - 29 = -5*l, -3*l - l + 20 = o for n.
-4
Let w = 14 - -3. Suppose m = -2*m - 15, w = q - 2*m. Solve 3*k - 16 = q*k - c, -5*c - 20 = 0 for k.
-5
Let i(x) = 11*x + 9. Let b(h) = -h - 1. Let k(a) = -6*b(a) - i(a). Let o be k(-5). Let c = o - 22. Solve c = -2*n - w + 5, w + w = 6 for n.
1
Let d = -3 - -19. Suppose 0*w - d = -8*w. Let u be 16/(-6)*(-6)/4. Solve i - 4 - 3 = 2*v, 2*v + u = w*i for i.
-3
Suppose -3*y = 4*y. Suppose -4*l - 4 = -y. Let p be (4/(-3))/(l/9). Solve 4 = -3*n - 2*n - u, n = 3*u + p for n.
0
Let r be 5/5 + 6 + -4. Solve o - r*d = -0*o + 12, -3*d = o + 6 for o.
3
Suppose 9 = 66*a - 63*a. Solve o + 19 = -4*j, -a*o = -o - 5*j - 14 for o.
-3
Suppose 4*l + 0*l = -5*r + 49, 0 = r - 5. Let z = 36 + -32. Suppose 23 = 4*f + z*n + 7, 0 = -5*n + 5. Solve -2*a - 15 = f*j, 4*j - l*a + a + 20 = 0 for j.
-5
Let k be (20/6 - 1)*60/70. Let z(s) = -18*s - 1. Let g be z(-1). Solve -k*y + 2*p + 10 - 2 = 0, -3*p - g = -4*y for y.
5
Let k = 40 - 22. Let l be 36/20 - (-1)/5. Let q = 4 - l. Solve 6 = q*y + y - a, -4*a + k = 2*y for y.
3
Let y be 4/3 - (-140)/12. Let k = y + -10. Suppose 3*q + k = 12. Solve 6*r + 6 = q*r, -2*r = -s + 4 for s.
0
Suppose 4*q = 2*q - 16. Let z be 66/q + (-2)/(-8). Let d be (-35)/14*z/10. Solve o + 2*o = d*b + 15, 2*o - 6 = 0 for b.
-3
Let u(s) = s**2 - 14*s - 144. Let a be u(-7). Solve 4*g = -5*c - 0*c - 12, 0 = a*g + 3*c + 6 for g.
2
Let n = 128 - 128. Solve k = -5*a + 5, 8*a - 4*a - 3*k - 4 = n for a.
1
Let p(t) = -t**3 - 26*t**2 - 68*t + 26. Let j be p(-23). Solve -11 = 3*b - 2*s, 4*s = -0*b + b - j for b.
-5
Let m(c) = -c**2 + 5*c + 21. Let p be m(7). Solve -2*t + p*t + 4*k + 7 = 0, -4*t + 1 = k for t.
1
Let h = -10 - -24. Suppose -h = 2*a + 2. Let j(o) = o**3 + 7*o**2 - 8*o + 5. Let t be j(a). Solve -2*n - 8 = -4*b + 8*b, -t*b = 2*n + 12 for b.
-4
Suppose -5*k + 12 = 4*r, -r + 3 = 3*k - 0*k. Solve 0 = -5*x + r*b, 0 = -3*x - 3*b - b for x.
0
Let h be -25 + 17 - (-2)/(4/22). Solve -2*j = -h*j - n - 1, 0 = -4*n for j.
-1
Let z be 28 + 7 + -1 + -4. Suppose n = -5*n + z. Solve 3*q + 0*f - 9 = n*f, 2*q = -f - 7 for q.
-2
Let f(c) = -c + 21. Let h be f(13). Suppose 0 = 5*z + 4*p - 20, -h - 8 = -4*z + p. Solve 0 = -4*i + z, -4*m - 2*i + 5*i = -13 for m.
4
Suppose -84 = -8*f - 60. Solve 2 = -t + 4*t + 2*c, 0 = -f*t - 4*c - 2 for t.
2
Let w be 462/18 + (-3)/(-9). Let k = w + 1. Let q be (3 + 7 + -2)/2. Solve q*s + 27 = 3*j, 5*j - 13 - k = 5*s for s.
-3
Let p = -237 + 240. Solve o = p, 8 = v - 2*o + 4*o for v.
2
Suppose 13*u = 18 + 8. Solve -u*c = 6, -5*r - c = -4*r + 8 for r.
-5
Let s be 4*2/8 + 2. Let b be (s/(-2))/(9/(-24)). Let w = 8 + -1. Solve -3*g + w = -b*f, -6*f = -2*f + 4*g - 28 for f.
2
Suppose -116 = -19*y - 40. Solve 18 = 2*r - 8*w + y*w, 4*w = r - 13 for r.
5
Let l(p) = -2*p + 3. Let y be l(4). Let b = 7 + y. Let m be (-1 - b) + 16 + -7. Solve 0 = -o - 3*g - 16, m*o = 2*o - 5*g - 36 for o.
-4
Let r = -22 - -23. Let q be (-122)/(-8) - r/4. Let l = q + -12. Solve 3*w - 16 = b + l*b, -5*b = -2*w + 20 for w.
0
Let h be 12/(-42) - (-170)/7. Suppose 0 = 4*k - h + 4. Solve 0 = t + i - 3, -4*i + 12 = -2*t + k*t for t.
0
Suppose 213*s - 50 = 203*s. Solve 0 = i + 5, -s*z + 4*i - 13 = -33 for z.
0
Let x be -1 + 6 - (2*-10)/1. Solve -4*b - g + 20 = g, 0 = 5*b + 4*g - x for b.
5
Suppose -28*m = 26 - 82. Solve 6 = -2*p - 2*h, 0 = -4*p + 2*h - m - 22 for p.
-5
Let u = -17 - -20. Let h be (-288)/(-20) + u/5. Suppose g - 8 = 3*b + 7, -3*g + 3*b = -h. Solve g = 3*k - 2*i - i + 6, 0 = 2*i - 6 for k.
1
Suppose -2*c + 4*t = -4, -5*t - 8 = -3*c - 0. Solve 2*z = x - 2, 4*z + 4*x + c = -10 for z.
-2
Let l = 38 - 34. Suppose 12 = -4*s + l*o, 0 - 10 = -2*o. Solve -4*d + 12 = -s*w, -w = 2*d + 2*w - 14 for d.
4
Let q(g) be the third derivative of g**5/60 + g**4/8 - g**3/3 - 2*g**2. Let r be q(1). Solve -3*p = n - 9, -n - p = -r*p + 3 for n.
0
Suppose 3*o - 5*q = -15, 0 = -2*o + 4*q - 7 - 5. Solve 0 = -2*i + 3*i + 5*l + 5, o = -4*i - 2*l - 20 for i.
-5
Let n(b) = -b**2 + 41*b - 309. Let p be n(31). Solve 0*v + 3*v - p = c, 0 = -4*v + 4 for c.
2
Suppose 8 + 2 = 5*m. Let i be (2 - (-42)/(-18)) + m/6. Suppose r + 3 = 2*r. Solve -n + 7 = r*q, 3*q - 2*n - 5 + 1 = i for q.
2
Let o(d) = d**2 - 3 - 6 + 1 + 3*d + 4. Let w be 2/(-3) - (-13)/(-3). Let a be o(w). Solve -2*f = -2*y + a, -f = 4*y - 6*f - 11 for y.
4
Let m(w) = -5*w**3 - 1. Let y be m(-2). Let p be ((-15)/9 + 2)*y. Let z = 958 + -956. Solve -b + 4*u = -z, -2*b - 3*b - 3*u = p for b.
-2
Let s(h) = h - 1. Let r(i) = 2*i + 7. Let l(b) = r(b) - 3*s(b). Let q be l(-8). Solve -3*a = 4*c + 3, q = 2*a + 2*a - 2*c for a.
3
Let z(x) = -x**3 - 12*x**2 + 14*x + 16. Let n be z(-13). Solve -t = g - n*t + 12, -g = 5*t - 16 for g.
-4
Let t be 4/(-18) + ((-1624)/36)/(-14). Solve g + 6 = -2*v - 0*v, 0 = -t*v - 3*g - 9 for v.
-3
Let b(f) = f**2 - 8*f + 11. Let j be b(7). Let y(t) = -t + 11. Let u be y(6). Solve 3*g + j = -3*k + 7*k, -3*g + u*k = 8 for g.
4
Let y be (0/2)/1*(103 + -102). Solve -3*o + 22 = -4*q, y - 18 = 3*q - 3*o for q.
-4
Let n = -1 + 6. Suppose -8*f = -n*f - 6. Suppose f*o - 13 = 27. Solve -4*j = -5*d - o, -3*d + 2*d - j = -5 for d.
0
Suppose 10*h - 57 + 27 = 0. Solve 3*x - 21 = h*p, -5*p - 4*x = -5*x + 15 for p.
-2
Let l be 2/(2/(-6) + 205/246). Solve -l*p + v + 4 = 0, -p - 2*v + 10 + 0 = 0 for p.
2
Let k(t) = -5*t**3 + t - 1. Let f be k(1). Let b be 6*(20/(-6))/f. Let y be b - (2 + -1 + 0). Solve s = r + y - 4, 3*s + 2*r = 22 for s.
4
Let t(i) = i**2 - 14*i + 20. Let f be t(8). Let v = f + 38. Let o be ((-24)/v)/((-30)/100). Solve 3*k - 4*l - o = 0, -2*k - k - 37 = 5*l for k.
-4
Suppose -2*g + 60 = 2*g. Let z(f) = f**2 - 5*f - 3. Let w be z(-2). Let p = g - w. Solve -2*o = p*v - 2, 0*o - v = -3*o - 11 for o.
-3
Suppose 0 = q + 4*b - 21, -3*q - 2*b = -3*b - 11. Solve -2*g = 3*g, 5*g = q*w + 10 for w.
-2
Let f be (30 - 0 - -1) + 2. Let a = -29 + f. Solve 4*o - k = -12, o - a*k = k - 22 for o.
-2
Suppose 0 = -4*i - 4*s + 58 + 6, -i = -2*s - 1. Suppose -2*k - 16 = -6*k. Solve -x + 2*x = k*w, -w - i = -3*x for w.
1
Suppose 3*x - 94 = -4*h, 5*x - 56 = 3*x + 4*h. Let p = 34 - x. Suppose -v = -p*v. Solve -3*s = w - v*w - 7, -4*w - s = 16 for w.
-5
Suppose 31 = 3*a - 5. Suppose 0 = -6*g - 0 + a. Solve -16 = 2*u - 5*p - 5, 2*u + 4*p = -g for u.
-3
Let a(o) = o**2 - 16*o + 15. Let j = -58 + 103. Let z = -30 + j. Let r be a(z). Solve r = -2*m - n - 7, m = -3*n - n + 7 for m.
-5
Let f = 9 + -9. Suppose 2*d - 2 = c, -7 = -c - d - f*d. Let w be 16/4*2/c. Solve -2*i - 10 = -7*i - 5*x, w*x = 2*i + 4 for i.
0
Let b = 3 - 6. Let a be (2/4)/(b/6). Let y be ((-7 - a)/2)/(-1). Solve 0 = n - 1, v - y = -3*n for v.
0
Let g(p) = 2*p**2 - 3*p - 39. Let d be g(6). Solve 0 = -2*o + 2*v - 17 + d, 1 = 3*o - v for o.
1
Let h = 17 - -6. Solve 0 = -q - 4, f + 1 = -5*q - h for f.
-4
Let x be 156/11 + 14/(-77). Let k = -3 - x. Let q = -12 - k. Solve q*i + 0*l = -l + 21, 3*i - 5*l - 35 = 0 for i.
5
Let o be (0 - -2) + -14 + 5. Let f = -10 - o. Let z be -2 + -1 + (f - -6). Solve -5*s = 2*m - 2, z = -3*m + 6*s - 2*s + 3 for m.
1
Let j = 13 - 9. Let o = 28 + -25. Suppose 2*c + o*t - 4 = -0*t, 5*c + 2*t = 10. Solve -u - 5*q - 12 = -4*u, -j*u = c*q + 10 for u.
-1
Suppose -2*p + g = -11, 0*p - p - 4*g - 8 = 0. Let u be p/16 + 15/4. Let w be (-5)/8*-4*(-3 + 5). Solve 0 = 3*y - 4*j + 3*j + 1, -w*y - u*j = 30 for y.
-2
Let z be (3 + 0)/(-9 - 3024/(-333)). Solve 5 = 5*j + 3*h, 6*j - 5*h - z = 3*j for j.
4
Suppose c + 23 = 28. Solve c*f + 5*l + 5 = 15, 3*f + 4*l - 4 = 0 for f.
4
Let a = 1230 - 1217. Solve -4*x + 5*s - 10 = 0, 0 = 5*s + 3 - a for x.
0
Let s = -1154 + 1161. Solve 0 = -3*p - s*n + 10*n - 24, 4*n = 3*p + 27 for p.
-5
Let g = 133 - 103. Suppose 0 = -0*p - 5*p + g. Solve -2*j + 16 = 5*h - 4*j, 3*h + 4*j = -p for h.
2
Let t = 16 - 43. Let g be (-141)/t + 2/(-9). Solve -g*a - z - 4*z + 45 = 0, 3*a - z = 7 for a.
4
Suppose 52*n = 4*n + 432. Solve -3 = 4*k + o + 10, 3*o - n = 0 for k.
-4
L