 h - 26. Solve 4*z + 3 + 5 = x for z.
-2
Let r = -387 + 396. Let t be 700/315 - 2/r. Solve 35 = -5*z - t*z for z.
-5
Suppose -135 = -6*v - 63. Suppose c = 3*q - 17, 13*q - 4*c = v*q + 24. Solve w + q + 0 = 0 for w.
-4
Suppose 365 = 2*w - 5*y, -2*w - y = w - 556. Let v = w + -185. Solve v = b + b for b.
0
Suppose -23*l = -15*l - 19*l + 781. Solve 33*s = 61 + l for s.
4
Let d be 8/(-28) - ((-14935)/(-35) - 1). Let t = d + 426. Solve t = -2*y - 7 + 9 for y.
1
Let z be (-1788)/(-30) + 6/15. Suppose -z = -4*j - 2*u, -3*j + 3*u + 35 = 2*u. Let f = -10 + j. Solve -f*h = -0*h for h.
0
Let i be -1 - (-2 + 2)/6. Let c(y) be the first derivative of 5*y**3/3 + 2*y**2 + 3*y + 3. Let a be c(i). Solve a = 5*d + 29 for d.
-5
Let p = 29 - -61. Solve -148*j = -133*j + p for j.
-6
Let g = -5985 - -6019. Solve -47*t = -g*t for t.
0
Let u(d) = -d**2 + 3*d + 15. Let h be u(0). Suppose h*p + 655 = -215. Let c = 66 + p. Solve -3*z + c - 14 = 0 for z.
-2
Let a be (-238)/(-14) + -2 + -3*3. Solve 31 = a*m - 5 for m.
6
Let w = 10185 + -9955. Solve -w + 254 = 4*b for b.
6
Let m = 685 - 590. Solve 25*j + 5 = -m for j.
-4
Let p(a) = 64 + 82 - 2*a + 5*a - 12*a. Let f be p(16). Solve l + 0*l = f for l.
2
Let h be (12072/(-17) - -1) + 116/986. Let a = h - -828. Solve -4*q + 103 = a for q.
-4
Suppose -2*u + 79 = 61. Let r be 63/567 - (1/u - 2). Solve -2 = r*x - x for x.
-2
Let w = -9995 - -10052. Solve -o + w - 56 = 0 for o.
1
Suppose 74963*a - 74947*a - 80 = 0. Suppose 0 = -2*x + 25 + 15. Suppose s - 6 + 1 = 0. Solve a + x = s*v for v.
5
Let f = -692 - -716. Let i be f/(-14)*(-7 + (-7 - -7)). Solve i = 2*k + k for k.
4
Let y be -4*((-2)/(-6))/(22/6105). Let x = y + 374. Solve x*a + a = -20 for a.
-4
Let r(t) = t + 17. Let h be r(-15). Suppose 24 = h*m + 80. Let l be ((-48)/(-56))/((-6)/m). Solve 3*q + l = -2 for q.
-2
Let i be (84/(-135) + 4/18)*-5. Suppose -g + 10 = 3*g + 5*a, 0 = -i*g + 5*a - 10. Suppose -4*f - 11 + 27 = g. Solve 0 = -0*h - f*h - 20 for h.
-5
Suppose 2*b + 12 - 4 = 0. Let k(d) = -16*d - 60. Let r be k(b). Solve r*n = -8 - 8 for n.
-4
Let g = -103 + 131. Suppose -3*d - g = -88. Let s = 5 + -2. Solve -2*v = s*v - d for v.
4
Suppose -3*u - 12 = 6. Let o be ((-637)/(-39))/(1/u). Let l = o - -101. Solve -l*k + 16 = k for k.
4
Let r(s) = -2*s**2 - 29*s - 62. Let w be r(-18). Let z = 209 + w. Solve -5*t + z - 6 = 0 for t.
3
Let r(n) = -2*n**2 - 82*n - 62. Let q be r(-33). Let s = q + -465. Solve 7*k + s - 8 = 0 for k.
1
Suppose 0 = -11*f - 5*h + 5, -15*f + 18*f + h = 1. Solve -23*j + 62 + 99 = f for j.
7
Let n = 14911 - 14883. Solve -15*a - n = -19*a for a.
7
Suppose 12*s + 192 = 44*s. Let y = -33 + 51. Let x be 68/y + s/27. Solve x = -z - 1 for z.
-5
Suppose -62*f + 2510 = 30. Solve -f = -49*u + 41*u for u.
5
Let m(z) = 52*z + 1. Let d be m(0). Solve -10*y + d = 11 for y.
-1
Suppose -3476*t = -3439*t - 1184. Solve t*m - 57 = 13*m for m.
3
Let o(f) = -f**3 - 12*f**2 - 22*f + 19. Let j be o(-11). Let v = j + -136. Solve a - 6 = -v for a.
2
Suppose 17*o - 126 = -4*o. Let y(k) = -3*k - 18. Let j be y(-7). Let n be 2 + -4 + j + -1. Solve n = -u + 1 - o for u.
-5
Suppose 27*s = 4942 - 2755. Solve -63 - s = 24*g for g.
-6
Let z = 6706 + -6704. Solve -24*q + z = -26*q for q.
-1
Let v = -12 - -12. Let h be 0/(v + -2 + 1). Suppose 3*u + h*a = -a + 34, -3*a + 50 = 5*u. Solve 5*f - 2 = u for f.
3
Let y = -102 - -118. Suppose -y*g + 132 = 20. Solve -7 = g*v - 42 for v.
5
Let v(c) = -c**2 - 2*c + 25. Let d be v(-5). Solve -d = -8*a - 58 for a.
-6
Suppose 2*j - 6 = -3*q, -34*j = -39*j. Let k(u) = u + 4. Let z be k(-5). Let f = z - -1. Solve f = -q*c + 7*c for c.
0
Let c(u) = -25*u + 30. Let t be c(-2). Solve 2*a - t = 42*a for a.
-2
Let a be ((-4)/8)/1*0 - 14. Let r be ((-18)/(-15))/(a/(-105)). Solve -r = 3*p + 3 for p.
-4
Let d(w) = 387*w - 1076. Let j be d(3). Solve 8*n - j = -53 for n.
4
Let d(p) = 7*p - 9. Suppose 0 = 12*y - 10*y - 8. Let i be d(y). Solve 4*o = 1 + i for o.
5
Suppose 126*o - 130*o - 32 = 4*f, 16 = -6*f - 2*o. Solve -10*b - 10 - 40 = f for b.
-5
Let g = 34 + -30. Let i = 1 + 11. Suppose 0 = 5*n + 2 - i. Solve -2*d - g = n for d.
-3
Let c(l) = -l**3 - 10*l**2 - 9*l + 18. Let f be c(-9). Suppose -f + 33 = 5*g. Suppose -g*x + 6*x - 6 = 0. Solve -6 = 5*m - x*m for m.
-2
Let z = -73 + 80. Let u(k) = 7*k + 1. Let n be u(z). Let l = n - 37. Solve -5 + l = 4*f for f.
2
Let v(z) = 5*z + 15*z**3 - 4*z**3 - 6 - 3*z**3 - 6*z**3 - 7*z**2. Let o be v(3). Solve -4*d - 2*d - 30 = o for d.
-5
Let u(l) = -l**3 - 3*l**2 + 4*l + 4. Let p be u(-4). Let d = 203 - 180. Suppose d*y - 29 = -6*y. Solve -3*o + p*o + y = 0 for o.
-1
Suppose 0 = s - 4*h + 7*h + 121, -5*s = -5*h + 585. Let a = s - -118. Solve a = -k + 8 - 7 for k.
1
Suppose 3*w + 3059 = 4*f + 2848, -105 = -2*f + w. Solve f = 13*j + 104 for j.
-4
Let r(l) = 21*l - 171. Let z be r(9). Solve 0 = z*w - 21*w - 9 for w.
-3
Let j(d) = d**3 - 4*d**2 + d + 4. Let m be j(3). Let c be 0/(m - (-2 + -2)). Let h(u) = u**3 + 2*u**2 + u + 7. Let f be h(c). Solve -4*z = -1 - f for z.
2
Suppose -112*w + 26 = -86*w. Let s = -132 - -132. Solve 5*k - w + 1 = s for k.
0
Let s = -1377 + 1381. Suppose 2 = -o + 7. Suppose 4*m + s = n + o, 2*m - 2 = 0. Solve -5 + 2 = -n*p for p.
1
Let b(i) = 5*i + 125. Let v be b(-22). Suppose 11 = u - 0*u - 2*p, u - v = 3*p. Solve -2*z - u*z = 0 for z.
0
Let y = 25857 - 25839. Solve 8*t + 66 = y for t.
-6
Let v be (-4)/22 + 6902/(-154). Let a = -41 - v. Suppose z + 21 = a*z. Solve z = m + 2 for m.
5
Let s be (-49)/(1176/(-48)) - -25*1. Solve -s*b - 30 = -42*b for b.
2
Suppose 572 = 7*d + 6*d. Suppose -d*u - 128 = -52*u. Solve 2*p - 10*p = -u for p.
2
Let o(y) = y + 10. Let u be o(-2). Suppose 2*r = 3*r - u*r. Solve r = -d + 1 - 5 for d.
-4
Suppose 0 = 2*b - 2*c, 3*b - 5*c + 17 = 7. Let w = -29 - -55. Suppose -2*g - 6 = -3*g - i, -b*i = 4*g - w. Solve -2*n - g = -3*n for n.
4
Let s(l) = 9*l - 31. Let d be s(4). Suppose 3*o - 4*o = -2*z - 4, 2*o = -d*z + 44. Solve 5*h + o = h for h.
-3
Suppose 294*o = 298*o - 2800. Let l be ((-4)/(-5))/(28/o). Solve -2*x = 3*x - l for x.
4
Let g(f) = f**3 + 25*f**2 - 24*f + 58. Let k be g(-26). Suppose -2*h = 5*d - 3*d - k, 4*d = 5*h + 30. Solve d - 2 = r for r.
3
Suppose 0 = 3*f + 2*r - 120, 0 = f + 2*r - 40. Suppose m + 2*l = 13, m + 5*l = -12 + f. Solve -m*h + 7 = -2 for h.
3
Let d(t) = 12*t + 48. Let r(m) = -m**3 + 5*m**2 - 4*m - 4. Let n be r(4). Let w be d(n). Solve w = v + 4 - 6 for v.
2
Let t(j) be the second derivative of j**4/12 - 13*j**3/6 + 25*j**2/2 + 2*j + 12. Let y be t(11). Solve v = 1 + y for v.
4
Suppose 5556 = 16*p - 3730 + 2182. Solve 12 = -447*o + p*o for o.
-4
Let l(s) = -318*s**3 - 210*s**2 - 212*s - 3. Let x be l(-1). Solve -x*t = -311*t - 36 for t.
6
Suppose -135 = -u - 3*v, 0 = -u - 4*v + 117 + 15. Let j = -142 + u. Solve j*q - 66 + 68 = 0 for q.
-1
Let x be (-20)/8*2/(-1). Suppose 0 = 16*c - 21*c + 10. Suppose 0 = c*b - 5*j - 30, 7*b = 10*b - j - 32. Solve b = x*f - 15 for f.
5
Let o = 10108 + -10106. Solve -3*r = -26*r + o*r for r.
0
Suppose -3*r + h = -49, 5*h + 163 = 188. Solve -j - 13 = -r for j.
5
Let a(w) = w + 7. Let z = 73 - 110. Let m = 33 + z. Let c be a(m). Solve -y = -c*y for y.
0
Let k = 211 - 209. Suppose 0 = k*q + 166 - 166. Solve 0*y + 3*y = q for y.
0
Let k be -30*(-2 - (-12)/(-30)). Let s = 74 - k. Solve -3*o + 0*o = -s*o for o.
0
Let w = -114 + 144. Suppose 54 = w*g - 24*g. Solve g*l - 12 = 3*l for l.
2
Suppose 21*a + 19 = 24*a + 2*x, -a + 4*x = -11. Let t(y) = y**3 - 6*y**2 - 5*y - 8. Let w be t(a). Solve -w*r - 36 = -6 for r.
-5
Let p(y) = -y**2 + 14*y - 21. Let z be p(14). Let c = 2 + z. Let w(m) = -m**2 - 21*m - 22. Let o be w(c). Solve -o = -3*h - h for h.
4
Let d(i) = -i**3 - 17*i**2 + 3. Let a be d(-17). Suppose -5*k - l = 36 + 85, 3*l + 75 = -a*k. Let n be (36/k)/((-1)/2). Solve n*q - 1 = 5 for q.
2
Suppose 23 = 5*j - 5*d + 2*d, 2*d = 8. Let o = -269 - -281. Solve -j*m + o*m + 5 = 0 for m.
-1
Let b be 1/6 + (45 - 3751/(-66)). Solve 39*f - b = -24 for f.
2
Let n(j) = j**3 + 9*j**2 - 16*j - 32. Let h be n(-8). Let b = h + -139. Solve 0 = 4*a + b - 5 for a.
-4
Let l = 192 + -185. Suppose -50 = -l*v + 41. Solve v + 12 = -5*c for c.
-5
Let v be -1*1*-6 - (-87 - 5688/(-72)). Solve -8*w - v = 34 for w.
-6
Let q(h) = 126*h + 6. Let