et r be 14 + 3/(-3) + j. Solve -z - r = 3*z for z.
-4
Suppose 1 = -3*c + 7. Suppose c*b + 6 = 3*f, b = -3*f - 2*b - 9. Solve -6 = -2*m - f for m.
3
Suppose 13 = s + 8. Suppose 5*b = 20, 0*d = s*d + b - 19. Solve 2 + 4 = d*m for m.
2
Let b(s) = s - 8*s - 4*s + 20 - s**2 - 4. Let n be b(-12). Solve f - 2*f = n for f.
-4
Let t(f) = -2*f. Let d be t(-1). Suppose d = 2*r - 3*s + 4, s = -5*r + 12. Suppose i = 6*i + z - 15, -r*z + 9 = 3*i. Solve -4*j + i*j + 3 = 0 for j.
3
Let n = 3 - -1. Suppose 2*h - h + 2*l - 31 = 0, -5*l = -n*h + 137. Suppose 6 = 2*b - 2*s, 4*b + 5*s - h = b. Solve -b = -4*o + 2*o for o.
3
Let v = -12 - -16. Solve -4*z = -16 + v for z.
3
Suppose 0 = -5*b + 6*b - 4. Suppose 2*r - b*s = 4, 7*s - 2*s - 4 = r. Solve 0*k = -3*k + r for k.
2
Let r(n) = -n - 6. Let c be r(-9). Suppose 2*w = c*w. Let q = 7 - w. Solve 5*f - q = -32 for f.
-5
Let k = -3 - -6. Let r be -3*((-4)/k)/1. Let h be 2/9 - (-2)/(-9). Solve -u + 2*u + r = h for u.
-4
Let q(d) = -d + 13. Let x be q(6). Let m = -89 - -91. Solve -m*l + x*l + 5 = 0 for l.
-1
Let a be ((-5)/(-10))/((-2)/(-36)). Solve -s + a = -4*s for s.
-3
Let y(b) be the third derivative of b**6/60 + b**5/60 - b**4/24 + b**3/6 - b**2. Let l be y(-2). Let m = 17 + l. Solve -2*a = -0*a - m for a.
4
Let k = 0 + 15. Let b = -12 + k. Suppose 4 = d - 1. Solve -b*s + 2*s = d for s.
-5
Let r(p) = p**2 - p + 2. Let y be r(2). Let h = 0 + 1. Let s be y*(h - (-3)/(-6)). Solve s*g + 5 = g for g.
-5
Suppose 0*a = 4*a - 16. Suppose 4*f = 5 - 1. Solve -3 - f = -a*l for l.
1
Suppose 4*x + 7 = 5*x. Solve -6*j - 1 = -x*j for j.
1
Let w(i) = -5*i - 11*i - 5*i - 5 + 2. Let o be w(-3). Suppose 0*r - o = -3*r. Solve -r = -2*q + 6*q for q.
-5
Let y be (-1)/(-2) + (-1)/2. Let d(g) = -5*g**3 - g - 1. Let v be (-1)/((0 - -3)/3). Let j be d(v). Solve 5*a - j + 30 = y for a.
-5
Let c = 20 + -19. Solve -5*i + 4*i = -c for i.
1
Let j(m) = m + 3. Let v be j(8). Let u(t) = -t**3 + 11*t**2 - t + 15. Let i be u(v). Let b be i + (-3 - (-2)/1). Solve 3 = -b*w - 3 for w.
-2
Suppose z = -2*i, -2*z + 0*i + 24 = -2*i. Let d = -4 + z. Solve -2 + d = g for g.
2
Let g = 44 - 12. Suppose 0 = -5*i + g - 7. Solve -4*o = -15 - i for o.
5
Let h(z) = 4*z - 1. Let s = -5 + 6. Let g be h(s). Solve 2*y - g = 3*y for y.
-3
Let j(y) = -8*y - 1. Let o be j(-1). Solve -o - 5 = 3*c for c.
-4
Let y = -4 - -10. Suppose -3*j + 6*j - 18 = 0. Suppose -5*d + j + 94 = 0. Solve d = y*f - 11*f for f.
-4
Let d(y) = -y**3 - 6*y**2 + 8*y + 10. Let l(o) = -o - 14. Let t be l(-7). Let m be d(t). Suppose -m*k + 7*k = 8. Solve -k*q - 3 = -1 for q.
-1
Let v = -5 + 10. Let s(d) = -d**2 - d + 20. Let r be s(0). Suppose -v*m = 3*y - r, 0 = m - 6*m + 3*y + 50. Solve o + m = 2 for o.
-5
Suppose 0 = -9*u + 13*u - 16. Solve -3 + u = b for b.
1
Suppose -5*u + 15 = 3*d, 5*u - 2*u + 4*d = 20. Let b = u - -2. Let t be (-1 + b)*(-10)/(-2). Solve -4*s = -t + 1 for s.
1
Let p(z) = z. Let o be p(0). Solve o = -i + 4*i for i.
0
Let o(t) = t - 6. Let g be o(6). Let w(d) be the first derivative of -d**3/3 - 6*d**2 - 5*d + 3. Let m be w(-10). Solve -3*k + m = -g for k.
5
Suppose 5*g - 44 = g. Let r(a) = -a + 8. Let d be r(6). Solve 0 = d*n + 1 - g for n.
5
Suppose -9*w = -3 - 87. Solve -a + w = a for a.
5
Suppose 19 = 3*q - 17. Suppose a - 16 = 5*x - 43, 0 = 2*a - 4*x + 30. Let w = a + q. Solve w*y - 1 = -6 for y.
-1
Let j be (4/3)/(2/21). Suppose 18 = -3*h + 5*p, 9*h + 30 = 4*h - 3*p. Let t be h/21 - (-46)/j. Solve -t*d + d = 6 for d.
-3
Let d = -9 + 5. Let h be (-4 - -2)*(-10)/d. Let y = h - -5. Solve y = -r - 1 + 6 for r.
5
Let q be (-13)/11 - 2/(-11). Let w = -3 - q. Let u be 1/(-2)*44/w. Solve 0 = 5*a - u + 1 for a.
2
Let k(t) be the third derivative of 1/8*t**4 - 1/3*t**3 + 0*t + 0 + 1/60*t**5 - 1/120*t**6 - t**2. Let n be k(2). Solve n = 4*f + f + 15 for f.
-3
Suppose -6*l - 3*l + 3*l = 0. Solve l = 4*d + d - 25 for d.
5
Suppose 0*h - 5*u = h + 12, 0 = 2*u + 6. Suppose f - h = -0. Solve -2*c - f = 1 for c.
-2
Let f be 3*6 - (-4 + 6). Suppose -6 + f = 5*y. Solve 2*u = -y*u + 8 for u.
2
Let u = 5 - -1. Solve -u = -4*i + 2*i for i.
3
Let l(x) = x**2 + x. Let h(q) = 5*q - 2. Let w(z) = -h(z) + l(z). Let v be w(4). Solve r + 5 = v for r.
-3
Let i be (4 + 0)/8 + (-25)/(-10). Solve 3*d + 3 = -i for d.
-2
Suppose z = 6*s - 4*s, -z = s. Suppose 2*q + q + 9 = k, -k - 7 = 5*q. Let d(g) = g**3 - 2*g**2 + 3*g. Let c be d(2). Solve -k*x = -z*x + c for x.
-2
Suppose -2*d + 2*l = 0, 3*l = -4*d - 2*l + 27. Suppose o = -d*o. Solve -x + 2*x + 2 = o for x.
-2
Let g = 25 + -10. Suppose 4*y + y = g. Solve -y*l + 4 = -5 for l.
3
Suppose 5*r + q = 18, -2 = 4*r - 3*q - 5. Suppose r*b + 7 = -8, 5*x + 5*b = -25. Solve 0 = -2*s - x*s for s.
0
Let w be (0*(-2)/(-6))/(-1). Solve 4*y + 8 + 4 = w for y.
-3
Let y(r) = -r + 14. Let c be y(10). Suppose g + 15 = c*g. Suppose 5 = g*t - 0. Solve -p + 3 + t = 0 for p.
4
Suppose 5 = 5*l, 0 = -b + 6*b + l - 31. Suppose w = -0*w + 2*z + b, -5*z - 4 = 3*w. Suppose -7 + 15 = w*q. Solve -6 = q*n - n for n.
-2
Suppose 0 = -3*v + 13 + 2. Solve v = 3*r + 2*r for r.
1
Let j(p) = -p**2 + 2. Let i(q) = 2*q. Let l be i(-3). Let w = l - -6. Let h be j(w). Solve m = -h*m for m.
0
Let m = -11 - -20. Let k = m - 2. Solve 0 = 3*d - k - 5 for d.
4
Suppose -4*j + 40 = m - 7*j, 4*j + 20 = 0. Solve -2*i + m = 3*i for i.
5
Let b = 2 - 11. Let t(z) = z + 15. Let j be t(b). Solve -5*s - j = 4 for s.
-2
Let v = -215 - -220. Let o = -2 + 2. Solve o = v*h - 1 + 6 for h.
-1
Let a(w) = w**3 + 7*w**2 + 1. Let s be a(-7). Solve 4*d + s = 9 for d.
2
Let u(z) = -4*z - 2. Let p be u(-2). Suppose 0 = -3*r - 27 - p. Let t = 15 + r. Solve t*s - 4 = 3*s for s.
4
Let i = -3 + 3. Suppose i = 5*q - 4*z - 40, 20 = 2*z + 2*z. Solve -q = -5*s + s for s.
3
Let y be (3/(-6))/((-2)/20). Let p = 6 + y. Solve -5*j + 14 = -p for j.
5
Let u be (-40)/(-15) - (16/6)/4. Solve u*w + 2*w = 0 for w.
0
Suppose 0*k = k - 11. Let q = k + -5. Suppose 4*m + 3*l = -m + 15, 0 = 3*m + 5*l - 9. Solve 6*d = m*d - q for d.
-2
Let i = 1 + -1. Let f = 0 - i. Suppose f = z - 0*z - 2. Solve -g - z = 1 for g.
-3
Let g be 5/2*(0 + 4). Solve -5*o = g - 35 for o.
5
Let a(y) be the first derivative of y**3/3 - 9*y**2/2 + 11*y + 4. Let s be a(8). Let z = -2 - -2. Solve z*k + 9 = -s*k for k.
-3
Let x = -12 - -12. Suppose 2*v + v = x. Solve 2*f + 2*f = v for f.
0
Suppose 2*u - 21 = -10*k + 5*k, 2*u + 2*k - 12 = 0. Solve 7*q + 16 = u*q for q.
-4
Suppose 2*p + 192 = 10*p. Solve -4*t + 4 = p for t.
-5
Let r be (8/3)/(2/3). Solve -r*t - 2 = -2*t for t.
-1
Suppose 4*k - j = 3*k + 2, -3*j = -4*k + 8. Solve k*v - 5*v = 6 for v.
-2
Let m = -23 + 23. Solve 4*k + m = 4 for k.
1
Suppose 44 = 5*v - 3*i, -5*v - 4*i + i + 56 = 0. Suppose -v = -m - 2*m - u, -m - u + 4 = 0. Solve 3*b = -9 - m for b.
-4
Suppose 0 = 2*g + 1 - 9. Solve 0 = -0*o - o + g for o.
4
Let s be 14 + -1 + (-1 - -4). Let f be 44/s + 1/4. Suppose 4*k - g = 8, 4 = -k + f*k - 5*g. Solve -k*q - q = 0 for q.
0
Suppose -3*b + 2*b = 2*h - 13, -11 = h - 3*b. Solve 6 - 2 = h*t for t.
1
Let h(o) = -o - 6. Let m be h(-10). Solve -a = -m*a for a.
0
Let t(k) = k**2 - 6*k + 10. Let s be t(5). Solve 0 = s*j - 0*j + 10 for j.
-2
Suppose -5*l + 15 = 5. Let y be (-98)/(-21) + l/(-3). Solve -y*k + 2*k = 0 for k.
0
Suppose 3*z - 3*u - 6 = 0, -2*u + 5 = 5*z - 5. Suppose 3*r - z*c + 0 - 6 = 0, 9 = 3*c. Solve -r + 1 = g for g.
-3
Let f(o) = 4*o**3 + 3*o - 2. Let l be f(1). Solve 2*n = -11 + l for n.
-3
Let u(k) be the third derivative of -k**5/60 - 7*k**4/24 - k**3/2 + k**2. Let a be u(-5). Solve 0 = 5*j - a*j - 10 for j.
-5
Let a = 7 - 4. Suppose 2*n - 1 = -3*g, a*n - 9 = -2*n - g. Solve 0 = l + n*l for l.
0
Let j be -3 - (-4)/((-8)/(-2)). Let u be ((-3)/j)/(1/2). Solve 4 = u*x + x for x.
1
Suppose 4*c = 2*c + 18. Let y(j) = 5*j + 24. Let r(b) = -9*b - 47. Let n(f) = -6*r(f) - 11*y(f). Let w be n(c). Solve 3*t + w = -0*t for t.
-3
Suppose 5*c - 107 = -17. Let f = c - 13. Solve 0 = -f*l - 14 - 11 for l.
-5
Suppose -20 = -3*g - g. Suppose g*m - 3*m = 0. Solve n - 5 = -m for n.
5
Suppose 0 = -c + 2*r - 9, -3*r + 1 = -5*c - 9. Let l(q) = q**2 + 4*q. Let d be l(-3). Let h be d/(2*(-1)/2). Solve -h*z - 8 - c = 0 for z.
-3
Let b be -12*(-3)/12*1. Suppose -2*x = b*x - 10. Solve -x*p = 5 + 1 for p.
-3
Let s(p) = p + 2. Let v