 1 for k.
-3
Let u(f) = -f**2 + 5 - 2*f - 4 - 4*f + 3. Suppose -x + 4*v - 22 = 0, 4*x + 17 + 3 = -v. Let m be u(x). Solve -3*h = -5*o - 12, m*o + 6 = 2*h - 2 for o.
0
Suppose 0*k - k = -4. Solve -2*n + 10 = 4*u, 0 = -k*n - 3 - 1 for u.
3
Let j = 85 + -61. Suppose 0 = 6*s - 0*s - j. Solve 0 = -s*x - 4*d + 16 + 16, 5*d - 15 = 0 for x.
5
Suppose 20 = 5*u - h - 0*h, -5*h = 3*u - 12. Let p = 53 + -44. Solve -20 = -u*q - 2*g, -p = -3*g + 3 for q.
3
Suppose 0*g + 10*g = 50. Solve -17 = -3*d - t, 0*d + 5 = -d + g*t for d.
5
Suppose 0*n + 5 = 5*n. Let w = 4 - n. Solve -3*u - 10 + 4 = -w*h, 0 = -h + 4 for u.
2
Suppose -2*w - 26 = -4*w. Solve j + 0*j = 2*d + w, 0 = -5*j + d + 20 for j.
3
Let d be (-4)/((-8)/15)*2. Suppose 5*y - d = j, 25 = 5*y - 0*y - 3*j. Let a(i) = -i**3 + i - 2. Let h be a(-2). Solve h*p + 10 = x + y, -4*p = 3*x + 8 for p.
-2
Let z be (-30)/7 - 2/(-7). Let o be ((-6)/z)/((-6)/(-16)). Let q be (7*-2 + -2)/(-2). Solve o*u = 3*u - 4*v + q, -2*u + 2 = v for u.
0
Suppose 7*m = 2*m + 80. Let q = -13 + m. Solve -b + 3*t = -0*t, b + q*t = 0 for b.
0
Let n(s) = -s**3 - 17*s**2 - 2*s - 34. Let x be n(-17). Solve x = -2*w - 4*i - 4, 4*i + 28 = 4*w for w.
4
Let m(u) = u**3 + 7*u**2 - 8*u + 5. Let i be m(-8). Solve -3 = -f - 0*f + r, -3*f + i*r + 9 = 0 for f.
3
Let i be (-3 + 2)/((-2)/6). Let b be (1 - -1)*(i + -2). Suppose 6 = b*p - 12. Solve -t - g = -p, -8 = -g - 3 for t.
4
Suppose -6 - 9 = -c + 3*x, -3*x = -3*c + 33. Let u = -4 + c. Solve 2*p + 18 = 4*v + v, 2*v - 24 = u*p for v.
2
Let g(b) be the second derivative of b**4/3 - b**2/2 + 2*b. Let a be g(-1). Solve -2*h - 10 = 4*d, -a*h - 5 = -5*d - 1 for h.
-3
Let u be 21/3 - (8 + -4). Solve -u = -g - 3*p + 2, -3*g - 5*p + 7 = 0 for g.
-1
Let f(t) = -2*t**3 + 49*t**2 + 25*t + 5. Let o be f(25). Solve -5*k + 0*h + o = -h, -4*h = -20 for k.
2
Let p(m) = -m**3 + 8*m**2 + 10*m - 7. Let g be p(9). Suppose -g*i = -i. Solve -4*d - d + 2*x - 14 = i, -3*d + 3*x = 12 for d.
-2
Let o be (-2)/6 - 16/(-3). Solve -5*v - o*j = 15, -j = j + 8 for v.
1
Suppose 23 = -4*n - 1. Let o be (-3)/10*n*5. Suppose -2*s + o = -3. Solve -2*t + s = -4*r, 3*r + 5*t = -r + 29 for r.
1
Let b(q) = -q**2 - 1. Let l be b(-2). Let n = -5 - l. Solve -r = 3*r + u + 9, n = 5*u + 25 for r.
-1
Let g = -90 + 98. Solve -3*i - 5*j + g - 3 = 0, -5*i + 3*j = 37 for i.
-5
Let s(b) = -b**3 - 2*b**2 + 5*b + 9. Let p be s(-3). Solve 0*t - 3*q - 12 = -p*t, t = -2*q + 1 for t.
3
Suppose -f - 6 + 26 = 0. Suppose p - f = -4*p. Solve 6 = 3*v - 3*k, 8 = 3*v - p*k - 1 for v.
-1
Let m be 1 - (-2)/(2 - 4). Let h be 11 + m/(-3*1). Solve 2*t - q - 1 = -2, 5*t + 2*q = h for t.
1
Let t be 0 - 0 - (-3 - 0). Suppose t*y = l, 3*y - 2*l = -0*l. Suppose y = -2*b - 0*b + 12. Solve 5*u + 2*p = -20, 4*u = -p - b - 10 for u.
-4
Let c be -1 + (1*-9)/(-3). Let m = 0 + c. Solve m*n - 13 = -q, -3*q + 37 - 10 = 3*n for n.
4
Let q = -6 - -13. Suppose 2*n + 6 + 2 = 0, 35 = 5*f - 5*n. Suppose f*k = q + 2. Solve -3*h - 18 = 4*b, 0 = 2*b + b - 3*h + k for b.
-3
Let t(b) = b**2 - 6*b + 8. Let h be t(6). Let y = h + -7. Let i(j) = 2*j + 6. Let p be i(5). Solve a + p = -a + 5*k, 2*k = -a + y for a.
-3
Suppose 0 = -b + 3 + 2. Solve n - 3*q = -0*n, 4*n + b*q = -17 for n.
-3
Let z(t) = 3*t**2 + 10*t - 4. Let j be z(-4). Let a(f) = f**3 - 6*f**2 - 5*f - 9. Let x be a(7). Solve j*o = -x*q - 22, -2*o - 5 = -o + q for o.
-3
Let x(w) be the first derivative of 1/3*w**3 - 2 + 3*w - 4*w**2. Let k be x(8). Solve -1 = k*t + y + 2, -2 = -5*t - 4*y for t.
-2
Suppose 5*g - 20 = k, -3*k + 1 - 22 = -2*g. Solve 3*o + 5*p = -0*o + 19, -o - g*p + 13 = 0 for o.
-2
Let u = 5 - 3. Suppose d + d = 3*j + 10, 0 = -4*d + 3*j + 14. Solve 5*l - d = u*w + 1, w - 5*l = -4 for w.
1
Let y = 12 + -7. Solve -y*m = -3*u + 31, -4*u + 3 = -m + 2*m for u.
2
Suppose i = -4*i. Let p be 2/(-4 + 2)*-4. Let c be (i - 0)/(-2 + p). Solve 0 = 4*y - 8, -d + c*d - 9 = -2*y for d.
-5
Let y be (-6)/15 - 77/(-5). Suppose 2*l = -v + 6*l + y, -5*v + l + 18 = 0. Solve 2*x + v - 13 = -4*g, -15 = -3*g for x.
-5
Let d be (6/6)/((-2)/(-6)). Suppose d + 9 = 4*z. Solve 3*c + 12 = 3*s - z, -2*s - 25 = 5*c for s.
0
Suppose 3*j + 5*n = 22, 4*j - 3*j = n + 10. Let y be ((-6)/4)/(j/(-12)). Solve -5*t - 21 = l, 2*t + y*l + 18 = -2*t for t.
-4
Let l(f) = f + 8. Let h be l(-6). Suppose 0 = g - h - 0. Solve g*b = 4*c - 16, -6*b + 2*c - 20 = -2*b for b.
-4
Let r be 2/(-6) + 2/6. Let x = 2 - r. Solve 5*y = 4*m + 3 + 3, -x*y + 3 = -m for y.
2
Let r be (-3)/(-12) - (-45)/12. Let w be r + 2/(-2) + 3. Let j be 0/(w/(-3)*1). Solve -15 = 5*n + 5*p - 0*p, -n + p + 1 = j for n.
-1
Let v be (-2 - 1)*(-6)/9. Suppose -q + 2 - 1 = -2*f, -4*q + 32 = -f. Let r = q - 5. Solve r*x = v*p - 10, 2*x + 5*p + 9 = -26 for x.
-5
Suppose 5*y + 30 = 2*p, -50 = -4*p - 0*y + 5*y. Suppose -p = 2*l - 7*l. Solve 2*b = -2*c + 14, -l*c - b + 4 = -4*b for c.
5
Suppose 11*y = 15*y - 40. Solve n + t - y = 0, t = -5*n - 4 + 34 for n.
5
Suppose 1 = -v + 3*m - 15, -30 = 5*v - 5*m. Let d = 2 - v. Solve -2*p - y + 5 = d*p, -5*y + 25 = p for p.
0
Let q = -116 + 120. Solve -q*f + j = 1, j = 3*f - 1 + 3 for f.
1
Let y be (-1 - -1)*(-2)/4. Suppose -i - 2*i = f - 13, -2*f - i + 11 = y. Solve -a = -j - 6, -2*j + 0*j = f*a - 18 for j.
-1
Let p(h) = 6*h**2 + 3*h + 5*h**3 + 7 - 4*h**3 + 3*h. Let b be p(-5). Solve -2*d = 2*f + b*f + 2, 3*f = 4*d - 29 for d.
5
Let q = 5 + -5. Solve 5*k = -3*l + 15, -5 = -l + 3*k - q for l.
5
Let i be (-2)/((-6)/10 + 12/(-30)). Solve -i*k + 2*b - 11 = 7*b, -b + 2 = -k for k.
-3
Let l be (15/(-6))/((-1)/(-2)). Let o(m) = -m - 3. Let j be o(l). Solve -5*k - j = -2*g - 3, 2*k + 5*g - 12 = 0 for k.
1
Suppose -2*h + 11 = -5*w, -2*w - 4 - 7 = -3*h. Let k be (h/2)/(12/56). Solve -3*t + 4*n = -n + 1, -4*t + n = k for t.
-2
Let a = 36 - 8. Solve -5*f - a = -2*n, -33 = 3*f - 3*n - 9 for f.
-4
Suppose -2*v = v - 144. Suppose 4*u = u + v. Let p(m) = m**2 - 4*m. Let j be p(5). Solve -5*r - 16 = -j*q - 6*r, -q + 3*r = -u for q.
4
Suppose -6 + 9 = x. Suppose 16 = -0*b + 2*b + 3*m, b + x*m - 8 = 0. Solve 0 = l + 4*l + 3*j - 22, 0 = -2*j + b for l.
2
Suppose -h + 3*h + 12 = 0. Let a = 3 - h. Solve -5*m + a = -2*z, -2*m - 2*z - 5 = -3*m for m.
1
Let w(z) = -z + 13. Let t be w(6). Suppose 12 = v + t. Solve v*k + g + 5 = -2*g, 0 = 3*g + 15 for k.
2
Suppose -3*t + w = 76 - 176, 164 = 5*t + w. Let d = -1 + 5. Solve -t = 4*v - 5*g, 29 = -d*v + 2*v + 5*g for v.
-2
Suppose -4 + 40 = 3*t. Solve 3*b + m - 13 = 5*m, -3*b + 3*m + t = 0 for b.
3
Suppose k - 11 - 1 = 0. Suppose -2 = -y - 0. Suppose k + 18 = y*s. Solve -h + 5*o - s = 5, -4*o + 35 = 3*h for h.
5
Let o(l) = -l**3 - 13*l**2 - 11*l + 15. Let n be -12*(-1 - (-4 + 2)). Let z be o(n). Solve 4 - 2 = z*r + 2*w, 0 = -3*r + w + 8 for r.
2
Let m(r) = r**3 + 4*r**2 - r - 2. Let f be m(-3). Solve 4*w = -3*o - f + 3, -5*w = 3*o + 5 for o.
-5
Let d = 197 + -193. Solve -23 = -d*c - 2*q - 3*q, 5*c - 5*q = -5 for c.
2
Let m(a) = -2*a + 4. Let r be m(0). Solve r*t - 20 = 0, 0 = -4*v - 0*t - t - 7 for v.
-3
Let x(r) = r**3 - 7*r**2 - 13*r - 20. Let o be x(9). Solve l + 4*s + 0 = o, 3*s = -2*l + 25 for l.
5
Let x(s) = -s**2 - 6*s + 3. Let u be x(-3). Let f = u + -7. Let z = 51 + -36. Solve -4*p = -3*d - z, -3*d = -f*p + d + 20 for p.
0
Suppose -4*p + 3*p = -4. Solve 4*v = -4*t + 32, -p*t + 30 = -t + 5*v for t.
5
Let o(w) be the first derivative of -w**3/3 - 5*w**2/2 + 6*w + 3. Let z be o(-6). Let k be (-2)/(-6)*z + 2. Solve 0 = 4*x - k*u + 2, -4*x = 2*u - 2 for x.
0
Suppose 0 = r + 3*c + c - 12, -r = -2*c. Suppose -r*l + 5*l = 13. Solve -3 = -k + 2*x, 2*k + 2*x + l = k for k.
-5
Suppose 0 = -5*q + 7*q - 4. Solve 5*y - 17 = 4*p, 0 = y + 2*p + q*p + 11 for y.
1
Suppose -2*y = 5*s - 20, 3*y + 4*s = 2*s + 19. Suppose -4*t = -y*x + 13, 0 = -2*t - x + 8 + 3. Solve 0 = 4*o - t*l + 15 - 2, 4*l + 24 = -5*o for o.
-4
Let j(n) = n + 8. Let g be j(-8). Suppose g = -5*f + 25 - 0. Solve 16 = -5*v - r, v = 4*v - 4*r + f for v.
-3
Suppose 5 = 3*c - 10. Solve 3*j - 2*h + 0 = -7, 4*j - c*h = 0 for j.
-5
Let t be (-5)/3*-3 - 1. Suppose c = -1 + t. Suppose -v + 18 = 3*w + 2*w, -3*w + 4*v = c. Solve n + 13 = -5*k - w, 2*k = -4*n - 10 for k.
-3
Suppose 2*g + 2 = -0. Let k be g*(-11 - (-2 + -1)). Solve 3*y - 4*a + 6 = 0, 4*y + 2*a = a - k for y.
-2
Let a(f) = 3*f + 1. Let