 = x - 3 for h.
1
Let c = 3892 + -3864. Solve 8 = 4*m - 8, -3*m + c = -4*f for f.
-4
Let b be ((-16)/32)/((-196)/(-40) + -5). Suppose -3*w = 3*d - 18, 5*w - 3*d - 12 = 2. Solve 0 = -2*z - 2*z + 5*x + 16, -b*x + w = z for z.
4
Let n = 2549 - 2544. Solve -3*h + 8 - 22 = 4*d, -n*h - 2 = -4*d for h.
-2
Let c(v) = -9*v**2 - 3*v - 6. Let d be c(-4). Let m = d + 141. Solve 5*k = -m*r - 17, 0*r - 2*r + 2*k = -10 for r.
1
Suppose 4*i + 2*c = 32, -1007*c - 20 = i - 1010*c. Solve 7*v - 13*v - 8 = -i*g, 0 = v + 5*g - 27 for v.
2
Suppose -9 = 2*x - 5*x. Let p = x - -2. Let c(a) = a**3 - 6*a**2 + 4*a + 8. Let r be c(p). Solve -5*s - 4*i + 19 = 0, s = -3*s - r*i + 15 for s.
3
Let r(k) = -20 + 0*k**2 + 75*k - 6*k**2 + 5*k**2 - 65*k. Let y be r(4). Solve 4*n + 0*t = -y*t, 5*t + 15 = -2*n for n.
5
Suppose 3*g - 3*h = 95 + 148, 3*h - 61 = -g. Suppose -4*x + g = 4*v, 2*v - 5 + 1 = 0. Let n be 1 + 15 - (-20)/(-5)*-1. Solve n = -4*o, x = 2*l - 3*o - 2 for l.
2
Let m be 8/2 + -1 + 26 + -27. Solve 10*u = 5*u + k + 24, -m*u + 16 = -2*k for u.
4
Let q be (26/(-247))/(5/(-95)). Solve m = q*y + 3, 0*y = -3*y - 4*m + 1 for y.
-1
Suppose 125 = 39*y - 31. Suppose 2*f - 5*f - 2*v = -26, -2*f = y*v - 4. Suppose q = -0*q + 2. Solve p + q*p = l + 14, -p - f = 3*l for l.
-5
Suppose -r = 4*d + 659, 4*r = -12*d + 9*d - 491. Let y be 26/11 + 60/d. Solve -2*g + 3*i = y, -4*g + 0*i + 12 = 2*i for g.
2
Let k(s) = s**2 - 14*s + 10. Let d be k(13). Let b be -3 - 2/d*27/6. Solve -3*g - 4*x - 13 = 10, b = -g + 2*x + 9 for g.
-1
Suppose -140 = -10*z - 25*z. Solve 2*f + z*q + 10 = 0, 0 = -4*f + f - 3*q for f.
5
Let c be 2/((-14)/35) + -270. Let i = c - -278. Solve -4*g - 19 = i*u, -4*u = -g - 0*g for u.
-1
Let w(v) be the third derivative of -v**4/3 - 62*v**3/3 - 85*v**2. Let o be w(-16). Solve -h - h = 5*s + 25, 3*h + 27 = -o*s for h.
-5
Let i(s) = 34*s - 38. Let o(f) = -f**2 - f + 2. Let u(m) = -i(m) + o(m). Let y be u(-36). Solve -3*d = -3*w + 9, d + d - y = 0 for w.
5
Let p = 4067 + -4063. Solve 5*a + 12 = 5*t + 7, 8 = -p*a + 2*t for a.
-3
Suppose 3*m + 85 = -47. Let y = m + 29. Let k(r) = r + 17. Let c be k(y). Solve 0 = 3*n - c*i + 16, -2*n + 5*i - 11 = 18 for n.
-2
Suppose 39 = 3*z + 10*z. Suppose 0 = -b + 4*f + 5 + 6, -16 = b + 5*f. Let a = b + z. Solve 6 = -2*s + a, 4*s = 4*j for j.
-2
Let q = 13 + -2. Let b(y) = -2*y**3 - y**2 + 13*y + 392. Let j be b(6). Solve -k = 2*a - 4, a + q = j*a - 4*k for a.
3
Let p be 9 + -9 - (6 + -3)/(-1). Suppose -5*w - 8 = -2*a, -2*w = 4*a - 3*w - 52. Let u = 14 - a. Solve u = -3*m - p*d + d + 6, -d = -m - 3 for m.
0
Let a be 8 - (-24 + 21) - -5. Solve t - a = -4*d, 10*t + 8 = 15*t - 4*d for t.
4
Let j(c) = -c**2 + 6*c - 6. Let i be j(2). Suppose i*o + 200 = 3*q, -o + 5*q - 66 - 27 = 0. Let z = o - -105. Solve 0 = z*h - 5*s + 2 + 3, 2*s - 6 = 0 for h.
5
Let l = -31 + 36. Suppose -l*a = 5*g + 145, -2*a = 6*g - 2*g + 122. Let n = g + 34. Solve 4*b + n = -5*h, -5*h + b - 16 = -2*b for h.
-2
Let n(d) = -d - 6. Suppose w = -i + 3*w + 2, 0 = 2*i + 2*w + 20. Let q be n(i). Solve q = -0*z + z - 5*h - 16, z + 16 = -3*h for z.
-4
Suppose -16*i + 125 = 9*i. Suppose -6 = -i*f + 2*f. Solve 2*z + 20 = -5*t, 20 = -2*t - f*z + 6 for t.
-2
Let l(t) = 17*t + 58. Let v(g) = 17*g + 57. Let i(o) = 5*l(o) - 6*v(o). Let p be i(-4). Solve 4*u = -5*r - p, -u + 3*u + 5*r = -18 for u.
1
Let g(q) = -q**3 + 3*q**2 + 5*q - 4. Let c be g(4). Suppose 3*r - f + 4 = 9, 5*f - 31 = r. Solve 2*d - 4 = k + k, c = k + r for d.
-2
Let g(a) = 23*a**3 - 6*a**2 - 3. Let k(q) = 22*q**3 - 5*q**2 - 2. Let y(f) = 4*g(f) - 5*k(f). Let n be y(-1). Solve 4*r - n = 5*o, r + 2*o + 0 - 1 = 0 for r.
3
Let t(v) = v**3 + 3*v**2 + 2*v + 6. Let u be t(-3). Suppose 2*g - 3*g + 2*h - 57 = u, 186 = -3*g + h. Let r = -60 - g. Solve 3 = r*a - 5*n, n + 3 = -0*n for a.
-4
Let n(g) = g**2 - 29*g - 25. Let l be n(30). Suppose 42 = -19*j + 21*j - 2*o, l*j = 2*o + 90. Solve -j = m - 4*w + 3, 0 = 5*w - 20 for m.
-3
Suppose 5*b + 391 = 2296. Let m = b - 357. Solve 4*t = 2*f + 10, 1 = 3*t - 5*f - m for t.
0
Suppose -5*g + 4*g + 3 = 0. Suppose 0 = -2*d + 5*c - 15, -g*c + 33 = 5*d - 7. Suppose 7*f = -347 + 361. Solve -d = -f*n + z, 4*n = -n + 4*z + 8 for n.
4
Let v(g) = -2*g + 33. Suppose -39*t = -41*t + 30. Let x be v(t). Solve 0 = 3*i + 4*r - 26, -2*i - r + x = -6 for i.
2
Let c(w) = -12*w - 26. Let s be c(-8). Suppose 2*n = -5*n + s. Suppose -n*l + 87 + 13 = 0. Solve 2 = -4*x + 4*p - 6, -3*x + 5*p = l for x.
0
Let r(p) = p**3 + 15*p**2 + 2*p + 35. Suppose 534*y - 15 = 535*y. Let u be r(y). Solve 0 = h + u, -5*n = -3*h - 13 - 12 for n.
2
Suppose -4*j - 6 = 2*i + 4, -2*j = 10. Solve 7*o + 2*n = 6*o, 5*o + i*n = 10 for o.
4
Suppose 5*u = 4*h - h + 9, -2*h + 10 = 2*u. Let q(z) = 7*z**2 + 78*z - 276. Let j be q(-14). Solve 21 = i + j*b, h*i - 19 + 2 = -3*b for i.
1
Let i(t) = t**2 - 2*t - 3. Let k be i(3). Suppose k*b = 2*b. Let d be (23 - 14)/(0 - -1). Solve -p - 3*p + 5*g = 5, -3*g - d = b for p.
-5
Let q be ((-1)/1)/((-2)/(-78)). Suppose 0 = 49*j + 974 - 529 + 1613. Let f = q - j. Solve -f*u + t = -0*u + 8, 0 = -5*u - t for u.
-1
Suppose 96*b - 3502 - 2298 = -104*b. Solve 0 = -5*w + 3*k - 7, -3*k + 15 = -26*w + b*w for w.
1
Let f be 13 + -14 + 20 + -19. Solve f*a + a + 15 = 5*i, -2*i - 2*a + 18 = 0 for i.
4
Let f be 3 + (-305)/(-3) - 95/57. Let l = f + -98. Solve -a + 4*w = 17, l*a = 6*a + 5*w - 28 for a.
3
Let b = 27 + 23. Let g(t) = 19*t**2 + 722*t - 45. Let k be g(-38). Let h = b + k. Solve -5*s = 5*v + 20, -h*v - 2*s - 1 = 13 for v.
-2
Let v(f) = f**3 - 3*f**2 - 2*f - 3. Suppose u = 6*u - 20. Let z be v(u). Suppose -38*c = 126 - 240. Solve 0*o - c*o = z*p - 32, 2*o - 2*p = 0 for o.
4
Let h(d) = d**3 + 25*d**2 + 146*d - 57. Let o be h(-15). Solve -o*z - 2 = r, z - r - 5 = 1 for z.
1
Let w be 46/((-2 - -4)/1). Let r = 410 - 415. Let b be 6 - 1*(r - (-4 - 5)). Solve w = 5*i + b*z, -4*i + 4*z + 4 = 2*z for i.
3
Let y be 14*(8/(-44) + 81/22). Let a = y + -47. Solve 5*b - 33 = 2*z, -a*b + 26 = -4*z - 0*z for b.
5
Let r = -32 + 49. Let u = -467 + 468. Let f be u/((-2)/(-5 - 1)). Solve g = -2*w + 6*g - 27, f*w - r = -4*g for w.
-1
Suppose 13*v - 66*v = -159. Suppose -3*h = -1 - 8. Let d be ((-12)/8 - 1)*42/(-15). Solve -4*q - 3 = -h*j + d, v*q - 5*j + 2 = 0 for q.
-4
Suppose -380 - 24 = -101*n. Solve -3*g = y + 8, 0 = -n*g + 102*y - 98*y + 16 for g.
-1
Suppose -4*f + 2*y = -122, -y + 4 = -5*y. Solve -4*i = 5*u + f, -15*u + 19*u - 17 = 5*i for i.
-5
Suppose 189 = 21*h - 42. Suppose 13 + 16 = 4*i + s, -5*s = -4*i + 47. Let t = 13 - i. Solve y + h = -2*w, -y + t*y + 5 = 5*w for y.
-5
Let x be ((-6)/(-12))/((-1)/10). Let z be (8/(-10))/(1/x). Suppose z*p - 34 = -14. Solve -3*r - 3*j + p = -2*r, 5*r - 2*j + 9 = 0 for r.
-1
Suppose -4*t - 23*t = -189. Solve 13 = 4*o - 5*y, t = 2*o + 5*y + 8 for o.
2
Let d = -435 + 435. Suppose -3*j + 0*j + 5*j = d. Solve -5*l = -2*k + 15, -k - l - 3 = -j*k for k.
0
Suppose 10 = 7*w - 2*w. Let j(q) = 12*q + 1. Let x be j(1). Let m(d) = -d**2 + 15*d - 18. Let z be m(x). Solve z*a - 4*a - 8 = -4*u, -5*a + 16 = w*u for u.
-2
Let v(o) = 8*o - 45. Let u be v(6). Solve -u*r = -4*g + 3, -4*g + g = 3*r + 24 for g.
-3
Let g be 26 + -7 + (-12)/2. Solve 5*z = -r + 21, -4*z + 23 + g = -4*r for r.
-4
Let x = 382 + -661. Let t be ((-6)/8)/(-8 - x/36). Solve -3 = 2*m - t*l + 18, -2*m - 5*l = -19 for m.
-3
Let k = -127 - -129. Let m(c) = -c**3 - 19*c**2 - 18*c + 2. Let w be m(-18). Solve -k*j + 1 = f - 1, -2*j + f = w for j.
0
Let g = 4139 + -4138. Solve -5*h + 20 = p, -4*p = -3*h - g - 10 for h.
3
Let r = -24878 - -24881. Solve 4*q = 5*i + 27, -26*q = -5*i - 25*q - r for i.
1
Let q be 1/(-3) + 645/45. Suppose -12*b + 54 = -q*b. Let x be (-4)/6 + (-747)/b. Solve -3*h + 2 = c + 18, x = -2*c - 5*h for c.
-1
Suppose 27*s - 31*s - 8 = 0. Let n be s/(((-3)/(-6))/(5/(-10))). Solve n*y + 2*f = 3*y, 0 = -f + 1 for y.
2
Suppose 22 = -18*s - 17*s + 46*s. Solve -4*l + 4*h = -4, 4*h = 3*l + s*h - 5 for l.
3
Suppose 0 = -0*m + 5*m - 2*b - 140, 21 = m + b. Suppose 0 = 3*l - 12, -8 = -3*u - 4*l + m. Let v = u - 4. Solve -2*s - a - 6 = v*s, 0 = 5*a - 10 for s.
-2
Suppose 5*i - 2*o + 267 - 336 = 0, 2*i = -2*o + 8. Solve 5*z = -5*s - 15, 2*z = -3*s + 4*z + i for s.
1
Let f be (6 - (-50)/(-5))*-1. Suppose r - 8 + f = 0. Solve y =