 11*p + 12. Let t be w(z). Let x be (15/(-3))/(t/(-2)). Solve 5*u - 2 = -4*m + 5*m, 2*u - x*m + 13 = 0 for u.
1
Let u be (3*-1)/((-3)/4). Suppose -2*p = -6, 3*f - 13 - 5 = -4*p. Suppose 0 = f*v + v - 15. Solve -4*g + v*w - 20 = 0, 2*w + w = -u*g + 12 for g.
0
Suppose l = -3*f - 15, 2*l - f - 10 = 3*f. Let r = l + 6. Solve -2*k - 8 = u + 2*k, 0 = u - r*k + 1 for u.
-4
Let s be 80/36 - 4/18. Solve 3*z + 0 = s*h + 7, 41 = 4*h + 5*z for h.
4
Suppose -g - 4*g + l = -30, 3*g - l = 18. Suppose 0 = g*d - d - 15. Solve 0 = -d*n - 4*w - 5, 3*w - 3 = 4*n + 12 for n.
-3
Let g = 13 - 11. Solve 0 = -4*f + f + g*r + 5, -4*f + 6 = -3*r for f.
3
Let i = 42 + -39. Solve -3*r - 5*n = -25, 0 = -4*r - n - i + 8 for r.
0
Let u(p) = 3*p**2 - 2*p + 1. Let t be u(1). Let m(f) = -7*f. Let z be m(-3). Solve -k + t*r + 7 - 1 = 0, -4*k - r - z = 0 for k.
-4
Suppose -4*j = -3*j. Solve 3*u - 2*w = 3*w + 7, -5*u + w - 3 = j for u.
-1
Let m(j) = 2*j**3 + 12*j**2 + 8*j + 11. Let i be m(-5). Solve -3 = 5*b - 2*n - i, 4*b = -4*n + 20 for b.
4
Suppose -5*l + 6 = -2*l. Solve 5*d = 3*z + 11, 2*z + 6 = d + l*d for z.
3
Let g be -1 + (-3 + 5 - -3). Solve 23 = 6*x - x - 2*b, b - 21 = -g*x for x.
5
Suppose -3*t - 3*q + 43 = q, -4*q = -2*t + 62. Let r = -18 + t. Suppose 2*x + m + 3*m - 38 = 0, 40 = 4*x - 4*m. Solve n = -5*o, r*o + x = n + n for n.
5
Let d = 0 - -4. Solve 3*s + d*p = 27, -5*s + 20 = -2*p + 1 for s.
5
Let i = -11 - -21. Suppose i*n = 8*n. Solve -4*l = 2*u - 10, 3*l - 11 = 2*u - n*u for l.
3
Let w = 7 - 5. Suppose 3*f + f = 5*g - 19, -w*g + 5 = f. Solve -6 = g*y + 3*u - 0*u, 18 = -3*y + 3*u for y.
-4
Suppose 0 = -3*s - 0*s + 12. Suppose 0 = 4*z - 4, -3*j + s*z + 3 = 1. Solve 0 = -j*r + 2*t - 4, 5*t = t + 8 for r.
0
Let h(s) = 2*s - 19. Let k be h(11). Let a be 14/k - 22/33. Solve 5*v - 2*p - 1 = 34, -a*p = -2*v + 30 for v.
5
Suppose -4*h - 5 = -21. Solve 40 = -5*x + 3*b, -2*b - 2*b = h*x for x.
-5
Let c be 0 - -1 - 3/3 - -4. Solve 0 = -2*t + 3*m - 29 + c, 0 = 5*t + 4*m + 5 for t.
-5
Let a be (-1 - 2)/((-3)/2). Suppose 0*n - 2*f = -4*n + 16, -6 = n + 2*f. Let w be 1/n + 30/20. Solve -6*b - 3*d = -a*b - 31, 10 = 5*b - w*d for b.
4
Let g = -6 - -9. Suppose -4*p = 5*w - 40, 1 + 14 = g*p. Let n be 18/w + (-1)/(-2). Solve 3*y = -l - 17, -2*l + 4*y = -1 - n for l.
-5
Suppose 4*w = 12 + 4. Suppose -w*g + 5*a = -61, 0 = -g + a - 2 + 17. Solve -3*h - 14 = 2*z, -4*h + g = -4*z - 3*h for z.
-4
Let d be (-3 + (6 - 4))*-15. Suppose -11 = y - d. Solve 2*b = -3*f - 2, -y = 4*b + 4*f - 8 for b.
5
Suppose x - 2 = 3*t - 5, 3*x = 5*t - 1. Solve 5*m + 24 = -t*o + 10, 0 = 5*o - 3*m - 27 for o.
3
Let n(j) = -2*j + 8. Let q be n(-3). Solve 5*a - 3*i = -q, 3*i + 12 = -3*a + 6*i for a.
-1
Suppose 0 = -7*h + 3*h + 48. Solve 0 = 3*w + h, 0*q + 5*q + 30 = -5*w for q.
-2
Let l(u) = -u - 4. Let f be l(-7). Solve -2*h = -0*h + f*d + 23, 5*d = -25 for h.
-4
Let k(u) be the second derivative of u**5/20 - u**4/12 + u**3/6 + 3*u**2/2 - 4*u. Let b be k(0). Solve -3*f - 17 = -4*f + 4*i, -2*i = -b*f + 1 for f.
-3
Suppose -4 + 14 = 5*y. Solve -y*c + 6 = 4*f, 2*f + 5 - 14 = 5*c for c.
-1
Suppose -s + 5 = -14. Suppose -s + 2 = -o. Suppose -19 + 4 = -5*b + 4*u, 5*u = 2*b - 6. Solve -5*p + 0*y = -b*y + o, -2*p = y - 2 for p.
-1
Let r = -19 + 24. Solve -2*w - 2*j - 8 = 8, -4*w = -r*j - 13 for w.
-3
Let c(f) = -f**2 + 9*f - 6. Let z be c(8). Solve 6*w = z*w - 5*i + 40, 3*w - 3*i = 3 for w.
5
Let g = -170 - -172. Let h = -20 + 28. Solve -5*n = 2*a + h, 2*a = 3*a - g*n + 4 for a.
-4
Suppose 0 = -3*y + 28 + 23. Let m = -281 + 281. Solve -4*q - 3*h = -y, -2*q + h + h - 2 = m for q.
2
Suppose 0 = 4*o + s - 17, -14 = -3*o - s - s. Solve 8 = -3*f + o*b, -f - b = 3*b - 24 for f.
4
Let a(o) = o + 6. Let v be a(-3). Solve -x + 6 = j - 2*j, v*j - 6 = -3*x for x.
4
Suppose -10*o + 7*o = -6. Solve 0 = -3*s + s + 2, 4*k = -o*s + 18 for k.
4
Let z = 81 + -79. Solve 3*t + 6 = 0, z*s - 11 = 3*t + 3 for s.
4
Let r = 10 + -6. Suppose -5*v + 15 = -5*j, -v - r*v + 15 = -3*j. Let i be (v - 3) + 5 - 1. Solve -2*l - 16 = 2*l - 4*f, 0 = i*l + 3*f - 12 for l.
0
Suppose -5*q - 2*x = 2*x - 4, 12 = -3*x. Solve -q*v + g - 6 = -2*g, -2*v - 4*g = 14 for v.
-3
Let q(l) = l**2 + 4*l + 2. Let w = 4 + 0. Suppose 3*s = -5*h - s, -4*h - 36 = -w*s. Let m be q(h). Solve 2*t = -3*c - t + 9, m*c = t - 3 for c.
0
Let u(g) = g**3 + 15*g**2 + g + 21. Let s be u(-15). Let y be ((-16)/12)/(s/(-9)). Solve -5*c = -2*h + 31, 2*h = -0*c + y*c + 16 for h.
3
Let i(u) = -3*u + 4. Let l(x) = -4*x + 5. Let b(a) = -6*i(a) + 5*l(a). Let d be b(-2). Solve -5*k - 6*s + 15 = -s, 2*k - 20 = d*s for k.
5
Let c(g) = g - 8. Let r be c(6). Let w be r/(-4)*(0 + 0). Suppose -3*a = -w*a. Solve -4*n - 2 = 5*t, -2*t + t - n = a for t.
-2
Let x(m) = -2*m - 6. Let b be x(-7). Solve 28 = -4*p - 5*k, -4*p = -k - 3*k - b for p.
-2
Let g be (-12)/16 + 45/12. Suppose g*m - 12 = -0*m. Solve 21 = -m*y + i, -6*i + i = 3*y - 13 for y.
-4
Suppose 5*w = 2*u + 66, 4*w = -4*u + 7 + 57. Let l = -8 + w. Suppose 3*z + l = 0, -i - z - 5 = 3*z. Solve -5*k - i*c - 28 + 6 = 0, -3*k = -3*c + 18 for k.
-5
Let c(f) = f. Suppose 6*s = s + 40. Let g be c(s). Solve -4*w = 2*p - g, 5*w = -0*w - 4*p + 4 for w.
4
Let r = 43 - 38. Solve -j + 23 = r*g - 2*j, -4*j = 5*g - 8 for g.
4
Let u = -1 + 0. Let q be 2 + (u/1)/(-1). Suppose -4*l = -5*l - q, -4*c - 4*l + 8 = 0. Solve -5*y = p + 15, 0*y = -c*y + 4*p + 10 for y.
-2
Let p(h) = 1 + 2 + 3 + 3*h - h**3 - 4. Let v be p(-2). Solve -4*a + 0*a + v*u = 4, -4*a - 2*u - 22 = 0 for a.
-4
Let f be (-6)/((-2 - 2) + 2). Let a = 7 - f. Let h be (-2)/3*21/(-2). Solve h = a*n - 3*n - 3*w, 0 = 2*n - 5*w - 12 for n.
1
Suppose -9 + 17 = 4*n. Let c = 3 - -7. Suppose 4*x - c = -x. Solve n*w + 16 = -x*t, 2*t = -3*w + 2*w - 12 for t.
-4
Suppose 3 = f - 8. Let i = -9 + f. Solve 0 = -i*r + 3*d + 2*d + 11, -d = 2*r - 5 for r.
3
Let l = -60 - -60. Solve 2*x + c + 8 = l, -4*x - 2*c - 16 = -7*c for x.
-4
Suppose 0 = g, 3*g + 8 = 2*k + 2*g. Suppose 3*c = 0, 4*d + k*c - 12 = -c. Solve -3 = 2*i - d*u, -i - 3*u = -0*i - 3 for i.
0
Suppose 18 = 3*p + 3. Solve -p*v = 5*i - i - 25, 20 = 4*v - 4*i for v.
5
Let p be 4 + (-1 - 0 - 0). Suppose 0 = -p*f + f + 22. Solve 4*g - 3*l - 15 = -0*l, 5*l + f = 2*g for g.
3
Let t = 104 + -100. Solve 36 = -t*b - 4*n, 0*n + 2*n - 6 = 4*b for b.
-4
Let q = 15 + -6. Let s be (q - -1)*(-1)/(-2). Solve 0 = i - 3*c + 1, -5*i - 3*c + s = -8 for i.
2
Suppose -1 = -z - 17. Let f = -10 - z. Let u be 1*(-4)/f*-3. Solve -5*p - w + 5*w = 14, 10 = -4*p + u*w for p.
-2
Let w be (10 - 7)*(1 + 10/3). Solve x + 5*d - w = -1, 0 = 3*x + 2*d + 3 for x.
-3
Let n(y) = -y**3 + 8*y**2 + 10*y - 9. Let r be 54/4*4/6. Let q be n(r). Solve q = -2*w - 2*s + 12, -4*w + s + 29 = 6*s for w.
1
Let o(m) be the first derivative of -m**3/3 - 13*m**2/2 - 10*m - 2. Let b be o(-7). Solve -5*v - 3*z = -b, -2*v - 3*v - 2*z + 28 = 0 for v.
4
Suppose -19 = r - 5*l, 5*r - 6*l + 4*l = 20. Let c be 1/r + (-346)/(-12). Solve o - 6*o + 3*q = c, 0 = 3*o + 4*q for o.
-4
Let p = -3 - -5. Solve 2*b - 2*v - 4 = 0, -4*b + v + 0*v + p = 0 for b.
0
Suppose -3*q + 74 = 4*k + 1, 4*k = q + 61. Solve -4*b - k = z, -14 = -0*z + 2*z + 2*b for z.
-4
Let p = 7 + -7. Solve 3*f + 5*g = 5 - p, -4*f + 3*g + 26 = 0 for f.
5
Suppose -12 = -28*c + 25*c. Solve 2*u - w = c, -2*w - 1 - 1 = 2*u for u.
1
Suppose -3*v + 0*v = -2*v. Solve v = -5*q - 2*t + 14, -2*t - 3*t = -5*q for q.
2
Let c be 4 + (3 - 1) + -1. Solve 24 = 3*v - 2*j + 5*j, -c*v - 2*j = -28 for v.
4
Let x(q) = q**2 + q - 2. Let m be x(-3). Suppose 6*i - 45 = -5*g + 3*i, 2*g - m*i + 8 = 0. Solve -2*s - 4 = 0, -g + 0 = -4*o - 5*s for o.
4
Let n(j) = 5*j**3 - 2*j**2 + 1. Let k = 8 - 3. Let d be (k - 3 - 5) + 4. Let m be n(d). Solve -40 = -m*g - 5*q, 0*q + 5*q = -g + 25 for g.
5
Let j(f) = -f**2 + 15*f - 21. Let a be j(4). Solve -t = 4*l - a, -8 = -t - 4*l + 3*l for t.
3
Let x(f) = f**3 - 7*f**2 - 8*f + 8. Let o be x(8). Let t be o/(-12) + 38/3. Solve -3*v = -0*d + 3*d + 6, 0 = -4*d - t for v.
1
Let b(n) = -n**3 + 8*n**2 - 7*n + 4. Let r be b(7). Let g = -2 + 4. Suppose -4*j + 3*s + 79 = r*s, g*j = s + 41. Solve -3*v + 24 - 9 = d, -4*v + j = -2*d for v.
5
Suppose 0 = 7*b - 2*b. Suppose -2*h + 4*h = b. Solve h = 4*i - f - 17, 2*i - 11 = 2*f - f for i.
3
Suppose -5*y - 5*z - 80 = 0,