9, f + 5*k = 3*k + 7. Solve 2*r + 14 = -4*w, -6 = 4*r + f*w + 7 for r.
-1
Let n be ((-5)/(-15))/(1/6). Let i(p) = -p**3 + 5*p**2 + 3*p + 5. Let c be i(5). Solve 4*o + n*j + c = 0, 2*j - 3 = -7 for o.
-4
Let l(b) = 2*b - 13. Let v be l(7). Solve -6*i + j = -2*i + 7, -4*i = j + v for i.
-1
Let b(d) = -d**3 + 10*d**2 + 11*d + 3. Let f be b(11). Solve 2*u = c - 8, -f*u + 1 - 13 = -4*c for u.
-4
Suppose -3*f + 5*t + 6 = 0, 2*t + 7 = 2*f + 3. Suppose -f*i = -3 - 5. Solve q - 5*d = -2 - 6, 0 = i*q + d + 11 for q.
-3
Let m be (0 - 4/3)/((-46)/69). Solve -3*h + 3*v + 2*v + m = 0, -4*v = -8 for h.
4
Let f be 0 + -1 + 8/2. Solve 5*q - 17 = 3*w, -f*w = -6*w - 4*q + 19 for w.
1
Let n = 3 - 10. Let j be 2/(-7) - 2/n. Solve 1 = -h + 2*m - 8, j = h - 5*m + 18 for h.
-3
Let b be 2 + -4*(0 - -3). Let a(n) = n**2 + 9*n - 13. Let w be a(b). Let h = 3 + w. Solve 3*s + 21 = 3*k - h*s, -s = 5 for k.
2
Let m be (22/(-3))/((-6)/9). Suppose 2*r + 2*i = 5*i - m, 3*i - 13 = r. Solve -4*k = 5*f + 3, f - k + r*k = 0 for f.
-3
Let l = 56 + -34. Let t = l + -14. Let a be 26/8 + 6/t. Solve 0*u = 3*u - 4*w + 11, a*u = 5*w - 15 for u.
-5
Suppose 6*l - 2*l - 5*v = 26, -5*l = -3*v - 26. Solve 5*t - 2*u - 17 = 0, 2*t + 2 = 2*u + l for t.
5
Let n be (4/6)/(-2)*156/(-13). Solve 0 = -2*l + 5*k + 28, 3*k + 0*k - n = -4*l for l.
4
Suppose 4*u + 0*u = 16. Suppose 0 = 5*t + 4*q - 48, 0*t + 42 = 5*t + q. Suppose 0 = u*a - t*a. Solve -3*b - 4*n + 25 = a, 0 = -b + 4*n + 4 - 17 for b.
3
Let v be 22/99 + 70/9. Solve -4*p - 20 = -n, 0 = 4*p - v*n + 3*n + 20 for p.
-5
Let v be 1*(-1 - 1)/2. Let j be v*(-14 + 0/(-3)). Suppose g + g + 2*o - 6 = 0, -27 = -2*g + 5*o. Solve -8*p = -2*q - 4*p - j, 3*p = -4*q - g for q.
-3
Suppose 0 = 2*s + 5*s. Solve z + 1 = s, -4*z - 1 = -w - z for w.
-2
Let n(m) = -m**3 + m**2 + 3. Let u be n(0). Suppose u*t = 10 + 17. Let q(v) = v**2 + 2*v - 1. Let r be q(1). Solve -p + o + t = 0, -p = -3*o - r*o - 29 for p.
4
Let o(g) = 7*g**2 + 14*g + 4. Let p(u) = -8*u**2 - 15*u - 4. Let t(a) = -7*o(a) - 6*p(a). Let x be t(-6). Solve 3*f + 17 = x*f + 3*d, -3*f + 4*d = 13 for f.
1
Suppose -10*o + 15 = -7*o. Let f be 0*2*(-2)/(-8). Suppose 0*c - 2*c + 6 = f. Solve -3*w - o*b - 21 = -2*w, -c*w - b = -7 for w.
4
Let p = 40 - 80. Let b = 71 + p. Solve -4*j + 5*r = b, 2*r - 32 = 5*j - 2*r for j.
-4
Let g be 20/110 - 312/22. Let i = 16 + g. Solve -5*f = -4*l - 5, f + 3*f - i*l = 10 for f.
5
Let j(g) = 2*g + 4. Let y be j(-2). Solve 3*x - 4 = -2*u - y*x, x = 4*u + 6 for u.
-1
Suppose 0 = -5*b + 6*b - 2. Suppose -3*c - 7 = -b*f + 26, 4*f + 4*c - 36 = 0. Solve 5*w + 3*v = 5 - 0, -2*v + f = -w for w.
-2
Let u(n) = n**2 + 8*n + 9. Let o be u(-7). Suppose c + o*c = 54. Solve 0 = y + 3*q + 12, -2*y - q - c = 3*y for y.
-3
Let c(s) = 3*s - 5. Let x be c(4). Suppose 3*h = 0, x*h - 10 = 2*z + 3*h. Let v = -2 - z. Solve 2 = 2*b + v*b + 2*m, -b - 5*m = 18 for b.
2
Let h(y) = y**3 - 7*y**2 + 10*y - 21. Let n be h(6). Solve -5*a = -4*m - 32, -4 = -n*m - 3*a - 1 for m.
-3
Let l be -1*(-2)/(-4)*-2. Let n be 1 + (1 - l) + 3. Solve -6*q = -2*q + 4, 0 = -y - 4*q - n for y.
0
Let u be 4/(-8) + 2/(-4). Let x(j) be the first derivative of -j**4 - 2*j**3/3 + j + 1. Let l be x(u). Solve -9 = l*r, -3*i + i + 12 = -2*r for i.
3
Let r(m) = -2*m - 17. Let p be r(-10). Solve 2*v - v - p*o + 5 = 0, 3*o = -2*v + 8 for v.
1
Let d(b) = 1 - 10*b - 5 + b**2 + 0. Let n be d(11). Solve j = -0*j + 2*a + 2, 0 = j + 3*a - n for j.
4
Suppose 4*m + 13 = k, -6*k + 2*k - m = -18. Solve -3*a - 4*v + 11 = 0, 14 = k*a - 4*v - 15 for a.
5
Suppose 10 = 5*v + 3*d, 0 = v - 6*v + 3*d + 10. Solve w + 0*w - 9 = v*a, -12 = 4*a for w.
3
Let z = 11 - 12. Let v = z - -6. Solve v*k + 5*u = 2*u + 30, -k + 8 = u for k.
3
Suppose 7*x + 200 = 9*x. Let w be (60/x)/(3/10). Solve w*n = 5*d - 15, 0 = d - 0 - 5 for n.
5
Let p = 32 - 28. Solve -d = -p*i + 4, -4*d + 2*d + 3 = 3*i for d.
0
Let u(p) = p**3 - 7*p**2 - 5*p - 2. Let t be u(8). Let g = -20 + t. Solve 0*a - 2*k = a + 1, g*k = 2*a + 8 for a.
-3
Let h = 1 + 16. Suppose -2*u = -5 - 3. Suppose v - 5*v + k = -h, 3*k + 3 = -u*v. Solve 6 = -2*a - v*r, a + r + 8 = -3*r for a.
0
Let b = 42 + -42. Solve 2*i - c + 8 = b, -3*c + 4 + 17 = -5*i for i.
-3
Let p(t) = t**2 + 8*t + 5. Let h be p(-8). Suppose 4*k = -r + 20, 2*k + h = 3*k + r. Let d = 51 - 31. Solve k*q + 4*b - d = 0, 3*q + 2 + 3 = b for q.
0
Suppose 55 - 154 = -3*c. Solve 2*s = t - 14, c = -3*s - 2*s + 2*t for s.
-5
Let q = 54 - 36. Let f(c) = c**2 - 8*c + 4. Let y be f(6). Let k(b) = b**2 + 7*b - 5. Let l be k(y). Solve -3*z + q = -z - l*x, 11 = z - 2*x for z.
3
Let n(p) = -2*p**3 - p**2 + 4*p + 1. Let h be n(-2). Solve 0 = h*w + 3*x + 32, 0 = 2*w - 3*x - 6 + 2 for w.
-4
Let p be (-8)/16 - 18/(-4). Solve n = 2*s + 3*n - 8, 2*s = -p*n + 10 for s.
3
Let c(k) = 2*k**2 - 9*k + 11. Let r(l) = -l**2 + 4*l - 5. Let p(x) = -4*c(x) - 7*r(x). Let b be p(6). Solve 2*m = -5*n - 7, 5*n = -b*m + n for m.
4
Let j be ((0/3)/(-2))/(-1). Solve -2*h + 2*w - 14 = j, 0 = -2*w + w + 5 for h.
-2
Let g be (-4)/10 + (-54)/(-10). Solve -g*h + 15 = 0, -4*x = -x + h - 3 for x.
0
Let d be (0 + 0)*(-7)/(-14). Suppose -c = -d*c. Solve c = 4*x - 4*z + 6 + 14, -3*z = 5*x - 15 for x.
0
Suppose 2*d + 4 = 0, 3*q + d = -2*d + 6. Suppose 5*c = -3*n - 4 + 29, 3*n - 15 = 0. Suppose 12 - 4 = c*p. Solve -u + 8 = q*r, 2*u + 0 + 8 = p*r for u.
0
Let n be (1*6)/3 - 18. Let a be (-15)/2*n/20. Let m(o) = -o + 11. Let x be m(a). Solve 6 = 3*v - x*v, 0 = 3*l + 5*v for l.
5
Let v = -14 - -20. Solve -4*a + 2*h - v = -5*a, 0 = -3*a - 5*h + 14 for a.
-2
Let t(k) = k**2 + k. Let q(v) = 7*v**2 - 4*v. Let c(s) = -q(s) + 6*t(s). Let b be c(10). Solve 4 = -w - 2*p - b, 0 = -2*p - 4 for w.
0
Suppose q + 5*d - 19 = 0, -9 - 22 = -4*q - 5*d. Suppose 0 = 5*j - 5*u - 45, j + q*u + 16 = -0*j. Solve -32 = -j*a + p - 5*p, -3 = 4*a - 3*p for a.
3
Let g be ((-5)/(-20))/(1/12). Solve p - 5*l = 6*p + 10, g*l + 16 = 2*p for p.
2
Let m(t) = t**3 + t**2 + 2*t - 1. Let h be m(-2). Let n be 0/(-1)*(8 + h). Solve n*o - 16 = -5*f - 2*o, 4*o + 12 = f for f.
4
Suppose 0*g = -5*g + 10. Solve 2*c + 2*p - g = -3*c, p = -2*c + 1 for c.
0
Let c be 1*-1*(-12 + 10). Solve -28 = -4*v + 2*z, 2*v + c*z + z + 2 = 0 for v.
5
Let c(r) = r**2 + 2*r. Let f be c(0). Suppose -v + 4 = -f*v. Solve 0 = v*i - 0*l + 5*l - 12, 5*i = 4*l - 26 for i.
-2
Let f(m) = 3*m**3 + 2*m**2 - 2*m. Let o be f(2). Let y = -23 + o. Solve -2*h = j - 4*j - 2, -y*h + 28 = 4*j for h.
4
Let c(b) = b**2 + 24*b + 26. Let d be c(-23). Solve 9 = d*m - 2*w, -m - 2*w + 8 = -3 for m.
5
Suppose 2 = -3*p + 2. Solve p = 3*g - d + 10, 12 = -4*g + d + d for g.
-4
Suppose 5*d + 3*b - 25 = 0, 0 = -8*d + 4*d + 4*b + 20. Suppose 0*y = -d*y. Solve -4*p + n = 1, y = p - n + 1 - 3 for p.
-1
Let j(u) = 7*u**3 - u + 1. Let n be j(1). Let z(f) be the first derivative of 2*f**2 - 8*f + 2. Let d be z(n). Solve -r = 3*h + 12, -2*h - 3*h - d = -3*r for h.
-4
Suppose 2*c - c + 2*x + 4 = 0, 4*c + 3*x = -1. Let n(t) = -2*t - 1. Let d be n(-3). Suppose d*j + 6 = 16. Solve 2*y + c + j = w, 0 = -3*w - 12 for y.
-4
Let f = 39 - 34. Solve -b + 9 = f*y, 3*y = 4*y - 3*b - 5 for y.
2
Let i(s) = -s**2 + 3*s + 6. Let q be i(5). Let u = 8 + q. Suppose u - 19 = -5*k. Solve k = 2*y - 3*g, 4*g - g + 3 = -2*y for y.
0
Let w be (-6 + 3)*5*-1. Let i be 4/(-10) + 34/10. Suppose 5*c - 3*h = -4*h + w, -i*c = -5*h + 19. Solve -c*v = 2*v + 8, -11 = 5*t + 3*v for t.
-1
Let o(r) = -3*r + 2. Let g be o(-1). Solve 0 = -5*y - 0*y - 5*b - g, 4*b + 25 = 3*y for y.
3
Suppose -2*b = -7*b + 50. Solve 4*o - 2 = 5*u, 5*u - 29 + b = -3*o for o.
3
Let f be ((-4)/(-12) + -1)*-3. Solve f = n + 3*k, 5*k = 3*n - 10 - 10 for n.
5
Let p(h) = 3*h - 6. Let w be p(4). Let o = 35 - w. Let j = -15 + o. Solve -5*y + 4*r - 2 = 0, -j = 7*y - 2*y + 2*r for y.
-2
Suppose -4*v = v - 10. Suppose -v*o + 3 = -o. Solve -9 = h + 6*z - 2*z, -h + o*z + 12 = 0 for h.
3
Let f = 5 - 1. Suppose h + 9 = f*h. Solve 8 = -k + h*k - 2*s, -2*s - 4 = 0 for k.
2
Suppose -2*r + 5*j + 5 = -r, -2*r + 4*j = 2. Let o(z) = z**3 + 4*z**2 - 5*z + 2. Let s be o(r). Solve -s*y + 20 = 7*g - 3*g, 3*g - 8 = 2*y for y.
2
Let q be (2 - 3) + 6 + 17. Solve 4*o + q = 2*t, 2*o + 8 = -3*t + 1 for t.
1
Let g(i) = -5*i**3 + i. Let n be g(-1). Solve 3*b - n*m - 8 = 0, 2*m - 9 = -4*b