be c(-14). Solve b + 0 = -f for b.
-1
Suppose -2*y - 4 = -4*f, 0 = -5*y + 6*y + f - 13. Solve -19*v + y = -23*v for v.
-2
Let y = -10 + 19. Let v = 7 - y. Let k be -3*(-5)/(v/(-2)). Solve c + 4*c = k for c.
3
Let s = -5 + 5. Let p be 0/((-3)/3) + s. Suppose p - 3 = -r. Solve 3*g + r = 2*g for g.
-3
Let m be 1 + 2 + (-3 - (-2 + 0)). Suppose m*u - 13 + 1 = 0. Solve -2*b + u = b for b.
2
Let r = 2987 + -2933. Solve i - r + 55 = 0 for i.
-1
Let j be (0/(-1))/(3 - 2). Let k be 4/(-22) - (-5)/(330/(-384)). Let d be (-3)/(99/k) - 9/(-11). Solve -d = p - j*p for p.
-1
Suppose -18 = 165*s - 174*s. Solve s*t = 55 - 51 for t.
2
Let i be (-94)/(-14) + 24/84. Solve 0 = -i*n + 30 - 37 for n.
-1
Let t = 70 - 71. Let o be -1 + t + -1 + (-84)/(-28). Solve 0 = -o*v + 3*v - 9 for v.
3
Let h = -34 - -36. Suppose 0 = 2*j + h*j - 8. Solve -j*g + 1 = -1 for g.
1
Suppose 0 = 2*j - 5*n + 20, 0 = -2*n + 3*n. Let g be 4 - 4*(-5)/j. Solve 6*r = g*r + 8 for r.
2
Let m(n) = 0 - n - 1 + 5 - 3. Let w be m(-5). Solve 2*d = w - 0 for d.
3
Suppose -2*k - 3*k = 0. Suppose -5*t = 3*p - 4 + 7, -17 = -5*p - t. Solve -v = -k*v + p for v.
-4
Suppose 2*q + 2*h = 86, -3*q + 56 = 2*h - 78. Suppose -q = -8*v - 0*v. Solve -v = 5*n + 19 for n.
-5
Let b be -8*(5/(-2))/5. Let o = -67 + 67. Suppose 0 = -o*t + t - b. Solve -3*i = t + 2 for i.
-2
Let b(o) = -o**2 - 5*o + 11. Let r be b(-5). Solve 4*k = 5 + r for k.
4
Let t(m) = -20 - 5*m + 0*m + m - 7. Let s(r) = -1. Let w(p) = -6*s(p) + t(p). Let d be w(-6). Solve -6 + 18 = -d*q for q.
-4
Let y(l) = l**2 + 2. Let m be y(1). Suppose -1 = x - m*n - 6, -5*x = 4*n - 25. Solve 3*v - 1 = x for v.
2
Let q = -1 - -1. Let g(n) = n + 27. Let a be g(-12). Let d = 18 - a. Solve d*p + 0 + 3 = q for p.
-1
Let w = 11 - 7. Let g = 0 + w. Let l = 4 - g. Solve l*n = 3*n - 9 for n.
3
Suppose 3 = -b + 4. Solve 3*h = b - 10 for h.
-3
Suppose 10*m - 11 - 39 = 0. Let j(d) = 25*d**3 - d + 1. Let n be j(1). Suppose 5*u - n = 2*o, -5*o - 4*u = -11 - 9. Solve o*a - m = a for a.
-5
Let g = -350 + 224. Let x be (-43)/(-7) + 18/g. Solve 0 = 3*p - 9 - x for p.
5
Suppose -3*f = -2*v + v - 11, 2*v - 8 = 0. Suppose -f*a = -4*a. Solve a = -5*x - 0*x + 20 for x.
4
Suppose 36*x = 19*x + 289. Solve 0 = -x*w + 2*w + 60 for w.
4
Let h(g) = -g**2 + 8*g - 7. Let n be h(5). Suppose 0*r - 2*r + n = 0. Suppose -4*d + 39 + 49 = -r*k, 4*k - 12 = -d. Solve -5*v + 0*v = -d for v.
4
Let r be 15/50 + (-237)/(-10). Solve -10 = r*i - 19*i for i.
-2
Let r = -86 + 91. Suppose r*f - 3*f - 2 = v, f = 1. Solve 2*o - 3*o = v for o.
0
Let p(u) = u**3 + 7*u**2 - 12*u - 25. Let y be p(-8). Solve 8*q = y + 9 for q.
2
Suppose -3*s + 15 = 0, -25 = -7*z + 2*z - 2*s. Solve -5*p + p = z*p for p.
0
Suppose -145 = -6*m + 71. Solve -2*z - m = -32 for z.
-2
Let l = -337 - -338. Solve -l + 3 = 2*z for z.
1
Let v(s) be the first derivative of 7*s**2/2 - 30*s - 32. Let y be v(5). Let z = 4 + 4. Solve y*l + z = l for l.
-2
Let f = -6 - -8. Suppose -5*j + 9 = -f*j. Suppose 0 = 4*r - 5*t + 2, 0 = 2*t - 67 + 63. Solve j*v = r*v for v.
0
Let y(n) = 2*n**2 + 5*n + 3. Let j be 3/(6/(-15) - 12/20). Let v be y(j). Solve -25 = v*b - b for b.
-5
Let h(z) = -2*z - 1. Let l be h(-3). Solve l*q + 17 = 7 for q.
-2
Suppose 0*a - 3*a = 48. Let v be a/(-4) + -3 + -1. Let s be (-1 + v)/(1/(-5)). Solve -3*f + s = -1 for f.
2
Suppose 3*i + t = -3*t - 6, -3*i - t + 3 = 0. Suppose 3*p = -i*j + 6, 9 = 4*j - 3*p - 3. Suppose -3*o + 140 = 8*o - o. Solve o = j*l - 1 for l.
5
Let c = 891 - 836. Solve -3*n = 8*n - c for n.
5
Suppose 0 = -51*y + 101 + 154. Let t(f) = 2*f**2 + f - 1. Let l be t(3). Solve -y*i = l - 5 for i.
-3
Let i(v) = -2*v + 80. Let r be i(11). Solve -2*l = -r + 52 for l.
3
Suppose 6 = 5*f - 4. Suppose -f = -32*s + 31*s. Solve h = -s - 1 for h.
-3
Let a(b) = -2*b**3 - 4*b**2 + 13*b - 12. Let y be a(-5). Let d = y + -67. Solve -d*p = -4*p + 10 for p.
-5
Let j(v) = -24*v**2 - 290*v - 17. Let u be j(-12). Solve u*l + 7 = -14 for l.
-3
Let p = -40 + 45. Solve p*s - 15 = 2*s for s.
5
Let d be 2/4*(-4)/(-1). Suppose 5*t - d = 3*t. Solve -t = o + 2 for o.
-3
Suppose -6 = -6*t + 48. Suppose 0 = -2*m + 11 - t, 4*m - 12 = -2*r. Solve 0 = r*g - 2*g - 6 for g.
3
Let y be (-32)/6*(-9)/6. Suppose -y*f = -6*f + 6. Let a be f/(-2)*24/18. Solve -a + 3 = -m for m.
-1
Let s = 125 - 31. Solve s = -y + 97 for y.
3
Let i(k) = -30*k - 4. Let a be i(1). Let q = -18 - a. Suppose 0 = -4*n - 5*o + 38, -17 = -3*n + 3*o - o. Solve 0 = n*s - 3*s + q for s.
-4
Let d(j) = -5*j**3 + j**2 - 14*j - 15. Let u be d(-1). Solve -15 = -2*f + u*f for f.
-5
Let z be ((-1)/3)/((-8)/24). Let p be 0/z - (-6 - 13). Solve -p = -5*x - 4 for x.
3
Let j = -2 + 5. Suppose -2*b = 71 - 75. Suppose -5*g + b*g - 27 = -3*t, 0 = -t - 2*g - j. Solve -t*f - 28 + 3 = 0 for f.
-5
Suppose 2*d + 2 = 4*k - 8, -3*k + 12 = 3*d. Let o be (3/6)/(4/16). Let t = o + d. Solve a = -t*a for a.
0
Suppose -16*a = 61 + 35. Let p be (a - (1 - 3))/(-4). Solve -13*f + p = -14*f for f.
-1
Let r be 10/14 - 16/(-56). Let c be (r + -2 - 3) + 6. Solve -3 - c = -5*s for s.
1
Let u(s) = 36*s**3 - 2*s**2 + 2*s - 1. Let q be u(1). Let c = q - 23. Suppose -3*b + c = 6. Solve -b*n = 3*n for n.
0
Suppose r - 221 = -5*p + 3*p, 3*r = 3*p - 336. Solve -101 = 2*k - p for k.
5
Let t(j) = j**3 + 16*j**2 + 16*j + 15. Let w be t(-15). Suppose w = -5*a - 0*a. Suppose a = s - c, -5*s + 3*c + c = -5. Solve s*h + 7 = -18 for h.
-5
Let b = -22 + 28. Let c = 9 - b. Solve c*q = 2*q for q.
0
Suppose 5*f + 3*y - 34 = 0, -3*y - 12 = -3*f - 2*y. Solve i = -1 + f for i.
4
Let l = 78 + -73. Let n(u) = u**3 - 6*u**2 + 7*u - 5. Let h be n(5). Suppose m - h*t - 25 = 2, l = -t. Solve m*y + 9 = 1 for y.
-4
Suppose 20*z - 16*z - 20 = 0. Solve z*d + 22 = 42 for d.
4
Suppose -4*a - 2 + 10 = 0, x = a. Solve -2*k = -0*k + x for k.
-1
Suppose -16 = -3*f - 7. Let c = 5 + f. Suppose -4*i - c = 3*r - 32, 3*r - 18 = -2*i. Solve 0 = i*y - 1 + 13 for y.
-4
Let f be (-58)/(-783) + (-536)/(-54). Solve 0 = 11*i + f*i - 9*i for i.
0
Let i = 23 - 8. Let f be (9/15)/((-3)/i). Let u be (2/f)/(1/(-21)). Solve 34 - u = -5*l for l.
-4
Let q(r) = -r. Let o be q(-5). Solve -11 = 3*j - o for j.
-2
Let k(z) be the third derivative of -1/120*z**6 + 1/2*z**3 + 0*z**4 + 0 + 8*z**2 - 1/10*z**5 + 0*z. Let d be k(-6). Solve -3*p - d = -2*p for p.
-3
Let l be 2/(-10) + 46/5. Suppose 6 + l = 3*c. Suppose q + 1 - c = 0. Solve -1 = s + q for s.
-5
Let k be -1*(1 - -1) - -2. Suppose h + v - 11 = k, -1 + 15 = 2*h + 4*v. Let g = -27 + 32. Solve 2*q = g*q + h for q.
-5
Let t be (-88)/(-56)*10 - (-8)/28. Solve -8 = 12*r + t for r.
-2
Let y = -162 + 165. Solve 0 = 5*f - y + 18 for f.
-3
Suppose -2*b + 0 + 2 = 0. Suppose -b = -4*s + 3. Suppose 2*a = 6*a - 16. Solve 5*d - s = a for d.
1
Let j(y) = -y**2 + 2*y - 1. Let t be j(1). Solve t = 5*r - r + 8 for r.
-2
Suppose -803*b = -795*b - 56. Solve -b*k = -k + 4*k for k.
0
Let o(y) = 52*y - 204. Let t be o(4). Solve t*s + s = 20 for s.
4
Let x be (-12)/(-12) - (-2 + 0). Suppose 0 = 3*z - 7 - 8. Let v = -5 + z. Solve v = k - 2 + x for k.
-1
Suppose -5*f = -3*f. Suppose -18 = 2*s - 8*s. Solve f = -d - s for d.
-3
Suppose -5 = 2*s - 33. Suppose s*w - 50 = 4*w. Solve -4*h - 1 = -w for h.
1
Let z = 2083 + -2047. Solve 0 = 6*c + 3*c - z for c.
4
Suppose -43*m + 12 = -41*m. Solve -i = m*i + 35 for i.
-5
Suppose -8*w = -w + 329. Let j = 50 + w. Solve h - 16 = -j*h for h.
4
Suppose 0 = -2*w - 5*w + 6440. Let f be (4/(-6))/(4 - w/228). Solve f = -4*v - 1 for v.
-5
Suppose 5*d - 4*q = 71, 4*d + 2*q - 62 = -0*q. Solve -2*s + d = -7*s for s.
-3
Let m be ((-2)/6)/((-1)/12 - 0). Solve -m*s + 2*s + 10 = 0 for s.
5
Let t = 237 + -228. Solve -16 = 13*f - t*f for f.
-4
Let p = -240 - -257. Solve -3*c + p = 8 for c.
3
Suppose u + 1 = -p, 4*u + 0 = -5*p - 1. Let t = p - 1. Suppose 0 = -t*b - 2*b + 12. Solve 3 = b*r - 9 for r.
4
Suppose 0 = -3*g + 8*g - 25. Let m be (-1*(-8)/20)/(1/g). Solve -25 = -3*x - m*x for x.
5
Suppose -42 = 64*y - 78*y. Solve 11 = 7*p - y for p.
2
Suppose 25*x + 16 = 29*x + 4*a, 4*x - 2 = 3*a. Suppose -4*w + 4 = -u + 5*u, 2*u - 2*w + 10 = 0. Let t = u + 2. Solve -x*l - 3*l = t for l.
0
Suppose -5*v = -f + 3, 0*f - 6 = -2*f + 3*v. Let u(k) = -2*k - 7. Suppose 136*j - 132*j = -28. Let h be u(j). Solve f*t - h = 2 for t.
3
Let h(u) = 