 for k.
-1
Suppose 0 = 4*n - 36 - 8. Suppose n + 10 = 3*q. Solve -q*o - 14 = -2*o - 3*i, 2 = -o + i for o.
-4
Suppose 0 = -3*x + 5*x - 4. Suppose 6*o - o + 7 = -x*b, 0 = 3*o + 9. Solve -3*d + 9 = b*s + 2, s + 4*d + 8 = 0 for s.
4
Suppose -2 = -5*w + 8. Suppose 4*k + 16 = -0. Let q be w/4 + (-2)/k. Solve -3*i - 3*u + q = 25, 0 = -2*u - 8 for i.
-4
Let c be 6/9 + 26/6. Let z = -2 + c. Solve 5*g - 4 - 11 = z*v, 0 = -2*v + 4*g - 10 for v.
-5
Let d = 36 - 23. Let h = -9 + d. Solve -4*i = 4*l - 12, 2*l + 0*l - 4 = -h*i for i.
-1
Let v(c) = c + 10. Let g be v(-10). Solve 0 = -l - 5*s - 13, l = -g*l - 4*s - 10 for l.
2
Let b(g) = g**3 - 9*g**2 + 14*g + 2. Let s be b(7). Solve 3*h = -0*h - 3*o + 18, -3*o = -s*h - 8 for h.
2
Let q(n) = n**3 + n**2 - 12. Let h be q(0). Let j be (6/h)/(2/(-4)). Solve 0 = -5*w - 2*r - 3, 4*w + 2*r + j = w for w.
-1
Let t(o) = 1. Let h(i) = i**3 + 9*i**2 + 7*i - 14. Let a(p) = h(p) + 6*t(p). Let z be a(-8). Solve -2*g - 3*k = z, -5*k = -2*g - 0*g for g.
0
Suppose 3*m + 17 - 77 = 0. Suppose 0*d = 4*d - m. Solve -d*r + 15 = 0, 4*w + 10 = r - 5 for w.
-3
Let i = 14 + -7. Solve 0 = -3*u - i - 5, -2*l = 4*u + 20 for l.
-2
Suppose 3*n = 4*a + 15, -4*n + 2*a + a + 13 = 0. Let q(z) = -z + 0 + n - 3*z. Let v be q(-1). Solve -4*m - 5*y = -v - 4, y = 5*m - 4 for m.
1
Suppose -z + 18 + 8 = -o, 0 = 5*z + o - 130. Let p be z - (3 + 3)/2. Suppose -h + 2*h - 4*l - 3 = 0, 4 = 4*l. Solve i - 5*n = p, n + h = 2*i - i for i.
3
Let a = 0 - -3. Suppose 0 = -a*j + 9 + 9. Suppose 0 = j*i - 11*i. Solve v + 4 = i, -v = -4*u + 3*v for u.
-4
Suppose 5*a - 2*m = 0, a + 3*m = 3*a. Let l(p) = a*p + 9 - 2*p + 3*p. Let t be l(-4). Solve -c + 15 = 5*h - 3*c, t*c = 0 for h.
3
Let a = -1 + 1. Suppose a = -2*o - 1 + 7. Solve 4*w - 13 = o*b, -2*w + 5*b = -2 - 1 for w.
4
Let g be (4/10)/((-2)/(-10)). Suppose g*w = 5*p - 10, 2*p - 3*w = p + 15. Suppose p = -v + 2 + 2. Solve 3*q + v*a = 2*q + 18, 3*q + 2*a - 4 = 0 for q.
-2
Let g(r) be the first derivative of -5*r**2/2 - r + 1. Let m = 65 + -67. Let a be g(m). Solve 0 = 5*o - o, -a = 3*s - 2*o for s.
-3
Let s(h) = 6*h**2 + h - 1. Let o be s(1). Let f = 8 - o. Suppose j - f = -j. Solve -5*n - j = 4*q, 0 = -5*n + q - 0 + 19 for n.
3
Suppose 2 + 8 = 5*r. Let l = -7 - -4. Let h be r/4*-2*l. Solve 0*n - 15 = 3*n - h*b, -n + 3*b - 11 = 0 for n.
-2
Suppose 4*m = 11*m - 35. Solve -3*d - 4*i = -m*d + 18, -18 = -4*d + 2*i for d.
3
Let y = -2 + -3. Let l be 4/y*(0 + 5). Let z = 8 + l. Solve 3*f + 3*b = f - 10, 0 = f - 3*b - z for f.
-2
Suppose -3*a = -5*a + 4. Suppose 0 = -f - 3*p + 16, -f - 4*p = -a*p - 12. Let t be 0/f*1/2. Solve t = 5*y + 3*o - 6, 3*o - 8 = 4*y - o for y.
0
Suppose q = 7*q - 18. Solve -q*m + 3 = 15, -31 = 5*w + 4*m for w.
-3
Let t = -4 + 1. Let l = t - -13. Suppose 5*b - l = -0*b. Solve 0 = 5*m + j + 16, -2*m - b*j = -m + 5 for m.
-3
Let y(k) = k**2 + 5*k - 1. Let c(t) = t**3 + t**2 - 3*t + 3. Let p be c(-3). Let d be y(p). Solve 3*g - 2*m + 12 = 0, d*g - 2 = -3*m - 22 for g.
-4
Let o = 90 - 85. Solve -5*d + 1 + 2 = 2*c, 3*c + 8 = o*d for d.
1
Let c(q) = 2*q**2 + 2*q - 1. Let t be c(-2). Suppose -2*u + t*u = 8. Solve -2*j + u = -2*f, -5*f + 1 - 21 = 5*j for j.
0
Let s(b) = -b**2 - b + 2. Let u(j) = j - 7. Let a be u(7). Let g be s(a). Solve 4*x = 2*o + 10, -5*x + g = 2*o - o for o.
-3
Suppose 4*f = 12 + 8. Solve 0*p - 4*p - f*j - 17 = 0, -4*j - 14 = 3*p for p.
2
Suppose -3 = 2*d - 11. Suppose 3*i + 4*h = 13, 0*h - 3*h + 18 = 5*i. Solve -i*n = -5*z + 31, -5*z = -d*n - 2 - 31 for z.
5
Let h be (-8)/24 + 16/3. Solve 26 = -w + 5*a, 6*a - 4*a - 15 = h*w for w.
-1
Let z = 10 - 2. Let j = z + -8. Suppose j*m = -m. Solve 9 + 9 = 3*w + 3*o, m = -3*w + o + 6 for w.
3
Let f be 2 - 0 - (-2 + 4). Suppose -2*j + 4 + f = 0. Solve 0 = 5*t + 3*v + 13, -j*t = -t + v + 3 for t.
-2
Let c be 4/(16/12) + -1. Solve 14 = t + 2*j, 5*t - 2*j = c*j for t.
4
Let b(v) = -v**2 + 10*v + 15. Suppose 0 = -4*u - 2*z + 34, -27 = -2*u + 3*z - 2*z. Let p be b(u). Solve -5*j - 2*x = -4, 4*x = -p*j - x + 10 for j.
0
Suppose u + 4*l = 22, 0*u + 18 = -u + 4*l. Suppose -q - u*q + 18 = 0. Solve -q*m + i = -3*m + 1, -i = -1 for m.
0
Let z be (1/3)/(5/(-15)). Let t be 4/(-14) + 12/(-7). Let j be 6/z*t/4. Solve 2*o - j*r = 21, -4*r - 6 = 3*o - r for o.
3
Let o(a) = -a + 6. Let t be o(0). Let g be -3*t/4*-8. Suppose -4*r = -2*r - g. Solve 0 = -2*i + 4, 2*i + r = 4*j + i for j.
5
Suppose -7*m + 46 = 25. Solve 4*p = 3*y - 0*p + 16, -p = -m*y - 4 for y.
0
Let f(d) = 3*d + 6. Let a(z) = -9*z - 17. Let x(s) = -4*a(s) - 11*f(s). Let q be x(2). Let v = q + -2. Solve 5*u = -5*w + v - 21, 0 = -5*w + u - 27 for w.
-5
Suppose 35*z - 10 = 30*z. Solve z*o + 32 = 4*k - o, -4*k - o + 16 = 0 for k.
5
Suppose 24 = 5*c + 3*s, -5*c + s - 4 + 16 = 0. Solve 3*h + j = 1, 3*h + c*j = -j + 13 for h.
-1
Suppose -2*j + 9 = -5*t - 13, 0 = -j + 3*t + 11. Let w = -15 - -8. Let g = w + j. Solve 12 = g*x, 3*l = -l - 2*x + 14 for l.
2
Let g be (-1)/3 + 4 + 2/6. Let u(n) = n**2 - 6*n + 5. Let i be u(5). Let s = i - -1. Solve 2*p + 3 = y + s, 5*y - g*p = -2 for y.
-2
Let j be (2 - 0) + 9/3. Solve 4 = n - 0*n - m, 2*n + j*m = -20 for n.
0
Let z be (-14)/(-42) - (-12)/(-9)*-2. Solve 4*w + 3 = -z*o - 4, -o = w + 3 for o.
-5
Suppose p - 4*p = s - 42, 5*s = p - 30. Suppose i + 2*o - 5*o = 21, 4*o - 12 = 0. Let d be 12/i*(-1 - -6). Solve 0 = 5*u + d*q - 35, 2*u + 0*q - p = -q for u.
5
Let q(i) = -2*i - 4. Let b(d) = -d**3 - 2*d**2 + 5*d + 3. Let v be b(-3). Let k be q(v). Solve 0*l = k*l + 3*w - 5, -5*l - w - 20 = 0 for l.
-5
Suppose c + 6 = -i + 14, 5*i = -2*c + 43. Solve -2*u = -r, 5*r + 5*u - i - 21 = 0 for r.
4
Suppose -y - 3 = -2*y. Suppose y*z = -0*z + 3*r + 60, 2*r - 5 = -z. Solve -4*t - 12 = 2*l, 0 = 2*l + 2*t - 7*t - z for l.
0
Let n(d) = d**3 - 4*d**2 + 6*d - 2. Let q be n(4). Solve h + m - q = -4*m, -4*h = -4*m + 8 for h.
2
Suppose 3*u - 13 = -1. Solve 3*d = -2*h + u, 5*h = h + 5*d - 14 for h.
-1
Let t(b) = 3*b**2 + 3. Let j be t(0). Solve d - 8 = 5*y, -3*d - 5*y + j = -1 for d.
3
Let x be (0 - 0)/(5 - 7). Let s be x - (12/(-3) + -1). Solve 17 = s*l - 4*n, 4 - 12 = 4*l + 4*n for l.
1
Suppose 0*m + m = 1. Suppose -4*w = -1 - 15. Suppose w = s - 3. Solve -2*r - m = -s*o + 2*o, 0 = -3*o + 3 for r.
2
Suppose 0 = -3*w - 4*d - 8, 5*d + 0*d = -3*w - 13. Suppose 2*m - 19 = -o + m, m + 91 = w*o. Solve -v - o = 5*z - 6, -4*z + v = 20 for z.
-4
Suppose 9*p - 19 = 35. Solve 7 = -3*w - g, -3*w + 2*w = 2*g - p for w.
-4
Suppose 0 = -4*t, -2*t = 4*x + 2 - 14. Suppose 2*f = -v - v + 52, 2*f - 22 = 4*v. Solve k = 5*q - 11 + 1, -f = -x*k - 2*q for k.
5
Suppose 4*x - 17 = -y, -13 = -4*y + 7. Solve 5*s = -k - 5, -x*k + 3*s + 3 = -0*k for k.
0
Let b(y) = 14*y + 2 + 13*y + 4*y**2 - 24*y + y**3. Let s be b(-3). Solve -o = a + 2, s*o + 14 = -3*a - a for o.
3
Let k be 4/(-14) - 195/(-21). Let u = -8 + k. Let s(w) = 8*w. Let r be s(u). Solve -x - a - r = 2*x, -x = -a for x.
-2
Suppose -4*c + 5 = -3*c. Let s(z) = z**3 + 0*z**3 - z + 0*z. Let p be s(1). Solve -v + c*u - 19 = p, v - 3*v - 10 = -3*u for v.
1
Let j(u) = -u**2 + 8*u. Let z be j(8). Let d(p) = 2*p - 12. Let o be d(6). Let i be (o - -2)*(-7)/(-14). Solve -n - 2*y - i = 0, -3*y + 6 = -z for n.
-5
Let p = 2 - -2. Suppose -p - 11 = -v + 5*g, -v + 39 = g. Solve -4*a + v = -5*f, 0*f = 3*f + 9 for a.
5
Let i = -2 + 5. Let m = -18 - -26. Solve 4*u = 5*r + m*u + 33, 2*r + i*u = -16 for r.
-5
Suppose 6*d - 21 = 15. Solve 3*t - m + 0 = -5, d = 3*m for t.
-1
Let n be 9*(3 - 2/3)*1. Solve -3*t = -g + 12, -2*t - n = -0*g - 5*g for t.
-3
Suppose -u = -2*u - 5*m + 2, -2*u + 4*m + 4 = 0. Solve 5*s - 14 = -4*y, u*y - y = -s + 3 for y.
1
Suppose 2*s = -2 + 4. Let g = 5 + -2. Solve j + 7 = 3*t, 0 = 2*j + 3*t - g - s for j.
-1
Let f = -2 - -6. Let w be 12/(-5)*(-11 - -6). Let r be ((-6)/(-4))/(9/w). Solve -20 = f*d + 4*b, 0*d = -2*d + r*b + 10 for d.
0
Let j be (-3)/(-6) + (-50)/(-4). Solve 0 = 6*g - 5*g - 5, -4*l = -5*g + j for l.
3
Let q = -1 - -6. Let g = 41 + -38. Solve -h + 6 + 22 = -q*b, g*h - 14 = b for h.
3
Suppose 3*r + 10 = 3*l - 17, -5 = r. Suppose -4 = -2*t, -2*d + l*t + 4 = d. Solve 0 = -d*u + 2*o - 20, -2*u + 0*u = 5*o - 14 for u.
-3
Let x(y) = y**3 + 6*y**2 - 8*y + 4. Let l be x(-7). Suppose -4*q + 5*g = -23, 8 + l = 2*q - 5*g. Solve -5*b - 5*j -