k. Solve 0 = -o - k*w + 15, w = 4*w - 12 for o.
-5
Let x be -8*(-3)/(-2 + 8). Suppose -19 = 3*n - x*d, -3*n + d + 0*d = 25. Let u = -3 - n. Solve 5*h = -3*y + 16, 0 = -2*y - h + 6*h - u for y.
2
Let i be (18/(-63))/(2/(-14)). Suppose 4*o - 3 = 3*o. Solve -5*f + 9 = u, -2*u = o*f + i*u - 19 for f.
1
Suppose 8 = 5*o - 2. Solve 3*s + 3*q = q - 3, -5*s = o*q + 9 for s.
-3
Let a be 47/5 - 3/(-5). Let y be a/3 + (-1)/3. Solve 5*b - 2*v + 0*v + 6 = 0, -y*v = -5*b - 9 for b.
0
Let k = 2 - -2. Suppose -k*g = -1 - 15. Solve 4*o + 2*n - 4 = -0, -19 = -o + g*n for o.
3
Let n(c) = c - 4. Let i be n(6). Let q be 1 - (-1 + (i - 2)). Let a be ((-3)/(-3))/(1/q). Solve 3*w - a*b - 9 = 0, -6*b - 13 = 2*w - b for w.
1
Let y(f) = -f + 2. Let a be y(-2). Let w be (-10)/(-4) - (-3)/6. Let g = 0 + w. Solve -5*o = 2*p + g*p + 20, -3*p - a = -o for o.
-2
Let y(m) = m**2 - 6*m - 6. Let p be y(8). Suppose -6*u + 4*u + s = -p, -4*u = -s - 16. Solve -4*r + 4 = 0, 2*k + u*r + r - 8 = 0 for k.
2
Let w be (3/(-3) + 2)*-7. Let m = 11 + w. Let k = 14 + -11. Solve m*b + 17 = g, k*g + 5*b = 1 - 18 for g.
1
Suppose 5*t + 7*o - 2*o = 20, t = -4*o + 10. Suppose -t*m = 2*l - 0*m - 28, 40 = 4*l - 4*m. Solve h - 3*z = -8, 3*h - 2*z = h - l for h.
-5
Let i be 1/(-4) - (-2)/8. Suppose -23*d + 18 = -17*d. Solve -3*t - q - 4*q = 9, -2*t + d*q + 13 = i for t.
2
Let u(n) = n**3 - 2*n**2 - 2*n - 1. Let b be u(-1). Let s be (0 - 0) + 2 - b. Solve -4*o - s*j = -16, -4*j - 1 = -o - 17 for o.
0
Let q(a) = a + 3. Let d be q(-1). Solve 8 = 4*o, 0 = -5*l - 7*o + d*o + 35 for l.
5
Let n = 30 - 11. Let g(s) = s**3 - 20*s**2 + 20*s - 18. Let d be g(n). Solve -d = -3*a + 2*a, 0 = 4*q - a + 5 for q.
-1
Suppose 2*j - 8 + 4 = 0. Suppose 4*s + 3*u = 19, 1 + 0 = u. Suppose 0 + s = j*b. Solve w = -4*v + 6*w, -5*v + b*w = -17 for v.
5
Let a(l) be the second derivative of -l**3/3 - 3*l**2 + 6*l. Let q be a(-8). Solve 2*b - 2 = -3*f + q, -5*b = 4*f - 23 for b.
3
Let o(q) = 4*q - 21. Let c be o(6). Let b = 4 - 0. Let w be 0*(-1)/b*2. Solve 2*a + 11 = -w*a + 5*g, c*a = -g - 8 for a.
-3
Suppose -2*u = -5*p + 3, 0 = u + 3*p - 4 - 0. Let q = 7 - u. Solve 2*y - 10 = 4*i, -q*y + 2*y = 2*i - 20 for i.
0
Suppose 2*h - 32 = -2*h. Let x be (1 + -1)/(h + -9). Solve -18 = -s + 5*a, 3*a + 15 - 3 = x for s.
-2
Let q(s) = s**3 - 2*s**2 - s - 4. Let m be q(3). Let z = -86 + 86. Solve -2*h - m = -2*i, 2*i - 3*h - 3 - 4 = z for i.
-4
Let o = -32 + 48. Suppose -4*s + o = -c, 15 = 3*c + 3*s - 12. Solve -3*y - 3*b = -2*b - 15, -5*y - c*b = -25 for y.
5
Suppose h + 3*u = -4*h + 18, 0 = 5*u - 5. Suppose 0 = -5*p + 4*p + 5. Solve 0 = p*i + l - 16, -3*l = h*i - 4*i for i.
3
Let j = -1 - -4. Suppose j*c - 11 = 7. Solve -3*r = 5*b + 31, c*b - 2*b = r - 18 for b.
-5
Let t be (-76)/(-1)*8/32. Solve i = z - 2*z + 3, 0 = -5*z - i + t for z.
4
Suppose 0 = -2*c + 3*c - 14. Suppose 5*g - c = 1. Suppose -4*j + 5*u + 17 = 0, g*j = 2*j + u + 4. Solve -w = -q - 2, 2*w = -8*q + j*q + 11 for w.
3
Let f = 64 - 60. Solve 1 - 7 = -5*r - o, f*o - 3 = r for r.
1
Let k(j) = j**3 - 4*j**2 + 3*j + 3. Let y be k(3). Let z = -83 - -83. Solve 12 = -4*l + 4*x, z*l = 2*l + x - y for l.
0
Let f(d) = -2*d - 10. Let p be f(-6). Solve -4*a = -0*t + p*t - 8, 2*t = a - 7 for a.
3
Suppose -r - 4 = -2*i, 4*i - r + 1 = 13. Let m be ((-1)/(-3))/(i/60). Solve 2*h = 2*a + 4, -a + m = -4*h + 4 for h.
-1
Let a(b) = -b. Let v be a(1). Let l be (v - -2)*9/3. Solve 2 = -4*w + 2*u, 1 + l = -5*w + 3*u for w.
1
Let q(o) = -3*o**2 + 7*o - 3. Let y(c) = -c**2 - 1. Let z(n) = -q(n) + 4*y(n). Let x be z(-6). Solve 23 = -3*j - x*w, j - 5*w - 18 = -j for j.
-1
Suppose 0 = r + 3*z + 2*z - 39, -2*r + 3*z = -26. Suppose r - 7 = c. Solve -4*s - m + c = -3*m, 26 = 4*s + 5*m for s.
4
Let h = -40 + 44. Solve 3*q + 5 = 5*z, -5*z - h*q + 5 = -35 for z.
4
Let w(g) = -g**3 - 6*g**2 + 7*g + 2. Let y be w(-7). Let i be (-2)/y*51/(-17). Solve -2*v - 3*o + 6*o = 17, -v - i*o + 14 = 0 for v.
-1
Let f(g) = g**2 + g + 4. Let i be f(0). Let y(m) = 2*m - 5. Let b be y(i). Suppose -4*w + 1 = -b. Solve 5*s - 5*c - 6 = -w, 3*c = 2*s for s.
3
Let c be (-15)/2*(-40)/60. Solve -c*t - j + 2*j = -3, 0 = -j + 2 for t.
1
Let o(y) = -y**3 - 3*y**2 + 3*y - 1. Let j be o(-3). Let h be 10/(-25) + (-54)/j. Solve k + 20 = -k - h*n, 0 = 5*n + 10 for k.
-5
Let n be (182 + -4)/(1/2). Let f be 8/12 - n/(-6). Let s be ((-2)/(-4))/(6/f). Solve 7*d - 10 = -s*x + 2*d, 0 = -4*x + d + 23 for x.
5
Let r = -3 + 6. Suppose 4*a + r - 15 = 0. Solve -1 = 4*l + p, a*l + 5*p + 5 = 2*l for l.
0
Let v(w) = -w**2 + 6*w + 10. Let g be v(7). Suppose z + t + 9 = 0, z + 0*t + 5 = g*t. Let m = z + 13. Solve -2*y = -2*i + 3*i - 5, -30 = -m*y + i for y.
5
Let m = -9 - -13. Suppose -x + 0 + 12 = -v, 0 = m*v + 20. Suppose -3*o - 12 = -3*f, -4*f + 5*o + 7 = -8. Solve f*l - 30 = -4*t, 4*l = -t + 4*t - x for l.
2
Let o be (6 - 2) + 1 - -1. Solve -11 = -a + 3*h + o, 8 = 4*a + 3*h for a.
5
Let x be ((-4)/3 - -2)*6. Suppose x*q - 6 = q. Solve -j + m - q = -2*j, 4*m = -4 for j.
3
Suppose -t = 2*t - 9. Solve -5*i + 0 = -n - t, 5*i - 1 = 2*n for i.
1
Suppose -4*t + 30 = -6. Let r be 22/(-5) + (-3)/5. Let d be r*(-3 - -1 - -1). Solve -m = -d*k - t, k = -k - 2*m - 6 for k.
-2
Let g be 1/(-2) + (-63)/(-6). Suppose -4*v + 6 = -v. Suppose 0*p + 6 = v*p. Solve 0 = p*j - 2*w - g, 0 = 7*j - 3*j - 3*w - 13 for j.
4
Suppose u = -5*o - 7, 4*u + o - 11 = -1. Let c be u*(0 + (-2 - -3)). Solve -r = 2*z - c, 5*r = -z - 9 + 24 for z.
0
Let z(v) be the second derivative of -v**4/12 - 4*v**3/3 + 6*v**2 + 3*v. Suppose -34 = 4*h + 2. Let g be z(h). Solve -g = 3*t - 3*w, 3*w - 5*w + 6 = 0 for t.
2
Let g = -47 - -47. Solve 1 = -4*a - 5*t, g*a + 4*a + 22 = 2*t for a.
-4
Suppose -4 - 2 = -2*y. Solve 2*m = -2*m + y*g - 25, -19 = m - 5*g for m.
-4
Let z(l) = l**3 - 5*l**2 - 3*l - 8. Let c be 7 - 5 - (-6 + 2). Let y be z(c). Solve 3*v - 2*s = s + 3, y = -5*v + 2*s for v.
-4
Let g = -20 + 24. Suppose -16 + 42 = 5*r + 4*q, 5*r = -3*q + 22. Solve -3*j + m = 3*m - 25, g*j - r*m - 10 = 0 for j.
5
Suppose 5*z - 27 = -3*o, 4*z + o - 4 = 3*o. Solve 2*u - 2*y = -4*y + 20, y + 10 = z*u for u.
5
Let w(c) = -c**3 - 7*c**2 - 10*c + 2. Let b be w(-5). Solve -11 + 5 = 2*s + b*r, -r = -4*s - 12 for s.
-3
Suppose -2*v - q = -1, 2*v - v = 2*q + 3. Solve -2*z = l + v - 7, 4 = 2*l + 2*z for l.
-2
Let o = -44 + 104. Suppose 2*w = -3*w + o. Let s be (-14)/(-6) - (-8)/w. Solve 4*v + s*g = -4, -14 = v + 4*g - 0*g for v.
2
Let v(n) = 3*n**3 + n. Let u(a) = a**2 - a + 1. Let f be u(-2). Let r = -6 + f. Let z be v(r). Solve 0 = -z*o - 2*g - 4, 0 = -2*o + 2*g + 2*g + 18 for o.
1
Suppose 0 = -5*g + 2*x + 24, 3*g = -5*x + 16 + 17. Suppose 4*z = 8*z - 20. Let b be (5 - z)*(0 - 1). Solve -3*t = 3*l + g, -5*t - 5*l + 6*l + 14 = b for t.
2
Suppose 10 - 2 = 4*z. Let l be (-4 - -6) + (z - 0). Suppose 2*m + l = 12. Solve 0 = 3*i + 3, m*i - 7 = 4*a + 9 for a.
-5
Let w = -13 + 11. Let i = w + 4. Solve -3*q + 16 = -5*q + 3*r, -i*r + 16 = -4*q for q.
-2
Let i(y) = -y**2 + 3*y + 12. Let t be (2 - 7)*-1*1. Let z be i(t). Solve 3*b = -2*o + z, -3*b - 6 = 3*o - 3 for o.
-5
Let j = 4 - 6. Let m(a) = -3*a - 1. Let x be m(j). Solve -5*u + 2*k = -14 + 39, x*k = 0 for u.
-5
Let w be (-44)/55*(-19 + -1). Solve w = -3*d + t, 4*d + 57 = 5*t + 21 for d.
-4
Let a = -82 - -85. Solve s = a*s - 5*i + 28, 4*i = 2*s + 24 for s.
-4
Let i(d) = -d**3 - 5*d**2 + d + 6. Let h be i(-5). Let n be h/((-1 - -2)/4). Solve 2*c + 3*o = 4*c, -n*c - o = -14 for c.
3
Suppose 0*a - a = -5. Let c be (4/a)/((-4)/(-10)). Let n(j) = 3*j**2 + 2*j - 1. Let x be n(1). Solve 10 = c*s, 2*i - x*s = -s - 21 for i.
-3
Suppose 0 = -2*n + 7 - 3. Let b be (-4)/n + 3*1. Let x = 1 + b. Solve x*o + 7 + 3 = -c, 0 = -5*o + 3*c - 14 for o.
-4
Let z(d) = -d + 4. Let q be z(0). Solve -b = -2*b + g - 9, -q*b - 11 = g for b.
-4
Let k(z) = z**3 + 2*z**2 + 1 - z + 2*z**2 + 1. Let v be k(-4). Solve 5*b + v = 21, 2*u - 9 = -5*b for u.
-3
Let p(o) = -o**2 + 11*o - 8. Let y be p(10). Let s(b) = -2*b + 15. Let w be s(10). Let f = w + 9. Solve y*h - 3*r + 14 = 0, 0*h = h + 4*r - f for h.
-4
Suppose -3*v - v + p + 10 = 0, -3*v = -3*p - 12. Let s = v + 1. Suppose -u + 2*a - 6 = 0, s*a + 5 = 4*a. Solve b = 5*l - 8, -b + 4 = u*l - 3*b for l.
2
Let y be (-3 + 4)/(2 + (-9)/6). Solve 3*k + 2*k = -y*