 -1 for h.
-2
Suppose 0 = -23*g + 131*g - 4224 - 2796. Solve -g*y = -28*y + 222 for y.
-6
Let u(p) = p**2 + 3*p + 6. Let j be u(-5). Let s = -105 + 48. Let w = -52 - s. Solve a - w*a = j for a.
-4
Suppose 0 = 4*o - 8*g + 72, -o + 18 = 290*g - 288*g. Solve 20*z - 28*z + 48 = o for z.
6
Suppose 0 = -x - 3, -x - 116 = -r + 22. Let c be 33*(15/r - 2/(-9)). Solve 0 = 5*n - c*n - 6 for n.
-1
Let l = -53 - -65. Let s(j) = j**2 - 13*j + 37. Let r be s(l). Suppose -8 = 21*m - r*m. Solve -m*a - 12 = a for a.
-4
Let k(y) = 6*y + 27. Let b be k(-11). Let l = -34 - b. Suppose 4*g + 3*n = 4*n + l, -g + 5*n = 13. Solve -g*x - x = -3 for x.
1
Let i be ((-622)/(-1555))/(2/150). Solve 2*z = 12*z - i for z.
3
Let m(v) = -16*v + 144. Let k be m(9). Solve -17*w - 9 - 25 = k for w.
-2
Suppose w = 2*w - j - 82, -5*j = 3*w - 246. Suppose 0 = -5*r - 62 + w. Solve 0 = -6*f + r*f - 6 for f.
-3
Suppose 75*q + 329 - 2727 = 2402. Solve 16*k = 8*k - q for k.
-8
Suppose -5*x - 2*k = -378 - 104, 182 = 2*x - k. Solve -80 = -7*a - x for a.
-2
Let b be 108/8*(-2)/(-3) + -5. Let i be 17*b/16 + (-12)/(-16). Solve -m + i*m + 16 = 0 for m.
-4
Let p = 5896 + -5892. Let z = 17 - 12. Solve -p = -z*n + 6 for n.
2
Let q be 1 + 3 - (-5 + (0 - -2)). Suppose 0 = -q*g - 4*g + 66. Solve 2*z + 16 = g*z for z.
4
Let b = 165 - 163. Suppose 0*n - 2*h = 2*n - b, n + 3*h = -7. Solve -15 - n = -4*j for j.
5
Suppose 0 = -8*m + 6*m + 32. Let b(q) = 16*q**2 + 143*q - 4. Let x be b(-9). Suppose -2*g + 2*n + m = 0, -n + 8 = -2*g - x*n. Solve g = -y + 2 for y.
-2
Let v = 2711 - 2648. Solve v + 33 = 24*u for u.
4
Suppose 94 = -5*z + 3*l + 129, 5*l + 5 = -5*z. Solve 0 = -z*w - 28 + 8 for w.
-5
Let x(b) = b**2 - 6*b + 5. Let c be x(5). Let s = -211 - -216. Solve c = k + s*k for k.
0
Let q(u) = 3*u**2 + 56*u + 427. Let o be q(-17). Solve 0 = -73*k + o - 50 for k.
4
Let w = -10907 + 10962. Solve -21*s = w*s - 304 for s.
4
Let f(k) = -4*k - 6 + 9*k - 4*k. Suppose -3*y - 3*v = -24, -v - 4*v = -y + 2. Let r be f(y). Solve -1 = u + r for u.
-2
Let h(l) = l**3 - 20*l**2 + 64*l - 822. Let d be h(19). Solve -8*p = 3*p + d for p.
-3
Let q = -1956 - -2015. Solve 73*g - q*g = 42 for g.
3
Let h(y) = -36*y + 170. Let i be h(6). Let j be (-1 - -6)*i/(-115). Solve -o + 3 = -j*o for o.
-3
Let l(a) = -a**3 - 20*a + 114. Let i be l(0). Solve i = -82*z + 63*z for z.
-6
Let l = -42 + 46. Suppose -5*a - 2*u = -5*u - 52, -20 = -l*a - 3*u. Let f be a + 0/(-2) - (0 - 1). Solve -z + f = -4*z for z.
-3
Let k = -3893 - -4013. Solve -19*a + k = 11*a for a.
4
Suppose -k - 151 = -4*y, -9*y + 110 = -6*y - 4*k. Solve -y*p + 25*p + 65 = 0 for p.
5
Let f = 38008 - 34942. Solve f = -j + 3067 for j.
1
Suppose 4*d = 4, -4*d + 1882 = -r - 2*r. Let y = r + 650. Solve y*m - 16 = 16*m for m.
2
Suppose -2*o + 6 = -6. Suppose 3*j - 12 = a, -o*a + 4*a - 20 = -5*j. Let c = 1073 - 1071. Solve c*r + 3 + 5 = a for r.
-4
Let a = -19973 - -20114. Solve -a - 151 = 73*q for q.
-4
Let n = -59 - 99. Let d = n - -160. Solve -7*b - 25 = -d*b for b.
-5
Let x(g) = -g**2 - 7*g - 2. Let l be x(-3). Suppose -4*d = d - l. Suppose 5 + 3 = d*v. Solve -v*t - 34 = -14 for t.
-5
Let x(d) = 45*d - 193 - 59 - d**2 + 133. Let r be x(42). Solve -r = 3*s - 1 for s.
-2
Let v = 275 - 157. Let r = v + 8. Let c = r - 118. Solve -b = b + c for b.
-4
Let b = 89 + -69. Suppose -l = -2*f - 21, -4*f - 3 - b = -l. Solve -l*t + 12 = -23*t for t.
-3
Let x(q) = -q**3 + 10*q**2 + 4*q + 2. Let z be x(8). Let i(j) = z*j**2 + j**3 - j - 10 + 0*j**3 - 149*j**2. Let g be i(-13). Solve -4*m + 7*m - g = 0 for m.
1
Let f = 2603 + -2556. Solve -31*x - f = 77 for x.
-4
Suppose 0 = -5*b - u + 341, 2*b + 5*u + 158 = 4*b. Let k = b - 67. Solve 2 = -4*m + k*m for m.
-1
Let t = 21 - 18. Suppose d = t*x - 1 + 2, 17 = 5*x + 3*d. Solve -s + 0 + x = 0 for s.
1
Let s = 66 - 54. Suppose s = 3*t + 4*m - m, t - 3*m = 0. Suppose 3*l - 3*y - 3 = 0, 5*l = t*y - 6*y + 45. Solve -2*d - l = -0*d for d.
-3
Let x = -246 + 148. Let v = -98 - x. Suppose v = 5*u - 15 - 10. Solve -4*c + 3 = -u for c.
2
Suppose 3*u - 8*l - 263 = 122, -2*u + 255 = -5*l. Solve -u + 37 = 13*z for z.
-6
Let t = -2267 - -2272. Solve 4*f - t - 11 = 0 for f.
4
Let n(p) = 67*p - 4420. Let g be n(66). Let q = 2 - -4. Let i be g*((-3)/q + 2). Solve -2*o = i*o - 15 for o.
3
Let p = 92 + -51. Let d = p - 41. Solve -n + 4 - 6 = d for n.
-2
Let u(g) = -g**3 - 5*g**2 + 15*g + 11. Let v be u(-7). Let h be (2 - (v - (0 - -1)))*-3. Let j(r) = -2*r**2 + 7*r - 1. Let y be j(h). Solve 0*q + q = y for q.
2
Let q(j) = 14*j**3 - 82*j**2 - 14*j - 58. Let o be q(7). Solve o*k = 620*k - 8 for k.
-1
Let r = -3517 + 3559. Solve -r*f = -44*f - 10 for f.
-5
Let t(y) = -4*y - 3. Let x be t(-2). Solve -x*a = -a - 8 for a.
2
Let f = 12 + -10. Suppose -n = 4*d + 4, -5*n - 2 = -8*n + f*d. Solve b + 4*b = n for b.
0
Let r = -1035 - -1046. Let p(f) = -f - 4. Let l be p(-6). Suppose -n = -l*x + 3*n - 4, 5*x - 8 = 4*n. Solve 9 + r = -x*j for j.
-5
Let z(x) = -x**2 - 13*x + 4. Let c be z(-6). Suppose -3*w + 4*r = -c + 167, -5*r - 25 = 0. Let t = w - -56. Solve 5 = -t*p + 4*p for p.
-1
Let c = -320 - -331. Let g = -4 + -5. Let q = c - g. Solve -3*b - q = b for b.
-5
Let n(g) = g**2 - 3*g - 33. Let j be n(-6). Suppose 556 - 178 = j*a. Solve z = 10*z + a for z.
-2
Let a = -80 + 83. Suppose a*o = 5*r - 9, 2*o = -2*r - 2 + 12. Solve 0*n = o*n for n.
0
Let n = 100 - 123. Let s be (231/(-22))/((-2)/(-4)). Let z = s - n. Solve q = -z*q + 9 for q.
3
Let g = 24596 + -24553. Solve -12*z = -g*z - 9*z for z.
0
Suppose u + 20 + 16 = 2*o, -5*o - 4*u + 64 = 0. Let y = -17 - -35. Let s be y/12*o/6. Solve 0 = s*f - 10 - 10 for f.
5
Suppose 5*l + 5*j - 115 = 0, 50*j = -l + 45*j + 7. Solve r = -l*r - 28 for r.
-1
Suppose 81 + 47 = 8*g. Suppose -26*q = -24*q - g. Solve -3*u = q + 4 for u.
-4
Suppose -433 = -2*w + 445. Let j = 439 - w. Solve 14*o - 13*o = j for o.
0
Suppose -20*f = -15*f - 3*a - 27, -5*f = 4*a + 1. Let l(n) = -n**3 + 3*n**2 + 13*n - 5. Let v be l(5). Solve -v = f*r + 2*r for r.
-2
Suppose 40 = 4*f + 24. Suppose f*w - 2 = 2*k, -w + 17 = 7*k - 2*k. Suppose -10*a = -6*a - 12. Solve k*z = 9 + a for z.
4
Let q(v) = -v**2 - 60*v - 891. Let t be q(-30). Solve -t*l = -10 - 53 for l.
7
Let p(f) = 232*f - 455. Let y be p(2). Let h(j) be the second derivative of -j**4/12 + 2*j**3 - 12*j**2 + 2*j. Let m be h(y). Solve 8 - 2 = -m*g for g.
-2
Let a(r) = r**2 - 42*r + 82. Let v be a(14). Let f = v - -310. Solve 3*s - 15*s - 48 = f for s.
-4
Let u(f) = f**3 + 3*f**2 + 4*f. Let x be u(0). Solve x = 33*g + 27*g - 62*g for g.
0
Let c(a) = -a**3 - a - 2. Let i be (0 - 4/6)/((-5)/15). Let b be (-24)/10 + i - (-18)/(-30). Let u be c(b). Solve u*d = 5*d for d.
0
Let p(w) = -w**2 - 8*w + 63. Let v be p(-12). Suppose 4*x - 4*u - 12 = 0, -5*u - v = 3*x - 0*u. Solve 4*y + x*y = 0 for y.
0
Let l be -1 + ((-14)/(-28))/(1/2). Suppose l = 25*q - 23*q + 3*g - 28, 2*g + 21 = q. Solve 2*d = q - 25 for d.
-4
Let z be (-5 + 5)/(1*2). Let a = 134 - 131. Suppose 0 = a*r + 5 - 17. Solve z*g = r*g for g.
0
Let n(d) = -d**2 - d + 6. Let x(k) = -k + 1. Let g be x(-4). Let j be n(g). Let w = j - -26. Solve w*y + 3 = -1 for y.
-2
Let p(z) = -3*z**3 - 16*z**2 - 29*z - 41. Let w(x) = x**3 + 5*x**2 + 10*x + 14. Let r(i) = -3*p(i) - 8*w(i). Let o be r(-7). Solve -o - 9 = 4*c for c.
-5
Let c = -42 + 26. Let i be (-58)/(-4) - 24/c. Solve -i + 7 = 3*u for u.
-3
Let x = 103 + -98. Suppose k - x*k + 24 = 0. Solve -4*g = -k*g for g.
0
Suppose 36*b = -1022 + 1238. Solve b*h + 54 = 60 for h.
1
Let y = 75 + -58. Let x be ((-6)/4)/((68/(-72))/y). Suppose 3*b = 2*b - s + 3, 5*s + x = b. Solve b*q + 9 = 4*q for q.
-3
Let w(v) = 7*v**2 - 3. Let x be w(-1). Suppose -23*m + x*m = -760. Solve q + m = -7*q for q.
-5
Suppose -14*v + 17*v - 396 = -5*x, -4*v = 3*x - 242. Solve 8*f = x - 46 for f.
4
Let m be (1/(-4))/(10/(-40)). Let v(x) = 8*x**2 + 6*x - 7. Let i be v(m). Solve -i = -5*s + 8 for s.
3
Let l(f) = -f**3 + 2*f**2 + 4*f + 2. Let a be l(3). Let u = 613 + -609. Solve 0 = s + a - u for s.
-1
Let t = -2658 - -2691. Solve -47*k = t + 14 for k.
-1
Let w be ((-204)/187)/(2/(-11)). Suppose w*l = 5*l + 4*l. Solve -8*k + k + 28 = l for k.
4
Let r(q) = q**3 + 14*q**2 + 33*q - 104. Let l be r(-9). Solve -97 = -l*k - 89 for k.
2
Let d = 4883 + -4677. Sol