= -i*s - 14 for h.
3
Let s(w) = -w**3 - 44*w**2 - 45*w - 85. Let k be s(-43). Solve 5*m - f - 5 = 0, m - 3*f + f = k for m.
1
Let s = -24 + 28. Solve 2*q - 2*g - 3*g = 12, -4*q = -s*g for q.
-4
Let z be (1 - -3)/(2/1). Let m = 6 - 2. Suppose m*o - o + 8 = n, 17 = 4*n + 3*o. Solve 0 = n*t - z*s + 40 - 16, -t + 3*s = 10 for t.
-4
Suppose 6*z - 10 = 11*z, 0 = -4*g + 4*z + 16. Solve -4*f + 4 = g*w, w + 4*w = -4*f - 2 for f.
2
Suppose 0 = -3*p + i + 9, 2*i - 6 = 4*i. Suppose 54*a + 24 = 58*a. Let j = p + a. Solve 0 = -j*w + 3*w - v + 8, 8 = -4*v for w.
2
Let j be (-217)/(-62) - (-2)/4. Solve -15 = 3*r - 3*x, -x = -j*r - 0*x - 14 for r.
-3
Let b(k) = -3*k - 3. Let a be b(2). Let g = -7 - a. Suppose 0 = 5*f - 5*u - 30, -4*f - g*u + 13 = -5. Solve -2*c = 2, -c = f*z + c - 8 for z.
2
Let m(y) = 2*y + 52. Let p be m(-26). Suppose p = -2*f + 5*b + 11, -62 = -5*f + 2*b + 18. Solve -3*g - u + 4*u = -f, -g + 2*u = -9 for g.
3
Suppose -42*r - 23*r = 0. Solve 0 = f + 2, 2*f + r + 4 = -5*k for k.
0
Suppose i - u - 5 = 0, 1 = u + 4. Suppose -t - 8 = -i*y, t + 5*y - 3*y - 8 = 0. Suppose t = 5*q - 0*q - 20. Solve 4*o - q = 3*z + 4, 3*z = 12 for o.
5
Suppose -10*h = -4*h - 120. Let s = 0 + 12. Suppose 0*t + s = 2*f - 4*t, h = 2*f - 2*t. Solve -3*x - 4*l = -4 + 2, 5*l - f = 2*x for x.
-2
Suppose 0 = -4*f + 15 + 25. Let b(n) = n**2 - 11*n + 9. Let v be b(f). Let t be (-2 - -2)/1*v. Solve 5*h + 2*s = -7 - 3, 5*h - s - 5 = t for h.
0
Let z = -16 - -16. Suppose -5*j + 5 = z, 3*t - 5 = -j + 2. Solve 5*g + 3*r - 18 = 8, -t*g + 16 = 4*r for g.
4
Suppose 3*y - 3*z - 15 = 0, -y - z = -3 - 2. Suppose 3*g - 2*f = 22 - 4, -2*g = y*f - 31. Solve -5*b + 4*b + g = -k, 5*k + 20 = 0 for b.
4
Suppose 2*q - 8 = -4*c, -2*q - 42 = 3*c - 46. Solve 0 = -h - c*s + 7, 9*s = 2*h + 11*s + 4 for h.
-5
Suppose 3*p - 5*n = 22, p + 3 = 3*n + 5. Let u(t) = -t**2 - 2*t + 3. Let x be u(3). Let d = x + p. Solve d*q + 3*q + 3 = -2*c, 0 = -q + 3*c + 13 for q.
1
Let d(y) = -4*y + 24. Let l be d(4). Let h be 2/l + 2/(-8). Solve -2*i = -5*b + 4, b + 1 = -h*i + i for b.
2
Let z = 29 - 12. Let f(n) = -2*n**2 - 11*n + 10. Let b be f(-6). Suppose b + 0 = 3*a + g, g = -a. Solve 0 = i - 5*d + z, -2 - 9 = -a*i - 5*d for i.
-2
Let w(m) = -2*m - 12. Let v = 11 - 35. Let b = 16 + v. Let q be w(b). Solve -9 = 2*c - q*f - f, -2*f + 8 = -3*c for c.
-2
Let j(y) = -7*y + 28. Let u be j(4). Solve u = 3*b + 4*v + 4 + 2, 0 = -3*b - 2*v for b.
2
Let k = -2 - -6. Suppose -2*v + o = 5*o - k, v = -o + 1. Suppose 310*t - 356*t = -230. Solve -35 = t*c - 5*b, -c - b - 1 = -v*c for c.
-4
Let j be 2*(-3 + -2 + 4). Let x be (1 + -1)/j + 1. Let l be 1 + 3 + -2 + 8. Solve b = 3*b + 3*o + x, b - l = 2*o for b.
4
Suppose -m - 7*v + 9*v + 7 = 0, -m + 5*v - 8 = 0. Solve -4*u = h - 21, u + m = 5*h - u for h.
5
Let s = -66 - -37. Let d = s + 36. Suppose -4*m = -d*m. Solve 2*o - 4*q - 1 + 13 = m, 0 = 5*o - 2*q + 14 for o.
-2
Let x = -15 + 14. Let h = -8 - x. Let b(m) = m**3 + 8*m**2 + 5*m - 10. Let a be b(h). Solve -a*s + 19 = -9*s + r, -4*s - 17 = r for s.
-4
Let d = -9 + 13. Suppose 0 = -3*u - d*b - 97 + 39, 5*b - 129 = 4*u. Let v be (-4)/u - 96/(-52). Solve -5*o + v*s = 6*s + 5, 2*s = o - 13 for o.
3
Suppose 4*h - 3*h = 4. Suppose 2*b - h = -40. Let v = b + 23. Solve -v*u + 3*a + 9 = 0, -3*u - 4*a = -u - 14 for u.
3
Let h(i) = -i**3 + 5*i**2 - 2*i - 9. Let j be h(3). Solve 2*u + 26 = w + j*w, 32 = 4*w - 4*u for w.
5
Let u be ((-4)/(-18))/(14/21)*9. Suppose -u*b - 2 = -11. Solve 0 = 3*c - m, -b*c = -0*c - 2*m + 3 for c.
1
Suppose 3*b - 3*a = 303, -3*b + 5*b = 5*a + 205. Let s = 102 - b. Solve 0 = s*p - 3*z - z + 2, 0 = -3*p - z + 4 for p.
1
Let y = 27 + -27. Solve -4*q - k - 16 = y, 0*q - 4*k + 16 = -4*q for q.
-4
Let d = 18 - 15. Suppose -3*z - 4*y = -26, -3*y + 2*y = -4*z + d. Solve -4*f - m = -3, -2 = z*f - f + 3*m for f.
1
Suppose 0 = -v + 5, -36*v = -5*q - 39*v + 25. Solve g - 3 = q*y, g + 1 = y - 0*y for y.
-4
Let a = 503 + -498. Solve a*l + 20 = -5*o, -3*o + 14 = -4*o - 3*l for o.
1
Let c = 72 - 69. Solve c*i = 5*i + 4*x - 10, 3*x = 6 for i.
1
Let a be (-146)/9 - 4/(-18). Let k(x) = 9*x + 11. Let b be k(a). Let g be 2/7 - b/49. Solve 2*r = 4*c - 0*r + 6, -3*c = -g*r + 3 for c.
-2
Let w be ((-20)/5 - -7)*1. Suppose -w*p + 12 = -0. Solve 0*s - 5*k = -p*s + 32, s + k = -1 for s.
3
Let a = 5 - -1. Suppose 4*b - 9*b - 6 = -4*y, 0 = b - 2*y + 6. Solve -m - b = 0, -2*l - 10 = 5*m + a for l.
-3
Suppose l = -4*p - 4, 0 = l + 3*p + 3 - 0. Solve -a - 2*a - 3 = 3*t, l = 4*a - 5*t + 22 for a.
-3
Let j be 126/26 + (164/52 - 3). Solve -3*w - 4*q = -26, -3*q = -j*w - 1 - 4 for w.
2
Let g(u) = -5*u + 100. Let y be g(20). Solve 5*i + 5*v = y, -5*i + 3*v = 5*v for i.
0
Suppose 5*u - 4*u + 13 = 4*o, 0 = 4*u + 3*o - 5. Let a(l) = 5*l. Let k be a(u). Let s be 30/3*(-4)/k. Solve 3*w - 2*z = 2*w + s, -5*w + 28 = -4*z for w.
4
Let b = 0 - -91. Let v = 94 - b. Solve -25 = 3*m + 2*m, v*d - 5*m - 37 = 0 for d.
4
Suppose -4*b - 104 = -3*u, b + 26 = -3*u - 2*u. Let n = 58 + -32. Let o = n + b. Solve o = 5*v - 2*j - 6 - 5, -3*j - 9 = 0 for v.
1
Suppose -2*j + 7*h + 29 = 2*h, -4*j - 3*h - 7 = 0. Suppose -j*g = -16*g + 56. Solve -n + 12 = -g*n, -k = n + 3 for k.
1
Let t(r) = r**3 - 6*r**2 - r - 4. Let c be t(6). Let z = 7 + c. Let h be (z + 5)/((-3)/(-6)). Solve 4*o - 26 = -h*g - 6, -2*g = -3*o + 10 for o.
4
Suppose 4*w - 8 = -0. Let l be (9/4)/((345/48 - 7)*4). Solve w*x - z + 7 = -0*z, 3*z = l*x + 6 for x.
-5
Let z(v) be the second derivative of v**5/20 - 19*v**4/12 + 3*v**3 + 12*v. Let d be z(18). Solve h + d*h = 2*w - 2, -4*h - w + 1 = 0 for h.
0
Suppose -3*s = -3*z - 12, s + 0 - 4 = 2*z. Let o = 416 - 414. Suppose 0 = -z*l - o*l + 10. Solve -4*v = -l*k - 6, -3*k - 11 = v + 4*v for v.
-1
Let w(s) = s**3 + 3*s**2 - 6*s - 5. Let h be w(-4). Let v(d) = 7*d - 3. Let b be v(h). Solve -3*o + 9 = 0, -4*g - o + b = o for g.
3
Let k(s) = s**2 - 9*s - 4. Let f(r) = r**2 - 8*r - 3. Let z(i) = -4*f(i) + 3*k(i). Let h be z(4). Solve 20 = x - 5*u, -h*x - 20 = -0*x + 5*u for x.
0
Suppose 27 = y - 3*z, 0*z - 2*z = y - 17. Suppose 0*p - 4*p - 16 = -3*s, 3*s - 3*p = y. Solve 4*k = 4*v - s, 0*k + 5*k + 11 = 4*v for v.
4
Let j be -8 + -2 + (46 - 31). Let i(r) = r + 5. Let s be i(0). Solve -4*u = 4, s = -j*h - u - 1 for h.
-1
Suppose 0*g = -3*g - 2*g. Solve g = -d + 4*a + a - 20, 2*d + 2*a - 20 = 0 for d.
5
Let s(h) = -9*h + 1. Let c(r) = 19*r - 3. Let n(k) = -2*c(k) - 5*s(k). Let o be n(-1). Let x be (-2)/(3*o/27). Solve 5*g - 17 = 3*b, -x*g + 6 = b - 7 for b.
1
Let y(i) = -i**3 - 3*i**2 - 5*i - 6. Suppose 16*l = 13*l - 9. Let w be y(l). Solve c = -h - w, -10 = -h - h + 5*c for h.
-5
Let q = -142 + 205. Let d = q - 61. Suppose -4*z - j = -z - 8, -z + 20 = -4*j. Solve 2*g - 5*t + 10 = 5*g, -g - z = -d*t for g.
0
Let z(d) = d**3 + 10*d**2 + 16*d + 9. Let q be z(-8). Solve 0 = 4*k + 5*r + q, -4*k - 12 = -r - 33 for k.
4
Let s be (4 + -7)*-1 - -4. Suppose 5*k - 3*k + 17 = -5*b, -4*b = -2*k + 28. Solve 0*q + 3*q - 5*v - 4 = 0, 5*v + s = k*q for q.
3
Let r(m) = 3*m**2 + 10*m + 2. Let v be r(-4). Suppose 12 - v = n. Solve 5*u - 3*a = n*a - 15, -5*a + 12 = -4*u for u.
-3
Let d = 25 - 21. Suppose -d*t = 4*k - 24, -4 + 2 = -2*t + 3*k. Let l be -1*(0 - t) + 0. Solve -2*m + 5*a - 1 = -2, -l = 4*a for m.
-2
Suppose 3*z = -0*z + 9. Suppose 4*x + z*j - j = 38, x + 2*j = 2. Let m be 201/x + (-1)/(-4). Solve -3*w + 7 = -2*i, 0*i - 4*i - m = -3*w for i.
-5
Suppose -82*g = -76*g - 12. Solve -n + 10 = -m, 0 = 4*m + g*n + 4 + 6 for m.
-5
Suppose 2*b = -2*b + 4. Let c be (-2 + (-3 - -7))/b. Solve 2*a + c = -3*i - 1, 1 = -2*a - i for a.
0
Let x = -4 - 51. Let o = x + 57. Solve 0*s = 5*s - 2*v - 17, 3*s - 7 = o*v for s.
5
Let i be 2*1*(-21)/(-21). Let w be 0 + 1 + (i - 0). Solve -5*q + w = -2*j - 0, 0 = -2*q + 2 for j.
1
Let u = 61 + -58. Let n = 28 - 21. Suppose 4*q - 4 = 4. Solve 0 = q*b + n + 3, u*m - 20 = b for m.
5
Let u = 5 + 2. Suppose i - 2*i = -u. Suppose 4*t - a = -2*a + i, -4*t + 17 = -a. Solve 2*l + 11 = -t*b - 4, -3*l - 5*b - 24 = 0 for l.
-3
Suppose 13*v = 15*v - 10. Solve -v*n = c + 12, -c = 2*n + 4 - 1 for c.
3
Let i be 3/(-9)*1*(-34 - -1). Suppose 3*b = a - 2*a + 15, -5*b = a - 25. Solve 3*v + o - i = -0*o, 4*v - b*o = 40 for v.
5
Let y(q) = -2*q**2 - 2*q + 4. Let s = 3 + -6. Let b