1. Solve -2*b + 4 = -h + 5*h, h = -p*b - 2 for h.
2
Let q(t) = t**3 - 19*t**2 + 17*t + 24. Let p be q(18). Suppose -p = -3*m + 12. Solve 2*a = -2*j + m, 8 = -3*j + 4*a + 3 for j.
1
Let s(h) = 6*h**2 + 3*h + 2. Let j be s(-1). Suppose j*t + 20 = t. Let v = 6 - t. Solve -4*n - 5*l + v = 0, l + 1 + 12 = 3*n for n.
4
Let v = -16 + 7. Let p = 13 + v. Suppose p*g = 6*g - 6. Solve 2*m + 4 + 3 = t, -9 = g*m - t for m.
-2
Suppose -2*y = -79 + 69. Solve -y*b + 19 = -z, -8*z + 3*z + 3*b - 7 = 0 for z.
1
Suppose 5*r + 24 = -u, 5*u - 4*r + 4 - 29 = 0. Solve c = -2 - u, c + 23 = 4*a for a.
5
Let w(a) = -4*a - 4. Let b be w(-2). Let u = 0 + b. Suppose -u*x + 24 = -2*x. Solve -8 = -2*f + d, -d - x = -4*f - 0 for f.
2
Suppose -3*k = -q + 9, -29*k + 25*k = -4*q + 12. Solve 4*u + 0*u - 18 = 2*z, q = -5*z - 3*u + 20 for z.
1
Suppose 0 = y + 2, 0*q - 14 = -4*q + 5*y. Let n be 1*(0 - (-2)/q). Solve n*r + r = 2*m - 15, -m - 6 = 3*r for m.
3
Let i be ((-69)/(-12) - 3) + (-3)/(-12). Let u(z) = -z + 3. Let p be u(-3). Solve -h - 4*h - 2*r = -p, i*r = -6 for h.
2
Let n(o) = 7*o**3 + o**2 + o - 2. Let c be n(1). Suppose k + 12 = c*k. Solve -4*w + 0*w = -3*i - 7, 9 = -i - k*w for i.
-5
Let f = -7 - -2. Let t be (1 + -3)*(-2)/(-4). Let y = t - f. Solve -y*s + 0*m = 4*m - 24, 3*s - 16 = -2*m for s.
4
Let p be (-2)/(-4)*(-4)/(-1) - -2. Let d = 9 + -3. Let x be (-3)/d + 10/p. Solve -4*q = -x*z + 18, 5*q + 6*z - 3*z = -28 for q.
-5
Let a(f) be the third derivative of -f**4/12 - 17*f**3/3 + 41*f**2. Let d be a(-18). Solve 0 = -d*h + u + 6, -h - 3*u = 2*u - 3 for h.
3
Let g be 1 - (4/(-4) + -2). Let f be 2 + 2 + g + 2. Let a be 34/f - (-4)/(-10). Solve -4*n - i = -14, -n + 16 = a*n + 2*i for n.
3
Suppose 10 = -3*m + 5*m. Let a(p) = p**3 - 2*p**2 + 2*p + 1. Let x be a(2). Solve 3*n + t + 5 = 0, -m*n - 2*t - 3*t = x for n.
-2
Let r(m) = 2*m + 22. Let p be r(-9). Solve -4*u + p*o = 4, -2*u + 3*o - 4 = -0*o for u.
1
Let a(l) = -5*l**2 + 3*l - 2. Let u be a(1). Let r be (u + 2)/((-2)/(-1) + -3). Solve -5*v - 1 = -r*x, -3*x - v - 3 = 4 for x.
-2
Suppose -2*l + 13 = -v, -19 = -2*l - 3*l - 2*v. Suppose -l*s + 2*s = -90. Suppose 8*x - s = 5*x. Solve x = -4*m + 5*h, -4*h + 2*h = m + 9 for m.
-5
Let h be (-208)/6 - (-2)/(-6). Let z be h/14*(3 + -1). Let s = z - -13. Solve 0 = f - 4*n, 0 = 2*f + 4*n + 4 + s for f.
-4
Let w = 5 - -3. Suppose 0 = 15*s - w*s - 28. Solve 0 = -s*d + 2*m - 18, -d + 2*m + 7 = -2*d for d.
-5
Suppose 2*f + 2*f = 2*b + 4, -b + 2 = 2*f. Let a be f/(1/(-20))*-1. Suppose 2365 - 540 = 365*p. Solve 2*c - a = -4*x - 0*c, -25 = -p*x - 3*c for x.
5
Let b be (-6)/9*3*1. Let c be -154*(1/b - 0). Let n be 2/(-15) - c/(-15). Solve -19 = n*s + i, -s - 4*i = i - 1 for s.
-4
Let o be (-4 + 5)*0/1 - -4. Solve 3*u = 2*x + u - 14, -2*x - o*u = 16 for x.
2
Let s(n) = n**2 - 4*n + 3. Let v = -13 - 27. Let a be (v/(-15))/(2/3). Let m be s(a). Solve m*o - 2*o - 3*q = -1, -5*o + q - 19 = 0 for o.
-4
Suppose 0 = 17*n - 6 - 79. Solve 2*i + 5 - 3 = 0, -n*c - 8 = -2*i for c.
-2
Let a(u) be the second derivative of -u**4/12 + u**3 + u**2/2 - 8*u. Let c be a(6). Solve -2*j + 0*d = -d - c, -j = -d + 1 for j.
2
Let q(k) = -5*k - 90. Let o be q(-19). Solve 0 = -3*j - 2*j - 3*c - 32, -c = -o*j - 16 for j.
-4
Suppose -29*w + 420 + 102 = 0. Solve -2*l + 5*l + 3*p = w, -l - 5*p + 18 = 0 for l.
3
Let h = -29 + 49. Suppose -16*m + 11*m = -25. Suppose -11 = -m*u + 14. Solve u*n + 2*z = 3*n - 12, -4*n - 3*z = h for n.
-2
Suppose -5*a = -12 - 58. Let l = -9 + a. Let p(v) = v**2 - 5*v + 4. Let c be p(l). Solve 2*w = -2*x - 0*x - 10, 2*w = 4*x - c for x.
-1
Suppose -5*z + 8 = -z. Let r be z/(-2) + 2 + -4. Let g(b) = -b**3 - b**2 + 3*b - 4. Let q be g(r). Solve -4*j = 3*h + q, h + 9 = -2*h for j.
1
Let t be ((-20)/8 - -3) + 21/6. Suppose 2*y - 30 = 7*m - 2*m, -t*m - 1 = 3*y. Solve -4*i = g + 16, 0 = 5*g + y*i - i for g.
4
Let m be -1*1/(-2)*-2*13. Let r(g) = g**2 + 14*g + 16. Let h be r(m). Solve -4*y + h*f - 8 = 0, 3*f = y + f - 3 for y.
-5
Let i be 51 + 8/4 + -1. Let l be 147/18 + 1/(-6). Suppose -l*r + 4*r + i = 0. Solve 2 = n + 5*d + r, 4*n = d - 2 for n.
-1
Suppose 3*v = -5*r - 6 - 7, -v + 19 = -3*r. Suppose 0 = t - 2*z + z, 2*t - 24 = -v*z. Suppose 3*h = 7*h - 60. Solve -4*f + 4*w + h = -f, 4*f + t*w = 20 for f.
5
Let c be ((-203)/(-21) - 9)*(-6)/(-2). Solve 9 - 3 = -c*n + 4*o, -9 = -n - 2*o for n.
3
Suppose 0 = 31*x - 97 + 4. Solve -x*m = -8*m - 2*v, 0 = -5*m - 3*v for m.
0
Suppose 9*s = 91 - 64. Solve -5*h = -5*y - 5, -h - 4*y = s*h + 20 for h.
-2
Let f(b) = b**3 + 4*b**2 + b + 1. Let o be f(-4). Let j(q) = -6*q - 9. Let p be j(o). Solve 0*a = -5*g + 3*a + p, -4*g = 3*a - 18 for g.
3
Let h(i) = -i**2 - 5*i + 2. Let n be h(-3). Suppose -5*x = -n*x + 9. Solve -5 = 4*k + 3*p, 0*k + 3*p = -x*k for k.
-5
Let c = 757 - 752. Solve -5*o - c*q = 10, o + q - 6 = 4*o for o.
-2
Let t(q) be the second derivative of q**5/20 + q**4/6 - 5*q**3/3 + 5*q. Let d be t(-4). Solve -5*v + 2*n = -d, -2*v = -5*v + 4*n + 16 for v.
0
Suppose -3*l - 12 = -7*l. Suppose -5 - 7 = -l*k. Let n(q) = -q**3 + 11*q**2 - q + 16. Let w be n(11). Solve k*s - 6 = 3*a, a + 10 + 3 = w*s for a.
2
Let w(p) = 62*p - 57. Let q be w(1). Solve 0 = -3*s, a = q*a - 3*s - 20 for a.
5
Suppose 5*c = -j - 17 + 12, 5*j + c = 23. Solve -m = 2*m - r - j, 4*r = -3*m - 5 for m.
1
Suppose -3*x = 2*l - 16, 7*l + 2*x - 14 = 5*l. Solve 0 = -4*k - 5*o - l, -10 = -4*k + 2*o - 36 for k.
-5
Let b(a) = -78*a - 126. Let n(y) = 11*y + 18. Let o(g) = -2*b(g) - 15*n(g). Let p be o(-2). Solve 3*s + p*j = j + 10, 4*s - 16 = 2*j for s.
2
Let u(f) = f**3 - f**2 - 4*f - 1. Let y be u(3). Suppose -7*c + y = -6*c. Solve 5*s - 25 = 5*p - 0*s, 0 = -c*p - 2*s - 11 for p.
-3
Suppose 3*z = -b - 1 + 3, -2 = 2*z. Let l be (8/(-10))/(1/b). Let d be (-144)/(-66) + l/22. Solve 5*i = 0, 0 = -d*f - 5*i - 5 - 5 for f.
-5
Let h be (1/(-1))/((-2)/(-10)). Let r be (-1 - -2)*(h - -10). Let b be (0/1)/(-6 + 8). Solve 3*t + q = t - 1, q - r = b for t.
-3
Suppose -q - 96 - 11 = -5*g, 5*q + 2*g + 562 = 0. Let l be (-8)/14*q/32. Solve -5*x + 20 = -l*w, 8 = -3*w + w - x for w.
-5
Let m = 249 - 243. Solve -3*v + 4*a + 3 = -6, 5*a = 2*v - m for v.
3
Let y = 62 + -42. Suppose -d = -2*j - 4*d + y, -d = -4. Let l be (j/6)/((-2)/(-15)). Solve -p = -3*n + l*n + 11, 0 = 3*n + p + 14 for n.
-3
Let p(j) = -10*j - 4. Let n(k) = -21*k - 7. Let w(a) = 3*n(a) - 5*p(a). Let y be w(-2). Let r be 1 + 0/(-3) + 1. Solve 2*h = r*m + 6, 5*m = -0*m - y for h.
-2
Suppose -4*o + 134 = 78. Solve c = 2*x, -5*c - 4*x + o = -0*c for c.
2
Let b be -3 + 1/(1/7). Suppose -4 = 5*q + x, -4 - b = -q + 2*x. Let m = 9 - 6. Solve -m*v - z + 5 = 0, -5*z + 25 = 5*v - q*z for v.
0
Let w = -287 + 299. Solve 0 = -4*p + n + w, -2*p - 6*n + n + 28 = 0 for p.
4
Let v(a) = -6*a + 25. Let z be v(-11). Suppose -z = -3*h - 91. Solve 2*p - 4*q + 10 = h, p = 5*q - 4 - 1 for p.
-5
Let k(c) = -c - 8. Let t be k(-11). Suppose 0 = -5*r - 3*w + t + 77, -4*r + 66 = 2*w. Solve -4*q + 4*n = 9 + 7, q + r = 4*n for q.
1
Let h(f) = f**2 - 54*f + 81. Let p be h(53). Solve -5*i - c = 4 - p, -3*i + 4*c = 4 for i.
4
Suppose 0 = 2*x + c - 4*c + 6, 8 = 4*c. Solve -2*n - 18 = -2*m, x = -3*m - 4*n + 1 - 2 for m.
5
Let c be (10 - 1)*(-32)/(-24). Let a(n) = -c*n - 4 + 13*n + 1. Let k be a(7). Solve -4*x + 6 = m, -2*m - 3*x - k = 3*m for m.
-2
Suppose 3*d - 4 = d. Let q = -10 + 9. Let p(a) = -7*a**3 + a + 1. Let j be p(q). Solve -l + d*y = -2*l - j, 0 = -y - 5 for l.
3
Let u(d) = -2*d - 6. Let c be u(-4). Let z be (5 - 38/10)*(-5 + 0). Let t be z/4 + 9/2. Solve t*w - 18 = -3*m, w = -c*w + 15 for m.
1
Let a(v) = v**2 - 6*v + 8. Suppose -5*n + o + 26 = 0, 3*o = -5*n + 13 + 9. Let h be a(n). Solve -2*r + 5*r - 24 = h*m, -r + 14 = -3*m for m.
-3
Let b = 5 - 17. Let z = b + 4. Let u = z + 11. Solve -u*v + 1 = -4*g - 7, 0 = -3*v + 12 for g.
1
Suppose -11 - 1 = -3*k. Solve k*d - 5*z = -d - 15, -2*d = -4*z + 8 for d.
-2
Suppose 0 = 38*f - 31*f. Suppose -3*j + 9 = -0*j - 4*k, 3*j - k - 9 = f. Solve -5*w + 4*r - 12 = r, -j*w = r - 4 for w.
0
Let j = 21 - 17. Let w be (1/j)/((1 + -10)/(-72)). Solve -o = -2*y - w, 2*o - 5*y - 5 = 5*o for o.
0
Let k = -24 + 15. Let f = k - -18. Suppose f = 3*m - 6. Solve 4*j = 2*t - 10, 3 = m*j + t - 2 for j.
0
Suppose -28*w + 107 = 79. Solve i - 5 =