 for k.
5
Let c = 47 + -45. Suppose 4*g - 2 = 10. Solve 3*f + 9 = g*d, 4*f - c*f + 2*d - 10 = 0 for f.
1
Let z(p) = p**3 - 14*p**2 + 12*p + 13. Let v be z(13). Solve 5*r + v*r - 5*y = -45, r - 4*y = -21 for r.
-5
Let g = 26 - 25. Solve 4*u = -5*v - g, v + 1 = 4 for u.
-4
Let u be 30*(8/60)/((-4)/(-12)). Solve -i = -4*q + u, 3*i - 4*i + 3 = q for q.
3
Let v = -8 - -10. Solve v*q = -3*g - 5, -3*g + q = -8*g - 6 for g.
-1
Suppose 0*f = 2*w + f - 3, -4*f + 12 = 4*w. Solve -4 = 4*o - w, o - 2 = -i for i.
3
Let h = -149 + 154. Solve 0 = h*w + o - 26, w + 3*o - 1 - 7 = 0 for w.
5
Let c = 39 - 18. Suppose -4*z = -z - c. Solve -z*u + 2*u = 0, -3*t = -u - 3 for t.
1
Let y(i) = 2*i - 13. Let f be y(13). Solve -2*r + r = -3*p - 7, -5*p = -2*r + f for r.
4
Let q(u) = u**2 + 9*u - 8. Let a be q(-10). Let w be (1 + (-2)/6)*21. Suppose -5*x + w = -1. Solve 2*m + 2*d + 8 = 0, -a*m - 20 = 3*m + x*d for m.
-4
Suppose -4 = -u + s, -4*u + 8 = -2*s - 18. Solve j - 22 = 5*a + 5*j, 0 = 3*a + j + u for a.
-2
Suppose -6*b + 165 = -3*b. Suppose 0 = 5*p - b - 10. Solve j - 1 + p = -3*m, -m + 6 = -3*j for m.
-3
Let v be 20/6 - (-2)/3. Let a be (-18)/4 + (-2)/(-4). Let j = 4 + a. Solve j = -5*i + 5*c + 6 - 1, -3*i + v*c = 0 for i.
4
Suppose 3 = -5*r + 23. Let w = 6 + r. Suppose -5*n + w = -5. Solve 0 = -5*u - 4*m + 22, 4*u - m = -n + 8 for u.
2
Let v(u) = u**2 + 6*u + 10. Let t be v(-4). Solve -2 = -2*y - 4*s, t*y - 3*s - 25 = -9 for y.
5
Suppose 0*l = 2*l. Let f be (0 + (1 - 1))/(-2). Suppose -o + 2 + f = l. Solve -1 - 2 = -3*j - 3*t, 5*j + 23 = o*t for j.
-3
Let m(f) be the third derivative of 1/4*f**4 - f**2 + 0*f + 1/6*f**3 - 1/60*f**5 + 0. Let g be m(5). Solve 0 = -j - 4*p - 20, 2 = p + g for j.
-4
Suppose 0 = 4*s - t - 97, -s + 3*s = 2*t + 56. Solve j = -q + 5*q - s, -19 = 3*j - 2*q for j.
-3
Let w(i) = 7*i - 4. Let z be w(4). Let s(n) = 3*n**3 + 2*n - 1. Let y be s(1). Let q be (-14)/(0 + 4/(-6)). Solve q = k - y*l, -k - 5*l - z = -0*k for k.
1
Suppose 4*x + 2*m - 13 = m, 3*m + 5 = -x. Solve 0 = h + 1, -6*q + q - 29 = x*h for q.
-5
Suppose 4*i - 5*b - 31 = 0, 4 = -5*b - 11. Suppose 2*c - 2*y = -i*y + 6, -4 = 2*y. Solve 3*u + 27 = 4*r + 1, c*u + 20 = 2*r for r.
5
Let h = -2 + 4. Suppose h*v = -2*v + 16. Solve 5*t - v*k = 1, 0 = 4*k - 9 + 25 for t.
-3
Let s(o) = -o**2 - 12*o - 17. Let h be s(-10). Solve a - 20 = h*a - 4*v, 0 = 2*a + 4*v - 12 for a.
-2
Let c(x) = -2*x**3 - 2*x - 1. Let o(t) = -t**3 + 2*t**2 - t + 1. Let k be o(2). Let v be c(k). Solve 5*n = -4*i - 41 + 6, -i + v*n + 4 = 0 for i.
-5
Let f = -4 - -7. Let i(j) = 2*j - 2. Let r be i(f). Solve -16 = -2*c + r*n, 3*c = 5*c - 5*n - 18 for c.
4
Let q(u) = 2*u**3 - 4*u**2 + 3*u - 4. Let h be q(3). Let y = 13 - 4. Suppose y = 2*g - h. Solve 45 = -5*d + 4*p + p, 0 = -d - 4*p + g for d.
-4
Let k be (-25)/15*3*-1. Let w be (-2*1)/((-2)/2). Solve -w*m + g = -k, -18 = -3*g - 3 for m.
5
Let j(v) = -v**2 - 3*v + 3. Let c be j(-3). Solve -3*y = c*u + 27, -y + 5*y = -u - 24 for u.
-4
Let m = -70 + 81. Solve 0 = 2*s - 2*i - 14, 2*i + m = 4*s - 9 for s.
3
Let y be ((-8)/(-4))/(-2 - 48/(-20)). Solve -5*i + 2*x = 22, i + y*x = 2*x - 1 for i.
-4
Let a = 61 + -57. Solve 5*b + 2 = -5*m + 12, 4 = -b - a*m for b.
4
Let h be (-2)/(-4) - (-21)/6. Solve h*m - 4*g + 5 - 25 = 0, -13 = -3*m + g for m.
4
Let r(c) = 2*c**3 - 3*c**2 + c - 2. Let s be r(2). Let h = 1 + s. Solve 4*n = 2*n + 5*z - 27, -h*z + 28 = -3*n for n.
-1
Suppose 0*n = 2*n + l - 34, 4*l = 3*n - 40. Solve 2*g + n = -0*p + 4*p, 20 = -4*g + 4*p for g.
-2
Let t(m) = -m**3 - 2*m**2 + 3*m + 3. Let b be t(-3). Suppose 0*d - d = -19. Solve 4*f + b*s + 14 = s, -f + d = -4*s for f.
-1
Let r = 49 + -19. Let x(b) = 5*b**3 + b**2 - b + 2. Let f be x(2). Let n = f - r. Solve -m - 22 = -5*g, 2*g - 3*g = 3*m - n for g.
5
Let j = 0 - -4. Solve j*h + 0 - 4 = 4*t, -23 = -5*t - 2*h for t.
3
Suppose d - 5*d + 2*i = -2, 4*i - 29 = -3*d. Suppose -d*p = 12 - 96. Suppose 8 = -4*h + p. Solve -4*n + 16 = -2*y, h*n = -y - 0*y + 13 for n.
3
Let k(y) = y**3 - 11*y**2 + 18*y + 2. Let w be k(9). Solve 0 = -g - 3*g - w*n - 14, 3 = -n for g.
-2
Let w be (0/2)/(-1 + 3). Let l be w + 4 - (9 + -8). Solve -1 = -5*q - 4*r - 12, l*q - 3*r - 15 = 0 for q.
1
Let t(l) = -l**2 + 12*l + 10. Let d(v) = v**2 - v + 1. Let c(i) = 2*d(i) + t(i). Let x be c(-9). Solve x*j + 29 + 0 = 5*f, j = -4*f + 13 for f.
4
Let c be 1 - (5 - 2) - (-15 + -6). Let p be -3 + 35 + -3 + -1. Solve -c = -4*t + 9*t + 2*z, z = 5*t + p for t.
-5
Let u(c) = -c**2 - 8*c + 2. Let h be u(-5). Let q = h + -7. Suppose 2*o + 2*f = q, 0 = o - 2*f - 2*f. Solve -g + o*w + 27 = -w, -g = 3*w + 13 for g.
2
Suppose -m - f - 2*f = 15, 7 = 3*m - 4*f. Let r = 5 - m. Solve -2*u - 5*b - 22 = r, -b = -2*u - 6 for u.
-5
Let r be 5 - (2 + (-2 - -1)). Solve 5*s = r*s - 1, 2*y + 4*s = 6 for y.
5
Let j = -2 - 0. Let y(b) = b + 2. Let i be y(j). Solve i = -0*n + n + o + 3, 0 = -2*o + 2 for n.
-4
Suppose 3*x = -o + 5, -4*o = -5*x + 1 + 13. Suppose a - 7*a = -72. Solve -3*d = z - a, 2*d - 15 = -x*z - d for z.
3
Let c be 16/(-72) + (-2383)/9. Let y be (-2)/(-4) + c/(-10). Solve -4*z + 5*u - 6 = 4, -5*z = u + y for z.
-5
Let a(d) = d**2 - d - 3. Let r be a(3). Let j = r - 0. Let l(f) = -f - 2. Let i be l(-5). Solve 4 = i*u - 2*n + 3, -j*u + 6 = 3*n for u.
1
Let d = -8 - -7. Let h be (-3)/d + -3 - 0. Suppose h = -3*l + 4*l - 8. Solve 3*k = -4*y + 5*y + 7, -4*y - l = -2*k for k.
2
Let y be (-4)/(16/4) + 20. Suppose -y = -5*f - 2*l + 106, -2*l = 0. Solve 5*u = -f, -3*b + 0*u - u = 14 for b.
-3
Let s = 27 - 20. Solve 2*g = 3*k + s*g - 7, 5*k = -4*g + 3 for k.
-1
Let d(i) = -i + 7. Let b be d(4). Suppose 2*g + b*z = -g - 6, -4*g + 3*z = -20. Solve -k + 1 = 2*o + g*o, -3*k = -4*o + 13 for o.
1
Suppose 5*u = 2*u + 6. Let l be (u/(-4))/(7/(-56)). Let g be l + -1 - (-5 + 4). Solve -g*n = 3*j - 16, -2*j = 5*n + 2*j - 20 for n.
4
Suppose -2*q = 5*b - 11, -b + 17 = 2*b - 4*q. Let u be (-20)/4 + 1*b. Let n be (2 - 1)*(2 + u). Solve -2*k = -4*w - 2 - n, -5*k = -4*w + 13 for k.
-5
Suppose -6*t - 4*t + 40 = 0. Solve -c = 2*d - 1 - 2, t*d - 2*c = 26 for d.
4
Suppose 3 = 4*t + 23. Let d = 8 + t. Solve -3*m + 16 = 4*p, 0*p + d*p - 4*m = -13 for p.
1
Let h(d) = 2*d**2 - 13*d + 8. Let r be h(6). Solve -r*o + 5 = -7*o - 2*s, -3*o - 3 = 4*s for o.
-1
Let v be -1 + (4 - (2 + -2)). Solve 2*o - 3*k + 14 = 0, -v*o = -0*k - 3*k + 15 for o.
-1
Let h(z) = z**3 + 5*z**2 - z - 3. Let k be h(-5). Let s(p) = -p**2 - 4*p. Let u be s(-4). Solve 2*r = 3*n - 0*n - 5, u = -k*n - 5*r + 35 for n.
5
Suppose -3*j + 6 = 3. Solve 5*p = 4*s - 13, -2*p - s = -p - j for p.
-1
Let b be 4/((-4)/18*-3). Let l = 6 - 1. Suppose -3*j - b = -l*j. Solve -4*v - 3*w = 8, -3*v - j*w = 2*v + 13 for v.
-5
Let r = 22 - 20. Solve -c + 1 - r = 2*y, 6 = -2*y - 2*c for y.
2
Suppose -13*x + 4*x = -162. Solve 4*b + 5*i = x + 13, 0 = -4*i + 12 for b.
4
Let x = -31 - -35. Solve -27 = -2*j + 5*k, -x*k - 19 = 2*j - j for j.
1
Let l(v) = v**3 + v**2 + v + 59. Let q be l(0). Let r be (-4)/(2/1) + q. Let k = -30 + r. Solve g + 11 = 2*f, 0 = -3*g + 6*f - 2*f - k for g.
-5
Let p(y) = y**2 - 3*y + 4. Let u be p(3). Let i = u + -1. Solve 0 = -3*c + 4*c - 3*z + 11, -12 = i*c - 2*z for c.
-2
Suppose -o = 4*o - 95. Suppose -c + q + o = 3*c, 4*q = 3*c - 24. Let n = 14 - 11. Solve -5*m - c*i = 6 + 6, n*m + 3*i + 6 = 0 for m.
-4
Let m(l) = -l - 5. Let c be m(-7). Suppose 2*f + 16 = 4*n, 3*f = -c*n - 3*n + 31. Solve 0 = 3*i - 3*d + f*d + 5, 0 = 5*d + 20 for i.
-3
Let q = 6 - -19. Let i = q + -19. Solve -4*u - 5*n = -i*n - 7, 17 = -u + 4*n for u.
3
Let a(p) = 4 - p**2 + 0*p**2 - 6 - 4*p. Let f be a(-3). Let l be 3/9*9*f. Solve 0 = -w - 5, -l*w = -t + 2*t + 20 for t.
-5
Suppose -5 - 6 = -l. Suppose -7*j - 18 = -9*j. Suppose -4*d + l + j = 0. Solve -t + 4 = -o, -o + 2*o + 2*t - d = 0 for o.
-1
Let j = 78 - 45. Solve -2*p - 11 = -5*p + 2*u, -5*p = 4*u - j for p.
5
Let h be (-14)/(-8) + (-6)/(-24). Solve 11 = -h*n - 4*k - 11, -n + 1 = -k for n.
-3
Let s be 48/20 + (2/(-5))/1. Solve 3*q - q = x + 6, -s = 2*x - 2*q for x.
4
Let o(n) = 0*n**2 - 4*n - 6 + n**2 + 3*n - 5*n. Let v be o(8). Solve 2*z - z + r = v, -2*z + 5 = -r for z.
5
Suppose 0 = 4*x - 8 - 12. Suppose -14 + x = -r. Let p be 3/(-3 + 9/2). Solve -3*k + 4*i = -19, -k + 2*i + p*i = -r for k.
5
Suppos