k = -15 - -24. Let i(h) = h**2 - 8*h - 12. Let g be i(k). Let r be (g/2)/((-2)/12). Solve s = -2*s + r for s.
3
Suppose -s + 2 = 5*k, 0*s + 4 = 2*s. Let d be ((-18)/27)/(1/(-6)). Suppose -r - 5 = -0*r, 5*r - 39 = -4*q. Solve k = d*y + q for y.
-4
Let w(l) be the third derivative of -l**6/120 - 2*l**5/15 - 7*l**4/24 + 2*l**3/3 - 2*l**2. Let u be w(-7). Let p = u + -2. Solve x + 2 = -p for x.
-4
Let b be (-2 - 12/(-8))*0/(-2). Solve 3*q - 5*q - 4 = b for q.
-2
Let l(v) = v - 16. Let a be l(16). Solve -4*x + x = a for x.
0
Suppose -4*i = -3*q - 2 + 10, q = -3*i - 6. Let l be (4/10)/((-1)/(-5)). Let d = l + i. Solve d = -2*t + 3 - 7 for t.
-2
Let k(w) be the second derivative of -w**3/3 - 2*w**2 - 3*w. Let i be k(-3). Solve 0 = 3*l + 4 + i for l.
-2
Suppose 4*f + f = 25. Let z = 1 - -2. Suppose -z*j = -5*n + 1, j + 14 = n + 5*j. Solve -n*t - 3 + f = 0 for t.
1
Let c = -25 - -29. Solve 3 = -d + c*d for d.
1
Suppose 3*x - 16 = 2. Let p = 0 + x. Solve 2*h + 16 = p*h for h.
4
Let b be 24/4*4/6*2. Solve 4*p = b + 8 for p.
4
Let k be 14 - 1*4/2. Let y be ((-3)/k)/(2/(-8)). Let x be 5*(4 + 0 + -3). Solve x*d = -4 - y for d.
-1
Let j(r) = 2*r + 17. Let l be j(-5). Solve 4*m = l*m for m.
0
Suppose 0 = 4*a + 5*y + 56, -9 = 4*a + 3*y + 55. Let o be (a - -1)*2/(-6). Solve -r - 2*r + o = 0 for r.
2
Suppose 2*f + 5*u = -3 - 5, -3*u = 5*f + 1. Solve -5*k - 4 = f for k.
-1
Let h be (18/10)/(4/20). Suppose h*r - 4*r = 0. Solve r = 4*t - 7*t + 12 for t.
4
Let z be 1*6 + (-2)/(-1). Let t = z + -6. Suppose -9 = -t*i + 1. Solve n = i*n for n.
0
Let d be (-5)/((-105)/18)*14. Let l = d - 9. Solve 4*t = l*t for t.
0
Let w(s) = -s**3 + 9*s**2 - 8*s. Let a be w(8). Solve a*y + 4 = 2*y for y.
2
Suppose -4*d = -3*d + 3. Let w(a) = -3*a. Let j be w(d). Let g be (j/(-6))/((-3)/40). Solve -2*x + g = 2*x for x.
5
Let c = 5 - 5. Let d be 2*(2/4 + 1). Suppose -6*y + 10 = -4*y, -3*y = -d*f. Solve f*k + 10 + 0 = c for k.
-2
Suppose 3 = -x + 7*i - 4*i, 3*x - 2*i = -2. Suppose -2*l = 2*l + 2*n - 12, x = -4*l + n + 12. Solve -l*v - 7 - 5 = 0 for v.
-4
Let p(g) = g**3 - g**2 + g + 10. Let i be p(0). Solve o = -o - i for o.
-5
Let j(x) = x - 3. Let o(h) = h**2 + 5*h - 1. Let i be o(-6). Suppose -s + 2 = 0, -s = -i*f - 5*s + 23. Let b be j(f). Solve -3*k - 12 = -b for k.
-4
Let m be 0 + -1 + 4 - 3. Solve 0 = -5*z - m*z - 10 for z.
-2
Let s = 14 - 9. Suppose 2*m = 5*m. Suppose s*p = 4*r - 4, m = -2*r - 4*p + 1 + 1. Solve g = r - 5 for g.
-4
Suppose 2*h + 2 = 3*h. Let p be 0 + 2 + (-6)/h. Let i be (-2)/p + (-2 - -2). Solve -i*b = -3*b for b.
0
Let o(y) = -y - 3. Let j(v) = 5*v**2 + 1. Let t be j(-1). Let i = 1 - t. Let q be o(i). Solve -3 = q*z - 5*z for z.
1
Let j(y) = y**3 - 8*y**2 - 9*y + 1. Let x be j(9). Solve m - x = -2 for m.
-1
Let m be 2/(8/3 + -2). Solve m*t = 3 + 9 for t.
4
Let z(d) = d**3 + 5*d**2 - d + 6. Let f be z(-5). Let i = f - 8. Solve 0 = -i*n - 0*n for n.
0
Let q(j) = j - 7. Suppose 8*o - 3*o - 35 = 0. Let l be q(o). Solve c - 3*c - 8 = l for c.
-4
Let w = 9 - 7. Suppose -12 = r - 4*u, 2*r + 3 = 3*u - 1. Let q be 3/5 + r/10. Solve 3*h = w*h - q for h.
-1
Let i(s) be the third derivative of -3/2*s**3 + 0 + 1/12*s**4 - 2*s**2 + 0*s. Let a be i(6). Solve 6*y - a*y + 15 = 0 for y.
-5
Let q = 2 - 1. Let j be (q*(0 - 0))/(-2). Let i = j + 0. Solve i = -5*p + 13 + 12 for p.
5
Suppose -6 = 8*v - 5*v - 5*c, 5*v - 5*c = 0. Solve r - v*r = 0 for r.
0
Let i(u) = u**3 - u**2 + 2*u. Let x be i(0). Solve 3*d + 2*d - 10 = x for d.
2
Let s(r) = 0*r + r**2 + 9 - 8*r - 1. Let g be s(7). Solve 3 = -y - g for y.
-4
Suppose -3*v - v = 12. Let f(q) = q**2 - q + 1. Let o be f(v). Let h = -7 + o. Solve 0 = -h*l + l for l.
0
Let l = -7 + 7. Let r = l - -2. Suppose -r*w = s - 19, -35 = -4*w - s - 0*s. Solve -3*m + w = m for m.
2
Let m be 8/(-3)*6/(-4). Let n be 0 + -1 + 16/4. Solve m*o - n = o for o.
1
Let b = 9 + -8. Suppose -3*o + 2*s - 1 - b = 0, -5*s + 5 = -2*o. Solve o = -2*m + m for m.
0
Let n(d) = d**2 + d - 5. Let g be n(-5). Let m = g + -7. Suppose 0 = 4*z - 4 - m. Solve -2*f - z*f = 20 for f.
-4
Suppose -2*f - f - 3 = 0. Let y be (f - 5)*(1 + -3). Solve y = -4*x - 0*x for x.
-3
Let c(u) = u - 4. Let v be c(-4). Suppose -5*g - 31 + 6 = 0, -g = -3*s + 44. Let f = s + v. Solve f*a - 2*a = -9 for a.
-3
Let f = 9 + -7. Solve 3*y = -f*y for y.
0
Suppose 5 = 5*q - 10. Suppose -5*m + 0*m - i + 4 = 0, -5*i + 20 = -5*m. Suppose 5*u - t - 2*t - 9 = m, 2 = t. Solve -u = -0*n - q*n for n.
1
Let r(d) = -d**3 + 7*d**2 - 5*d - 4. Let q be r(6). Suppose -s + 9 = q*s. Suppose 17 = s*t + 5. Solve -t*x = 1 + 3 for x.
-1
Let p = -38 - -48. Solve -7*i = -2*i + p for i.
-2
Let j(g) = -g + 2. Let c be j(0). Suppose -5*w = -c*w - 30. Solve -2*m = w - 2 for m.
-4
Let f(k) = -11*k. Let a be f(-1). Solve p = 8 - a for p.
-3
Let t = -4 - -1. Suppose -3*n + 12 = 4*r - 11, -5 = -5*r + n. Let y be r/t + 8/3. Solve y*m - 8 = -0*m for m.
4
Let u = 38 - 30. Solve -k + u = -5*k for k.
-2
Suppose -2*q + 7 + 7 = 0. Suppose 5*y = 15, 4*y = -5*i - 0*y + 22. Solve i = 5*g + q for g.
-1
Let p(b) = b**3 - 3*b**2 - 2*b + 4. Let c be p(3). Let x = -1 + -1. Let m = c - x. Solve m = -4*y + y + 15 for y.
5
Let i be 50/(-3) + (-4)/(-6). Let a = 18 + i. Solve -a*q = -7*q for q.
0
Let y be (-154)/(-8) + (-6)/(-8). Solve -y = -8*h + 4*h for h.
5
Let r(l) = l**3 - l**2 + 1. Let s be -2*(0 - -1) - 2. Let d = s - -6. Let h be r(d). Solve 0 = -6*j + h*j + 5 for j.
5
Let v be (-24)/(-4) + -3 + 1. Suppose 4*a - 20 = -2*b, -3*a = -v - 8. Solve 16 = -b*d - 2*d for d.
-4
Suppose 5*f + 7 - 37 = 0. Let z be (-4)/f + (-28)/(-6). Let y(k) = k**2 - 7*k + 2. Let c be y(7). Solve 2*m - z*m + c = 0 for m.
1
Suppose 4*h - 1 = x - 5, 2*h + 2*x - 8 = 0. Suppose h = -d - 3*d + 24. Suppose r = j - 12, -j + d = -2*r - 10. Solve -5*u + u = j for u.
-2
Let r be (-50)/(-15)*(-48)/(-10). Suppose -2*h + r = 6. Suppose h*o = o. Solve o*k = -3*k for k.
0
Let p(m) = m**2 + 8*m + 15. Let h be p(-7). Solve y = -3*y - h for y.
-2
Let s(o) = -o + 5. Let d be s(3). Solve d = -3*m - 1 for m.
-1
Let j = -34 + 34. Solve 3*s + 15 = -j*s for s.
-5
Let o(f) = -f**3 + 6*f**2 - 6*f + 5. Let h be o(5). Suppose -y + 4*y - 4*n + 8 = 0, 5*y - 4 = -2*n. Suppose y*t - 15 = -5*t. Solve l + h = -t for l.
-3
Suppose -c - 9 = -4*c. Let h be ((-6)/(-5))/(6/15). Solve -c*p = h - 12 for p.
3
Let x = -18 + 18. Solve -n - 3*n = x for n.
0
Suppose -2*m + 7 = -6*m + l, 5*l = 5*m - 10. Let q(k) = -2*k + k**2 + 2*k + 3*k. Let s be q(m). Solve 2*f - 5*f - 12 = s for f.
-4
Suppose 0 = -u - 6*u. Solve 6*l - 8*l = u for l.
0
Let g = -18 - -17. Let z be (g - (0 - 1))/2. Solve z = -t - 7 + 5 for t.
-2
Let r be (-92)/(-5) + (-6)/15. Solve 4*h - r = 2 for h.
5
Let x(n) = 6*n**3 + n**2 - 2*n + 1. Let y = -11 + 15. Suppose -5 = -w - y*w. Let t be x(w). Solve -t = -5*j - 1 for j.
1
Suppose 0 = 2*b - 4, -5*m = -5*b - 46 - 19. Let c be ((-27)/m)/((-6)/20). Solve -c*p - 20 = -p for p.
-4
Suppose -5*z + q + 14 = 0, 0 = z - 5*q - 2 + 4. Solve -5*g + 2 + z = 0 for g.
1
Let r be 2/(-1)*(-7 - -1). Solve 5*l = 2*l - r for l.
-4
Suppose -4*p + 16 = -g + 4, 3*g = 3*p - 9. Let s(a) = -a + 18. Let j be s(9). Let u = -6 + j. Solve g = -u*d - 5 - 4 for d.
-3
Let u be -3 + 1 + 6*1. Suppose 4*c = 4*r - 7 + 19, u*r + 12 = 0. Let j be 8/(-6)*(-18)/4. Solve -2*h + c + j = 0 for h.
3
Suppose -v = 4*v. Suppose -3*m - 30 = -3*a - 0*m, v = -3*a + 2*m + 26. Suppose -2*s = -5*r + 44, a*s = 5*r + s - 35. Solve 0*h = 2*h + r for h.
-5
Let x = 4 - 3. Let n be (1 + 3)*x/2. Suppose 3*k - 1 = -n*v, -2*k + 0*v - 5*v - 3 = 0. Solve -k = w - 0*w for w.
-1
Let n = 3 + -1. Let r = 9 - 6. Let j be 0*(r/6)/1. Solve -n + j = -q for q.
2
Let p be 0 + (-6)/(-8) - (-6)/(-8). Suppose -k + 115 = 4*k + 5*b, 0 = 3*k + 4*b - 72. Suppose 3*t = -5*s - 20, t + 0*t - k = 5*s. Solve p = -w - 4 - t for w.
-4
Let y be ((-8)/(-14))/((-2)/(-7)). Solve 3 = q + y*q for q.
1
Let g be (1 - -3)/(-2 + 3). Solve 0 = -g*y - 20 for y.
-5
Let k be (-5 + 1 + 0)/(-1). Suppose r + k = 2*r. Let d be -1*(1 - (r + -1)). Solve -3*p = d*p for p.
0
Suppose 7*y + 6 = 9*y. Solve -o = -y - 1 for o.
4
Suppose -31 = -3*z + 17. Suppose -13*w = -8*w. Solve z = 4*l - w for l.
4
Let p(g) = -g**3 + 6*g**2 - 7*g + 10. Let q be p(5). Solve q = m + 3*m for m.
0
Suppose -5*r = -v - 33, 0 = 5*r