 for k.
-2
Let g(l) = l**2 + 19*l + 4. Let x be g(-19). Solve 0 = 5*f - x*d - 16, 3*f - 11*d - 7 = -6*d for f.
4
Suppose 3*c - 10 = c. Let n = c - -10. Let h = n + -15. Solve -w - 4*m = -9 - 6, h = -4*w + 4*m for w.
3
Suppose -f + 2*d = -d - 2, 0 = -4*d. Suppose m - 15 = -2*m. Suppose 2 - 1 = -o - t, 35 = 5*o - m*t. Solve f*h + 5 = -3*y - 0*y, o = 3*y for h.
-4
Suppose -4*u - 4*q = -24, -5*u + 5*q = -3 + 13. Solve -x = 2*j - 1, -x - 4*j + u - 3 = 0 for x.
3
Let p(h) be the third derivative of -h**6/60 - h**5/15 - h**4/24 - h**3/6 + 6*h**2. Let x be p(-3). Solve -5*v + x = 3*g, -2*g = -5*v + 19 + 1 for g.
0
Let y be -9 + 12 - (-1 - -2). Suppose -y*u = -6*u, -4*u = 3*r - 6. Solve -9 = z - r*d, 6*z - z + 2*d = 15 for z.
1
Let i be 1/3 - (-37)/(-3). Suppose -17 = 2*u + 3*b, 20*b - 4 = -2*u + 24*b. Let n be (1/u)/(i/240). Solve -4*r + 18 = -q + 2, -n*r - q = -20 for r.
4
Suppose -9*h - 6 = -24. Solve -k = h*z - 11, 0 = k - 0*k - z + 4 for k.
1
Let s(j) = j**3 + 11*j**2 + 2. Let z(v) = v**3 - 6*v**2 - 9*v + 3. Let b be z(7). Let u be s(b). Solve -3*a = -2*a - 2, -5*q - u*a - 6 = 0 for q.
-2
Let l(p) = -52*p**3 - p**2 - p + 1. Let q be l(1). Let j = q + 56. Solve 0 = 2*n + 4*f - 6, -4*n + 15 - j = 3*f for n.
3
Suppose -24 = -4*k - 4*k. Suppose -k*o + 14 - 8 = 0. Solve 5*p = -g + o*p - 11, 0 = -5*g + 3*p + 35 for g.
4
Let j = -240 - -243. Solve j*q + m + 17 = 3*m, 0 = -3*q - m - 5 for q.
-3
Let q(x) = 73*x - 496. Let c be q(7). Solve -19 = 5*r - 4*m, -m = 5*r + c - 1 for r.
-3
Suppose 12*p = -532 + 580. Solve f + 9 = -5*z, -p*z - 5*f - 3 = -0*z for z.
-2
Suppose 28*k - 220 + 192 = 0. Solve -2*p - 3*n + k = -1, -5*p + 22 = -n for p.
4
Let n be ((-4)/(-10))/((-2)/(-10)). Let p be (-1 - n)/(3/(-3)). Suppose -2*c - 5 = -p*c. Solve -2*k - o - 4 = -c*k, -3*k - o - 4 = 0 for k.
0
Let i be 0 + -12 + 4 + 10. Solve 0 = 2*q - p - 4*p + 23, -3*q - 7 = -i*p for q.
1
Let q = -125 + 127. Solve 2*b + 2*b + 3*z = -1, -q*b - 13 = -z for b.
-4
Let l be 80/(-12) + 2/3. Let c = -4 - l. Suppose 2*m - m + 34 = 4*g, -2*g + 4*m = -10. Solve 4*t + 16 = c*n, -t = 2*t + g for n.
2
Let d(q) = q**3 - 33*q**2 - 33*q - 7. Let c be d(34). Solve 0 = 3*z - 3*n - 9, 5*z - 10*z + c = n for z.
5
Suppose 5*f - 40 = -v + 6*v, 0 = f + 3*v - 12. Suppose 0*m = 5*m - 30. Suppose 7*x = f*x - m. Solve -3*g + 4*r = 17, 0*g + 5*g = x*r - 10 for g.
1
Let x = -36 - -60. Let w be (-8)/14 - x/(-42). Solve w = 3*u + 4*i - 23, -3*i = -6 - 0 for u.
5
Suppose 3*s = -5*o + s + 78, -2*s = -o + 6. Let n = o - 4. Solve 2*i = -h - 7 - 1, 5*h + n = 0 for i.
-3
Let a be -28*(-4 - (-60)/14)/(-1). Solve 5*i + 3*z = -a, 20 = 3*z + 2*z for i.
-4
Let b = 440 + -438. Solve 0 = -5*h - b*s + 7, -s = -h + 2*h + 1 for h.
3
Suppose b - 25 = 4*y, 9*y - 6*y - 5 = -4*b. Solve -v + 2*x + b = 4, 0 = -4*v + 3*x + 14 for v.
5
Let j be ((-78)/(-10))/(8/40). Let h be 13/j - 208/(-6). Solve -5*t = 2*u + 3*u - h, -t - 18 = -4*u for u.
5
Suppose 6 = -10*p + 56. Solve -3*b - 35 = -b + p*o, -3*o + 10 = -5*b for b.
-5
Suppose 8 = -84*z + 88*z. Solve 4*m - 4 = -z*a, 5*m - 27 = -0*a + 3*a for a.
-4
Let v(r) = -6*r. Let u be v(-3). Let h be -10 + 12 - -2*23. Let o = h + -32. Solve u = -w + 4*t - 2, 5*w + t = -o for w.
-4
Let i(n) = -19*n**3 + n. Let l be i(1). Let t = -14 - l. Solve 2*z - t = 0, -1 + 17 = 2*y + 3*z for y.
5
Let s(o) = o**3 - o**2 + 1. Let v(q) = 2*q**3 + 11*q**2 + q - 4. Let k(r) = -3*s(r) + v(r). Let h be k(14). Solve 2*l + m = -h, 0 = 4*l + m - 5*m + 32 for l.
-5
Let k be ((-4)/(-22) - 4/22)/(-2). Let x(g) = -g**2 + 2*g + 4. Let p be x(k). Solve 2*m = -s, -s = -p*m - 0 + 6 for s.
-2
Let g = 25 - 23. Let v be 2 - (-3 - (g - 3)). Solve 2*l + v*r + 2 = 0, 5*l - l = -3*r + 11 for l.
5
Let d = 887 - 885. Solve -3*i + 11 = d*w + 34, i + 21 = -4*w for w.
-4
Let k(h) = 6*h + 170. Let g be k(-28). Solve -5*u + c - 6 = -4*u, -g = 5*u + 2*c for u.
-2
Let y(r) = 10*r + 9. Let s be y(-6). Let q = 53 + s. Solve j + 13 = q*i, -2*i = -5*j + j - 22 for j.
-3
Let w be 9/9 - 5 - -34. Solve -5 = -6*r + r - 5*g, -w = 5*r - 2*g for r.
-4
Let j(w) = -w**3 + 4*w**2 + 2. Let n = 28 + -24. Let s be j(n). Solve -5*m + 4*m = -c, -c = m + s for c.
-1
Suppose -5*o = -10*o. Suppose o = 8*p - 4*p - 60. Solve q + p = -5*v, v + 2*q + 3 = 5*q for v.
-3
Let v(z) = -z**2 - 11*z - 26. Let n = -94 + 90. Let t be v(n). Solve 4*q - 4*g = -12, 5*q + t*g = -g - 7 for q.
-2
Suppose 0 = -5*c - 0 - 25, 5*c = -2*v - 17. Suppose 0 = 5*h - 2*u - 30, 4*h + 7 - 3 = -4*u. Solve -5*k - v = -k - 2*m, -h*m - 16 = 0 for k.
-3
Suppose 0 = -p - 5*k - 17, 4*p - k + 24 = k. Suppose 0 = 4*l, 4*b - 118 = 3*l - 34. Let t be (-6)/b - 23/p. Solve 0 = 5*a + t*g, -a - 2*g - 3 + 10 = 0 for a.
-3
Suppose -g = -4*r + 5, r - g - 3*g = -10. Let j be 5/2*(-1 + 3). Solve 4*i = 5*d - 5, -r*d = 5*i - 40 + j for i.
5
Let b = 119 - 116. Solve 4*f = b*o + 6, 3*o - 2*f + 4 = -2 for o.
-2
Suppose 5*i + 14*m = 9*m + 30, -2*m + 18 = 4*i. Solve -16 = 2*h - 4*f, -i*f + 13 + 2 = 0 for h.
2
Let h = -110 + 54. Let m = -51 - h. Suppose -4*i + 7*i - 35 = -5*w, 4*w + 2*i = 26. Solve -w*p + p = 4*t - 4, -2*p - m*t = -5 for p.
0
Let o be -1*(-7 - (5 - 8)). Solve -3*i - o = 4*w - 6*w, 2 = w for i.
0
Let k = -8 - -13. Suppose -15 = -3*o + 2*i, 0 = -o - 0*o + 3*i + 5. Suppose 199 = 3*b + 79. Solve k*t + b = o*u, 4 = 3*u + 3*t - t for u.
4
Let m(k) = -k. Let y be m(0). Suppose -4*q = -56 - 28. Let b be (-1)/4 + q/4. Solve -2*o = 10, y = -b*x - 0*x - 2*o for x.
2
Let d(w) = -w**3 + 3*w**2 - 1. Let f be d(2). Let b(a) = -a**3 + 9*a**2 - 12*a + 37. Let j be b(8). Solve 2*u - r = -j, 0*r + f*r = 3*u + 12 for u.
-1
Suppose 2*n - 3 = 4*t - 17, 4 = 2*t + 2*n. Suppose t*j + 3*j = 0. Solve 3*f + 3*o - 6 = 0, -3*f + 4*o + 27 = -j*o for f.
5
Let q be -1 - (-3 - 16/8). Solve 5*p + 4*d + 37 = 0, q*p + 2*d = -p - 31 for p.
-5
Suppose -10 = -i - 4*m, 0 = -m - 0*m + 1. Suppose -2*j = -2*o + 6*o - 24, -o = -4*j - 15. Solve 0 = 2*h, -o*g + i = -5*g + 2*h for g.
3
Suppose 36*y = y + 105. Solve 16 = -m + 4*z, 5*m = -y*z + 56 - 21 for m.
4
Suppose 3*o - 1 + 4 = 0. Let k = -4 + o. Let n be k/(-7) - (-12)/42. Solve 5*s + n = 3*a + 25, -5*a + 5*s - 30 = 0 for a.
-3
Let z be 95/(-38) + (-18)/(-4). Solve f + 7 = 3*m, 0*f - z*f = 3*m - 22 for f.
5
Suppose -2*b - 13*u + 15*u + 18 = 0, b - 2*u - 14 = 0. Solve 5*i = -b*w - 8, -w = -0*i + 2*i + 2 for w.
-2
Suppose 8*i - 35 = -11. Suppose x - i*n = -7, -4*n - 5 = x - 19. Solve -4*s + 23 = -3*u, -s + 4*u + 7 = -x for s.
5
Suppose 3*v - 5*v = 2*j + 4, 0 = -3*v + 3*j + 24. Let u be 4/10 - (-2)/(-5). Suppose -v*h + 7*h - 12 = u. Solve -4*y = -o + 15, -3*y + 30 = -h*o - 6*y for o.
-5
Let b(z) = -z**2 - 4*z + 9. Let v be b(-7). Let t = -10 - v. Let o be 3 + 1 + -1 + 0. Solve r + t*w + 2 = o, -3*r + 5*w - 19 = 0 for r.
-3
Let h be 1 + (-1)/(1 + 0). Suppose -47 = 5*j + 28. Let q(o) = -o**2 - 14*o + 17. Let v be q(j). Solve h = v*t + 5*m + 15, -16 = -0*t + 4*t - 4*m for t.
-5
Let k(u) = -u**3 + 21*u**2 + 21*u + 27. Suppose 12*y - 160 - 104 = 0. Let c be k(y). Solve -2*v - 3*v = 0, -b + 1 = c*v for b.
1
Let z = -10 + 12. Suppose -3*s + 7 = -z*t, t + s = 4*t. Solve 1 = -3*g - 2*l - t, -2*g - 33 = -5*l for g.
-4
Let s = 1068 - 1064. Solve -4*q + 2 = a + 3, -s*a + 10 = 2*q for q.
-1
Let c = 472 - 328. Suppose 14*d - 38 = c. Solve -4*g - d = -2*y + 5, 4*g - 12 = -4*y for g.
-2
Let r(n) = n**3 - 57*n**2 - 59*n + 73. Let v be r(58). Solve 0*x - 5*x = v, -5*q = -3*x + 16 for q.
-5
Suppose 121 - 349 = -57*q. Solve 3*x + 0 - 16 = -5*t, -5*t = -3*x - q for t.
2
Let c(f) = -11*f + 157. Let l be c(14). Solve -21 = -l*p + 3*n, -7 = -5*p - 3*n + 4 for p.
4
Let t(h) = -2*h**3 - 2*h**2 - 4*h - 9. Let m be t(-2). Solve 0 = 4*d - 20, -k - m = -2*d - 2 for k.
5
Let y(u) = 19*u - 131. Let k be y(8). Solve -4*f - k = m, 0 = -5*f + 2*f + 4*m + 8 for f.
-4
Let y = 1 + 4. Suppose -2*s + 3 = -y. Solve 0 = -3*n - s*w + 24, -2*n + 4 = -4*w + 8 for n.
4
Suppose 2*o + 3*o = 10. Let p = -5 + o. Let s be ((p + 3)/(-2))/2. Solve s = 3*n - f - 11, -3*f + 1 + 2 = 3*n for n.
3
Let v(i) be the first derivative of -3*i**2 - 30*i - 13. Let k be v(-5). Solve -2*w = -3*r - r - 28, -4*w + 16 = k for r.
-5
Let h(b) = -27*b - 1455. Let u be h(-54). Solve -u*r = -z - 7, 3*z + 3 = -11*r + 14*r for z.
2
Let i be (3/(-2))/((-2)/8). Let k be 3/9 + 16/