 -2*f - 4. Let s be y(-3). Suppose s*n - 6 = m - 3*m, -5*n = 0. Solve 0 = -m*q + 4*q for q.
0
Suppose 0 = 3*k - 10 + 1. Let a be -2 - (-3)/k - -10. Solve 5*c = 2*c + a for c.
3
Let z = -18 + 19. Let b(o) = -2*o**3. Let v be b(-1). Solve z = v*c - 9 for c.
5
Let x be (-50)/(-20)*4/5. Solve 2*o = -x - 8 for o.
-5
Suppose -5*a + 2*a = 0. Let v = 3 + -1. Solve v*s + s = a for s.
0
Suppose -6 = -h - h. Solve 9 = -6*d + h*d for d.
-3
Let w(l) = l + 10. Let m be w(-8). Suppose 7*x = m*x + 15. Solve -o + 0 - x = 0 for o.
-3
Suppose 83 - 20 = -3*s. Let g = -14 - s. Solve g = -3*x - 5 for x.
-4
Let r = 39 + -14. Let v be (-4)/(-1*6/(-15)). Let s be 27/5 - (-4)/v. Solve -5*n = -s + r for n.
-4
Suppose 3*k = -2*k + 5*y + 30, 0 = 5*k + 4*y + 15. Solve -k - 3 = 4*n for n.
-1
Let i(c) = -c**3 + 5*c**2 + 5*c + 5. Let m be i(6). Let a = m - 15. Let f = 32 + a. Solve 0*q = 4*q + f for q.
-4
Let c(b) = 3*b + 1. Let a be c(1). Suppose -a*y + 20 = -0*y. Solve y*m = 5 - 15 for m.
-2
Let n = 1 - 1. Let b(g) = g**2 + 2*g + 3. Let y be b(-2). Solve n*o = y*o - 15 for o.
5
Let y be (5/10)/(1/(-12)). Let j be (2/(-3))/(4/y). Suppose 0 = -5*s + 27 - 7. Solve -j = -s*d + 7 for d.
2
Let n(v) be the second derivative of -v**4/12 + 7*v**3/6 - v**2 - v. Let k be n(6). Suppose 0 = -3*i - 3*j + 3, 3*j = k*i - 2*j - 4. Solve i + 5 = 2*h for h.
3
Let z(q) = -6*q + 23. Let y be z(3). Solve 3*a - y*a = 0 for a.
0
Let j(o) = -2*o - 6. Let x be j(-4). Suppose -2*d = x - 12. Let z(n) = n**2 + 2*n - 1. Let v be z(-3). Solve d = -3*u + v*u for u.
-5
Suppose 3*n = 6*g - 11*g + 14, 2*g + 4*n = 0. Solve -2*w + g + 2 = 0 for w.
3
Let w be (-2)/(-6)*-3 - 3/(-3). Solve h + 3 = -w for h.
-3
Let i = -5 + 4. Let u = i + 12. Let l = -7 + u. Solve 9 - 1 = l*k for k.
2
Let d = 5 + -2. Suppose -d*o = -2*o - 2. Suppose -5*s - 3*q - 10 = 0, 4*q + 21 = -o*s + 3. Solve -1 = -2*v + s for v.
1
Let o(k) = k**2 + 10*k - 23. Let m be o(-13). Solve -2*v + 6*v + m = 0 for v.
-4
Suppose -4*i - 3*g + 24 = 0, -g - 3 = -3*i + 2. Solve i*r + 0*r + 15 = 0 for r.
-5
Let g = 3 - 2. Let w = g + 2. Solve -p + w = -0 for p.
3
Suppose 7*d - 15 = 20. Let v = 9 - d. Solve v*s = -3 - 1 for s.
-1
Let l be (-2)/(-7) + (-216)/(-126). Solve 2 + l = x for x.
4
Let l = 3 - -13. Let c be 1/(-4) - (-36)/l. Solve a = c*a + 1 for a.
-1
Let i = 0 + 2. Suppose 0*k = i*k - 24. Solve -8 = -4*c + k for c.
5
Let l(b) = -b**2 + 7*b + 2. Let s be l(6). Solve -5*v + s + 17 = 0 for v.
5
Let v(o) = o + 8. Let c be v(-6). Solve 0*a - c = 2*a for a.
-1
Suppose 5*s - 6*s + 5 = 0. Let q(a) = -a**3 + 4*a**2 + 7*a - 6. Let c be q(s). Solve j - c = -5 for j.
-1
Let f(n) = 40*n**2 + n - 1. Let u be f(1). Suppose -3*l + u = l. Suppose l + 10 = 5*x. Solve x*y = 6*y + 10 for y.
-5
Suppose -3*j + 51 = 3. Solve 0 = 2*c - 6*c - j for c.
-4
Let q(a) = a**3 + 2*a**2 - a - 2. Let w be q(-2). Suppose l + 3 - 8 = w. Solve -2 = -l*k + 3*k for k.
1
Let f = 8 - 5. Suppose 2*x - 12 = -4*q, 4*q + f*x + 2*x = 12. Solve -q*i - i = 8 for i.
-2
Let d be (4/(-6))/(1/(-6)). Solve 0 = d*c + 4 + 8 for c.
-3
Let p = -1 - -5. Suppose 4*o - p - 8 = 0. Solve -3*x = -0 - o for x.
1
Let m(n) = -4*n. Let q be m(0). Solve -7*w + 2*w + 15 = q for w.
3
Let n(f) = -f**3 + f + 3. Let i be n(0). Suppose i*u + 6 - 2 = -k, -k = -u - 4. Solve -k*d + 12 = d for d.
4
Let u(d) = 6*d**3 + 3*d**2 - 2*d. Let r be u(1). Solve r*g + 4 = 3*g for g.
-1
Suppose -4*p = 3 + 13. Let q = -1 - 1. Let h = q - p. Solve -3 = a - h*a for a.
3
Let d = -91 + 96. Solve d*q - 4 = q for q.
1
Let x be -16*-1*3/(-6). Let v = x - -10. Let n(c) = -c**3 - c**2 + c + 22. Let t be n(0). Solve -5*b + v = t for b.
-4
Let p(z) = 5*z. Let b be p(-1). Let u = 53 + -48. Let k = u + b. Solve k = 5*f - 12 - 3 for f.
3
Suppose 0 = 3*v - 4 - 2. Let b be 1/((-3)/2 + v). Solve 0 = 2*l - b - 4 for l.
3
Suppose 0*j = 6*j - 30. Solve -j*d + 13 = -7 for d.
4
Let c(d) = d**3 - 4*d**2 + 4*d. Let t(p) = -p + 9. Let n = -6 - -12. Let a be t(n). Let o be c(a). Solve -l = o - 0 for l.
-3
Let b(j) = j**2 + j - 3. Let o(c) = -c**2 - 8*c - 4. Let z(d) = -d**2 - 6*d - 7. Let r be z(-6). Let m be o(r). Let n be b(m). Solve -4*u + n = -u for u.
3
Let z(l) = -2*l + 2*l - 6 - 4*l - l**2 - 2*l. Let p be z(-4). Solve -8 = -5*c + p for c.
2
Suppose 13*a - 9*a = 0. Solve -q - q - 4 = a for q.
-2
Let h = -1 - -2. Solve r - h + 3 = 0 for r.
-2
Suppose -5*o + 11 = -14. Let r(v) = v**2 + 9*v + 3. Let u be r(-9). Solve u*g = 2*g + o for g.
5
Suppose 6 - 4 = -b. Let c be b + (-3 - -13 - 2). Solve -2*h + 2 = -c for h.
4
Suppose 5*w - 33 = 17. Solve 9*b - w = 4*b for b.
2
Suppose 0 = 5*s - 0*i - 4*i - 2, -5*s - 5*i + 20 = 0. Suppose s*k - k = 2. Suppose -4*h + 10 = -2*u, 2*h - 6*h = 4*u + 20. Solve -k*z = -h*z for z.
0
Let a(u) = -u + 2. Let y be 7/(-28) + (-14)/8. Let w be a(y). Solve w*i = 1 + 3 for i.
1
Let y be (3/(-2))/((-24)/160). Let d = y + 0. Solve -30 + d = -5*t for t.
4
Let b be (-5)/(-2) - 4/8. Let k = 6 - 1. Suppose 3*h - k*h = 0. Solve h*r - r + b = 0 for r.
2
Let f(q) = -q**2 - 6*q - 3. Let g be f(-4). Solve 4*r = -13 + g for r.
-2
Let b(s) = -s**2 - 4*s + 8. Let g be b(-7). Let p = -9 - g. Let d = p + -1. Solve -1 + 7 = d*h for h.
2
Suppose -3*z - 6 + 28 = 2*j, 4*j + 4*z - 40 = 0. Let w be -5 + (14 + -3 - 3). Solve w*d + j = d for d.
-4
Suppose 4*i = -13*i + 34. Solve 5*j - 8 - i = 0 for j.
2
Let a(q) = q**2 + 3*q**2 + 0*q**2 - q**3 - 2*q - 1. Let l be a(2). Suppose -2*d = -3*s + l, 3*d - 2*s = -5 + 3. Solve d = -r + 5*r for r.
0
Suppose 0 = -6*z - 0*z + 18. Solve z = 4*a - 1 for a.
1
Let v(m) = m**3 - 2*m**2 - 5*m + 1. Let o be v(4). Solve -5*i = 3 - o for i.
2
Let v(q) = 2*q**3 + 2*q - 4. Let l be v(2). Solve -4*o = -0 - l for o.
4
Let j(a) = -a + 6. Let u be j(7). Let b = 3 + u. Let y be 1/2*32/b. Solve 2*z - 6*z = -y for z.
2
Let h(i) = i**2 + 4*i - 12. Let p be h(-8). Let u be (-26)/(-8) + (-5)/p. Solve 0 = 4*g - u - 9 for g.
3
Let k = -10 - -17. Suppose -2*s - 15 = -k*s. Let c be (1 - -2)*(10 - s). Solve 1 = -5*x + c for x.
4
Let t(b) be the third derivative of b**4/24 - 7*b**3/6 + 3*b**2. Let z be t(7). Solve -15 = 3*f - z*f for f.
-5
Let i(b) = b**3 + 3*b**2 - 4*b - 1. Let m be i(-3). Let u(s) = 1 - m*s + 18*s - s**2 - 10*s. Let n be u(-2). Solve -5 = r - n for r.
-2
Suppose g + 0 = 2. Suppose -12 = -g*d - 0. Suppose 0 = 2*m + m - d. Solve -4*n + 2*n = -m for n.
1
Suppose -8 = -5*m + 5*t + 2, -3*m - 5*t = -46. Suppose 2*n - m = 13. Solve n = 4*f + f for f.
2
Let z = 7 - 4. Suppose -4*a + 2*c = -14, 0*c = -3*a + 5*c. Suppose -3*y = -4*l - 0 - 16, 3*y + 20 = -a*l. Solve -z = -y*j - j for j.
3
Let u(c) = c**2 - 5*c - 1. Let k be u(6). Let r be (-2)/3 + 184/6. Suppose r = 2*g - 4*s, -5*g + 2*s + 2*s = -57. Solve 0 = -k*x - 11 - g for x.
-4
Let x = 4 - 3. Suppose -15 = -4*w + 29. Suppose -3*o + x = -w. Solve v - o = -3*v for v.
1
Let x(g) = 3*g**2. Suppose -5*s + 1 + 1 = 3*r, 2*r = 4*s - 6. Let t be x(r). Solve -t*k = -6 - 3 for k.
3
Suppose 2*h + 0*h = 10. Suppose 8 + 4 = 4*n + h*k, n - 4*k + 18 = 0. Let q be ((-8)/12)/(n/6). Solve -q = -3*l + 1 for l.
1
Let w(b) = -b**3 + 5*b**2 + b - 4. Let v be w(5). Let j(x) = -3*x + 3*x + v - 4*x + 3*x. Let y be j(0). Solve -y - 7 = 2*k for k.
-4
Suppose -2 - 10 = -3*v. Solve -v*o + 1 = 5 for o.
-1
Let v(s) = 7*s + 2. Let d be v(2). Let q = -8 + d. Solve -2*o + 4*o + q = 0 for o.
-4
Suppose -4*j = 2*f - 34, -24*f - 5 = -19*f. Solve 5*o + j = 29 for o.
4
Let k be ((-2)/(-5))/(-1) - (-352)/80. Solve 0 = -s - s + k for s.
2
Suppose l + 4 = -3*h, -4*h = -4*l - 8*h. Let d be l/(-2*(-1)/7). Suppose -5*s + d + 13 = 0. Solve s*q = 7*q - 15 for q.
5
Let b be ((-2)/(-6))/((-5)/(-90)). Suppose 46 = 4*c + b. Solve 0 = 3*a + c - 4 for a.
-2
Let a(t) = -t**3 - 4*t**2 + 5*t - 1. Let b be a(-5). Let l be -1 - (-4 - (0 + b)). Solve -n + l*n + 5 = 0 for n.
-5
Let r = -14 - -24. Let z = r + -6. Solve -4 = -z*i - 12 for i.
-2
Let c = -16 - -19. Let u be (c/4)/(4/48). Solve -2*y - u = -5*y for y.
3
Let c(h) = h**3 + 5*h**2 - h - 2. Suppose -5*y = g - 3*g + 33, 2*y - 2 = -3*g. Let a be c(y). Solve 2 = -t + a for t.
1
Let w be 2 - (2 + (1 - 2)). Suppose -5*i = 2*p - 10, -2*p - 10 = -5*i - p. Suppose 5*z = 5, 3*q - i + w = 5*z. Solve 0*d = -q*d for d.
0
Suppose 2*j + 3*o - 7 = j, -3 = -j + o. Solve 7 = j*z + 27 for z.
-5
Supp