= -3*h - 4*s - 13. Solve 4*o + h + 2 = 0 for o.
-3
Suppose 0 = -6*b + 2*b + 84. Suppose -2*m = m - b. Let q(f) = -f + 10. Let h be q(m). Solve 0 = -h*s - s for s.
0
Let l(v) = 7*v**2 - 2*v - 13. Let f(o) = 3*o**2 - o - 6. Let q(s) = -9*f(s) + 4*l(s). Let r be q(2). Let h be r/5 - (-4)/10. Solve -1 - h = c for c.
-3
Let k(b) = -b**3 - 6*b**2 - 2*b - 8. Let i be k(-6). Solve -i*x = -3*x for x.
0
Suppose -4*q - f - 8 - 4 = 0, 0 = -4*q - 4*f. Let m(o) = o**3 + 5*o**2 - 2. Let l be m(q). Solve 0 = -5*g - l - 11 for g.
-5
Suppose 3*r - 4 = p, -13 = -3*r + 3*p - 1. Solve r = 3*y - 0*y + 3 for y.
-1
Let i = 4 + -2. Suppose -4*n = i*s - 26, 3*n = -3*s + s + 21. Solve -u - s = -4 for u.
1
Let n be 2 - 3/((-9)/24). Let f be (-8)/n*15/(-6). Suppose f*w + 0*w = 4. Solve 0 = -w*v - 2*v + 8 for v.
2
Let p(z) = -z**3 + 4*z**2 - 2*z - 1. Let g(o) = o**3 + 5*o**2 + 2*o - 5. Let y be g(-4). Let q be p(y). Solve 0 = h - q*h - 5 for h.
-5
Let w(n) = -n**2 + 5*n + 16. Let p be w(7). Solve p*s = -s for s.
0
Suppose 3*w - 5*g = 15, -6 = -2*w - 3*g + 4. Let p(i) = 4*i + 1. Let r = 8 - 5. Let j be p(r). Solve 2 + j = -w*b for b.
-3
Suppose 0 = -6*w + w - 5*d + 50, -2*w + 3*d + 20 = 0. Suppose 0 = -4*k + h + 9, -4*h + w = -2. Solve k*x - 3 = -18 for x.
-5
Let l = 125 + -60. Let i be (-10)/l - (-184)/13. Solve 5*c + i = -11 for c.
-5
Let b(h) = -h**3 - 7*h**2 - 7*h - 6. Let w be b(-6). Solve 0 = 3*l - w*l for l.
0
Suppose 0 = -s + 5*s - 2*i - 20, 5*i = 2*s - 26. Solve 8*g - s*g + 15 = 0 for g.
-3
Let n(u) = u**3 + 4*u**2 - u. Let i be n(-4). Suppose 5*b + o - 27 = 0, 15 = 4*b + 5*o + 6. Solve -d + i = b for d.
-2
Suppose -12 = -7*l + 4*l. Suppose -3*b + 13 - l = 0. Solve 6 = f - b*f for f.
-3
Let w be 4*2*2/4. Suppose -y - y + 50 = 0. Let k = 44 - y. Solve w*a = k + 1 for a.
5
Suppose 2*y = 1 + 5. Suppose 2*k - y*j = 5*k - 6, 5*k - 5*j = -10. Solve -h - 3*h + 4 = k for h.
1
Let d(l) = 2*l + 8. Let y be d(6). Let b be (96/(-80))/((-6)/y). Solve b*p = 2*p - 2 for p.
-1
Let r be ((-8)/(-24))/((-1)/(-18)). Let h = 9 - r. Solve -h*a + 0 + 6 = 0 for a.
2
Let q(d) = d**2 + 1. Let m be q(-3). Let j(f) = -8*f**2 - 3*f + 4*f - 2 + m*f**2. Let u be j(-2). Solve 0 = -4*x - 0*x + u for x.
1
Suppose 4*a = 6*a + 4. Let t be a/(-4)*0/4. Suppose t*z = 4*z. Solve -8 = 2*p - z*p for p.
-4
Suppose -3 + 0 = -t. Suppose 2*z = -t*z + 25. Let o be (0 - 15/5)*-1. Solve z = 2*l + o for l.
1
Suppose -5*f = -6*f - 8. Let s be (6/f)/((-5)/160). Solve -4*d + s - 4 = 0 for d.
5
Suppose 5*j + 4*j - 9 = 0. Solve -w = 2 + j for w.
-3
Let f(i) = -2*i + 10. Let g be f(0). Solve -4*k - g = k for k.
-2
Let q(r) = -2*r**3 + 4*r**2 - r + 6. Let i(y) = y**3 - 2*y**2 + y - 3. Let c(s) = 7*i(s) + 4*q(s). Let u be c(3). Solve -u*z + 16 = z for z.
4
Suppose -2*b + b - 6 = -3*f, -b - 8 = -4*f. Let a = 3 + b. Solve a*j + j = 0 for j.
0
Let a = 140 + -138. Let y be 2*((-14)/(-4) - 0). Solve -a*w = -3 - y for w.
5
Suppose 4*d = g + 15, 7*d - 24 = 4*d + 5*g. Suppose -2 = 2*f - d*f. Solve 0 = -v - f*v - 3 for v.
-1
Let r = 2 - 0. Suppose 0 = -t - r*t + 6. Solve t*z = 8 - 0 for z.
4
Suppose -3*s + 2*l + 2*l = -2, 0 = -5*s + 2*l + 8. Solve -s = 2*n - 4 for n.
1
Let x(b) = -b**3 + 12*b**2 - b + 15. Let q be x(12). Solve -q*i + 3 = 12 for i.
-3
Let q = 11 + -3. Suppose -4*d - q = -4*o, 5*d + 1 = -3*o + 7. Suppose -2*l = -w + o*w - 1, -2*w - 5*l = 2. Solve 3*n + w = -0 for n.
-3
Suppose d + 3*z = -3 + 2, -31 = -2*d + 5*z. Solve 0*q - 4*q = -d for q.
2
Suppose -4*w + 3*w + 12 = 0. Solve -5*y = -8*y + w for y.
4
Let c be 9/(-3) - -15 - 2. Suppose 3*d + d = 5*m, 2*d + c = 5*m. Solve 2*j - m = -2*j for j.
1
Let m(h) be the third derivative of 7/6*h**3 - 1/60*h**5 + 0 + 1/24*h**4 + 0*h + h**2. Let p be m(0). Solve -t = p - 2 for t.
-5
Let h be 48/18*3*1. Solve h = 2*z + 4 for z.
2
Suppose -2*t - 13 - 12 = -5*i, -3*t - 20 = -4*i. Solve -4*x + 9*x = t for x.
0
Suppose 8*t = 5*t + 36. Let i = 45 + -30. Let f = i + -11. Solve 0*v = f*v + t for v.
-3
Let v = -58 - -90. Suppose i + v = 3*q, 6*i = i + 20. Suppose -q = -0*a - 3*a. Solve -a = 3*s - 1 for s.
-1
Let v(h) = h**2 + h + 4. Let o be v(-3). Let n = o + -5. Solve 0 = -0*m - n*m for m.
0
Let o be 2/(-7) + 18/14. Suppose -3*b + 3 = -7*b + 5*p, 4*b - 2*p = 6. Suppose -2*i + b*i = 16. Solve 3*v = o - i for v.
-5
Suppose 2*j + 4 - 10 = 0. Let z be (-11)/(-13) - 8/(-52). Suppose 2*o = z + j. Solve 0 = d - o*d + 3 for d.
3
Suppose -2*q = -q - 3. Suppose -2*z + 7 = q. Solve -z*u - u = 0 for u.
0
Let s be ((-36)/7)/((-2)/7). Suppose -4*l = -l - s. Solve -m = -l*m for m.
0
Let m = 189 + -173. Solve 0*u = -4*u + m for u.
4
Suppose 0 = 3*r - 6*r - 21. Let x = r - -9. Suppose x*s = s. Solve -2*w + s*w - 6 = 0 for w.
-3
Let s(q) be the third derivative of q**4/24 + 5*q**3/6 - q**2. Let t be (-2)/7 + (-74)/(-14). Let p be s(t). Solve 0 = -9*o + 4*o + p for o.
2
Let m be (-6)/(-8)*(4 + (0 - 0)). Solve 20 = y + m*y for y.
5
Let u(h) = -6*h + 3*h**2 + 2 - 2*h**3 - 7 + 3*h**3. Let s(x) = -2*x**2 + 2*x. Let c be s(2). Let y be u(c). Solve 0 = y*d + 2*d - 25 for d.
5
Let d(x) = 3*x**2 + 4*x + 3. Let i be d(-1). Solve -3*q - 20 = i*q for q.
-4
Suppose 0*k - 4*k = 0. Let b be 14*((-57)/21 + 3). Solve k = -b*z - 7 + 23 for z.
4
Suppose 12*i - 5*i - 140 = 0. Solve f = -4*f - i for f.
-4
Let x = 5 + -3. Suppose 0 = -3*p - x*p + 30. Let h be p/33 + 64/11. Solve -h - 4 = -5*t for t.
2
Let y be (1 + 4)*12/15. Suppose 2*q - u = 2*u - 1, y*u = 12. Suppose -v = q*b + 8, -3*b + 2 = -v - 5*b. Solve v*l = 3*l + 1 for l.
1
Suppose 12 = 11*p - 7*p. Solve 0*x - p*x = 9 for x.
-3
Let z = 50 - 164. Let h = -58 - z. Let m be 12/(-54) - h/(-9). Solve -y + 20 = -m*y for y.
-4
Let w(c) = c**3 + 4*c**2 + 3*c + 1. Let b be w(-2). Suppose -4 = k + 4*i, -5*i - b = 2*k - 2*i. Let z be k/((-1 + 3)*-1). Solve z = 2*f - 0*f - 6 for f.
3
Let h(n) = -n**3 + 8. Let z be h(0). Solve c + 5 = z for c.
3
Suppose -2*t + 4*v + 22 = -0*v, -v = 4*t - 17. Solve t = 5*i - 5 for i.
2
Let o be (-1)/4 - (-10)/8. Let b be 35/15 - 1/3. Solve -o = c + b for c.
-3
Suppose 0 = -4*u + 2*f - 8, -3*u + 1 = 5*f - 6. Let y be (-5 + 1)*2*u. Suppose y = l + l. Solve -m + l = 2 for m.
2
Let r(s) = -s**3 + 3*s**2 - s + 4. Let g = 17 + -14. Let n be r(g). Let f = 6 - 3. Solve -n + f = -2*c for c.
-1
Let c(v) = -2*v**3 - 2*v**2 + 2. Suppose -2 - 2 = 2*f. Let b be c(f). Suppose -3*x + b = -4*r, 4*r + 3 = 2*x + 5*r. Solve -x*a = -a + 4 for a.
-4
Suppose -3*g = -3*z - 7 + 25, 5*z - 3*g = 36. Suppose 0 = -c + 2*t - 1, -3*t + 9 + 6 = 3*c. Suppose -4*n + c*o - 6 = z, 5 = 4*n + o. Solve n = -u - u for u.
0
Let t = -5 + 12. Solve 3 + t = -2*h for h.
-5
Let r(l) = l**3 - l**2 - l + 1. Let y be r(4). Let o be 14/18 - (-10)/y. Solve 0 = a - o - 3 for a.
4
Suppose -3*s - 43 = -6*s - 2*n, 0 = -5*s + 4*n + 79. Suppose 2*w + 18 = -w. Let d = w - -11. Solve -s + d = -2*u for u.
5
Let w be (5 - 6)*-7*1. Suppose p - w = -5. Solve 0 = -y - p*y for y.
0
Let v be ((-4)/(-6))/((-4)/(-18)). Suppose v*i - 4 = -10. Let t = -2 - i. Solve 8 = 4*g - t*g for g.
2
Let s = -5 - -9. Let z(f) = -f + 7. Let g be z(5). Let x be 10/2 - s/g. Solve 0 = -2*o - x - 5 for o.
-4
Suppose -o - 2*o + 45 = 0. Suppose -3*h - c + 20 = 0, -2*h - 3*h + 2*c + o = 0. Let t = h + 11. Solve -3*y = y - t for y.
4
Let k(x) = 2*x**2 + 13*x - 7. Let g be k(-7). Solve g = -5*m - 5 + 30 for m.
5
Let a be 4/(-30) - 1391/(-195). Solve a = -3*o - 5 for o.
-4
Suppose 0 = 4*o - 8*o + 20. Solve -v = -o + 8 for v.
-3
Let k(r) = -r**2 + 6*r - 4. Let y = 3 + 1. Let n be k(y). Solve 0 = 4*z + n - 20 for z.
4
Let n(q) = -q**2 - 8*q - 5. Let i be n(-7). Solve -i*k = 1 + 3 for k.
-2
Suppose 4*n + 12 = 2*q, -4*q + 2*n = 6*n - 12. Suppose w - 2*w = -q. Suppose 2*l - 6 = a, 2*l - 3*l = -a - w. Solve 0*m - l*m = 4 for m.
-2
Let u be 34/(-17)*5/(-2). Solve -5*i + 0*i + u = 0 for i.
1
Let j(u) = u**3 - 7*u**2 + 5. Let d be j(7). Let z(l) = l**2 - 3*l - 6. Let x be z(d). Solve -4 = -x*h - 0 for h.
1
Suppose -10*d = -3*d - 21. Solve 2*w - d*w = -3 for w.
3
Let n = 2 + 2. Suppose -4*m + 4*c = -0*m - n, 2*m - 9 = -5*c. Let k be (-2)/3*(m - 5). Solve -10 = -0*v - k*v for v.
5
Let c(h) = h**3 + 9*h**2 + 6*h - 6. Let k be c(-8). Suppose -4*r - r = 20, 2*r + k = 2*u. Let x = u + 3. Solve x = 2*t - 3*t for t.
-4
Suppose -2*f + 5 - 1 = 0. Solve 