 h*i - 6 = -24 for i.
-3
Let h(v) = -v**2 - 8*v - 7. Let g be h(-7). Suppose 4*b - 5*s - 24 = -2*s, -3*b + 4*s + 25 = 0. Solve g*n = -n + b for n.
3
Let v = 100 + -95. Suppose 3*i = -5*l + 22, -v*l + 14*i = 19*i - 20. Solve 0 = 2*h - l - 5 for h.
5
Suppose 2*a - p = 19, 4*a + 2*p = -0*a + 50. Let m = a + -6. Solve 0 = -m*d + 4 + 11 for d.
3
Suppose 0 = 63*h - 64*h + 4. Solve -j + 20 = h*j for j.
4
Suppose 4*z = c + 182, 0 = 14*z - 12*z + 5*c - 80. Solve -41*r + 16 = -z*r for r.
-4
Let m(a) = a**3 - 13*a**2 - 15*a + 16. Let k be m(14). Suppose 0 = k*c + 4*y + 3 - 1, 5*y = 2*c - 16. Solve 3*r = -0*r + c for r.
1
Let r(n) = n**2 + 5*n - 4. Let k be r(-8). Suppose 0 = 7*d - 2*d - k. Solve -d*p = 3 - 23 for p.
5
Let w(c) = 2*c**3 - 9*c**2 - 3*c - 2. Let u be w(5). Let z = -35 + 20. Let i be 5/2*(-18)/z. Solve i*m = u*m - 25 for m.
5
Let f(c) = -c**3 + 48. Let g be f(0). Solve 6 = g*l - 46*l for l.
3
Suppose -3*s = -3*v - 11 - 13, 0 = -2*s + 5*v + 7. Suppose 0 = 8*b - 4*b. Suppose b = 4*p - 2*n + 6, -3*p + 4*n - 24 = -7*p. Solve -4*i = s + p for i.
-3
Suppose -12 = -0*q - 3*q. Suppose -2*r - 10 = 0, -5*t - 965 = 2*r - r. Let b be (-6)/(-14) - t/42. Solve -b*i = -3*i + q for i.
-2
Let b be 2/((-1)/1) + 6. Let o(p) = 29*p + 236. Let w be o(-8). Solve w = b*x - 0*x for x.
1
Let t(n) = 6*n**2 + 2*n - 1. Let c be t(1). Let k = c - 10. Let z(g) = -2*g - 2. Let f be z(k). Solve -2 - f = -2*w for w.
3
Let y be (9/(-12))/((-15)/40). Suppose -s = -2*q - 4*s + 22, -y*q + 4*s + 36 = 0. Let v(d) = -3*d**3 - 3*d**2 - 2*d. Let b be v(-1). Solve -b = 3*c - q for c.
4
Let w = -4 - -3. Let z be (w/(-4))/((-1)/(-16)). Solve 1 - z = 3*d for d.
-1
Suppose -9 = -w - 3*b, w + 5*b = -7 + 22. Solve w = -4*h - 2 + 10 for h.
2
Suppose 75*p - 1335 = 2340. Solve 9*i - 13 = -p for i.
-4
Suppose 5*w + 1 - 21 = 0. Let f = -9 - -4. Let y = -5 - f. Solve y*x = w*x + 4 for x.
-1
Let p(m) = -7*m**2 + 36*m - 22. Let r be p(4). Solve 0 = r*g - 44 + 4 for g.
4
Let i(l) = -15*l**2 - 33*l + 41. Let j(x) = 7*x**2 + 16*x - 21 + 1 + 0*x. Let v(c) = -6*i(c) - 13*j(c). Let n be v(-11). Solve 0 = -8*a + n*a for a.
0
Suppose 28 = 3*s + 4*q, -2*q + 6*q = 2*s + 8. Solve 0 = 4*h - s + 24 for h.
-5
Let s be 2/15 - (-12994)/1095. Solve -4*o = -16 + s for o.
1
Suppose -4*y - 74 = -118. Solve -y*q = -2*q + 18 for q.
-2
Let q be (-2)/4*(-17 - 1). Suppose 12 = b + q. Solve 12 = -b*o - 3 for o.
-5
Let b be 175/20 + 77/(-44). Solve 0 = -b*o + 11*o for o.
0
Suppose -4*u + 17 = v - 6, 0 = 2*v + 3*u - 26. Solve 0 = -l + 8*l - v for l.
1
Let l = -1325 + 1350. Solve l = 7*r + 60 for r.
-5
Suppose -2*g + 9 = -1. Suppose n - 34 = -3*u + 6*n, 5 = -g*u - 4*n. Suppose 7*o = u*o + 20. Solve -6 - 19 = o*y for y.
-5
Let k be 2*5*(-4)/(-10). Let o be k - 1 - 0/((-4)/4). Solve y - o + 2 = 0 for y.
1
Let o be ((-18)/12)/(3/(-4)). Suppose 6 = -o*a + 28. Suppose -5*h - a = -l, 0 = 5*l - h + 13 - 92. Solve 0 + l = -4*g for g.
-4
Let y = -19 - -16. Let q be ((-18)/(-3))/y + 17. Solve -11*k = -q*k for k.
0
Let s(k) = 4*k + 19. Let h(y) = 6*y - 6*y + y + 1. Let q(d) = 6*h(d) - s(d). Let u be q(9). Solve 4*w - 21 + u = 0 for w.
4
Suppose -4*x - 16 = 8. Let v(m) = -m**3 - 5*m**2 + 2*m - 6. Let s be v(x). Suppose 0 = 6*h - 2*h - f - 15, 5*f + s = h. Solve h*u - 3 = -0*u for u.
1
Suppose 0 = 3*x + 1 - 25. Let w(p) = -p**2 + 10*p - 5. Let v be w(x). Suppose v = 2*f + 3*u, 5*u - 4 = -3*f + 11. Solve 4*j = 2*j + f for j.
5
Let i be -9*(-5 - (-51)/9) - -10. Solve i*m - 37 = -57 for m.
-5
Let r(o) = -3*o**2 - 43*o - 14. Let i be r(-14). Solve -m + 2*m + 5 = i for m.
-5
Let f be 1/(((-4)/28)/1). Let z be 5/10*(2 + -2). Let r be (2 + f)*(z + -1). Solve 0 = -g - 1 + r for g.
4
Let m(a) = 6*a + 2. Let b(h) = -h**3 + 3*h**2 + 2. Let p be b(3). Let x be m(p). Suppose -4*o = -2*q + x, -2*o + 8 - 35 = -5*q. Solve 22 - 2 = q*i for i.
4
Suppose -3*r - 2*r + 30 = 0. Suppose -2*o = -2 - r. Suppose 14 = 5*g - m, 0 = 2*g + 3*m + o + 4. Solve -g*i + 16 = 2*i for i.
4
Suppose d + 4 = 7. Suppose -6*v + 9 = -d*v. Solve 0 = 2*m + v*m - 10 for m.
2
Let x be 5 + ((-4)/5)/((-18)/(-90)). Solve -1 - x = p for p.
-2
Let z(r) = 7*r - 113. Let o be z(17). Solve -o = -4*n - 6 for n.
0
Let p(o) be the second derivative of -o**3/2 - o**2 + 7*o. Let s(h) = h - 1. Let j(a) = 2*p(a) + 4*s(a). Let n be j(-6). Solve 0 = -0*m - m + n for m.
4
Let s(y) = -2*y**3 + 5*y**2 - 7*y + 30. Let r be s(3). Let x(o) = 2*o**2 - 2*o - 1. Let c be x(2). Suppose 8*h - c*h - 35 = 0. Solve r = k - h + 3 for k.
4
Suppose 0*a - 24 = -4*a. Let q(y) = 8 - 5*y + 0*y + a*y. Let g be q(-4). Solve -g = 2*s + 6 for s.
-5
Let v be 1 - (-9)/2*6. Let n = v + -28. Solve -4*j + 4 = -n*j for j.
1
Suppose 0*k + 15 = 5*k. Solve -24*y - k = -21*y for y.
-1
Suppose -2*n + 3 = 4*k - 19, n = k + 2. Solve -3 = n*t - 4*t for t.
-3
Let v = -618 + 618. Solve -4*p - p = -v*p for p.
0
Let y(p) = -2*p + 5. Let v be y(-5). Suppose 2*i + v = 5*i. Solve 3 = i*r - 2 for r.
1
Let m(q) = -q + 9. Let v be (1 - 5)/((-8)/20*5). Let s be m(v). Solve -2*r - 10 = -s*r for r.
2
Let f be 2/8 + (45/12 - 0). Let g = 4 - f. Solve g*h - 5*h - 20 = 0 for h.
-4
Let d(k) = -k + 15. Let c be d(13). Solve 6 = 4*m + c*m for m.
1
Suppose 3*g + 20 = -g, -5*t = -3*g - 25. Let j be ((-10)/(-20))/(t/40). Solve -2*v + 2 = j for v.
-4
Let b(l) = -l**3 - 4*l**2 - 4*l. Let r be b(-3). Suppose -r*t + 5*c + 10 = 2*t, t - 8 = -c. Suppose -z = -t*z. Solve 2*n - 4 = -z*n for n.
2
Let v be (1/(-1))/((-1)/1). Suppose -5*x - b = 1, 3*b + 2 + v = -5*x. Solve x = -2*h + 7 - 17 for h.
-5
Suppose h + 0*h = 1. Let k = 1 - h. Let a = 1 - k. Solve a = -4*o - 3 for o.
-1
Suppose -s - s + 2 = -h, -3*s - 6 = 3*h. Let t = s - 0. Let j = 23916 - 23912. Solve 4*g + 0 + j = t for g.
-1
Let u = -108 - -108. Solve u = -2*d - 28 + 34 for d.
3
Suppose -3*f + 3 = 3*g, 4*g = -0*f + 3*f + 4. Suppose 4 = o - g. Suppose 0*s - 1 = -2*s + i, i + 3 = 4*s. Solve 2*m + s = o for m.
2
Suppose -21 + 112 = 13*f. Solve 11*l - f*l = -8 for l.
-2
Let h be 5*4/(40/26). Let k = -10 + h. Solve k*t = 2*t for t.
0
Let o(s) = -s + 10. Let f be o(6). Let i(x) = -x**2 + 3*x + 2. Let y be (-35)/(-11) + (-8)/44. Let r be i(y). Solve f*a = r + 18 for a.
5
Let a be (-8)/3 + (-4)/(-6). Let h(t) = -t**3 - 23*t**2 + 51*t + 31. Let w be h(-25). Let v = w + a. Solve -v*j = 3 + 5 for j.
-2
Let y(b) be the first derivative of b**3/3 + 7*b**2 + 15*b - 6. Let q be y(-13). Solve 0 = q*k + 2 for k.
-1
Let s(p) = -p**3 - 14*p**2 - p - 12. Let t be s(-14). Suppose -2*d - d + 26 = 5*f, 0 = -t*f - d + 10. Let x be ((-3)/(-1))/(-1) + f. Solve -x = -2*k - 5 for k.
-2
Let s(i) be the third derivative of i**7/5040 + i**6/90 + i**5/12 - 6*i**2. Let r(f) be the third derivative of s(f). Let d be r(-4). Solve -d = 3*t + t for t.
-1
Suppose 2*r - 3*z = -11 + 53, -40 = -2*r + 2*z. Let h = r + -10. Solve 0*j - h = -4*j for j.
2
Let d = -1289 - -1292. Solve d = -9*q - 15 for q.
-2
Let x be (-40)/(-15)*27/6. Let u be (8/x)/(10/585). Suppose -u*w = -40*w. Solve w = -5*i + 7 - 22 for i.
-3
Suppose 4*h + i + 8 = 99, -h = 3*i - 9. Suppose -5*u = 7*y - 5*y - 37, 3*y - h = -4*u. Solve 5*o + 4 - u = 0 for o.
1
Let t = 8 - 5. Let c = 307 - 301. Suppose -15 = -c*n + t*n. Solve 0 = 2*i - n*i + 15 for i.
5
Let y be 10/4*(34 + -32). Let i(c) = 9*c**2 + 1. Let l be i(1). Let g be l + (2 - 2) + 0. Solve g = -3*w - y for w.
-5
Let d(p) = 0 - p**2 - 9 - 6 - 1 - 13*p. Let y be d(-13). Let u = y - -21. Solve 0 = u*t + 15 + 5 for t.
-4
Let a = 25 - 20. Suppose 0 = a*g - 20. Suppose -g*u = -3*u - 2. Solve -2*d - u*d - 8 = 0 for d.
-2
Suppose 5*j - 46 = 2*l, 3*l + 9 = -0*l. Let u be (j/(-5))/((-1)/(-5)). Let a = u + 13. Solve a*r - 12 = r for r.
3
Let a = -683 - -689. Solve -a*d - d = 0 for d.
0
Suppose -2*m = 2*r + 2, -4*r = -5*r - 5. Solve -m*c - 12 = 2*c for c.
-2
Let p be 8/(-3)*(-9)/12. Let x(n) = 3*n**3 - 2*n**2 - n + 2. Let i be x(1). Suppose -37 = 2*y - 7*y - z, -i*z = 3*y - 18. Solve 2*h + p*h = -y for h.
-2
Let s be (81/24 + -4)*-8. Solve 15 + 0 = -s*p for p.
-3
Let c be (-2)/1*108/(-8). Let o be (-4)/3*15/2. Let k = c + o. Solve 4*q + k + 3 = 0 for q.
-5
Let o be ((-77)/(-33) - 2)/((-2)/(-222)). Solve 13*m - 15 = o for m.
4
Let i be -2*((-27)/(-18) - 4). Solve 31*u - i*u = 52 for u.
2
Let h(i) be the third derivative of -i**4/24 + 2*