 for f.
-5
Let d(u) be the second derivative of -u**3/6 + 5*u**2/2 - u. Let g be d(5). Solve -3*f - 8 = -5*c, g = -2*c - 2*f + 6*f - 8 for c.
4
Let t(f) = f**3 - 20*f**2 + 20*f - 16. Let k be t(19). Suppose -24 + 0 = 4*y. Let r be (-1)/(-2) + y/(-4). Solve 0 = -k*c + u + 10, u - 3*u = r for c.
3
Suppose 0 = -a - 0*a + 12. Let s = a - 8. Solve -4*z + 3 = -3*n, -s*n + 5*z = -2*n + 2 for n.
-1
Suppose 2*j + j - 3 = 0. Let l be 3 + 0 + (j - 1). Solve 2*m + 25 = -5*v, -2*m - l = -2*v + 1 for m.
-5
Let b be (-4)/14 + (-80)/(-35). Let z be -2 + (6*2 - b). Suppose 5*u - 16 = -6. Solve u*v - 3*l + z = 0, 0 = -2*v - 2*l - 3 + 15 for v.
2
Suppose 5*z + 10 = 5*c - 0*c, 5*z = 2*c - 7. Let q(s) = -2*s**3 - s**2 - s. Let l be q(z). Solve l*d - 8 = 0, -15 = g - 3*d - 2 for g.
-1
Let t(v) = -4*v - 2*v + 2*v - v. Let y(x) = -x. Let q(s) = 6*t(s) - 35*y(s). Let k be q(1). Solve 0 = d - k*z + 8 + 7, -4*d + 12 = 4*z for d.
0
Suppose w + 5*x + 18 = 0, 3*w + 0*x + 26 = -x. Let s be (2/(-3))/(w/36). Solve 5*i + 3*g - 9 = 0, s*i + 6*g = 2*g + 1 for i.
3
Let w = 1 + 0. Let y be 6 + -3 + -2 + w. Solve -t = -5*d - 10, 0*t - y*d = -t + 7 for t.
5
Let t = -15 + 17. Solve 0 = -t*y - s - 6, 2*y + 3*s + 6 = 6*s for y.
-3
Suppose -11*b - 9 = -130. Solve 4*d = u + b, -5*d - 3*u - 1 + 2 = 0 for d.
2
Suppose 3*u - 23 = -4*r, 4*u + 7 - 1 = 2*r. Let y = 26 + -21. Solve -15 = -2*o + r*m, o = y*o + 5*m + 45 for o.
-5
Let u be 39 - 2 - (7 - 5). Solve -14 - 3 = 4*c + a, -5*a = -4*c - u for c.
-5
Let c(g) = -2*g + 12. Let f be c(0). Solve 5*l = y + f, -2*l = -3*y + l for y.
3
Suppose -2*x = 2*x. Let c(s) = s**3 - 17*s**2 - s + 20. Let a be c(17). Suppose x = -a*d + d. Solve h + 2 = 0, d = g + 3*h - 2*h + 1 for g.
1
Let r be (2 + 0)/((-36)/(-288)). Solve 5*f - 2*u - r = -4*u, -2*u - 8 = -f for f.
4
Let y be (8 + -7)*6/2. Let f be 3 - y*4/(-4). Solve a - 15 = -4*w, -2*a = -a + w - f for a.
3
Suppose -1 + 16 = 3*g. Let s(t) = t + 9. Suppose -a + 13 = -4*a - 2*j, 0 = -a + 3*j - 19. Let l be s(a). Solve 5*m = -2*x - 21, 5*m = l*m - 5*x - g for m.
-5
Let d be -2*-10*(-3)/(-12). Solve -3*v + 12 = -d*u + u, 3*v - 12 = -u for v.
4
Let b = 3 + -3. Suppose 52 = 4*j - b*j. Suppose -92 = -3*g + j. Solve 5*r = 4*h + g - 8, h - 3 = -2*r for r.
3
Suppose 0 = -2*q + 4*r + 12, 4*r = -3*q + 4*q - 6. Solve -3*a - 4*d = -a - 2, -2*d = -q for a.
-5
Suppose 0 = -5*a + 4*a - 5. Let w = a - -9. Solve 3*t + 5*f = 11, -t + f - 19 = w*t for t.
-3
Let y be 4/12 + (-14)/6. Let n be 1*(y + 7) - 2. Suppose l = 4 + 1. Solve -3*v + q - n = 0, 0 = l*v - 3*q + q + 6 for v.
0
Suppose -97 = -6*l - 55. Solve 3*z - 3*u = -2*z + 1, -5*z - u = l for z.
-1
Suppose 39 - 11 = -2*a + 2*p, 0 = -5*p + 20. Let n = -5 - a. Solve 0 = m + 3, 5*m + 31 = -v + n*v for v.
4
Suppose 4*p = p + 33. Let w = -7 + p. Solve b - i = 3, 4*b = -b - w*i - 21 for b.
-1
Let h = -10 - -3. Let o = h - -11. Solve -3*t = o + 11, a + 5 = -t for a.
0
Let d be 4/(4 + -3 + 1). Suppose 3*o = -d*y + 10, 4*y = 6 + 2. Solve 0 = o*v - 5*i + 14, 3*v - i = -2*i + 13 for v.
3
Let k(h) = h**3 + 9*h**2 - 3*h - 13. Let v be k(-9). Suppose 11 + v = 5*x. Solve -3*y - 22 = x*o, -o - 10 = 2*y - 0*o for y.
-4
Let j = -3 - 0. Let w = j + 7. Solve 21 = -x + 2*x + w*m, m - 29 = -5*x for x.
5
Let a be (-2)/1 - (-2)/1. Let y(p) = p**3 + p**2 + p + 4. Let o be y(a). Solve -5*h - 5*c = -15, 4*c - o = 4*h - 0 for h.
1
Suppose 3*f + 16 = 7*f. Solve -1 = -z + f*m - 6, 0 = 2*z - 3*m + 10 for z.
-5
Suppose h = -o - 0*o - 2, -3*o - 15 = 0. Solve -3*l + h*a = 24, -4*l + 2*a - 14 = 10 for l.
-4
Let z = 15 - 11. Solve -2*n - 5*k = 11, n = 3*n - 2*k + z for n.
-3
Suppose i = 5*b + 17, -i - b = 3*b + 10. Let d be (-3)/(-4)*8/3. Solve 3*f - 4*w + i*w - d = 0, -w + 1 = -f for f.
4
Let t be 8/(3 + (-28)/12). Suppose -4*l - 26 = -4*v + 10, 5*l + 35 = 3*v. Solve 4*x - v*o + 12 = 0, 2*x - 4*o = 6*x + t for x.
-3
Suppose -3*r - 15 = -0*r, -2*r - 35 = -5*w. Suppose -2*z + w + 1 = 0. Solve 4*o - z*n + 1 = 0, -n + 3 = -4*o - 0 for o.
-1
Let c = -4 - -16. Let s be 8/c - (-10)/3. Solve 0 = 4*q - 2*q + 2*d + s, 3*q = d - 6 for q.
-2
Let u(h) = -h**3 - 10*h**2 + 8*h - 16. Let x be u(-11). Let j = x + 0. Solve 2*b + a = -14, -j = b + 4*a - a for b.
-5
Let g be -7 + 2 - -2 - -8. Solve 5*z + 17 = 2*z - g*x, -4*z + 3*x = -16 for z.
1
Suppose 3*v + 19 = -50. Let x = -2 - v. Suppose -37 = -3*h + 5*n, -3*h = h - n - 21. Solve y = h*o - 17, -y + 7 = -3*o + x for o.
3
Suppose 2*n + 6 = -u, -2*u + 8 = -0*u - n. Solve -u*p - z = -4*z - 11, 5*z = -4*p - 11 for p.
1
Let c(y) = y**2 - 7*y + 10. Let q be c(6). Suppose 5*k = -q*u + 13, -8*k + 5 = -3*k. Solve -r - 2*r = -12, -u*r = -3*h - 23 for h.
-5
Suppose -5*f = -25 + 5. Suppose 0 = -n + 5*o, -f*n - 3*o = 2*o - 25. Solve 5*k + 2*y - 5 = 0, -1 = -n*y + 24 for k.
-1
Let h = -13 - -22. Let g = -1 - -4. Solve -11 - 8 = -q + g*n, n + h = q for q.
4
Suppose 0*r - r = 0. Suppose r = 4*s - 7 - 9. Solve m = 4*v - 2*m + 7, -s*m - 20 = 2*v for v.
-4
Suppose 6*c = 4*c. Solve 5*m - 4*i + 3 = c, -2*m - 3*m + 2*i + 1 = 0 for m.
1
Suppose 15 = 4*d + r, 0 = -3*r + 16 - 7. Solve -2*a + 5*i = 21, -5*i = -d*a - 0*i - 24 for a.
-3
Let t = 3 - 3. Let w(z) = z + 4. Let f be w(t). Solve -2*o = -5*m + 2*o + 21, 0 = f*m - 2*o - 18 for m.
5
Let n = 28 + -5. Solve 4*d = -5*u - n, -3*d + 1 + 5 = -4*u for u.
-3
Let p = 1 + -1. Let h = p - -4. Solve -4*v + 3*l + 3 = h, 4*v - 11 = -l for v.
2
Suppose 4*l - 39 = 5. Suppose 2*q = -j + l, 0*j = -q + 5*j - 22. Solve -5 = 2*d - q*d - 2*p, -5*d = 3*p + 10 for d.
-5
Suppose 0 = -n + 1 + 2. Solve -3*j = -3*s + n, -s - 5*j = -2*j + 15 for s.
-3
Let o = -14 - -3. Suppose 2*j + 0*j - 30 = 0. Let f = j + o. Solve 5*t = 5*a - 30, -f - 17 = 2*t - 5*a for t.
-3
Let j = 12 + -6. Suppose 5*z = 2*z + j. Let n be (-2)/8 - (-21)/4. Solve 0 = n*y + 3*q - 1, -3*y - z - 1 = 3*q for y.
2
Let h(c) = -c - 2. Let z = 9 - 16. Let b be h(z). Let f be 18/(-2)*-3 - -1. Solve n = b*o + 10, f = o - 2*o - 5*n for o.
-3
Suppose 5 - 2 = -a. Let z = a + 3. Suppose 4*w + w - 25 = z. Solve -5*n + 20 = w*m, n = -3*n + 3*m + 16 for n.
4
Suppose -12*y + 6 = -10*y. Solve 5*d + 0 = -y*w - 15, 3*w = -3*d - 15 for d.
0
Let h = -4 + 9. Suppose -h*w = -0*f + f - 17, 38 = 3*f + 2*w. Solve -z - f = 3*u, 4*u = 3*z + 1 - 4 for u.
-3
Suppose 12 = 3*l, -2*l + 8 = 2*a - 4. Let b(h) = -h**2 - 2*h - 6. Let v be b(-4). Let n be (-12)/(-42) + 4/v. Solve 4*p = a*t + t + 1, n = p + 4*t - 5 for p.
1
Let o be (17 - 2)*(-1)/(-3). Suppose -i - i - 14 = -o*p, p = i + 1. Solve k + i + 6 = 2*m, -5*m + 23 = -3*k for m.
4
Suppose 6*n - 5*n = v + 19, -4*n = -2*v - 70. Let w = 18 - n. Solve 3*o + w*m = 0, -m + 3*m = -6 for o.
2
Suppose -89*n - 4 = -91*n. Solve -u + i - 5 = 2*u, -u + 4*i + n = 0 for u.
-2
Let f be 2 + (4 - (5 - 2)). Let y be (-2 + f)*(-1 - -5). Let c = -8 + 13. Solve -c*j - 2*n = 17 + 7, 0 = 3*j - 4*n + y for j.
-4
Let w(o) = -3*o**3 - o**2 + o. Let z be w(1). Let u be -1 + 0 - (-10 + 4). Let y = u + z. Solve y*g + 23 = -2*g - 5*f, -3 = f for g.
-2
Suppose 1 = -4*x + 13. Solve 3*t = 2*u - 19, -2*t = -6*t - x*u - 14 for t.
-5
Let k(j) = -j. Let q be k(0). Suppose q = i - 2, -2*m + 3*i = 5*i - 8. Suppose 28 = m*n + 2*n. Solve -7*h + 3*h + g + n = 0, 2*g + 6 = 0 for h.
1
Let l be 1*(-7)/3*-3. Let n = l - -3. Suppose -2*r - n = 2*o + 3*r, 0 = 3*r + 6. Solve -d + 4*d + 4*w = 12, o = -w + 3 for d.
0
Suppose 0 = -a - a + 8. Solve 0 = 4*x - 8*x - 2*m - 8, -a*x = m + 6 for x.
-1
Suppose -4*z + 8 = 3*b, 4*z - 3 = 3*b + 5. Let v = -9 - -13. Let r be -5*v/(-5)*1. Solve -z*i - 5 = 3*t, 2*t = r*t - 2 for i.
-4
Suppose 2*u + 2*l = -l + 10, -2*l = -5*u + 25. Solve 3*r + 37 = -u*a, -5*r + 5*a + 17 = -3*r for r.
-4
Let g(i) = i**3 + 22*i**2 + 23*i + 42. Let u be g(-21). Solve -2*b + f - 12 = -6*b, u = -f - 4 for b.
4
Let q(y) = y**3 - 1. Let i be q(1). Suppose -3*k - 2*k = i. Solve 0 = -j + b - 4, j + 8 = -k*j - 3*b for j.
-5
Suppose -13 = 3*a - 2*j - 65, a + 3*j = -1. Suppose 3*d - a = -2. Solve -3*p = d*q - 11, -p - 5 = -0*q - 3*q for q.
2
Let n = -11 + 14. Solve j - c = -2*c + n, -5 = j - 3*c for j.
1
Suppose 4 = 4*h - 28. Let o = 8 + -13. Let c be (-1 - -4) + o/5. Solve c*w - 5*s - h = -0*w, 2*w - 4*s = 8 for w.
4
Let g(l) = l**2. Let k be g(-2). Suppose -5*v = -2*v - 12. Suppose 6*m = v*m + 56. Solve 4*x - 2*x = -k*