). Suppose -5 = -5*q, -3*a - o*q + 5 = -9*q. Suppose 0 = a*m + 3 - 6. Solve 0 = -4*j - 5 + m for j.
-1
Suppose 3*d + 0*d = 12. Let x = d + -2. Solve 2 = -x*z - 4 for z.
-3
Suppose n = -2*w + 8, 4*n = w + n - 11. Solve 0 = -o + w*o - 20 for o.
5
Let n(s) = s**2 + 2*s - 4. Let c be n(2). Let u be (-5)/(-3)*(7 + -4). Solve -c = u*i + 6 for i.
-2
Let y(f) = -f**2 - 4*f + 16. Let l be y(-7). Let a be (3 + l)*(0 + -1). Solve -5*u - 6 = -a*u for u.
-2
Let r be 4/(-6)*9/(-3). Suppose 0 = r*y + j - 7, 0 = y + 2*j - 6*j + 1. Solve 0 = 4*t - y*t + 3 for t.
-3
Suppose 6*h = 2*h - h. Solve h = a + 1 + 3 for a.
-4
Let j(z) = -z**2 + 4*z - 7. Let h(v) = 4*v - 6. Let w(s) = 3*h(s) - 2*j(s). Let x be w(2). Solve x = -o - 2*o for o.
-4
Let f = 6 - 2. Suppose -2*v - w + f = -1, -5*v - 5*w + 10 = 0. Solve v*z = -2*z for z.
0
Suppose -p + 4*a = 6*a - 6, 4*a = 5*p - 2. Suppose -3*w + 16 = w + p*k, -2*k = 3*w - 12. Let u = 17 - 13. Solve w*t + u = -0 for t.
-1
Suppose 4*y + 2*w - 8 = 0, 4*w = 2*w. Suppose -2*j + 2*m + 10 = -y, 4*m + 6 = -5*j. Solve 0 = -d - j*d for d.
0
Suppose -4*r = -r - 2*s - 22, 2*s = -4*r + 6. Let z(x) = -x**2 + 5*x - 1. Let i be z(r). Solve -i*h = -5*h - 10 for h.
-5
Let n = -13 - -19. Let s = -6 + n. Suppose 0 = -5*i + 7 - 2. Solve a + s*a = i for a.
1
Let z be -5 + 0/(1/1). Let j(o) = -o**2 - 7*o + 1. Let w be j(z). Suppose 2*y - w + 1 = 0. Solve 0 = -y*n - 3 + 13 for n.
2
Let q(f) = f**3 + 4*f**2 - 4*f + 5. Suppose 3*a - 2*r = -23, r + 22 = -2*a + 4*r. Let c be q(a). Solve c*z + 16 = -4*z for z.
-4
Let d be 8/2 - (-2 + 1). Suppose d*p - 31 - 1 = 3*a, -3*p + a = -16. Solve -5*r = -r + p for r.
-1
Suppose -1 = -2*v + 1. Suppose h - 2 = v. Solve -4*x = -3*x + h for x.
-3
Let c = -37 + 37. Suppose -113 = -4*a - 33. Solve -3*k + 8*k - a = c for k.
4
Suppose 1 + 7 = -4*g - 4*f, -g + 3*f + 2 = 0. Let c(p) = -5*p + 1. Let q be c(g). Solve o = q*o for o.
0
Suppose -6*z + 24 = 2*c - 2*z, 4*c - 9 = 5*z. Let o be 21/(-14)*(-8)/c. Solve i = o*i for i.
0
Let s = 4 - 2. Suppose s*f + 1 = -7. Let q be (f/(-10))/((-14)/(-35)). Solve 0 = z - 2*z - q for z.
-1
Let p be 4 + -5 - (-2 + 1). Solve 2*q - 10 = -p for q.
5
Let u be (-51)/(-7) + 2/(-7). Suppose u - 1 = 3*k. Let i = 4 + -1. Solve -5 = -i*j - k*j for j.
1
Let r be 0 - (-1 - 12/(-3)). Let c be -18*((-2)/r - 1). Solve m = -m + c for m.
3
Suppose 2*u + u + 9 = 0. Let p(w) = 4 - 1 - w - 2. Let x be p(u). Solve -20 = 4*k - x for k.
-4
Let u be (-1)/((-78)/(-27) + -3). Let w be u/2*(-24)/(-9). Let o be 4 - (1 + 12/4). Solve -d + 4*d - w = o for d.
4
Let f(o) = o**2 - 4*o - 8. Let m be f(6). Let s = 5 - m. Suppose -s = 4*i - 5. Solve 0 = -3*d + i + 8 for d.
3
Let d(m) = -6*m + 0*m + 4*m + 3*m**2 + m**3. Let x be d(-3). Solve w = 3*w + x for w.
-3
Let o be (-5 - 1) + -2*1. Let v = 13 + o. Solve 2*n + 3 = v*n for n.
1
Let m(b) = -b + 15. Let t be m(-11). Suppose t = 5*l + 4*j, -l = -0*l + 4*j - 18. Solve -l*r = -10 + 4 for r.
3
Let m(l) = -5 + 4*l + 5 + 4 - 3. Let s be m(1). Solve -4 + 14 = -s*j for j.
-2
Suppose -9*u + 14 = 5. Solve -5*f + u = 21 for f.
-4
Suppose -3*a + s + 7 = 0, -5*a + 3 + 4 = 3*s. Let l = -4 + 6. Let h = l - 2. Solve 2 + h = a*x for x.
1
Suppose 7*a - 2*a + 40 = 0. Let k = a + 10. Solve k*t = -9 + 3 for t.
-3
Suppose 2*d - 12 = -d. Let w = 1 + d. Solve 16 + 4 = w*a for a.
4
Let x(j) = -j**2 + 5*j - 2. Let d be x(2). Let t be 7 + (d - 2) + -4. Suppose 0*i = 4*k - i - 69, 0 = k - t*i - 41. Solve 2*b - k = -2*b for b.
4
Let w(d) = d**2 - 19*d - 42. Let p be w(21). Solve 2*t - 4 - 2 = p for t.
3
Let o = -55 + 58. Solve 0 = -o*v + 8*v - 15 for v.
3
Let y = -23 - -23. Solve y = -x - 4 + 6 for x.
2
Let r(v) = v**3 - 3*v**2 - 5*v + 4. Let i be r(4). Let x(c) = c**3 - c**2 - 3*c + 2. Let k be x(2). Solve k*s + 3*s = i for s.
0
Suppose 3 = m - 3. Suppose 3*d + g - m = 23, 0 = -3*d + 2*g + 32. Solve o = -o + d for o.
5
Let f be (2/(-7))/((-3)/21). Suppose 3*h = 5*t + 55, 0 = f*h + t - 4 - 50. Solve 0 = u - 6*u + h for u.
5
Let u = -7 - -12. Suppose -1 = -u*c - 4*t, t + 3 = 5*c + 3*t. Suppose 4*v - c = 15. Solve -k + v = 1 for k.
3
Let b be (20/6)/(10/15). Suppose -21 = -b*l + 144. Let y = l - 23. Solve 4*z + 6 + y = 0 for z.
-4
Suppose 0 = -2*t - 2*t - s + 20, 4*s - 16 = 0. Suppose 0 = 7*q - 2*q. Let h = q + 3. Solve -h*k = -t + 1 for k.
1
Let k(m) = 6*m**2 + 3*m + 2. Let b be k(-2). Suppose -3*d + 19 = -2*d - 3*s, 3*s = -3*d + 21. Let h = -10 + d. Solve 5*u = -h*u - b for u.
-4
Suppose 0*m = m - 6. Let k = 8 - m. Suppose -3*f = -6*f + 15. Solve 8 = f*s - k for s.
2
Suppose j + 4*r + 4 = 0, 8*j - 3*j - 56 = -r. Solve 4*z = z - j for z.
-4
Let u = 39 + -24. Let o(j) = -2*j**3 - j**2 + j + 1. Let p be o(-1). Let r = p - -3. Solve r*x - u = -x for x.
3
Let q be (24/9 - -2) + (-1)/(-3). Solve 4*v = 3*v + q for v.
5
Let b = -66 + 69. Solve -h - 8 = -b*h for h.
4
Let r be (14/(-12))/7 + 38/12. Solve 0 = 4*d - 13 - r for d.
4
Let d(v) = -v**3 - 7*v**2 + 7*v + 3. Let u be d(-8). Let g = 26 - u. Let q be 3 + -1*2/2. Solve -q*k = 3*k + g for k.
-3
Suppose -4*b - u + 14 = b, -2*b + 7 = -u. Let x be (-4)/(-1 + 5) + b. Solve -7 = -x*t + 1 for t.
4
Let o = -8 + 4. Let a = 24 + o. Let h = 6 + -3. Solve -h*b - a = b for b.
-5
Suppose 2*l - 2 - 12 = 0. Solve -4*a + l*a = 12 for a.
4
Suppose 0*m = 2*m. Suppose s = -3*d - 1 - 3, 2 = 4*s + 3*d. Solve -2*a + s = -m for a.
1
Let d be 4/14 - 124/(-7). Let z = -9 + d. Suppose -1 = 2*k - z. Solve 5*q - 19 + k = 0 for q.
3
Suppose 4*z - 3*h - 2*h + 15 = 0, -5*z - 12 = -4*h. Let b(x) = x**2 - 4*x + 4. Let y be b(7). Solve -y = -z*o - 5*o for o.
5
Let z be (20/(-8) - -2)*0. Solve z = -a - 3*a for a.
0
Suppose 11*z = 6*z + 5. Suppose l = z + 2. Solve l*q = 2*q + 4 for q.
4
Let w = -7 - -13. Let j(t) = -t**3 - 4*t**2 + t - 6. Let h be j(-5). Suppose -f + w = -h. Solve -k + 5*k = -f for k.
-5
Suppose 3*c - 2*c + 5*x - 21 = 0, 5*x = -3*c + 23. Let u be 1/(c/6) - 3. Solve 4 = -u*n + 2*n for n.
-4
Let d = -17 + 19. Solve 8 = -6*a + d*a for a.
-2
Suppose 0 = -4*y + 3 + 17. Suppose 5*w - 5 = y. Let b be (-5)/((-20)/(-8)) - 24/(-2). Solve b = 4*q + w for q.
2
Let s(f) = f**3 + 7*f**2 - 2*f - 10. Let g be s(-7). Solve 6 - g = 2*r for r.
1
Suppose 22 = -3*k + 5*a, -4*k + a - 2 + 1 = 0. Solve -k + 2 = -x for x.
-1
Let b(r) = -r - 5. Let j be b(-5). Solve u + u + 8 = j for u.
-4
Suppose 0 = w + t - 5, 7 = 4*w - 4*t - 29. Solve 0 = w*m - 3*m - 16 for m.
4
Let m(b) = -20*b + 3. Let d be m(-2). Suppose 4*y - d + 15 = 0. Solve 3*h + 20 = y*h for h.
5
Let k = 1 + -18. Let x = -15 - k. Solve -x*a + 5*a = -6 for a.
-2
Let r be (-3 + 1)/1*3. Let a(b) = b + 8. Let m be a(r). Solve 7*j = m*j for j.
0
Let f be (1 + 0)/((-6)/(-18)). Solve -2*b - f = -13 for b.
5
Suppose 0 = 4*f - 6*f + 84. Let d be f/8 + (-5)/20. Solve -6*w = -w + d for w.
-1
Let i(f) = -2*f - 14. Let u be i(-9). Solve -9 - 11 = -u*v for v.
5
Suppose -5*q + 33 = -67. Solve 0 = r + 4*r - q for r.
4
Let o(f) = 3*f - 10. Let m be o(4). Solve m*s = s - 3 for s.
-3
Suppose -2*m + 20 = -0. Let a be 36/m - 6/10. Solve 0 = -2*r + a - 11 for r.
-4
Suppose -8*x = -4*x. Let p = 10 + -2. Let c = p - 3. Solve x*a - a = -c for a.
5
Let s be (-11)/(-3) + (-10)/15. Suppose 0 = a + s*a - 64. Suppose 0 = -r + 5*f - 16, r + 0*f = -3*f + a. Solve 0 = r*x + x - 10 for x.
2
Let u(r) = r**3 + 4*r**2 + 5*r - 1. Let i be u(-4). Let n = i + 31. Suppose 4*z - 2*k = 6*z - n, 0 = 5*z + 2*k - 19. Solve -5*v - 2 = z for v.
-1
Let b(n) = 3*n - 16. Let i be b(6). Solve -i*a + 10 = -7*a for a.
-2
Suppose -3*d = i - 13, 0*d - 17 = -3*d - 2*i. Let s = 8 - d. Solve s*h - 4 - 16 = 0 for h.
4
Let j be (-4)/14 - (-46)/14. Solve 0 = -4*r - 5 - j for r.
-2
Suppose 0*f - 6 = 2*f. Let b = -1 - f. Let z be (-1)/b*(-2 - 0). Solve 4*n = -z + 21 for n.
5
Let o = -5 - -6. Suppose -2*w + 3 + o = 0. Solve -5*n + 12 = w for n.
2
Suppose 0 = 3*x + 12, -3*p + 3*x - 6*x = -3. Suppose -2*d = 37 - p. Let l be (d/1)/(0 - 2). Solve l*z - 4*z = 0 for z.
0
Suppose -i + 4*q + 11 = 0, -2*i = 3*i + 3*q - 9. Solve i = v - 2 for v.
5
Let j be 485/55 - (-4)/22. Let u(s) = s**3 - 10*s**2 + 10*s - 1. Let x be u(j). Let r = -1 + 2. Solve 3*d - x = r for d.
3
Suppose 11*y - 3*y = 32. Solve -y*v + 5*v = -2 for v.
-2
Let p(m) be the second derivative of m + 4*m**2 - 1/6*m**3 + 0. Let g be p(8). Solve g