pose 2*g - g + 8 = 2*k, 5*k = g + 17. Suppose 2*u - k*u + 2*n = -5, 0 = -n. Solve 0 = -2*q - 3*q - u for q.
-1
Suppose 0*z = -z + 2. Let v be 10 + -2 + (-2)/z. Suppose -4*k + 4*q = -76, -2*k + 3*q - 16 = -53. Solve v*h + k = 2*h for h.
-4
Suppose -2*n + 6 = -5*n, 0 = 2*z - n - 12. Solve 2*i - i - z = 0 for i.
5
Let k be 2/(-3) - 50/(-3). Let w = 25 + -21. Suppose n - 3 = 2. Solve -k = -n*s + w for s.
4
Let i be ((-2)/(-8))/(37/296). Solve -i*q = -1 - 3 for q.
2
Let a = 6 - 6. Let u(n) = n**2 + 2*n - 5. Let y be u(2). Let w = 0 + 2. Solve a = w*g + y*g + 20 for g.
-4
Let m(l) = l + 8. Let t be m(-8). Solve -3*o + t = -12 for o.
4
Let f(s) = 2*s + s**2 + 0 + 4*s**3 - s**3 - 2*s**2 - 1. Let l be f(1). Suppose -3*q - 7*p = -2*p - 33, -4*q - l*p = -55. Solve -q = -5*a + a for a.
4
Suppose 33 = 5*t - 8*m + 5*m, -2*m - 2 = 0. Solve b = -b - t for b.
-3
Let o(v) = v - 14. Let g be o(10). Let x be -6*(3 - (-14)/g). Solve d = -x*d - 4 for d.
-1
Let r be -2 - (8 + 6/(-3)). Let t = -5 - r. Solve t*o = -4 + 19 for o.
5
Let q be 1/((-12)/(-9) - 1). Solve 1 = q*k - 4*k for k.
-1
Let l be (-1)/(-8)*-2*(6 + -14). Solve l*c = 3*c + 4 for c.
-4
Suppose -3*f - 12 = f. Let a = 5 - 8. Let n = a - f. Solve -5*r + 1 + 4 = n for r.
1
Let l(g) = g**3 + 7*g**2 - 3*g - 5. Let h be l(-7). Let a be (1 + 34/4)*-2. Let j = -13 - a. Solve 5*t - j = -h for t.
-2
Let s(l) be the third derivative of -l**5/60 + 13*l**4/24 - 5*l**3/3 + 7*l**2. Let u(z) = 2*z - 1. Let t be u(6). Let n be s(t). Solve -4*c + n = -4 for c.
4
Suppose -f + 9 = -6. Suppose -4*l + p + 0*p = 5, -3*p = -2*l - f. Solve l - 8 = -2*d for d.
4
Let j = 18 + -10. Let s(a) = -a**3 + a**2 + 3. Let l be s(0). Let y = j - l. Solve 0 = y*v - v + 8 for v.
-2
Let w = -3 - -7. Solve w*q + 18 + 2 = 0 for q.
-5
Suppose -2*a - 2*a + 16 = 0. Solve -a*r - 35 = -15 for r.
-5
Suppose 2*y + 3 = -3, o + 3*y + 6 = 0. Suppose -o*j + 6 = -9. Suppose 3*v + 4 = -4*f, 0*f - 3*f + 3*v + 18 = 0. Solve 12 = -f*g + j*g for g.
4
Suppose 0 = 3*n + 5*c + 3, -4*n = -2*n + 3*c + 1. Solve 11 = n*t - 9 for t.
5
Let m = -3 + 5. Suppose -5*n + 14 + 6 = 0. Suppose -s = -2*s + m, -s - 14 = -n*w. Solve -w*d + 25 = d for d.
5
Suppose i - 14 + 12 = 0. Solve i*n = 3*n for n.
0
Let w be ((-21)/6)/(2/(-4)). Solve 0 = w*l - 2*l for l.
0
Let i(b) = b - 4 + 2*b + 0*b - 6. Let p be i(10). Solve -3*r = r + p for r.
-5
Let a(k) = k + 4*k**2 + 2*k - 16*k**3 + 17*k**3. Let t be a(-3). Solve -3*g + 1 - 4 = t for g.
-1
Let d = 21 + -12. Suppose -5*l - 20 = -3*s, -3*l + 3*s - 18 = -0*l. Let r = d + l. Solve 0*p + r = -4*p for p.
-2
Suppose 3*u + 1 + 8 = 0, -3*u + 75 = 4*b. Let h = -17 + b. Solve -3*q - h = -4*q for q.
4
Let i be (2/2)/((-2)/(-6)). Let m(b) = 2*b - 3. Let n be m(i). Suppose -4*x + 4 = j - 7, 4*x = n*j - 1. Solve x*w = -0*w - 6 for w.
-3
Suppose -5*s = -a + 6, 2*a = -3*a - 3*s + 30. Solve 11*o - a*o = -10 for o.
-2
Let s be ((-396)/(-55))/((-3)/(-10)). Let w(g) = -g**3 - 7*g**2 - 7*g - 4. Let v be w(-6). Suppose 2*i - s = x, -x = -3*i + 37 - v. Solve -3*o + 4 = -i for o.
5
Let x(f) = f**2 - 8*f - 7. Let c be x(9). Let k(l) = -l**3 + l**2 + l. Let t(j) = -j**2 - 6*j - 1. Let n be t(-6). Let z be k(n). Solve -c*g = -g + z for g.
-1
Let s be (3 - 21/6)*-8. Solve s*y - 8*y + 12 = 0 for y.
3
Suppose -2*d + 3*a = 5 + 3, -a = 5*d + 3. Let i be 6/(3 + d)*1. Solve -i*m + 2*m = 0 for m.
0
Suppose 8 - 23 = -5*v. Solve 0 = -2*y - v*y for y.
0
Let w be (-3 + 1)/(1/(-2)). Solve 5*v + 1 = -w for v.
-1
Let k(s) = -2*s - 1. Let i be k(4). Let a be 2/9 - (-2)/i. Solve a = -0*f - 4*f + 4 for f.
1
Let r(y) be the third derivative of 5*y**4/24 - y**3/6 + 3*y**2. Let d be r(4). Let m = -11 + d. Solve -m = 2*h + 2*h for h.
-2
Let x(k) = -k**3 + 6*k**2 - 9*k + 4. Let n be x(3). Solve v = -0*v + n for v.
4
Let q(w) = 4*w + 14. Let o be q(-3). Solve o*d - 4*d + 6 = 0 for d.
3
Let r be 37/(-37) - 2/(-2). Solve -k + 6 - 5 = r for k.
1
Let n be 12*(2/6 - 0). Solve n*s = -1 - 3 for s.
-1
Let h be (156/9)/4 + 8/12. Solve h*o = o - 12 for o.
-3
Suppose 2 = -3*m + 4*m, -3*m = 4*w - 14. Solve -w = 5*s + 3 for s.
-1
Let w(t) = 2*t**2. Let a be w(1). Solve -a*q - 1 = -7 for q.
3
Let k(f) = -3*f - 1. Suppose -17 = 3*u - u - 3*p, -10 = -5*u - 3*p. Let z be k(u). Suppose 0 = 5*v - y - 5, -3*v + v - 15 = 3*y. Solve v = -0*w + z*w for w.
0
Suppose 3*m = -2*u - 9, m = -3*u - 2*m - 9. Suppose -z + 7 = -u*z. Solve 3*w = z*w for w.
0
Let j = -2 + 17. Solve -3*q + j = -0 for q.
5
Suppose z - 50 = -4*z. Let f(w) = -w + 8. Let y be f(-6). Let d = y - z. Solve -u = -d - 1 for u.
5
Let t be -2*9/(-12)*4. Suppose t*u = u + 20. Suppose -8*x + u*x + 20 = 0. Solve x*a - 21 = -1 for a.
4
Suppose 4*j = 2*c - 92, 2*j - 2*c = 3*j + 13. Let d = -13 - j. Suppose -2*q + 4*q = d. Solve q*s = 7*s + 6 for s.
-2
Let j(w) = w**2 - 5*w + 6. Suppose x - 18 + 15 = 0. Let s be j(x). Solve 2*u + 0*u = s for u.
0
Let w be 6/(-18) - (-2)/6. Solve w = -x - x for x.
0
Suppose 0 = m - 2*h + 15, 2*m = 3*h - 27. Let j be 10 + 9/(m/(-2)). Solve -j = -4*n - 0 for n.
3
Let r(w) = w**3 - 5*w**2 - 6*w + 8. Suppose 3*l = 4*l - 6. Let n be r(l). Let v = n + -6. Solve v = 4*i - 2 for i.
1
Suppose 4*v - 7*v = -6. Solve x - v*x = -3 for x.
3
Let n(x) = x + 1. Let f be n(3). Suppose 3*k + f*c = -8 + 34, 5*k + 5*c - 35 = 0. Solve 0 = 2*i + k*i for i.
0
Suppose -4*j = -4*y + 8, 3*j - 5*j + y = 0. Solve j*v + 8 = -0*v for v.
-4
Suppose -11*z = -7*z - 8. Suppose 12 = 2*p - z*x, -4*p + 4 = 5*x + 7. Solve -7 = -p*v - 1 for v.
2
Let h = 12 + 13. Let d(q) = q - 2. Let f be d(2). Solve f = -b - 4*b + h for b.
5
Suppose -2*g - 2*g + 16 = q, -5*g + 2*q + 7 = 0. Suppose 4*j - j - 12 = -g*h, -5*h = -3*j + 4. Solve -2*i + 1 = -h for i.
1
Let o be ((-8)/(-3))/((-30)/9 + 4). Solve -o = -s - 3 for s.
1
Suppose 3*b + 20 = -b. Let u = b + 9. Solve 0 = -u*p - 0*p - 16 for p.
-4
Let h(n) = -n + 3. Let r = -7 + 16. Let u be h(r). Let z = -2 - u. Solve 0 = -3*f - 10 + z for f.
-2
Let b be 3 - ((-1 - 1) + 2). Solve 0 = b*a - 0*a for a.
0
Let q(b) = b**3 - 5*b**2 + 1. Let y be q(5). Let t be y/((-2)/(-10) - 0). Solve t*z + 7 = 32 for z.
5
Let s = -9 - -9. Solve s*v - 1 = v for v.
-1
Let i(n) = n**2 + 6*n. Let h be i(-5). Let f = h + 1. Let g be (6/f)/(6/(-8)). Solve -12 = k + g*k for k.
-4
Let r(a) = -a. Suppose -2*x + 4*p = 0, -3 - 15 = -4*x - p. Let u be r(x). Let c = 4 - u. Solve -2*m - c = -6*m for m.
2
Suppose -2*t + t = -0*t. Solve t = v - 4*v for v.
0
Let h be (-1)/(-4) + 7/4. Let t be (1/h)/((-2)/(-24)). Suppose -t*k = -2*k. Solve k*w + 4 = -2*w for w.
-2
Let i(u) = -u**3 + 8*u**2 - 6*u - 3. Let o be 47/7 - 4/(-14). Let d be i(o). Suppose -f - f = 2*y - 12, 5*f = y. Solve y*p = d*p - 5 for p.
-5
Let w(p) = -p + 7. Let l be w(5). Solve 3 + l = 5*h for h.
1
Suppose 4*k + 2*i = -i - 4, 2 = -5*k - 3*i. Solve -9 = -k*z - 1 for z.
4
Let b(o) = -5*o - 7. Let f(w) = -4*w - 7. Let z(k) = -2*b(k) + 3*f(k). Let m be z(-5). Suppose -2*y + m*y - 3 = 0. Solve 10 = y*d - 5 for d.
5
Let g(y) = y**2 - 9*y + 5. Let s be g(9). Let k = -3 + s. Solve 0 = 3*f - k*f for f.
0
Let a(l) = l**2 + 1. Let d = -1 - 1. Let k be a(d). Solve 12 - 2 = k*t for t.
2
Suppose 3*o - 9*o = -o. Solve -m + 3*m = o for m.
0
Let h(b) = -b**3 + 2*b**2 + b. Let l be h(-1). Suppose -l*j - j = -12. Solve 4*d = -0 + j for d.
1
Suppose 0 = -4*h + 40 - 0. Solve 3*v = h + 2 for v.
4
Suppose -5*f - 6*n + 35 = -3*n, -n - 3 = -2*f. Solve f = 3*o - 2 for o.
2
Let s(o) = 20 - 3*o - o - o + 6*o. Let y be s(-15). Solve 3*z = y*z for z.
0
Suppose 2*n = 24 - 16. Solve -2*t + n = -0*t for t.
2
Let n = -30 - -33. Let x be 4 - -2*(1 - 0). Let z = x - n. Solve -z*h = 2 + 1 for h.
-1
Let g = 3 + -4. Let z be g + 0 - 1 - -7. Suppose -9*p = 5*p - 42. Solve 0 = z*v - 2*v + p for v.
-1
Let g = 19 + -7. Suppose -i + 4 = 3*x - g, -4*x = i - 20. Solve 0 = -x*k + 9 + 7 for k.
4
Let m(k) = -2*k**2 - k + 1. Let w be m(-1). Solve w = -4*g + 8*g for g.
0
Suppose 11*m = 7*m + 8. Solve m*r = -2 - 8 for r.
-5
Suppose 0*g = -g. Solve -4*v - 2 - 2 = g for v.
-1
Let n be 15/(-3)*(-6 + 2). Suppose 4*u + u = n. Solve -u = -s - 3*s for s.
1
Let z = -10 - -1. Let m be z/2*16/12. Let j be 2/m + (-26)/(-6). Solve 6*i + j = 4*i for i.
-2
Let p(c) = 2*c**2 + 0*c**2 + 1 + c**3 - 4*c**2. Let t be p(2). Solve o = t + 2 for o.
3
Let v be (-40)/(