
-2
Let c(g) = -g**2 - 10*g - 21. Let p be c(-5). Solve p = 2*k + 6 for k.
-1
Let x be (1 + 2)/((-3)/8). Let w = -5 - x. Suppose 6*u - 2*u = 8. Solve w*h - u = h for h.
1
Suppose 0*c = -2*c + 6. Suppose 0 = -7*v + c*v + 12. Suppose v*j - 6 = 3. Solve j*a = 10 + 2 for a.
4
Suppose 20 - 22 = -2*i. Solve 2*w = 3 + i for w.
2
Let g = -14 - -16. Solve 8*u = 7*u - g for u.
-2
Let m(v) = -v**3 - 6*v**2. Let z be m(-6). Suppose 5*a + 4 = -1, 3*x - 5*a - 14 = z. Solve x*b + 10 = -2 for b.
-4
Suppose n + 4*s = 2*n + 10, -4*n + 14 = 2*s. Solve n*i + 2*i = -12 for i.
-3
Suppose 3 = g - 0*g. Let x be (-2 - -5)/(9/15). Solve -4*k + g = -x for k.
2
Suppose -i = -2*x + 6, -4*i + i + 3 = x. Solve -6 + 0 = -x*j for j.
2
Suppose 3*n + 11 + 1 = -2*a, -5*a - 21 = 3*n. Let k = a - -3. Solve -5*j + j - 8 = k for j.
-2
Suppose 4*v - 11 = 5. Solve -4 = 2*k + v for k.
-4
Let u = -4 + 9. Let w be (-6 + u)/((-2)/8). Solve -5*g + g - w = 0 for g.
-1
Suppose -2*h = h - 3. Let a = 2 - 3. Let r = a - -4. Solve -r*y + 2 = -h for y.
1
Suppose 3*z - 7 + 1 = 4*l, 0 = 5*l. Suppose 0*y - 40 = -5*y. Solve -2*n = z*n + y for n.
-2
Suppose -3*s = -10 - 2. Solve -c = -s*c - 15 for c.
-5
Suppose 2*s - 1 = 9. Solve -s*n - 1 = -6 for n.
1
Let r be (-45)/(-6) - 1/(-2). Solve -2 - r = -2*f for f.
5
Suppose -3 = -3*u - 0. Suppose -s = n - u - 3, -8 = -4*s - 2*n. Let a be 0 + 0 - s/2. Solve 0 = 5*l - a*l for l.
0
Suppose 0 = -5*c - w - 2*w + 19, 0 = -5*c + 2*w + 4. Suppose -16 = -5*z - c*a, 0 = 2*z - 0*a - 2*a - 12. Solve -z*s = s for s.
0
Let x = 11 + 5. Solve 7*k - x = 3*k for k.
4
Let h(f) = f + 8. Let s(d) = d**3 + d**2 - d - 1. Let y be s(-1). Let q be h(y). Suppose -2*p + q = -2*b, -3*p - 4 = b - 0*b. Solve 4 = -2*c - p for c.
-2
Let z(q) = -q**3 - q - 5*q + 0*q**2 - 5*q**2. Let b be z(-4). Let u be (3/2)/3*8. Solve 0 + b = -u*r for r.
-2
Let j be (1 - 6/(-3))/(9/6). Solve j + 1 = 3*q for q.
1
Let g(u) = -2*u - 2. Let y be g(-2). Let p(d) = -d**2 + 9*d + 3. Let h be p(9). Suppose -r - 6 = -2*w, h*r + w - 2 = 3*w. Solve -y*b + r = -4 for b.
4
Let g = -5 + 15. Suppose 0 = g*b - 7*b. Solve f + f = b for f.
0
Let z(t) = t. Let n be z(2). Let k be n/10 + (-5)/25. Solve l - 5 = -k*l for l.
5
Suppose 0 = 5*g - u - u + 6, 5*g = 3*u - 9. Solve 0 = -2*y - g*y + 2 for y.
1
Let p(l) = -5*l + 20. Let b be p(8). Let a = b - -22. Solve a*h + h = 6 for h.
2
Let g(j) be the third derivative of j**4/12 + 5*j**3/3 + 5*j**2. Let v be g(-5). Solve 5*x + 1 - 11 = v for x.
2
Let h(j) = j**2 + 4*j - 7. Let w be h(-5). Let g(u) = u**3 - 6*u**2 + 6. Let l be g(6). Let z = l + w. Solve -3*v + 5*v = z for v.
2
Let o = 20 - 9. Solve -4 = 5*h + o for h.
-3
Let l be ((-4)/(-10))/(17/85). Solve -l*k = -7*k for k.
0
Let p = -43 - -43. Solve 3*l + 6 + 3 = p for l.
-3
Suppose -x - 3 + 19 = 0. Solve -x = i + 3*i for i.
-4
Let h be -2 - (-2)/(-2)*-2. Suppose 72 + 48 = 2*p + x, -4*x = 2*p - 120. Let t = p + -35. Solve h = -8*a + 3*a + t for a.
5
Let o be 1/4 - 59/(-4). Suppose -l + 3*w + o = 6*w, -w = l - 5. Suppose l = 3*v - 15 - 30. Solve 4*u + v = -u for u.
-3
Let y = 2 + -2. Let l(w) = 3*w + 1. Let o be l(-1). Let r be (-8)/o - (-8)/(-4). Solve -j + y*j + r = 0 for j.
2
Let u(x) = -x. Let a be u(-4). Let w(i) = -i**2 - i + 1. Suppose 0 = -2*m + m - 1. Let h be w(m). Solve 15 = -a*s - h for s.
-4
Suppose -23 = 4*v - q, 5*v + 10 = -0*v + 5*q. Let s = 9 + v. Solve -3*i - s*i - 20 = 0 for i.
-4
Let s = -8 - 9. Let d = s + 17. Solve d = 4*v - v for v.
0
Let h(b) = -b**3 + 5*b**2 - 3*b + 17. Let f be h(5). Solve -5*z = 8 + f for z.
-2
Let s = 7 - 5. Let b(m) = -2*m - 6. Let y be b(-7). Suppose -x - 16 = -4*h, -2*x + h = 3*h - y. Solve s*a + a - 3 = x for a.
1
Let b(v) = v**2 - 5. Let m be b(4). Suppose 2*g = 5*g + 3, -3*p + m = -5*g. Solve 4 = -6*u + p*u for u.
-1
Let n(s) = -s**3 - 7*s**2 - 2*s - 6. Let z be n(-7). Solve 2*b + z = -0*b for b.
-4
Suppose 0 = -7*c + 23 + 5. Solve -5*n = -11 - c for n.
3
Let g(w) = w**2 + 14*w - 15. Let o be g(-12). Let n be 12/16 - o/12. Solve -n - 1 = -5*m for m.
1
Let t(d) = d**2 - 6*d. Let b be t(5). Let g be (0 - b) + (-2 - 1). Solve 5*u = g*u for u.
0
Let j be 16/10 + 16/40. Solve -15 + 5 = j*f for f.
-5
Let r(g) = -g - 6. Let m be r(-10). Let t be 14*(m/8 - 0). Solve t*s - 12 = 3*s for s.
3
Let l = 7 - 3. Suppose -b = -3*b + 3*s + 15, l*b = -2*s + 6. Suppose q + b - 5 = 0. Solve q*v = v + 1 for v.
1
Suppose 2*b = 5*j + 20, 6*b - 2*j = 3*b + 8. Solve -5*p = -b*p - 20 for p.
4
Let w(g) = g**3 - 10*g**2 + 11*g - 13. Suppose 0 = -3*x + 2*x + 9. Let m be w(x). Suppose 3*v = -3*y + 9, 0 = -4*y - 2 - 2. Solve m*o = v*o for o.
0
Let z be ((-3)/(-2))/(6/32). Suppose 6 = -4*d - 2*m + 22, -2*m + z = 0. Let g be d/(-10) - 480/(-25). Solve -5*p = -g - 1 for p.
4
Suppose 3*z - 2*z - 2*t = 1, z - 1 = -3*t. Suppose -2*s - 5*x + z = -0, 0 = 5*s - 4*x - 19. Solve -s = v + 1 for v.
-4
Let v(x) = 4*x**3 - 3*x**2 + 2*x - 8. Let s(h) = 5*h**3 - 2*h**2 + h - 9. Let r(o) = -3*s(o) + 4*v(o). Let p be r(6). Solve 2*a - 7*a = p for a.
-5
Let o(m) = m - 1. Let j be o(4). Suppose -3*h - 2*p = 0, h - 3*h + j*p + 13 = 0. Solve h - 6 = -k for k.
4
Suppose -5*d = 1 - 21. Suppose -d*s - q + 0*q = -2, -2 = -5*s - q. Let f be (-2 - (-4 + 3))/((-2)/6). Solve -o - f*o = s for o.
0
Suppose -4*m = -20, 7 + 11 = 4*t + 2*m. Suppose 0 = i + 2*g + 6, 3*g - g = 3*i + 2. Let w be (-12)/(-9)*(-15)/i. Solve -w = -0*j + t*j for j.
-5
Suppose 5*x - 3*o = 77, 53 = 3*x + 2*x + 3*o. Solve -4*m - x = 3 for m.
-4
Suppose 0 = 2*z + z + 15. Let a = z - -7. Solve -a*j + 8 - 2 = 0 for j.
3
Let b = -11 + 13. Solve b*h = h for h.
0
Let r be 0 - (2 - 3 - -2). Let t be (-7)/(-4) + r/(-4). Let i be (-1)/(t*3/(-12)). Solve i*q + 12 = -2*q for q.
-3
Let d = 17 - -2. Suppose -5*a + 6 = -3*a. Let l be 4 + (a - (-6)/(-3)). Solve -l*b + d = -1 for b.
4
Let h(q) = -q**3 - 5*q**2 - 3*q - 8. Let r be h(-5). Solve 4*l - 5 - r = 0 for l.
3
Suppose 2*d = -16 - 10. Let z(x) = -x - 13. Let b be z(d). Solve b*n - 9 = -3*n for n.
3
Let m = 37 + -35. Solve -m*h + 8 = 2*h for h.
2
Let y = -88 + 94. Solve -y = -3*x - 3 for x.
1
Let h = -8 - -24. Solve 4*s - h = 8*s for s.
-4
Suppose -7*s = -10*s + 18. Suppose 5*p = -3*l + 2, -3*l + s = -l + p. Suppose -2*n + 3*b = -b - 42, 93 = 5*n - 4*b. Solve -l*h - n = -1 for h.
-4
Let u be (-1)/3 + (-16)/(-3). Let s = 15 + -21. Let a = -4 - s. Solve u*p - a*p = 0 for p.
0
Let h be (-1)/(-5) + (-532)/35. Let v(n) = -n - 9. Let g be v(h). Solve -3*i - g = -5*i for i.
3
Let l be 6/(-5)*(-40)/24. Solve g - l*g + 5 = 0 for g.
5
Let u = -8 - -13. Suppose 3*s + 12 = u*s. Let p = 0 + 2. Solve 2*w + p = -s for w.
-4
Let l(m) = m**2 - 3*m + 4. Let c be l(2). Solve 8 = -c*w + 2 for w.
-3
Suppose -k = -3*s + 11 + 18, 66 = -4*k + 2*s. Let a be 4/k + 2/7. Let b(m) = m**2 + 4*m + 3. Let l be b(-3). Solve a = -l*z + 3*z for z.
0
Suppose 0 = 4*x - x + 15, -2*x + 30 = 5*c. Let j(i) = -c + 3 - i - i**2 - 6*i. Let o be j(-6). Solve -o = n - 2 for n.
1
Suppose 6 = 4*t - 2. Solve -k = t*k for k.
0
Let i = -8 + 4. Let z = -4 - i. Solve -a - 4*a + 15 = z for a.
3
Let f(n) = -2*n + 5. Let z be f(5). Let o = z + 9. Suppose o*v + 5*a - 25 = -6, 2 = -v + a. Solve 0 = 3*p + v + 5 for p.
-2
Suppose 0 = 4*m + n + 3, 0*m = -m + 5*n + 15. Solve 2*v - 4 + 6 = m for v.
-1
Suppose 5*v = -3*s + 32, 2*s + 2*v = -s + 29. Let t(a) be the third derivative of a**4/12 - 11*a**3/6 + a**2. Let i be t(s). Solve 2 = -5*z + i*z for z.
1
Let j(n) = -n + 7. Let d be j(6). Suppose -4*w + 9 = d. Solve 2*y = y + w for y.
2
Let r = -8 - -14. Let o be (3/(-1))/((-4)/20). Solve r*i - o = i for i.
3
Suppose 0 = 5*i - w + 9, 10 = 5*i + 5*w + 25. Let o = 6 - i. Solve o + 8 = 4*r for r.
4
Suppose -3*v + 4*g + 22 = 0, -4*v - 5*g - 12 = -0. Solve -15 = v*a - 5 for a.
-5
Suppose 0 = -6*w + 2*w. Suppose v - 4*h - 19 = w, -4*h = -2*v - 2*h + 38. Suppose 2*o - o - d = 16, -o = -4*d - v. Solve 4*t + t = o for t.
3
Suppose -w = -2*w. Solve -4*c + 1 - 13 = w for c.
-3
Let y = 3 - 1. Suppose 11 + 3 = y*x. Solve 3 + x = -2*m for m.
-5
Let v = 19 - 17. Solve -3*r + v + 10 = 0 for r.
4
Let s be 1/((-6)/(-20)*(-2)/(-3)). Solve -s*k + 11 = 1 for k.
2
Let o = -27 + 32. Solve o*a = 2*a for a.
0
Let h = 9 + -3. Suppose -4*v + b = -36, 2*v - h*v - b = -28. Let i(x) = -x**3 + 9*x**2 - 8*x. Let s be i(v).