 + 2*k. Let r be s(1). Solve -b - r*b = 3 for b.
-1
Let s be (28/7)/(-4)*(-3 + 0). Solve 0 = s*z - 2 + 8 for z.
-2
Suppose 17*p + 60*p = 693. Solve -p*t - 7 = -2*t for t.
-1
Suppose -5*x = -8*x - w + 19, x - 2*w = -3. Solve 6*c - 7 - x = 0 for c.
2
Suppose -q - 14 = -2*s, -q - 3 = s - 4. Suppose -7*g + 4 = -s*g. Solve 5*u = g*u - 9 for u.
-3
Suppose 3*j = -12, 21 = 3*z - 3*j - 27. Suppose 4*k + u - z = -u, -5*k + 5*u + 30 = 0. Let a be (-1)/((-44)/(-12) - 4). Solve -b + k = a for b.
1
Let z = 14 + -10. Suppose 10 = z*y - 2*w + w, 5*w = 3*y - 16. Solve n = -y*n + 9 for n.
3
Let c be 7*((-16)/(-28))/2. Suppose 7*r + 912 - 933 = 0. Solve c*i - r*i = -3 for i.
3
Suppose 75*w - 80*w + 30 = 0. Let j = w + -1. Solve j*d - d + 8 = 0 for d.
-2
Let h be (-56)/(-10) + (-36)/60. Let a be ((-6)/8)/((-2)/(-8)). Let b be 13*(1 + -1 - a). Solve h*x - b = -14 for x.
5
Let z(w) = -8*w - 37. Let u be z(-5). Suppose -6 = -9*l + 7*l, 11 = h + u*l. Solve 6*s - h*s - 8 = 0 for s.
2
Let k(n) = -n**3 - 9*n**2 + 24*n + 27. Let m be k(-11). Solve 7*q - 9 = m for q.
2
Suppose 3*o + 2*l = -0*o + 89, 0 = o - 4*l - 53. Let k(z) = 2*z + 37. Suppose 3*t - 6*h + 36 = -3*h, -2*t - 3*h = 44. Let d be k(t). Solve -d*c = 13 - o for c.
4
Let l be -3 + (-3)/3*2. Let n be (-3)/l - 2/(-5). Solve 0 = 4*g - 3 - n for g.
1
Let v(w) be the second derivative of 3*w**5/20 - w**4/6 - w**3/2 + w**2 + 9*w. Let b be v(2). Suppose 4*f = f + b. Solve c = -c - f for c.
-2
Suppose -55 = -5*s - 5*k, -k + 5 = 4*s - 30. Solve i = -i - s for i.
-4
Let n(f) be the second derivative of f**3/2 - 19*f**2 + 23*f. Let g be n(13). Solve 0 = b + 3 - g for b.
-2
Suppose s + 13*a = 9*a + 4, 5*s - a - 20 = 0. Solve 7*f = s*f for f.
0
Let t = -784 + 873. Solve 2*w + t = 95 for w.
3
Suppose -8*q - 25*q = 0. Solve 7*l - 3*l - 12 = q for l.
3
Suppose -2*v + 839 = 835. Solve 4*b - v = 10 for b.
3
Let v(t) = 2*t**2 - 2*t - 33. Let f be v(-4). Solve -8*r + f = -15*r for r.
-1
Let u(z) = -2*z**3 - 16*z**2 - 14*z - 92. Let l be u(-8). Solve 9*p + l = 11 for p.
-1
Suppose 4*m - 16 = 3*z - 8, 6 = 3*m + 2*z. Let g(t) = 2*t**2 - 4*t - 4. Let j be g(4). Solve -j = h + m*h for h.
-4
Suppose -2*d = y - 5*d + 56, 0 = -5*d + 15. Let f = y + 51. Let g be (-2)/(-3) + (-8)/(-6). Solve -w + g = f for w.
-2
Suppose -m + 2*s = -4*m - 12, 0 = s. Let j be (m + 32/12)*-3. Let p be 1/(1/j + 0). Solve -p*w = -3*w for w.
0
Let k be 1/4*-3 - 243/(-324). Solve -20 = -k*w - 5*w for w.
4
Let q be (-1 - 0)/(-1) + -3. Let o(b) = -b**2 - 4*b - 2. Let u be o(q). Solve -u*x = -0*x + 2 for x.
-1
Suppose 0 = l - 3*g + g - 6, -5*g = 5*l. Suppose -5*v - l*x + 16 = -58, x = -3*v + 44. Solve 1 + v = -5*f for f.
-3
Let d be 3 - (5/1 + -7). Suppose -2*j + 2 = -2. Suppose 4 = 2*c - j. Solve c*g + 2*g = -d for g.
-1
Let j(g) be the second derivative of -g**5/5 + g**4/12 + 5*g. Let m be j(-1). Solve 0*v - v = -m for v.
5
Let z be (16/6)/((-3)/(-18)). Suppose u = 5*u - z. Solve 0 = s - 2*s + u for s.
4
Suppose 39*r = -4*n + 42*r + 9, 3*n = 3*r + 9. Solve 0 = 4*z - 4 - n for z.
1
Let b be (-5)/(15/(-12)) + 19. Let g = b - 11. Solve 0 = -6*h + 2*h - g for h.
-3
Let p be -2 + -2 - (2 + -6). Suppose 2*z + 4*a - 50 = -p*z, -2*a = -z + 5. Solve z = 4*r - 5 for r.
5
Suppose -3*a + 0 = -6. Suppose -4*w = -4*b - 16, -b = 5*w + 6 - a. Solve w = -y + 5*y - 4 for y.
1
Let w(o) = 2*o. Let r(v) = 3*v + 1. Let s(m) = 4*r(m) - 5*w(m). Let t be s(4). Let b = -694 + 699. Solve b*q - t = 13 for q.
5
Suppose 2*c = -c + i + 9, 5*c - 7 = -i. Let y be ((-19)/(-3) + -3)*-3. Let o = y - -10. Solve o = -s - c*s + 9 for s.
3
Let i(b) = b + 1. Let z be i(1). Let h be (-2)/4*1*-2. Let a(v) = 8*v**3 + v**2 - 1. Let u be a(h). Solve z*r - u = 4*r for r.
-4
Let i be (110/(-15) - -7) + 32/6. Solve -i*k + 12 = 7*k for k.
1
Let m(w) = w - 26. Let a be m(0). Let i = 28 + a. Solve i*n = -2 + 6 for n.
2
Suppose 4*c = l + 4 - 1, 3*c - l - 3 = 0. Suppose -7*p + 20 = -2*p, 2*p = b + 7. Solve -i - b + c = 0 for i.
-1
Let c be ((-2)/1 - -5)*5. Solve 17*k - c*k = -2 for k.
-1
Let t(o) = -o**3 - 2*o**2 - o. Let p be t(-2). Let v(n) = -2*n - 24. Let b(h) = -2*h**2 + 22*h + 12. Let f be b(12). Let x be v(f). Solve x = -p*k - 4 for k.
-2
Let z be (0 - 60/(-10))*8/6. Solve -z*q + 16 = -8 for q.
3
Suppose 3*i + 4*x = -120, -5*x = -5*i + i - 160. Let c = -26 - i. Suppose -c - 1 = -3*l. Solve -10 - 5 = l*v for v.
-3
Suppose -q - 9 = -5. Let j(d) = -d - 6. Let p be j(q). Let w be 2 + (-2)/(p - 0). Solve 0 = 2*s + w*s for s.
0
Let m = -1550 - -1581. Solve -m = -i - 32 for i.
-1
Suppose 496*f - 54 = 490*f. Solve 0 = -f*z - 7 - 2 for z.
-1
Let n = -1 - -5. Let v = 419 + -419. Suppose -n*d = -3*r - v*d, 0 = -2*d. Solve r = -5*x - 7 - 8 for x.
-3
Let j = 33 + -52. Let h(r) = 2*r + 38. Let t be h(j). Solve t = -4*n + n + 6 for n.
2
Suppose 0 = 2*l + 3*f - 21, l = -3*f - f + 13. Solve -1 = 5*c + l for c.
-2
Suppose -805 = -107*r + 671 + 664. Let d = -14 - -22. Solve d*c - 3*c = r for c.
4
Suppose -233*u + 240*u - 28 = 0. Solve 28 - 16 = -u*g for g.
-3
Let s be (3 - 1) + -5 + 17. Suppose k = -6*k + s. Solve -k*p - 8 = -0 for p.
-4
Suppose -16*x + 216 = -10*x. Suppose x = 4*g - 4*h, 0 = -3*g - 0*h + 5*h + 35. Suppose u = -3*i + 11, -3*i + u = i - 17. Solve i = g*j - 1 for j.
1
Let c(p) = -p + 5. Let q be c(7). Let t be -1 + -1 + (-8)/q. Let i = -267 - -275. Solve 0*z + i = -t*z for z.
-4
Let j be -5*(2*-1)/(-2 - 0). Let d be (-5)/j*2/1. Solve 18 = 5*i - d for i.
4
Let c(w) = -w**3 - 19*w**2 - 18*w + 12. Let m be c(-18). Let z(b) = 4*b**2 - 3*b - 2. Let s be z(-1). Solve -s*x = -x + m for x.
-3
Let m(j) = -j**3 + 3*j**2 - 1. Let w be m(2). Solve -1 = w*l + 11 for l.
-4
Let h be (-2*45/12)/((-15)/40). Solve 2*b - h = 6*b for b.
-5
Let s(y) = y**3 - 12*y**2 + 9*y - 3. Let r be s(11). Let o = r + 37. Let v = -7 + o. Solve -1 = 3*w + v for w.
-2
Suppose 11 = 7*o - 3. Solve z = -o*z - 15 for z.
-5
Let j = 359 + -258. Solve -100*i + j*i = 0 for i.
0
Let y(h) = -h**3 + 30*h**2 + 32*h - 23. Let s be y(31). Solve 5*w + 12 = -s for w.
-4
Let l be 78/21 - 2/(-7). Suppose 5*j + 5*x = 2*j + 31, 0 = -l*j + 2*x - 2. Let z = -10 - -22. Solve z = -b - j*b for b.
-4
Let l = -183 - -187. Suppose 2*u = 5 + 3. Suppose -l*f = -0*f - u. Solve 4 - f = 3*z for z.
1
Let u = -317 + 317. Solve 5*j - 4*j + 1 = u for j.
-1
Let d = 38 - 54. Suppose s - 20 = -2*r + 3*r, 0 = 4*r + 2*s + 56. Let h = r - d. Solve h = -0*z + z + 5 for z.
-5
Suppose -1 = -5*q + 2*j + 3, 2*q - 4*j = 8. Suppose q = -z - 3 + 9. Solve 0 = -2*c + z*c for c.
0
Let r = -55 - -170. Let w = r + -110. Solve 0 = -8*g + w*g - 15 for g.
-5
Suppose -23 = -5*k + r - 7, -5*r - 2 = k. Suppose 132 = -34*g + 31*g. Let u = g + 49. Solve -k = -2*x + u*x for x.
-1
Let f(a) = 2*a**2 + 2*a - 58. Let p be f(-6). Solve -r - p - 1 = 0 for r.
-3
Let k = 17 - 13. Let c be k/10 - 24/60. Solve -4*p + c = -4 for p.
1
Suppose -12 = n - 2*q - 2*q, n - 3*q = -9. Suppose -5*b = -n*b - 20. Solve 0 = -0*l + b*l for l.
0
Let c be (-25)/((12/(-18))/((-6)/(-9))). Solve 8*q = 3*q + c for q.
5
Suppose -2*d - 5*y + 16 = -8, -2*d = -y. Suppose -30 + 22 = -d*r. Solve -r = f - 2*f for f.
4
Let o = -2233 - -2238. Solve 183 - 168 = -o*t for t.
-3
Let g = 545 + -431. Solve -6*k + 84 = g for k.
-5
Let b(t) = -t**2 - 21*t - 78. Let g be b(-11). Solve -27*j + g = -35*j for j.
-4
Suppose 0 = 2*q - 9 - 31. Let n be 42/(-4)*q/3. Let g be 2/(-5) - n/50. Solve -4*p - g = -17 for p.
4
Suppose 2*c = -h - 3*c - 9, -4*h + c + 69 = 0. Solve n = 9*n + h for n.
-2
Let y = 1 - 0. Let q be y/(3/2*2/12). Solve 6*w = q*w - 6 for w.
-3
Let r(w) = 49*w**3 - w. Let p be r(1). Suppose 5*f - f - p = 0. Solve 0 = -3*i - f + 15 for i.
1
Let u = -150 - -408. Suppose -4*l = 3*b + 2*b - u, -l + 4*b = -75. Suppose 1 - l = -3*s. Solve 4*g + 2 = s for g.
5
Suppose -5 = k - 2*f, 4*k - 16 = 2*f - 6. Solve -2*s - 1 = -k for s.
2
Suppose 37 = 4*p + 5*h, -p - h - 15 = -3*p. Solve -38 = 15*d - p for d.
-2
Let k be 6 + -13 + (-7 - -33). Solve -18*o = -k*o for o.
0
Let m be (-38)/(-14) + 2/7. Let k = -31 - -31. Suppose k*l = -l + m. Solve -4*c + l*c - 3 = 0 for c.
-3
Let j(h) = 3*h**2 - 5*h + 35. Let w(m) = -2*m**2 + 2*m - 17. Let l(c) = -3*j(c) - 5*w(c). Let y be l(-8). Solve 0 = 3*f - y + 13 for f.
-3
Suppose 5*z = -15, -4 = -6*s + z + 11. Solve -44*d - s = -