for f.
4
Let a be 145/40 + (-27)/(-72). Solve 5*c = 0, 4 = d - 3*d - a*c for d.
-2
Let j(s) = s**3 + 13*s**2 - 2*s - 22. Let i be j(-13). Solve 0 = i*a - 4*u + 8, -1 = 4*a - u - 2 for a.
1
Let l(y) = 37*y - 257. Let w be l(7). Solve 4*u = 3*k + 13, 3*u - 18 = -w*k + 7*k for k.
-3
Suppose 0 = 5*i - 2*d - 3, -2*d - 3 = -5*d. Suppose -10*l + i + 39 = 0. Solve g - 1 = 5*v - 11, l*g + 19 = -v for g.
-5
Let l(w) = -w**2 + 37*w - 156. Let z be l(5). Solve 0 = z*n - a - 1, -5*n + 8 = -3*n - 2*a for n.
-1
Let g(z) = z**3 - 43*z**2 + 5*z - 211. Let b be g(43). Let f(k) = -3 - k + 3 + 9. Let t be f(7). Solve 4*w + 0 = -5*o - t, 5*o = -2*w + b for w.
-3
Let r = -8 + 11. Suppose 0 = 3*y - 3*v + r, 6*y - 2 = 2*y + v. Let x be 5 - (5 + -3)/y. Solve -x*q + 5*z - 7 = 0, 4*q + 3*z - 10 = -0*q for q.
1
Suppose 0 = -611*z + 616*z - 25. Solve 3*y - 3*o = 6, -10 = -4*y - 3*o + z for y.
3
Suppose -6*a = -3731 + 3713. Suppose 0*r + 5 = -r + 4*c, -3*r = c - 24. Solve -r = -q - q - 3*b, 15 = -a*q + 4*b for q.
-1
Suppose -4*f + 7 = -5*r + 20, -2*r - 2 = -4*f. Solve -4*w - 2*y + 4 = 2*y, r*y = -10 for w.
3
Let b = 1013 - 1008. Solve -b*g + 25 = -3*l, -4*l + 0*l + 3*g = 15 for l.
0
Let i be ((-12)/(-18))/(2/3). Suppose 6*d + i - 1 = 0. Solve -z - 5*l + 11 = d, 4*z = -z + 4*l - 3 for z.
1
Suppose 3*k = 11 + 1. Solve -d - k*d = 4*i + 5, -i - 2 = 2*d for d.
-1
Let k(c) = -c**2 + 12*c - 17. Let s be k(5). Suppose -19 = -2*y + 2*d + 3*d, s = 3*y - 4*d. Solve y*w - 5*w + 9 = -2*i, 2*i - 21 = -3*w for w.
5
Suppose -3*v = 4*i + 1 + 1, 12 = -4*v + 4*i. Let h = v + 27. Let r = 41 - h. Solve -u = 6*x - 2*x - 15, 0 = -4*x + r for u.
-1
Let x be (-2)/(-8)*(20 - 20). Solve 2*g + 2*g + 5*o + 5 = x, -o - 1 = -5*g for g.
0
Let z be 30/8 - (-16)/64. Let b(s) = s**2 - 7*s - 5. Let w be b(8). Suppose -w*n + 8 = 2. Solve -i = -z*k + 17, 0*k = 3*k - n*i - 19 for k.
3
Let f = 23 + -21. Suppose -5*x - 5*w = 15, -5*x = 4*w + 4 + 6. Suppose -4*r - r = -3*z - 9, -x*z + 19 = 5*r. Solve 5*k = -f*s + 11, -r*k - 12 = -7*k for s.
-2
Suppose 3*l - 18 = -0. Suppose 0*r = 2*r - l. Solve 4*v = -r*a - 21, v + 2*a = 5*a + 6 for v.
-3
Let m(c) = c + 12. Let a be m(-10). Let v be 2/4 - (a + 39/(-6)). Solve -7 = -g - 2, f = -v*g + 24 for f.
-1
Let h = 167 + -167. Solve -10 - 5 = 2*p - 3*z, h = 4*p + 4*z for p.
-3
Let t = 16 + -14. Let j = 2 - 4. Let h be -1*20/(0 + j). Solve 5*p = -h, -i = t*p - 6*p - 3 for i.
-5
Suppose 54 = 5*p + 4*b, -3*p - 2*p + 78 = -2*b. Suppose p*n - 3*n - 55 = 0. Let q be (-3)/6 - (-7)/2. Solve q*y = y - 10, y + 10 = -n*k for k.
-1
Suppose -2*h = -a + 3, -5*a + 9*a = -5*h + 12. Solve 5*b - 4 = -a*u - 0*u, -4*u + 5*b - 18 = 0 for u.
-2
Let y(h) = h**3 - 9*h**2 + 6*h + 18. Let q be y(8). Solve q*x = -2*u + 6 + 8, 2*u = 5*x for u.
5
Suppose -27 = -4*i - 3. Suppose -i*c + 6 = -5*c. Solve 2*y = -u + 1 + 3, -4*u = -2*y - c for u.
2
Let x = -8 - -10. Suppose 4*k + 44 = -4*s, -x*k + 4*s - 67 = -15. Let p = k + 20. Solve -p*y - 6 = -3*j, -4*j = -3*y - y - 8 for j.
2
Let k = 3 - 3. Suppose 3*a - 48 = 3*d - 5*d, k = -2*d - 2*a + 52. Solve -q - 30 = 2*q - 3*v, 4*q - 2*v + d = 0 for q.
-5
Let p be 1*-4*(9 + -8). Let i(f) = -f**2 - 2*f + 13. Let a be i(p). Solve 0*x - 2 = -a*s - 2*x, -2*x + 2 = 3*s for s.
0
Let r = -274 - -279. Solve 5*g = 2*k - r*k - 8, 4 = -4*g - 3*k for g.
-4
Let c(l) = l**2 - 6*l - 12. Let p(t) = -t + 3*t**2 - 2*t**2 + t**3 + 3*t**2 + 1 + 3*t**2. Let k be p(-7). Let w be c(k). Solve 2*o = 0, 5*o = 4*h - w - 4 for h.
2
Let f(p) = 31*p + 156. Let c be f(-5). Solve -4*w - w + c = -z, -4*z = 4 for w.
0
Let n = -345 + 347. Let r = 2 - -4. Solve -4*m + 4*w = n - r, -5*w = -4*m + 5 for m.
0
Let n(c) = 14*c - 101. Let g be n(8). Solve 4*w = 5*t - 10, -w = -3*t - 2*w - g for t.
-2
Let l(s) = s**3 - 25*s**2 + 3. Let w be l(25). Let g = -15 + 35. Solve v + 4*v = -w*u + 25, 4*v = -5*u + g for v.
5
Let y be -3 - (-3*2)/(-3). Let r be (-16)/y - (-14)/(-70). Solve t + n = -3, 3*t + n - 2*n - r = 0 for t.
0
Suppose -u + 5*u - 64 = -4*f, 4*u = -3*f + 60. Let l be 38/(-14) + (-10)/35. Let n be (0 - l) + 0 + 1. Solve -n*m - 2*c = u, -4*c - 9 = -3*m - c for m.
-1
Let k = 8 - 4. Suppose k = y + y. Solve 3 = -p - y*h, -4*p + 4*h + 32 = -4 for p.
5
Suppose 0 = -5*p - 4*d, -4*p = -6*d + 3*d. Solve -2*l = v, 3*l + 2*v + p*v = 2 for l.
-2
Let k(u) = -u**2 + 16*u - 12. Let x be k(15). Solve 3*r - c = 3*c - 5, -x*r - 5*c - 14 = 0 for r.
-3
Let g = -79 - -60. Let k be -1*7/((-28)/(-40)). Let y = k - g. Solve -4*c - h - y + 25 = 0, h = -4 for c.
5
Let k = -25 + 25. Let p be -1*(0/4 + -3). Solve 5*j - 1 + 10 = p*t, k = -3*t + 9 for j.
0
Let h be 2*6*(-6)/(-12). Suppose 0 = 7*i - 6*i + h. Let y be i/(-9) - 43/(-3). Solve 3*g + y = -2*d, -2*g - 10 = -4 for d.
-3
Suppose 0 = -72*f - 32 + 32. Solve -2*w - 14 = 3*d, f = 2*d + w - 1 + 10 for d.
-4
Suppose 148 + 12 = 8*s. Suppose -8*h + s = -3*h. Let a(p) = p + 17. Let f be a(0). Solve -5*t = -l - f, -h*t - l + 19 = -0*t for t.
4
Let w = 387 - 383. Solve 1 = -2*v - 4*x - 1, 3*v + w*x = 3 for v.
5
Let d = 0 + 4. Let i(a) = a**3 - 3*a**2 + 2*a. Let c be i(2). Solve c*l - 2*l = -j + 2, 0 = d*l + 12 for j.
-4
Let m be (-10)/(-25) - (-16)/(-40). Solve 0 = -3*z + l - 4, z + 3*l = -m*z - 8 for z.
-2
Let c be (1/2)/(5/(-190)). Let n = c - -27. Let l be 38/n + 8/32. Solve l*f = 2*y + 23, 2*f = -4*y + y - 6 for y.
-4
Suppose 244 + 284 = 44*m. Solve -3*g + 6 = 0, -m = 2*d + g - 3*g for d.
-4
Let r(a) = -5*a - 2. Let p be r(-2). Let s = 110 + -114. Let d = s + p. Solve 3*j - 4 = -2*c, 2*j - 2*c + d = -0*j for j.
0
Suppose 32*l = l + 62. Solve -l*j + 4*z - 2*z = -2, -j - 5*z - 29 = 0 for j.
-4
Let z(u) be the second derivative of u**3/2 + u**2/2 - 18*u. Let n be z(4). Solve 3*l + n = -2*i, l - 1 = 2*l - i for l.
-3
Let o = 11 - -9. Suppose -5*g = -45 + o. Solve 4*h + 9 = f, -2 - g = 5*h + 3*f for h.
-2
Let y be (-2)/5*(13 - 23). Suppose -h - 5 = -y*o - 0*h, -25 = -4*o + 5*h. Solve 3*l + 3 = 2*f + 2*f, o = f + 3 for l.
-5
Let d(s) = -s**2 - 18*s - 9. Let u be d(-13). Suppose 36 = 5*y - b, 4*b + 0*b = -5*y + u. Solve -5*c + 5*t = -20, -c - y = -t + 4*t for c.
1
Let k(m) = -m**2 + 7*m - 12. Let g be k(10). Let d be (-2)/(-4)*g/(-7). Solve 5*t + d*y + 13 = 0, 2*y - 8 = -0*t + 5*t for t.
-2
Let f(r) = -r**2 - 15*r + 6. Let y be f(-9). Let u = 64 - y. Solve 5*i = -20, -u*n + 3*n = -4*i - 15 for n.
-1
Suppose 52*s = 67*s. Solve 3*j + 4*b + 12 = -j, -j + 5*b + 21 = s for j.
1
Let l be 12/(-32) + -5 + 275/8. Suppose -5*n - 1 = -26. Suppose -4*w - 1 = -x, n*x = w + 14 + l. Solve 2*s - 12 = 5*a, 2*a + 1 - x = 4*s for a.
-4
Suppose -24*n + n + 46 = 0. Solve 2*y + 2 = -n*i, 2*y + 3*y - 2*i - 16 = 0 for y.
2
Let d(v) = -v**3 - 4*v**2 + 4*v. Let g be d(-5). Suppose -9 = -p + k, k + 5 = -0. Solve 3*b = g*x + 4*b - 14, 4*x - p*b = -8 for x.
2
Suppose 3*j = r + 8, -8*r = -5*j - 10*r + 17. Solve j*x - q - 6 - 1 = 0, -4*x - 4*q + 4 = 0 for x.
2
Let p(g) = g**2 + g + 4. Let t be p(0). Suppose 0*o + 3*o + d - 17 = 0, 5*o = 4*d. Let i = 4 - 1. Solve w - i*w = -4*h + 6, 4*w - o*h + t = 0 for w.
1
Suppose -3*d = -d + 5*b - 15, 5*d - 51 = b. Solve -w - 5*k = -7*k - d, 0 = 2*k + 10 for w.
0
Suppose 5*y - 3*i + 26 = 0, -5*y = 4*i - 3 + 50. Let l = -284 + 294. Let t = y + l. Solve -6 = 4*w - 5*o, -2*o = 3*w - t - 4 for w.
1
Let v(t) be the third derivative of -t**6/120 - t**5/4 - 2*t**4/3 - 3*t**3 - 17*t**2. Let u be v(-14). Solve 0 = -2*r + 2*z + u, -5*r - z + 0 = -1 for r.
1
Suppose 4*m - 44 = 8*m. Let k = m - -13. Solve k*d - 12 = -2*u, 5*d - u + 10 = 2*u for d.
1
Suppose 13*h = -133 + 198. Solve -f = -3*c + 3, f + h*c - 4 = 3*f for f.
3
Let c = 1820 + -1819. Let n(u) = 4*u**2 - u - 1. Let r be n(-2). Let q be (0 - 2/2) + r. Solve 5*b = -4*z + 4*b - c, z = 3*b + q for z.
1
Let b = 37 + -70. Let n = 38 + b. Solve 0 = -5*a + 25, -t = -n*a + a + 17 for t.
3
Suppose -3*a = 4*n - a, 3*a + 9 = 3*n. Solve -11 = -2*l - y, 2*y + n = 3*y for l.
5
Suppose i - 4*z = 4 + 14, -2*i + 2*z + 12 = 0. Suppose -u + 0*y = -3*y - 11, -2*y - 14 = -i*u. Solve -u*f - 4 = 3*k, 5*f - 4*f - 5*k = -12 for f.
-2
Let p be -2*(-8)/(-3)*6. Suppose 2*u + 2*z + 66 = 0, -3*u - 3*z - 91 = -2*z. Let n = u - p. Solve 3*x = 2*h - x + 2, -2*h = n*x - 19 for h.
5
Let r be -3 - 3496/(-120) - (-2)/(-15). Solve 2*h - 2*s - r = 3*s, -2*h = 5*s + 