*k = o - 6, k + 10 = o - h*o for k.
-2
Let s(z) = -z**3 - z**2 + z + 2. Let y be s(-2). Let f(b) = -4 - 2 + 2 - 9*b - 2*b**2. Let g be f(-4). Solve -y*q + i = 0, 3 = -q - g*i + i for q.
1
Let u(z) = -10 - 36*z + 21*z + 14*z. Let o be u(-14). Solve g = o*g + 15, 4*g = -4*b - 4 for b.
4
Suppose -s - 2*y + 5 = 0, 6 = -4*s + 4*y + 14. Solve -2*g = -8, s*b - 4*g + 7 = -24 for b.
-5
Suppose -3*h + 2 = 4*o, 16*h - 13*h + 10 = 2*o. Solve -2 = 2*d + q - 3, -o = -d + q for d.
1
Let z = 79 + -77. Solve -5*n = -q + z*q + 22, -26 = 4*n + 5*q for n.
-4
Suppose 8*w - 19*w = -44. Solve -w*f + 6 = -3*y, 5*y - 2*y - 3*f + 6 = 0 for y.
-2
Let i(f) be the first derivative of f**3/3 + 5*f**2 + 14*f - 1. Let d be i(-9). Solve -2*n - 4*v + 20 = 0, -4*v + 5*v = 2*n - d for n.
4
Let b(y) = -11*y - 57. Let h be b(-6). Let s(n) = n**3 + 3*n**2 + n - 2. Let v be s(-2). Solve v = -3*m + c - 6, -h = 5*m + c + 1 for m.
-2
Suppose 2*d = -5*q + 27 - 9, 2*d = -2. Solve 5*k + 22 = v, -7 = v - q for k.
-5
Suppose 7*x - 6*x = 2*c + 6, -4*c = 3*x - 58. Solve 3*q - 4*d = 2*q - x, 0 = -4*q + 4*d - 8 for q.
2
Suppose -j + o + 26 = -2*j, 2*j + 3*o + 48 = 0. Let y = -26 - j. Solve 5*r + 4 = -3*d, 2*r - y = -3*d - 2 for d.
2
Suppose q - t + 8 = 0, -5*q + q = -3*t + 33. Let x be (-3)/q*3*0. Solve -6*z + z = -2*v + 3, -3*v + 12 = x for z.
1
Suppose 2*f + 11*d = 9*d + 12, 4*f - d - 4 = 0. Suppose 0*l - f*l - 4 = 0, -4*t + 16 = -2*l. Solve 4*g + 20 = -t*y - y, -5*y + 4*g - 7 = 0 for y.
-3
Let u be (9/42*-32)/((-2)/(-14)). Suppose 2*p + 0*p - 3*c = 6, -8 = -2*c. Let f be (-3)/(4/(u/p)). Solve 0 = 4*h + f, -n + 4*n - 4*h = -11 for n.
-5
Let m be (-6 + (-176)/(-28))/(6/63). Solve m*n + 15 = -2*a, -3*n = n + 20 for a.
0
Suppose 3*b - 12 + 6 = 0. Let m = -41 + 44. Solve 5*n = -l + m*l - 18, -3 = b*n - 5*l for n.
-4
Let m = 30 - 30. Suppose 19*a - 27*a + 96 = m. Solve 0 = 2*w, 3*v + a = -5*w + w for v.
-4
Let b(t) = 2*t**2 + 10*t + 12. Let o be b(-4). Solve -x = 4*x - c - 12, o*c - 15 = -x for x.
3
Let t = -2230 - -2232. Solve -4*j = -d + 3, t*j - 1 + 4 = -d for j.
-1
Suppose 22*w - 304 = 4. Solve 2*m + 5*s + w = 0, 3*m + 3 = 5*s + 7 for m.
-2
Let v(k) = 3*k**3 - 14*k + 13. Let z be v(1). Let w = -2 - -2. Suppose w = -z*j + 5*j. Solve j = -2*n + 10, y = 2*y - 2*n + 9 for y.
1
Let y = -15 + 15. Let j(l) = l + 11. Let i(p) = 2*p + 23. Let z(k) = -4*i(k) + 9*j(k). Let f be z(-4). Solve 2*m - 5*b - 32 + 2 = y, -2*b = m + f for m.
5
Suppose -4*m = -4*a, -2*m = 4*a + 1 - 19. Suppose 0*h - a*h = -9. Solve v = z - 2*v - h, -4*z + 5*v = 2 for z.
-3
Suppose -q = -2*k + 3, -5*k = 5*q + 13 - 43. Solve 2*h + 0*h + 7 = -k*x, -9 = 3*h + 4*x for h.
1
Let c(z) = 10*z**2 - 5*z + 3. Let l be c(1). Suppose 8*x - 4*x - l = 0. Solve 8 = -y + d, x*y + 2*d - 2 = -2*d for y.
-5
Let t be 2/6 - (-10)/6. Suppose -t = -k + 1. Suppose 0 = 2*x - x - k. Solve -u = 4*u - 3*s - 13, 0 = -x*s - 3 for u.
2
Suppose -2*h = 4*w - 10, 8*w + 4*h - 7 = 13*w. Solve w = 3*z - 2, 3*z = -5*d + 18 for d.
3
Suppose 2*b = -27 - 23. Let i = b - -27. Solve -4*k + 4*x - x + 7 = 0, i*x = -k - 12 for k.
-2
Let i be (-13)/(-3) - (-5)/(-15). Suppose i = 4*o + 20, -19 = l + o. Let p = 0 - l. Solve -p = 3*j, -3*v - j = 3*j + 17 for v.
1
Suppose -4*m + m = -5*n + 141, 125 = 5*n + 5*m. Let f(j) = 2*j - 27. Let b be f(15). Solve b*u - u - v = -11, 0 = 5*u - 2*v + n for u.
-5
Let s(k) = -k**3 - 13*k**2 - 41*k - 3. Let n be s(-8). Solve -n*v - 5*x + 7 + 8 = 0, 5 = -5*x for v.
4
Suppose 0 = 4*g + 203 + 165. Let b = 94 + g. Solve z = -4*t - 13, 4*z + 0*t - 4 = -b*t for z.
3
Let m(n) = -n + 9. Let p be m(5). Suppose -2*x + 17 + 9 = -2*f, 27 = p*x + f. Solve 0 = 4*b + 5*l + x, 0 = -0*l - 2*l for b.
-2
Suppose 22 = 3*z + 73. Let d = 19 - 33. Let i = d - z. Solve 5*c - 5*t - 15 = 0, 4*c + 0*c + i*t = 12 for c.
3
Let b be ((-8)/(-12))/(16/72). Solve 3*s - j = -7, -3*s - 1 = -b*j - 4 for s.
-4
Let k = 67 - 62. Solve -2*o = k*w + 6 - 25, 1 = -w - 2*o for w.
5
Let w(p) = -20*p + 383. Let o be w(19). Solve -4*x - 20 = 5*u, -2*u - 6*x + o*x = 8 for u.
-4
Let o be -3 - (1 + 8 + -15). Solve o*y + m - 2*m = -1, 4*y = 5*m - 16 for y.
1
Let u = -603 + 603. Solve -2*m - 3*k = -3*m + 5, m + k - 1 = u for m.
2
Let o be (-2 + 10)*(-2)/(-8). Solve -o*p - 21 = p - 3*n, 4*p + n = -3 for p.
-2
Suppose -2*d + 5 = 1, f + 12 = -d. Let a = -18 - f. Let y = 9 + a. Solve i - y*v = 2*i - 18, 2*i - 5*v = -24 for i.
-2
Let l be 2/4 - (-30)/4. Let g(w) = -w + 11. Let j be g(l). Suppose -3*r + 4*s = -15 + 5, 2*s + 2 = 0. Solve -q = r*f + j + 8, -q - 4*f = 19 for q.
-3
Let b(z) = 2*z + 14. Let r be b(14). Suppose 4*h + 2*h - r = 0. Solve -t + h*a + 23 = 2*a, 0 = 4*t - 5*a - 32 for t.
3
Suppose 5*z - 5*y - 15 = -0*z, -2*z - 2*y = -6. Suppose -z*n = 5*p - 37, -4*n + 1 = -4*p + p. Solve 2*d + 2*d - 7 = i, n*i = -4*d + 12 for i.
1
Let c = -204 - -209. Solve 2*z + 4*w + 12 = 0, 2*w + 25 = -c*z - 3*w for z.
-4
Let s be (-1)/(((-5)/(-20))/(-1)). Let v be s/3*(-6)/4. Let u be ((-14)/21)/(v/9). Solve -9 = -3*f - 3*k, -u + 1 = -f - 2*k for f.
4
Let v = 5 - 5. Suppose v*j - 16 = 2*j. Let i be (6/j)/(4/(-16)). Solve 0 = -i*b - 3, n - 4*b - 7 + 2 = 0 for n.
1
Let u(i) = -i**2 - 3*i + 20. Let g be -2 + -8 + 3 + 1. Let f be u(g). Solve 0 = 2*p - 6, p - f*p + 23 = 5*r for r.
4
Suppose -55*r + 49*r + 12 = 0. Solve 0 = -2*q + 4*b - 7*b + r, q - 2*b - 8 = 0 for q.
4
Let d(a) = -3*a - 18. Let t be d(9). Let j = -43 - t. Solve -1 = -l, -j*y - 2*y - 14 = 2*l for y.
-4
Suppose 6*h - 3*h = 3*l + 6, 3*l - 4*h = -11. Solve -l*j - r - r = -11, 4*j - r - 11 = 0 for j.
3
Suppose -2*v = 6, 0 = -4*d + d + 4*v - 6. Let r(j) = -j**3 - 7*j**2 - 7*j - 2. Let g be r(d). Solve 0 = 5*c + 5*z - 15, c = g*z - 3 + 1 for c.
2
Let c = -415 + 418. Solve 0 = 4*z - 4*b, c*b = -4*z + 37 - 2 for z.
5
Let y = -98 + 98. Suppose -17*k + 14*k + 15 = y. Suppose 0 = -3*z + v + 14, 2*z + 3*v + 9 = -0*v. Solve -11 = -2*j - z*c, -k*j - 4*c = -8 - 9 for j.
1
Let w(c) = 15 - 37 + 6*c - 3*c. Let v be w(9). Suppose -2*h + 3 + v = 0. Solve -y = -h*p - 12, -3*p - 2*p + 2*y - 15 = 0 for p.
-3
Let m(r) = -10*r**3 + 24*r**3 - 2*r**2 + 3*r**2 - 10*r**3. Let j be m(1). Solve 2*d - j*q + 7 = -9, 2 = 3*d - q for d.
2
Let c(a) = 3*a**2 + 26*a - 9. Let v be c(-9). Solve 0*t + 5*t + 2 = -3*o, 2*o - 2 = v for t.
-1
Let p(s) = -s**3 + 6*s**2 - s + 6. Let y be p(6). Let l(i) = y*i - 2*i + i**2 + 6*i - 3*i + 5. Let o be l(0). Solve 2*f = 2*d + 2, -d + 16 = o*f - 1 for f.
3
Suppose 0 = 484*i - 520*i + 108. Let p(x) = 3*x**3 + x**2 - 1. Let u be p(1). Solve o + i + 0 = 0, -12 = u*j + o for j.
-3
Suppose 3 + 57 = -3*g. Let o be -1 - 1/(3 + g/6). Solve 0*b + 1 = 4*b + 3*u, -12 = 3*b - o*u for b.
-2
Let b(y) = -y**2 + 8*y - 13. Let i be b(5). Solve f + 2 = i*g - 2, 0 = -3*f - 4*g + 18 for f.
2
Let s be 4/(-40)*4*5. Let c(u) = -u + 1. Let j be c(s). Suppose j*y - 2*y = 4. Solve 0 = y*r - 0*f + 5*f, -3*r - 3*f + 3 = 0 for r.
5
Let f be (5 - 0)*1/(20/68). Solve 0 = 2*c - 2*u, 0 = 2*c + 2*u + f - 5 for c.
-3
Let d(w) = w**2 + 21*w + 3. Let s be d(-21). Let c(f) = -f**2 + 5*f - 1. Let g be c(s). Solve g*a - 25 = -5*u, 3 = -4*a + 2*u - 1 for a.
1
Let i = 19 - 8. Suppose -7*m = -i*m. Let l be 9/(-12)*(-1 - 7). Solve 2*w - 3*f = -m*f + 11, -3*w + l = -f for w.
1
Let l be (186/(-4))/((-114)/152). Let v = -49 + l. Solve 0 = 3*z - 5*b + v - 2, 0 = z + b + 1 for z.
-2
Let w(c) = -3*c**3 - c. Let u be w(-1). Suppose -2*r + 3 = -5*h - 19, -2 = r + 4*h. Suppose 36 = -2*q + r*q. Solve -q = -d + 3*p, -u*d + 3 = -p - 0 for d.
0
Let k(d) = -d**2 - 14*d - 45. Let z be k(-9). Solve t + z*x - 2*x = 0, -6 = -4*t + 2*x for t.
2
Suppose -3 = -l + 2*m - 2, -l - 4*m = 5. Let u be (-1 - l)*17/(-34). Suppose 4*x + 0*x - 8 = u. Solve -x*o - 9 = -3*p, 5*o = 3 - 18 for p.
1
Suppose -2*c = 6 - 18. Suppose -19 = -6*b + 11. Solve 8 = -2*a + b*i, -3*i = -0*i - c for a.
1
Suppose 0*r = -4*r. Let i be r + (13 - -3)/4. Solve -2*f - s = 14, 3*f + i*s - s + 27 = 0 for f.
-5
Let b = 2 + -2. Let t(x) = 2*x + 2. Let j be t(b). Suppose 5*z - 20 = 3*u, 4*z - 10 = -j*u + 6. Solve -g - 2*a = 7, z*g - a = -2*a - 21 for g.
-5
Let h(j) = -4*j**3 - j**2 - j + 1. Let z be h(-1). Solve z*n - 14 = 2*i - 1, 2*i = n - 9 for n.
1
Let d = -62 - -64. Solve -m = z - 9, -2*z - 5*m = d*z - 41 for z.
4
Let d(i) = i**2 - 4*i - 60. Let