 12 = c. Solve 0*f = -c*f + 10 for f.
2
Let t = 40 - 36. Solve -5 = t*d - 9*d for d.
1
Let j = -49 + 52. Solve -4 = b - j*b for b.
2
Let g(p) = p**2 + 6*p + 12. Let i be g(-3). Solve 0 = -2*t + i*t + 2 for t.
-2
Let r(o) = 2*o - 15. Let p be r(10). Suppose -3*u = -p*u + 8. Suppose 0 = i + u*i - 10. Solve 1 + 3 = -i*n for n.
-2
Let h(c) = -c**3 - c**2 + c + 6. Let z be h(0). Let k = z + -3. Solve 0 = -k*d - 2*d + 5 for d.
1
Let l be (4 + -3)/((-1)/(-3)). Suppose 2*y - 17 = l. Suppose -y + 2 = -4*a. Solve -a - 6 = 4*w for w.
-2
Let c(m) = -m**3 - m**2 + m. Let f be c(-2). Suppose 0 = f*d - 2*b - 8, d + 5*b - 1 = -9. Solve -2*r + 3*r + d = 0 for r.
-2
Let f(h) = -h**2 - 10*h - 5. Let v be f(-9). Let r be ((-3)/2 + 1)*0. Suppose -m - 3*i + 21 = r, i = -m + 3*i - 4. Solve v*u + m = -2 for u.
-2
Suppose -3*h + h = 0, -4*a = 2*h. Solve a*z = -3*z for z.
0
Let t(r) = r**2 + r + 3. Let w(c) = 2*c**2 + 2*c + 6. Let m(h) = 9*t(h) - 4*w(h). Let s be m(0). Solve -4*f - 17 = s for f.
-5
Let v = -14 + 22. Suppose -n + 2*a + 8 = -2*n, -2*n + 5*a = -20. Solve n = k - v + 3 for k.
5
Suppose 8 = 2*v, -2*v = 3*n - 7*n + 12. Let d(t) = t - 2. Let g be d(n). Solve 0 = -g*u + 7*u + 16 for u.
-4
Let g(j) = -j**3 + 10*j**2 - 9*j + 2. Let w be g(9). Let t(x) = -x**3 + 4*x**2 - 4*x + 2. Let m be t(w). Solve 6*u + 4 = m*u for u.
-1
Let p(n) = -n + 16. Let j be p(8). Let w = 45 - 42. Solve 0 = -h - w*h + j for h.
2
Let v(j) = -j**3 - 2*j**2 - 2*j - 1. Let g be v(-2). Solve 0 = 2*n + g*n - 20 for n.
4
Let o be 1*(2 + -3) - -9. Solve -o = 4*h - 0 for h.
-2
Let s be (8 - -2*1)/1. Suppose 5*z - 3*j - 16 = 0, 5*j + s = -0*j. Solve q + 1 = z*q for q.
1
Suppose 10*b - 72 = 2*b. Solve 1 = 5*g - b for g.
2
Suppose 24 = -11*f + 17*f. Solve -2*b - f = -b for b.
-4
Suppose 0 = -2*t - l + 15, -2*t - 2*l = 3*t - 35. Solve 2 = -t*k - 3 for k.
-1
Let c = 1 - 2. Let s be (-6)/c - 2*1. Let k be -15*(s/3 + -2). Solve -4*f + k = 2 for f.
2
Let q = -9 + 14. Let f(n) be the third derivative of -n**6/120 + n**5/12 + n**3/2 + 3*n**2. Let r be f(q). Solve -3 + 18 = -r*u for u.
-5
Suppose -1 = r - 3. Solve 0 = u - r*u for u.
0
Let j be 1*(-4 + 4 - -7). Solve 5*u = -j + 32 for u.
5
Let t(f) = f**2 - 8. Let s be t(0). Let d be (s/(-2))/(1/2). Solve 3*v - 25 = d*v for v.
-5
Let a(c) = c**3 - 6*c**2 - c. Let j be a(6). Let k = 28 + -6. Let l = j + k. Solve -3*z + 7*z = -l for z.
-4
Let b = -5 - -8. Solve 12 + b = 5*j for j.
3
Let r be 5 - 5*(-6)/(-15). Solve -d - r*d = 12 for d.
-3
Let v be 7 + 3/(-6)*2. Solve -20 = v*r - r for r.
-4
Suppose -2*f + 5 = 3*z - 12, f - 16 = -4*z. Solve -4*u - 8 = f for u.
-3
Let p be (0 - 0)*(-3)/(-6). Let q(t) = 2*t - 5. Let v be q(4). Suppose 7 - 1 = v*y. Solve p = 2*h - 0*h + y for h.
-1
Suppose -4*r + 18 = 3*l, -2*r = -0*r + 3*l - 6. Solve -4*i + r*i + 8 = 0 for i.
-4
Let v(d) = -d**3 + 7*d**2 - 6*d. Let k be v(6). Solve -m - 3 = -k for m.
-3
Let h(u) = u**3 + 14*u**2 + 12*u - 9. Let o be h(-13). Solve -3*x = -o*x + 5 for x.
5
Let s = 0 + 2. Let f be 37/(-4) - (-6)/24. Let q be 3/f*0/(-4). Solve q*m + s = m for m.
2
Suppose -5 + 11 = 2*h. Solve -3*k = -0*k - h for k.
1
Let m be (-5)/(15/2) + 2/3. Solve m = 2*u + 4 - 10 for u.
3
Let g(q) = -q + 8 + q + q. Let j be g(6). Suppose 5*o - 16 + 1 = 0. Solve -o*v + j = -1 for v.
5
Let v be (7 - (-90)/(-35)) + 3/(-7). Let r be 3 + (0 - 1) + 0. Let k = v - r. Solve 5*p - 6 = k*p for p.
2
Let d = 12 + -6. Let a = -13 - -5. Let k be (a/(-6))/((-6)/(-45)). Solve u = d*u - k for u.
2
Suppose 2*a = 5*a - 6. Suppose a*v + 2*y - 10 = 0, 3*y = 4*v - 2*y - 20. Suppose 4*p + 4 = 4*o, 5*p - 5 = -v*o + 10. Solve 2*q + 3 + p = 0 for q.
-2
Suppose -3*r = 2*f - 12, 2*f - 7*f = 3*r - 12. Suppose 5*m - m - 24 = f. Suppose -2*c + m = -c. Solve p + p - c = 0 for p.
3
Let v = 6 + -4. Let m be -2*((-14)/4 + v). Suppose -2*u = -m*u. Solve u*c = -5*c + 15 for c.
3
Suppose -4*b + 5*v + 65 = 0, 2*b - v = -0*v + 37. Let t be 5 + -6 + 0 + 3. Let p = 2 + t. Solve b = -p*m + 8*m for m.
5
Let x = 12 - 9. Let w be 6/(-2) - (-21)/x. Solve -4*b + w = -0*b for b.
1
Suppose 3*z - 4*k = -0*k + 2, -2*z - 3*k = -7. Solve 8 = z*j - 0 for j.
4
Suppose -5*c + 0*c - a = -39, 0 = 4*c + 5*a - 48. Let y(v) = -v + 14. Let b be y(c). Let k be ((-8)/5)/(4/(-10)). Solve 0 = -3*x + b*x + k for x.
-1
Let h be 6/(-33) - (-2)/11. Let a(w) be the first derivative of w**3/3 - 4*w**2 - 7*w + 3. Let r be a(9). Solve r*p - 6 - 4 = h for p.
5
Let g = 4 + 3. Let k = 11 - g. Solve 0*z + 2*z = -k for z.
-2
Suppose -7*b + 4 = -5*b. Solve -b*r - 4 = -r for r.
-4
Suppose 5*f + 10 = -5. Let u(m) = -m**2 - 5*m - 2. Let s be u(f). Suppose 4*h - s*r + 16 = 0, 2*h + 7*r = 4*r + 12. Solve h = t - 4*t + 12 for t.
4
Let s(v) = v**3 + 3*v**2 - 5*v + 3. Let a be s(-4). Suppose -4 = -4*z + 2*m, -4*z + a*z = m + 4. Solve 0*r = z*r - 6 for r.
3
Let c = -19 - -24. Solve -c*o + o = -8 for o.
2
Suppose 0 = -5*r - 2 + 7. Let b = 3 + 4. Suppose 10 = -4*u + 2*x - b*x, -4*u - 4*x = 8. Solve 2*s - r + 3 = u for s.
-1
Let y be (-6)/(1 + 35/(-20)). Let h(n) = -n - 3. Let t be h(-5). Solve -y = -t*w - 2*w for w.
2
Suppose -2*t - 3*t = -25. Let h(z) = -2 - t*z - z**3 - 4*z**2 + 0*z**3 + 0 - z**2. Let b be h(-4). Solve -b*y + 9 = 1 for y.
4
Let f = 28 - 28. Suppose 5*g - g = z + 79, 3*z + 77 = 4*g. Let r be g/6 - 2/6. Solve f = v + r for v.
-3
Suppose 108 = 3*y - 0*y. Suppose -p = -4*j + 3*p + y, 20 = 2*j - 3*p. Solve v - 5 = -j for v.
-2
Let c(n) = -n**3 - 4*n**2 - 4*n. Let h be c(-3). Suppose -h*x + 3*u = 6, -x = -2*x - 3*u + 14. Solve -z - x*z = -9 for z.
3
Let j(d) = 2*d + 1. Let h be j(8). Suppose h*m = 16*m. Solve m*o = -o for o.
0
Let m = -7 + 7. Suppose 3*j - f - 7 = m, f - 24 = -4*j - 3. Solve -2*h - j = -4*h for h.
2
Let i(t) = -9*t - 3. Let g be i(3). Let d = g + 42. Solve 5*u - u + d = 0 for u.
-3
Let j(t) = -t + 5. Let n(l) = 2*l - 10. Let i(a) = 7*j(a) + 3*n(a). Let z be i(5). Solve 0 = -z*v - v for v.
0
Let k be 1*((9 - 0) + -4). Solve -3*l + 4 = -k for l.
3
Let b(f) = -f**3 - 3*f**2 - 2*f + 4. Let l be b(-4). Let p = -20 + l. Suppose -p = -3*t + 1. Solve 2*w = -t*w for w.
0
Let d(z) be the third derivative of -z**5/60 - z**4/4 + z**3/3 - z**2. Let n be d(-5). Suppose 14 = 4*j + 2. Solve -5*r - j = n for r.
-2
Let y = 123 + -115. Solve -y*n - 2 = -6*n for n.
-1
Let x be (-3)/5 + 69/15. Solve 0 = -q - q - x for q.
-2
Let f be (7/(-6) - -1) + (-268)/(-24). Solve 0 = 2*a + 1 - f for a.
5
Let b = -42 + 46. Let j be ((-16 - -2) + -2)*-1. Suppose c + 4*x - j = 0, 2*c + 2*x + 4 = 18. Solve -c = -0*f - b*f for f.
1
Suppose 4*r + 8 = 36. Let g = r - 7. Let a = -3 + 6. Solve g = a*v - v for v.
0
Suppose -3*d + 21 = -3*x, x + 13 = -0*x + 3*d. Let c be ((-6)/(-9))/(x/18). Let o be 17/2 - c/6. Solve -v + 4*v = o for v.
3
Let n(j) be the third derivative of 11/24*j**4 + 0 + 0*j + 1/60*j**5 + 5/3*j**3 - 2*j**2. Let u be n(-10). Solve 4*a - 2*a = u for a.
0
Let m = 47 + 7. Suppose y - m = -2*y. Solve y = 4*h - 2 for h.
5
Let c = 6 + -6. Suppose -q - q + 10 = c. Suppose -5*w - q*f = -70, 3*f - 5 = 8*f. Solve -4*u - u = w for u.
-3
Let m = 1 + -3. Let r(c) = c + 2. Let f be r(m). Solve f*n = 2*n + 10 for n.
-5
Let g(p) = p**2 - 3*p - 4. Let z be g(5). Solve -s = 2*s + z for s.
-2
Let x = -16 - -22. Suppose -y + 0*y = -2*p + 2, 3 = 3*y + 3*p. Let l = x - y. Solve -c - l = -1 for c.
-5
Let o = 4 + -2. Suppose -3 = o*l - 9. Solve 0 = i - l - 2 for i.
5
Let i(q) = -q**3 - 8*q**2 + 10*q + 12. Let v be i(-9). Suppose 5*r - 4*r + 2*z + 7 = 0, -2*r - v*z = 10. Let n = 3 - 1. Solve n*y - 1 = r for y.
1
Suppose 93 = 5*g + 263. Let x be (-6)/(-27) - g/9. Let z(s) = -s**2 - 5*s + 1. Let j be z(-4). Solve 2 = j*d - x*d for d.
2
Let s = 12 + -8. Solve a + s - 1 = 0 for a.
-3
Let d(p) be the second derivative of -p**5/20 - p**4/12 - p**3/6 + 8*p**2 - 3*p. Let q be d(0). Solve q = -v - 3*v for v.
-4
Suppose -67*j = -63*j - 20. Solve j = 5*d - 5 for d.
2
Suppose 6*w - 4*w = 0. Suppose -5*r + 6 + 4 = w. Solve 3*k + r + 10 = 0 for k.
-4
Suppose -4 = -2*r + 2. Let p be 2/r*(-3)/(-2). Solve -2*c - 9 - p = 0 for c.
-5
Let u be 1*(2 + -2 + 8 + -8). Solve u*b + 3*b = 9 for b.
3
Suppose -3*y + 5*z - 74 = 0, y - 6*y - 98 = -2*z. Let h = -13 - y. Suppose -h*w + 5 = -10. Solve -2*c - 4 = -w*c for c.
4
Let n be (1/(-2))/((-4)/192). Let h(o) =