*j = 1. Solve -o*f + 3*f - 5 = n for f.
-5
Let j = -25 + 15. Let w be (12/(-15))/(2/j). Suppose 3*x - k - 9 = 0, 4*x + 0 - w = 4*k. Solve x*c - 2 = 2 for c.
1
Let r(o) = -o**3 + 8*o**2 + 10*o - 4. Let l be r(9). Let k be (l/15)/(2/(-30)). Let u be (k + 5)*(-1)/(-3). Solve u*i = i + 5 for i.
-5
Let q(u) = -13*u + 16. Let y(f) = 7*f - 8. Let c = -17 - -28. Let n(g) = c*y(g) + 6*q(g). Let o be n(0). Solve 2 - o = -3*i for i.
2
Suppose 14*b - 6 = 11*b. Solve -b*j = j + 3 for j.
-1
Suppose 33 = 4*k - 11. Solve -1 = -5*z - k for z.
-2
Suppose -3*o + 3*v = -6, -v - 10 = -0*o - 3*o. Solve -2*u + o - 10 = 0 for u.
-3
Suppose -4*v + 2*t = -8, -v - 4*t = -3*v + 4. Solve -v*m - 15 = m for m.
-5
Let k be (1*-8)/(1/(-1)). Solve -k - 8 = -4*s for s.
4
Let d = -26 - -51. Let k(g) = g**3 + 5*g**2 - 7*g. Let o be k(-6). Solve -r + d = -o*r for r.
-5
Suppose 0 = -2*g - 2*g - 4, 3*g = -2*j + 3. Solve -j*x = -8*x + 25 for x.
5
Let p(w) = w**3 - 12*w**2 - 14*w + 18. Let x be p(13). Solve 5*q - 20 = -x for q.
3
Let k be ((-6)/(-4))/(2/4). Suppose 2*w = -2*x + 12, 2*x = -k*w + 4*w + 6. Solve x*v + 10 = 2 for v.
-2
Let b be (0 + -3)*(-15)/9. Let n = b + -4. Solve -x + n - 2 = 0 for x.
-1
Let d(b) = -b**2 - 12*b - 22. Let x be d(-9). Solve -4 = x*w + 11 for w.
-3
Suppose -k + 3*z = 3, -1 = 5*k - 3*z - 10. Suppose -k*h + 4*h - 4 = 0. Solve -j = -2*j + h for j.
4
Let q(y) = -6*y**2 - 2*y + 1. Let a be q(1). Let l = a + 9. Solve 0 = z - 0*z + l for z.
-2
Suppose -2*w + 6*w = -92. Let r = 39 + w. Solve -5*j - 1 = -r for j.
3
Let m(n) = -n**2 + 6*n + 10. Suppose 0 = 5*u + 3*r + 15, 0*u - 5*u + 5*r + 25 = 0. Let t = 7 + u. Let a be m(t). Solve -j = -a*j + 2 for j.
1
Suppose 2*k = 3 - 7. Let r be ((-20)/6)/(k/9). Solve 5*a = 2*a - r for a.
-5
Suppose -2*j - 6 = -24. Suppose r = -2*d - 3*r + 52, j = 3*r. Solve 2*h = 6*h - d for h.
5
Suppose 3*c = -5*s - 10, 0 = -3*c - 1 - 14. Solve -s + 11 = 5*u for u.
2
Let s(c) = -2*c - 4. Let b be s(-2). Let n(r) = r**3 - 4*r**2. Let u be n(4). Suppose -3 = 3*k + 4*g - 5, -3*k + g + 22 = u. Solve b = k*p - 3*p for p.
0
Suppose 2*c - 2 = 2*x, x = -3*c + 8*c - 1. Solve -5 = r - c*r for r.
-5
Suppose 2*x = 3*f + 19 - 56, -5*f - x + 40 = 0. Let a = f - 1. Solve 0*j = 2*j - a for j.
4
Suppose 4*d - 6*d + 16 = 0. Solve 4*q + 4 = -d for q.
-3
Let a be (-185)/(-20) - 3/(-4). Solve -5*s + a*s + 20 = 0 for s.
-4
Let l = -2 - -2. Solve 3*h = -l*h - 15 for h.
-5
Suppose 3*d + 18 - 3 = 0. Let m = 9 + d. Solve -m*u = 1 - 9 for u.
2
Suppose -2*g + 3*h = 2*g - 3, g + 3*h = 12. Solve -p + g = 1 for p.
2
Let n(c) = 3*c**2 - c. Let i be n(1). Suppose t = i*t. Solve t = 2*w - 7*w + 10 for w.
2
Suppose 3*f + 9 = 3*i, 3*i - 4 = f - 1. Suppose 3*v - 2*v - 5 = 0. Let t = 8 + -5. Solve i = -t*p + v + 10 for p.
5
Suppose -3*q = 3*r + 2*r - 20, 0 = -3*r + q + 12. Solve 10 = -r*z - z for z.
-2
Let s = 19 - -2. Solve s*l = 17*l - 20 for l.
-5
Suppose 6*k + 10 = 11*k. Solve -3 - 1 = k*n for n.
-2
Suppose 112 = m + 4*d - 0*d, -m + 4*d + 120 = 0. Let w = m + -36. Suppose -2*q + 6*q - w = 0. Solve q = 7*o - 3*o for o.
5
Let x be -2 - -1 - 1*-11. Let a be -1*2 + (-21)/(-3). Let h be 2/a + (-13)/(-5). Solve y - h*y - x = 0 for y.
-5
Suppose 1 - 20 = 3*f + 5*s, 2*s = -5*f. Solve -f*o = -3 + 7 for o.
-2
Let o(x) be the third derivative of -x**6/120 + x**5/12 + x**4/4 - x**2. Let q be -2 + -1 + 13 + -4. Let t be o(q). Solve t = 4*i - 3*i for i.
0
Let i be (4 - 0)*11/22. Solve -i*y + 0*y = 0 for y.
0
Suppose 4*h = 5*q - 25, -2*h - 3 = 7. Solve -7 = 4*y + q for y.
-2
Let t(d) = -d**3 - 4*d**2 + 5*d - 1. Let h be t(-5). Let f be 1/((-3)/(-111)) - h. Suppose -f = -3*m + 22. Solve o + 3*o = m for o.
5
Suppose 3*q - 7 = 5. Suppose -5*p - f = -2, -2*p = -2*f + 4 - 12. Solve -3*j = -q*j + p for j.
1
Let u = -2 + 6. Suppose 0*a = -a + 35. Suppose 0 + 3 = -3*q, -5*f + a = -5*q. Solve u*c - f = c for c.
2
Let c(z) = 3*z - 10. Let d(m) = -m + 3. Let i(t) = 4*c(t) + 14*d(t). Let g be i(-5). Suppose 4 = -2*f + g, 0 = -5*v - 4*f + 26. Solve 6 = -4*q - v for q.
-2
Let q(n) = n + 5. Let h be q(0). Suppose h*p - 2 = 4*c, 5*c = -2*p + 3*p + 8. Let b be 185/35 + c/(-7). Solve -b*a = -a + 12 for a.
-3
Suppose -f - 3 = -a + 4*f, -15 = -5*a + f. Let p = 15 - 11. Suppose 0 = -0*z - p*z + 36. Solve 0 = 4*s + a + z for s.
-3
Let v = -43 - -44. Solve -4*x = 3 + v for x.
-1
Let r be 4/2 + (-3)/(-1). Solve 5*m + r + 0 = 0 for m.
-1
Suppose -3 - 7 = -2*z. Suppose 36 = z*x - 2*x. Solve -4*n = -0*n - x for n.
3
Suppose 2*y = 2, 0*a + 2*y + 8 = 5*a. Solve -4 + 2 = -a*p for p.
1
Let i(t) = t**3 - 6*t**2 - 6*t - 4. Let k be i(7). Suppose -c = -15 + 2. Solve -5*s - k = -c for s.
2
Let o be (-4)/(-3 + 7) - 2. Let b be o/(-2) + (-1)/(-2). Solve 0*z - b = 2*z for z.
-1
Let y be 30/(-6)*6/(-15) - -6. Suppose 2*x - 4 = 2*l, l + 1 = -3*x + 15. Solve 6*m - l*m = y for m.
2
Let c(w) = 2*w**3 + 11*w**2 - 9*w - 13. Let j be c(-6). Solve 0*m + j*m = 5 for m.
1
Suppose 0*y + 4*y = 12. Let u = y + 0. Solve g + 1 = u for g.
2
Let r(g) = -g**3 + 6*g**2 + 7*g + 5. Let v be r(7). Solve 0 = v*o + 5 for o.
-1
Suppose 4*m - f - 18 = 0, -m = 2*f - 6 - 3. Suppose 0 = -m*s - 4 + 14. Solve a + 4 = s for a.
-2
Let l be (-1)/((-3)/30*2). Let z be l - ((-4)/(-2) + -1). Solve -y = z*y + 20 for y.
-4
Let y(c) = c**2 - 7*c - 3. Let i = 5 + 1. Let r be y(i). Let u = -5 - r. Solve 2*w + u = w for w.
-4
Let y(x) = -x**3 + 2*x + 1. Let r be y(2). Let k be ((-4)/10)/(r/15). Solve -n = k*n - 12 for n.
4
Let i(t) = -t**2 + 6*t + 10. Let s be i(7). Solve s*h + 12 = -3 for h.
-5
Let h be (-2)/(-4)*0 + 1. Let m be (1 + h)/(2/21). Solve -6 = 5*q - m for q.
3
Let n(y) = y**2 + 3*y + 2. Let i be n(-4). Suppose -2*d - 52 = -i*d. Let r = d - 9. Solve -5*k = 9 - r for k.
-1
Let r = 8 - 6. Let i = 3 + -3. Let m = 3 - 1. Solve i = -r*k - m + 4 for k.
1
Let w(d) = d**2 + 13*d + 17. Let x be w(-12). Suppose -3*s + 5*s = 2, x*u - 43 = 2*s. Let k = u - 9. Solve k = 3*t - 5*t for t.
0
Let j(h) = -h**3 - 12*h**2 + 14*h + 19. Let l be j(-13). Solve -4*u = -u + l for u.
-2
Let i = -2 - -3. Suppose -f - i = -6. Solve f*u - 26 + 11 = 0 for u.
3
Let z(c) = 2*c**2 + 10*c - 11. Let g be z(-6). Solve -4*i - g = 19 for i.
-5
Let f be 103/3 - (-2)/3. Suppose -2*t - 2*r + 7*r - 35 = 0, 2*r - f = 5*t. Let b = t - -8. Solve -b*p + 0*p = 0 for p.
0
Suppose -2*q = -4*m + 8, 2*m - 4 + 0 = 0. Suppose -3*l = -2*o - 17, -3*l = o + 3*o + 7. Solve q = -l*s + 14 - 2 for s.
4
Let y(u) = -u**3 - 4*u**2 + 5*u + 6. Let d be y(-5). Suppose 2*o = 6*o - 16. Solve 2*g - o - d = 0 for g.
5
Let j = 16 - 14. Solve -j*r = -3*r + 3 for r.
3
Let s(c) = c**3 + 9*c**2 + 7*c - 2. Let a(g) = -7*g - 1. Let z be a(1). Let t be s(z). Solve t = n + n for n.
3
Let p be 266/49 - (-3)/(-7). Solve -14 = p*g - 34 for g.
4
Let q(n) = -n**3 + 3*n**2 - 10*n - 8. Let o(u) = -2*u**3 + 7*u**2 - 21*u - 17. Let h(z) = -6*o(z) + 13*q(z). Let l be h(-2). Solve -3*r + l*r - 4 = 0 for r.
-4
Let p = -3 - 6. Let f = p + 14. Solve -f*g = -g - 4 for g.
1
Let c(b) = -7*b + 2. Let n be c(-3). Suppose -2*u - 2*s + n = -21, 2*s - 24 = -u. Solve -u = -v - 3*v for v.
5
Suppose b + 3*d = -1, -2*b - d - 9 = -6*b. Solve -4*h = 6 + b for h.
-2
Let c = 48 - 21. Suppose 0 = -4*v - 79 + c. Let u = v - -19. Solve 3*p + 0*p - u = 0 for p.
2
Let d be (0 - -2)/(1/6). Solve -3*g + 0 = -d for g.
4
Let q = 5 - 2. Suppose 4*g - 1 + 13 = -q*d, -2*d = 8. Solve g = -n - n for n.
0
Suppose 27 = 4*k + 7. Solve k*p = -0*p for p.
0
Let d be 1/(-2) + (-9)/(-18). Solve -2*i + 0*i - 2 = d for i.
-1
Let z(r) be the third derivative of -r**4/24 + 2*r**3/3 + 2*r**2. Let i be z(0). Let d be 3/i + 27/12. Solve d*o = -o - 20 for o.
-5
Let d be (-2)/(-4)*4 - 8. Let h = d - -6. Solve h = 4*o + o + 5 for o.
-1
Let d(f) = f**2 + 2*f + 2. Let u(s) = s - 9. Let n be u(7). Let b be d(n). Let j be 2*(-2)/(-8)*0. Solve j = -5*a + b*a + 15 for a.
5
Let l be 1/2 + 3/2. Let a be (-8 + 6)*(-6)/4. Solve l*o = -3 - a for o.
-3
Suppose 0*x + 4*x = 4. Let y = x - -1. Solve y - 27 = -5*m for m.
5
Let y(n) = -4 + 70*n - n**2 - 38*n - 37*n. Let l be y(-4). Solve -4*p - 2 - 2 = l for p.
-1
Let z(y) = -y**3 - 4*y**2 - 2*y + 1. Let d be z(-4). Suppose x - 7 = -q, x - 3*q + d = -0*x. Solve x*n = -n - 8 for n.
-2
Let m(c) = c - 1. Suppose -4*i = -9*i + 10. Let b be m(i). Solve -l - b =