 6*t + n. Solve -2*k + 5*k + 3*q = 0, -2*q = t for k.
1
Let j(k) = k**3 - 5*k**2 - 8*k + 4. Let l be j(6). Let o = 14 + l. Solve x = 3*x - 3*b - o, 5*x - b = -11 for x.
-3
Let r be -10*(7/(-5) + 1). Suppose -r*o - 16 = 28. Let b = o + 16. Solve w = -3, -2*w - w = -b*q - 11 for q.
-4
Let a be 12/(-8)*(-4)/3. Suppose 9*g - 4*g = a*l - 3, 3*g = 5*l - 17. Solve 5*o + l + 1 = -5*n, -6 = n + 2*o for n.
4
Let u = 3 + 2. Let b be (-3)/12 + 9/4. Solve -5*j - 9 = -u*p - 29, -2 = 3*p + b*j for p.
-2
Let h be 3*56/(-12) + 0. Let b = 15 + h. Solve b = -5*k + i + 31, -35 = -5*k + 2*i for k.
5
Let j = 4 + -2. Solve 5*s - 4*f = -10, -3*s - 10 = j*s - f for s.
-2
Let g = -21 + 42. Suppose 6 = -3*r + g. Suppose -r = -4*w + 15. Solve w*u + 25 = -2*d, 4*d - 4*u = 1 - 9 for d.
-5
Let p be 10*4/(-16)*-2. Solve -4*w = -z - 25, -30 = -w - 0*w + p*z for w.
5
Let z be 7 + 0 + (-4)/2. Solve 0*l - 25 = 5*o + 5*l, -2*o + z = -l for o.
0
Suppose -1 = 5*n - 6. Let b be 54/4 - n/2. Let z = b - 4. Solve 3*x + 0*x = v - 9, -3*x + 3*v - z = 0 for x.
-3
Let g(w) = w - 7. Let o be g(10). Solve 5*u - z = -4, 4*u + o - 1 = 2*z for u.
-1
Suppose -2*u - 2*m + 8 = 0, -3*u + 12 = 2*u - 3*m. Solve b - 4*x + 18 = u*b, 5*b + 11 = 4*x for b.
1
Let m(z) = 6*z - 2. Let i be m(5). Solve 0 = -5*r - 3*v + 20, -5*r - 5*v = -i - 2 for r.
1
Suppose 5*t - 165 = 2*f - 3*f, 156 = 4*t - 4*f. Suppose -5*u - 9 = -t. Let y be (1/(-1))/(2/(-18)). Solve u*g - 3*g = -2*s + 6, 0 = -5*s + 3*g - y for s.
0
Let w = -3 - -3. Let x(k) = -k + 5. Let p be x(5). Let l = p - -2. Solve w = 2*i + i + 9, -l = 2*c + 4*i for c.
5
Let a(j) = j + 9. Let g(o) = o + 8. Let t(z) = 6*a(z) - 5*g(z). Let p be t(-11). Solve -p*k + 4 = 5*s, 2*k - 1 + 5 = 0 for s.
2
Let q(k) = 2*k**3 - 3*k**2 - 2*k - 2. Let h be q(-3). Let n = h - -142. Let j be n/4 - 1/4. Solve -c - j = -5*c + 2*t, 4*c - 28 = 5*t for c.
2
Suppose -c = 4*t + 6 - 0, -10 = -4*c + t. Let g be ((-2)/(-3))/((-6)/(-45)). Solve -g = 5*d, -2*d - c = 3*v + 2*v for v.
0
Suppose 0*b + 5*y = 5*b - 5, 3*y - 2 = 2*b. Let s(m) = -m**2 + 3. Let r be s(0). Solve -2 = 5*u + r*f - 3, 0 = 2*u + b*f + 11 for u.
2
Suppose o - 2*p = -0*p + 6, 44 = 4*o - 4*p. Let m = 15 + o. Suppose -136 = -2*y - y + 5*a, -4*a = -y + 57. Solve -2*f - 4*j - m = f, -5*f = 3*j + y for f.
-5
Let r(n) = -n**3 + 5*n**2 + 6*n - 6. Let j be r(6). Let f = j + 9. Solve 4*w - 4 = -3*t, 3*w + 2*t = -2*t + f for w.
1
Let b(v) = -7*v**3 + 2*v - 1. Let x be b(1). Let m = -4 - x. Let g = -52 + 54. Solve -4*t + g*z - m = 5*z, -5*z - 7 = 3*t for t.
1
Suppose 2*c - 2*p - 8 = -2, 9 = 3*c + 2*p. Solve 0 = -2*u + 2*t + c*t + 1, -4*t = 3*u - 13 for u.
3
Let h = 4 - 1. Suppose 2*y + d - 2 = 0, -5 = -5*y - h*d - 1. Let f = 30 + -18. Solve -y*z - 2*m = -2 + f, -4*m = 0 for z.
-5
Suppose -s = 5*w + s - 80, 0 = -2*s. Suppose -2*o + 4*n - w = 0, 3*o + 2*o - 35 = -5*n. Let p = o - -3. Solve 5*u + 30 = -p*m, -3*u = -5*m + 2*m + 6 for m.
-2
Let n = 31 - 18. Suppose -s = -2*s + n. Solve 15 = 5*b - 2*t, -s = -5*b + 2*b + 2*t for b.
1
Suppose 5*p - 3 = 3*o, p = 3*o - 3*p. Suppose c + 24 = o*c - 2*a, -45 = -3*c - 5*a. Solve -4*j - 11 = -5*h, -3*h - j = -3 + c for h.
-1
Let z = 3 + 0. Suppose 0 = -4*o - y + 10, -12 + 1 = -o + 4*y. Suppose o*d + 2 = 4*l - 6, -2*d = 0. Solve l*b - 5*c = -0*b + 2, -z*c = b - 1 for b.
1
Let v be (2 - 3 - -3)*2. Suppose -1 - 19 = -v*p. Solve -2*t + 8 = 3*t + d, -16 = -p*t + 3*d for t.
2
Let p(l) = -l**3 + 6*l**2 - 5*l + 4. Let i be p(5). Let a = 2 + 7. Let b = -5 + a. Solve s = -b*s, s = -2*k - i for k.
-2
Let c(a) = a**3 - 4*a**2 + a + 2. Let w = 0 - -4. Let r be c(w). Suppose 2 - r = -2*f. Solve 0 = 2*k - k + 5*i + 10, -5*k + f*i + 4 = 0 for k.
0
Suppose 3*n = -0*n + 15. Solve 0 = k - 4*k - l - 4, 0 = n*k - 2*l + 14 for k.
-2
Suppose -30 + 10 = -4*h. Suppose -42 = -4*z - 18. Solve 0 = 4*c - 8, s + c + z = h*s for s.
2
Suppose -6 = -2*z - 5*a, 2*z - 9 = -z - a. Suppose 7 = 5*h - z. Suppose d + 4 = 4*p, 0*d - h*d = -4*p + 8. Solve -5*y - 30 = 5*i, -3*i = -p*y - 4*y - 10 for y.
-4
Suppose -73 = -5*o - 8. Solve -5*v + 3*v + 3*h + o = 0, 3*h + 3 = 0 for v.
5
Let z(j) = -j**3 - 3*j**2 - j + 1. Let g be z(-1). Solve g = 2*t - 5*t + 4*n, 2*t = 3*n for t.
0
Let i be 6 + 3/6*-4. Solve -2*p + 4*v + 22 = 0, 5*p + i*v + 0*v + 15 = 0 for p.
1
Suppose 0 = -4*v - 6 + 18. Suppose -2 = -4*l + v*l. Solve 4*r - 4*y = -0*r, l*r + 12 = 5*y for r.
4
Suppose 2*i - 4 - 4 = 0. Let z be 2 - 3 - 1 - -4. Suppose w - 18 = -z*w. Solve -10 = w*o - o, -i*o - 6 = n for n.
2
Let h(p) = 4*p - 4. Let m be h(1). Solve -5*d + 4*d = 2*k - 13, 5*k + 5*d - 45 = m for k.
4
Suppose -20 = -2*a - 6. Let t = a - 2. Solve 4*b + y - 17 = 0, -3*b + 0*y - t*y = 0 for b.
5
Let x = 2 - -14. Suppose 0*f + 72 = 2*f. Suppose 0*b - f = -3*b. Solve m = -m - 4*u - x, 0 = -m + 2*u + b for m.
2
Suppose 0 = 3*l - 2*l - 5. Solve t = -4*h - 2*t - 6, -4*h + l*t - 22 = 0 for h.
-3
Let q(n) = -6 + 1 - 1 - 2*n. Let a be 60/(-14) - (16/(-7) + 2). Let k be q(a). Solve -g = -4*m, 9 = k*m - 7*m - g for m.
-1
Suppose 12 = -0*o + 2*o. Let i(u) = u**2 - 7*u. Let r be i(6). Let c = 11 + r. Solve -5*k - 1 = 3*a + c, 3*a + 3*k + o = 0 for a.
-2
Let l be 2/(-3) + (-4)/(-6). Suppose 0*a + 3*a - 6 = 0. Suppose l*f = a*f. Solve 3*k + 1 + 12 = -2*m, f = 2*k + 4*m + 14 for k.
-3
Let v(f) = -f + 10. Let n be v(7). Suppose -t = 3*l - 13, -4*t = -n*l + 2*l - 13. Solve 7*q - 4*q - 2 = -5*m, -2*q + t*m - 6 = 0 for q.
-1
Let u be 0 - 114 - (-1 + 2). Let y be 2/5 + u/(-25). Suppose 68 = 3*z + z. Solve 4*p = y*b - 7, 0*p - z = -p - 5*b for p.
2
Let b(c) = -c + 4. Let t be b(0). Let q be 1/3 - 1506/(-18). Suppose -3*r = r - q. Solve -k - r = 7*s - 3*s, t*k + s = -24 for k.
-5
Let b be 48/27 - 2/(-9). Suppose -5*f = -b*f - 36. Solve 2*k - z = 3*z - 6, -k + f = 3*z for k.
3
Let s = -43 + 23. Let r be (-10)/4*s/25. Solve 7*u - 3*u + 4*f - 4 = 0, 5*u - 2 = -r*f for u.
0
Suppose 4 + 3 = 4*y + g, -g = -3. Let m be y/(-1) - (-2 - 0). Let k be (m + -1)*(2 - 1). Solve 4*c + k*v + v - 15 = 0, 4*c - 5*v - 21 = 0 for c.
4
Let b be 7/(-14) - 2/(-4). Suppose -10 = -5*l - b*l. Let z be 0 + (-3 + 2 - -1). Solve 3*w - 5*y - 6 - 10 = z, 3*w + l*y - 2 = 0 for w.
2
Let x be (2/6)/((-7)/(-210)). Suppose -5 = 2*o - 2*k + 1, 0 = 2*k - x. Solve -5*a + o*y = y + 15, 5*y = -2*a + 21 for a.
-2
Let k be (-40)/(-16)*6/3. Solve 0 = -3*b + k*q - 18 - 3, 3*b + 3*q = 3 for b.
-2
Let j be (-26)/(-7) - (-4)/14. Suppose -2*q - 3*h - 5 - 2 = 0, -3*q = h + 7. Let p = q + j. Solve -z - p*b = -b - 3, -4*z = b - 6 for z.
1
Let d(z) = -z**3 + 6*z**2 - 4*z. Let n be d(5). Solve 3*p = l - p, -5*p = n*l for l.
0
Suppose 3*g + f - 1 = 0, 2*g + 2*f = 4 - 2. Solve -o = z, g = -o + 5*z - 1 - 5 for o.
-1
Let u = 31 + -30. Solve -3*t = -2*n + 16, -3*t + 3 + u = 2*n for t.
-2
Suppose 9*o = 15*o. Solve 4*n + 5*d + 15 = o, 0*d = 3*n + 3*d + 12 for n.
-5
Let h(m) = -3*m - 3. Let c be h(-4). Let k = -5 - -8. Solve 4*y + k*u - 2 = 0, 3*y - u = 2*u - c for y.
-1
Suppose -l - 4*l = 0. Suppose 0 = g + 3, -3*w - 3*g - g = -3. Solve w*y - 4*o = l, 4*y - 4*o - o - 9 = 0 for y.
-4
Let i be 2/((-6)/(-69))*-2. Let g = -33 - i. Solve -11 = 2*x - 5*u, -2*x - 3*u + g = -0*u for x.
2
Let o(l) = -l + 14. Let j be o(10). Solve 0 = -3*t - 4*p + 16, -j*t - 2*p + 3*p = 4 for t.
0
Suppose 3*v - l = -10, 5*l - 8 = -v + 10. Let u be (1 + v + 0)*-2. Let r(d) = 8*d + 2. Let m be r(u). Solve -2*k - 2*k - m = 2*t, -5*t = -4*k + 17 for k.
-2
Suppose 4*z - 13 = -3*m, 0 = 5*m + 5. Suppose s - 64 = -4*u, 0 = 4*u - 4*s + 3*s - 64. Solve -x + z*p = -u, -5*p - 8 = 2*x + 12 for x.
0
Let g(b) = -b**3 - 12*b**2 + b + 15. Let u be g(-12). Solve u*c = -0*s - s + 9, s - 6 = -2*c for c.
3
Let c(q) = -2*q - 3. Let v be c(-4). Let o(u) be the third derivative of u**4/12 - u**3 - u**2. Let p be o(v). Solve 0 = -5*h, -p*h - 5 = 3*d - 8*d for d.
1
Suppose 18 = 2*i - 5*i. Let f be 6 - (-3)/i*4. Suppose 3*l = 63 + 15. Solve f*j = x - l + 7, -x = 4*j + 21 for x.
-1
Suppose -2*p + m = -3, -m = -4*p + 4*m + 3. Let h be (p/(-3))/((-1)/12). Solve -3*v + 4*v - 2*i - h = 0, 30 = -5*v - 4*i for v.
-2
Suppose 3*u + 3*v - 13 - 11 = 0, 0 = v - 4. Let z be 2/4 - (-10)/4. Solve 4*b = u + 8, -3*m = z*b for m.
-3
Let x be (-10)/((-2)/4*4). Suppose -x*f = -3*f - 4. Solve -7 = 3*r - 6*r + 4*n, 5*r + f*n - 3 = 0 for 