 z = h - 45. Solve 2*m - 4*m - 2 = z for m.
-1
Let s = -1499 + 1501. Solve -s*w + 7 = -1 for w.
4
Let n = 105 - 107. Let y be (1/n)/1*0/(-100). Solve 0 = -3*c - y*c for c.
0
Suppose 4*c = -5*y + 56, -37 = -5*c + 4*y - 2*y. Let p = c + 7. Suppose -2*j + 3*j = p. Solve 0 = -6*z + 2*z + j for z.
4
Let p be (-56)/(-7) - 4 - -3. Solve 0 = -4*t - 9 - p for t.
-4
Let i(x) = x - 9. Let t be i(2). Let n(l) = 3*l + 26. Let b be n(t). Solve 9*q = b*q for q.
0
Suppose -12 + 48 = s. Let a be 8/s - 140/(-18). Suppose -5*n - 15 = -a*n. Solve -n*q + 1 = 11 for q.
-2
Let g be (-84)/(-35)*(34/4 - 6). Solve 7*z = 4*z + g for z.
2
Let t(v) = -36*v - 3. Let h be t(2). Let x be h/(-24) - 6/48. Solve -x*s + 4*s - 2 = 0 for s.
2
Suppose 76 = -3*s + 2*t, 4*t - 64 = 6*s - 4*s. Let q = -12 - s. Solve -f = f + q for f.
-5
Let o = 255 + -247. Suppose 3 = u + 1. Let i(p) = p**2 + 7*p. Let a be i(-7). Solve -u*y + o + a = 0 for y.
4
Let o be 2/(8/12) + -7. Let x be 14/o*(-8)/7. Solve -g + 5*g = -x for g.
-1
Let n(z) be the first derivative of -z**4/4 + 2*z**3/3 - z**2/2 - 6*z - 6. Let q be n(5). Let r = -61 - q. Solve -5*t + r = -0*t for t.
5
Let y(h) = -h + 2. Let m be y(-15). Solve -m + 24 = -7*v for v.
-1
Suppose 8 = -8*i + 32. Solve -i*s + 10 = 10 for s.
0
Let b(u) = u**2 - 8*u - 6. Let p be (-18)/2*(2 - 3). Let g be b(p). Suppose 3*d - 15 = -2*d. Solve 0 = -d*q - 0*q - g for q.
-1
Let r(y) = y**3 - 5*y - 40. Let b be r(0). Let z = b + 46. Solve 7*c = 5*c - z for c.
-3
Let j be 24/(-14)*21/6*-1. Solve j*q + 11 = 35 for q.
4
Let y(g) = -g**3 - 52*g**2 - 7*g - 355. Let n be y(-52). Solve 0 = -11*v + n*v for v.
0
Let o be (-12)/(-28) + 6/(-14). Let r be 3 + o - (-1 - 2). Suppose -u = 2 - r. Solve -1 - u = y for y.
-5
Let z be (8 - 11) + (-4)/(4/(-9)). Suppose 0 = 4*p - z*p + 8. Solve -2*j + p = -4 for j.
4
Let l(f) = -f + 10. Let z be l(7). Suppose 2*d - 3*d - 5 = 0. Let m = d - -7. Solve z*h = m*h - 5 for h.
-5
Let l(z) = z**3 - 3*z**2 - 8*z - 4. Let g be l(5). Suppose g*k - 14 = -k. Solve k + 2 = 4*a for a.
1
Suppose -6*h = -32*h + 78. Solve -h = -b - 6 for b.
-3
Let k(z) = -z**2 - 10*z - 13. Let y be k(-4). Suppose -y*d = -13*d + 10. Solve 2*r = r + d for r.
5
Let c = 8 - 3. Suppose 2*m - 10 = 0, -c*m = 3*z - 10*m + 10. Suppose z*y - 11 = 24. Solve 0 = -y*l + 4*l - 9 for l.
-3
Let d be 4 - (-8)/(4/(-2)). Suppose -4*k + 30 = -k. Let o = k - 5. Solve o*b = -d - 5 for b.
-1
Let q(k) = 5*k - 8. Let z be q(-11). Let y be (-747)/z - 1/(-7). Solve 0 = -5*r + 3 + y for r.
3
Suppose 0 = 4*i + 5*s + 10, 8 = 5*i - 7*i - 4*s. Solve i*v - 1 = v for v.
-1
Let a(k) = 2*k**2 + k - 20. Let u be a(5). Solve -u*s - 2 = -33*s for s.
-1
Let t(x) = -2*x**2 - 10*x - 6. Let c be t(-4). Let p be c/(-5) - ((-36)/15 - -2). Suppose 20 = 2*l + 2*l. Solve s - l = -p*s for s.
5
Let a be ((-42)/(0 - -7))/(4/(-6)). Let z(w) = w**2 + 2*w - 6. Let g be z(5). Solve 4*u - g = -a for u.
5
Let t(y) = -y**3 - 13*y**2 + 12*y - 28. Let q be t(-14). Suppose q*w + 32 = 4*a - 4*w, 3*w = -15. Solve o + a*o = -20 for o.
-5
Let v = -30 + 33. Suppose -v = -2*a + 5. Solve -a*k = 9 + 3 for k.
-3
Let u = -5 + 7. Suppose -14*b + 5*p + 45 = -9*b, -b = 4*p - 9. Solve b = -x - u*x for x.
-3
Suppose -77 = -a - 52. Solve w - 6*w = -a for w.
5
Suppose -58 = 5*l - 3. Let p = l - -15. Suppose -2*t - 2*h + p = -h, -2*h + 8 = -2*t. Solve t = -c - c for c.
0
Suppose -2*f = -l + 3*l + 6, -3*f = l + 9. Solve 2 + l = -2*k for k.
-1
Let v(w) = -w**2 + 8*w + 3. Suppose 3*h - 22 - 2 = 0. Let j be v(h). Solve -j*s = s - 8 for s.
2
Suppose 58 = -12*j + 226. Suppose 0 = 3*i + 4*i - j. Solve i*p = -7 + 1 for p.
-3
Suppose 39*k = 44*k - 40. Let o(t) = t - 1. Let p be o(4). Suppose -p*g = -2*g - 4. Solve -k = g*b - 0*b for b.
-2
Let v(t) = 4*t**2 + 3*t - 2. Let g(q) = -7*q**2 - 5*q + 3. Let s = -7 + 4. Let l(w) = s*g(w) - 5*v(w). Let k be l(2). Solve 0*a - k = -a for a.
5
Let x = 17 - 12. Suppose 4 = -2*b, -3*b - 12 - 9 = -x*q. Solve -r - q = 2 for r.
-5
Let k be (-10)/55 - (-369)/33. Solve -k*z + 6*z = -20 for z.
4
Suppose 7 = -2*q + 21. Let w(n) = -n**3 - 2*n**2 - 4*n - 2. Let o be w(-2). Solve 0 = q*a - 5*a - o for a.
3
Let w be ((-18)/(-12))/((-9)/(-84)). Solve 0 = -5*l - w + 4 for l.
-2
Let c = 1100 + -1100. Solve 14*k = -c - 0 for k.
0
Let u = 375 + -368. Solve 0 = 2*b + u - 1 for b.
-3
Let y be 1 - (-4)/8*74. Let m = y + -17. Solve 0 = 4*a - m + 5 for a.
4
Let z(o) be the second derivative of o**5/20 - 3*o**4/4 + o**3/3 - 9*o**2 - 23*o. Let x be z(9). Solve 4*g + 3 - 7 = x for g.
1
Suppose -2*w + 3*w = -3*c + 7, -5*w + 2*c = 16. Let s be ((-1)/w)/((-4)/24). Let o = s + 12. Solve z = -2*z - o for z.
-3
Suppose -4*h = n - 50, h - 5 - 10 = n. Suppose -3*d - 18 = -d + 4*v, 2*d + h = -3*v. Let u be 2 + 3 + -2*d. Solve 0 = u*c + c + 20 for c.
-5
Let y(x) = -x**2 - 12*x + 5. Let c be y(-12). Suppose -4*k = -k - 4*a, c*k = -3*a. Solve 3*d - 21 + 6 = k for d.
5
Let w = -702 - -722. Solve 12*z - 16 = w for z.
3
Suppose -25 = -b - a + 3*a, 5*b + 4*a - 69 = 0. Let z = b + -15. Solve 0 = 3*p + z*p - 5 for p.
1
Suppose 0 = -4*n + 3*a - 1, -2*a - 2*a + 12 = 0. Let f be 2*10*(-2)/4. Let y = n - f. Solve 6*s + y = 3*s for s.
-4
Let f be 6/(-15) + 1520/50. Solve -23*t = -29*t + f for t.
5
Let o(k) = 11*k + 21. Let r be o(-1). Solve 0 = -r*n + 11*n + 3 for n.
-3
Let j(a) = 2*a**3 - 5*a**2 + 8*a + 7. Let z(g) = g**3 - g**2 + g + 1. Let p(r) = j(r) - 6*z(r). Let k be p(-1). Solve 3*t + k = -t for t.
-1
Let r(w) = 2*w**2 + 41*w - 16. Let x be r(-21). Solve 0 = -6*l - 7 - x for l.
-2
Let k(u) = u**2 - 3*u + 2. Let a be k(2). Solve a = -2*w + 10 - 0 for w.
5
Let t(p) = -p + 3. Let q be t(5). Suppose 0 = -4*n + 6*j - 2*j + 4, 0 = 5*j. Let m be n/(q/8*-2). Solve m + 8 = 2*r for r.
5
Let t = 75 + -73. Solve 0 = -j - t - 0 for j.
-2
Suppose 0 = 53*k + 25*k - 468. Solve -8*z + 4 = -k*z for z.
2
Let g = -8 - -10. Suppose -s = -y - 38, -y + s = g*y + 106. Let k = y - -54. Solve v - 5*v = -k for v.
5
Let k = -13 - -17. Let p(b) = 3*b - k*b - 12 - 2*b. Let o be p(-4). Solve o*j - 6 = -2*j for j.
3
Suppose -4*k + 20 = v, -39*v = -42*v + 12. Solve -k*m - 5 = 15 for m.
-5
Suppose -5*n + 11 = -9. Let o = -425 + 430. Suppose -n*m + 0 = -o*t - 3, -2*t + 2 = 0. Solve m = -u + 2*u for u.
2
Let x(a) = -a**3 + 5*a**2 + 7*a - 9. Let r be x(6). Let k be ((-32)/12 - -5) + 1/r. Solve 2 = -k*i - 0 for i.
-1
Suppose -2 = -106*r + 107*r. Let m(d) = -d**3 - d**2 + 4*d + 6. Let q be m(r). Solve -p - 1 = -q*p for p.
1
Let c = -15 + 15. Let i = -35 - -39. Solve c*r + r = i for r.
4
Let x be (-46)/(-4) + 4/8. Suppose 0 = 4*u + x - 32. Suppose -2*z + u = -3. Solve -2*s - 2 - z = 0 for s.
-3
Suppose -y + 33 = y - 3*b, 10 = -2*b. Suppose y*x - 13*x + 80 = 0. Solve 0 = -6*c + c + x for c.
4
Let m = 386 - 379. Solve m*a - a + 12 = 0 for a.
-2
Suppose -101 = -27*c + 34. Solve 4*n + c = 3*n for n.
-5
Let s be (-3)/((6/(-40))/1). Let v(t) = 0 + 2*t - 2*t + t**2 - 6*t - 2. Let i be v(7). Solve i*j + s = j for j.
-5
Suppose 15 = 2*j + 5. Let z(y) = 9*y + y**3 - j*y**2 - 7*y**2 + 11 + y. Let g be z(11). Solve g*l - l = 0 for l.
0
Let c = 59 - 60. Let x = c - -10. Solve -y = -4*y - x for y.
-3
Suppose 0 = -42*j + 41*j + 4. Let g be (3 - j)*(-3 + (2 - -1)). Solve g*p + p = -3 for p.
-3
Suppose 0 = 2*x - f + 83, -x + f + 3*f - 31 = 0. Let g = -41 - x. Solve -g = -w - 1 for w.
1
Let w be (1 - 0) + (1 - -1). Suppose -2*v = -w*t + 2, -3*v + 0*v = t + 3. Let c = -260 + 261. Solve m + 3 - c = t for m.
-2
Let w be 4 - ((-4)/6)/(18/(-27)). Suppose 0*n + 12 = w*n + 2*k, 3*n + k = 9. Solve n = v + 3 for v.
-1
Suppose -3*y + 9 = -0*y + l, 20 = 4*y + 4*l. Suppose -2*p - 10 = -2*k, -k + p + 3*p = -8. Solve k = -o + y*o for o.
4
Let c(d) be the second derivative of d**4/4 + d**3/3 - d**2 - 18*d. Let y be c(1). Solve 0 = -2*r - y*r for r.
0
Let z(u) = -32*u + 293. Let k be z(9). Solve 6*w - k = -29 for w.
-4
Let k(q) be the second derivative of q**3/6 + 3*q**2 + 2*q. Let l(t) = -t**3 - t**2 + t. Let d be l(0). Let i be k(d). Solve 5 = -i*r + r for r.
-1
Let l(b) = 5*b**2 - b - 4. Suppose 35 = 4*i - 5*j + 2, -31 = -3*i + 5*j. Let y be l(i). Solve -39 + y = 5*c for c.
-5
Let o(a) = -a**2 - 6*a. Let y be o(-5). Suppose -4*l = -5*t + 37, -4*t - 4*l = -y*t + 17. Solve t*w - 1 + 21 = 0 for w.
-4
Let f(z) = -z**3 + 11*z*