or k.
1
Let j(n) = -n + 24. Let y be j(0). Suppose -3*k = -7*k + y. Let r(a) = -a**3 + 7*a**2 - 2*a - 4. Let c be r(k). Solve u = 5*u - c for u.
5
Let r = 1 + 3. Suppose -5*f = 2*h - 75, -72 = 4*h - 3*f - 209. Let i be 6/(-21) + 115/h. Solve r*s - 15 + i = 0 for s.
3
Let w be (-8)/(-36) + (-133)/(-9). Let x = w - 13. Solve d + 2 = x*d for d.
2
Let v = -1 + 0. Let h be 16/6 + v/(-3). Solve -w + 20 = h*w for w.
5
Suppose 5*o - 8 = 7. Suppose 3*n - 9 = o. Solve 2*c - 4*c = n for c.
-2
Let u(n) = -n - 1. Let l be u(3). Let z be (-2)/l + (-7)/2. Let g = -1 - z. Solve 2*s - s = -g for s.
-2
Let j(q) be the second derivative of q**4/6 - q**2/2 - 4*q. Suppose x = -5*c - 6 - 2, 9 = -3*x. Let m be j(c). Solve -m = -2*r - 9 for r.
-4
Let v(z) = -z**3 + 2*z + 1. Let b be v(-1). Let o = 2 + b. Suppose -5 = 4*i - 29. Solve -o*j + i*j = 12 for j.
3
Let c(l) = 34*l + 5. Let a(t) be the first derivative of 7*t**2/2 + t - 1. Let i(d) = 11*a(d) - 2*c(d). Let r be i(2). Solve 5*n + r = 4 for n.
-3
Let a = 11 + -1. Suppose -a*r = -5*r. Solve r = -3*p + p for p.
0
Let x(f) = -5*f - 11 + 10 + 6*f - 12. Let q be x(16). Solve q*w = w - 10 for w.
-5
Let g(i) = 4 - 7*i + 10*i - 4*i**2 - 6*i - i**3. Let h be g(-3). Solve -3*m - 7 = -h for m.
-1
Suppose 4*p + p = 0. Let y be p - 2 - -2 - -2. Suppose -y*g - 4*j - 6 = 2, 2*g - 4*j - 16 = 0. Solve -g*l = -4*l for l.
0
Let m be ((-10)/(-20))/(2/80). Solve 2*u + 3*u - m = 0 for u.
4
Let y(s) = -s - 4. Let p be y(-6). Suppose -3*j + 6*w + 30 = p*w, -3*w = 3*j - 9. Solve c + 2*c = j for c.
2
Let p(s) = 4*s**2 - s + 1. Let a be p(1). Let h = -33 + 82. Suppose -a*g + h = 5*t, -23 = -3*g + 4*t - 5*t. Solve -o = -4*o + g for o.
2
Let w(a) = -a - 3. Let p be w(-12). Solve -3*f - p + 0 = 0 for f.
-3
Let n be 2 - 4/6*3. Solve n = -3*d - 7 - 2 for d.
-3
Let w be 0/(-5) - 1*2. Let j be -1*3/2*w. Let p be j - (1 - (1 + -2)). Solve 7 = -2*x - p for x.
-4
Let r = 7 - 7. Suppose r*m - 8 = -m. Solve -5*p = -p + m for p.
-2
Let i(f) = -f**2 + 3*f + 3. Let j be i(3). Solve 5*n = 2*n + j for n.
1
Let i be -3*(-1 + 5/3). Let k be (-1)/(i/10*1). Solve -2*y - 6 = -k*y for y.
2
Suppose 13*i - 10*i - 30 = 0. Solve -i = -3*k + 8*k for k.
-2
Suppose 2 = a - 2. Let v = -13 - -21. Solve v*o - 8 = a*o for o.
2
Suppose -2*p + 1 = -3*b - 2, -2 = -5*p + 2*b. Let c(m) = -1 - 4*m + p + 5*m + 2. Let y be c(-1). Solve 0 = -a - y - 2 for a.
-2
Let a(h) = -h**2 + 5*h - 4. Let m be a(4). Suppose m = -3*i + 7*i - 72. Solve 5*u + 2 + i = 0 for u.
-4
Suppose -5*j = -5*d + 28 - 8, -5*j = -2*d + 14. Solve 3*z + d*z = 0 for z.
0
Suppose -6 = 5*d - 3*c, 4*c - c - 6 = 2*d. Suppose 0 = -n + 3. Suppose 0 = 2*q + q - 36. Solve n*j + d = -q for j.
-4
Suppose -2*j = -j - 14. Solve -2*s + j = 6 for s.
4
Let n(a) = -a**3 + 2*a**2 + 2. Let s be n(2). Suppose 3*b + s*b - 5 = 0. Let p = -6 - -10. Solve -p = l + b for l.
-5
Let y be 0/((-6)/(3 - 1)). Suppose y = -i - 6*d + 3*d + 31, -2*d - 38 = -3*i. Solve -4 - i = -4*w for w.
5
Suppose 56 = 3*k + y, -2*k + 4*y + 82 = 3*k. Let x = k + -15. Solve -x*i + 1 = 4 for i.
-1
Let p(v) = 8*v + 0*v**2 + 0 - 1 - v**2. Let u be p(7). Let z(m) = m**3 - m**2 + m - 2. Let l be z(2). Solve l*q - 6 = u for q.
3
Let l = 49 - 46. Solve 6*z = l*z for z.
0
Let g(b) = 5*b**2 - 11*b - 17*b**2 + 2*b**3 - 3*b**3. Let w be g(-11). Solve 0 = -w*p + 3*p + 15 for p.
-5
Suppose 4*p + 66 = 3*p. Let s be p/(-15) + 6/10. Solve -s*d + 3 + 2 = 0 for d.
1
Let i(b) = -b + 11. Let d(k) = -1. Let g(x) = 3*d(x) + i(x). Let u be g(0). Solve -m + u = 3*m for m.
2
Let b(h) = -h**2 - 2*h + 4. Let w be b(0). Solve -m + w = -2*m for m.
-4
Let q = 77 - 74. Solve -q = -3*c + 12 for c.
5
Let p be 184/40 + (-2)/(-5). Solve m - p = -0*m for m.
5
Suppose 4*u + 8 - 67 = 5*b, 2*b - 10 = 0. Solve 4*s + u - 9 = 0 for s.
-3
Let n(c) = -2*c + 1. Let w be n(-9). Suppose -7 + w = 2*h. Let p = -3 - -3. Solve -2*y - h = -p for y.
-3
Let r(u) = u**3 + 3*u**2. Let n = -9 + 6. Let o be r(n). Suppose o = -3*a + 5 + 10. Solve a = 4*d - 7 for d.
3
Suppose -2*b = -4*b + 40. Suppose 5*t - b + 0 = 0. Solve t*h - 4 = -0*h for h.
1
Suppose 0 = 3*h - 4*b - 16, b + 3*b = -16. Solve k + 5 + h = 0 for k.
-5
Let f = 12 - 5. Suppose 0 = -0*z + 3*z - 6. Suppose -g + z*g - 5 = 0. Solve -f*k = -2*k + g for k.
-1
Suppose 3*c - 10 = 5*c. Suppose t = -t + 16. Let l = t + c. Solve -l*j + 20 = j for j.
5
Let f = -3 + 5. Suppose -8 = -f*i - 0. Let h = 11 + -5. Solve 10 + h = i*s for s.
4
Let k(s) = 34*s**3 + 3*s - 2. Let r be k(1). Suppose 3*t = 2*w + r, 4*t - 3*w - 24 = 21. Solve -5*d + t = -5 for d.
4
Let p = 8 + -6. Suppose 18 = 4*d - p. Solve -d*t = 2 + 3 for t.
-1
Let a = -87 - -82. Let q(b) = 2*b**2 - 4*b + 1. Let d be q(3). Let r = a + d. Solve 1 = s - r*s for s.
-1
Let s = -2 - -8. Let h = 9 - s. Solve -h*w = -w for w.
0
Suppose 7 = 3*j - 2*v, j - 2*j = -v - 2. Solve 2 = -x - j for x.
-5
Suppose -2*q + 0*s + 65 = 5*s, 4*s = q. Suppose 3*f - 1 = -3*r - 13, q = 4*r. Let a(j) = -j - 3. Let t be a(f). Solve -w + t - 2 = 0 for w.
4
Let s(o) = o**3 + 4*o**2 - 5*o + 42. Let p be s(-6). Let u(v) = v**3 - v**2 + 2. Let f be u(0). Solve p = -f*i - 3 - 3 for i.
-3
Suppose -2*d + 3*d - 2 = 0. Suppose -5*j - 2*n = -20, -j + 2*j + 4*n = -14. Suppose -3*f = -j*f. Solve d*r - 2 = -f*r for r.
1
Let a be -9*(1 + (-13)/3). Suppose -5*r = -100 + a. Let z be (-6)/21 + 172/r. Solve -5*y + z = -y for y.
3
Suppose 2*t - 10 = -2. Suppose l + t*l = 0. Suppose 2*d = -4*c + 20, 0 = d + 3*c + 2*c - 19. Solve l = -3*r - 11 - d for r.
-5
Let n(m) = 0*m**2 - m + 7*m - 2*m - m**2. Let w be n(4). Solve w*k = 3*k for k.
0
Let o(r) = r**3 + 7*r**2 + 7*r + 6. Let a be o(-6). Suppose 0*y - y - 4*w = -4, a = -y + 2*w + 28. Let h = 35 - y. Solve -3*u = 2*u + h for u.
-3
Let n(v) = -v**2 - 4*v. Let w be n(-3). Let y(a) = -a**2 - 4*a + 2*a - w - 3*a. Let i be y(-4). Solve -2 - i = o for o.
-3
Let u(b) = b**3 + 3*b**2 + 2*b + 2. Let v be u(-2). Suppose 4*l - 10 = v*l. Suppose 0 = s, g + 3 = 4*s + l. Solve 4*y = 5*y - g for y.
2
Let p(u) be the third derivative of -u**6/120 + 7*u**5/60 - 5*u**4/24 - 2*u**3/3 - u**2. Let b be p(6). Solve b = t - 1 for t.
3
Let v = 8 + -11. Let p = v - -8. Solve 0 = p*r + 6 - 1 for r.
-1
Suppose -3*v = -2*v + w + 4, 0 = v - 4*w + 9. Let r(i) = -i + 0*i - 4 - i. Let z be r(v). Solve z = s + s for s.
3
Suppose -6*v - 4 = -22. Solve b = -0 - v for b.
-3
Let a(l) = l**3 - 6*l**2 + l + 23. Let s be a(5). Solve -10 - 5 = -s*t for t.
5
Let o be 84/49 - 4/(-14). Suppose -2*i - o*i - 4 = 0, -3*i = -2*v + 13. Suppose l + 6 = 3*l. Solve l*z = -2*z + v for z.
1
Let s be -2 + 1 + 20 + 0. Suppose -t + 5 - 33 = 2*v, -v - s = -2*t. Let p be v*(2 + (-8)/3). Solve 0 = -3*i + p - 1 for i.
3
Let p(b) = -12*b**2 - b + 1. Let v be p(1). Let j(u) = -u**2 - 11*u + 12. Let l be j(v). Solve 0 = a - l + 4 for a.
-4
Let j be (-5)/(-5*1/2). Suppose -5*u = -j*l + 24, -l = -3*u - 11 - 1. Solve 4*x + 8 = -l for x.
-5
Let f = 39 - 37. Solve -2*w - f*w + 8 = 0 for w.
2
Suppose 2*r - 8 = -0*r - p, r - 11 = -4*p. Suppose -r*m + 4*a + 16 = -0*a, -5*a + 34 = 3*m. Solve q = -3*q + m for q.
2
Let h(w) = -w**2 - 7*w + 10. Let y be h(-8). Suppose -5 = 2*o - 3*o. Let m be (-3 - (y - 3)) + o. Solve -1 = 4*k - m*k for k.
-1
Let u be (-4 - -2 - -7) + -5. Solve 20 = -u*k - 5*k for k.
-4
Suppose -2*g - 4*v + 5*v = 2, -v = 2*g - 2. Solve g*l + 12 = -4*l for l.
-3
Suppose 45 = -9*p + 14*p. Let n(i) = -i**3 + 9*i**2 + 2. Let x be n(p). Solve -9 = -x*o + 1 for o.
5
Suppose -2*c + 1 = -3*o, -3*o - 7*c - 29 = -2*c. Let g be o/6*-8 + -2. Suppose 0 = -g*q + 5*q. Solve q = -0*p - 3*p for p.
0
Let p(k) be the first derivative of -k**4/4 - 4*k**3/3 + 3*k**2/2 - 7*k - 2. Let h be p(-5). Solve h*w - 4*w = -1 for w.
1
Let k = -73 + 74. Solve 2*a - k = -3 for a.
-1
Suppose 3*c - 2*a - 10 = c, -4*a = -c + 2. Suppose n = 4*n - c. Solve f + 1 + n = 0 for f.
-3
Let v(f) = -f - 4 + 3 + 2. Let q be v(-6). Solve q*x = 2*x for x.
0
Let y(a) be the first derivative of -a**5/60 + a**3/6 + a**2 - 2. Let j(x) be the second derivative of y(x). Let v be j(1). Solve 2*u + v*u + 4 = 0 for u.
-2
Suppose 0*l = 2*l - 80. Suppose -5*n + 3*m = -l, 5*m = -3*n - 1 - 9. Solve -r + 3 = n for r.
-2
Let o be 33/6 + (-2)/(-4). Suppose l = o*l + 10. Let s(n) = n**3 + 2*n**2 - 2*n - 1. Let w be s(l). Solve -w*