-f - f + 12 = 3*n. Solve 5*o - 16 = f*t, 3*o = t - 2 + 14 for t.
3
Let s(y) = y**2 + 2*y + 1. Let n be s(-9). Suppose -n = -p - 3*p. Suppose -k = k - p. Solve -4*d + 12 = 4*o, k*o + 9 = 3*d + 3*o for d.
3
Let i(g) = g**2 + 7*g - 3. Let k be i(-8). Let b = 38 + -26. Solve k*d - v = 15, -d = -v - v - b for d.
2
Let d = 15 - 11. Solve 3*s - 5*f = 3 - d, 4*s - 2*f - 8 = 0 for s.
3
Let a be (-6)/4*20/(-15). Let f be 5/2*(8 - 6). Solve 2*g + 2*m = 0, a*g = -f*m + 2*m - 1 for g.
1
Suppose -a - 6 = 3*h + 2*a, 0 = -3*a - 9. Let l be 0 - (-4 + (h - 2)). Solve 1 = l*q + f - 0*f, 0 = -f + 1 for q.
0
Let b = -8 - -5. Let c(l) = -l**2 + 3. Let z be c(b). Let n = z + 9. Solve -2*v + 5*s + 21 = -0*v, v = -n*s - 6 for v.
3
Suppose 5*y + 6 - 31 = 0. Suppose 4 = y*o - 6. Solve 5*q - 15 = 0, -q - 21 = o*w - 6*q for w.
-3
Let f(g) = -g**3 - 4*g**2 - 4*g + 1. Let x be f(-3). Suppose x*y - 2*z - 76 = 0, -z - 12 = -y + 6. Solve 5*i + 5 = 4*v - v, 5*i = -y for v.
-5
Let b = -18 + 11. Let v = -2 - b. Solve -5*t + 6 = -2*m - 2*t, -v*m + 2*t + 7 = 0 for m.
3
Suppose -5*s = -3*r + 3 + 9, 0 = 4*s + 2*r - 8. Solve l + 4*n = -19, 0 = -5*l - s*l + n + 10 for l.
1
Let h(d) = -2*d**3 + 3*d**2. Let p be h(2). Let k = p + 7. Let g(n) = n**2 + n - 4. Let j be g(k). Solve -13 = 2*m + 5*x + j, 0 = -m - 5*x - 23 for m.
2
Suppose -3*p + 21 + 15 = 0. Let j = p - 4. Let q be 4/(-14) + (-44)/(-7). Solve 2*o + 3*n = q, 4*o - 4*n = -0*n - j for o.
0
Let p = -26 - -28. Solve 0 = -3*g - y + 12, -4*y - p = -g - 5*y for g.
5
Suppose 0 = x + 2*d + 3*d - 14, x = 2*d. Suppose -c + f = 0, 0 = c + f - x. Solve -o - c*o - 29 = -5*t, -2*o - 2*t + 2 = 0 for o.
-3
Let q(s) = 2*s - s**3 + 2*s**2 - 21 + s**2 + 18. Let b be q(3). Solve j + 2 = 0, b*d = 4*j - 2*j + 13 for d.
3
Suppose -2*h + h - w + 1 = 0, 0 = -5*w - 5. Solve h*q = -2*q + c + 8, q + 7 = -2*c for q.
1
Suppose 4*s - 13 = -5*g + 10, -s - g = -5. Solve -3*l + 9 = -3*c, -3*c = s - 5 for l.
4
Suppose 3*t - 6 = t. Suppose -5*j + 31 = -3*b, -3*b - b = 4*j - 44. Solve 5*f - j = t*m, 0*f + 7 = -4*m + 3*f for m.
-1
Suppose u + w - 14 = -0*u, 0 = -4*u + 2*w + 68. Let a be 11/(-1) + 7/(-7). Let j be 3/a + 42/8. Solve -s = j*b - 13, -3*b - 1 = -3*s - u for s.
-2
Let m(p) = -2*p - 15. Let t be m(-10). Suppose 5*n + 6 - 71 = 0. Suppose -n = -t*k + 2. Solve 5*i + 4 = 3*w + 3, 2*w = k*i for i.
-2
Let j be (-99)/5 + (-6)/30. Let f = 30 + j. Solve t = 2*k + 4*t - 12, f = 2*k + 2*t for k.
3
Let v(l) = -l**3 + 6*l**2 + 2*l - 12. Let i be v(6). Solve i = -6*a + 2*a - k + 15, -4*a + 24 = 4*k for a.
3
Let j = 20 - 16. Solve w + 5*g = -12 - 2, 3*w + 4 = j*g for w.
-4
Suppose g - o - o = -6, -g = -3*o + 11. Suppose g*j - 11 = s, -5*j + 13 = 3*s - 5*s. Solve r = j*b - 18, 5*b = r + 35 - 7 for b.
5
Suppose -2*n + 1 = -39. Solve 0 = 4*o - 5*y + 16, 0 = -5*o + y + 2*y - n for o.
-4
Suppose -3*i - 1 - 8 = 0. Let x be 3 + 0 + 2 + i. Solve -2*u - 3*b + 10 = 0, 3*u - 17 = -x*b - 3*b for u.
-1
Let r(n) = n - 5. Let t be (12/(-10))/(4/(-30)). Let f be r(t). Solve 4*v - f = 0, w + v = -w + 3 for w.
1
Let m be (-2)/7*(-7)/1. Solve -3*o + 13 = -4*d + 9*d, -6 = -2*d - m*o for d.
2
Let z = 19 - 42. Let a = z + 43. Suppose 4*j = -j + a. Solve -2*v + 10 = 5*l - l, l - 16 = j*v for v.
-3
Let f = 5 - 7. Let b be (1 + 11)*f/(-8). Solve 9 = -b*r + 3*x, -3*x + 15 - 1 = -4*r for r.
-5
Suppose 5*m - m = 12. Suppose -3*q - 6 = -m*j - 0*q, 3*j + 6 = -3*q. Solve 4*v = 4*z - 20, -z - 7 = -j*v + 3*v for z.
2
Let t be 3*7/(42/20). Suppose o + 4 = t. Solve 2*x - 4 = 0, 0 = 3*k - o*k + x + 4 for k.
2
Let b(y) be the third derivative of -y**6/40 + y**5/60 + y**4/12 + y**3/6 - 3*y**2. Let a be b(-1). Solve -2*h + 3*l = 10, a*h + 5 - 3 = -2*l for h.
-2
Let l be 14/(-21) + 122/3. Suppose 3*g = g + l. Let k = -4 + 6. Solve k*n = -5*u - 0*n + g, -4*u + 4*n = -16 for u.
4
Suppose -2*q = -q - 14. Suppose -2*u + 2*b + 6 = 0, -29 - 7 = -2*u - 4*b. Let w = q - u. Solve w = 4*f + 2*l, 0*l + 3 = f + 2*l for f.
1
Let w be 2/(-1 + 10/6). Suppose 4*n - 3*o - 12 = -o, w = n - 3*o. Solve 4*h - 6*k + 2*k - 8 = 0, 0 = -n*h - 5*k - 34 for h.
-3
Let g = -8 + 8. Solve 2*m = -o - 10, g = -2*o + m - 0*m for o.
-2
Suppose -q = 3*q - 12. Solve -d + q*k + 7 = 0, -d = -5*k - 10 + 1 for d.
4
Let s be (1 + 38/2)/1. Let n be -2 - 2/4*0. Let c be n*(-3)/(-6)*-3. Solve c*t + 4*w - s = 0, t - 5*w + 8 = -17 for t.
0
Let h be ((-3)/1 - -2)*-17. Suppose 2*d - 6*d = 5*g, d - 3*g = h. Let t = 6 + -6. Solve -5*s + 4*m - 1 - 9 = t, d*m - 8 = 4*s for s.
-2
Let f = 1 + 4. Suppose -3*h + 2*x = 2, -3*x + 0*x + 2 = -f*h. Let s be (-2)/(-4) + h/(-4). Solve -2*k = 4*d + 6, s = -4*d - 20 + 4 for k.
5
Suppose -5*y + 4 = 4*a, y - 2*y + 3*a + 16 = 0. Suppose -y = -b + 3*b. Let i = 6 - b. Solve -5*c - 1 = -3*n, 5*c + n + 1 = i for c.
1
Let s = -28 - -20. Let x(p) = -p - 5. Let i be x(s). Suppose 2*b = i*t + 17, b + 14 + 0 = -3*t. Solve 10 = 5*n + 5*z, 0 = -5*z - b - 4 for n.
3
Suppose 0*k - 28 = -4*k. Suppose 0 = 5*r - 4*v + 17 - 56, -5*r = -3*v - 38. Suppose -i = -r + 2. Solve -i*z - 15 = d + k, -2*z + 5*d = 25 for z.
-5
Suppose 26 = 4*u - 10. Let z be (-2)/9 - (-119)/u. Solve z = -b + 2*s, 0*s = -2*b - 3*s + 9 for b.
-3
Suppose -15 - 27 = -7*q. Solve 5*x = -4*d - 6, -5*x - 9 = -5*d + q for d.
1
Let l = -36 - -40. Solve 0 = l*j + 3*c + 26, -3*c - 30 = 4*j + 2*c for j.
-5
Let h(v) = 4 + 0*v**2 - 3 - 5 - 4*v + 2*v**2. Let a be h(5). Let p = a - 15. Solve -p = 5*i + 3*c - c, 2*i - 2*c + 10 = 0 for i.
-3
Let v = 121 - 119. Solve 3*c + a - 4 = v, 3*a + 18 = 3*c for c.
3
Let u be (-14)/(-4)*(6/(-14) + 1). Solve 0 = u*j + 5*t - 13 - 2, -4*t = -12 for j.
0
Suppose 50 = 4*o - 0*c + 5*c, 0 = 2*o - c - 18. Suppose 3*l = 0, a + 0*l = l - 6. Let b = o + a. Solve 0 = -5*z + 2*q + 2*q, b*z = 3*q for z.
0
Let b(p) = p**2 - 3*p + 2. Let m be b(2). Suppose m = -5*f + 2*w - 1, -2*f + 7 = 2*f + w. Solve z + 3*q = -19 + f, -q = 5*z + 20 for z.
-3
Suppose 2*s - 12 = -u + 4*s, u = -4*s + 30. Solve u + 11 = -3*j + 5*t, j + 23 = 5*t for j.
-3
Suppose 4 = -3*w + 4*w. Suppose t - w = -2. Suppose 5 = -y + 2*i, 0 = -y - 0*i + i - t. Solve a + 9 = n, 2*a - y = -3*n + 6 for n.
5
Suppose -3*j + 5 = -10. Solve -2*z + j*m + 4 = 0, -z - 10 = z + 2*m for z.
-3
Suppose 4*d - 4*n - 52 = 0, 0 = 3*n - 7 - 2. Let x = d - 13. Solve -4*o + 2*w + 18 = o, 2*o + x*w + 8 = 0 for o.
2
Let l = -7 + 11. Suppose -z = 3*d + 2*d - 13, 0 = -l*z + d - 53. Let j be z/54 - (-38)/9. Solve -5*u = -4*u + 2*r - 6, 0 = 3*u + j*r - 14 for u.
2
Let f(w) = w**2 + 5*w - 3. Let v be f(-6). Suppose 5*x - 2*u - 25 = -0*x, v*x = -4*u - 11. Solve -2 = 3*k + x*l + 19, 4*l = 3*k for k.
-4
Suppose -2*h - 9 + 17 = 0. Solve -5*g = r - 4, 0 = -h*r + 3*g + g - 8 for r.
-1
Let g(j) = j - 5. Let x be g(7). Solve 3*s - 2 = -4*q + 3, -5*s - 1 = x*q for q.
2
Let h = 18 + -8. Solve 3*f + 2*o = 14, -3*o - h = -3*f - 1 for f.
4
Suppose 4*j = 4 + 4. Suppose -j*b + 7 - 3 = 0. Solve 4*t = 3*d - 17, -b*d + 9 = -3*t - 3 for t.
-2
Let m = -31 - -35. Solve 2 = 2*t, -3*a - 11 = -9*t + m*t for a.
-2
Let a(u) be the third derivative of 19*u**4/12 - u**3/6 - u**2. Let p be a(1). Solve 4*w + p = -5*r, 0*w + 3*r = -4*w - 27 for w.
-3
Suppose 5*h = 3*h + 32. Solve 4*x - 4*a = -h, -x = -3*a + a + 4 for x.
-4
Let p be (-3)/3 - (-21 + 1). Let n be 2/7 - p/(-7). Suppose -2*k + 10 = n*k. Solve 0*i = 3*i - 3*b - 15, 4*b = -5*i - k for i.
2
Let i(p) be the first derivative of p**3/3 - 13*p**2/2 + 2*p - 3. Let w be i(13). Solve 3*x = -2*t - 2, t + t = -w*x - 2 for t.
-1
Let c = -8 + 14. Suppose -c*k + 2*k = -16. Solve b + 12 = -k*m + 3*b, 0 = 4*m + 3*b + 22 for m.
-4
Let d = 1 + -1. Suppose 2*c - c + 2*f = 9, 3*f - 6 = d. Let r be -3 + -3*38/(-6). Solve j = 4*t - 0*t + 12, c*j = t - r for j.
-4
Let v(h) = -3*h + 1. Let x(s) = 6*s - 2. Let m(w) = -13*v(w) - 6*x(w). Let y be m(1). Solve -2*q = -2*n, 2*n = y*q - n + 4 for q.
4
Suppose 7*n + 10 = 2*n. Suppose 0 = -2*v - 2 - 4. Let o be n/(v/(30/4)). Solve o*t = f - 17, 5*t + 4 = 3*f - 17 for t.
-3
Suppose 0 = -3*z - z + 16. Suppose 5*a + f - 40 = 0, 3*a + z*f = -31 + 72. Let k = a + -2. Solve k*s + 15 = 2*d, 0 = 2*s - 3*d + 2*d + 6 for s.
-3
Let h(w) = 5*w**3 + w**2 - 3*w + 1. Let m be h(1). Solve m = 3*l + 3*a - 2, a = 3*l + 14 for l.
-3
Suppose 2 + 14 = 4*q. Let o(s) = -21*s - 1. Let f be o(-4). Let a 