15 = -4*w. Let z(a) = a - 2. Let s(u) = -u + 1. Let b(r) = 2*s(r) + z(r). Let m be b(w). Solve l + 2*l + m = 0 for l.
-1
Let u(b) be the third derivative of b**4/24 + b**3/6 - 4*b**2. Let w be u(0). Let p = w - 1. Solve 2*l + 2*l + 16 = p for l.
-4
Let k(h) be the first derivative of -h**3/3 + 4*h**2 - 6. Let p be k(8). Solve 0 = o - p*o + 4 for o.
-4
Suppose 14 = 3*n - 1. Solve -4 - 6 = -n*r for r.
2
Let k be (4/12)/(2/18). Suppose 2*a = -3*l + 5, 4*l + 2*a + 5 = k*l. Solve l*q + 10 = 3*q for q.
-5
Suppose 2*f + 3*z - 33 = 0, 0*f + f - 2*z = 34. Suppose -5*c + f + 1 = 0. Solve 0 = 4*q - c*q for q.
0
Let f(m) = -m**2 + 5. Let y be f(0). Suppose 4*g + 4*x = 2*x + 24, -y*x + 4 = -4*g. Let l = g + -2. Solve o + 3 = l for o.
-1
Let w be -3 + (2 - 0/(-2)). Let r = -1 - w. Solve 3*h - 5 + 2 = r for h.
1
Let p(q) = q**2 - 4*q - 7. Let u be p(5). Let w be 6/1*1 + u. Solve -w*c + 10 + 2 = 0 for c.
3
Let a be (-309)/(-45) + (-6)/(-45). Solve a*g = 4*g + 3 for g.
1
Let z be (-4)/(-8) - 15/(-2). Solve 0 = -0*b + 2*b + z for b.
-4
Let j be 0*(2 + -1 + 0). Solve j = -d + 4 - 0 for d.
4
Let j be (-2)/6 - (-74)/6. Let i = j + -10. Solve -4 + 0 = -i*n for n.
2
Suppose -3*l - 17 = -26. Solve -5*d - l = 7 for d.
-2
Suppose 5*o + y - 1 = -3, 4*y + 8 = -5*o. Suppose -2*q + 0*q + 84 = o. Suppose q = 3*b - 3. Solve -5*m = b - 5 for m.
-2
Let j(s) = s**3 - 7*s**2 + 8*s + 4. Let p = 22 + -16. Let z be j(p). Solve z = -3*i - i for i.
-4
Let j(u) = u**3 + 7*u**2 - u + 3. Let r be j(-7). Suppose 2*d + 5*f = f + 10, 2*f - r = 0. Let g = -1 - d. Solve -g*c = -c + 6 for c.
-2
Let i(j) = 2*j**3 - 2*j**2 + 5*j - 9. Let p be i(2). Solve -2*l = l - p for l.
3
Suppose -2*u - 83 = 5*a, u = 5*a + 75 + 11. Let j = -15 - a. Solve -11 = -j*q - 1 for q.
5
Let z be 20/(-8)*16/(-5). Let w be (-265)/(-20) - (-6)/z. Solve -3*k + w = 2 for k.
4
Let k = 124 - 80. Let t be k/7 - 6/21. Suppose 15 = t*i - i. Solve 0 = -h - i*h - 8 for h.
-2
Let s be 2112/30 - 4/10. Let j be (1 + 13)*20/s. Solve -2*r = -0*r - j for r.
2
Let t(h) = h**3 + 22*h**2 + h + 24. Let p be t(-22). Solve 0 = 5*w - 3*w - p for w.
1
Let k = 46 + -31. Suppose 5*l = 2*p + 25, 0 = 2*p + 4*l - l - k. Let y(q) = 4*q**2 + q. Let u be y(-1). Solve p = 2*v - v + u for v.
-3
Let y(v) = v**3 - 8*v**2 + 3. Let m be y(8). Suppose -4 = -t + 8. Solve t = 6*r - m*r for r.
4
Let n = -9 + 21. Suppose -4*v + 11 = -1. Let w be -2 - v/((-9)/n). Solve 0 = w*s + 3*s for s.
0
Let b = -7 - -10. Let o(c) = -3*c - 6. Let m be o(-4). Suppose -4*k + 3*u + 6 = 0, 0 = b*k - 3*u - m + 3. Solve -8 = -k*x - 2 for x.
2
Let n(j) = j**3 - 2*j**2 - 3*j + 2. Let p be n(3). Let w(s) = -s**3 + 3 + 4*s - 4 - 4*s**2 + p*s**3. Let z be w(3). Solve 2*g - 16 = -z*g for g.
4
Suppose 3*x - 15 = -2*x. Suppose -x*s = -7*s + 2*i, 4*s - 4*i + 4 = 0. Solve -7 = 2*d - s for d.
-3
Let g = 35 + -33. Suppose 2*b = 3*b. Solve b*m + g = -m for m.
-2
Suppose -2*y - 5 = -13. Solve -h = -y*h - 15 for h.
-5
Suppose 3*x - 3*b = -63, -33 = x + 2*b - 6. Let w = 26 + x. Solve w*p = 7*p - 8 for p.
2
Let m = 1 + -1. Let y = 6 - 2. Suppose -y*u - o + 14 + 1 = 0, 3*u + 3*o = 0. Solve u*k - k = m for k.
0
Suppose -3*z - 2*z = -25. Suppose 5*v - 6 = 2*w + 11, 4*v = z*w. Suppose 5*r - 16 = r. Solve -r = -p - v for p.
-1
Suppose -3*y + 3 = -6*y. Let g be 0/(-1 + (1 - y)). Solve 16 = -g*o - 4*o for o.
-4
Suppose 4*m + 3*a + 0*a - 14 = 0, -4*m + 4*a = 0. Solve -m*r - 2 = -r for r.
-2
Suppose 15 = 3*o, -5*q + 4*o - 14 = 1. Solve -h - 1 - q = 0 for h.
-2
Let v(s) = 3*s**2 + 2*s + 1. Let z be v(-1). Let r be 0 + 1 + 20 + 0. Suppose -5 = x - 2*y - r, -2*y = -5*x + 40. Solve -z*f - x = -4*f for f.
3
Let p(o) = o**3 + 13*o**2 - 12*o + 30. Let d be p(-14). Solve d = q + 1 for q.
1
Let o = -1 - -1. Let z = o - -2. Solve 2*a = -z*a + 16 for a.
4
Suppose 7*z - 12 = 4*z. Suppose -12 = -0*j - z*j. Let l be j/((-3)/(-2)) - 1. Solve -3*a + 4 = l for a.
1
Suppose 0 = 4*h - h + 6. Let w be (-1 + h/(-1))*0. Solve w - 15 = 5*t for t.
-3
Let s be 0*(5/2)/(-5). Let r = -7 - -11. Suppose -5*u + 20 = r*k, 3*u - 5 = -k - s*u. Solve 2*y + 3*y - k = 0 for y.
1
Suppose -2*m = -4*y - 11 - 7, 2*y = -4*m + 6. Solve 10 = m*u - 5 for u.
5
Suppose -9*g = -7*g. Solve g = i - 1 for i.
1
Suppose 3*a + x - 6 = -x, -a + 12 = 4*x. Let k(y) = -y. Let i be k(a). Solve i = -2*w - 0 - 4 for w.
-2
Let y be ((-8)/(-10))/((-2)/(-5)). Let j be (y - 0 - 2)/1. Suppose j*i + 2*i = 0. Solve i - 2 = m for m.
-2
Let f = -46 + 49. Solve 4 = f*h - 2 for h.
2
Let y(s) = 3 - 7 + 3 + 19*s. Let u be y(4). Suppose -k + u = 2*k. Solve 6*v - v = k for v.
5
Let w(p) = -p + 11. Let x be w(8). Solve -x*i + 3 = -0 for i.
1
Suppose -4*d = -3*k + 4*k - 16, 5*d - k - 29 = 0. Suppose 24 - 4 = d*h. Solve 0 = -2*i - h - 2 for i.
-3
Let d(v) be the third derivative of v**4/24 + 3*v**3/2 - v**2. Let t be d(-7). Suppose 16 = 5*i - 3*m, -3*i = -6*m + t*m - 3. Solve -2*f = i + 5 for f.
-5
Let q = -1 + 6. Suppose q*n = 2*a - 63, 0 - 101 = -4*a + 5*n. Solve -1 = 5*c + a for c.
-4
Let t(b) = 4*b - 3 + 3 - 4*b**2 + 2*b**3 - 3. Let f be t(2). Solve -f*u = -3*u for u.
0
Suppose w + 3 = 5*i, -w + 2*i = -0 + 3. Let v = 0 - w. Suppose -4 = -2*p, -v*m + p - 2 = -9. Solve m*x + 10 = -2*x for x.
-2
Let x be 2/(2 + 21/(-12)). Let s = x + -6. Solve -4*h = -6 + s for h.
1
Suppose 6*y - 25 = y. Suppose y*m + 2*z - 4*z = -1, 3*m = 2*z - 3. Solve v - m = -0*v for v.
1
Let g = 3 - -2. Solve -4*o - 3 = g for o.
-2
Suppose 2*x = -2*x - 5*q + 20, 0 = -x + 3*q - 12. Suppose -5*h + 81 = -x*h - 3*v, -15 = -5*v. Let i be -2 + 7/(21/h). Solve -i*y = y - 25 for y.
5
Suppose -n + 5*r = r + 11, -4*n + 4*r = -4. Solve -n*b + 0*b = 0 for b.
0
Suppose 41 = 3*t + 35. Solve a + t = 3 for a.
1
Suppose 0 = -4*p + 25 + 47. Suppose -5*x + 32 = -p. Solve -x = -i - i for i.
5
Let q = -20 + 14. Let z = -1 - q. Solve 0 = 2*d + 5 + z for d.
-5
Suppose -4*g - 38 = -5*i, 3*g - 4*i = -0*g - 29. Let z(b) = -b**3 - 8*b**2 - 7*b + 2. Let j be z(g). Let v be (-3)/j*72/(-27). Solve -v = -u - 1 for u.
3
Let s = 8 - 4. Let y(q) = q**3 - 5*q**2 + 3*q + 5. Let u be y(s). Solve -p = -4 + u for p.
3
Let q(y) = y**3 - 4*y**2 + 3*y - 2. Let s be q(4). Suppose 6 = -3*x - 3. Let t = x + s. Solve 3 - t = k for k.
-4
Let g(l) = -l**3 + l**2 + 4. Suppose 4*v - 10 = -2*i, 3*v = v + 5*i - 1. Let y be -1 + v - (-2)/(-2). Let q be g(y). Solve -n = q*n + 10 for n.
-2
Suppose -2*c + i = 3*i - 288, 4*c = -2*i + 572. Let t be (c/2)/(3 + -2). Suppose 28 = 2*z + l, -l + 21 - t = -4*z. Solve 5*k = z + 2 for k.
3
Let q = -46 - -26. Let z be (-166)/(-7) - (-12)/42. Let t be (z/q)/(1/(-5)). Solve -3*x + 0*x + t = 0 for x.
2
Let g = -50 - -52. Solve 3*o = -g*o - 10 for o.
-2
Let x be ((-9)/(-6))/3*0. Let h be x - (3 - (6 + 0)). Solve -17 + 2 = h*w for w.
-5
Let d be (29/3)/((-2)/(-6)). Suppose -j + 28 = -d. Suppose -2*p + 12 = -4*l, 0 = -5*p + 3*l - 2*l + j. Solve 3*k - 3 = p for k.
5
Let u = 147 + -147. Solve -2*o + 6 = -u*o for o.
3
Let r(b) = b**2 - b - 3. Let z be r(-4). Suppose -5*c - 2 + z = 0. Solve 2*d + 11 = c for d.
-4
Let o be 3*9/3 + -3. Solve 8*a = o*a + 8 for a.
4
Let j be 32 - 4/(1 + 1). Suppose 3*f + 2*f - 5*t = 30, 0 = 4*f + 2*t - j. Suppose -5*o + f - 2 = 0. Solve -o - 3 = k for k.
-4
Let i be ((-24)/10)/(2/(-30)). Suppose -4*f = 4*m - i, -f - 7 = -3*m + f. Solve -32 = -m*x - 7 for x.
5
Suppose 0*j + 2*j = -2*x + 12, 4*j = 2*x. Suppose 0 = -5*f - 5*v + 10, v - j = 4*f - 0*v. Solve 2*r + 0*r = f for r.
0
Let b(o) = -o**3 + 2*o**2 + o + 1. Let u be b(2). Suppose -15 = -u*z - 0*z. Solve 0 = 2*p - z*p for p.
0
Let c = 54 - 53. Solve -2*a + a = -c for a.
1
Let q be (-56)/(-70)*1*5. Solve -2*y + q = -0 for y.
2
Suppose -17 = -k + 19. Suppose s - v - 2 - 2 = 0, 3*v - k = -3*s. Solve 3*j - 4 = s for j.
4
Let v(b) = b**3 - 4*b**2 - 8*b + 6. Let f be v(5). Let z = 9 + f. Suppose 19 = 3*c - 2*j, 4*c - 5*j - 30 = -z*c. Solve c*p + 2 = -18 for p.
-4
Let r(i) = -i**2 - 21*i - 17. Let w be r(-20). Solve -w*l = -l for l.
0
Suppose -2 = 4*u - 10. Solve a - u = -6 for a.
-4
Let s = -7 + 11. Solve s*z + 0*z = 0 for z.
0
Let l be (-4)/(14/(-10) - -1). Let z = l + -10. Solve 3 = -z*y - y for y.
-3
Let f = -2 - -7. Solve 0*h = -5*h + f for h.
1
Suppose -4*m + 4 = -2*d, -4*d - 14 = 2*m - d. Let g be 0*m*(4 - 3). Solve g = 4*s - 11 + 31 for s.
-5
Supp