 k = 3 - 13. Let w = -6 - k. Let t be w/(-14) - (-8)/28. Solve 2*h + 8 = -t*h for h.
-4
Let z(f) = -f**3 + 10*f**2 + f - 7. Let o be z(10). Let b = o + 1. Solve -9 + 25 = b*x for x.
4
Suppose -4*l + 0*p - 2 = 2*p, -2*p - 8 = l. Solve -l*n = n + 6 for n.
-2
Let f = -95 - -117. Suppose 17 = -4*p + 5*y, p + 0*y - 12 = -2*y. Solve 0 = 4*d - f + p for d.
5
Let j = -23 - -29. Suppose j + 0 = 3*l. Solve 0*o + l = o for o.
2
Suppose 3*h = -3*w + 15, 8*w = -h + 3*w + 13. Let i be 15 - (1 + -1 - -2). Let x = h + i. Solve d + x = -3*d for d.
-4
Suppose 5 = 2*j + 15. Let c = 25 + j. Solve 6*f - c = f for f.
4
Suppose -8 = -5*u + 7. Solve -2 - 4 = -u*o for o.
2
Let i(d) = -d + 12. Let s be i(12). Suppose s*j = -3*j. Solve j = -0*o + o + 2 for o.
-2
Let p(f) = 6*f - 10. Let d(m) = -m + 1. Let v(z) = -5*d(z) - p(z). Let t be v(5). Solve t*s - 4*s = -4 for s.
1
Let r(d) = -d**3 - 7*d**2 - d - 4. Let a be r(-7). Suppose 0 = 4*q + 13 - 1. Let v be 1 - q - (0 - 0). Solve -g = a*g + v for g.
-1
Let v(k) = -14*k**2 + k. Let z(x) = -x**2 + 3*x + 3. Let m be z(4). Let f be v(m). Let p be (9/f)/((-3)/30). Solve 4*l - 2 = p*l for l.
-1
Let v(o) be the third derivative of o**4/24 + 2*o**3/3 - 8*o**2. Let j be v(-4). Solve j*c + 2 = -c for c.
-2
Let t(a) = -a**2 + 4*a - 3. Let g(q) = 3*q**2 - 16*q + 13. Let y(d) = -2*g(d) - 9*t(d). Let k be y(3). Solve m = -3*m + k for m.
4
Let t(w) = 4*w - 19. Let b be t(5). Solve 0 = -c + 3 - b for c.
2
Let b(p) = -4*p + 0*p + 3*p**2 - 4*p**2. Let k be b(-4). Solve -2*r = -k*r - 2 for r.
1
Suppose c - 4*a = -c + 14, 0 = -5*c + a - 1. Suppose 3*x - 5 = 8*x. Let t = c - x. Solve t = -0*l - 4*l for l.
0
Let y(f) = f**3 - 20*f**2 + 18*f + 21. Let n be y(19). Solve n*g + 14 = 6 for g.
-4
Let a = -10 - -15. Suppose 5*n - 2*q = 14, a*n - q = 5 + 7. Solve n*c - 9 = -3 for c.
3
Suppose -2*m - m = 21. Let p(y) = -y**3 - 6*y**2 + 7*y + 1. Let o be p(m). Let l(t) = t**2 + 2*t - 12. Let k be l(-5). Solve -k*w + o = 13 for w.
-4
Let h = 8 - 3. Let r = h + -3. Solve 2*o + 0 + r = 0 for o.
-1
Let n be 4/(-5)*150/(-5). Let y be (-1 + 5)/(3/3). Let w be (-28)/(-6) + (-4)/6. Solve -n = -y*a - w for a.
5
Suppose c = 6 - 0. Let o(u) = u**3 - 5*u**2 + 5*u - 4. Let n be o(4). Solve -m + c*m - 10 = n for m.
2
Let n = 3 + -1. Suppose 0 = -n*f - 0*l + l + 41, 0 = f + 2*l - 18. Suppose 2*v = i + 1, -5*v - 2*i + 21 = -4. Solve -m = v*m - f for m.
5
Suppose -7 = -5*y + 3, 0 = -2*t - 4*y + 6. Let r be (t - 0)*(4 - -1). Let d = 0 - r. Solve 0 = d*x - 8 - 17 for x.
5
Suppose -3*h + 2*c = 4*c - 66, 2*c + 34 = 2*h. Solve 0*w + 4*w + h = 0 for w.
-5
Suppose -2*v = 2*v - 16. Let t = -12 + v. Let m be t/12*(-6)/1. Solve m*b - 7*b = 0 for b.
0
Suppose m + h = -3*m + 38, 2*h + 23 = 3*m. Let l(i) = -i**3 + 9*i**2 - 2*i + 11. Let b be l(m). Let s be (-1 + -6)*2/b. Solve -s*d + 9 = d for d.
3
Suppose -2*s = r + 3*s + 2, 3*r + 25 = 4*s. Let q = 6 + r. Let k be 4 - q - (-2)/(-2). Solve -w = 3 - k for w.
1
Suppose 3*h - 3 = 4*k, -5*h + 5*k + 0*k + 5 = 0. Suppose s + 0 = h. Let o be 1*(s + 1)*1. Solve -o*a - 2*a - 16 = 0 for a.
-4
Let u(w) = 10 + 9*w - 2*w - 18 + w**2. Suppose 2*h - 4*h - 16 = 0. Let f be u(h). Solve -n - 4 = -f*n for n.
-4
Let u = -1 - -4. Let r be 6*(4 + 40/(-12)). Solve -r*v = -v + u for v.
-1
Let o be (-14)/4*(-16)/4. Let b = o - 10. Solve -b = l + 1 for l.
-5
Suppose -5*c = k - 49, 4*k + 46 = 3*c + 12. Solve -6*q = -11*q - c for q.
-2
Let p(y) = -y**3 + 7*y**2 - y + 8. Let d be p(7). Let z = d - -3. Solve -3 = z*g - 7 for g.
1
Let k = 31 - 21. Suppose k*s + 16 = 14*s. Solve -2*h + h = -s for h.
4
Let k be 2 + (-2 - 0) + 36. Let z = k + -15. Solve -z = 4*o - 1 for o.
-5
Suppose -i = -3*d - 0*i + 9, 2*d = 4*i + 6. Let s(j) = j**2 + 6*j + 2. Let q be s(-6). Suppose 4*a - z + 2 = 0, -z = a - 0*a - q. Solve a = d*o - o for o.
0
Let x = -39 + 39. Solve 2*u - 2 = -x*u for u.
1
Let b be 3 - (3 + 1) - -4. Solve 5*o - b*o + 10 = 0 for o.
-5
Let b(s) = 19*s**2 + s. Let a be b(1). Suppose -2*i - 3*i + a = 0. Solve -3 = -i*c - 23 for c.
-5
Suppose -3*x + 1 = -2*j - 7, 2*x = 2*j + 6. Suppose 0 = d - 0*d - x. Suppose 4*g + 2*u - 80 = 0, u - 80 = -6*g + d*g. Solve -4*c + g = c for c.
4
Let k(z) be the third derivative of -z**6/120 + 3*z**5/20 + z**4/24 - 3*z**3/2 + 2*z**2. Let q be k(8). Let w be 2/(-8) + q/28. Solve 2*r - w = -0 for r.
1
Let o(u) = -5*u**3 - u**2 - 1. Let w be o(-2). Suppose 0 = -5*s - 30 + w. Solve s + 1 = -k for k.
-2
Let u be 2/4 - (-1)/(-2). Let o(s) = s**2 + 2. Let a be o(u). Suppose -12 + 2 = 3*m - 2*d, 0 = -4*m + 3*d - 15. Solve m = -a*g - 2*g for g.
0
Suppose -44 + 8 = -4*l. Solve 0 = -d - 2*d + l for d.
3
Suppose -w + 5 - 2 = 0. Let c(q) = q**2 + 7*q - 10. Let j be c(-9). Solve l = -w*l - j for l.
-2
Let l(g) = 4*g**2 + 9*g - 5. Let q(t) = -4*t**2 - 10*t + 6. Suppose 0 = 3*o - 8 - 13. Let c(u) = o*l(u) + 6*q(u). Let s be c(-2). Solve 3*k + s = -1 for k.
-4
Let w = 3 + -1. Let d be 8*w/(-2) - -2. Let v = 11 + d. Solve -v = -5*g + 10 for g.
3
Let k(l) = 4*l**2 + 5*l + 4. Let n be k(-1). Solve n = 2*r - 7 for r.
5
Suppose 4 = 4*u - 16. Solve -c = -2*c + u for c.
5
Let h(w) be the first derivative of w**3 + w - 2. Let n be h(1). Suppose 9*c = n*c + 15. Solve -3 = -2*q + c for q.
3
Let o(v) = -v + 0*v + 10 + 4. Let s be o(12). Solve -s*d = -d - 5 for d.
5
Suppose -2*x + 4*x = 30. Let z be (-68)/(-6) + 10/x. Solve 3*f = 7*f + z for f.
-3
Let c be (-4)/14 + (-94)/14. Suppose 2*u + 5*o + 9 = 0, 0 = -u + 3*o + 2*o - 12. Let v = c - u. Solve v = 5*d - 21 - 4 for d.
5
Suppose 0 = 2*p + 5*y + 8, -4*y = -5*p - 0*p + 46. Solve -2*l + p = 2 for l.
2
Suppose 0*p = -4*p + 20. Suppose -2*u + 3*q = -6*u + 7, 3*q = -p*u + 11. Solve 0 = -4*o + u + 4 for o.
2
Let s = 5 + -2. Suppose 0 = z - 3*b + b - s, -b - 5 = -4*z. Let v be z - (2 - 2) - -7. Solve o + o - v = 0 for o.
4
Let o(x) = -x. Let a be o(5). Let s = a - -7. Solve s*i - 5*i = 0 for i.
0
Let o(x) = x**3 - 4*x**2 - 6*x + 6. Let s be o(5). Suppose -t = 3*t + 4*u - 16, -5*u = -t - 2. Suppose 6*i = t*i. Solve -s = z - i for z.
-1
Let a = -69 - -72. Suppose -10 = -4*w + 10. Let z = 10 - w. Solve -1 = -a*t + z for t.
2
Suppose -31*g = -22*g - 81. Solve 0*t + 3*t - g = 0 for t.
3
Let f(a) = a**3 - 3*a**3 - 3 + 3*a**3 + 4*a - 2*a**2. Let i be f(2). Solve 0*b = i*b - 20 for b.
4
Suppose -2*b = 2*w, 0 = 3*w - 5*b - 9 - 7. Suppose 0 = -w*x + x. Solve 2*m + m = x for m.
0
Let o(m) be the second derivative of m**5/20 - m**4/6 + m**3/6 - 2*m. Let t be o(1). Suppose 4*b - b - 12 = t. Solve 4 + b = -4*s for s.
-2
Suppose -o - 5 = -0. Let r(d) = -d**2 - 4*d + 7. Let y be r(o). Solve f = -y*f for f.
0
Let o = -27 - -15. Let s = o - -14. Solve -x - s*x + 3 = 0 for x.
1
Let v be 14/6 - (5 + (-85)/15). Suppose 6*p - 15 = 3*p. Solve v = f + p for f.
-2
Let d(g) = g**3 + 3*g**2 - 11*g - 5. Let h(t) = -t**3 - 2*t**2 + 12*t + 4. Let v(i) = -4*d(i) - 3*h(i). Let y be v(-7). Solve 2*p - 1 - y = 0 for p.
1
Let f be (-4)/30 - (-136)/120. Solve 3 + f = s for s.
4
Suppose g + 44 = 51. Solve w - g = -4 for w.
3
Let v(s) be the second derivative of s**3/6 - s**2 - 3*s. Let r be v(5). Solve -w - 12 = r*w for w.
-3
Let n = -1 - 13. Let j = -6 - n. Solve -j = -5*c + c for c.
2
Suppose 2*s + 4*f - 2 = 10, -4*f = 5*s - 12. Solve s = 4*w - 5*w - 3 for w.
-3
Let u(l) = 2*l + 31. Let o be u(-10). Solve -3*d = -1 - o for d.
4
Let y(o) = o**3 + 7*o**2 + o + 6. Let h be y(-7). Let a = h + 2. Let b be -2 + 7 + (3 - a). Solve -b*t + 3*t = -20 for t.
5
Let s = -171 - -191. Solve s = -0*u + 5*u for u.
4
Let l be (-5)/(-6)*(28 + -22). Solve 7 = -l*g + 27 for g.
4
Let g(v) = 2*v + 7. Let n be g(-12). Let d = -16 - n. Solve -d = -3*i - 10 for i.
-3
Let k(w) be the second derivative of -w**3/6 - w**2 + w. Let i be k(-2). Solve m - 3 - 2 = i for m.
5
Let l be 42/112 - 6/16. Solve 0 = -l*v - 5*v - 25 for v.
-5
Let j = -2 - -5. Suppose 0 = -2*g - d + 9 + 13, -4*g = -4*d - 32. Solve -r = -j*r + g for r.
5
Suppose -x - r + 7 = 0, 0 = -4*r - 2 + 10. Suppose x*u = u - 2*c + 18, u - 7 = 2*c. Solve 14 + 6 = -u*a for a.
-4
Let h = -7 - -7. Let t = h + 0. Solve 1 = -q - t for q.
-1
Let b = 2 - 1. Let c be (0/1)/(b*-1). Solve c*a = a for a.
0
Let k(p) = p**2. Suppose 0 = -8*n + 3*n - 2*h - 9, -4*n + h = 2. Let f be k(n). Solve 5*y = 4*y + f for y.
1
Let j be (1/(-2))/