k) = k**3 - 15*k**2 + 4. Let t be r(15). Let v be (-5 - -3)*(-3 - 1). Suppose -t*b + 4 = -v. Solve 4*a - b*m - 16 = 0, -2*a + a - 11 = 3*m for a.
1
Suppose -2*z - 2*j + 246 = 0, 7*z - 10*z + 4*j = -355. Suppose 0 = 102*l - z*l + 57. Solve -2*t + c + 2 = -1, l*t + 9 = -3*c for t.
0
Let n = -359 - -392. Let w = 39 - n. Solve 6 = -j - 4*a, -4*a + w = -7*j + 2*j for j.
-2
Let o be 2/(6/(-6))*139/(-2). Suppose -154*t + 15 = -o*t. Solve b + t = -d, -b + 3*d + 0*d - 1 = 0 for b.
-1
Let n = 203 + -210. Let r be 5 + 2 + 2 + n. Solve 5*t + 35 = -5*j, 30 = -r*j - 4*t + 12 for j.
-5
Let f(a) = -a**2 - a + 12. Let r be f(-4). Suppose r = 4*m - 3*n - 27, -5 + 15 = -2*n. Solve -3*j = 3*w + j - m, -3*j = 3*w - 3 for w.
1
Let a be (11 - 519 - 1)*1/1. Let o = 511 + a. Solve -2*s - 3*j - 1 + 26 = 0, s = o*j - 5 for s.
5
Suppose 8*y - 34*y + 302 = 42. Solve -5*d + 0*d - y = 5*z, 0 = -2*z + 6 for d.
-5
Let v be 32 - (-252)/(-45 + 24). Solve 188*d - 185*d + v = 5*h, 0 = -4*d - 5*h + 20 for d.
0
Let h be 17 + (-4 - (6 - (4 - -1))). Suppose 3*f + h = -5*n, 0*n + 4*n + 20 = -5*f. Solve -3*j = 4*r + 7, n*j + 4*r = j + 13 for j.
-5
Suppose 3*n - 2*x - x = 12, -2*n - 3*x = -13. Suppose -4*y + 2*y = -n*y. Suppose -3 + 10 = 2*u - w, y = 2*u - 3*w - 9. Solve -3 = 3*j + t, 0*t = t - u for j.
-2
Let v = -50208 - -50213. Let w = 3 + -3. Solve w = 2*u - 4*l + 10, -v*u - 3*l - 31 + 6 = 0 for u.
-5
Suppose -5*u + l = -2*l - 95, 2*l - 38 = -2*u. Let y = 1 - -3. Let p be 100/18 + (464/(-36))/(-29). Solve 2*v + y*x - p = 0, x = 4*v + 2*x - u for v.
5
Let h = -4 - -6. Let d(k) = 4*k**3 + 71*k**2 - 18*k + 3. Let t be d(-18). Solve 0 = -h*b + t*m - 0*m - 3, b - 2*m = -3 for b.
3
Let c(x) = -7*x**2 - 8. Let t be c(4). Let i = t + 128. Solve 2*g - i = 2*s, 4*s - 13 = -2*g + s for g.
5
Suppose -10 = -2*u - 3*u. Let v(q) = 11*q - 29. Let l(t) = 56*t - 144. Let r(c) = 3*l(c) - 16*v(c). Let p be r(4). Solve u*x + x - 4*j = 1, p = -x + j for x.
-1
Let j be (-8 - 432/(-63))/((-4)/14). Suppose 15*y = -j*y + 95. Solve 2*d + 3*d - 45 = y*v, -4*v = d + 16 for d.
4
Let r be (-29 - -270) + 1*6. Let q = r + -224. Solve -4*n - q = -0*n - 3*d, 3*d = 3*n + 21 for n.
-2
Let t(k) = -k + 11. Let l be t(6). Suppose -5*f + l + 5 = 0. Let i be (-2 + f)/((-11)/(-11)). Solve 0 = -a + 2*a - 4*j + 5, -5*a - 5*j = i for a.
-1
Let d(o) = -20*o**2 + 43*o + 9. Let x(h) = 7*h**2 - 14*h - 3. Let v(z) = 6*d(z) + 17*x(z). Let a be v(20). Solve -3*l = 2*f, -a*l - 4*f = -0*f for l.
0
Suppose -6*q + 3*j + 15 = -4*q, -15 = -q + 4*j. Suppose 3*c - 9 = 2*p - 5*p, q*c = -p + 9. Solve 5*i = 4*l + 7, -i + 3 = -2*i + c*l for i.
3
Let w = 104 + -101. Suppose m - 5 = -2*h, 14 - 4 = -h - w*m. Solve -4*a - 32 = -4*c, -h*a = -c - 9 + 33 for a.
-4
Let o(k) = -17*k**2 + 18*k**2 + 15 - 15 + 2*k. Suppose -4*r + 13 = 5*u, r - 2 + 25 = 4*u. Let l be o(r). Solve 4*v - 15 = n, -l*v - 4*n + 15 = -1 for v.
4
Let a be (5 - 4) + 0 + 10. Suppose 10*t = -a*t + 105. Solve 18 = 3*d + t*x, 2*d - 3*x + 5 = -2*d for d.
1
Suppose -i = 4*l - 28, 7 = l - 31*i + 29*i. Solve -o + 5*x + 8 = l*x, o + 5*x = 20 for o.
0
Suppose 3*s + 31 = -0*z + 2*z, 4*s = -3*z + 38. Suppose 0 = -z*n - n + 4*n. Solve u + 5*f + 5 = -4*u, n = 4*u - 4*f + 36 for u.
-5
Suppose -115 = -5*n - 7*a + 2*a, 0 = -4*n + 5*a + 47. Let u = n - 21. Let v be u/6*((3 - 3) + 0). Solve -4*y - j - 4 = 0, v = -2*y + 4*y + 4*j + 2 for y.
-1
Suppose 0 = -3*y - j + 85 + 6, y = -j + 29. Solve 5*m + 36*k = 40*k - y, 3*m - 5*k + 29 = 0 for m.
-3
Let g(z) = z**2 + 3*z - 15. Let u be g(-7). Let v be (3/2)/((21/(-36))/7). Let f = 23 + v. Solve f*x = -5*w + u + 22, -2*x = 3*w - 18 for w.
4
Let a = 167 + -223. Let c(p) = 52*p. Let i be c(-1). Let u = i - a. Solve 2*y + u*t + 25 - 9 = 0, -12 = y + 4*t for y.
-4
Let n = -96 - -111. Solve a - 2 = 3*u, -3*a + 7 = -2*u + n for u.
-2
Let r be ((-40)/15*(-11)/((-154)/(-63)))/1. Solve -4*b + r = -4*i, i = -37 + 38 for b.
4
Suppose d - 15 = 2*v, -158*d + v + 57 = -153*d. Solve 6*p - d*p + 4 = -2*f, 10 = -5*f - p for f.
-2
Let o(v) = 4*v**2 - 4. Let s be o(3). Let x be (-6)/(-15) + s/20. Let d = 37 - 37. Solve 3*i - 2*t - x*t + 23 = 0, 4*t - 20 = d for i.
-1
Suppose 4 + 4 = 5*p - 2*i, 3*i = -3*p + 9. Suppose 117*x + 660 = 183*x. Solve -5*u - x = w, -2*u - 6 = -5*w - p for w.
0
Let r = 32548 - 32543. Solve -4*g - r*l + 57 - 26 = 0, 3*g + 5*l - 27 = 0 for g.
4
Let z = -24025 + 24030. Suppose -5*t = -7*t + 2. Solve u + p + t = z*u, 0 = -5*u - 4*p - 4 for u.
0
Let l(v) = 17*v - 608. Let m be l(36). Solve -z - x + 3 = -1, -5*x + 21 = m*z for z.
-1
Let y(g) = -18*g**2 - 723*g - 117. Let b be y(-40). Solve b*i = -4*m, -34*i + 36*i - 4*m = 20 for i.
4
Suppose -23*m + 126 = -14*m. Solve 0 = -2*x + c + 7, m*x + 4*c - 17 = 13*x for x.
5
Suppose 2*s = -4*z - 74, 2*s - 5*s = -4*z + 161. Let t = 49 + s. Solve -5*w + 3*c - t*c + 7 = 0, -c - 1 = w for w.
1
Let k(c) = c + 60. Let q be k(-56). Solve q = u + 2*v, 5*u - 1 + 5 = -4*v for u.
-4
Let w = 28 - 28. Let j be 3 - (0 + (w - -3)). Let c be (34 - 18)*1/2. Solve j = -4*y + c, y + 5 = -3*m - 2 for m.
-3
Let u be 3 + 5 + (-880)/176. Solve -4*n = u*h + 3, 6*h = 4*h - 10 for n.
3
Let h be 32/(6/3 - 0/3). Let l be ((-9)/5)/1*(1 - h). Solve -3*i = 5*u - l, 2*u + i - 4 = 6 for u.
3
Let g be 3*46*(-3)/6*-1. Let p = g - 59. Let t be (-5)/p + (25/2)/5. Solve 2*h + 9 = -k, -t*h + 13 = -5*k + 4 for k.
-3
Suppose 4*z - 14 - 12 = -2*d, -24 = -z - 4*d. Suppose -41 = -5*i - 3*h - h, z*i - 4 = 4*h. Solve 15 = -v + i*k - 2*k, 0 = -3*v - 2*k - 1 for v.
-3
Let a(k) = k**2 + 25*k - 10. Let w be a(-24). Suppose 2*l + 71 - 3 = 0. Let y = l - w. Solve 5*h - 5*u + 0*u = y, -h = -5*u for h.
0
Let a be ((-5)/(-15))/((-1)/(-12)). Let s = -102 + 105. Suppose 4*c + q = 13, 4*c - a*q - 16 = s*c. Solve -2*t + 2*n + 2 = c*n, 0 = -2*n + 8 for t.
-3
Let v(s) = -4*s - 6. Let d be v(18). Let u = 81 + d. Solve 2*n - 10 = -w, 0 = -4*w + 7*n - u*n - 8 for w.
2
Suppose -3*t = -6*t + 30. Let o(w) = 3*w - 20. Let g be o(t). Solve q + 10 + 4 = -3*d, -3*q + g = -4*d for d.
-4
Let h(r) = r + 12. Let s(x) = -3*x**2 + 34*x + 15. Let q be s(12). Let f be h(q). Solve 0 = -z + n + f - 7, -z = n + 4 for z.
-4
Let t be (0/(-3))/(12/6). Suppose t = -4*r - v + 9, -r + 3*v = -2 - 10. Solve 3*a + 6 = r*z, 2 = -3*z - 2*a + 3 for z.
1
Let o = 17847 + -17844. Solve 8*m - o*j = 19, 22*m = 23*m + 4*j + 2 for m.
2
Suppose 6*x + 96 = -3*b + 9*x, b + 34 = -x. Let v be 2 + -3 - (30 + b). Solve -3*q - 3*g = 2*g - 4, 0 = -q - v*g + 2 for q.
-2
Suppose 15*d - 2*d = 299. Suppose 2*o + 2*s - s + 11 = 0, -5*o = s + d. Let z(c) = c**2 - 4. Let q be z(o). Solve -w + 7 = -5*l, -l = -3*l + 5*w - q for l.
-1
Suppose 100 = 8*r - 68. Let g be r/4 + ((-105)/28)/15. Solve 0 = -3*v - 5*n + 30, 5*v - 3*v = g*n - 5 for v.
5
Suppose -5*o = 2*z + 2, -6*z = -2*z + 4*o - 8. Solve z*y - 5*w = 7, y = -y - w - 7 for y.
-2
Suppose 15 = 4*z + 2*g - 11, g + 29 = 5*z. Solve z*i - 5*n = 4*i - 15, -4*i = 2*n - 30 for i.
5
Let a = -364 - -379. Suppose 3*z = -3*d + a, 37 = 4*d - 2*z - 1. Solve -v - 4*v = 2*o + d, -4*v - 7 = o for v.
-2
Suppose 3*f = 4*i - 8*i - 32, -3*i - 35 = 5*f. Let r be (-64)/(-40) - f/10. Solve -g - 5*l - 9 = 0, 5*g - r*g + 7 = -5*l for g.
1
Suppose 3422*x = 3400*x + 26 + 40. Solve 3*v + x = -3*y, 0 = -4*y + 6 + 6 for v.
-4
Let g be 12*1/5*30/(-4). Let m be 49/21*g/(-21). Solve -3*u + m*p = -4, u + 2*u - 3 = 3*p for u.
2
Suppose 0 = -409*a + 416*a. Solve 2*y - 4*u = a, 11 = 4*y + 4*u - 1 for y.
2
Let o = 117 - 101. Let u be (-7)/(-4) - (-4)/o. Solve -n + 10 = -5*m + u*n, -m = -n + 2 for m.
-2
Suppose -20*v + 78 = -122. Suppose 0 = -9*p + 8 + v. Solve -4*g = 0, -p*j - 5 = -7*j - 4*g for j.
1
Let c(a) = 14*a - 938. Let x be c(67). Solve -j - 5*q + 9 = 0, -7*j + 4*j - q + 13 = x for j.
4
Suppose 2*n - 26 = 4*k, 39 - 23 = -4*k. Solve -5*t = -5*s + 50, s + n*t - 8*t - 20 = 0 for s.
5
Let t be 7 + (0 - (6 - 12)). Solve 0 = 4*d - 2*u - 18, -11*u + t*u - 36 = -5*d for d.
6
Let f(a) = a**2 + 11*a + 27. Let k be f(-6). Let b be 1 + k + 4 - 0. Solve 3*x + 11 = 3*t + 38, 4*x = b*t + 26 for t.
-5
Let t(s) = 2*s**3 + 56*s**2 - 58*s + 16. Let m be t(-29). Solve 7*a - 11*a + 16 = -3*f, 0 = -4*a - 4*f + m for a.
4
Suppose -15*y + 412 = 262. Suppose -16 = i + 3*h, 4*i - 16 = 7*h - 3*h. Let z = i + 6. Solve n = 3*u - y - z, 