k = j + 6. Solve -4*i - k = -i for i.
-1
Let z(m) = -1 - 3*m**3 - m + 2*m**3 + 3*m**2 + 2. Let c be z(2). Suppose -5*q - 5*t + 30 = 0, 5*q - 4 = -c*t + 22. Solve -10 = q*a + a for a.
-2
Let h(m) = -m**3 + 6*m**2 - m + 4. Let p(o) = o**3 + 5*o**2 + 4*o + 4. Let f be p(-4). Let n be h(f). Suppose 8 - n = -4*w. Solve -s - w = -3*s for s.
3
Let s(a) = -5*a - 1. Let i be s(-1). Suppose 0*n - 2*j = 2*n + 14, -5*n + i*j = 8. Let c be (-138)/(-7) - n/14. Solve -6*m = -m - c for m.
4
Let d = -84 - -91. Solve 2*c = d - 17 for c.
-5
Let a(z) = 2*z + 4. Let o be a(0). Let k be 39/o - (-57)/(-76). Solve 6*f = 3*f - k for f.
-3
Suppose 0 = 2*u + 2*u. Suppose 4*m + 0*s - 74 = 2*s, -5*m = -2*s - 91. Let c = m - 12. Solve -c*q + q - 16 = u for q.
-4
Suppose 0 = 2*h + 1 - 9. Let d be (0 - 1)*-3 - 3. Solve l + l - h = d for l.
2
Suppose -34 - 10 = -4*f. Solve -5*p = 1 - f for p.
2
Let t = 6 - 0. Solve b - t = -b for b.
3
Let c(b) = 3*b - 6. Let a be c(3). Suppose -6*q + q + 15 = 0. Suppose 0 = -4*h - 3*j + 16, 1 + 19 = 5*h + q*j. Solve -a*x + h*x + 2 = 0 for x.
-2
Let f(u) = 2*u - 7. Let g be f(5). Solve -13 = 5*w - g for w.
-2
Let g(m) = 4 + 2*m**2 + 0 - 8*m + 1 + 0. Let o be g(5). Solve c - o = -4*c for c.
3
Let z = -22 + 24. Solve -z*c + 0 = -2 for c.
1
Let h(f) = 5*f**3 - 8*f**2 + f + 6. Let t(w) = -w**3 + w**2 - 1. Let s(r) = -h(r) - 4*t(r). Let b be s(3). Solve b*k = 2 - 6 for k.
-1
Suppose 10 = -5*o, 6*n - 3*n = 3*o + 21. Suppose -1 = -2*x - r, 2*x - n*r + 4 = -r. Solve -2*t - 2 + 10 = x for t.
4
Let j = 3 - -7. Suppose 0 = f + 3*d, 0 = -f + 8*d - 3*d. Solve 2*w - j = -f*w for w.
5
Suppose 0*n + n = 0. Let x(t) = t**3 + 5*t**2 - t - 3. Let p be x(-5). Suppose p*j - 4*l - 14 = 0, -2*l - 1 = j - 0*l. Solve -3*u + n = j for u.
-1
Suppose -4*v + v + 33 = 3*f, f = v - 21. Suppose d = 5*d - v. Let s = 0 - -7. Solve d*o + s = -5 for o.
-3
Let a(v) = -v - 1. Let k be a(-1). Suppose 4*m + 4 - 20 = k. Suppose m*f - 12 = 2*f. Solve -f = -4*g + g for g.
2
Suppose 2*w + 5*u + 25 = 2, 3*w + 17 = -4*u. Solve 0 = -z + w for z.
1
Let g = -12 - -27. Suppose 3 = w - 1. Solve 0 = -r - w*r + g for r.
3
Let d(m) = m**3 + 11*m**2 + 9*m - 8. Let b be d(-10). Let c = 4 - b. Let l be -2 - 1*c/(-1). Solve 0 = 3*z - l*z + 15 for z.
-5
Let x = 4 - 1. Suppose -28 = -4*f + 4*t, -7*t - 11 = x*f - 2*t. Suppose 0 = -5*q - 4*m + 7 + 24, 0 = -3*q + 3*m + 24. Solve -2*l + q = f for l.
2
Let t(s) = s**3 + 4*s**2 - 4*s + 5. Let r be t(-5). Let c be (-1)/((-3)/(-18))*-1. Solve -3*l = -r*l + c for l.
-2
Let o = -2 - -5. Let t be 1 + 2*(0 - (-6)/4). Solve -t*l = -l - o for l.
1
Suppose 0 = -2*i - 5*r + 1 - 9, -3*i + 3*r = 33. Let f(y) = -3*y + 3. Let g be f(i). Suppose -4*x = -g - 22. Solve -4*t = -x - 3 for t.
4
Let a(u) = -u**2 + 7*u - 1. Let m be a(6). Solve m = -y - 0 for y.
-5
Let y be (30/(-3))/5 - 2*-2. Solve 7 + 1 = -y*b for b.
-4
Let c be ((-204)/(-18))/((-4)/(-6)). Solve c - 7 = -5*q for q.
-2
Let t = -19 + 33. Solve 4*n + 2 = -t for n.
-4
Suppose -2*f + 6*f - 4*k - 40 = 0, -4*f + 10 = 2*k. Suppose -4*z = -2*t + 16, 4 = f*t - 2*t - z. Solve t*v = 3*v for v.
0
Let f = 46 + -25. Solve f = -3*a + 9 for a.
-4
Let k = -15 - -9. Let l be (11 - 1)/(k/(-18)). Suppose -z - 5*g + 25 = 0, 3*z - l = z - 5*g. Solve 0 = -2*f + z*f + 12 for f.
-4
Let y(k) be the first derivative of k**2 + k + 1. Let r(u) = u**2 + 5*u - 5. Let w be r(-6). Let l be y(w). Solve p - 20 = -l*p for p.
5
Let j be ((-15)/(-12))/(2/(-8)). Let g(r) = r**2 + 4*r - 3. Let t be g(j). Solve 0 = -2*o - t*o - 16 for o.
-4
Let o = 31 - 22. Let l = -5 + o. Solve -l*n + n = -15 for n.
5
Let d(c) = c**3 + 8*c**2 + 6*c - 4. Let l be d(-7). Suppose 18 + 27 = l*v. Solve v = 5*h - 0 for h.
3
Let f be -1*1*2/(-6)*3. Solve -f = -n - 6 for n.
-5
Let l = 39 + -36. Solve l*t = -t for t.
0
Let v(o) = -4*o + 1. Let u be v(-2). Suppose -5 = 5*k + 5*s, -4*s - 12 = -3*k - 2*s. Suppose k*i = -3*i. Solve 0 = -i*g + 3*g + u for g.
-3
Suppose 5*h - 25 = -4*d, -2*h + 10 = 4*d - 0*h. Solve -3*k + 4*k = d for k.
0
Let x(g) = 6. Let a(t) = -t. Let s(v) = 2*a(v) + x(v). Let h be s(6). Let w be (1/(-2))/(1/h). Solve -w = -3*z + 4*z for z.
-3
Suppose 2*t + 4*l = 40, 0*t = 3*t - 4*l - 20. Solve -4*g = -0*g + t for g.
-3
Let f be (30/(-7) - -2)/((-28)/98). Solve -9*o + f*o = 2 for o.
-2
Let c(n) = 3*n - 2. Let t be c(2). Solve -l + 15 = -t*l for l.
-5
Let z(m) = m**2 - 2*m + 1. Let g be z(3). Suppose -5*p + 5 = 5*o, -8 = -4*p + g*o + 4. Let c be 0 + 2/p + 3. Solve n = 5*n - c for n.
1
Let l be ((-1)/2)/(-1)*6. Let f(u) = 5 - 3 - 2*u + l*u. Let b be f(7). Solve -4*q + b = -3 for q.
3
Let h(o) = -3*o**2 - 2*o + 3. Let t be h(2). Let w = -7 - t. Suppose -2*p + 8 = 4*j, 0 = 3*p + p. Solve w*g = j*g for g.
0
Let l(c) = c**3 - 13*c**2 + 14*c - 18. Let g be l(12). Let j(t) = 2*t**2 + 2*t - 2. Let y be j(2). Let p be g/y + (-81)/(-15). Solve 2*k - p*k + 12 = 0 for k.
3
Let q(r) = -r - 1. Let i be q(-5). Solve 0 = i*j - 3*j + 4 for j.
-4
Let m(u) = 1 - u**2 - 3*u**2 + 6*u**2. Let v be m(-1). Solve -5*g - v = 12 for g.
-3
Suppose 2*f = -1 - 5. Let p(w) = w**2 + 5*w + 4. Let q be p(f). Let z be (-3)/(-5) - q/5. Solve -2*j - z = -j for j.
-1
Suppose -2*l + 0 - 6 = r, 5*r = -l - 12. Let d be 74 + (3 - (-4)/r). Suppose -x = -6*x + d. Solve 3*t + 0*t = -x for t.
-5
Suppose 5 = 2*f + 1. Solve 4*q + f = 10 for q.
2
Let f = 13 + -7. Let j = 9 - f. Solve 0*b - 15 = j*b for b.
-5
Let g(a) = a**3 + 5*a**2 + 5*a + 3. Let c be g(-4). Let f = c + -6. Let j be -7*1*6/f. Solve 3*r = r + j for r.
3
Let d be (3/6*2)/1. Let p = 3 - d. Let u = p - -8. Solve -3*q - u = -q for q.
-5
Let n = -94 + 94. Solve 0 = -n*p + p + 5 for p.
-5
Suppose r + 2*c - 8 = 0, 10 - 26 = 3*r - 4*c. Solve r = -0*z - 4*z + 8 for z.
2
Let k(l) = l + 24. Let r be k(-9). Solve r = -4*n + n for n.
-5
Suppose 4*y = -c + 24, -5*y + 3 = -5*c - 2. Suppose v - 4*g = -5, -3*v - v + y*g + 13 = 0. Solve -3*t = -v*t for t.
0
Suppose 4*h = 0, 8*q + h + 65 = 3*q. Let y = q - -16. Solve -1 = y*x - 4 for x.
1
Suppose -15 = -4*i + 9. Let o(d) = -d**3 - 2*d**2 + d + 4. Let z be o(-3). Solve 4*q = i*q - z for q.
5
Suppose -l + 5*h - 5 = 0, -2*h = -l - 0*h - 2. Solve -5*b = -l*b + 10 for b.
-2
Suppose -z - 6 = -2*z + 2*w, 4*z - 3*w = 14. Solve 2*x - 12 = -z*x for x.
3
Let u be (-66)/(-12) + (-2)/4. Let c be (u - -1)/(3 + -1). Suppose c*z + z = 0. Solve z = 3*a + 6 - 0 for a.
-2
Let u be 2*2 - (3 + -2). Let p be ((u/3)/1)/(-1). Let o be 5 + -3 + (p - 1). Solve -4*h = -20 - o for h.
5
Let o(i) = -i - 3. Let m be o(-8). Suppose m*g + 10 = 0, 6*f - 2 = f - 4*g. Suppose f*z = 7*z. Solve z*r + 4*r = -16 for r.
-4
Suppose -4*c + 2*q + 79 = 3*q, 5*q = c - 25. Let d = c - 10. Suppose 0 = 3*r - d - 11. Solve r = 4*h + 3 for h.
1
Let r(a) = -4 + 5 - 4*a + 2*a. Let x = 78 + -79. Let j be r(x). Solve j*p - 10 = p for p.
5
Let t = 188 - 174. Solve -5*i - 6 - t = 0 for i.
-4
Let o be (-1)/4 + (-45)/12. Let z = 5 + o. Solve -x - z - 3 = 0 for x.
-4
Let h be 4/3 - 2/6. Suppose 3*n = -2*x + 6, 6 = 2*x - 9*n + 6*n. Suppose o = 5, -x*w + 0*w + o + h = 0. Solve 2 + 0 = w*b for b.
1
Suppose -2*t = -t + 4*f + 8, 0 = -3*t - f + 9. Suppose -t*x = -x - 9. Solve 2*l + l = -x for l.
-1
Let i = 8 + -6. Suppose 5*m - 25 = 3*n, i*m - 2*n = 14 - 0. Solve a + m + 2 = 0 for a.
-4
Let m = 6 + -6. Suppose m*g + 3 = g. Suppose -4*b + 3*u + 27 = 0, -2*u + 0*u - 20 = -g*b. Solve b*a + 20 = a for a.
-4
Suppose h + 54 = o + 3*o, 5*o - 63 = -h. Let a = 3 + o. Solve 0 = -3*p + a - 4 for p.
4
Suppose 13 = 5*o + 3. Let s(i) = -i**2 - 7*i - 3. Let k be s(-6). Solve -u = -o - k for u.
5
Let i(b) = b**3 - 6*b + b**2 - 2*b + 7*b**2 + 9. Let j be i(-9). Solve j = 4*c - 6 - 2 for c.
2
Suppose 75 = -7*p + 10*p. Solve p = -2*x - 3*x for x.
-5
Let j(m) = -3*m**2 - 12*m. Let n be j(-4). Solve n = -0*k + 5*k + 15 for k.
-3
Let c = 10 - 9. Solve 4 + c = 5*f for f.
1
Let b(j) = -5*j - 58. Let k be b(-12). Solve -4*h = -k*h - 6 for h.
3
Suppose -3*x = -3*k - 12, 0 = 5*x - 4*k - 3 - 16. Solve 0 = x*u - 5*u for u.
0
Suppose 81 = -4*m - 59. Let k be (-12)/(-7) - 10/m. Solve 4*d = k + 2 for d.
1
Let h(s) = s**2 + 4. Suppose -4 = 4*k - 3*b, -k + 5*b = 2*k - 8. Let i be h(k). Solve -i = -4*z - 0*z for z.
5
Suppose -26 = -3*x - 11. Suppose -x*w + 0*w = -15. Solve 0 = -c - w + 2 for c.
-1
Let i(r) =