m = h + 14. Let w be -2*m/(-6) + 3. Solve -b - 30 = 2*u + 3*u, u + b + 10 = w for u.
-5
Suppose 0 = -3*u - 36 - 0. Let c(z) = z + 12. Let o be c(u). Solve w = -4*t + 17 - 1, -4*w + 5*t + 1 = o for w.
4
Let q be 15 - 13 - 4/1*-1. Solve 3*c = 2*f - q, 8 = -4*c + 4*f - 3*f for c.
-2
Let m(j) = -2*j - 2. Let g be m(-2). Suppose 40 = -g*o + 6*o. Let h = o - 6. Solve 5*y + 11 = -4, 4*t + h = 4*y for t.
-4
Suppose 10*i = 7*i + 9. Solve 0 = q + i*b + 19, -4*q - 42 + 6 = 4*b for q.
-4
Let h(m) = m. Let y be h(4). Let t be 21/12 + 1/y. Suppose 4*q - t*q = 0. Solve 4*z + 3*r + 13 = q, z + 2*z = 4*r - 16 for z.
-4
Let z = 145 + -143. Solve -5*y - 6 - 7 = -r, -5 = -3*r - z*y for r.
3
Let n = 44 - 43. Solve -3*x - 4*m + 14 = 0, -3 = x - 3*m + n for x.
2
Suppose -4*d = y + 22, 3*d - 7*d - 24 = 2*y. Let x be (y + -1)*44/(-6). Solve 5*h + 21 = -3*w + 1, -4*w - 2*h - x = 0 for w.
-5
Suppose 14 - 39 = -5*u. Let a be (-1)/(-1*1/u). Solve -n - s - a = 0, 3*n - 4*s = 4 + 2 for n.
-2
Let b = 10 + -6. Solve 4*h + 10 = 2*y, 0*h - h + 20 = b*y for y.
5
Let w(v) = v**3 + 4*v**2 + 2*v. Let u be w(-2). Solve y - 1 = m + 2*m, -u*m = -5*y + 5 for y.
1
Let u = 84 - 82. Solve -u*c = 3*c + 4*g - 5, g + 5 = 0 for c.
5
Let i(q) be the first derivative of q**2/2 - q - 3. Let k be i(4). Suppose n = 5*o - 17 + 2, -k*n = 0. Solve l - 2*u = -2 + o, l = -5*u + 15 for l.
5
Let u(w) = -w. Let b be u(3). Let n = 3 + b. Let p be 0/2 + n/(-3). Solve p = -2*t - 4*y - 24, -t + 4 = -y + 1 for t.
-2
Let j = -14 - -14. Suppose 3*a + 2*f + 8 = 0, 2*f + 8 + j = 3*a. Solve 2*i - 7 = -p - 2, a = -5*i + p - 5 for i.
0
Let v(d) = -d**2 + 11*d + 17. Let g be v(12). Suppose -g*f + 26 = 6. Solve 0 = -2*o + 2*s + 2, 3*s + 3 = f*s for o.
4
Let q be (-66)/(2 - (-16)/(-4)). Let t be 3/6 - q/(-6). Solve -3*g - 4*v = -8, -2*v - t - 4 = 5*g for g.
-4
Suppose 4 = u - 3*u + d, 5*d = 20. Let y = 2 - u. Suppose 4*o = 26 - 2. Solve -2*z - o = i, z - y*i + 0*i = -3 for z.
-3
Let t be ((-1)/2)/(5/(-100)). Solve -4*m = 2*i + 30, 3*i - 5*i + 4*m = -t for i.
-5
Suppose -v - 5*q = -36, -4*v + 5*q - 14 = -3*v. Suppose 3*a + 5*s = -v, 4*s = -a + 3*s - 1. Solve 2*i + 20 = 2*z, 2*z - 8*i + a*i = 35 for z.
5
Let y = -53 + 58. Suppose 2*a + 2 + 7 = 3*v, -v + 3 = -5*a. Solve -6*z = -2*z - j - 15, -y*j = -2*z + v for z.
4
Let j = 6 + -4. Suppose j*n - 11 = n. Suppose 2*b - 7*c - 3 = -2*c, -3*c = 2*b - n. Solve -2*a - 4*t - 6 + b = 0, 0 = -5*a + 5*t - 20 for a.
-3
Let r = 45 - 24. Solve -5*j - 2 - r = -v, j + 5*v = 11 for j.
-4
Suppose -3*y = -66 + 9. Solve 2*f - 5*w - 25 = 0, 4 = -2*f + 3*w + y for f.
0
Suppose 0 = -4*i + 5*d + 11, 5*i - 14 - 9 = -3*d. Suppose -a - i*a = 40. Let l be (-2)/a + (-3)/12. Solve -r = -4*f - l*r + 2, -3*f - 4*r = 8 for f.
0
Let x = -9 - -11. Let p be (-3)/x + 25/10. Suppose 2 - 5 = -f. Solve 12 = 3*k + f*u, 0 = -k - 4*u - p + 5 for k.
4
Let t(i) be the third derivative of -i**6/120 + 7*i**5/60 - 5*i**4/24 - i**3 + 2*i**2. Let s be t(6). Solve -2*b + g + 5 = 0, -4*b - 2*g = -s*g - 14 for b.
3
Suppose 0 = -2*k + 5 + 3. Suppose k*v - 19 = -3. Solve u - 3*u + 12 = -y, 0 = -4*u - v*y for u.
4
Suppose p + 3*p = -3*x + 55, 67 = 3*x - 2*p. Solve 5*i + 2*v = v, x = -4*i - 5*v for i.
1
Suppose -5*g + 2*g = -6. Suppose -2*z + 7 = 3. Solve 0 = -g*k + 4*s - z, -k + 3*s - 1 = -s for k.
-1
Let z(l) = l**2 + 6*l + 3. Let p(g) = -g**2 + 3. Let k be p(3). Let r be z(k). Suppose 0*u = -6*u + 30. Solve r = -2*q + x - 2, -45 = 4*q + u*x for q.
-5
Suppose 5*j - 4*l = 18 + 5, 2*l - 5 = -3*j. Let n = -1 + j. Solve 2*m = -2*m - n*f + 6, 0 = 5*m - 2*f - 30 for m.
4
Let a(d) = -d**2 - 5*d + 3. Let s be (-1 + 3)*20/(-8). Let z be a(s). Let y be 0 - (-9 + (2/1 - 1)). Solve 0 = 5*j - 2*i - 10, -z*j + y*j - 4*i = 20 for j.
0
Suppose 0 = 4*s - 0*s - 16. Solve 0 = -3*k + h + 2, s*k + 17 = -5*h - 12 for k.
-1
Let z = 25 + -16. Suppose -t + 4*t = z. Solve t*m = -2*u + 7, u + 2 + 7 = m for m.
5
Let l be (-6)/9 + 22/6. Suppose 2*i + 20 = -5*c + 1, 3*i + l*c + 6 = 0. Solve -3*k + 3 = -2*g - i, 4*k = 5*g + 1 for g.
3
Let n be ((-24)/(-10))/((-6)/(-20)). Solve y + r + 1 = 5, -n = -2*y - 3*r for y.
4
Suppose -33 = -4*v + 23. Suppose -5*d + 35 = 5*o, -2*o - 2 = d - v. Let m = -2 - -10. Solve 3*t - m = -t + 2*c, -d*c + 4 = -t for t.
4
Suppose -3*o - 3 = -9. Suppose -3*j = -5*q + 30, -2*q - 4*j = q - 18. Solve o*u + 3*x - q = 7*u, -x - 6 = u for u.
-3
Let q(i) = i**3 - 7*i**2 + 2. Let t be q(7). Solve h = f - 2*f + 8, -t*f + 5*h = 5 for f.
5
Suppose d = -d + 4. Solve d*n + 1 = -3*c - 2*n, 3*c = 4*n + 31 for c.
5
Let r(k) = k**3 - 5*k**2 - 5*k - 4. Let j = -5 - -11. Let s be r(j). Solve -c + u + s = 0, 0*c + 26 = 4*c + 5*u for c.
4
Suppose d - 2*d + 28 = 0. Solve 2*r = 4*n + d, 4*r + 6 - 2 = -4*n for r.
4
Let z(a) = -3*a + 1. Let g be z(-2). Let c be 2/g - (-4)/(-14). Solve c*m + 3*m = w, 0 = m for w.
0
Let x = 122 - 117. Solve -2*a + 2*r = r + x, -2*r + 2 = 4*a for a.
-1
Let f = 4 + 0. Let b be (-15)/(-6) - (-2)/f. Let v be (-1 - -1)/(2 + 0). Solve -b*g + v*g - 4*p = -26, g + 18 = 4*p for g.
2
Suppose 84 = 4*b - 20. Let k = b + -24. Solve -25 - 5 = -5*n - 5*j, k*j = -4*n + 14 for n.
1
Suppose 0 = -2*u + u + 17. Let t be (-14)/(-21)*3*1. Suppose -t = 2*d - 3*d. Solve 0 = n + 3*n + 5*w - 25, d*w - u = -3*n for n.
5
Let o = 3 + -7. Let b = o - -6. Suppose -b*l + 2 = -l - y, -3*l = -5*y. Solve x - l*w = -4*w + 1, 2*x - 5 = w for x.
4
Suppose -3*l = 2*d - 31, 42 = 5*d - 2*d + 3*l. Solve -4*c - 21 = -v, -4*v - c = 2*c + d for v.
1
Suppose -3*g + 2*r + 74 = 0, 5*r - 33 = -3*g + 34. Solve g = 5*c + 4*f - 5*f, -c - 4*f + 9 = 0 for c.
5
Let u(h) = 17*h + 3. Let r be u(1). Solve -4*g + 3*o + r = -3, -o - 7 = -g for g.
2
Let l(p) = -2*p - 8 - 7*p + 0*p - 4*p - p**2. Let r be l(-12). Solve -4*k - r*h = -19 + 7, -2*h + 8 = 0 for k.
-1
Let h = -7 - -28. Let m = -45 - -30. Let v = h + m. Solve 5*l = 5*j + 35, l = -4*j - 24 + v for l.
2
Suppose 5*b = b + 8. Let k = b - -3. Solve -k*m - 4*u = -9, 4*m + u - 6 = -u for m.
1
Let r(k) = k + 12. Let l be r(-9). Let g be (l/9)/(1/3). Solve -3*c + 0*c - 4*o + g = 0, 2*o = 2*c + 18 for c.
-5
Suppose -38 = 3*r - 4*r - 5*s, 4*r = -2*s + 116. Solve -3*a - r = -5*f, 3*a + f + 4*f = 22 for a.
-1
Let l(s) = -s**2 - 4*s - 1. Let x be l(-5). Let p = -4 - x. Suppose 2*r - 8 = -p*r. Solve c + 11 = -4*w, -2*c + 0*w + r = 2*w for c.
5
Suppose -18 = -4*y + 3*s, 3*y + 2*s - 20 = s. Solve -3*d + 8 = -7, w - d + y = 0 for w.
-1
Let u be 0 + 3 - 3 - -2. Solve -5*k = -0*k - 25, 22 = 3*h + u*k for h.
4
Let v(y) = 6*y - 28. Let j(b) = -3*b + 14. Let d(t) = 11*j(t) + 6*v(t). Let m be d(6). Solve 2*n = 3 + 1, 4*s = 4*n + m for s.
3
Let d = 25 + -20. Solve z + 4*c + c + 22 = 0, 0 = d*z - 5*c - 10 for z.
-2
Suppose -3*z - 10 = -1. Let f be 2/6 + (-8)/z. Suppose 2*u - f = 1. Solve 5*x = -4*h - 7, -u*x + x - 11 = 4*h for h.
-3
Suppose i + 17 = 22. Solve w - 28 = -3*w - 4*o, 0 = -i*o + 10 for w.
5
Suppose -q - 4 = -8. Solve -w = a - 0*a, 2*a = -q*w - 2 for a.
1
Let s(w) = 8*w - 5. Let b be s(5). Let m = 20 - b. Let z = 30 + m. Solve 0*a = -3*a - 4*u - 14, -3*u = z for a.
2
Suppose 3*d - 2*d = -1, 1 = 5*x - d. Solve -5*z - 5*v = 0, z + x*z + 3*v = -8 for z.
4
Suppose 2*i + 0*i = -5*q + 1, 4*q + 16 = 4*i. Suppose -2*f - 3*f = -i*u + 14, -5*f + 10 = 0. Solve 2*w - u = 2*c, -c + 6*c = w - 12 for c.
-2
Let b(f) = -3*f - 18. Let v be b(-13). Let c = 31 - v. Solve -4*p + c = -0*u - u, -p - 2*u = -7 for p.
3
Let y be 0/(4*(-3)/(-6)). Suppose -34 = -4*z + z + 5*c, -2*c - 10 = y. Solve 5*p + z*g + 3 = 0, 0*g = 4*p - 4*g + 28 for p.
-3
Let n be (12/(-18))/(2/(-12)). Solve -o = 5*r + 20, o - 10 = r + n*r for r.
-3
Let q(s) be the first derivative of 3*s**2/2 - 3*s - 1. Let o be q(2). Solve 0 = 5*j - o*b, -4*b = -4*j + b for j.
0
Let z(l) = -l**3 - 3*l**2 + 6*l - 9. Let j be z(-4). Let n = j - -19. Solve -5*u + 8 + 4 = -h, n*h + 10 = 3*u for u.
2
Suppose -3*v + 0 = -9. Solve 5*b + 2*u - 12 = -0, v*b = -u + 7 for b.
2
Let o = -3 - -15. Let t be (45/o)/3*4. Solve -t*j = q + 4*q + 5, 0 = -4*q + 2*j - 10 for q.
-2
Suppose 0 = -h + 3*x + 25, 2*x - 3*x + 45 = 5*h. Solve 2*i = -h, 12 = -2*w + 2*i - 4*i for w.
-1
Suppose 0 = a + a - 2*v, 10 = 3*a + 2*v. Solve -a*z + 10 = -2*x, -2*z - z - 5*x = 1 for z.
3
Suppose 0 = -4*i + 3*i + 2. Solve -3*u - i*o = -0*u - 25, 