4 = -q for h.
-2
Let h be (28 + 14)/(2/(-28)). Let m = -574 - h. Solve 6 = -m*o + 8*o for o.
-1
Let v = -9 + 28. Let b(u) = u**3 + 22*u**2 + 19*u - 57. Let d be b(-21). Let p = d + v. Solve 6*j - p = 2*j for j.
1
Let f = -132 - -119. Let m = 16 + f. Solve 3*k - m = -0*k for k.
1
Suppose 1123*h + 138 = 1146*h. Let c(v) = v + 4. Let a be c(-4). Suppose 102 = h*d - a*d. Solve -4*x = d - 5 for x.
-3
Let i be 6*1*-1*3*(-60)/270. Solve i*g + 15 = 43 for g.
7
Let o(g) = 803*g - 6295. Let u be o(8). Solve u = -30*v - 51 for v.
-6
Let r = 29 + -25. Suppose 0 = r*j - 78 + 34. Solve j*k + 8 = 13*k for k.
4
Let l = 2 + 2. Suppose -3*k = 0, 123*b - 4*k = 124*b. Let h(t) = -t**3 + 6*t**2 - 5*t + 3. Let n be h(5). Solve b = n*m - m - l for m.
2
Let a be 72/42*42/12. Suppose 5*s - 4*c - 27 = 0, 2*s - a*s = 5*c - 38. Solve 0 = 8*k + s + 9 for k.
-2
Suppose -32*c = -b - 31*c - 397, -4*b = 3*c + 1623. Let j = b + 404. Solve -j*u + 2 = -4*u for u.
-1
Let w = 4610 + -4602. Solve w*c + 110 = 126 for c.
2
Suppose 47 - 20 = 3*k - 3*f, 0 = -5*k - 2*f + 52. Solve 32 = 11*z + k for z.
2
Let i = -30 - -16. Let n be (0/4)/(i/7). Solve n*z - 2 = -2*z for z.
1
Let m(j) = j**3 + 84*j**2 + 8*j + 777. Let d be m(-84). Solve 15*s + 6*s + d = 0 for s.
-5
Suppose 0 = -2*w - 0*w. Let i be 6/(5 + 13/(-2)) + 348/29. Solve 5*l - i - 7 = w for l.
3
Let u(v) = -94*v**3 - 2*v**2 + 3. Let p be u(-1). Solve -11*b + p = 73 for b.
2
Let s be ((-3)/(-1))/((-3)/(-16)). Let j = s - -2. Suppose j*n = 14*n + 28. Solve n = -4*u - 1 for u.
-2
Let z be -12 + 2 + -553 + 565. Solve 118 = -58*i + z for i.
-2
Suppose -56*x - 137*x - 83*x = -13800. Solve 31*l - x*l - 114 = 0 for l.
-6
Let a(t) be the third derivative of -t**5/60 + 5*t**4/12 + 8*t**3/3 + 2*t**2 + 16*t. Let n be a(11). Solve -n*c + 6*c = -1 for c.
-1
Suppose 13*y = 14*y + 6. Let m be 19/(19/(-12))*y/8. Solve 0 = -m*a + a for a.
0
Suppose -67*s = -71*s + 52. Suppose 5*b - 3*b = 4*f - 16, -f + s = 4*b. Solve 0 = -4*z - f + 1 for z.
-1
Let k(m) = -14 + 34 - 3*m - 12 - 17. Let v be k(-8). Solve l = -2*l - v for l.
-5
Let w = 4597 - 4580. Solve 0 = 2*j - 23 + w for j.
3
Let z(b) = b**2 - 2*b. Let r be z(3). Suppose -r*v + 5*j = 15, -5 = -j - 2. Solve 2*l - 2 - 2 = v for l.
2
Suppose -t = 5*f + 3, 3*t = -4*f + 5 - 3. Let o be (-216)/(t - 6) + 0. Suppose 2*h - o = -50. Solve -m + h = 6 for m.
-4
Let h(i) = -6*i + 52. Suppose -7*q - 14*q = -168. Let d be h(q). Solve 0 = -d*u - 1 + 9 for u.
2
Let y(m) = -m + 20. Let l be y(-5). Suppose 5*z + 3*g - l = -0*g, -4*z - g + 13 = 0. Let t(q) = q**3 - 2*q**2 + 3*q. Let i be t(z). Solve 0*w + 2*w = -i for w.
-3
Let t be (330/(-8))/((-12)/32) - 13. Solve 27*p + 178 - t = 0 for p.
-3
Suppose -5*o = -10*o - 4*l - 874, -4*o - 716 = -l. Let j = o - -180. Solve -3*b + j = -4*b for b.
-2
Suppose -5*w + 107*d = 111*d - 5, -5*d = 5*w. Let v = -2 - -11. Solve -w*a = -2*a - v for a.
3
Suppose 47*j + 27695 = 188*j + 50*j. Solve 268 = -59*x - j for x.
-7
Let y be 96/((-2)/(16/(-12))). Let g be 1/((-4)/y*-4) - 2. Solve -1 = g*t + 1 for t.
-1
Suppose -42390*n + 42377*n = 0. Solve n = -21*a + 20 + 64 for a.
4
Let v(t) = t**3 - 13*t**2 + 16*t - 16. Let w be v(12). Solve w*h = -13 - 179 for h.
-6
Suppose -6689 + 6593 = -2*l. Solve -l*y + 42*y = 18 for y.
-3
Suppose -5*c = 3*b - b - 785, -3*b = 3*c - 1155. Suppose y = -3*y - b. Let q be (-19)/y + 29/5. Solve 0 = -2*x - q for x.
-3
Let k = -52 - -73. Let h be (-3)/k + 6/(84/58). Solve -h*t = -12 + 8 for t.
1
Let m = 4 + -77. Let w = 76 + m. Solve -1 - w = 4*c for c.
-1
Suppose 4*k + 33 = 3*y, -7*k - 47 = -5*y - 3*k. Suppose 0*w - w = y*w. Suppose -2*c - c - 17 = -2*l, -4*l + 4*c + 28 = w. Solve -5 = -l*h + 15 for h.
5
Suppose 116 - 39 = 7*l. Let t = 14 - l. Solve -b = t*b for b.
0
Suppose 62 = -5*k - w - 73, 0 = 3*w - 15. Let c be -12*-4*7/k*-1. Suppose 15 = 4*g + 3. Solve 6*i + c = g*i for i.
-4
Suppose 3*p = 15, 2*z = 4*p - 34 + 12. Let m be 5 + z*(3 - 0 - 1). Suppose s = a + 5, -m*s + 2*a = -2*a - 18. Solve 0 = 3*u - 11 + s for u.
3
Let u(o) = -o**3 + 12*o**2 - 12*o + 9. Let f be u(11). Let y(x) = -2*x**2 - 3*x - 1. Let r be y(f). Let c be (18/15)/r - 22/(-5). Solve c = -3*j - 5 for j.
-3
Suppose -718 + 706 = -2*y. Solve 0 = 4*t - t + y for t.
-2
Let y be 24/30*(-100)/(-16). Let r(q) = -q**3 + 13*q**2 + 2. Let k be r(13). Suppose 5*j + 20 = -m + k*m, 0 = 2*m - j - 4. Solve -5*u - y + m = 0 for u.
-1
Let k(c) = c**3 + 16*c**2 + 116*c + 1239. Let i be k(-13). Solve 11*b + i = 227 for b.
-1
Let m be (1 - 0)/(((-15)/12)/(-5)). Let p(l) = -2*l**2 + 12*l - 10. Let q be p(m). Solve q = 7*j - 15 for j.
3
Let z(f) = -f**3 + 21*f**2 - 22*f + 42. Let j be z(20). Let b be (141/188)/((-1)/(-4)). Solve b*l - j = l for l.
1
Let u = 136 - 132. Let j be (72/(-6))/u*-1. Solve j = -3*l + 6 for l.
1
Let u be 8/6*(-21)/(-14). Suppose -u*g + 47 - 1 = 0. Suppose 31 - g = i. Solve 1 = -3*f - i for f.
-3
Let x(g) = -2*g - 8. Let f be x(-6). Let b be -3 + f + 2 + 2. Let p be 40/(-10)*4/(-2). Solve b*h + 2 = -p for h.
-2
Suppose -3*b + 135 = -3*k, 10*b - 11*b + 39 = 5*k. Let l(u) = -6*u**2 - 2. Let w be l(-2). Let d = b + w. Solve 3*i - d = -6 for i.
4
Let h = -13979 - -13979. Solve -51*v + 59*v - 40 = h for v.
5
Let c(d) be the second derivative of -2*d**3/3 + 3*d**2 - 162*d + 2. Let u be c(0). Solve -6*b = -u*b + b for b.
0
Let j = 1142 - 1129. Solve -j*t + 76 - 24 = 0 for t.
4
Suppose -11 = -3*u - 5*w, -22*w + 24*w = -2*u + 10. Solve -13*c + u*c = 14*c for c.
0
Let w be (((-8)/(-2))/2)/2. Suppose 4*v - 19 = -5*f, -7*v + 2*v = f - 8. Let g = 7571 - 7558. Solve -g = f*b - w for b.
-4
Let o = 63 - 59. Suppose 22*f - 20*f - o = 0. Solve -f*x + 3 = -1 for x.
2
Suppose -5*l + 273 = -6*x + 9*x, -2*x + 277 = 5*l. Let n = l - 53. Solve -n = 4*q + 16 for q.
-5
Let b be (0/(-1))/(1*2). Let h = 122191 + -122188. Solve -3*l - h*l + 30 = b for l.
5
Suppose 4*t + z - 15 = 0, -4899*z + 4902*z + 3 = 4*t. Suppose 0 = -4*p + 2 + 2. Solve 2*x + t = p for x.
-1
Let c(q) = -q**2 - 3*q + 518. Let n be c(-24). Solve -21*r + 14 = -n*r for r.
2
Suppose -216 = 3*s - 228. Suppose 4*t - 24 = s*o, 15 - 3 = 5*t + o. Solve 8*f - 19 = -t for f.
2
Let n = -1955 + 1977. Solve 17*f = 12 + n for f.
2
Suppose -4*g - 3*i + 59 = -267, g - 72 = 4*i. Let q = -80 + g. Solve q = 10*k - 6*k - 12 for k.
3
Suppose 2*i - 21 = -3*m, -185*m - 77 = -4*i - 186*m. Solve 30 = i*a - 54 for a.
4
Let z(c) = -c**2 - 12*c - 4. Let b be z(-11). Let k be ((-4)/(-8))/(2/(-12)) + 4. Let l be 1/k + 2*(-3)/6. Solve -t + 4 - b = l for t.
-3
Let t(y) = -y + 4*y + y - 30 - 86 - 33. Let a be t(38). Solve 57 = -a*h + 54 for h.
-1
Let l(q) = -26 + 0*q + 35*q - 31 - 9. Let c be l(2). Solve 13 = c*v - 3 for v.
4
Suppose 3*f + 0*s - 5 = 2*s, -2*f - 5*s + 35 = 0. Suppose -3*p = f*z + 5, -4*p = -5*z - 3 - 2. Solve 3*a - 5 + 11 = p for a.
-2
Let m be 3*3/15 - (-27)/(-45). Suppose m = -2*s + 21 + 1. Solve 2*u - s = -5 for u.
3
Let m(n) = 3*n + 43. Let r be m(-11). Let t(i) = i**3 + 8*i**2 - 13*i - 34. Let v be t(-9). Solve v*j + r = -3*j for j.
-2
Let u be (180/(-21))/((-1505)/12642). Solve -329*t - u = -305*t for t.
-3
Let j(n) = -n + 104. Let a be j(0). Suppose -a = -k - 78. Let y = -18 + k. Solve 4*p - 12 = -y for p.
1
Let m be (-643)/(-4) + 6/(-8). Let s be (-20)/m + (-17)/(-8). Solve -s*v + 5 = -5 for v.
5
Let g(w) be the third derivative of -w**5/60 - 25*w**4/24 + 13*w**3/3 - 13*w**2 - 1. Let k be g(-25). Solve k*d - 23*d - 12 = 0 for d.
4
Let t(j) = 14*j**2 + 120*j - 54. Let h be t(-9). Solve h = -6*m + 19*m + 39 for m.
-3
Let j(y) = -29*y + 124. Let d be j(3). Suppose -43 + d = -6*l. Solve 0 = 4*g - 13 + l for g.
3
Suppose 6*b = 20*b - 112. Let i be ((-4)/b)/(2*(-1)/32). Solve r + i = 13 for r.
5
Let b(c) = -2*c - 6. Let u be b(-4). Let f(r) = 6*r + 41. Let v be f(-3). Suppose v*x - 9*x = 42. Solve 3 = u*o - x*o for o.
-3
Suppose 5*g = 10*g - 30. Suppose -7*y = -35 + 42. Let t be y - 20/18*g*-3. Solve -3 = -4*k - t for k.
-4
Let w = -1042 - -1653. Let a = 615 - w. Solve 5*u = 6 + a for u.
2
Let o be (4*(-4)/32)/((-1)/4). Suppose 3*n + 6 = 0, -4*p + o*n - 10 = n. Let f be ((-4)/p)/1 - (-832)/96. Solve -5*t = f - 5 for t.
-1
Let a(s) = -141*s + 752. Let d be a(-4). Solve -1319*l + d*l + 15 = 0 for l.
5
Suppose -3*s = -2*j + s - 8, 0 = -2*j + 2*s. Suppose 3*c + j