 -8 - -13. Suppose 0*z + a*o - 6 = -3*z, 0 = -3*o. Let i be (z + 2 + 1)*1. Solve 0 = -0*h - i*h - 15 for h.
-3
Let r(h) = h**2 + 11*h + 3. Let a be r(-11). Solve l = a*l + 8 for l.
-4
Suppose 5*u + 10 = 2*c, -3*c = -4*u + c - 20. Let h be 1/(u/(-2) + 1). Let j = h + 0. Solve -s - j = 4 for s.
-5
Let m = -79 - -233. Let x be 1/(-3) - m/(-21). Let k = x + -3. Solve 0 = -j + 7 - k for j.
3
Let l be 1*(0/(-3))/1. Suppose l*t - 8 = -2*t. Suppose j - 25 = -t*j. Solve j*h - 27 = -2 for h.
5
Let l(x) = 6 + 4*x + 2*x - 3*x + x**2 - 4. Let g be l(-2). Solve w + 4*w = g for w.
0
Let k(s) = s. Let w be k(8). Suppose 3*b - 3*a + 6 = 0, b = -a - 2*a + 14. Suppose t - 1 = 0, b*j + j + 2*t = w. Solve u = -0*u + j for u.
2
Suppose 0 = 4*w - 4*v + 8, 2*w + 4 + 0 = v. Let t be 1/(w/(-10 + -2)). Solve 0 = -j + t*j + 15 for j.
-3
Suppose -2*y = -7*y + 5. Solve -5*t + 4*t = y for t.
-1
Suppose -g + 2*g = 3. Let z be -1 + -2 + 1/(-1). Let c = z + 16. Solve 0*r - g*r + c = 0 for r.
4
Let k = 32 + -30. Suppose -2*i - 3*h + 27 = i, 6 = 2*h. Solve -k*j + i = j for j.
2
Let r(a) = a**3 - 2*a**2 + 1. Let d = -1 + -2. Let u(o) = o**2 + 3*o + 1. Let g be u(d). Let k be r(g). Solve k = -c - 0 + 1 for c.
1
Let l = -17 - -13. Let m be 0 - (2 - 11)*-1. Let v be l + m/(-3) - -3. Solve 0 = 3*p + v*p for p.
0
Let r(n) = -n**2 + 7*n - 1. Let c be r(7). Let x = 4 - c. Solve -28 + 3 = -x*h for h.
5
Let j(b) = b**3 + b**2 - 15*b + 1. Let s(d) = d**2 + d - 1. Let v = -11 + 17. Let q(y) = v*s(y) + j(y). Let l be q(-8). Solve -3*m = -15 + l for m.
4
Let t = -2 - -5. Let o be (6 - t - 0)*1. Solve 0 = -n - o*n - 16 for n.
-4
Let i be (27 + -7)/(0 + 1). Suppose -15 = -5*w, 2*u - i - 34 = 4*w. Solve -u = -5*t - 8 for t.
5
Suppose 20 = 5*l - 4*g, 0*l + g = -2*l - 5. Suppose -22*s - f = -19*s - 11, 0 = 2*s - 3*f. Solve l = -s*n + 2*n for n.
0
Suppose -123 = -4*z + 3*y, 0 = 5*z + 7*y - 2*y - 110. Let b be ((-8)/6)/(2/z). Let j = -13 - b. Solve j*u - 3 = -13 for u.
-2
Suppose -5*r + r + 8 = 0. Suppose -c + 2*c + r*p = -3, 2*p + 12 = -4*c. Let i be c/(-3*(-2)/(-14)). Solve -5 = 2*s - i*s for s.
1
Let s(o) = 5*o - 17. Let y be s(4). Solve c + y*c - 20 = 0 for c.
5
Let g = -46 + 53. Solve -5*s + 3 = -g for s.
2
Suppose b = -4*b. Solve b*m + 3 = -m for m.
-3
Suppose -8 = 3*k - 4*m, -2*k - 9 = -5*m + 1. Suppose -a = -3*x - 0 + 21, 21 = 4*x + a. Suppose k = -y + x + 6. Solve 0*i + y = 4*i for i.
3
Let m = 3 - 1. Suppose -m*g - 7*p = -2*p + 20, 5*g - p = 4. Solve z - 4*z - 3 = g for z.
-1
Let q be 4*(5/(60/(-21)) + 3). Solve 0 = -y + q*y + 4 for y.
-1
Suppose -3*o + 7*o = -44. Let p = 14 + o. Solve 0 = p*h + 5 + 10 for h.
-5
Suppose -2*j + 53 = 149. Let o be ((-6)/(-8))/((-12)/j). Solve -4 + o = -q for q.
1
Suppose -t - 5*p = -3*t + 31, -3*p = -3*t + 33. Let i be ((-12)/t)/((-3)/(-4)). Let r be (i + (-33)/(-15))*5. Solve r = -2*y - 9 for y.
-5
Let j(q) = -q**2 - 8*q + 2. Let l be j(-8). Suppose -4 + l = -p. Suppose -k + p = -3*k, -2*k = 5*w - 38. Solve w + 7 = -3*u for u.
-5
Let s = -4 + 7. Solve s*w = 4*w for w.
0
Let b = 1 - -7. Let y(w) = -w + w + 2*w - 1. Let v be y(3). Solve -f + v*f = -b for f.
-2
Let o be (-8)/(-2) - (-2)/2. Suppose 2 = t - 1. Let k(f) = -f + 5. Let x be k(t). Solve -o*j + x = -13 for j.
3
Suppose 4*n - 7 = 1. Suppose 5*f - 2*u - n = f, 3*u = 3*f - 3. Solve -b = -f*b + 1 for b.
-1
Let s be 1 + 0 + 7 - 3. Solve -s*g + 4 = -g for g.
1
Let y(g) = g - 7. Let t(o) = o - 7. Let v(s) = -3*t(s) + 4*y(s). Let j be v(10). Solve -5*u - j - 2 = 0 for u.
-1
Suppose 0 = 4*r - 5*r - 3*n - 12, 5*r + 5*n + 20 = 0. Let a = 4 - r. Suppose 5*t - a*t - 2 = 0. Solve -t*k + 7*k = -25 for k.
-5
Suppose 2*q - 8 - 8 = 0. Let w(o) = -o**2 - o + 4. Let i be w(0). Suppose 0 = i*x, 4*n = 3*n + 2*x + 2. Solve -2 - q = n*l for l.
-5
Let r(o) = -2*o**2 + 2*o + 2. Let z be r(-2). Let d be (-6)/z + (-3)/5. Solve d*l - 15 = -5*l for l.
3
Let o(x) = x**3 + 5*x**2 - 9*x - 5. Let t be o(-6). Let j = -14 + 15. Solve -j = 4*l - t for l.
3
Suppose -4*u = u - 25. Let p be (16/10)/(2/u). Let h be (-3 - -5)*1 + -2. Solve -p*f + h*f = -8 for f.
2
Suppose 1 - 13 = 4*y. Let o(f) = -2*f - 1. Let i be o(y). Suppose -u + 2 = -2*u + 4*d, -4*u + 25 = -i*d. Solve 0 = 3*a - 2 - u for a.
4
Let r(b) = 2*b - 8. Let i be r(6). Suppose -o = -i*o + 15. Suppose -3*j = 5*k - 25, -o*k + 2*k - 19 = -5*j. Solve -j = z - 2*z for z.
5
Let b(s) = s**2 + 8*s - 12. Let t = 15 - 25. Let u be b(t). Solve u = 5*n - 3*n for n.
4
Let c(k) = -k**3 - 6*k**2 + 5*k - 10. Let i be c(-7). Solve -2*f - i = -4*f for f.
2
Let s(o) = o**3 + 8*o**2 + o - 6. Let q be s(-8). Let f = 20 + q. Let j = -4 - -8. Solve -j*r + 4 = -f*r for r.
-2
Suppose 5*i - 2*r = -7*r - 20, r + 4 = 3*i. Solve 0*l - 2*l + 4 = i for l.
2
Let d = 12 - 11. Let c(i) = -i**3 - 5*i**2 + 3*i + 1. Let f(m) = m**3 + 4*m**2 - 2*m - 1. Let g(p) = 3*c(p) + 4*f(p). Let x be g(d). Solve -x = -t - 4 for t.
-2
Let r be (-5)/(-10) - 39/(-6). Solve 0 = -r*n + 4*n for n.
0
Suppose 2*l = 6 + 34. Suppose -2*q = 2*q - l. Solve -q*c - 1 = 4 for c.
-1
Suppose s - 4*s = 2*c + 15, 0 = -5*s + 3*c - 6. Let l be 32/(-10)*(s + -2). Solve 3*d + d = l for d.
4
Let s(p) be the third derivative of 1/24*p**4 + p**2 + 1/60*p**5 + 0 + 1/6*p**3 + 0*p. Let x be s(-2). Solve -x = -c + 1 for c.
4
Let m = -58 - -82. Let y be (-10)/(-4)*m/30. Suppose -y = n - 4. Solve -6 = -n*b - b for b.
2
Suppose -4*b = -6 - 2. Let q = b + -2. Solve 5*u - 1 - 4 = q for u.
1
Let p = -2 + 5. Suppose -7*y + p*y = -12. Solve -y = m - 1 for m.
-2
Suppose -8 = 4*d - 20. Let m = -3 + 3. Let h = 6 - 4. Solve m = -3*n + h*n - d for n.
-3
Let f(a) = -a**2 - 4*a + 1. Let m be f(-4). Let k be m/(-1*(-3)/9). Let p(u) = u**3 + 5*u**2 - 2*u - 7. Let z be p(-5). Solve 0 - z = -k*w for w.
1
Let q(x) = x**2 - 13*x + 24. Let i be q(11). Solve i*b + 10 = -0*b for b.
-5
Suppose -d + 7 + 4 = 0. Let s(z) = -2*z + 8. Let t(y) = y - 4. Let m(l) = d*t(l) + 6*s(l). Let i be m(0). Solve -4*r + 2*r - i = 0 for r.
-2
Let g be (-2 - -1)/(23/(-92)). Solve g*p - 2 = 2*p for p.
1
Let q = 29 - 27. Solve 0 = 2*o + q*o for o.
0
Let p be (-6)/8*(2 + -6). Suppose 2*q - 20 = -p*q. Solve -q*y = -0*y - 20 for y.
5
Let x = 8 - 3. Solve x*y + 4 = -1 for y.
-1
Let x = -19 + 21. Solve x*v + 25 = -3*v for v.
-5
Let w(n) = -n**2 + 7*n - 4. Let o be w(6). Let u(q) = 9*q**2 - 1. Let z be -1*(0 + 1)/1. Let m be u(z). Solve 0 = o*y - m for y.
4
Let l(o) = o**3 + 11*o**2 - 13*o - 9. Suppose -3*c - 47 + 11 = 0. Let u be l(c). Solve m = u*m - 6 for m.
3
Let d(b) be the second derivative of -b**4/24 + b**3/2 - 5*b**2/2 + 3*b. Let r(m) be the first derivative of d(m). Let o be r(-3). Solve 2 = 2*w - o for w.
4
Let i(w) = 9*w - 1. Suppose -p + 3*t + 1 - 6 = 0, 0 = -5*p - 4*t + 13. Let n be i(p). Solve -5*o + 3 = n for o.
-1
Let o be -3 + 3 + 2/(-1). Let b be (-2)/9 - (-20)/9. Let r be o + 1*(4 - b). Solve 1 = i - r for i.
1
Suppose 6*x - 1 - 5 = 0. Suppose 5*d - 4 = x. Let r = 2 - -1. Solve v = d + r for v.
4
Let r = 4 + -12. Let m be (-3)/3 - 2 - r. Suppose -p - 4*v = 12, m*p - 12 = 2*v - 4*v. Solve -5*w + p*w = 5 for w.
-5
Let b be 6/2 - 0/2. Suppose 0 = -4*w + 3*j + 3, 2*w + 4*j = 6*w - 4. Suppose i - b = -w. Solve i*h - 13 + 1 = 0 for h.
4
Let z = -7 + 12. Let b be 16/10*(-20)/(-8). Suppose b*y - 3*n - 59 = 0, 5*n - 4 = -29. Solve -z*i = 1 - y for i.
2
Let c(m) = m**2 + 4*m - 2. Let b be c(-5). Solve b*j - 15 + 6 = 0 for j.
3
Let q = 2 + 2. Solve -q = -4*f - 0 for f.
1
Suppose 0 = -5*n + 26 - 1. Solve n*y - 6 = 2*y for y.
2
Let u be (-18 + 13)*(-8)/10. Solve -5 + 1 = u*h for h.
-1
Let m(x) = -6*x + 5*x + 2*x - 4 - 2*x. Let j = -11 + 4. Let w be m(j). Solve i + w*i = -20 for i.
-5
Let b(i) = -1 - 21 + 2 - 3*i. Let g be b(-8). Solve -4 - 16 = g*d for d.
-5
Let s = -105 + 109. Solve -t = -2*t - s for t.
-4
Suppose 2*a = -b - 3, -4*b - 5 = -3*b + 3*a. Solve -1 = 2*w + b for w.
-1
Let w be 3 + -5 - 0 - -5. Let a(b) = b**2 - b - 6. Let u be a(w). Solve u = -5*c - 0*c - 10 for c.
-2
Let j be 24/16*(-4)/6. Let v be 3/(3/(-19))*j. Solve v = 3*s + 4 for s.
5
Let r(q) = 5*q**2 - 2*q - 2. Let g be r(-2). Let v be g/33 + (-4)/6. Solve 0 = -2*l - v*l for l.
0
Let t be (-12)/(-5) + (-12)/30. Suppose -2*p = t + 8, 3*w - p = 11. Solve 0 = -r - w*r - 6 for r.
-2
Let y(t) = t**3 + 3*t**2 - 2 + 0 + 5*t - 2*t**3. 