-5) + 4. Let d = -5 + s. Solve -d*h + 8 = -12 for h.
4
Let f be (-2 + 20/(-3))/(1/(-3)). Suppose -30*p + f*p = -8. Solve 2*u - 8 - p = 0 for u.
5
Suppose -162 = 25*k - 312. Solve k*i + 35 = -i for i.
-5
Let n(m) = -1 - 1 + 3 - 12*m - 2. Let a be n(-1). Let d = -11 + a. Solve d*b = b + 1 for b.
-1
Let n(i) = 12*i + 0*i + 0*i - 2. Let p be n(1). Solve 3*q = q + p for q.
5
Suppose -87 = -z - 84. Solve -2*g = z - 1 for g.
-1
Let x = -4 - -5. Let b(i) = i**3 + 4*i**2 + 2*i + 4. Let a be b(-3). Let p be (5 - a) + (10 - x). Solve -p*t - 20 = -2*t for t.
-4
Let x be 3 + 3/(-6)*2. Let r be ((1/(-3))/(-1))/(1/(-6)). Let z be -1 + (r - -3) + 0. Solve 2*p + x*p + 4 = z for p.
-1
Let p(v) = 9*v - 7*v + 0*v**3 - v**3. Let b be p(0). Solve b = -0*w - 3*w - 3 for w.
-1
Suppose 68 = 3*g + 2*d, -d = -4*g - 6*d + 86. Suppose -2*y - g = -6*y. Suppose 5*t = 2 + 8. Solve 0*f = t*f - y for f.
3
Suppose 2*w = -2*m + 38, 5*m + 3*w - 78 = 13. Suppose 16*l + 3 = m*l. Solve l - 6 = -3*t for t.
1
Suppose 2*f = 18 - 12. Solve f*j - 4 = -7 for j.
-1
Let v(m) = -m**3 + 5*m**2 - 7*m + 7. Let t be v(3). Let p(y) = 2*y**2 - 5*y - 3. Let o be p(t). Solve 2*j = -3 + o for j.
3
Suppose 0*j - 3*j = -9. Solve -2*b = -j*b for b.
0
Let m be 0 + 5*(-8)/(-20). Suppose 8*h = h + 7. Suppose -6 = -q - h. Solve -5 = -m*r + q for r.
5
Let v be (4 - (7 + -3))/(-2). Let z(h) = -2*h + 11. Let o be z(v). Solve -2*d + 1 = o for d.
-5
Let r be ((-2)/(-2) - -1) + 0. Suppose 4*d - r*d = 4*t + 34, -2*d - 4*t = -18. Let b be -1 - (3 - (-14)/(-2)). Solve 5*h + b = d for h.
2
Suppose m + 1 = -3*j + 17, -3*m = -4*j + 17. Suppose 2*u + m - 5 = 0. Suppose -4*q = 5*f - 10, -4*f + 8 = q + q. Solve u*l - f = l for l.
2
Let k(g) = -g**3 + 5*g**2 - g - 5. Let j be k(4). Solve 13 = 2*a + j for a.
3
Suppose 16*p = 14*p + 6. Let q(d) = 0 - 2 - d - d**2 + 1 + d**3. Let r be q(2). Solve 0 = -p*x + 2*x - r for x.
-1
Let z = -421 - -455. Solve -3*c - z = -31 for c.
-1
Suppose 2*g + 9 = -2*q + 13, -2*g - 11 = -q. Solve -15 = -q*r - 10 for r.
1
Suppose 5*t = -163*a + 160*a + 453, 453 = 3*a - 5*t. Solve -a*x + 12 = -157*x for x.
-2
Let a(v) = -v**2 + 11*v - 24. Let t be a(8). Solve 5*z = -t - 5 for z.
-1
Suppose 3 = -4*t - 5. Let r be (-140)/(-24) - (-2)/(-24)*t. Solve 4*u = u - r for u.
-2
Suppose b = 5*l - 33, -2*l + b + 4 = -11. Suppose -4*g = -14 + 6, 5*v - 79 = -2*g. Solve -l*h - v = -3*h for h.
-5
Let u(h) = 2*h**2 + 10*h + 6. Let z be (-1)/(52/(-28) + 2). Let o be u(z). Let w be o/4 - 3/6. Solve -w = 3*b - 23 for b.
5
Suppose -3*u = u - 16. Suppose 4*l + 12 = 4*b, 5*l - 2*l = -3*b + 21. Solve -l*p = -p + u for p.
-4
Let z(m) = m**2 - m. Let c be z(-3). Suppose -15*l + 26 = -4. Suppose -b + 6 = -3*b + l*a, -4*a + 12 = -2*b. Solve r + 2*r - c = b for r.
4
Suppose 2*w - w + 2*z = 2, -16 = 4*w + 2*z. Let r(k) = -k - 2. Let b be r(w). Suppose d - 74 + 72 = 0. Solve d*a + 6 = b*a for a.
3
Let h be 2/2 + 4 + -1. Suppose 0 = -4*z + c - 2, 5*z - 3*c + h + 2 = 0. Solve z = -2*s + 2 for s.
1
Suppose -17 + 5 = -6*r. Suppose -4 - r = -3*i. Suppose -4*n = -3*y - 0*n - 4, 3*y + i*n = 2. Solve -4*k + 8 = -y*k for k.
2
Let c(s) = -s**3 + 13*s**2 - 16*s - 64. Let g be c(11). Solve 0 = x - g*x + 3 for x.
3
Let o be (0/(-4))/4*-1*1. Solve o - 8 = -2*w for w.
4
Suppose 6*b - 5 - 7 = 0. Suppose 39 = b*y + 9. Solve h + y = -2*h for h.
-5
Let v(c) = 2*c**2 - 9*c + 7. Let w be v(7). Suppose -3 = -3*q + 5*s, 0 = 6*q - q + 4*s - w. Let m be (-4)/6 - q/(-9). Solve -u + m*u = 0 for u.
0
Suppose -6 = -k + 5*p, 4*k - p = -6*p - 51. Let r = 10 + k. Suppose 2*m - 6 = -n + r, 2*m = n + 17. Solve 10 = m*z - z for z.
2
Suppose 5*i - 3*g = 66, 0*g = -5*i + 4*g + 63. Let s be (i/(-2))/(2/(-4)). Suppose 5*t - s = -0*t. Solve t*o = 5*o + 8 for o.
-4
Suppose 3*r + 5*h + 25 = 0, 26*h - 10 = 5*r + 28*h. Solve r*c = -5*c + 5 for c.
1
Suppose 3*n + 10 = -8. Let i(y) be the third derivative of -y**6/120 - y**5/10 + y**4/24 + y**3 + 6*y**2. Let m be i(n). Solve m = -6*j + j for j.
0
Suppose 0*s - 5*s + 10 = 0, 4*z + 38 = -3*s. Let m(h) = -h**3 - 10*h**2 - 6*h + 16. Let f be m(-9). Let y = f - z. Solve r + 1 + 0 = y for r.
-1
Let i(o) = o**2 - 11*o + 15. Let x be i(10). Suppose a - 7 = -x. Suppose -4*q + 10 = -a*q. Solve q*v - 25 + 5 = 0 for v.
4
Let s = -154 - -158. Suppose v + s = 4. Solve o - 3 + 1 = v for o.
2
Suppose 2*f - 30 = f - 5*w, 2*w - 4 = 0. Suppose m + f = 5*m. Solve 5*v = 30 - m for v.
5
Let h = -237 + 239. Solve -h*s + 2 = 8 for s.
-3
Let p = -48 + 99. Let w = p - 49. Solve -w = 4*j - 6 for j.
1
Let t = 49 + -24. Let o be 4/5 - (-80)/t. Solve -9 = o*x - x for x.
-3
Let r be (3/(3/(-4)))/(-45 + 43). Solve 4 = -r*h - 2 for h.
-3
Let i be -3*(((-28)/12 - -4) + -2). Suppose 0 = 5*v - 9 - i. Solve 0 = -n - v*n - 15 for n.
-5
Let f = -419 - -419. Solve f = -8*r + 4*r + 8 for r.
2
Let y = 51 - 46. Suppose -5*z = -10, -y*j + 21 = 2*z + z. Solve -d - j*d - 16 = 0 for d.
-4
Let i be (-3 + 5)*2/4. Suppose -3*u - 8 = i. Let r be (u - -2)*(-6 - -1). Solve -r*a = -3*a - 8 for a.
4
Let f be -2 + -1 + (-5 - -12). Suppose -f*d - 6 = -14. Solve -d*i - 1 = -3 for i.
1
Suppose -76 = 15*o - 151. Solve -3*j + o = 2*j for j.
1
Suppose 3*n + 0*o = -5*o - 8, -5*o + 22 = -2*n. Let s(m) be the third derivative of m**4/24 + m**3 - 3*m**2 - 1. Let a be s(n). Solve -d + 0*d = a for d.
0
Suppose -207*a = -225*a. Solve a = 23*k + 5*k for k.
0
Let w = 261 + -236. Solve 9 = 4*t + w for t.
-4
Let y(d) = 6*d + 12. Let i be y(-8). Let n = -33 - i. Solve n*r - 2 = 2*r for r.
2
Suppose 40*y - 46*y + 12 = 0. Solve -y*u = -u for u.
0
Suppose -4*k = -k + 3*l - 3, k + 4*l + 2 = 0. Solve -3*v + k*v = 5 for v.
-5
Let g be (-42)/(-12) + 127/2. Solve g*p - 65*p = -10 for p.
-5
Let s(u) = u**3 + u. Let m(b) = -b**2 + 4*b. Let f(g) = -m(g) + 2*s(g). Let j be f(-2). Let o(x) = x**2 + 8*x + 8. Let a be o(j). Solve -a + 3 = 5*w for w.
-1
Let q = 180 + -165. Let y(j) = j**3 - 3*j**2 - 4*j + 4. Let h be y(4). Suppose x + 5 = -o, 5*x + h*o + q = o. Solve 0 = -3*m - x*m - 12 for m.
-4
Suppose -117 = 7*h - 166. Solve 8 = 5*x - h*x for x.
-4
Let r be (69 + -71)/((-2)/12). Solve 3*m + 3*m - r = 0 for m.
2
Let r = -622 + 646. Solve -r = -2*c - 16 for c.
4
Let b(u) be the second derivative of -u**5/20 + 5*u**4/12 + 3*u**3/2 - u**2/2 + 4*u. Let g be b(6). Let m = -12 + g. Solve 0 = -m*q + q + 8 for q.
2
Let f(s) = -s**2 + 30*s - 159. Let z be f(23). Solve d = -7 + z for d.
-5
Suppose 9*r - 24 = 6*r. Suppose 0 = 2*o + 3*y - 12, 0 = r*o - 3*o - 2*y - 11. Solve o*s - 4*s = 0 for s.
0
Suppose -5*q - 2*u - 558 = 0, -3*q - 338 = -0*q - 2*u. Let h = q - -78. Let v = h - -59. Solve 6*m - m + v = 0 for m.
-5
Suppose -2*l - 3 + 19 = 0. Solve -6*w - l = -2 for w.
-1
Let m be 50 + 4 + 1 + -7. Let k = -40 + m. Solve 3*t - k = 1 for t.
3
Suppose 40*k - 35*k - 45 = 0. Solve 0 = -2*m + 17 - k for m.
4
Let t(c) = -c - 8. Let x(a) = -10*a**2. Let q be x(1). Let h be t(q). Solve 7 = -5*j + h for j.
-1
Suppose 28 = 53*d - 39*d. Solve 0 = d*c + 1 - 9 for c.
4
Let j be 2 - 15/5*-1. Suppose -5*m - j = -20. Solve 2 = -m*g + 5 for g.
1
Let k = -2 - -4. Suppose -3*d = 5*b - 57, 4*d - 28 - 13 = 5*b. Suppose -4*g = -d + 2. Solve -k*f + g = -5 for f.
4
Let k(t) = t + 2. Let b be k(-1). Let f be (-2 + b)/((-6)/54). Solve -f + 5 = -4*h for h.
1
Let n = 461 + -441. Solve 3*q - n = 8*q for q.
-4
Let a(f) = -f**2 + f + 2. Let u be a(0). Suppose 3*w - u*w - 8 = 0. Let o be -4 - (-5)/2 - (-30)/4. Solve -2*b + o*b = -w for b.
-2
Let s(k) = -9*k + 92. Let q be s(10). Solve -q*j = 6*j + 16 for j.
-2
Let s(p) = p - 5. Let q be s(7). Let h be (-21)/14*(q + 1 + -5). Solve 0 = -h*a + 19 - 7 for a.
4
Let b(x) = -x**2 + 19. Let n be b(6). Let t = n - -17. Solve 5*i = -t*i for i.
0
Suppose 55 = -14*w + 19*w. Let s = w + 1. Solve 0 = 5*o - 2*o + s for o.
-4
Let c be (-11)/(-22)*1*20. Let a = c - 8. Solve 5 = a*k - 7*k for k.
-1
Suppose 36 = -9*u + 54. Solve u*l + 30 = -4*l for l.
-5
Let i(m) = 9*m**3 + 36*m**2 - 4*m. Let z be i(-4). Solve -g = -18 + z for g.
2
Let l be (0 - 2) + 10/5. Solve l = 2*h - 8*h for h.
0
Let v(r) = r**3 + 12*r**2 + 10*r - 7. Let x be v(-11). Suppose -x*z - 2*z = -30. Solve -2*l + z = 3*l for l.
1
Let n(t) = -4*t + 5. Let u be n(1). Suppose h = -0*h + 8. Let j = h - 6. Solve -u + 9 = -j*o for o.
-4
Let s = 313 + -309. Solv