s - 12 = 0. Let m be a(f). Solve -k - 3*k = m for k.
-5
Suppose 3 - 18 = 5*x. Let v(o) = o + 6. Let g be v(x). Suppose -g*a = 2*a. Solve -2*r + 4 = -a*r for r.
2
Let j = -11 + 14. Solve j*x + x = 4 for x.
1
Let c(w) = 6*w + 2. Suppose 1 + 3 = -2*j. Let h be c(j). Let a = h + 17. Solve a*g = 2*g + 10 for g.
2
Let v be 94/18 - 2/9. Suppose 4*f = -y, -4*y + v*f = y. Solve -3*g = -y*g + 9 for g.
-3
Let t = -5 - -8. Solve -2*s = s + t for s.
-1
Let o(x) = 2*x - 26. Let j be o(15). Solve -j*s = -0*s - 12 for s.
3
Suppose -2*x + 11 + 13 = 0. Solve x = 4*g + 32 for g.
-5
Suppose -5*k + 5*h + 1 = 6, 36 = 4*k + 4*h. Suppose -k*m = -2*m. Solve -4*q - 8 = -m*q for q.
-2
Let k = 13 + -1. Let u = 0 + k. Solve -3 = 5*h + u for h.
-3
Suppose 4*f - k = 38, 0 = 5*f + k - 42 - 1. Solve 20 = 4*o - f*o for o.
-4
Suppose -18 = -10*w + 4*w. Solve w*v + 4 = -v for v.
-1
Let z = -3 + 6. Let l(t) = -t + 6. Let v be l(z). Solve g + 0 = -v for g.
-3
Suppose 3*s - 2*s - 8 = 0. Let q be (-16)/(-3)*18/s. Suppose -3*c - q + 1 = -y, -4*y + 26 = -3*c. Solve 2*w - y = 3 for w.
4
Suppose 0 = 3*y + 3*q - 18, -5*y + y - 3*q = -25. Solve -4*j + 1 + y = 0 for j.
2
Let w be 1 + 5 + -3 + -1. Solve 0 = w*h + 2 + 2 for h.
-2
Let d(z) be the third derivative of z**4/24 - 2*z**3/3 - 2*z**2. Let q be d(6). Suppose -2 = -q*r + 2. Solve -6 + r = i for i.
-4
Let d(r) = -r - 7. Let x(s) = -2*s - 14. Let h(g) = 5*d(g) - 3*x(g). Let i be h(-5). Solve -4*c = 2 + i for c.
-1
Let l(k) = k**3 + 2*k**2 + 3*k + 1. Let t(s) = -s**2 + s. Let f(n) = -l(n) + 2*t(n). Let c be f(-4). Suppose -2*b + 5 = -c. Solve w + w = b for w.
2
Let j = 5 - 4. Suppose 2*b - 9 = -j. Solve -3*o = -5 - b for o.
3
Let n(w) = 7*w + 3. Let g be n(-2). Let f = -10 - g. Solve -3*p - 5 = f for p.
-2
Let c = 66 + -62. Let j = 13 + 7. Suppose 5*i + j = 3*v, 2*i - 11 = -2*v + 3*i. Solve 17 - v = c*n for n.
3
Let w be ((-124)/16)/(2/(-8)). Suppose q - w = 4*p - 76, -24 = -p - 4*q. Solve p = -5*j - 8 for j.
-4
Suppose -2*a - 3*h - 11 = 0, 8 + 0 = -a - 2*h. Let p(j) be the first derivative of -j**3/3 + 2*j**2 + 5*j + 4. Let k be p(4). Solve a - k = 3*q for q.
-1
Let k(u) = -u + 14. Suppose 0 = 3*q - 5*z + 8*z - 51, q = -2*z + 22. Let y be k(q). Solve 6*i = y*i - 16 for i.
-4
Suppose 0 = -5*c + 2*i, -3*c = -6*c - 2*i + 16. Let t be 20/4 + 2 - (0 + 0). Solve -c*s = -t - 3 for s.
5
Let b = 21 + -13. Suppose -2*t + 4*t + 20 = -5*g, -2*g - b = t. Solve t*h - 3 = 3*h for h.
-1
Let g be (-12)/(-30)*(3 - -2). Solve 4*j = 3*j - g for j.
-2
Suppose 0 = 2*m - 7 - 9. Suppose m = 2*h - 4*o + o, 0 = -3*h - 2*o + 38. Solve 5*r - h = -0 for r.
2
Let k be (-3 + 2)*10/(-5). Solve f + k*f = 0 for f.
0
Suppose 27 - 7 = 4*j. Solve -j = -0*i - 5*i for i.
1
Suppose -5*y - 34 = -2*i - 7, -3*i - 4*y + 75 = 0. Let u = i + -9. Solve 3*o + 0*o + u = 0 for o.
-4
Suppose 13*q = 2*q + 33. Solve -2*a + 5 = q*a for a.
1
Let r(u) = -2*u - 13. Let p be r(-11). Let n = -6 + p. Solve -n*q + 2*q - 2 = 0 for q.
-2
Let w = -18 - -13. Let i be ((-1)/w)/((-2)/(-10)). Let g be 6 + (-3)/i - 2. Solve -g = -4*p - 13 for p.
-3
Suppose 0 - 10 = -2*x + 2*u, 0 = -5*u + 25. Let v = x + -7. Let n be ((-3)/(-6))/((-2)/(-8)). Solve -z = -n - v for z.
5
Suppose 0 = -2*j + 6*j - 12. Solve -j*x + 12 = -3 for x.
5
Suppose 2*h + 5*w = 12, 2*h + 3*w + 3 = 11. Solve -h - 11 = -4*c for c.
3
Let n = 3 - 0. Suppose 6 = -3*v - l - n*l, 2*l = -2*v - 2. Solve -1 + v = -h for h.
-1
Let v = -6 + 9. Suppose u - 10 = -6*f + v*f, f = 5*u - 18. Solve -5*i = -f*i + 9 for i.
-3
Let d be (-3)/(((-18)/15)/2). Solve -d*q + q - 16 = 0 for q.
-4
Suppose 0 = -2*u - 0*c + 5*c - 25, 0 = -c + 5. Solve u = 3*m + 2*m for m.
0
Let k(a) = -a**3 + 6*a**2 + 10*a - 2. Let w be k(7). Solve -4*v - w = -7 for v.
-3
Let b(m) = m**3 + 2*m**2 - 4*m - 1. Let w be b(-3). Let j(a) = -a**2 + 2*a + 1. Let i be j(w). Let u = i - -2. Solve 0*c = -c - u for c.
-3
Let p = -6 + 3. Let x = p + 4. Suppose 0 = -3*r + x + 5. Solve 0*l - 2 = r*l for l.
-1
Let g(h) = -5*h**3 + 2*h**2 - 1. Let s(p) = 2*p**3 - p**2. Let y(d) = 3*g(d) + 8*s(d). Let i be y(3). Solve 0 = i*u - u + 20 for u.
-4
Let c(u) = -u**3 - 6*u**2 - 3*u - 2. Let y be c(-6). Let z = -1 + y. Solve -6*f + 3*f + z = 0 for f.
5
Suppose 0 = -2*d - t + 21, 2*t - 4*t = -5*d + 48. Let r = d + -9. Solve 3*o + 16 - r = 0 for o.
-5
Let k = -1 + 16. Solve -3*h + k + 0 = 0 for h.
5
Let t be ((-3)/(-2)*-2)/(-1). Suppose -35*l = -30*l - 20. Solve z - l = -t for z.
1
Suppose 4*p = 2*p + 34. Let k = p + -12. Let q = 9 - k. Solve 0*s - q = -s for s.
4
Let f be 1/(-2 + (1 - -2)). Suppose 5*c - 4*m - f = -9, 8 = 2*c + 4*m. Suppose 34 = -c*a + 2*a. Solve -4*y = -3 - a for y.
5
Let d = 5 - 5. Let z be (d + 0)*2/4. Suppose -5 = -5*b - z. Solve -2*r = -3*r - b for r.
-1
Let u be (24/(-10))/((-18)/(-60)). Let g be (20/u)/(1/(-2)). Let k(m) = m**2 - 4*m - 2. Let d be k(g). Solve 1 = -w + d for w.
2
Suppose 1 = -2*v + 5*c - 4, -2*c + 11 = v. Suppose -2*f + 18 = 3*j - 0, 29 = v*j + 3*f. Solve 3*r - 3 = j*r for r.
-3
Let p = -3 - -4. Let c(b) be the second derivative of 3*b**5/10 - b**4/12 - b**3/6 + b**2/2 + 2*b. Let o be c(p). Solve 0*w = o*w - 10 for w.
2
Let v be 2 - (-5)/((-5)/(-4)). Solve -10 + v = 2*k for k.
-2
Suppose -3 - 3 = -3*q. Suppose 5 = -2*x + 11. Solve -q*k - x*k = -5 for k.
1
Suppose 20 = -0*w + 5*w. Suppose -w*b + 0*b = -60. Solve -q - 4*q + b = 0 for q.
3
Suppose l = 29 - 4. Solve 0 = 5*x - 5 + l for x.
-4
Let k = -73 - -76. Solve 3*y - k = -9 for y.
-2
Let m = -16 + 20. Solve 9*t = m*t for t.
0
Let d(o) = -o**3 - 6*o**2 - 6*o - 5. Let t be d(-5). Solve -3*j + 2*j = t for j.
0
Let n be (110/25 - 4)/(2/20). Solve n - 3 = x for x.
1
Let d(u) = -u - 7. Let t be d(-7). Let q(s) = 4*s + 11. Let a be q(-6). Let v = -8 - a. Solve 0 = -t*g - v*g for g.
0
Let y(u) be the first derivative of -u**2/2 + 9*u - 3. Let o be y(5). Solve -1 = o*d + 3 for d.
-1
Let d(y) = -y**2 + 6*y - 8. Let p be d(3). Solve 0*j + j - p = 0 for j.
1
Let f(m) = -m**3 + 3*m**2 + 7*m + 2. Let a be f(-2). Solve 0*v = 2*v + a for v.
-4
Let q(r) = 3*r + 1. Let d be q(3). Suppose -5*s - d = 5, i - 4*s = 37. Suppose 3*v + 4 = 13. Solve v*a - i = 8*a for a.
-5
Suppose 0 = -q - 17 + 29. Solve -8 = -4*c + q for c.
5
Let h(a) = -a - 4. Let g be h(-15). Solve -5*p - g = 9 for p.
-4
Suppose 3*b = 6*b - 15. Solve -b*q + 5 = -0*q for q.
1
Suppose -20 = -2*i + 4*a, 4 = -3*i - 3*a + 7. Solve -q = i*q + 20 for q.
-4
Let m be -11 + 11 - (-10 - 0). Suppose m = -5*h + 10*h. Solve f + h*f = 0 for f.
0
Suppose -2*c = 4*c + 12. Let v(m) = -2*m**3 - 3*m**2 + m + 2. Let z be v(c). Solve 0 = z*q - 0*q + 16 for q.
-4
Suppose -2*v = -3 + 1. Let b(a) = -a**3 + 5*a**2 - 5*a - 3. Let t be b(4). Let y = v - t. Solve 0 = -r + 5*r + y for r.
-2
Let p = 36 + -36. Solve 5*i + 3 + 2 = p for i.
-1
Let u be -2*(-15)/(-20)*-2. Solve x - u + 0 = 0 for x.
3
Let u(c) = c**2 + 5. Suppose 0 = -2*z + 3*w, 0 = -2*z + z - 4*w. Let i be u(z). Suppose 3*r + 2*d = 2, i*r = -5*d + 3*d + 10. Solve -3*h = -r*h for h.
0
Let b be (6/5)/((-6)/(-15)). Suppose -2*r = 2*r + 16, 18 = y - b*r. Suppose 0 = 2*z - 1 - 1. Solve -5*f + y - z = 0 for f.
1
Suppose 3*b = 4*b - 9. Suppose b = 3*w - 4*d, 4*d - 6 = -2*w + 20. Suppose -9*r = -37*r + 560. Solve 2*c = w*c + r for c.
-4
Suppose 4*v = 2*i - 10, 0*i + 3*v = i - 9. Let w be (5 + -4)*(1 - i). Solve -2*m = -0*m - w for m.
2
Let d(p) = -p**3 + p**2 + 2*p. Let v be d(2). Let t be 2 - (-3)/(3 - v). Solve 0*r + t*r - 9 = 0 for r.
3
Suppose 0 = -14*a - 70 + 168. Solve -4*r - a = -23 for r.
4
Let o = -30 + 36. Solve 2*m + o = -m for m.
-2
Let x be (-114)/(-27) - (-2)/(-9). Solve -2*s + x*s = -8 for s.
-4
Let i be -1*2/(3 - 1). Let v = i - 1. Let w be v/(-7) + (-10)/35. Solve w = -2*g - 2*g - 8 for g.
-2
Suppose 3*g = 4*d + 7 - 28, -d = -5*g - 18. Solve d*f + 0*f - 3 = 0 for f.
1
Suppose -3*a = 2*a + 15. Let x be (-3 - a)/(2 + -1). Solve n - 4*n = x for n.
0
Let f be 249/12 - (5/4)/(-5). Solve -f + 6 = -5*p for p.
3
Suppose 14 = -10*m + 17*m. Suppose -19 = -3*j + 14. Solve -j = -3*v - m for v.
3
Let u = 28 + -17. Let v(q) be the first derivative of q**2/2 - 11*q - 7. Let z be v(15). Solve -9 - u = -z*k for k.
5
Suppose -3*n = -0*n - 24. Solve -4*r = -4 + n for r.
-1
Let x(q) be the second derivative of -q**5/20 - 2*q**4/3 - 7*q**3/6 + 3*q**2