 + 2 = 0 for k.
0
Let x = 19 - 17. Solve -5*h + 5*a - 10 = 0, -5*a = -4*h - x - 10 for h.
2
Let t = 35 - 33. Solve 0 = -4*a + 4*x - 36, t*x - 2 = -2*a for a.
-4
Suppose 4*l = 6*l - 6. Suppose 0 = l*h - 5 - 10. Suppose -3*j + h*u + 23 + 8 = 0, 3*j + u - 1 = 0. Solve 4*v - 2 = j*a, 5*a = 2*a - v + 11 for a.
3
Let d = 79 - 75. Solve d*v + v + 5*i - 10 = 0, -3*i = 5*v - 6 for v.
0
Let y = 3 - 1. Suppose -35 = -y*l + 61. Suppose 2*o - l = -o. Solve -2*d + 4*g - o = 2*d, 2*d + 8 = g for d.
-4
Let q be 1 + (-3)/1 - -8. Let b be (20/q)/((-8)/(-12)). Solve -8 = 2*w - 4*n, 5*n = b*w - 0*w + 15 for w.
-2
Suppose 0 = -4*a + 5*a - 22. Suppose d = -y + 2 + a, -d = -2*y + 51. Solve -6*s = -3*k - s - y, 5 = -3*k + s for k.
0
Let u(r) = -r - 2. Let g be u(-2). Solve 5*z - 4*x - 36 = g, 2*x + 5 = -3 for z.
4
Suppose -5*p = -5*v + 115, -v + 118 = 4*v - 2*p. Let n be 18/8 - 6/v. Solve -3*d = 2*w - 23, -6*d + d = -n*w - 17 for w.
4
Let d = 43 - 78. Let x be (42/d)/((-9)/30). Solve 2*f - 16 = 4*k, -5*k - x*f + 3 = 10 for k.
-3
Let c be (3 + 1)*10/8. Suppose -s - c = -2*s. Solve 4*k + 3*x - 17 = 0, -x + 16 = s*k + x for k.
2
Let h(a) be the second derivative of 1/12*a**4 + 0 + 3*a - 2*a**2 - 5/6*a**3. Let j be h(7). Solve 6 = -k - 2*z - 2*z, -3*k + j = -2*z for k.
2
Let g be 3/(-2)*(-8)/3. Let a be 4/(-3) + 2/(-3). Let n = a + g. Solve -5*v = -4*y, -v + 3*y + n*y = 0 for v.
0
Let c be (-6)/((0 - -1)*-2). Let x = c - -7. Suppose -4*l = -6*l + x. Solve 6*n = -q + 2*n + 3, l*n = -2*q for q.
-5
Let a be 10 + 0/3 + -1. Let p = -3 + a. Let c(l) = l**3 - 7*l**2 + 7*l - 3. Let s be c(p). Solve 4*d = 20, 4*d = 5*u + 37 + s for u.
-4
Let w(k) = k**3 - 7*k**2 - 10*k + 19. Let b be w(8). Solve 2*l + 0 = 5*s - 27, b*s - 17 = 2*l for l.
-1
Suppose -8 = 25*b - 27*b. Solve -3*v = -g, -3*g - b*v = -10 - 3 for g.
3
Let n(s) = 7*s**2 + 13*s + 7. Let l(f) = f**2 + f - 1. Let a(h) = -6*l(h) + n(h). Let i be a(-7). Solve 3*t = -2*d - 9, -4*t + 3*d - i - 16 = 0 for t.
-5
Let i(q) = q**3 - 7*q**2 + 2*q + 6. Let d be i(7). Suppose -3*p + 10 + 5 = 0. Solve l + 2*l + p*o = -d, -o = 4 for l.
0
Let a be (-3 + 9/6)*-2. Let v be a + (0 + -1)/(-1). Solve 2*u + 4*w + 10 = 0, 2 - 6 = -4*u + v*w for u.
-1
Let g be (0/(-5)*-1)/1. Solve -5*d + w = -g + 5, 5*w = 0 for d.
-1
Let x = 8 - 8. Suppose -3*n = -x*b - 4*b - 29, -n = 5*b + 22. Solve -c + 0 = -n*o + 8, 3*o + 7 = -2*c for o.
1
Let d be 4/2 - (-3 - -1). Let g be -9 - d - (0 - 0). Let x = g - -18. Solve -3*q - 4*j = x, -j - 6 = -4 for q.
1
Let k = -8 + 11. Suppose -6 = -k*h - y, 3*y = -0*y. Solve b + 4*b - 8 = q, -4*b - h = 2*q for b.
1
Suppose -6 = -2*p + 4. Solve 0 = -p*b - 4*t + 10, 0 = 5*t - 6 - 19 for b.
-2
Let q = -2 - -6. Let n(l) = 2*l - l + l - 5. Let k be n(4). Solve d - 2*r + q = 0, -d + 4*r = k*r for d.
4
Suppose 2*u - 32 = -5*r - 7, -4*r - 3*u = -27. Solve r*b + g = -4 - 6, 0 = -b + 4*g + 14 for b.
-2
Let o(z) = z**3 + z**2 + z - 3. Let n be o(2). Solve 4 = -2*b, f + 4 - n = b for f.
5
Let m be 2 - 4/(8/(-30)). Let l = m - 15. Solve 0 = -5*f + l*z + 3*z, z = -4*f - 10 for f.
-2
Let c be 3/(-6)*(3 + -3). Solve -2*f + 3*w - 9 = c, 4*f + 2*w + 11 = w for f.
-3
Let x = 8 + -2. Let j be (-1 - -2)*2 + 0. Solve -j*q - 2*d = 18, q + d - 15 = x*d for q.
-5
Let a be (-15)/(-10) + (-54)/(-4). Solve 5*i - a = -w + 2*w, 5*w = 3*i + 13 for i.
4
Let k(x) be the third derivative of 31*x**4/24 - x**3/3 + 2*x**2. Let s be k(2). Let j be s/27 + (-4)/18. Solve 5*f - 21 = -j*m + 4*m, f - 15 = 4*m for m.
-3
Let n be 3*1*(-1 + 3). Let g = 10 - n. Suppose 7 = f - g*j, 4*f - 14 = f + 5*j. Solve -5*h = -2*l + 15, -2*l - f*h - 9 = -0*l for l.
0
Suppose t = 5*o - 2, 0 = t - 2*o - 1. Solve -4*r - t*q - 27 = -0*r, 22 = r - 5*q for r.
-3
Suppose 2*l = 3*a + 10, -4*a - 8 = 2*l - 4. Solve s + 0*s = 2*m, 4 = -l*m for s.
-4
Let n(z) = -z. Let a be n(-2). Suppose a*w = -2*w. Solve -2*q + w*q + 14 = 3*d, -12 = -3*q for d.
2
Let r(b) = -b**3 + 5*b**2 - 2*b + 1. Let g be r(2). Suppose -l - g = 2*l. Let q = l - -5. Solve -10 = -q*m - 2*n, -4*m + 20 = -5*n + 3*n for m.
5
Let x = -11 - -15. Suppose -x*n = -2 - 2. Solve 5*g - 21 = -f, -g + 3*f + 2*f = n for g.
4
Let v(t) = -t**3 + 9*t**2 + 11*t - 4. Let d be v(10). Suppose d - 4 = 2*b. Solve -3*i = b + 2, 4*f - 4*i + 16 = 0 for f.
-5
Let m = -9 + 13. Solve t + 0*h + 5*h = 30, -25 = -t - m*h for t.
5
Let d(l) = -l**3 + 7*l**2 + l + 7. Let r be d(7). Let a be (r/(-3))/((-1)/6). Let n be 13/2 - 2/4. Solve a = 4*y - 2*p + n, -y + 1 = 4*p for y.
5
Let w(o) = o**3 + 7*o**2 - 10*o - 12. Let j be w(-8). Solve 3*x - 2 = -q + 7, 0 = -j*q + 3*x + 6 for q.
3
Let r = 34 + -22. Let z = r - 7. Let c(m) = -m**2 + m + 2. Let d be c(0). Solve d*o = -2*o, z = -s - o for s.
-5
Let j(o) = o**3 - 6*o**2 + 6*o. Suppose 2*c + 2*c = -5*n - 5, 3*n = -c - 10. Let r be j(c). Solve -9 = r*i + 5*b + 6, 10 = -4*i - 2*b for i.
-2
Let g be (-1)/(-4) + (-4)/16. Solve -2*y + 2 = -z, 3*y = -g*y - 3*z + 21 for y.
3
Let q(i) = 6*i - 8. Let m be q(2). Solve -4*f - m*v - 10 - 30 = 0, -v = 2*f + 15 for f.
-5
Let r(g) = 0*g + g**3 + 0*g - 4 - 4*g + 2*g**2. Let i be r(-3). Let d be i/((-9)/(-6))*-3. Solve -m = -4*k + 4*m + 3, d*k - 4*m = 0 for k.
2
Let n(o) = -o**3 - o**2 + 5. Let v be n(0). Let a be (-1 - 1)/(3/(-18)). Solve 3*h = -5*g + h + a, g + 3*h - v = 0 for g.
2
Suppose -5*l - 3*m - 19 = 0, -2*m - 2*m - 6 = -3*l. Suppose 4*z + 11 - 35 = 0. Let c = z + l. Solve 4*y + 16 = 4*w, 0 = -5*y + y - w + c for y.
0
Suppose 12 = 4*o + 3*f, -6*o - 4 = -4*o - f. Solve 4*q = 16, q + o*q - 2 = -n for n.
-2
Suppose 3*a = -0*a + 66. Solve 4*d - 3*p + 5 = 1, 0 = 5*d + 3*p - a for d.
2
Let z = 5 - 10. Let b = z + 6. Solve 5*x - b = 3*n + 14, -4*n - x = 20 for n.
-5
Suppose -2*f = 3*f - 20. Suppose f = -c, 2*l + 3*c - 13 = -3*l. Suppose -l*b + 0*b = 0. Solve b = a - t, -a - t + 1 = 5 for a.
-2
Suppose 0*i - 16 = -4*i. Solve 3*y - 4 = -2*u, y + 5*u = i*y - 11 for y.
2
Let b(u) = 1 - 2 - 4 - u - 1. Let a be b(-10). Suppose a*q + 80 = 8*q. Solve -4*s + 7*t = 2*t - 16, -4*s - q = 4*t for s.
-1
Let r = 13 - 7. Let c be (3/1)/(r/10). Solve -2*t = 3*i - c, -t + 0*i = -5*i + 30 for t.
-5
Suppose 4*l - 5*l - 11 = 0. Let f(z) = -z**2 - 11*z + 6. Let x be f(l). Solve -3*b = y + 6, -2*b - x = 4*y + b for y.
0
Suppose 5*c = 2*c + 9. Solve c*v + k = -11, 4*k - k = 3*v + 3 for v.
-3
Let u be 4/6 - (-13)/3. Let n(d) = 2*d + 6. Let z be n(5). Solve u*r + 37 = r + 5*i, -3*r - 5*i + z = 0 for r.
-3
Suppose -3*z = -2 - 13. Suppose 3*k - z*k = -36. Solve 5*a + 2*t = -0*a + k, -20 = -5*t for a.
2
Suppose 4*p = x + 23 - 86, 0 = p + 5*x. Let t be (78/p)/(2/(-10)). Let y(s) = s + 5. Let g be y(-1). Solve 0 = -5*j - g*f + t, -5*j + 14 = f - 0*f for j.
2
Let z = -4 - -11. Let t = -2 + z. Suppose -a = 4*j - 1, -32 + 8 = -t*a - j. Solve -3*x = -8*x - a*y + 5, -2*x = -2*y + 18 for x.
-4
Let t = 143 - 141. Solve -t*c = -f - f + 6, f - 2 = 0 for c.
-1
Let m = -35 + 41. Suppose -5*q + 7*b - 20 = 2*b, 4*q + 3*b = -30. Let f = q + m. Solve -5*n = 4*k - 5, f = -0*n - 4*n - 3*k + 3 for n.
-3
Let p(l) = l**3 + 4*l**2 + 2*l + 3. Let x be p(-4). Let g(s) = s**3 + 5*s**2 - s - 3. Let a be g(x). Solve 0 = -4*c - 3*r - 1 - 5, -a*r - 4 = 5*c for c.
0
Suppose 5*s + z = 5, -3*z + 6*z + 17 = s. Let f(r) = 2*r - 2. Let v be f(2). Let p be (v/3)/(s/9). Solve 2*o - 2*k + p*k - 8 = 0, 0 = -4*o - 4*k + 12 for o.
5
Suppose c - 3*c - 3*z + 55 = 0, 4*z = 20. Solve -4*b - b - 4*g - 21 = 0, c = -4*b - 4*g for b.
-1
Suppose 11 = 5*n - 4, 0 = 2*d + 2*n - 12. Suppose d*j = -5*y + 23, 3*y - 51 = -2*y + 4*j. Solve 5*r = x - 5 - y, 0 = 5*r + 15 for x.
-3
Let b be 1/(-4) + (-135)/20. Let l = 23 + b. Solve 4*f + 0*v = -4*v - l, 2*v + 17 = -5*f for f.
-3
Suppose 3*q - 4*h = -9 + 3, -2*q = 5*h - 19. Let b be (6 - -1 - -1)/q. Solve r - 4*l = 9, -5*l + 15 = b*r - 0*l for r.
5
Suppose -28 + 0 = -4*z. Let j be 2/z + (-340)/(-35). Solve 3 = -v - 3*h + 4*h, 3*h = 4*v + j for v.
-1
Let m(p) = -p**3 + 7*p**2 + 9*p + 7. Let r be m(8). Solve -4*o = 9*c - 4*c - 15, 5*c = -o + r for o.
0
Let q(w) be the first derivative of w**3/3 - w**2 - 5*w - 2. Let l be q(4). Solve l*m - 14 = -p, -p - 6 = 3*m - 4*p for m.
3
Let d(z) = 6*z + 1. Let q(h) = 19*h + 4. Let g(y) = 14*d(y) - 4*q(y). Let k be g(2). Solve 5 = -2*u + 5*c - k, 2*c = -u + 13 for u.
3
Let q = -7 - 