 = -2*h + 22. Solve b + 2*b + h = 0 for b.
-5
Suppose 0 = -v + 1 - 7. Let j be v*((-9)/6 + 2). Let x be j/(-12) + (-14)/(-8). Solve x*i = 3*i - 5 for i.
5
Let p(v) = v**3 - 8*v**2 - 8*v - 7. Let l be p(9). Solve -l*x = x for x.
0
Let q be 0/3 + (5 - 0). Suppose 11 = -4*s + q*s. Solve -26 = 5*o - s for o.
-3
Let z(x) = -x + 13. Let w be z(11). Suppose -w = 3*a + c, -2*c = 3*a + 2*c + 8. Solve a = -3*b - b + 12 for b.
3
Let u(g) = g**2 + 6. Let w(h) = -3*h**2 - 17. Let y(r) = -17*u(r) - 6*w(r). Let j be y(-2). Suppose 0 = b + 2, 0 = j*z - b - 3 - 7. Solve -3*d = -d - z for d.
1
Suppose 24 = 3*h - 30. Let d be ((-60)/h)/((-2)/9). Solve 3*r = -2*r - d for r.
-3
Suppose -2*z + 9 - 1 = 0. Solve -3*n = z + 8 for n.
-4
Let l be (-12)/(-2) + -2 - 2. Solve -2*d = l*d + 4 for d.
-1
Suppose -2*z + 1 = -5. Solve z*c - 20 = -2*c for c.
4
Let q be 6/21 + 38/14. Solve 2*p = q - 1 for p.
1
Suppose 0 = 2*q - 2 - 6. Solve q*y + 2 = -6 for y.
-2
Let f = 1 + 8. Let p(l) = -13*l**2 + l**3 + 1 + 2 + f + 11*l + 1. Let k be p(12). Solve 0 = 3*t - k - 2 for t.
1
Suppose 4*c = c + 15. Suppose -3*b = -c*b + 8. Solve 3 = -p + b for p.
1
Suppose 1 = -4*q - 3*v, -4*q + 4*v + 6 = -14. Let h be (28 + q)*1/2. Suppose -3 + h = 4*a. Solve w - a = 1 for w.
4
Let v be 2/(-9) - 845/45. Let u = 21 + v. Solve -u*l - 5 = 5 for l.
-5
Let y(q) = -q + 1. Let p be y(-3). Suppose 3*s = -p*c + 2, 3*c - s = 4 + 4. Solve c*v - v - 2 = 0 for v.
2
Suppose -t + 4*t = -39. Let p be (t + 1)*8/(-6). Suppose -5*c + p = 6. Solve 4*w = c + 10 for w.
3
Let n be 0 + (2 + -2 - -2). Suppose n*q + 3*q - 10 = 0. Suppose 7 = -t + 4*a, 2*t + 1 = 2*a - 1. Solve -t = x - q for x.
1
Let r be 5/(10/(-3)) + 30/12. Solve 11 - r = -2*c for c.
-5
Let h be (-16)/(-40) - 26/(-10). Solve h*i = i + 6 for i.
3
Let n(s) = -18*s**2 + s - 2. Let y be n(1). Let c = -18 - y. Solve 0 = t + c + 1 for t.
-2
Let g be (-3)/(-3) - (-1)/(-1). Suppose g = h + 2*h - 24. Let a = h + -3. Solve a*t = 3*t for t.
0
Let s be ((-9)/12)/(3/(-8)). Solve z + 0 = s for z.
2
Suppose r = -3*r + 8. Suppose 0 = d + r*d. Solve 4*b = -d*b for b.
0
Suppose 5*a - 3*d - 19 = d, -8 = -3*a - d. Suppose 0*t = -t - 5*q + 26, 0 = -3*t - 3*q + 54. Let j = -15 + t. Solve a*n - 5 = j for n.
2
Suppose 3*o - 39 = 3*l, -4*l - 44 = -o - 1. Let q = l - -13. Solve 0 = m + q - 2 for m.
-1
Suppose 3*b + 7 = 2*f, 2*f = -4*b + b + 13. Solve f = -0*m - 5*m for m.
-1
Let u be (3/2)/((-3)/(-8)). Let w be (-15)/(-6) - 1/2. Suppose m - w*q = -u*m + 6, 0 = -5*m + 4*q + 12. Solve 4 = 2*r - m for r.
2
Let c = 66 + -62. Solve 4*h + c + 8 = 0 for h.
-3
Let d be 3/(-5)*(0 + -5). Suppose d*s - 32 = -s. Suppose 3*b = j + s, 0 = -5*b + 3*j + j + 18. Solve 3*y = -b*y for y.
0
Let d = 13 + -4. Suppose -h = -34*o + 32*o + 6, -4*h + 5*o - 12 = 0. Solve -h*q = q - d for q.
3
Let o(q) = 2*q**2 - 2*q - 1. Let b be o(2). Solve -r = -6 + b for r.
3
Let x(m) be the third derivative of m**6/120 - m**5/10 + 4*m**3/3 - 2*m**2. Let j be x(6). Solve -3*r = -1 - j for r.
3
Suppose -4*o - 2*l + 0*l + 12 = 0, -o = -3*l + 4. Solve -o*y = -7*y - 5 for y.
-1
Let n = 5 - 8. Let i be (-1)/n + (-15)/(-9). Let g(h) = h**3 - h**2 - 2*h + 3. Let a be g(i). Solve -a*p + 0*p = -9 for p.
3
Let s = 12 - 7. Solve s*n = 11 + 14 for n.
5
Let z be ((-65)/78)/(2/(-12)). Solve -s + 8 = -z*s for s.
-2
Suppose -3*f + 16 = 2*h + 1, 5*f + 5*h = 30. Solve 2*o - f = -5 for o.
-1
Suppose -d + 5 = -b, 5*d - 20 - 5 = 3*b. Solve 0 = -4*i - d + 13 for i.
2
Suppose 2*r - 3*r = 0. Let p = -16 - -27. Suppose -3*x + p + 1 = r. Solve 0 = -x*q + 11 - 3 for q.
2
Let l(h) = 4*h - 1. Let d be l(1). Let g = 12 - d. Solve -4*b - g = -b for b.
-3
Suppose 0 = -w + 4*j - 15, -j = 3*w - 7*w. Let t(y) be the third derivative of y**4/24 + 11*y**3/6 + 3*y**2. Let u be t(-8). Solve -u*m = w + 8 for m.
-3
Let c(q) = -q**3 + 6*q**2 + 3. Let s = -10 + 16. Let t be c(s). Let z(h) = -h**2 + 2*h + 3. Let u be z(t). Solve 2*j - 4*j - 4 = u for j.
-2
Suppose 3*t = 4 + 2. Suppose 15 = -y + t*y. Let d = -7 + 11. Solve q = d*q - y for q.
5
Let x be 8/20 - 4/10. Solve -2*h = -x*h for h.
0
Let z(a) = 10*a + 55. Let x be z(-5). Solve -x*l + 6 = -4 for l.
2
Let v = 3 + -8. Let f be 28/5 - 2/v. Suppose -q = q - f. Solve q - 6 = y for y.
-3
Suppose 0*c + 2*c = -5*z + 19, -5*c + 10 = 5*z. Solve 0*k = -z*k + 25 for k.
5
Suppose v - s - 52 = -4*v, 2*v + 4*s = 12. Solve 7*y - 5*y = -v for y.
-5
Let f(q) = 12*q - 3. Let a be f(-3). Let x = -24 - a. Solve 0 = 4*i - i - x for i.
5
Let x = 22 - 17. Suppose 4*u - 65 = -x*h, -5*u - 2*h + 75 = 3*h. Solve -y = y + u for y.
-5
Let z = 12 - 9. Suppose -j + z + 1 = 0. Suppose -3*c - v = -6, -j*v = 3*c - 2 - 4. Solve -2*h = c*h - 4 for h.
1
Suppose -6 = 4*g - 2. Let h = 0 - g. Let r be 2 - 0*(-2)/(-4). Solve r = -s - h for s.
-3
Let z be 1/5 + (-1)/5. Solve -4*g + z*g + 12 = 0 for g.
3
Let x be (4 - 2 - 3)/(-1). Solve -r + 0*r = -x for r.
1
Let s(o) = -9*o**3 - o - 2. Let m be s(-1). Suppose b + b - 16 = 0. Suppose 33 - b = 5*x. Solve x = m*h - 3*h for h.
1
Suppose -4*s - 4 = -32. Suppose -2*q = -a - 46, 1 = -q + 4*a + 10. Suppose -2*z + 0 + 4 = i, -4*i + 10 = 5*z. Solve 0 = z*p - s*p + q for p.
5
Let v(p) = -p**3 - 3*p**2 - 3*p - 1. Let g be v(-3). Let a = g - 8. Solve a = -4*y + 2*y for y.
0
Suppose i - 4 = 1. Solve 2*x = 3*x - i for x.
5
Let w(p) = 7 + 5*p**2 - 5*p**2 - 6 + 6*p - p**2. Let g be w(5). Let k = 11 - g. Solve -2 = -k*u + 6*u for u.
-2
Let m(u) = 15*u - 1. Let y be m(1). Let o be 2 - 1 - (-1 - 2). Solve -o*l - y - 6 = 0 for l.
-5
Suppose -5*l = 2*o - 126, -2*l - 18 = -3*l + 2*o. Suppose 0 = -4*m + 4 + l. Solve -3*r = m - 19 for r.
4
Suppose -2*r = 2*c - 14, 0*c + 5*c - 19 = -r. Solve c*d = -d for d.
0
Let p = 9 - 4. Let n = p + -3. Solve -6 = n*c + 4 for c.
-5
Let z(b) = -b**2 - 8*b - 6. Let j be z(-6). Let s(i) = i**3 - 4*i**2 + i + 4. Let g be s(3). Let d = 2 + g. Solve 2*q - j = -d for q.
3
Let a = 21 - 17. Let d be a/3*(9 - 6). Let i = 1 + -1. Solve i = d*z - 3*z for z.
0
Let u be (6/(-2))/(-5 + 4). Let o(z) = z**3 - 3*z**2. Let n be o(u). Solve -3*x + 15 = -n*x for x.
5
Let i be (-8)/(-10)*15/2. Suppose 0 = 3*m - 3 - i. Let x be 8/12*m/1. Solve -2*s = 2 + x for s.
-2
Let s(n) = -n**3 - 3*n**2 + 5*n + 6. Let p be s(-4). Solve p*g = -g + 6 for g.
2
Suppose 7 = -3*h + 22. Solve h*y = 2*y + 9 for y.
3
Let g be ((-2)/(-6))/((-4)/(-24)). Suppose 3*k + 3 - 21 = 0. Solve 0*l + g*l - k = 0 for l.
3
Suppose -p - 18 = -5*m, 3*m = -2*p - 1 + 17. Suppose -p*h + h = -10. Suppose 3*j - x + 0 = 4, -2*x = -h. Solve -j*v = 2 - 5 for v.
1
Suppose 3*d - 9 = -3*k, 6 + 0 = -k + 2*d. Solve x + k*x = 3 for x.
3
Let w(l) = l + 26. Let a be w(-8). Solve 2 = 4*g - a for g.
5
Let p(g) = -3*g**2 + 4*g - 2. Let u be p(2). Let w(j) = j**2 + 7*j. Let i be w(u). Let r be 3/i + 5/2. Solve 6*q - r*q = 8 for q.
2
Suppose 0 = -g + 1 + 1. Suppose -v + 5*c + 10 = -15, -g*v - 4*c - 6 = 0. Solve -2 + 12 = -v*j for j.
-2
Let n be (-2 + -3 + 6)*0. Solve n = 5*m + 20 - 0 for m.
-4
Let z = 8 - 3. Let g(u) = 2*u**2 + 5*u + 8. Let m be g(-4). Solve -5 = z*l + m for l.
-5
Let o = -3 + 2. Let c be 4 - 2*o/(-2). Let q be -7*(-2 + 48/28). Solve q*y + 5 = c*y for y.
5
Let k(y) = 20*y**3 - 2*y + 1. Let t be k(1). Solve 0 = -3*r - t + 4 for r.
-5
Suppose -3 = -h + 1. Let i be 0/(4/10 + 136/85). Solve h*b = -20 - i for b.
-5
Let l(k) = -k**2 - 6*k - 1. Let y be l(-5). Let r = 4 - 0. Suppose 5*j - y*z = r, -4*z = 3*j - 4*j + 4. Solve j*c = c for c.
0
Let j(z) = 2*z**2 + 3*z + 2. Let b be j(-2). Let p = 11 + -7. Let k = b - p. Solve k*x = x + 2 for x.
-2
Suppose 0*p = -2*p. Solve -i - 2 = -p*i for i.
-2
Let t(z) be the second derivative of z**3/6 - z**2/2 + 3*z. Let y be t(3). Suppose -y = -s + 6. Solve -o - 3*o = -s for o.
2
Suppose 0 = -2*g - g + 18. Suppose -4*h + 21 = 5*v, -4*v - 3*h + g + 10 = 0. Solve 11 = -2*j + v for j.
-5
Let t(r) = -r**2 + 4*r. Suppose 3*c + 12 = 6*c. Let k be t(c). Suppose 4*d - 71 + 11 = k. Solve z - d = -2*z for z.
5
Suppose 0*x + 4*x = 4. Let p be (-4)/18 - 166/(-18). Suppose -12 = -4*h, -18 = -3*o - 5*h + p. Solve -15 = o*a + x for a.
-4
Suppose 2*i = u - 6, 0*u - 5*u + 15 = -5*i. Solve 0 = 5*a + 25 - u for a.
-5
Let a be 2/(-8) - 13/(-4). Suppose -a*s - 2*s = 0. Let y(p) = -3*p**2 + p + 3. Let v be y(0). Solve v*n + 7 + 2 = s for n.
