5 for h.
0
Let r(n) = -243*n + 2435. Let l be r(10). Solve 29*m - 27*m - l*p + 12 = 0, 6 = -m + p for m.
-6
Let l = 76 - 16. Let n be (72/l)/(9/30). Solve -3*m = -2*o - o - 3, -11 = -m - n*o for m.
3
Let x = 17439 + -17429. Solve -2*s = -2*k - 3*k + 23, k = -5*s + x for k.
5
Suppose 56*r - 2*t - 2 = 54*r, 5*t - 7 = 2*r. Solve 4*m + 2*b - 12 = 0, r + 5 = m + 2*b for m.
1
Suppose y - j + 54 + 34 = 0, y + 97 = -2*j. Let i = y - -94. Solve -2*a = -5*k + 16, -i*k + 6*a = 2*a - 4 for k.
4
Let r be (1 - -1) + 1 + -3. Let d be (-1 - -1)*(-70)/(-280). Let x be (1 - d) + -5 + (-15 - -22). Solve t + x*h = 4*t, r = -2*t + h for t.
0
Suppose -128 = 13*t - 24. Let q be (-324)/36*t/6. Let i be 2/3 + 26/6. Solve 2*a - 15 = -5*c, i*c + a = c + q for c.
3
Let x(c) be the third derivative of -c**5/60 + c**4/6 + c**2 + 22. Let a be x(3). Solve -1 = -m + n, a*m + 3*n + 0 = -3 for m.
0
Let q(x) = 2*x**2 + 68*x - 480. Let p be q(6). Solve p*b = o + 3*b, 0 = 4*b for o.
0
Let z(v) = 13*v**3 - 3*v**2 + 7*v + 1. Let k(b) = -b**3 + b**2 - 2*b - 1. Let y(h) = 2*k(h) + z(h). Let d be y(1). Solve -w - d = -4*w + 5*q, -3*q = 0 for w.
4
Suppose 0 = 8*c - 73 + 41. Suppose -c*m - 24 = -4*o, -m + 3*m - 16 = -5*o. Solve -5*p + 16 = 2*l, 4*p + l + o*l - 6 = 0 for p.
4
Let o(a) = -82*a + 2. Let q be o(0). Solve 4*y + 4 = 0, y = -5*j + q*y + 16 for j.
3
Suppose 0 = -83*u + 85*u + 26. Let m be ((-39)/3 - -1) + -4. Let h = u - m. Solve 23 = k + 5*i, 4*k - 4*i + 22 = h*k for k.
-2
Suppose 24 = 4*l + 4*f, -f + 11 - 10 = 0. Solve -5*h = -l*x + 30, 4*h + 3 = -8*x + 5*x for h.
-3
Suppose -161 = -50*h + 89. Solve -2*y - 48*u - 10 = -43*u, -4*y - h*u - 10 = 0 for y.
0
Suppose -2*w = -w + 2, -3*w + 58 = 2*y. Suppose -2*z - y = -6*z. Suppose -254*v = -255*v + 2. Solve 0 = -5*l + z + 7, 4*l - 10 = -v*m for m.
-1
Suppose -l = 4*v - 1, 3*v + 21*l = 16*l - 29. Solve 4*k - v = 2*u, -5*u + 10 - 3 = -4*k for u.
3
Let c(p) = 1 - 1 + 7*p**2 + p + p**3 + 4 + 1. Let x be c(-7). Let j be (20/(-15))/(x/6). Solve 2*g = -2*n + 8, -n + j = -g - 0 for n.
4
Suppose 3933*o - 3935*o = -22. Solve -o*d + 12*d - 3 = -q, 2*q - 5 = -3*d for d.
-1
Let u = 101 - 97. Let x be (4/(-18))/((520/(-180))/26). Solve -u*q = -2*q - h - x, -4*h = -8 for q.
2
Suppose 0 = 9*m - 76 + 4. Suppose 3*k + 2*k = 15. Suppose 3*s = -4*h - 7 + 29, -k*h + m = -2*s. Solve 1 = -w - c, 9 = -s*w + 5*w - 3*c for w.
1
Let r = -26 + 8. Let g be 2/r*-16 + (-6)/(-27). Suppose 0 = -3*f - 3*j - 0*j + 24, 0 = f - j - g. Solve -2*u = 3*i - f, 4*u - 5 = -1 for i.
1
Suppose 0 = 2*b - 5*y + 16, y + 18 = 5*b + 3*y. Suppose 5*g + k = -3*k + 57, 30 = b*g + 4*k. Solve -g = 2*f - 3*s + 6*s, 2*f = 5*s + 15 for f.
0
Let d be ((-6)/5)/(-13 + 1524/120). Solve -2*u + 3*l = l, d = 4*u - 5*l for u.
-4
Let y(k) = -58*k - 5. Let g be y(1). Let v = -62 - g. Suppose -3*b = v - 25. Solve 3*s + 10 = 4*u - b*u, -2*s - 8 = 4*u for s.
-2
Let c = -268 + 394. Let m be (-76)/(-14) + c/49 + -3. Solve -i + q + q - 5 = 0, 0 = -m*q + 25 for i.
5
Suppose 14 = 2*w + 6. Let l(h) = -26*h - 363. Let n be l(-14). Solve 4 = 4*x + 4*v, -n = 4*x - v + w*v for x.
-4
Let x = 11004 + -10927. Solve -5*t = -u - 20, x*u - 10 = 2*t + 73*u for t.
5
Suppose -f + 93 = 17*i, 2*f - 3*i + 7 = 8. Solve -7*l + 3*v = -21, -f*l + 3*v + 3 = -7*l for l.
3
Let m(a) = -a + 10. Let t be m(8). Suppose 2*i + 2 = -2*j - 0*i, -5*j + 4*i = -13. Solve g = b - 3, t*b = 3*b + j for g.
-4
Suppose -6*a = 3*a - 243. Let z be (-3)/(-2)*144/a. Let h be (-8)/(160/(-45)) + (-2)/z. Solve h*x = -3*x + b - 8, x + 5*b - 14 = 0 for x.
-1
Suppose -1 = 2*x - 3. Let t be -31 - -33 - x*-2. Suppose 27 = t*k - k + 3*o, -2*o - 10 = -5*k. Solve 3*u = k*l - 1 - 0, -u - 7 = 2*l for u.
-3
Let a(f) = -53*f - 4648. Let q be a(-88). Solve 4*o - q = n, 1 + 11 = 5*n + 3*o for n.
0
Suppose 4*s = 3*k - 9 + 4, 0 = -2*s + k - 1. Let l(n) = 3*n**2 + 28*n - 27. Let q be l(s). Solve -2*d = q*h - 10, -h + 30 = -3*d + 2*h for d.
-5
Suppose -b + 5 = 2*w, 40*w - b = 44*w - 11. Solve -4*o + 22 = -2*m, -w = -m - 2*o - 2 for m.
-5
Let o(f) = 70*f + 75. Let h be o(-1). Solve 20 = -5*n + h*y, -2*n - 2*y + 16 = 2*y for n.
0
Suppose 0*k = k - 2. Let a be 0/(-2) + -3 + 5. Let s(v) = 3*v**2 - 129*v - 1588. Let n be s(53). Solve -2*c = k + n, 5*y = -c - a for y.
0
Let s(f) = f**2 + 8. Let w be s(0). Suppose 5*n = -25, w = -y - 2*n - n. Let b(a) = 45*a + 815. Let i be b(-18). Solve -3*u + 10 = 4*j - y, i*u = 5*j + 5 for j.
2
Let y = -5395 - -5365. Let h(a) = -17*a**3 + a - 1. Let m be h(1). Let z = m - y. Solve 8*r - 3*r + 3*s = -z, 4*r - 2*s + 6 = 0 for r.
-2
Suppose -3*m - 26 = 49. Let g = m - -27. Let o be g/(-7) + (2 - 69/(-21)). Solve 2*z = 3*c - 11, 0 = 2*c - 0*z + z - o for c.
3
Let k = 22887 + -22862. Solve 3*g + g - k = -3*n, 0 = -n - g + 7 for n.
3
Suppose 41*n - 40 = 40*n. Suppose 2*q - n = -3*q. Let h be q/(-28) - (-37)/7. Solve -3*v + 3*t = 18, 2*v + h*t = -0*v + 9 for v.
-3
Let m = -257 + 341. Suppose 12*x + m = 33*x. Solve -7 = -x*z - 4*k - 3, -4*k = 2*z + 4 for z.
4
Suppose -15 = -27*g + 417. Solve 0 = -3*q + 5*f + 7, q = -3*f + 9 - g for q.
-1
Let o be 2 + (-1 - (-4 + -69)). Let y = o - 58. Let s(t) = t**3 - 17*t**2 + 19*t - 32. Let h be s(y). Solve -5*r - h = 4*b, 4*r - 2*b - 3 = -21 for r.
-4
Suppose -15*o + 242 = 182. Let p be (-2)/4 + (-3)/(-6). Solve -5*s + o*a + 20 = 0, 4*s + 5*a - 9 - 7 = p for s.
4
Let o be (6 - 120/15)*((-9)/(-2))/(-3). Suppose 5*j - 74 = -14. Solve o*t + t = -12, -2*t - j = 3*i for i.
-2
Suppose 3*c = 7*c - 2*g - 272, 4*g + 264 = 4*c. Let u = -67 + c. Let d be (32/24)/(2/6). Solve 0 = -2*t + 5*j + 8, j = -5*t + u*t - d for t.
-1
Suppose 0 = w + w + j - 9, 2*w - 6 = 2*j. Suppose w*v + 13 = 33. Suppose 3 + 7 = v*i. Solve i*d - 18 = 4*c, d + 14 = -4*c - d for c.
-4
Suppose 240 + 340 = 10*r. Let i = 61 - r. Solve 0 = 2*t - 5*c + 20, -t + i*c - 11 = -0 for t.
-5
Suppose -22*b + 530 = 31*b. Solve -d = 3*a - 10, -6*a + b*a + 4*d = 16 for a.
3
Suppose 40 = -62*l + 1280. Solve 0 = -m + 17*b - 12*b - 22, l = -4*m + 3*b for m.
-2
Suppose -323 - 302 = -92*v - 165. Solve -9*a + 4*a = -20, v*g - 3*a = 8 for g.
4
Let x = 16 - 16. Suppose 151*a - 145*a - 30 = x. Solve 2*r - 5*m + 16 = 0, -a*r + 3*m = 9 + 12 for r.
-3
Suppose -132*b = -130*b + 4*f - 32, -b + 4*f = 20. Solve 4*g = -4, -5*y - b*g = -5*g - 11 for y.
2
Let n(p) = 52*p + 7. Let u be n(2). Let t = 115 - u. Solve -f + j - 6*j + t = 0, 0 = -5*j for f.
4
Let z = -3865 - -3867. Solve -2*t - 10 = -5*a, 3*t + 3*a + 15 = -z*a for t.
-5
Suppose -66*j + 140 = -36 - 154. Solve 58*m - 59*m + 3*d - 12 = 0, 22 = -m + j*d for m.
3
Let t = -172 + 184. Suppose a - 13 = 2*m - 4, -4*m = t. Solve -2*w + 5*b = 8, w - a*w = 2*b + 8 for w.
-4
Let r(p) = 5*p + 9. Let l(m) = 4*m + 9. Let q(h) = -3*l(h) + 2*r(h). Let i be q(-6). Suppose 64 - 4 = 15*n. Solve 22 = -n*a - d, 3*a + i*d + 1 = 4*a for a.
-5
Suppose 63 = 6*m + m. Suppose -2*a + m = -11*a. Let f be a/(-2) + (-18)/(-4). Solve -5*l + 20 = -f*y, -20 = 2*l + 2*y + 3*y for l.
0
Let a = -10834 - -10836. Solve -8*s - 4 = 2*k - 10*s, a*k - 16 = -3*s for k.
2
Let l be (-9)/5*10/(-3). Let k = -6 - -15. Let c(i) = -i**2 + 27. Let h be c(-5). Solve -4*s + j = -k - l, h*s - 2*j = 6 for s.
4
Suppose 429 = -5*o - 561. Let s be (1914/o)/((-2)/6). Solve z + 20 = 5*h, z = -5*h + 1 + s for h.
5
Let l = -798 - -800. Let q(x) = 2*x**2 - 2*x - 1. Let r be q(-1). Suppose r*h = 2*h + l. Solve -h*j + 5*w = -0*j - 23, 0 = 5*w + 25 for j.
-1
Suppose 3*g + 127 = 109. Let u be (-5 + 4)/(2/g). Solve -u*r - 3*o = -3, r + 5*o + 3 - 4 = 0 for r.
1
Let l = -531 - -540. Let r be -6 + (450/l)/5. Solve w + w - 10 = 0, -r*u + 2*w + 6 = 0 for u.
4
Let c = -252 + 404. Let o = -152 + c. Solve 4*r - 2 = 2*s, o*s + 4*r = -2*s - 18 for s.
-5
Let o(m) = -28*m + 285. Let g(x) = -58*x + 300. Let k be g(5). Let w be o(k). Let h = 5 - -9. Solve 6*l - 4*l - 5*j - h = 0, w*l + 27 = -3*j for l.
-3
Suppose d = 4*d - 12. Suppose 5*k - 20 = -5*a, 0 = 3*k + a + 3*a - 12. Suppose 7*g - d = -k. Solve g = -5*s - b + 5*b - 5, -5*s + 35 = 4*b for s.
3
Suppose 6 + 7 = -20*n + 13. Solve n = 2*c - 3*i - 1, 4*c - 7*i + 2*i + 1 = 0 for c.
-4
Suppose -33*n + 35*n - 8 = 0. Let s be (n*-1*50/40)/(-1). Solve 2*f = -5*g + 11, -4*g + 5*g + s = -4*f for g.
3
Let t be 62/22 - (-26)/143. Suppose v + 3*v - 10 = 5*h, 0 = 