h.
4
Suppose -z - 11 = 14*d - 11*d, -3*d = -3*z + 15. Let a be -6*(78/(-20) - d)*-5. Solve -o + 7 = -4*h, -a*h - 4 = 2*o - 4*o for o.
-1
Let p = -6382 + 6391. Solve 0 = -2*x - 2*l - 8, l + p = -4*x - 4 for x.
-3
Let g be -7 - (-8 - -5 - -1*2). Let t be (g/9)/(6/(-90)). Suppose -t*r + r = -36. Solve 5*j - 15 = -5*v, j + r*v - 3 = 15 for j.
-2
Let i be 1/(4/(-2))*(-35 + 21). Let m(k) = -k**2 + 12*k - 32. Let o be m(i). Solve 3 + o = 2*c, 26 = -5*q + 2*c for q.
-4
Let w be (3520/112)/4 - (-24)/(-28). Solve 4*b - w = f, 4*f - 32 = 3*b - 7*b for b.
3
Let w be -2 + -6*(0 - 1). Suppose -2*y = 3*c - 1, -3*y + w*c = 2*y - 37. Let j = 13171 + -13166. Solve 7 - 3 = -4*a, -y*a = -j*l + 30 for l.
5
Let i = 17 - 10. Suppose 79*l + 54 = 251*l - 462. Solve 2*v - i - 9 = -4*z, -4*z = l*v - 18 for v.
2
Let p be 16/(-16)*(2 - (5 + 10)). Solve -2*q + 6 = 3*a, -p*a = -10*a - q + 3 for a.
0
Let j = -3 - -5. Let u be (688/(-12) - 2/3) + -2. Let t = -60 - u. Solve j*h + t*k + k + 4 = 0, 2*k + 8 = -h for h.
0
Let g be (28*(-24)/384)/(2/(-16)). Solve 3*y + 28 = -5*j, -5*y = -y + 2*j + g for y.
-1
Let q(h) = -h**2 - 21*h - 76. Let g be q(-6). Solve 2*k = -2*d + g, 0 = -3*k - 0*k + 4*d - 7 for k.
3
Let j = -36 - -58. Suppose -78*h + 860 - 2800 = 19*h. Let o = h + j. Solve -5*w + 3*i = -25, 30 = o*w + 3*w - 4*i for w.
2
Suppose 0 = -3*d - 2 + 17, -3*d = 2*b - 37. Suppose 20*q - b - 29 = 0. Solve 3*s - 5*k = 10, -k - q = 5*s - 2*s for s.
0
Suppose -331*g + 329*g = -4*w + 12, 0 = -3*w + 3*g + 9. Solve 3*f - w*s = 30, 53*f + 5 = 49*f - 5*s for f.
5
Let o(s) = s**2 + 893*s + 3561. Let g be o(-4). Solve -5*l + 2*m + 17 = 29, -5*m + g = 0 for l.
-2
Suppose 0 = -260*j - 259*j + 775*j - 254*j. Solve 2*o - r = -7, -3*o - r - 9 + 6 = j for o.
-2
Let u be (0*4/16)/2. Suppose 0*v + 4*i + 80 = 3*v, u = -5*i + 20. Suppose -2*r + 12 = -v. Solve 5*a + 2*n - r = a, -5*n = 4*a - 37 for a.
3
Let h = 577 + -550. Suppose 62*s = 65*s - h. Solve -v - 6 = -2*f, 0*v - 3*f = v - s for v.
0
Suppose 0*i = 5*i - 15. Suppose 0 = -5*n + 5, -t = 5*n - i*n + 20. Let f be (-10)/(-60) + t/(-12). Solve 2*c = -2*a + 2, 5*a - f = -3*c + 3 for c.
0
Suppose z = -y - 0*y - 2, -4 = 4*y. Let u be 1/(z - 42/(-36)). Solve -4*b - 4*v = 8, v = b - 3*b - u for b.
-4
Let f be (-4)/3 + 40/12. Let y(u) = 2*u**2 - 12*u - 39. Let p be y(9). Suppose 0 = -5*o - p + 30. Solve 2*s = q, -3*q - f = -s + o for q.
-2
Suppose -336 = -52*l - 76. Solve -5*p = 4*b + 20, -20 = 3*p + 2*p - l*b for p.
-4
Let p be 10/(3/672*4). Suppose -6*f + p = f. Let o = -72 + f. Solve -o = v + 4*n, 3*n - 6 = -2*v - 7 for v.
4
Let i = 102 - 96. Let t be (i/(-7))/((-21)/49). Solve -2*x + t*y = -12, 5*x - 7*x = 4*y - 6 for x.
5
Let z be 0/(((-3)/(-2))/((-33)/44)). Suppose z = -6*x + 12*x - 12. Let b = 44 - 22. Solve -b = -3*h - x*o, -o + 17 = -0*h + 3*h for h.
4
Suppose 4*i - 745 = j + i, 3*i = 0. Let h = j + 761. Solve l + h = -3*l - 5*k, -4*k = 5*l + 11 for l.
1
Suppose 5*t = 5*u + 25, -6 = 3*u - 26*t + 24*t. Solve 22 = 5*z + 4*q, -3*z + 1 = -u*z + q for z.
2
Let x = -106 + 109. Suppose 0 = 2*i - 6, -2*d - 4*i + 12 = -x*d. Suppose 10 = 2*r - 3*q, -2*r - 2*q = 2*q + 4. Solve d = -2*t + 4*k, -r*t = 2*k - 3*k for t.
0
Let a be 1/(58/6 - 9) - (-18)/4. Solve -7*o + 2*w - a = -6*o, 4*o = -w + 3 for o.
0
Let r(a) = -4*a - 265. Let n be r(41). Let y = -429 - n. Solve z - 5*z = 2*x - 10, -4*x - z - 1 = y for x.
-1
Suppose -5*d = 2*l - 36, -5*l + 22 - 13 = -d. Solve 3*o - 15 = 5*y, -2*o = -9*y + 10*y + l for y.
-3
Let f = -56 + 110. Let q = f - 51. Solve 0*t - t = r - 2, -5*t = -q*r - 34 for r.
-3
Let s(k) = k**3 + 21*k**2 + 19*k - 19. Suppose 70 = -3*t - 4*l - l, -4*t = -4*l + 72. Let v be s(t). Solve -c - 4*r - 1 = 0, 5*c + v = 4*c + 5*r for c.
-1
Suppose 0 = -2*h - 4*x - 8, 4*h = -0*h - 2*x + 14. Let m be (8 + 4 - h) + -4. Solve 0 = -4*t + u + 2*u - 21, m*t - 2*u + 12 = 0 for t.
-3
Let l = -5213 - -5234. Solve -3*i - 9 = -l, 2*i = -5*k - 7 for k.
-3
Suppose 5*s + 1 = o, 4*o - 7 = 5*s - 3. Let n(h) = 10*h**3 + 2*h - 1. Let k be n(o). Suppose -k*a = -5 - 17. Solve 0*j + a*j = b + 4, -32 = -4*b - 4*j for b.
4
Let q(i) = 24*i + 76. Let h be q(-4). Let o be 64/h*25/(-10). Solve -4*x = 3*z - 4, 0 = z - 3*z + o for x.
-2
Suppose 0 = 9*f - 76*f + 938. Solve -l = 3*h - 8*h - 14, h = 3*l - f for h.
-2
Let t(l) = l**2 - 27*l + 2. Let d be t(27). Suppose 3 + 7 = 3*b + 5*x, -8 = d*x. Solve 3*n - 16 = 2*j - 2, -b = -5*n for j.
-4
Let v be 177650/242 - (-2)/(-22). Let g = -731 + v. Solve 0 = 2*h + 3*h + 15, 4*y - h - g = 0 for y.
0
Let g(r) = -r**2 - 13*r - 9. Let v = -30 + 18. Let i be g(v). Suppose 0 = j + d - 6*d - 13, i*d = 12. Solve -23 = -3*l - 2*a, -l + 6*l = -2*a + j for l.
5
Let q = 4510 - 4505. Solve q*i - 5*n - 3 = -8, 5*i + 5 = 3*n for i.
-1
Suppose 0 = 67*x - 69*x - 8*t + 44, -5*t - 57 = -2*x. Solve 0 = -2*r - 4*p - 51 + 35, -x = -3*r + 4*p for r.
2
Let i = 1182 - 1177. Solve 0 = -3*y + x - 7, -i*y + 3*x - 3 = 10 for y.
-2
Let g = 2 - -3. Suppose -3*r = 5*x - 105, x - 9*r + 6*r = 3. Let j be ((-3)/x*-3)/(12/120). Solve j*q = -0*q - 15, -g*u - q = 13 for u.
-2
Suppose -4*k = -2*h - 10, 0 = -3*k + 6*h - h + 4. Suppose 3*p = -k*p - 54. Let b be -1*2*-5*p/(-6). Solve j + 3*c = b, j + 5*c + 1 = 26 for j.
0
Let m be (-2)/5 + 20 + 208/(-130). Solve 5*b + 16*w = m*w - 31, 5*b + 2*w = -19 for b.
-5
Suppose 21 = 16*g - 43. Let w be 16 - (g - 11) - -4. Solve 3*v = -3*n - 21, n + 3*v + w = -2*v for n.
-2
Suppose -4*a = -6 - 6. Let z be (-3)/30 + 4161/(-190). Let u(f) = -f**3 - 20*f**2 + 45*f + 40. Let c be u(z). Solve -5*q + c = -a*r, 3*q = 5*r - 4*r + 10 for r.
-1
Let n(r) = -10*r**2 + 1402*r - 204. Let w be n(140). Solve -w*m + 79*m = -5*o + 19, -9 = -3*m - 3*o for m.
-2
Let j = -17960 + 17964. Solve -2*n = 24*d - 27*d + 11, -4*n = -j*d + 16 for d.
3
Let b be (263 + -208)/(0 + (-10)/(-4)). Solve 21*c - 16*c = 5*i - 35, 0 = 4*i - c - b for i.
5
Let d(s) = -s**3 - 24*s**2 + 27*s + 53. Let q be d(-25). Suppose 8 = 5*a - 7, q*y + 3*a - 15 = 0. Solve -5*g + 5 = 5*p, 5*g - 9 = -y*p + 5 for p.
-3
Suppose -5*x = -14*x - 18. Let w be ((-12)/28)/(-2*x/(-28)). Solve 2*c + 1 - 2 = 3*g, 5*c - 34 = -w*g for g.
3
Let c be 10/(-4) - (-945)/378. Solve -2*d + 6*p - p + 31 = c, 2*d - 4*p = 26 for d.
3
Let t be 2/(-7) + (-90)/(-21). Let y be t/((-7)/(7/(-2))). Let a = 31 - 29. Solve 6 = -2*c + y*m + a, 2 = -2*m for c.
-3
Let x = -1146 + 1149. Solve -2*p + 5*d - 3 = 12, -3 = -x*p - d for p.
0
Suppose -b = -3*h - 31 + 39, -3*h = -3*b + 6. Solve 0 = 16*p - 12*p - 4*k, -7 = -2*p - h*k for p.
1
Let q = 0 - 1. Let p(k) = -22*k + 1. Let x be p(q). Suppose 0 = -4*f + 3*r + 14, 3*r = 3*f - 0 - 12. Solve -s - 4*d = -17, f*s - 3*s + 4*d - x = 0 for s.
-3
Let f = 345 + -349. Let m(d) = -d**2 - 12*d - 19. Let g be m(f). Solve 4*b = 5*x - g, -7 = b + 2*b - x for b.
-2
Suppose -2*m - 16 = -4. Let u(g) = g**2 - 7*g - 72. Let d be u(m). Solve 5*k + 2*x = -2, 0 = -d*k + 3*k - 3*x + 6 for k.
-2
Suppose 7*f + 8 = 9*f - 4*h, 0 = h - 2. Suppose -p - 4 + f = -3*v, 2*v - 16 = -4*p. Solve 0 = -6*t + 3*t + 9, 3*l - 3*t = v for l.
3
Suppose 0 = -161*y - 13729 + 14051. Let n(z) = -z**3 - z + 3. Suppose 3 = r, -r + 1 = c - 2. Let v be n(c). Solve -7 = 5*x + 4*k, -y*k - v = x + 2 for x.
1
Suppose 0 = -x + 3*n + 3, -x - 4*n - 12 = -8. Suppose x = w + 19*w. Solve 3*o + 2*m = -o + 14, -3*m + 3 = w for o.
3
Let z = -38 + 43. Suppose -2*r = 2*s + s + 6, 10 = 4*r - z*s. Suppose -5*j - 1 + 6 = r. Solve -4*l + 3 = 3*o, -4*l + j = -o + 2 for o.
1
Let p = -171 + -411. Let w = 586 + p. Solve -w*s - f = 16, -s = -5*f - 22 + 5 for s.
-3
Let l be (-13)/(-5) - (-602)/1505. Solve -8*d + l*d - 2*k + 26 = 0, 2*k = 4*d - 10 for d.
4
Let f be (16/52)/((-3)/(-39)). Suppose 0 = -4*p - f*q, 4 - 12 = p + 3*q. Solve -p*h + 4*b + 16 = 0, -4*h + 5*h - 5*b - 20 = 0 for h.
0
Let h = -86 + 88. Suppose 0 = 5*b - h*b + 2*s - 22, 0 = -4*b + 4*s + 56. Solve 0 = 2*q + 4*r + b, 2 - 7 = 2*q - r for q.
-3
Let v = 186 + -189. Let x be ((-44)/(-8) + v)*2. Solve 5*d = 5*g - 45, 0*d - 3*d = -x*g + 37 for d.
-4
Suppose -4*w - 56 = -4*s, -156*s - 7 = -160*s - 3*w. Solve 3*q - x + 1 = 0, 0 = -4*q + s*q + 4*x - 19 for q.
1
Let z = 540 - 299. Let i = -226 + z. Solve 3*x + i = o, -2*o - 5 = -x - 5*o for x.
-4
Let i be 220/160 + -1 - (-42)/16. Solve 3*n - 2 = -5*f