0 for f.
-3
Let q be (-32 - -68)/(1*2). Suppose -q*i = -43*i + 225. Solve 2*t - i = l, -3*l - 2*t = -8 - 5 for l.
1
Let c(t) = -2*t + 30. Let p be c(9). Let s = p - -4. Suppose 4*z + 8 = s. Solve 2*o = z*h - 2, -4*h + 3*o + 11 - 3 = 0 for h.
5
Let y(u) = -2*u**2 - 242*u - 155. Let q be y(-119). Solve -10 = 5*l, -33 = -326*a + q*a + 4*l for a.
5
Let p = 225 + -215. Suppose -2*d = -q - p, -3*q + 0*q - 18 = -2*d. Solve -5*i + d*t + 11 = 0, i - 2*t - t = -5 for i.
4
Suppose 0 = 1067*c - 1071*c + 20. Suppose -c*o + 28 = 28. Solve -j = -2*t + 2, 5*j + o*t - 29 = -3*t for j.
4
Let y(p) = p**3 - 5*p**2 - 2*p - 20. Let s be y(6). Suppose 4*o = 2*f + 7*o - 13, -5*f - s*o = -36. Solve f = -3*b + 5*a, -b + 20 = 2*b + 2*a for b.
4
Let g = -16 + 16. Suppose g = -10*l + 5*l + 10. Let f(k) = -8*k + 106. Let y be f(13). Solve -l*h = b, -b = -2*b - h + y for b.
4
Let w(t) = -t**3 + 3*t**2 - 16*t + 54. Let c be w(3). Solve -3*r - 17 = -32*v + 27*v, 2*v = -2*r - c for r.
-4
Let j(w) = w**3 + 20*w**2 + 70*w - 192. Let p be j(-14). Solve 33*d - 21 = p*z + 28*d, 0 = -z + 4*d - 8 for z.
-4
Let g(r) = 3*r**2 + 44*r + 5. Let v be g(0). Solve 0 = 4*f + 4, 2*p + 1 = 6*p - v*f for p.
-1
Let l(q) = -240*q - 5031. Let j be l(-21). Solve -178*f - 5*z - 11 = -180*f, j = -3*z for f.
-2
Suppose -2*k + 8 = 2. Let l = k - 3. Suppose 2*f - 3*s - 37 = l, -3*s = 5*f + 2*s - 130. Solve -3*b = a + a - 11, f = 5*a + 3*b for a.
4
Let c = 12 + -23. Let j = -3 - 8. Let z = c - j. Solve 4*k = -3*t - 2*t + 3, z = 2*k + 4*t for k.
2
Suppose 0 = 12*n + 57 - 189. Let s = n + 3. Suppose 0 = -s*b + 28*b - 98. Solve -3*w - 4*m - b = 0, -2*w - 4 = 4*m + 6 for w.
3
Suppose 0 = 4*f + 4*p - 7*p - 239, 2*f - 3*p - 127 = 0. Let l be f/21*6/4. Suppose 81 = 11*n + l. Solve -4 = -2*g - 4*d, -3*g - 2*d + n = 1 for g.
2
Let q = 15 + -10. Suppose 5*s - 5*f = -5, -2*f = -q*s + s + 6. Solve o + n - 20 = 6*o, 0 = -s*o - 2*n - 30 for o.
-5
Let a = 99 - 113. Suppose -9*b + 13*b - 512 = 0. Let k be 4/a - b/(-56). Solve -16 = 3*f + x + 4*x, 2*f = k*x + 16 for f.
3
Suppose 5*n - 49 + 34 = 0. Suppose 4*l = 3*a + l - 9, l = 4*a - n. Suppose a*f = -5*r - f + 64, 0 = -2*r - 4*f + 40. Solve 4*v = r, -7*s + 2*s - 19 = 2*v for s.
-5
Suppose -17 = v - 0*v + 3*s, 9 = -v - s. Let f = v + 9. Suppose 0 = -3*u - 12*b + 17*b + 11, -4*u + 10 = -2*b. Solve -u*g + f = 5*o, g + 2*g + o = -7 for g.
-3
Let p(q) = q**3 + 21*q**2 + 30. Let u be p(-21). Let d = -6 + u. Suppose -d*v + 25*v = 5. Solve v*j = 4*t - 37, -5*j - 19 - 3 = t for t.
3
Let b be (6/(-2) + -4)*(6 + -7). Suppose -1 = -b*u + 174. Solve 3*m = 3*v - 8*v + u, 3*v = m + 15 for v.
5
Let d be (-6 - 117/(-18))/(1/14). Let f be (-3)/(3/2) + 5. Suppose 13 = f*b + d. Solve -m = 4*g + 17, -3*g - b*m = -4*g - 2 for g.
-4
Let j = -6770 + 6778. Solve -d - j = 2*z - 2*d, -d - 27 = 5*z for z.
-5
Suppose 0 = 6*h - 16 - 8. Let q(s) = 2*s - 6. Let i be q(h). Solve -3*y = 3*v, 4*v = i*v + 3*y + 20 for v.
4
Let k(x) be the second derivative of -x**3/2 - 36*x**2 + 6*x + 3. Let b = 47 - 72. Let a be k(b). Solve -2*r = f - a*r - 4, -5*r - 8 = -2*f for f.
4
Suppose 0 = -y - 6*b + 9*b, 0 = -4*b. Suppose -k - 9 + 51 = y. Suppose 3*x = -4*x + k. Solve 2*a - 3*a - x = p, -p = -4*a - 4 for p.
-4
Suppose -16 = -0*n + n - 4*z, 5*n - 30 = -2*z. Let t be 8/((-224)/(-105)) + 1/n. Solve 3*i + 3*w + 14 = -1, -t*i = -5*w - 7 for i.
-2
Let y = -398 - -403. Solve 4*p - 32 = -4*l, 3*p + l = y*l - 11 for p.
3
Suppose -248*c = -131*c - 3393. Solve -c*f + 27*f = 2*p + 6, 3*p - 15 = 3*f for p.
1
Suppose 44*l = 38*l. Solve -2*i - 2*s = 8, 5*i + 20 = -l*i - 4*s for i.
-4
Let a = 125 - 123. Suppose -4*u + 16 = a*c, -c - 16 = 5*u - 36. Solve 8 = 4*h - 0*z - z, -z + 8 = u*h for h.
2
Let p = 2375 + -2373. Solve 2*j - p*g = 7*j + 15, 3*j + 3*g = 0 for j.
-5
Let p(b) = -7*b - 12*b + 37 - 15*b + 27*b - 173. Let m be p(-20). Solve -4*f + f - u = 11, -m*f = -u + 24 for f.
-5
Let y be 5/1 - -2*1 - -3. Solve -4*w + 19 + y = 3*l, -2*w + 7 = -l for w.
5
Suppose 0 = -2*k, 0 = 4*q - q + 4*k. Let b = q - 20. Let m be (b/(-12) - (-6)/(-9)) + 2. Solve -g - m*u - 2 = -0*u, -3*g = u - 10 for g.
4
Let w be 4/3 + (-24)/(-9). Solve -4*q + 0*i - w*i = 20, 0 = -q - 2*i - 6 for q.
-4
Suppose -4*z + 166*h + 4 = 162*h, 2*h = 0. Suppose x = -5*q + 2, q + 0 = -z. Solve -3*u + 26 = 5*t, -x*u + 6*u = -3*t + 10 for t.
4
Suppose -5290*z + 5286*z - x = -6, z + x = 0. Solve z*j = 4, 2*j - 10 = -o - 1 for o.
5
Let o = -4872 + 4874. Suppose 0*j + j - 5*l - 20 = 0, 0 = 5*j + 4*l - 100. Solve -f - j = o*z + 2*f, -z + f = 0 for z.
-4
Suppose 186*h - 174 = 384. Solve h*l + 4*i = 11, -306*i + 311*i = 10 for l.
1
Let n be (-2)/(-4)*-22 + 1 + -2. Let p be 4/10 - n/(-30). Suppose p = 6*m - 21*m + 45. Solve -j - 5 = -3*h, 0 = -2*h + 7 - m for j.
1
Let g = -1826 - -1841. Solve -4*o = 2*r + g - 5, o + 4*r = 8 for o.
-4
Let w be ((-12)/(-8))/((-20)/(-40)). Solve a = 4*m + 10 - 7, 0 = -w*m - a - 4 for m.
-1
Suppose -5*f + 9*f - 3*q - 2 = 0, 12 = 4*f + 2*q. Solve -3*y - 17 = -z, -5*z + f*y - 4*y = 0 for z.
2
Let l = -16731 + 16735. Solve 0 = -l*m + 8, 51*y - 4 = 50*y - 2*m for y.
0
Let n = -27 + 15. Let o be 147/n - (-5)/20. Let g be (-4)/o + 28/6. Solve 0*p + 5 = -5*b + 3*p, -37 = 3*b + g*p for b.
-4
Suppose 0 = -4*t - 8217 + 8237. Solve 0 = -0*l + 4*l - j - 7, -t*l - 56 = 8*j for l.
0
Suppose 3*j + 35 = -9*l + 10*l, -5*l - 2*j = -141. Let r = -26 + l. Solve -2*g - 4*t + 3*t = -8, -g + 3*t - r = 0 for g.
3
Let l(b) be the second derivative of -5*b**4/12 - 73*b**3/6 - 37*b**2/2 + b - 42. Let f be l(-14). Solve 5*g + r - 7 = 0, -f*g - 4*r = 1 + 1 for g.
2
Let v be (1/(-2))/((-1)/4). Let o be 48/14 + (-12)/(-21). Suppose i - o = 18. Solve 2*m + v*c - i = -2*m, m = -c + 8 for m.
3
Let k(l) = l**2 - 2*l + 3. Let m be k(3). Let n be 8/12*9/m. Suppose 0 = f + 1, -2*y = -2*f + f - 9. Solve 3*i + n = -0*s - y*s, 5*i - 5 = 0 for s.
-1
Let n(u) be the second derivative of u**4/4 - 7*u**3/6 - 4*u**2 + 39*u. Let r be n(-1). Solve 19 = -s + 5*b, -3*b + 13 = -s + r*s for s.
1
Let j = -26 + 36. Suppose -4*k + 113 = 101. Suppose -2*b + 12 = -4*v, k*b - v + 0 = 13. Solve 3 = o, -5*o + j = -b*u - 13 for u.
-2
Suppose 246 = -37*x + 41*x + 78*x. Solve -12 = -5*j + x*s, -j + 17 = 3*s + 11 for j.
3
Suppose -29 = -5*g - 4*h + 9, 3*g = -h + 13. Solve a = x - g, x + 22 = -2*a + 24 for x.
2
Let t be (3/(-2) - -3)*(-88)/6. Let b = t - -85. Let q be (-12)/b*-51 - 6/(-21). Solve 0 = z + g - q, 2*z = -4*g + 6 + 24 for z.
5
Suppose -9*k = -6*k - 9*k. Suppose -11*b + 12*b = k. Solve c + 2*w = -b*w + 9, -3*c = -3*w for c.
3
Let w(g) = -31*g - 28. Let h be w(-8). Suppose -128 = 12*c + h. Let x = c + 41. Solve 4*o = -4*r + 4 + 8, 5*o = -4*r + x for o.
0
Suppose -12*l - 52 = -16. Let q be 2 + (-6 - -4 - (0 + l)). Solve 8*m + q*v - 13 = 3*m, m = -5*v - 15 for m.
5
Suppose 2*v - 4 + 1 = 3*z, v = z + 1. Suppose 7*l - 30 - 5 = v. Solve -4*g - 3*o + 14 = 0, 29 = 5*g + 3*o - l*o for g.
5
Let g be 0 + 8/(32/36). Suppose -15*l = -g*l - 30. Suppose l*z = -31 + 31. Solve -2*b = b - 5*n - 35, -b + 5*n + 25 = z for b.
5
Suppose 0 = 24*c + 15*c - 12*c. Suppose v - q = -1, 2*v + 4*q = -2*v + 20. Solve -4*m = -m + 3*u, c = m + v*u - 4 for m.
-4
Let y(k) = -37*k - 35. Let o(r) = -23*r - 1. Let f be o(0). Let u be y(f). Solve -7*w + 2*w = a - 16, -u*a - 1 = -w for w.
3
Let v(u) = u**2 + 5*u - 543. Let x be v(21). Solve -x*k + 0*k + 3*l = 3, 4*k - l - 5 = 0 for k.
2
Suppose -4*f + 0 = -2*o + 18, 0 = -o - 5*f + 30. Let l(s) = -s**3 + 13*s**2 + 34*s - 58. Let y be l(o). Solve y = -w - 2, -3*j - 5*w = 35 for j.
-5
Suppose -5*x = -4*x - 325. Let t = x + -323. Solve 0 = t*q + q, -6 = 2*y - q for y.
-3
Let o(i) = -i**3 - 21*i**2 - 20*i + 35. Let h be o(-20). Let b be h/10 + -2 + 14/4. Solve d - 16 = -b*k, 4*k = -5*d + 21 - 4 for d.
1
Let b = -692 - -684. Let h(l) = -l**2 + 13*l + 170. Let x be h(b). Solve 5*g = 2*v + v + 34, 31 = -x*v + 5*g for v.
-3
Suppose -5*o - 36 = 4. Let y = 37 + o. Let b be ((-4)/18)/((-142)/3195). Solve 3*s - 9 = 0, -s - y = -b*v - 4*s for v.
4
Suppose 0 = 7*f + 15*f - 22. Let q be f/(1/(-5))*21/(-21). Solve 23 = 3*x - 6*x - 4*w, 29 = -q*x - 2*w for x.
-5
Suppose 4*o - c + 164 = -2*c, 0 = -2*o + 3*c - 82. Let g = o + 41. Let i(z) = z - 3. Let q be i(6). Solve 3*j - 3*a = 4*j + 5, -q*a = g for j.
