. Let k be z(5). Let m be ((-12)/8)/((-9)/k). Suppose 5*w - 18 = -3. Solve -w*s + 5*s = -m for s.
-5
Suppose 5*s = 2*a - 2 + 6, a = 4*s - 5. Suppose -z = -4*j + 12, 2*j = 6 + 2. Solve 6 = -s*x - z for x.
-5
Let s = -2 + 5. Solve s + 5 = 2*m for m.
4
Suppose 0 = -a + 3*c + 9 + 9, 5*a + 10 = -5*c. Let f = 1 - 1. Suppose -7*t + 3*t = -60. Solve f*w - a*w = -t for w.
5
Let v(g) = -g**2 + 6*g + 4. Let j be v(6). Suppose 0*k - 5*k = -5*o + 20, o = 5*k - 12. Let p = o + 2. Solve -p = -j*l - l for l.
2
Let w be (-3)/6 - 76/(-8). Solve -4*d - w = -d for d.
-3
Suppose -18 = -f - 2*j, -2*f - 4*j + 66 = 3*f. Solve -5*o = f - 0 for o.
-2
Suppose -3*m + 8 = m. Suppose 70 = 2*j + 8*j. Solve -m*a = -j*a + 25 for a.
5
Let p be 5 + (-2 + -1 - -1). Solve 1 - 4 = p*x for x.
-1
Let y = 30 + -30. Solve y = -2*g - 0*g - 2 for g.
-1
Suppose -3*i = -5*y + 75, i + 71 - 26 = 3*y. Solve -g + y = 2*g for g.
5
Let a = -36 - -38. Solve -a*q = 10 - 2 for q.
-4
Let t(o) = o**3 + 6*o**2 + 6*o + 10. Let s be t(-5). Solve -s*l = -l for l.
0
Let y(p) = 2*p - 5. Let d(r) = r**2 + r + 2. Let u be d(-2). Let a be y(u). Solve 8 = -a*c + 2 for c.
-2
Suppose 16 - 4 = 2*i. Let y = 4 + i. Suppose 2*h + 3*n - 1 = 13, -4*h + 20 = 2*n. Solve -h*t - y = t for t.
-2
Let k be (2 - -1) + 40*1. Suppose k = -4*x - 9. Let l = 23 + x. Solve -q = -6*q - l for q.
-2
Let o(p) = 2*p**3 - 10*p**2 + p - 2. Let d be o(5). Solve 0 = -d*n - 0*n for n.
0
Let a = -14 - -16. Solve u + 6 = -a*u for u.
-2
Suppose -i = 5*c + 3, -2*c - 5 = 3*c. Solve i*b + 0 - 6 = 0 for b.
3
Let c be 0/(5/(15/6)). Let z = 2 - c. Suppose -z*b = 2*b. Solve b = 4*h + 11 - 3 for h.
-2
Suppose 3*m - 3*p = -2*m + 6, 3*m = 3*p. Let c be m/1*(2 - 1). Let s be ((-24)/20)/((-2)/5). Solve s*u = -0*u - c for u.
-1
Suppose 0 = -3*v + 3, -5*p - 2*v + v - 4 = 0. Let l(g) = -5*g**3 + 2*g**2 + g. Let m be l(p). Solve n = m*n for n.
0
Let q(p) = -p**2 + 9*p - 9. Let y be q(6). Suppose -2 = -o + 3. Suppose -o*v + 12 - 2 = 0. Solve 0 = v*j - y + 3 for j.
3
Let d = 28 + -26. Solve -4*y = -14 - d for y.
4
Let c(y) = -y**2 + 4*y + 3. Let b(w) = w**3 - 8*w**2 + 2*w - 12. Let t be b(8). Let i be c(t). Solve k + 0 = i for k.
3
Suppose 0 = 2*w - 2*z - 3*z - 1, 3*w + 2*z - 11 = 0. Solve -2*o + w*o = -3 for o.
-3
Suppose -27 = b - 27. Solve u + b = 3 for u.
3
Suppose i + 5*c + 9 = 2*c, -4*i + 16 = -c. Let s = i - -1. Let u be 2*(2 + -2 + 1). Solve 0 = -u*z + 6 + s for z.
5
Let p = 17 - 12. Suppose -15 = p*o - 0. Let v = o - -7. Solve 2 = -2*u + v for u.
1
Let t = 2 + -3. Let m be (2/(-6))/(t/6). Let y be 6/(-21) - m/(-7). Solve y = -3*b + b + 10 for b.
5
Let a be (-1)/(-5) - (-6 + (-22)/(-10)). Solve -a*d + d = 9 for d.
-3
Suppose -2*d + 7*d = 10. Suppose -3*u + d*u + 3 = 0. Solve -2*z = u*z for z.
0
Let n(d) = d**2 - 2*d - 2. Let w be n(-1). Let z = 2 + 1. Solve x + w + z = 0 for x.
-4
Let j(l) = l + 10. Suppose -5*c + 2*r + 8 = -0*c, c = -4*r - 16. Let t be j(c). Suppose 4*f + 0*m + 3*m = -3, 25 = -5*m. Solve -f*d = 2*d - t for d.
2
Let x be 0*((-15)/(-6) - 2). Suppose k + 2*o = 8, o - 10 = -2*k - x*o. Solve 3*s = k*s - 3 for s.
3
Suppose 0*j = j + 2*s - 13, 8 = -4*j + 4*s. Solve -19 = j*x - 4 for x.
-5
Let o be (2 + -1)*30/5. Suppose -2*n = -4*n. Solve n*w = -2*w - o for w.
-3
Let y(l) = l**3 - 7*l**2 - 4*l - 18. Let d be y(8). Solve 2 = 4*c - d for c.
4
Suppose 2*f + 3*o = -0*o - 15, -4*o = f + 20. Suppose 3 = y - f*y. Suppose 0 = -y*d - 2*w + 4, 3*w + 3 = -2*d + 4. Solve 5*k = d*k for k.
0
Suppose 3*m + 11 = 29. Suppose m = 3*z - 39. Solve 3 = 3*r + z for r.
-4
Let u be 2*10*2/8. Solve -3*q = -u*q + 10 for q.
5
Let k = 5 - 0. Solve -k*i + 0*i = 0 for i.
0
Let y = 38 + -21. Let o = y + -15. Solve o*s + s = -12 for s.
-4
Let h = 313 - 309. Let r(i) = -5*i - 6. Let d be r(-4). Solve h*v = -d - 6 for v.
-5
Let b(s) be the second derivative of s**3/6 + 3*s**2 + 9*s. Let k be b(-5). Solve -5 + k = c for c.
-4
Let u(v) = -v**3 + 14*v**2 - 12*v - 11. Let j be u(13). Suppose -j*n + 5*m = -33, -5*n + 3*m + 0*m = -35. Solve -o - o = n for o.
-2
Let q = -52 + 52. Solve q*o = -o for o.
0
Let w(d) = -5*d - 31. Let c be w(-7). Solve c*n = 2*n + 10 for n.
5
Let r(b) = -2*b + 33. Let x be r(14). Solve 0 = 7*q - 2*q - x for q.
1
Let v = -8 - -6. Let o = v - -6. Solve 8 + o = 4*a for a.
3
Let h(t) = -t**2 - 2*t + 3. Let i be h(1). Solve i*x - 3 = x for x.
-3
Suppose 17 - 2 = 5*d. Let m = 6 - d. Suppose -1 = -2*c + s, -s - 3*s = m*c - 18. Solve b = c*b for b.
0
Suppose -3*y + 4 = -11. Let g be ((-6)/y)/((-6)/20). Solve 5*l = 3*l + g for l.
2
Suppose 0 = -2*g + 5*j - 15, 2*j = -g - j + 9. Suppose g = y + x, 2*y - 2*x - 15 = x. Solve -y*q + 0*q = 3 for q.
-1
Let r be (-9)/(-12)*4 + 4. Suppose r = 4*g - 5. Suppose 2*w = g*w - 8. Solve -2*z + w = 2 for z.
3
Suppose 0 = -3*a - a. Suppose 6 = 3*b - a. Solve k + b = -k for k.
-1
Suppose -2*n + 12 = 2*n. Suppose g - 3*w + 10 = 0, 2*w - 10 = -n*g + 15. Solve g = -5*b - 10 for b.
-3
Suppose -5*o - 61 = 4*t, o + 2*o + 24 = -t. Let g be 31/3 - (-3)/t. Let i = g + -8. Solve -i*r + 3 = 13 for r.
-5
Let a be (-500)/(-35) + (-2)/7. Let c(n) = n**2 - 13*n - 10. Let l be c(a). Solve -l*t = -12 + 32 for t.
-5
Let r be 328/18 + 2/(-9). Suppose o + p - r = 0, 3*p - 5*p + 6 = 0. Let l be (-13)/(-5) + 6/o. Solve -l*i + 0*i = -9 for i.
3
Let d(p) = 2*p - 13. Let m be d(11). Solve -3*b + 24 = m for b.
5
Suppose -2*l - 33 = -5*l - 3*y, 4*l - 20 = 4*y. Solve 0 = -4*p + 2*p + l for p.
4
Let v = -62 - -69. Solve -9*c = -v*c for c.
0
Let u = 0 + -1. Let i = u - -1. Suppose -l = -i*l. Solve 20 = -4*y - l*y for y.
-5
Suppose -a - 2 + 1 = 0. Let o be (0/a)/(-2 - -1). Let s be (-1 + 1)/((-4)/2). Solve s = 5*r - o*r - 15 for r.
3
Let t be (-221)/(-65) - 4/10. Solve -t*o = -6*o + 15 for o.
5
Let a = -5 + 9. Suppose 2*d = 2 - a. Let m be ((-1)/(-2))/(d/(-10)). Solve -2*g = 3*g - m for g.
1
Let j(l) = -l**3 + 10*l**2 - 10*l + 9. Let c be j(9). Solve -5 = b - c*b for b.
-5
Let m be 0/((-1 - 3) + 2). Suppose m = -5*v + 2*w + 50, 0 = -2*v - v - 3*w + 30. Solve 3*u = 5*u - v for u.
5
Suppose 7*v - 48 = 4*v. Let g = 3 + 1. Solve -g*p = -0*p - v for p.
4
Suppose -12*y = -9*y - 9. Solve -2*d + y = -5*d for d.
-1
Let p = 9 + -10. Let t = -1 - p. Suppose -2*u + 2 + 22 = 0. Solve -3*n - n - u = t for n.
-3
Let b(f) = -f - 4. Let x be b(-11). Suppose 3*w + s = 7*w - 16, w - s = x. Let g = w - -7. Solve 0 = -2*u - 0*u + g for u.
5
Let f be 4 - (3/(-1) - -3). Let a = 13 - 8. Suppose -f = a*d - 14. Solve -k = -d*k - 4 for k.
-4
Suppose 2*p + 1 = 7. Suppose -v + 2*v = p. Suppose 2*d + 2 = 2*m, -v*d + 2*m - 7 = -3*m. Solve r - d = -3 for r.
-2
Suppose 5*a = -4*w + 6*w - 24, -4*w = 4*a + 8. Solve -12 = 2*t + w*t for t.
-3
Let b = 8 - 5. Suppose 0*f = b*f - n - 6, -2*f + 4 = 5*n. Let m be (-93)/(-9) - f/6. Solve -k = -3*k + m for k.
5
Let w = -105 - -33. Let y be 8/(-20) + w/(-5). Suppose n - 3*n = -y. Solve 5*u = -22 + n for u.
-3
Let m = 11 - 8. Suppose -m*w + 5 + 7 = 0. Let o = 1 + -1. Solve o = 2*a + w for a.
-2
Let s = 6 - 9. Let x = s - -8. Let f = 7 + -7. Solve 0 = -f*t + x*t - 25 for t.
5
Let p be -1 - (4/5)/((-20)/150). Solve -5 = 2*r + p for r.
-5
Let a(m) = 14*m + 1. Let b be a(1). Let i = b - 7. Solve i = d + d for d.
4
Let f be (18/(-15))/((-6)/(-20)). Let n be ((-5)/(-5))/((-2)/f). Solve -n*q = -3*q - 2 for q.
-2
Suppose -y = 4*y - 15. Suppose 4*x + y*t = 21, 2*t = 4 + 2. Solve -x*o = -0 - 9 for o.
3
Let f(c) = -c**3 - 5*c**2. Let z be f(-5). Suppose z = -n - 4*n. Let b = -7 - -11. Solve -3*j - b - 8 = n for j.
-4
Suppose 1 = 2*p + 4*o - 7, -4 = -p + 2*o. Suppose 4*g = p, 4*g - 6 = -4*w + 3*w. Solve -w*y - 12 = y for y.
-4
Let r = 19 + -36. Let t = 37 + r. Solve 0*o = 5*o - t for o.
4
Let g(j) be the third derivative of j**6/120 - 11*j**5/60 + 3*j**4/8 + 2*j**3 + 3*j**2. Let h be g(10). Solve -v - h = v for v.
-1
Let n(j) = -3*j - 8. Let f(m) = -m - 3. Let y(b) = 11*f(b) - 4*n(b). Let w be y(2). Solve 5*o = -w - 4 for o.
-1
Let u(y) = -y**3 - 3*y**2 - y. Suppose 3*w + 9 = -0*w. Let g be u(w). Suppose 5*z = 0, 0*z = 3*f - 2*z - 15. Solve 4*i - f*i - g = 0 for i.
-3
Let a = 5 - -2. Suppose -a = -5*x + 3. Solve 0 = v - x + 3 for v.
-1
Suppose 0*p - 4*p = 0. Suppose -4*s + p*s + 44 = 0. Solve 5*x - s = 4 for x.
3
Let u(q) = -q**2 - 4*q + 2. Let l be u(-4). Let j(w