- 16 for f.
-4
Let w be 0 - ((1 - 1) + -3). Suppose -2*q + 3*q = -2*f - 3, 2*f - 17 = -5*q. Suppose o - 9 = 4*v + 4*o, q*v = -o - 3. Solve -k + w*k = v for k.
0
Let y be (0 - -1)/((-8)/(-40)). Suppose y*i - 3*o - 11 = 7, -5*o - 14 = -3*i. Solve -n = i + 1 for n.
-4
Suppose -3*y + 27 = 2*y + 4*s, 3*y = -2*s + 15. Let i(z) = -2*z + 6. Let m be i(7). Let l be ((-4)/m)/((-1)/(-12)). Solve l + 0 = -y*o for o.
-2
Let k be (-2)/(-4)*(20 - 16). Let t be -8*(-4 - (-3)/k). Solve -5*j + j = -t for j.
5
Let o(r) = -4*r**2 - 29*r - 7. Let y be o(-7). Solve y = 13*u - 7*u + 24 for u.
-4
Suppose 3*l - 16 = -22. Let a(b) = -b + 3. Let c be a(l). Solve -v = -2*v - c for v.
-5
Suppose -2*y = -3*y. Suppose 27*t + 3 = 28*t. Solve y*m = t*m - 6 for m.
2
Suppose -147*f = -131*f - 480. Solve 10*l + 10 - f = 0 for l.
2
Let w be 4 + (-2 - -1 - 2) + 0. Let t(j) = 2*j**2 + j - 1. Let d be t(w). Solve -d = -2*g + 2 for g.
2
Let j = 38 + -38. Solve 3*d - 5*d + 6 = j for d.
3
Let k = -118 + 125. Solve k*v = 2*v + 5 for v.
1
Let b be 6 - (5 + -3 - 3). Suppose -4*t - 2 = 2*y, 0 = -2*y + b*y + 25. Suppose -8*j = -t*j - 24. Solve 0*f + 4 = j*f for f.
1
Let r(v) = v**2 + 3*v - 18. Suppose 0 = 4*x - 3*n + 9, -2*x - 4 - 3 = -n. Let f be r(x). Solve f = -0*i - 2*i - 8 for i.
-4
Suppose 6*q + 87 = 21. Let r be (1 + -3)*(10 + q). Solve 0 = -g + 2*g + r for g.
-2
Let h(w) = w**3 + 38*w**2 + 34*w - 91. Let x be h(-37). Solve 0 = 4*c - 9*c + x for c.
4
Suppose 2*m - 6 = -m. Suppose -t - 3 = -3*q + 2, -3*q = m*t + 1. Suppose -k - 2*k - q = -2*d, 0 = 5*k - 5*d + 5. Solve v - k = -3 for v.
-2
Let s be (-14)/21*(133 + -1). Let r be (-1864)/s - 2/11. Let d = r + -17. Solve d = 2*x - 3*x for x.
-4
Let m be (52/12)/(1/3). Suppose -7*f = -m*f. Suppose -5*t = -3*p + 5, 9 = -0*t - 3*t + 3*p. Solve r + t = -f for r.
-2
Suppose 14*l = 8*l. Solve l = -8*y + 6*y + 2 for y.
1
Suppose -72 = -4*d + 12. Let f = d + -18. Solve -f = -4*t + 9 for t.
3
Let z(i) = i**3 - 3*i**2 - 4*i - 5. Let l be z(4). Let w(r) = r**3 - 27*r**2 - 31*r + 83. Let c be w(28). Let n be 2 + 0 + (c - l). Solve -5*k - n = -3*k for k.
-3
Suppose -222 = -7*x - 593. Let q = x - -58. Suppose -a = -4 - 2. Solve f + q = a*f for f.
1
Let b(w) = w**2 - 14*w + 17. Let r be b(13). Let q = 344 - 335. Solve r*h + 15 = q*h for h.
3
Let a(f) = -2*f**2 - 10*f + 30. Let v be a(-7). Solve -d - v*d - 12 = 0 for d.
-4
Let o be (-50)/4*38/(-95). Solve -o*r = 2*r + 35 for r.
-5
Suppose -3*b - 2 = j - 7, 3*j = 4*b + 2. Let a be 61/(-3) - 166/249. Let y be j/3 - a/9. Solve -6*s = -y*s + 3 for s.
-1
Suppose 5*q + 396 = 23*q. Solve -6*k - q = 2 for k.
-4
Let i = -1852 - -1856. Solve i*s = -11*s - 2*s for s.
0
Let a = 24 - 29. Let l = a - 22. Let j = 29 + l. Solve r + j*r = 0 for r.
0
Suppose -17 = p - 5*g, 4*p + 5*g - 7 = -0. Let j be p*2 - (-2 - 4). Let x = 1 - -1. Solve u - x = j for u.
4
Let q be ((-8)/6)/((40/12)/5). Let w be 4/(-4)*(0 + q). Solve -w*s + 5 = -3 for s.
4
Let r be 6/27 + (-14)/(-18). Suppose c + r - 4 = 0. Suppose c*t - 5*t = -12. Solve -4*h - 14 - t = 0 for h.
-5
Suppose 0 = o + 4*f - 2*f - 14, 0 = -5*o + 4*f + 140. Suppose 0 = 19*i - o*i + 30. Solve -3*s = -s - i for s.
3
Let h(y) = -2*y. Let l be h(-7). Let d be ((-8)/l)/((-6)/21). Suppose -d*v = v. Solve 5*t - 8*t + 3 = v for t.
1
Suppose -4*l + 62 - 14 = 0. Let f be l/(-10)*(-5)/2. Solve f*i = -1 + 16 for i.
5
Let g = -20 - -20. Suppose -v - 2*v + 15 = g. Let f be (-86)/(-11) - (-4)/22. Solve -w = -v*w + f for w.
2
Let h = 335 + -330. Solve h*s - 2*s = -12 for s.
-4
Suppose 0*j - j = -5. Suppose -4*h = -4*p + 12, 2*p + 5*h = 8 + j. Suppose -2*b + 0*b + 2 = -3*a, -p*a + b = -4. Solve -a*k = 2*k + 8 for k.
-2
Let u = 307 + -296. Solve -13*v + 2 = -u*v for v.
1
Suppose 0 = 3718*l - 3725*l. Solve 2*i - 45 + 37 = l for i.
4
Let o(g) = 3*g**2 + 38*g + 1. Let u(b) = b**2 + 13*b. Let a(p) = 4*o(p) - 11*u(p). Let j be a(-9). Solve m = -j*m - 10 for m.
-2
Suppose -5*v - 2*n = 2*n - 31, 4*v = -2*n + 26. Solve 0 = 4*u - v*u for u.
0
Suppose -3*m = 2 + 4. Let g be (m/2)/((-10)/30). Suppose -4*a = -2*z + 5*z + g, -3*z - 3 = 5*a. Solve a = 5*y - y for y.
0
Let u(m) = -10*m**2 + 181*m - 15. Let c be u(18). Solve c*j + 12 - 15 = 0 for j.
1
Suppose -20*f + 313 = 93. Solve f*w = -w for w.
0
Suppose 37*v - 448 = -75*v. Solve -2*t + 2*t = v*t for t.
0
Suppose -2*v - 46 = -f, f - 2*v - 3*v - 31 = 0. Let t be (-8)/36 - f/(-9). Let o be 8/t - 4/(-6). Solve o = 3*r - 2*r for r.
2
Let p = 87 - 79. Solve s + p = -3*s for s.
-2
Suppose -79*z = -81*z + 22. Solve z - 47 = 9*h for h.
-4
Let f be (-6)/21 + 216/(-28). Let o be (-2)/2*(-13 - f). Suppose n = -2, -5*a - o*n + 73 = -4*n. Solve -5*r + 2*r = -a for r.
5
Let i = -500 + 502. Solve 0 = -i*c - 4 for c.
-2
Let o = -7 - -2. Let l be (-2)/o + (-216)/(-60). Solve 0*g - 8 = -l*g for g.
2
Let p be (-5)/7*3*(-63)/27. Solve 0 = p*x + 66 - 71 for x.
1
Suppose 18*y + 24 = 22*y. Solve 3*q = y*q + 6 for q.
-2
Let z(g) = g**2 - 8*g - 4. Let w(b) = 2*b**2 - 17*b - 8. Let t(n) = 3*w(n) - 5*z(n). Let k be t(11). Let u be 1/(4/k*-1). Solve v - u = 3 for v.
4
Let v(a) be the third derivative of -a**4/6 + a**3/2 - 4*a**2. Let z be v(0). Solve -5*m + z*m = 8 for m.
-4
Let u(i) = 6*i**3 + 4*i - 3. Let w be u(2). Solve 4 = -55*l + w*l for l.
-2
Suppose 50 = -0*l + 10*l. Solve -l - 1 = 2*d for d.
-3
Let r = -13 + 15. Solve 0 = -r*k + 6 for k.
3
Let l = -1 - -1. Suppose 3*n + 59 = 3*f - 13, -3*f - 4*n + 44 = 0. Let j be ((-4)/8)/((-1)/f). Solve l = -j*a + 5*a for a.
0
Suppose t = -2*q - 5, -7*t + 2*t = -2*q + 37. Let x = t + 12. Let v(j) = j + 9. Let n be v(7). Solve c = x*c + n for c.
-4
Suppose 2*s = -10 + 66. Let t = s - 12. Solve -5*j - t - 4 = 0 for j.
-4
Suppose -b - 35 = 5*c - 175, -3*b = -3*c + 102. Solve 8 = c*s - 33*s for s.
-2
Suppose 5 + 6 = t. Let o = t - 6. Suppose 6*y - 2 = 4*y. Solve o*i - 6 = -y for i.
1
Let m(t) = t**3 - 29*t**2 + 29*t - 18. Let u be m(28). Solve u = 10*h - 10 for h.
2
Let i = 724 + -721. Solve 10*q - 27 = i for q.
3
Let c(o) = -5 + o**2 + 3*o + 3 - 6*o. Suppose -10 = 10*x - 50. Let d be c(x). Solve 7 - d = -h for h.
-5
Suppose 7*b = 5*b - 2. Let p be (-64)/(-24) - b/3. Solve p*d = 8*d for d.
0
Let a(n) = n**2 + 37*n + 328. Let h be a(-24). Solve -30*m - 42 = -h*m for m.
-3
Let n(t) = -t + 8. Let x be n(5). Suppose 0 = -5*f - 4*z + 16, -f = -0*f + 5*z - 20. Let b = 12 + f. Solve -r = x*r - b for r.
3
Suppose s - 3*x = 5, 6*s - 5*x - 34 = 2*s. Solve -s = 4*w - 23 for w.
3
Let k be 65/20 + (-2)/8. Suppose -25 = -4*x - x. Suppose s - 10 = -x*f, -5*s + 3*s + 8 = -2*f. Solve k*a - 8 = s*a for a.
-4
Suppose 5*d = 4*g - 46, -3*d - 11 = -g - 2*d. Let u = g - 3. Let h be 0*(15/u - 3). Solve h = 4*n - 2*n - 8 for n.
4
Let a(f) = -f - 4. Let i be a(3). Let n = i + 13. Solve -5*c = 9 + n for c.
-3
Suppose -43 = -3*b - 31. Let d be 2/6 - (-2)/(-6). Solve d*c - c = b for c.
-4
Suppose -l + 1 = -r, -2*r + 0*r + 28 = 4*l. Suppose -14 = -8*t + t. Suppose 0 = 8*u - t*u. Solve 0 = -l*h - u*h for h.
0
Suppose 0 = -z + 6*z - 20. Let s be (z - 3) + -1*1. Solve 5*b - 15 = -s for b.
3
Let o(k) = -8*k + 3. Let p be o(5). Let c = 38 + p. Solve -3 - c = 2*g for g.
-2
Let n = 259 + -255. Solve -5*x = n + 11 for x.
-3
Let k(x) = -x**3 + 7*x**2 - 7*x + 8. Let l be k(6). Suppose o = a - l, -5*a = -2*a - 2*o - 6. Solve a*n + 14 = 4 for n.
-5
Suppose 2*r - 5*r + 9 = 0, 5*r - 23 = -2*w. Suppose 9*f - 8*f = w. Solve 4*i + f = -12 for i.
-4
Let n(y) be the third derivative of -y**5/20 - 7*y**4/12 - 4*y**3/3 + 26*y**2 - 1. Let i be n(-4). Solve 3*c + 3 = -i*c for c.
-1
Let t be 6/4*12/9. Suppose 2*v + 2*j = -t - 6, 0 = 5*v - 4*j - 25. Let d be (v/(-2))/(2/(-4)). Solve -21 = 4*s - d for s.
-5
Let w(p) = -9*p - 13. Let l be w(-2). Suppose -5*g + l*k = 20, g = 2*g + 3*k - 16. Solve -d = -g + 5 for d.
-4
Let y(x) = -x**2 + 14*x + 5. Let b be y(14). Suppose -15 = b*r - 75. Let d = r + -6. Solve 0*t + d = 2*t for t.
3
Suppose -4*u - 310 = -3*g - 0*g, 3*g - u = 307. Let t = 116 - g. Solve 2*m - 6 = -t for m.
-4
Let x(n) = -48*n**2 + 97*n. Let h be x(2). Solve h*w = 6*w for w.
0
Let b = -43 - -48. Let x be 3/(3/b*35/98). Solve 5*q = x + 1 for q.
3
Let l = -1167 - -1169. Let z = 8 - 8. Suppose 3*x = 4*q, 2*x = 5*q - 0*q - 7. Solve z = -q*w - l*w - 15 for w.
-3
Let h = 1388 - 1382. Solve