for f.
-4
Let y be 1 - (-3 - 6/1) - 1. Suppose 15 = -3*c, c + y = -4*s - 4*c. Solve -11 = -5*v - g, -s*g - 4 = v - 5*v for v.
2
Let a(o) = -11*o + 70. Let k be a(6). Solve -2*y - k*u - 26 = 0, -2*y - u = y + 19 for y.
-5
Suppose 0 = 13*r - 12*r - 11. Suppose 0 = -3*y + 9, -y - r = -4*k - 2*y. Solve -k*n + 2*j - 8 = 0, -3*n - 18 = 5*j - 6 for n.
-4
Let k be 27/(-4) + 2/(-8). Let y = -17 - -29. Let n = k + y. Solve 4*b - 1 = -n*c + 2, 0 = -5*b + 5*c - 30 for b.
-3
Let l be (-4 + 5)*(-2 + 1). Let a be l/(((-1)/2)/(10/4)). Suppose 55 = 4*c + 11. Solve -a*v - 4*m = -c, 4*m + 0*m = -3*v + 5 for v.
3
Let h be -1*3/5 + 83/5. Solve 3*k = -2*m - h, 0 = 2*m - 6*k + k for m.
-5
Let z = -17 + 9. Let d = -12 - z. Let o be d - -4 - 5*-1. Solve 0 = 4*p - 5*i - 1, -o*i - 2 = -2*p - p for p.
-1
Suppose 2*s = m + 14, -4*s + 3*m = -2*m - 40. Solve -9 = -s*l + 3*p - 41, -20 = -5*p for l.
-4
Let t = 99 - 99. Suppose 4*q + 23 = a, 4*a + t = -q + 7. Solve -g - 1 = r, 3*r + a = 6*g - g for r.
-1
Let v(f) be the third derivative of -f**5/60 - f**4 - 14*f**3/3 - 17*f**2. Let h be v(-22). Solve u - 1 = -2*r - 5, 2*r + 4*u + h = 0 for r.
0
Suppose 4*z = 3*h + 19, -h - 30 = -3*z - 4*h. Solve -z*r + l - 18 = -2*r, -4*l + 9 = r for r.
-3
Let z be ((-30)/(-25))/((-3)/(-10)). Let f = -2 + z. Let i = -37 + 52. Solve -2*p + 6 = f*g, -5*p + 10 = -i for g.
-2
Let f(o) = -19*o + 308. Let y be f(16). Solve -y*k = -6*k + 4, 5*z = k + 3 for z.
1
Suppose 5*y - 16 = y. Suppose -2*g = -y*q + g + 83, -3*q + 4*g + 64 = 0. Suppose 17*c + q = 22*c. Solve -4*p = -a + 4 + c, a = -5*p - 1 for a.
4
Let t be (2 - 4/8)*-2. Let q be 7/t*(-26 + 23). Solve 3*d - 5*g + q = -8, 0 = d + 3*g - 9 for d.
0
Let s be 18/(-63) + 2/7. Let w(u) = -u**3 - 6*u**2 - 5*u + 2. Let y be w(-5). Suppose -y*j = 2*j. Solve -5*z = s, -4*m + 3*z - 13 - 7 = j for m.
-5
Let b = -5 + 17. Suppose 0 = -3*u + 6*u - b. Solve 0 = 3*c + 2*k - 3*k - 2, 3*k = -u*c - 6 for c.
0
Suppose 5*d + 4 = h + 4*d, 4*h - 5*d = 17. Let s(w) = -8*w + 3. Let m be s(h). Let k = m + 23. Solve 0 = -4*v - k*b + 4, -b = v for v.
2
Let y be 6/(9 - 13 - (-44)/8). Solve 0 = -5*t - y*o + 31, 4*t + 5*o - 14 - 18 = 0 for t.
3
Let o be (-678)/(-4)*2/3. Let d = 113 - o. Solve 16 = 4*z - 2*r, -3*z = -d*z - 4*r - 17 for z.
3
Let m(c) = -c**2 + 5*c + 7. Let y be m(6). Let q be 7 - (6 - 3) - -4. Suppose q*u = 5*u + 6. Solve -u*g + 0 + 7 = -w, 4*g + w + y = 0 for g.
1
Suppose -8*x + 89 = -311. Let b be (x/(-15))/(2/15). Let y = -20 - b. Solve 5*j = t - 11, y*j + 3 = 3*t - 0*t for t.
-4
Let d(q) = -2*q + 3*q**2 + q**2 + 4*q - 3*q**2. Let f be d(-5). Suppose 4*v - f = v. Solve -4*u + 20 = -v*r, 4*u = -7*r + 3*r + 20 for r.
0
Suppose -15 = -2*m - 19. Let g be m + (1/(-1) - (-8 - -1)). Solve 4*r - 2*x - g = -6*x, -x - 2 = 2*r for r.
-3
Let y be (45/(-9) - 5)/(5/(-2)). Solve -5*x + y*x = 5*p - 21, -4*x = -2*p + 26 for x.
-4
Suppose 15*d = 2*z + 10*d - 5, d - 11 = -2*z. Solve z*i = -n + 19, 4*i + 8 = 3*n + 2*n for i.
3
Let k be 2*1*(10 + -5 + -4). Solve 0 = 3*h + 2*d + 23, d = 3*h + k*d + 19 for h.
-5
Let o = 122 + -119. Solve -4*p - o - 11 = 5*k, -5*p = -2*k + 1 for k.
-2
Let q be -5*-4*11/110. Solve 0 = 4*j + 16, k = q*k - 3*j - 13 for k.
1
Let m be (5/(-2))/(1/2). Let g(q) = -6*q**2 + 5*q + 1. Let p(c) = -c**2 + c. Let s(w) = m*p(w) + g(w). Let j be s(1). Solve -2 = r + 2, -5*y + r - 16 = j for y.
-4
Suppose 0 = -b + 3. Suppose -2*i + 3*r = -3, -17 = -5*i - b*r + r. Suppose -13 = -4*f - h - 0, 4*f - 7 = -i*h. Solve f*l = -0*l + j + 22, -5*l + 23 = j for l.
5
Let y be 6/15 - 166/(-10). Suppose -2*b - y = -21. Solve r + 5 = 0, b*u - 4*r - 12 = 2 for u.
-3
Let o(p) = -p**2 - 7*p - 4. Let m be o(-6). Suppose m*a - 3 - 1 = 0. Solve 2*u + k - 6*k = -22, 2*u - a = -k for u.
-1
Suppose 181*g = 133*g + 192. Solve 4 = -g*u, 2*x + 7 - 2 = 3*u for x.
-4
Let b be 25*2*6/15. Let z be ((-4)/10)/(-2*1/b). Solve 0 = 5*y - 15, 0*y - z*y + 32 = -4*n for n.
-5
Suppose -36*g + 21*g + 45 = 0. Solve 3*k = k + f - g, -f = 4*k + 3 for k.
-1
Let w = 197 + -195. Solve -w*f + 8 = f - 2*g, 16 = 3*f + 2*g for f.
4
Suppose -299 = c - 305. Solve -5 - 7 = 5*i - 4*b, 2*b = -5*i + c for i.
0
Suppose 168 = -9*i + 798. Let o be ((-40)/i)/((-6)/21). Solve -4*p = 5*a + 19, -o*a - a - 5 = -4*p for p.
-1
Let a be 27*1/(-3)*(-1 + 0). Suppose a = x + 6. Solve x*j = 2*w - 0*w + 5, 0 = -2*j + 6 for w.
2
Let z be -39*(4 + -1) - 4. Let g = z + 125. Solve s + 5*l - 13 = 2*l, -2*s - g*l = -18 for s.
1
Let n(s) = -s**3 + 10*s**2 + 25*s - 8. Let v be n(12). Solve v*d + 10 = -d, -3*a = -3*d + 3 for a.
-3
Suppose -141 = -45*g + 39. Suppose -2*w + 14 = -m, -2*m - m = -3*w + 27. Solve -w*a + g*j = 21, 5*a - 4*a - 19 = -5*j for a.
-1
Let d = 133 - 131. Solve 0 = -2*c - 0*c - 4*j - 8, d*c = 4*j - 8 for c.
-4
Let c(s) = -s - 1. Let f be c(-10). Let w(r) = -6*r + 4*r**2 - 3*r**2 + r - 4*r + 4. Let q be w(f). Solve 3*z + 4 = -q*x - 4, 0 = z - 4*x - 8 for z.
0
Suppose 9*s - 5*s - 14 = -2*v, -4*s = -5*v - 35. Solve -6 = -3*m, 0 = 2*f - s*m + 12 + 2 for f.
-2
Suppose -49 = -3*f + 26. Suppose 41*p + 40 = 43*p. Let c = 4 + -2. Solve 3*h - 4*i = c*h - p, 4*h + f = 5*i for h.
0
Suppose 0 = -7*h + 5*h + 4. Suppose 4*u = -4*p + 20, 2 = h*p - 4*u - 8. Solve 2*n - 14 = p*j, -7*j - 2*n - 6 = -2*j for j.
-2
Let m be (-3195)/63 - (-4)/(-14). Let n be (34/m)/(4/(-30)). Let t be (3 - 3) + 0/n. Solve -4*a - 3*w + 10 = -t, -4*w = -a - 7 for a.
1
Suppose 5*y - 3*y = 2. Let p be y/(-2) + 70/28. Solve 3*f + f + 8 = -3*d, -p*f = d + 2 for f.
1
Let f = 1960 + -1956. Solve -5*a - 19 = -3*d, f*d + 0*d - 14 = a for a.
-2
Let c = -4 + 6. Let h(r) = r**3 - 51*r**2 + 47*r + 155. Let y be h(50). Solve -q + 7 = -y*q + x, -x + 3 = -c*q for q.
-2
Let q be -3 + 15 + (-8 - 2). Solve 5*v = n + 16, 3*v - q*n - 4 = -0*v for v.
4
Suppose -3 + 11 = -4*q. Let w be q/(-4) + (-132)/(-8). Solve n = -5*c + w, 3*c - 2*c - 5*n - 19 = 0 for c.
4
Let x(a) = a - 313 + 329 - 2*a. Let g = 40 + -26. Let o be x(g). Solve k = 5*s + 9 - 0, 0 = -5*k + o*s + 22 for k.
4
Suppose 33*f = 11*f. Solve -5*s - 20 = f, -5*w - 4*s + 7 - 3 = 0 for w.
4
Let g = -64 - -120. Let r = -932 + 934. Suppose g = r*m + 2*m. Solve 4*i = 4*t + 4, -i + 2 = -4*t - m for t.
-5
Let k be (-158)/18 + 2 + (-8)/36. Let c = 11 + k. Solve q = c*g + 13, 2*g - 2*q + 7*q = 21 for g.
-2
Suppose 253*t - 10 = 251*t. Solve -2 = -t*b + 4*z - 4, -3*b + z + 3 = 0 for b.
2
Let i = 5 + -1. Let z be 12/(-6)*(-3 - -2). Let b = 4 - z. Solve -w - b = 0, -i*j + 7 = w + 1 for j.
2
Suppose -9*n + 7 + 11 = 0. Let a be -1*2/(1 - 3). Let l = 8 - -11. Solve -4*u - a = 2*s - l, -n*s - 22 = -4*u for s.
-1
Suppose -2*b = -7*b + 15. Suppose t = -b*t + 8. Let o(l) = -l. Let v be o(0). Solve -2*z + t*f - 2 = v, -3*z + 4*z - 2*f = -3 for z.
1
Suppose -13 = f - 18. Let n be f/2*40/25. Solve -7 = n*u + t - 4, -t + 11 = -3*u for u.
-2
Suppose -16*b = -25 - 7. Let t be (-3)/2*12/(-9). Solve -5*r + 0*k = t*k + 4, -5*r + k = -b for r.
0
Suppose -5*m = 5*x - 5, -17 = -3*x + 5*m + 10. Solve f + x*v - 22 = -f, -3*v = -4*f for f.
3
Suppose 231 - 1 = 5*q + 5*r, -5*q + 3*r = -262. Suppose -3*o - 7*o + q = 0. Solve -o*c - 2*t + 1 + 5 = 0, 3*t - 9 = -2*c for c.
0
Suppose -2*v = 5*p - 11, -2*p - v - 2 = -6. Solve 0 = -5*s + 2*j - j + 3, -2*j = -s - p for s.
1
Let n(p) = -p**3 + 7*p**2 + 10*p - 65. Let x be n(7). Solve 0 = -3*z + x*d + 13, -4*d = 7*z - 2*z + 40 for z.
-4
Suppose -4*q = -3*r + 55, -13 + 46 = r - 5*q. Let k = r + -11. Solve k*y = -8*m + 3*m - 28, 2*m = -y - 12 for m.
-4
Let b = 52 - 48. Suppose 0 = w + 5*k + 2, -50 = w - 4*w - k. Solve -3*g = z - 2*z - w, -b*g = -2*z - 26 for z.
-3
Let l be -3*8*2/(-12). Suppose -l*y = y - 3*o - 22, 14 = 3*y - o. Solve 2 = -y*t - 4*k, -4*t - k - 6 = -0*t for t.
-2
Suppose -24 = -3*t + 3*o, -8*o + 4*o = 12. Suppose 2*d - 3*x = -3*d + 30, -5*x - 40 = -t*d. Solve 0 = -d*z + 5*q + 4, 2*q - 3*q - 11 = -4*z for z.
3
Suppose 5*m = -4*z + 3*z + 22, 5*z + 2*m = 18. Suppose -3*j + 20 = 4*n, -z*n + 3*j = 2*j. Solve -3*i + 5*i = 4*u + 4, 5*u = -n*i - 5 for u.
-1
Suppose -310 + 346 = 9*b. Suppose g + 0*g = 25. Solve 0*h = -h - b*o + g, 0 = h + 5*o - 30 for h.
5
Let u = -36 - -56. Let o be u/70 - 4/14. Solve -g = -4*m + 15, o = -2*g - 4*m + 3*m - 3 for g.
-3
Let m be (-2)/12*(38 - 260). Let p = 97 + -61. Let v(b) = -b**3 