- 10 - 0 for h.
-3
Let b = 14 - 12. Solve u + b*v - 10 - 2 = 0, 8 = u + v for u.
4
Let q be (28/(-70))/((-2)/10). Solve 4*u = h - 1, -3*h + q = -u - 1 for h.
1
Let i be 0/(6/(-2)) + 2. Suppose l + i = 5. Solve -2*y + 4*q - 24 = 0, 2*q - 35 = 5*y - l*q for y.
-2
Let p = 5 - 3. Let m be (p + -2)*(-4)/(-8). Solve -4*s - 8 = -v, -2*v + m*v + 9 = -s for v.
4
Let b(h) = -h + 1. Let a be b(-3). Solve x - 2 = -x + 2*l, 0 = 3*x - a*l for x.
4
Suppose -3*t - 1 = x, 0 = 4*x - 0*t - 4*t - 28. Suppose 0 = 3*m - 2*m. Let b be (m + -1)*(-7 + 0). Solve -b = -5*o - 5*j + 33, -x*o = -2*j - 5 for o.
3
Suppose -5*o = a + 1 - 3, 3*o = -5*a + 76. Let d = a + -12. Solve -d*g = -3*f - 10, g = -0*f + f for f.
5
Let i be 788/20 - 4/10. Suppose i = 3*o - 57. Let y = 3 + 1. Solve -4*l - o = -4*s, -5*s = -l + y - 28 for l.
-4
Let a(y) = y**3 + 8*y**2 - 12*y - 9. Let s be a(-9). Solve -o = -3*g + 17, 2*g - 3*o - s = o for g.
5
Let r(d) = d**2. Let v be r(-2). Suppose -3*h = 2*s - v, 10 = 5*s + 5*h - h. Let p be 8/2 - (-2 + s). Solve 2*m - 5*j = -3*j + 6, j + p = 2*m for m.
1
Let x = -3 + 6. Suppose s + 58 = x*s. Let p = 42 - s. Solve 4*r + p = -0*j - 5*j, 0 = r + j + 2 for r.
3
Let u(p) = 4*p**2 - 16*p + 5. Let m be u(4). Solve 0*n + m*n = l + 14, -2*n = -3*l - 16 for n.
2
Let q(p) = p - 1. Let f(m) = -8*m + 30. Let z(l) = f(l) + 6*q(l). Let o be z(11). Solve 2*b + 3*b + 5*y = -10, 0 = b - 5*y + o for b.
-2
Suppose -5*s = -m, 4*m - 2*s = -0*m. Solve l - x - 2 = m, -x = 4*l + 3*x for l.
1
Let q = -12 + 12. Let v(l) = -l + 2. Let b be v(q). Solve -3*x - 9 = -5*a, a = b*x + 4*a + 6 for x.
-3
Let l(s) = -s**2 - 2*s + 1. Let o be l(6). Let j = 67 + o. Suppose 14 = -z + 2*z. Solve 2*i = 4*k + z + 8, -4*i + j = -2*k for i.
3
Let t = 7 + -15. Let o = t + 12. Solve f + v + 2 = 0, -8 = -0*f + o*f - 5*v for f.
-2
Let v be ((-30)/25)/((-6)/20). Solve -u = -2*u - v, u + 19 = -3*a for a.
-5
Suppose 5*u = -2*w + 43, 4*w - w = 12. Solve -3*f + u*y = 2*y - 40, 3*f - 30 = 3*y for f.
5
Let h = 9 + -1. Solve 2*o = -2*w + 4, -3*o = 2*w - 6*w + h for o.
0
Let v(y) = y**3 + 9*y**2 + 8*y. Let r = 10 - 18. Let k be v(r). Solve -4*h - 8 = j, -2*j + j - 5*h - 11 = k for j.
4
Let g(d) = -4*d - 16 - 4*d - d + 8*d. Let b be g(-16). Solve 0 = a - 4*t + 9, b = -4*t + 7*t - 3 for a.
-5
Let j be (-3)/2*(-24)/9. Solve 0*i - 5 = j*h - i, 1 = 4*h + 5*i for h.
-1
Let i(g) = -g - 3*g + 0*g + 3*g - 5. Let v be i(-10). Solve 2*y = -v*j - 10, -y - 3 - 2 = 5*j for y.
-5
Let d(n) = -1 - n**3 + 3 + 3. Suppose -3*s + 5 = -p, 0 = 2*p + 2*p + 20. Let t be d(s). Solve 5*o + 35 = -3*f, f - t*o = -3*o + 3 for f.
-5
Suppose 45 = 5*q - 75. Suppose -3*j + q = -3*k, -2*j + 2*k - 5*k - 9 = 0. Solve -2*a + j*x - 3 = 2*x, -4*a - 10 = 2*x for a.
-2
Let i(h) = 7*h**2 + 2*h + 1. Let c be i(-1). Solve s - 3*o - c = -2*o, 2 = -5*s - 3*o for s.
2
Let r(i) = 2*i. Let b be r(1). Let l(y) = -8 - 2*y**2 - 3*y**2 + 4*y**2 + 9*y + 2*y. Let q be l(10). Solve -b*c = -k - c + 1, 2 = -4*k - q*c for k.
0
Let h(m) = -m**2 - 6*m + 3. Let r be h(-6). Solve u - 5*k = -3*u + 15, -4*u = -r*k - 9 for u.
0
Let t(l) = 0 - l - 7 + 2 + 3. Let x be t(-8). Solve -2*j = -4*j - 5*g + 22, -2*j - x = -2*g for j.
1
Suppose 2*a + 7 = 3*i, 0 = -2*a - 3*i + 2 + 21. Let p be 4 + (1 - 1) + 2. Let u be (-34)/(-6) + p/(-9). Solve 23 = u*z + a*n, -4*z + 2 = 5*n - 20 for z.
3
Let n(u) be the third derivative of -u**6/60 + u**5/20 - u**4/8 + u**3/6 + 3*u**2. Let l be n(2). Let x = -6 - l. Solve -3*z + 12 = 3*f, 0 = -x*z - f + 2 for z.
-1
Suppose 6*c - 87 = -57. Let d = -5 - -7. Let t be 2*d/(1/1). Solve -t = -c*u + x + 11, -5*u - 3*x = -15 for u.
3
Suppose -4*h - 10 = -2, -2*h + 2 = 3*v. Let p = v - 0. Suppose 5*s - 29 + 148 = 4*x, 0 = 4*x + p*s - 98. Solve -3*w + 5*g + 10 = -0*w, -5*w + x = g for w.
5
Let w = -8 + 5. Let s = -1 - w. Suppose x - s = -0*x. Solve 10 = -5*h - 5*j, x*h - 13 = h + 4*j for h.
1
Let x(f) = f**2 - 7*f - 13. Let b be x(9). Let m = b + 0. Solve s - m*s = -3*r - 3, -3*s = 4*r + 29 for s.
-3
Suppose w = 3*w + 4*r - 48, -4*w - 5*r = -87. Solve 3*k + 6 = -0*k - d, 4*k - 2*d = -w for k.
-3
Let o(r) = r**3 + 3*r**2 - r - 3. Let x be o(-2). Solve 4*c = -5*k - 3 - x, 5*k - 2 = -2*c for k.
2
Let x(q) = -q**3 + 5*q**2. Let g be x(5). Suppose 5*k = -2*f - 0*f + 33, g = 5*k - 4*f - 9. Solve k*p = 3*l, -2*p + 4*p = -2*l for p.
0
Let h(s) = -s + 5. Let l be h(0). Let k(z) = 6*z - 22. Let y be k(6). Let n be 1 + (12/3 - 3). Solve -4 = -3*u - 2*o, -l*u + n*o + y = 2 for u.
2
Suppose -4*b + 7 - 23 = 0. Suppose 5 = -3*s - 13. Let d be 1*-2 + (b - s). Solve -o - 12 = 2*j - 4, d = -5*j - 4*o - 20 for j.
-4
Let n be 1 + (0 - -1) + 3. Solve -3*t - h = 3 + 13, 5*t + 30 = -n*h for t.
-5
Let j = 25 - 21. Solve 2*m - 4*w + 8 = 0, -4*m + 0 - j = -4*w for m.
2
Let f be 2 - 56/26 - (-12)/78. Solve 2*u + 3*i + 15 = 4*i, f = -u - i for u.
-5
Let n be (-10)/25 - 4/(-10). Suppose -s + 4*s - 15 = n. Solve -5 - 5 = -s*m + 3*k, -k + 15 = 2*m for m.
5
Let b be (-20)/(-6) - 32/(-48). Solve 0*r + 4 = 5*x + 3*r, 0 = -x + r + b for x.
2
Suppose 3*t - 9 = 6. Solve 0*q - 10 = -t*s - 5*q, -q = 2 for s.
4
Let n(l) = -l + 12. Let a be n(0). Let s = a + -7. Solve 0 = -s*u + 4*y + 8, -4 = -4*u + y + 9 for u.
4
Let a(c) = c**2 + 3*c + 1. Let s be a(-4). Suppose 3*t = -3*l + 33, 5*l = 5*t + 3*l - 34. Solve -s*p - 5 = -5*x, 0 = 2*p + x + 2*x - t for p.
1
Suppose -3*n - 3*j = -6, 3*n - 5*j = 15 + 15. Solve 2*y - 6 = n*o, 3*y + o + 0*o = -8 for y.
-2
Let s be 6/4*(-24)/(-18). Solve 4*z - 16 = 5*b, 0 = -b + z + s*z - 12 for b.
0
Let d = 12 + -17. Let q = -27 + 25. Let s = q - d. Solve 0*y - 4*y = 3*b + 28, s*b + 5*y + 32 = 0 for b.
-4
Let o(l) = -l**3 - l**2 + 11. Let q be o(0). Let g be 8/20 - 2/5. Let n be (-1)/(g + 1)*-16. Solve -3*h - k = n, 5*h = -4*k - 25 - q for h.
-4
Suppose 0 = -3*a + 6*a - 6. Suppose -3*u + 62 = a*g - 6*g, -2*u + 4*g + 48 = 0. Solve -2 = -2*x, -5*x + u = 3*v - 0*x for v.
3
Let o(w) = -w**2 - 13*w - 10. Let s = 4 - 16. Let g be o(s). Solve g*l - 5*r + 6 = -1, -5*l + 4*r - 9 = 0 for l.
-1
Let a be (-3)/1 - (2 + -7). Solve 5*c = -k - 8, -a*c = -k + 4*k - 2 for c.
-2
Let q be (-2)/((-39)/(-15) - 3). Suppose 100 = 4*t - q*z, 4*t - t - 4*z = 76. Suppose -3*b - t = -8*b. Solve d + 3 = b*d, 5*g + 5*d + 20 = 0 for g.
-5
Suppose -4*h - h + 35 = 0. Let u(d) = -d**3 + 7*d**2 + 4. Let w be u(h). Solve 5*t + 0*p = p + 23, 5*t - w*p = 17 for t.
5
Let j(u) be the second derivative of 5/6*u**3 + u + 1/4*u**4 + 0 - 1/20*u**5 - 1/2*u**2. Let n be j(4). Solve -5*p - n*i - 22 = 0, -2*p + 5*i - 4*i = 11 for p.
-5
Suppose -2*n = -2*s + 3*s + 9, 2*s - 14 = 4*n. Let o = n - -11. Let c be 2 + (4 - (-9)/(-3)). Solve 11 = -y - 5*h, 0 = 6*y - c*y + 2*h + o for y.
-1
Let c be (-3)/(3/2)*-1. Solve 5*q - 12 = -4*b, -c*q - 9 = -3*b + 3*q for b.
3
Let b(t) = -t**3 + 10*t**2 - 16*t + 4. Let i be b(8). Solve -2*v + 1 = -2*q - 3, -4*v - i = 0 for q.
-3
Let d = 14 - 10. Suppose 2*y - d = 2. Suppose -4*a + 3*n + 32 = 0, -3*n = -5*a + 23 + 14. Solve a*s = -f - 18, 2*f + y*s + 14 = 3*f for f.
2
Let w = -6 + 8. Let u(z) = -3*z**2 + 2 + 3*z**2 + 6*z - z**2. Let n be u(6). Solve 4*c + c + w*m - 7 = 0, n*c = 2*m for c.
1
Suppose -5 = -2*q - g, -2*g + 15 = 5*q + 5. Let d be (-16)/(-5) + (-5)/25. Solve q = -4*a + 2*w - 14, -4*w - 8 = d*a - 8*w for a.
-4
Let v = 14 - 20. Let p be (-2)/4*v - 3. Solve p = 3*k + 3*c - 3, 0 = 2*k + 3*k - c + 19 for k.
-3
Suppose 0*i - 6 = -2*i. Suppose y = -k + 6, -k - i*y + 5*y = -18. Let u(g) = -g + 12. Let t be u(k). Solve z = 2*h + 7, 0 = t*z - 0*h - 5*h - 16 for z.
3
Suppose 0 = -4*h + 21 + 7. Let a = h + -3. Let k be (7 - 1) + -5 + a. Solve -11 = 2*p + n, 5*n = -k*p + 3*n - 25 for p.
-3
Let u = 37 - -33. Suppose -4*p + u = -3*j - 2*j, 2*j = 4*p - 76. Solve 3*b = -12, p = -5*s + s - 5*b for s.
0
Let j be 2 + 7 + (-12 - -9). Solve 0 = 2*l - 4*o + 6, -2*o + j + 3 = 5*l for l.
1
Let i(l) = -l**3 + 4*l**2 - 4*l + 6. Let c be i(3). Solve 0 = 2*v + 2, a - c*a = 3*v + 5 for a.
-1
Let h = -2 - -4. Suppose 0 = -6*n + 14 + 4. Let c(t) = -t**3 - 3*t**2 + 2*t - 3. Let x be c(-4). Solve n*v - x = -h*l + 1, 3*l + v = 2 for l.
0
Let p(u) = -u**2 + 2*u. Let r be p(4). Let n be ((-4)/r)/((-1)/(-6)). Solve 0 = n*o + 2*z + 11, 7*o + z = 2*o - 16 for o.
-3
Let x(b) = 2*b + 2*b + 2*b**2 - 3*b**2 + 2. Let 