-59*h + 68*h. Solve f + 3*i = -b*f, -4*f + 8 = -h*i for f.
1
Let a(y) = -7*y + 3. Let x be a(-6). Suppose 0 = -h - 2*h + x. Let b(w) = 3*w + 5. Let i be b(0). Solve -i*u - 3 = -4*m - 1, 5*m - h = 0 for u.
2
Suppose 5*l = 3 + 22. Solve 2*d - 10 = 0, -w - l = -2*d + 3 for w.
2
Let p(y) = -3 + 2 + 4*y - 3*y + 4. Let m be p(7). Solve -4 = -0*d - 3*d - 5*f, m = 5*f for d.
-2
Let l(k) be the first derivative of k**4/4 + 7*k**3/3 + 3*k**2 - 1. Let f be l(-6). Suppose f = -0*c - c. Solve -5*n + 3*z = 19, -3*n - 5*z + c = -9 for n.
-2
Let b = 9 + 4. Let f = -8 + b. Solve 0 = -3*q - 3*y + 12, -3*q + f*y + 20 = 2*q for q.
4
Let f = -1 + 3. Let c be 8/(-4)*(-5)/f. Let i(j) = 2*j - 7. Let s be i(c). Solve s*z - 5*q = 5*z + 33, 0 = -z - q - 9 for z.
-4
Let d be 3*(140/(-6))/(-7). Solve -l = h + 3*l - 1, 3*h = -5*l + d for h.
5
Let c(d) = -6*d**3 - d**2 - 4*d - 1. Let m be c(-1). Solve 0 = 5*b - 4*h + 11, -6*h = -4*h - m for b.
1
Let h be ((-4)/(-5))/((-16)/40). Let y be -1 - h/(-4)*-6. Solve y*o + 2*w + 4 = 0, 0*w = 2*o + 3*w + 1 for o.
-5
Suppose 4 = 5*y + 24. Let s be 6 + 0 + -1 + 2. Let a = s + y. Solve -4*m - 20 = 5*h, 4*m + 0*m = -a*h - 12 for h.
-4
Let m(u) = -u**2 + 7*u - 1. Let l be m(6). Solve -5*f + l*n - 25 = 0, -f + 5 = n - 0*n for f.
0
Let j(k) = k + 6. Let i be j(0). Suppose i*y = 3*y - 60. Let m = -12 - y. Solve -5*q = 3*h - m*h - 10, -11 = -4*q + 5*h for q.
-1
Let g = 145 + -140. Solve -g*t = -2*u + 23, -u + 2 = 3*t + 7 for t.
-3
Let x be 0/(2/(-4)*(4 - 2)). Solve i - 4 = 2*y, 4*i = -y - x - 11 for y.
-3
Suppose 9*o - 35 = 4*o - 5*m, 5*o - 4*m = 26. Solve 2*l - 8 = -2*t, -5*t = -l - l - o for t.
2
Let r = -2 + 0. Let a be (-54)/(1*r) - 1. Let g be a/(-8)*-2*2. Solve 5*x = 4*t + 15, 2*x + x + 2*t = -g for x.
-1
Suppose -4*y + 22 - 6 = 0. Solve -n - 5*a + 24 = 0, -3 = -y*n + 5*a - 7 for n.
4
Let c be (4/(-6))/(4/12). Let t be 4 + c + (1 - 1). Let h be ((-40)/30)/((-4)/42). Solve h = -t*i + 4*u, 0*u = 2*i - 3*u + 9 for i.
3
Let d = -6 + 6. Suppose d - 5 = -z - 5*i, 0 = z + 4*i - 5. Suppose 2*r + 4*l + z = 5*r, -4*l = r - 7. Solve c - 2 = -o - r*o, -c + 5*o = 7 for c.
-2
Let o = 10 + -6. Solve -s + 3*g = o*s, s = -2*g for s.
0
Let v = 663 + -660. Let n(u) = 2*u + 3. Let g be n(3). Solve -5*h = 0, 2*h + g = -v*s + 3*h for s.
-3
Let c(a) = -a**2 + a - 15. Let w be c(0). Let g = -47 - w. Let z = -13 - g. Solve 2*d - m = 11, 0 = -4*d + 2*d - 5*m - z for d.
3
Suppose -2 = -4*m - m - 2*l, 1 = l. Suppose 2 = -b + 3*b - 2*y, -b + 2*y = 0. Solve -w + 3*u - 2 = m, b*w + 5*u = 3*w + 4 for w.
1
Let o(d) = d**2 + 5*d + 2. Let w be o(-6). Suppose -3*p + 28 = -w. Solve -p = 4*s - 4*a, 3*a + a - 6 = 2*s for s.
-3
Let b(v) = v + 4. Let j(g) = g**2 + 4*g - 2. Let k be j(-4). Let l be b(k). Solve -3*h + h + z = 0, l*h + 4*z = 0 for h.
0
Let x(r) = 3*r + 2*r + r**2 - 8*r. Let b be x(8). Solve -3*u - 4 - 1 = -2*a, 3*a + 5*u = -b for a.
-5
Suppose h - 5*x = 2 - 1, -4*h = 5*x + 71. Let z be 10/(-35) - 60/h. Solve 3*n = -4*i - 1, -z*i - n + 0 = -5 for i.
2
Suppose -11*y = -3*y - 32. Solve 5*m - 2 = -3*q, -3*q - y = -4*m - 24 for m.
-2
Suppose 0 = -0*w + w - 10. Solve a = -g + 4*g + 1, 0 = -5*a - w for g.
-1
Let x be 3 - 5 - (-6 - -4). Let m be 18/8 - 2/8. Solve -2*k - g = 8, -m*k + 4*k - 4*g + 18 = x for k.
-5
Suppose -4*b = -0*b - 12. Solve -b*g + n - 9 = 0, 5*n + 8 - 2 = -2*g for g.
-3
Suppose 0 = 4*f + 5*n - 18, n + 2 = 3*f - 2. Solve h - 3 = -f*m, -m = -0*h - 4*h - 6 for m.
2
Suppose 0 = -3*f + 4*s + 92, f = -3*f - s + 110. Let w be 148/f + (-2)/7. Solve -4*q = -w*d - 7*q - 37, 4*q = 3*d - 1 for d.
-5
Let p = 11 + -8. Let f(h) = h - p*h + 0*h - 3. Let z be f(-4). Solve 0 = -10*r + z*r + 3*a - 23, -5*a = -4*r - 21 for r.
-4
Suppose -4*j + 14 = 2*c - 18, 3*j = c + 4. Let n = c - 6. Suppose n*a = a. Solve a*b - b + 4 = 2*i, 4*b = 2*i - 4 for i.
2
Let d be 4 + -1 - (1 - (1 - 0)). Solve -4*v + 1 + 1 = -3*p, 4 = 5*v - d*p for v.
2
Suppose 0 = 9*i - 6*i - 9. Let r = i + 2. Solve -5*u = -0*u - r*o + 40, 3*o = 15 for u.
-3
Let k(z) = z**2 + z + 1. Let h be k(-2). Let j be (-3 - 0) + h - -2. Solve -10 = 5*i - 3*c - 1, j*i + 5*c = -16 for i.
-3
Suppose 3*r - 2*j + 8 = 25, -r + 24 = 3*j. Suppose -6*o + r = -o + p, -3*o - 1 = -p. Suppose o = 2*u - 17. Solve -f - u = 5*z, -4*z = f + 5 + 3 for z.
-1
Suppose -c = w + 3*w - 2, 4*w + 2 = c. Let a = -9 - -18. Suppose h - 5*j = -h - 15, -a = -3*j. Solve -o - c*z + 7 = 16, -3*o + 5*z - 5 = h for o.
-5
Let o = 17 - 12. Suppose -19 = c + 4*c - i, o*c = -4*i - 24. Let d be 45/(-6)*c/6. Solve -5*u - b + d = -6*b, 5*u + 25 = -b for u.
-4
Suppose -2*i - 13 = -h + 3*i, h - 4*i - 11 = 0. Solve -3*l + 0*l - 3*x = h, 2*x = l + 7 for l.
-3
Let q(s) = -2*s + 2. Let j be q(-2). Suppose j*b - 5*b - 14 = 0. Let i be (-7)/(b/8)*-1. Solve -8 = i*u - 2*p, 4*u + 5*p + 17 + 5 = 0 for u.
-3
Let s(c) = 4*c**2 + c. Let u be s(1). Let j = u - 2. Solve 7 = -3*y + 2*x, -5*y + 8 = j*x - 12 for y.
1
Suppose 7 - 23 = -4*n. Solve 4*c - 20 = 0, -4*c = -5*h - n - 1 for h.
3
Suppose 4*c = -0*c + 4*q + 4, 5*q + 5 = 4*c. Suppose c*s - 2 = -s. Solve -2*v - 17 = -3*k, 3*v + 4*k + 6 = s*k for v.
-4
Suppose -23 + 11 = -6*f. Solve 2*y - f*m = -8, 3*y + 4*m + 11 + 1 = 0 for y.
-4
Let n(k) = -k**3 - 12*k**2 + 11*k - 18. Let d be n(-13). Solve -4*x - 3*u + 20 = u, -2*u = -4*x + d for x.
3
Let y be 6*2/12*3. Let n(g) = g + 9. Let r be n(-8). Let f be r/3*(-4 + 115). Solve -4*u - 20 = 0, -y*x + u = -4*u - f for x.
4
Suppose 6*q - q = 0. Suppose -2*j - 2 = 2*m, -2*m + 6*m - 2*j - 14 = q. Solve -5*o + 4*w = m + 31, 5*o = 3*w - 31 for o.
-5
Suppose -13*o = -9*o - 8. Solve 5*p + 30 = p + o*n, -3*p - 5*n + 10 = 0 for p.
-5
Let r(v) = v**2 + 6*v - 4. Let f be r(-7). Let p be (f - 2)/(3/6). Solve -d + 3*h = 4 - 0, p*d - 3*h = -5 for d.
-1
Let w be 2/(-3) + (-20)/(-3). Solve 5*f = 3*s + 4 + w, -3*f = 3*s - 30 for s.
5
Let t = -12 - 2. Let n = t - -19. Solve -3*p = 2*w - 0 + 1, -n*p + 2*w = 23 for p.
-3
Let l = 5 - 5. Suppose 0 = -l*o + 2*o. Solve 2*x - 3*i + 2*i - 9 = 0, 5*x - i - 24 = o for x.
5
Let x = -17 + 35. Suppose -3*w - 6 = -x. Solve w*r - 36 = 5*v + 9, 0 = -3*r + 15 for v.
-5
Suppose -2*t - 3*t + 25 = 0. Solve -k - 29 = k + t*r, 5 = -r for k.
-2
Let h be (21 - 15) + 1 + -3. Suppose 2*o - h*o + 10 = 0. Solve o*m + 3*u - 26 = m, 4*u - 18 = -2*m for m.
5
Let n be (0 + -1)/((-4)/12). Suppose 1 = 2*p + p - c, -4*p - 3 = 3*c. Suppose 4*x - 4*i + 2 = 50, -x - 3*i + 24 = p. Solve v = -v - n*j + 5, -4*j = v - x for v.
-5
Suppose 3*y + 12 - 30 = 0. Let m = y + -2. Solve -4*a - 22 = m*f - 3*a, a - 23 = 5*f for f.
-5
Suppose 0 = 5*x - x - 28. Suppose 3*f - 21 = -u + 2, 0 = u - f - x. Let w = u - 7. Solve s - j = 5, 2*s - w*s - 10 = 3*j for s.
1
Suppose n = -0*n + 5*i - 10, 0 = -5*n + i - 2. Solve 2*v = 6, 4*k + n*v = -v + 19 for k.
4
Suppose 0 = -3*m - m + 20. Let s = -6 + 10. Let j = -25 + 42. Solve d + m = -z, -s*z - 3*d = z + j for z.
-1
Suppose -3 + 15 = 3*u. Solve -5*x = p + 2*p + u, 5*p = 5*x - 20 for x.
1
Let b be -3 + (2 - -79) + 1. Suppose c - 64 = -4*s, 3*c - b = -5*s - 6. Suppose v - 3*k - 20 = 0, 25 = -4*k - k. Solve s = v*y + 2*o, 4*y + 2*o = -3*o for y.
5
Let b(m) = m**3 + 5*m**2 - m - 4. Let r be b(-5). Let q be (r + -1 - 1) + 3. Solve 2*w - 4*n + q = 0, -n + 3*n = -2*w - 8 for w.
-3
Let f(z) = -z**3 - 10*z**2 + 10*z - 7. Let d be f(-11). Solve -2*n + d*p + 5 = 7*p, 0 = 2*n - 2*p - 10 for n.
4
Let j be -8 + (1/(-1) - -1). Let y = j + 13. Solve -25 = -y*x + 5*d, -3*x + d = -6 - 5 for x.
3
Let t = -2 - -8. Suppose -4*a + i = 14, -7*i + 2*i = -4*a - t. Let w be (-8)/(a/2) - -1. Solve m - 5*n + 20 = -0*m, -n = w*m - 4 for m.
0
Let v = 0 - -1. Suppose -5*c = -9 - v. Suppose -7 = c*t - 25. Solve -t = -4*w - 3*m + 10, -4*w + 12 = -4*m for w.
4
Suppose 3*f = -5*m + 4, 4*m + 5*f + 2 = -0*m. Solve -3*u = -5*n + 23 - 1, 0 = m*u + 4*n for u.
-4
Let i(w) = w**2 + w - 1. Let z be i(2). Solve -25 = z*l, -3*l + 5*l + 22 = -3*k for k.
-4
Suppose 5*i + k - 110 = 6*k, -2*k = -i + 24. Solve -4*q = -0*v - 5*v + i, 5*q - 2*v = -8 for q.
0
Let x be (11/(-3) + 3)*-6. Solve -x*y + 2*g + 4 = 0, -5*g = 2*y + 16 + 6 for y.
-1
Let h(y) = 2*y**2 - 8*y + 4. Let c be h(4). Solve c*w + u + 12 = 0, -3*w + u - 4*u = 18 for w.
-2
Let n be (3 + -3 + 2)*7. Let h = 16 - n. Solve -h*y + 4 = 2*k, 2*k - y + 0*y