 - 3. Let n be j(k). Solve x - 2 = -n for x.
-3
Let m be -3 + -1 + 2 - -2. Suppose 0 = -m*y + 2*y - 10. Let v = -5 + y. Solve 3 = -v*u - 3*u for u.
-1
Suppose 5*a + 16 = 3*a - 4*j, -3*a - 2*j - 20 = 0. Let o(l) be the third derivative of -l**4/24 - l**3/3 - l**2. Let c be o(a). Solve -c*f + f + 9 = 0 for f.
3
Suppose 3*z = -3*c + 156, -3*c + 2*z + 120 = -c. Suppose l + c = 3*l. Suppose 2*s + l = g + 9, -2*g + 48 = s. Solve 4*p - g = -3 for p.
5
Let y = 2 - 2. Suppose y*l = -4*l. Let o = 1 + l. Solve 0 = 2*d + 3 - o for d.
-1
Let z be (-4)/18 - 145/(-45). Solve z*p - 8*p = 10 for p.
-2
Suppose 2 - 17 = -3*t + 4*u, -5*t - 4*u + 25 = 0. Suppose -4*b + 4 = 2*x - 5*b, 2*x + 4*b = 24. Solve x + 6 = t*v for v.
2
Suppose -52 = -3*y + 32. Solve -5*a + 3 = y for a.
-5
Let q(s) = -s**3 + 8*s**2 + 3*s - 20. Let a be q(8). Solve -a*t + 2*t = 0 for t.
0
Let o = 4 + -1. Let g(y) = y**2 + y - 4. Let i be g(o). Suppose 2*k + 2*k = -5*c + 30, -c + 12 = 2*k. Solve -2*d - c + i = 0 for d.
3
Suppose 4*y - 13 = -5. Solve 2 = g - y for g.
4
Suppose 5*q - 20 = 0, -2*t + 3*q = -6*t + 32. Suppose z = t - 0. Solve -4*v + z = -3*v for v.
5
Let k = -19 - -6. Let l = 15 + k. Solve -5*z + l*z = 6 for z.
-2
Let b be (2/(-3))/((-6)/18). Suppose 3*q - 75 = -3*v, 4*q - b*q = -5*v + 131. Let g be -5*(v/15)/(-3). Solve -g*x = 15 - 3 for x.
-4
Let f be (-49)/(-7) - 2/1. Suppose 2*r = -f + 17. Solve 0 = -b + r*b + 15 for b.
-3
Let w = 24 + -19. Let f be ((-8)/6)/((-2)/6). Suppose f*s + 5*d = 14, -d - 7 = -3*s + 13. Solve -s*h + w*h = 0 for h.
0
Let u = 1 - 1. Let x(q) = -5*q - 9. Let o(w) = -w. Let i(t) = 6*o(t) - x(t). Let n be i(6). Solve 0 = -u*d - d + n for d.
3
Suppose d + 2*d - 54 = 0. Let f be (-1 - -2)/(7/21). Solve 3 = -f*k + d for k.
5
Let f = -3 - 17. Let r be (-125)/f + (-2)/8. Suppose 0 = 2*d - r + 2. Solve 3 = -o + d*o for o.
3
Suppose -22 = -5*o + 2*g, -o + g = -3*o + 7. Let z be 1/(9/(-6) + 2). Suppose 12 = 5*h - 3*d, -h - 2*d - z*d = -7. Solve 0 = -h*u + u - o for u.
-2
Suppose 3*s + 6 = 2*s. Let n(o) be the third derivative of -o**4/24 - o**3/6 + 3*o**2. Let y be n(s). Solve 0*k - k = y for k.
-5
Let w = -29 - 1. Let h be (-6)/(-10) + (-12)/w. Let k be (-5 - -4)*(-1 - h). Solve -k*d = d + 12 for d.
-4
Let l(c) = -4*c**3 + 2*c**2 + c. Let i be l(-1). Solve 1 = i*h + 6 for h.
-1
Let h(p) = p + 6. Let s be h(-6). Let u = -37 + 25. Let w be u/(-8) - 18/(-4). Solve s*i - 3*i + w = 0 for i.
2
Suppose -4*h - h - 4*w + 15 = 0, -3*h = 5*w - 22. Let j be (4/12)/(h/(-3)). Solve -3*i = -13 + j for i.
4
Let r = 9 - 7. Suppose 5*y - 33 = -4*b, y = -r*b + 8 + 1. Suppose -4*n + 8 = 4*q, 4*n - 8 = -0*q - b*q. Solve -p + q*p = 0 for p.
0
Let v(u) = -2*u**2 + 15*u - 6. Let p be v(7). Solve o = -0 + p for o.
1
Let a(k) = k**2 - 2*k - 10. Let l be a(-3). Solve 4*c + l - 1 = 0 for c.
-1
Let r(p) = -p**3 + 8*p**2 - 7*p + 10. Let n be r(7). Suppose 3*o = 5*o - n. Solve 0*c = -o*c - 15 for c.
-3
Suppose -6*t + 2*t - 5*f - 25 = 0, -5*t - 29 = 4*f. Let a = 8 + t. Solve a = 2*z + 7 for z.
-2
Let u(i) = i**2 - i - 7. Let q be u(4). Solve -10 = -q*j - 0*j for j.
2
Let u be (-3)/(-12) - (-3)/4. Let b = u + 2. Suppose -5*z + 7 = -l, 3*z - 12 = -3*l + b. Solve c = -l*c - 20 for c.
-5
Suppose -4*m - 2*f + 52 = 0, m - 19 = -3*f + 4*f. Suppose -y - 3*c + 15 = 0, -c + m = -4*y + 2*c. Solve y*n + 20 = 5*n for n.
4
Let t(u) = -u - 7. Let r be t(-11). Let g be (-2)/(-3)*18/(-12). Let j be 0 + 0 + 1 + g. Solve r*y - 2*y - 2 = j for y.
1
Let y(u) = -u**2 + 3. Suppose p = -0*p. Let x be y(p). Solve 0 = 4*t - 7*t - x for t.
-1
Let b(s) = -s - 5. Let y = 1 + -7. Let i be b(y). Solve -2*u = -u - i for u.
1
Suppose -14 = -3*k - p, -2*k - 5*p = k - 22. Solve h = k*h - 12 for h.
4
Let d = 20 - 16. Solve y = -8 + d for y.
-4
Suppose 4*y = 2*y + 6. Let m(q) = 8*q - 4 + 4 - 2 - q**2. Let s be m(7). Solve -s - 7 = y*f for f.
-4
Let k(x) = -x**2 + x. Let v = -20 - -21. Let i be k(v). Solve i = -3*u + 7*u - 20 for u.
5
Suppose -26 = 4*p + 18. Let v = -5 - p. Solve -20 = -v*b + b for b.
4
Let n be (16/12)/(1/3). Solve -3*i = n - 1 for i.
-1
Suppose 5*u - 31 = 29. Solve u = -3*r - r for r.
-3
Suppose -j - 4*j = 85. Let x = -9 - j. Solve 2*r + 2*r = -x for r.
-2
Let v = -15 - -26. Let b = -1 + v. Solve -5*u + 10 = -b*u for u.
-2
Suppose -b = -5*b - 3*f + 27, b + 2*f - 8 = 0. Suppose -20 = -0*h + 5*h. Let r be -2 + h + 2 + 7. Solve r*m - 21 = -b for m.
5
Let f = -17 - -21. Solve f*z = 1 + 3 for z.
1
Let h be 2*(-2)/4*-3. Solve -13 = h*z - 1 for z.
-4
Suppose -4*a = -5*l + 2 + 82, 3*a = 2*l - 35. Suppose -4*w + 2*w + l = 0. Suppose -5*m = 2*f - 0*f, m + 2*f = -w. Solve 15 = -s - m*s for s.
-5
Suppose -4*b + 16 = 4*s, 42 + 28 = 5*s - 5*b. Suppose -4*w = -s*w - 20. Let l be (4 - 4)*2/w. Solve l*f = -5*f for f.
0
Suppose o = -0*o + 10. Suppose 0 = -5*i + 3*i - o, -3*i = -3*f + 15. Solve -4*a = -8 - f for a.
2
Let n(l) = -l**3 - 9*l**2 + 10*l + 3. Let v be n(-10). Solve -6 = v*x - 0*x for x.
-2
Let s = -12 - -16. Solve -6 = -6*m + s*m for m.
3
Let d be 12/4 + 5/1. Solve 2*s - d = -2*s for s.
2
Suppose b + 3*w = 12, -b + 0*b + 5*w + 4 = 0. Suppose -1 = -d + f, 4*d - d + 3*f - b = 0. Let z(k) = -k - 6. Let i be z(-6). Solve i = d*q + 3*q for q.
0
Let h = -8 - -24. Solve 0*g + 4*g + h = 0 for g.
-4
Let j(o) = o**3 + 15*o**2 + 24*o - 25. Let z be j(-13). Solve -s + 3 = z for s.
2
Let l be (1/3)/((-7)/(-63)). Solve -l = 2*d - 13 for d.
5
Let s = 4 - 3. Solve 2*n - s = -9 for n.
-4
Let p(z) = -z**3 + 2*z - 2. Let y be p(1). Let a be y + -6*4/(-8). Solve 4*d - a*d - 8 = 0 for d.
4
Let d(l) = l**2 - 6*l - 19. Let n be d(9). Let k = 12 - n. Solve 0 = -3*i + 5 + k for i.
3
Let i(s) = 6*s**3 + 1. Let o be i(1). Suppose -6*v + o*v = 0. Solve 0 = -4*x - v*x + 20 for x.
5
Let u(a) = a**2 + 4*a - 5. Let v be u(-6). Solve 3*m + v = 1 for m.
-2
Let c be (6/(-5))/((-16)/120). Suppose -3*p = 3*w, c = -4*w + 1. Solve 2*a - 4 = -p for a.
1
Let s = 1 + 3. Let d be -1 + 2*2/s. Solve -v - 3*v - 20 = d for v.
-5
Let u = -1 + 1. Suppose 5*o + 4 = -4*c - 7, 0 = -4*o - 3*c - 9. Let n be (o - 1)*(-9)/12. Solve u*d - n*d - 3 = 0 for d.
-1
Suppose 3*a + 0*a - 3*m - 3 = 0, 4*a - 6 = 3*m. Let l = a + -3. Suppose 2*r - 10 - 2 = 0. Solve 4*x - 6 - r = l for x.
3
Suppose -r - r = -10. Let j(v) = -v**3 - 14*v**2 - 14*v - 11. Let h be j(-13). Solve h*p + r = p for p.
-5
Let z(a) = -a**3 + 14*a**2 - 13*a - 5. Let w be z(13). Let y be (3 - w/(-1)) + 2. Solve y = -5*x + 13 - 38 for x.
-5
Let i(c) = c**2 - c - 1. Let t(a) = -a**3 - 6*a**2 + 7*a + 7. Let q(s) = 2*i(s) + t(s). Let h be q(-5). Solve -h*u = -0 - 5 for u.
1
Let x = 3 + -3. Solve 0 = 2*z - x*z for z.
0
Suppose -2*g - 105 = -2*l - 23, 4*l = -3*g + 192. Suppose 0 = 3*k + 2*k - l. Suppose -r + 3*s = k, -4*r - 4*s + 15 = -13. Solve -a = r*a for a.
0
Let f be ((-6)/(-4))/((-30)/160). Let q = f - -11. Solve v + 2 = -q for v.
-5
Let p be (16/6)/(2/3). Suppose 65 - 1 = p*c. Suppose x - c = -3*x. Solve -x*v + 0*v = 8 for v.
-2
Let h(a) = -a + 2. Let u(x) = -x**2 + 3*x + 2. Let q be u(4). Let f be h(q). Solve -1 + 5 = f*n for n.
1
Suppose s + 19 = 3*x, 5*s + 25 = -0*x + 5*x. Solve -12 = -3*o + x*o for o.
-3
Let u = -10 - -14. Let n be (-1)/u - 147/(-28). Solve 4*x = n*x for x.
0
Let t = 8 + -4. Let u be t - (-3)/(9/(-6)). Suppose u*r = r + 3. Solve -8 = -r*z + 7 for z.
5
Let w(d) = d**3 + d**2 - 3*d + 3. Let q be w(2). Let r(k) = k**2 - 9*k - 3. Let x be r(q). Let u be 0 - (0/x)/2. Solve u*g - 3*g = -9 for g.
3
Let b(p) = -p**3 - 11*p**2 + 12*p. Let i be b(-12). Solve 2*h - 6*h + 20 = i for h.
5
Let d = -2 - -2. Suppose -4*b - r + 12 = d, -3*b + 5*r + 6 = -b. Solve 0 = -0*n - b*n + 3 for n.
1
Suppose 15 = 4*j + j. Let h = j - 3. Suppose 4*d - 5 - 11 = h. Solve d = 2*g - 2 for g.
3
Let b = -15 + 15. Solve 0 = -b*m + m for m.
0
Let y = 2 - 2. Suppose l = g + 6 - y, 2*l + g = 9. Let z(b) = b**3 - 6*b**2 + 6*b - 3. Let s be z(l). Solve 2*p = -s*p + 12 for p.
3
Let i be 12/5*(-5)/(-2). Solve -i*m + 4*m = 0 for m.
0
Let l be (-2 - -3) + (-2)/((-4)/(-2)). Solve l = 4*g - g for g.
0
Suppose 4*j - 1 = 4*r - 13, -2*j + r - 3 = 0. Solve 5*x + 33 - 8 = j for x.
-5
Suppose -w - 4*v = -6*v - 5, 5*v = -4*w - 32. Let o = -2 - w. Let q be ((-3)/4)/((-4)/16). Solve q + o = a for a.
4
Let v(z) = -z**2 + 21*z - 36. Let r be v(19). 