20 for h.
4
Suppose -2*i + q + 0*q + 1 = 0, -4*i + 17 = 3*q. Solve -2 = -4*h + 2*h, 4*b + i*h - 22 = 0 for b.
5
Suppose 1 = -d + 2*r, -d - r + 4 = -4. Suppose 0 = 3*y - 2*y + 3*o + 9, -5*o = 5*y + 5. Solve h - d*z = -7, 2*h + y*z - 9 = 5*h for h.
-2
Let j = -3 + 5. Let y be 4*(1 + 1 + -1). Let h = j + y. Solve -3*k + h = 0, 0*k - k = 5*f - 27 for f.
5
Let l(f) = -2*f + 2*f + 13 - 3*f - 3*f**2. Let s(u) = 4*u**2 + 4*u - 19. Let r(x) = -7*l(x) - 5*s(x). Let w be r(0). Solve 0*z + z - 1 = -t, -w*z = 12 for t.
4
Let v be -2 + 4 + -14 + -2. Let f = v + 14. Solve o + 3*h - 5 = f, -3*o + 15 = 3*h - 0*h for o.
5
Suppose 0*q - 10 = -5*q. Solve -5*a - q*t + 4*t = -16, -2*t = -2*a + 4 for a.
4
Suppose -42 = -2*o + 4*n, -5*n - 5 - 1 = -o. Solve -2*q + 9 - 3 = 2*s, -3*s - o = -5*q for s.
-2
Let d be (-5)/(1*(3 + (-16)/4)). Solve -3*c + n - 8 = 0, 0 = c - d*c - 4*n - 16 for c.
-3
Let z be (6/5)/3*10. Let x(w) = -w**3 + 6*w**2 + 6*w + 8. Let b be x(7). Let s be 2 + 2/b + -1. Solve -z*j + 5*r + 0*r + 7 = 0, 3 = 2*j - s*r for j.
3
Let w be (-1)/(-6) + (-209)/(-6). Solve 4*u + 5*g = -w, 4*g + 2 = -10 for u.
-5
Let v be 4/10 - (-138)/30. Suppose -2*j = j - v*i - 5, -3*i = -j - 1. Solve -j*l + 11 = -5*p - 4, 0 = 5*l - p - 3 for l.
0
Suppose 7 + 0 = h. Solve 5*f = h*r - 4*r - 2, 2*f = 3*r + 1 for f.
-1
Suppose -4*a - b + 8 = -0*a, 0 = -5*b - 20. Suppose -4*r = -a*o, 3*o - 15 = -0*o - r. Solve 4*k + o = -2*i - 0, 4*i - 2*k + 8 = 0 for i.
-2
Suppose -2*q = q - 12. Suppose -4*l + 2*s = 3*s - 13, 0 = 5*s - 5. Suppose 2*f + 3 - 24 = l*i, -3*i = -f + 18. Solve q*k + c = f, -k - 4*c = -3*k - 12 for k.
0
Let m be 5 + 0 + (9 - 12). Let w = 13 + -8. Solve w*v = -5*q - 15, 2*v + 11 = -m*v - 5*q for v.
-4
Suppose 10 = -4*m - 2. Suppose k = 0, -2*h - k = -5*h - 24. Let x = m - h. Solve x*d + 2*y + 33 = 0, -5*y = -4*y + 4 for d.
-5
Suppose 4 = -2*u + 3*u. Solve -u*v - 3*p = -2*p - 20, -3*p = 5*v - 32 for v.
4
Suppose -3*q + 9 = -3*j, -3*q - j = -6*j - 15. Suppose s + 2*u - 15 = q, -u + 2*u + 2 = 0. Solve 4*f = 3*y + s, 4*f - 2*y - 15 = -f for f.
1
Let y = -22 - -29. Solve -k = -3*s - y, 2*s = k - 6*k - 16 for k.
-2
Suppose -5 = -5*y, 0 = -5*b - y - 4*y + 85. Solve u - b = -u + 4*k, -3*u + 3*k + 18 = 0 for u.
4
Suppose 3*m - 5 = g + 12, 0 = 2*g + 10. Solve m*w - 17 + 2 = 5*n, 0 = w - 2*n - 3 for w.
5
Let o = -66 + 69. Solve o*i + 22 = 2*q, 4*q - 45 = 2*i - 17 for i.
-4
Let a = 0 + 1. Let d(n) = 15*n**3 - n + 1. Let s be d(a). Suppose -f + 7 = -s. Solve 3*z = -2*o + 1, -5*o + 0*z - z + f = 0 for o.
5
Suppose 3*c = 5*c - 6. Let o(p) = 9*p - 4. Let j be o(6). Let t be (-3)/((-3)/j*2). Solve 0*g - g - 15 = -c*b, -5*g + t = 5*b for b.
5
Let y be 85/20 - 4 - 1/4. Solve l + 3*m + 4 = -0*m, y = 2*l + 2*m + 8 for l.
-4
Let j be (2/3)/((-6)/(-27)). Let d(f) = f - 3. Let o be d(3). Solve -j*a - 12 = -x, -4*x + 2*x + 2*a + 8 = o for x.
0
Suppose -3 = 2*j - 3*q, 3*j = -2*q + 4 - 2. Solve 0 = -3*a - 0*a + 2*k - 9, j = a + 3*k + 3 for a.
-3
Let a = 14 + -13. Let x be (-10)/(a + -2) - 1. Solve 5*d = 2*b + x, 3 = -3*b - 3*d - 0 for b.
-2
Let b = 11 + -5. Suppose -2*g + b*g - 8 = 0. Suppose -3*l = 5*c - 0*l - 58, 0 = -5*c + g*l + 53. Solve -4*x + 2*a - a + c = 0, -13 = -3*x - 4*a for x.
3
Let k be 3/5 + (-119)/(-35). Solve 0 = 2*z - 2*f + 6, -k = -3*z - f + 3 for z.
1
Let z = -12 - -18. Let r be (-2)/(-7) - 10/(-14). Suppose 0 = u - 0*u - r. Solve -z*c + 3*c = n - 4, u = c for n.
1
Let d = 7 + -8. Let r be 5 - (-1)/d - 1. Solve u - 2*g + r = 12, 3*u = -g - 1 for u.
1
Let m = -1 - 2. Let x = 11 - 14. Let w be m + 4/2 - x. Solve 3*f + 3*o = 6, w*f - 6 = -f + o for f.
2
Suppose 0 = 31*h - 28*h. Solve h = -4*p + 3*m + 2, 3*p - 2*m - 2 = -0 for p.
2
Let o = 21 + -7. Suppose -t = r + t - o, 5*r - 57 = 3*t. Solve 3*c + 3*b = 18, -5*b = -2*c + c - r for c.
3
Let u(x) = -x**2 - 3*x + 2. Let j be u(-2). Solve -2 = j*b - 3*v, 2*b = b - 2*v + 5 for b.
1
Suppose -1 = 6*g - 5*g - i, -i + 5 = 0. Let d be -2 - -2 - 2 - -4. Solve -g*c + 2*r = 18, -c + r - d = 5 for c.
-2
Let f(w) = -7*w + 4. Let k(u) = -3*u + 2. Let r(i) = 2*f(i) - 5*k(i). Let q be r(2). Solve q = 4*j + 5*v + 29, -9 = -3*j + 2*v - 2 for j.
-1
Let t(v) = -2*v**3 - 2*v**2 + 2*v. Let i be t(-2). Suppose i*b - 3*b - 2 = 0. Let u = -3 - -9. Solve -3*k + 15 = -b*p, -u = -5*k + 19 for p.
0
Suppose 0 = -2*g + 2 - 0. Let h = g - -2. Suppose 0 = -4*f + 2*a + 136, 2*f - a = a + 72. Solve 5*u - 13 = -h*r, -4*u + f = -2*r - r for u.
5
Let s be (9/6)/((-1)/2). Let w be (0 + s + 0)*-1. Solve 7*q + 16 = 2*q + 4*a, w*a = -q + 12 for q.
0
Suppose -5*s + 54 = 4. Solve -n + s = -5*z - 0*n, 2*z + n - 3 = 0 for z.
-1
Let a = -3 - -4. Let t be 47/4 - a/(-4). Suppose -6*c + t = -2*c. Solve -4*o - 2*i - 2 = -0, -c = -4*o - i for o.
2
Let v be 1 - 2*(0 - 1). Let q be (5 - 2)/(21/14). Solve 4*h - x + 12 = 0, -q*h + v = -3*h - 3*x for h.
-3
Let s be ((-20)/25)/(2/(-15)). Let d be s + 0 + -1 + -2. Solve -4*l = d*i + 20, 2*i + 11 + 7 = -5*l for i.
-4
Let t = 9 + -4. Solve -t*r + 4*s - 23 = 0, -2*r + 3*s = 6*s for r.
-3
Let h(r) be the second derivative of -r**3/3 - r**2 + 3*r. Let a be h(-3). Solve -4*i + a*p + 28 = 0, -8 = -4*i - 5*p + 4*p for i.
3
Let s(z) = -z**2 - 21*z + 26. Let w be s(-22). Solve -5*j - 7 = w*f, 4*j + 2*f + 3*f + 2 = 0 for j.
-3
Let d = 6 + -11. Let a(u) = u**2 + 4*u - 2. Let p be a(d). Solve -2*k = 3*x + 7, 5*k + x + 27 = p*x for k.
-5
Suppose 7 + 13 = s. Suppose 7*m - 3*m = s. Solve -3*g + 10 = y, 0*g + 2*g + 2 = -m*y for y.
-2
Suppose -3*z + 5*z - 8 = 0. Solve -5*l = -2*b + 17 + 4, -27 = 5*l - z*b for l.
-3
Let d = 25 + -68. Let j be d/(-5) + (-22)/(-55). Solve -2*u + 3*u - j = 3*m, 5*m - 3*u + 11 = 0 for m.
-4
Let h(o) = 2*o**2 + 3*o + 2. Let s be h(-2). Let y be 11/5 - s/20. Solve y*b = -4*p + 2, 5*p + 3 = 5*b - 17 for b.
3
Let f(y) = y**2 + 16*y + 19. Let i be f(-15). Let o be 4/3*(1 - -2). Suppose 2*n + 2*n + 5 = 5*h, -n + i = o*h. Solve j - 4*p + 0 + h = 0, 3*j + 3 = 5*p for j.
-1
Let l be (7 + -5)/(4/6). Let w(d) = -d - 6. Let n be w(-5). Let p = n + l. Solve -p*q - 4*h = -16, 6*q - 3*q + 2*h = 16 for q.
4
Suppose -3 = -3*v + 24. Solve -4*u + 4 = 0, 2*h + h + v = 3*u for h.
-2
Let b(g) = g**3 - 6*g**2 + 4*g + 7. Let w be b(5). Let v = 0 + w. Let t = 3 + 1. Solve 0*p - 4*p + t*f = -24, 3*p = v*f + 17 for p.
5
Let q(t) = -t**2 + t + 8. Let d be q(0). Let v be (-2)/(d/(-4))*0. Solve -4*f = 20, v = 3*k + f + 3 - 13 for k.
5
Let s(v) = v**3 + 4*v**2 - 5*v + 3. Suppose -3*b + 8*b + 25 = 0. Let c be s(b). Solve 4*l = -2*g + 26, -c*l + 31 = 2*l + 2*g for l.
5
Let l = 6 - 4. Suppose -5 = -l*p + p. Solve -g - p = 6*b - 2*b, 3*g + 15 = -3*b for b.
0
Let o be (-60)/(-28) - 4/28. Solve -r - 20 = 5*q + o*r, 5*q - 4*r = -20 for q.
-4
Let s(z) = z**2 + 8*z - 1. Let j be s(-9). Solve -4*t + n - j = 13, 5*n = 5*t + 30 for t.
-5
Let p(g) = g - 5. Let z be p(3). Let s be (4/(-6))/(z/12). Solve -y + 5 + 5 = -5*t, -s*t - 5*y + 21 = 0 for t.
-1
Let s = 11 - 9. Solve -2*y = 2*u, 4*u + s*y = 2 + 6 for u.
4
Let j(o) = o**3 + 5*o**2 + o - 1. Let q be j(-5). Let f be 3/q + 60/8. Solve 2*a = 5*n + f*a + 35, 3*n + a + 17 = 0 for n.
-5
Suppose -7*z = -4*z - 9. Solve 2*w + 4 = z*a, 3*a = -0*a + 5*w + 10 for a.
0
Let v = 1 - -1. Suppose 2*s - 4 = -3*b + v, 6 = 2*s - 4*b. Suppose -2*z = 4*t - 18, s*t + 2*z + 3*z = 17. Solve 0 = 4*o - w - 7, 4*o = -0*o + t*w + 16 for o.
1
Let c(k) = -k**3 + 13*k**2 + 13*k + 16. Let n be c(14). Solve 4*x + 5 = 5*b, x = n*b - 1 - 1 for b.
1
Let t = -9 - -11. Suppose -7*z = -2*z - 10. Suppose -d = z*d - 21. Solve t*n = 4*w - 8, -14 = -2*n - w - d for n.
2
Suppose 0*b - 3*b = -2*b. Solve -20 = 2*z - 4*i - b*i, 0 = -z + 5*i - 25 for z.
0
Suppose -u = -1 - 2. Solve 11 = i + 5*q, 3*i = -q - u - 6 for i.
-4
Let x be (72/20)/((-3)/(-10)). Solve 4*u + 3*s - 28 = 0, -4*s + x = -s for u.
4
Let n(g) = g - 8. Let h be n(10). Solve -3*l + 3*s = 0, h*l + s + 5 = 4*l for l.
5
Let n = -1 - -1. Let k(o) = o**2 + 4*o. Let u be k(-4). Let r be u - -7 - (-16 - -14). Solve n = -4*y + p + r, 2*p - 3 = -2*y + p for y.
2
Suppose 10*v - 13*v = -18. Suppose 6*l = 3*l + v. Solve -9*u + 4*h = -6*u + 9, 0 = -4*u - l*h - 12 for u.
-3
Suppose -3*k = -5*h + 13, -6*h + 3*h = -5*k - 11. Solve 0*i - 6 = -3*q - 4*i, -h*q + 5*i = 19 for q.
-2
Let r be (-38)/(-3) - 4/6. Let x be 6