k - 4*k = 8, 3*k = -r + 7. Let c = r - 2. Suppose 2 - 12 = -c*j, 0 = -4*b - 2*j + 10. Solve 3*u - 7 - 8 = b for u.
5
Let d(w) = -w**3 - 10*w**2 - 12*w + 5. Let l be d(-9). Suppose -2*x - l = -0*x. Let p be 24/(-10)*40/x. Solve -p*a - 4 = -2*a for a.
-1
Let g = -11 - -15. Suppose 2*u - 2 + g = 0, -3*t + u = -10. Solve 0 = -2*o - t*o + 15 for o.
3
Suppose -4*p = 3*a - a - 18, -4*p - 4*a + 8 = 0. Suppose -x + s = -4, 5*x - 2*s - p = 1. Solve x*m = -m + 5 for m.
5
Let b(f) be the first derivative of -f**2/2 - 5*f - 1. Let x be b(-13). Solve -x = -3*o + 1 for o.
3
Suppose -2*b = 2*x - x - 5, -4*x + 3*b + 20 = 0. Solve 0 = 5*m - 0*m + x for m.
-1
Suppose 0 = 3*r + 5*t - 58, 0 = -3*r + 2*r - t + 16. Solve -4*k - r = 9 for k.
-5
Suppose -10 = -4*b + q + 10, -38 = -3*b - 5*q. Let n = -42 - -42. Let r = b + n. Solve w - 25 = r*w for w.
-5
Let v = -40 - -26. Let i(x) = -x - 10. Let s be i(v). Solve 0*d + s = 2*d for d.
2
Let x(y) = 3*y**2 + y - 2. Let s be x(2). Suppose 3 + 2 = b. Suppose -b*r = -0*r - d - s, 4*r = -d + 6. Solve r*f + 2*f - 12 = 0 for f.
3
Suppose -r = -6*r + 15. Let d = -11 + 15. Suppose -r*m + 4*x = 0, -d*m + 0*m = -2*x. Solve m*y + 10 = -2*y for y.
-5
Let u(c) = c**3 + 7*c**2 + 8*c + 7. Let f be u(-6). Let w = 0 - f. Solve -q + w = -0*q for q.
5
Suppose -3 = -4*w + 29. Suppose 30 = 4*b + b. Let g = w - b. Solve -o + 9 = g*o for o.
3
Suppose -4*a - 5 - 15 = 0. Let w = 11 + a. Let h be 1 + (-3)/w*2. Solve h = -2*n + 7*n for n.
0
Suppose -3*k - 9 = -2*l, -2*l + k + 6 = 3. Solve l - 1 = i for i.
-1
Let i = -13 + 17. Suppose -16 = -i*x, f - x - 2*x + 5 = 0. Solve -f*w + 4*w = 12 for w.
-4
Suppose -4*g = -8*g + 16. Suppose f + 0*f + 6 = 0. Let x(y) = y + 6. Let m be x(f). Solve -g*j - j - 5 = m for j.
-1
Suppose -40 = 3*c + c. Let v = 20 + c. Suppose r - 5 = -z, 4*z = 2*r - r + v. Solve 0 = -r*x + 3 + 3 for x.
3
Suppose -2 = -2*u + 40. Suppose 0 = -5*p - 9 + 179. Let c = p - u. Solve 2*l + 5 = c for l.
4
Suppose -5*g + g = 0. Suppose -5*r + p = -12 - 7, 4*r - 5*p - 11 = g. Suppose r*l - 36 = -2*d + 2, 34 = 3*l - 4*d. Solve 6*h - h + l = 0 for h.
-2
Suppose 77*v - 78*v = -5. Let u(x) be the first derivative of x**4/4 + x**3/3 - x**2 + x - 1. Let c be u(1). Solve v*g = 26 - c for g.
5
Let h = 5 - 0. Suppose 5*o + y - 20 = 0, 0 = 9*o - 4*o - h*y - 20. Let n be 0/(1 - (-1 - -3)). Solve n = o*t + 13 + 3 for t.
-4
Let a = -106 - -110. Suppose -12 = -3*w - 5*x + 4, 4*w - 4*x = 64. Let z be (1/2)/((-1)/(-4)). Solve z*y - w = -a for y.
4
Suppose 3*o = -3*b - 6, 3*o + 0*o - b = 10. Let l be (6 - 0)/(o/11). Suppose -l = -3*t + x - 3, -4*t - 4*x + 24 = 0. Solve 2*k + 1 = t for k.
4
Suppose -10 = 3*u - 19. Solve -u*r + 5 = -4 for r.
3
Suppose 0 + 15 = -5*t. Let p = -4 - t. Let n be (8 - 4) + (-2 - p). Solve -n - 1 = y for y.
-4
Let s be (-5)/30 + (-38)/(-12). Suppose -2*q = -0*w + s*w - 7, -4*w - 4 = -4*q. Solve -5*f + q*f = 6 for f.
-2
Let k(z) = -z**2 - 3*z + 4. Let g be k(-3). Suppose -v - 11 - g = 0. Let f = -11 - v. Solve -d = f*d for d.
0
Let g(b) be the second derivative of -b**4/24 - b**3/6 - 3*b**2/2 - 3*b. Let f(t) be the first derivative of g(t). Let z be f(-6). Solve 3*u - z - 1 = 0 for u.
2
Suppose -3*c = c - 12. Solve -q = -c*q + 8 for q.
4
Suppose 3*v = 3*g + 5 + 19, 0 = 2*v - 5*g - 13. Solve -v = -2*f - f for f.
3
Let l(o) = o**3 + 3*o**2 - o - 1. Let a be l(-3). Let u be ((-33)/a)/((-6)/12). Solve 5*k - 8 = -u for k.
-5
Suppose 2*v = -4 + 12. Let w = -14 - -7. Let b = -2 - w. Solve 1 = -b*j - v for j.
-1
Let z(s) = -2*s**2 - 16*s - 10. Let k be z(-7). Solve -k*j - 9 = -j for j.
-3
Let p(q) = 7*q**3 - 7*q**2 - 5*q + 7. Let i(l) = -3*l**3 + 4*l**2 + 3*l - 4. Let d(z) = -9*i(z) - 4*p(z). Let b be d(-7). Solve -b = -2*s - 0 for s.
4
Let f(d) = d**2 + 4*d - 5. Suppose 0 = 5*c + 10 + 15. Let a be f(c). Suppose a*v + 3*v - 18 = -3*z, 0 = 3*v - 5*z - 18. Solve 2*l - 5*l = v for l.
-2
Suppose 0 = 2*l - 0*l + 8. Let t be -2 - (-4 + 2 + l). Solve -20 = t*x - 0*x for x.
-5
Let u be 9*3/(-9)*-1. Solve -u = 3*i - 6*i for i.
1
Suppose -10 = -3*j - 5*o, 3*j - 2*j - 2*o = -4. Solve -2*h - 8 = -j for h.
-4
Let i = 3 + -8. Let a(b) = b + 1. Let t be a(-6). Let j be 5/(i/2) - t. Solve j*w = -w - 8 for w.
-2
Suppose 0 = 4*v - 4*s - 12, -3*v + 5*s = -5*v - 29. Let t be -2*(18/v - -4). Solve -u = -6*u + t for u.
2
Suppose -5*y - 25 = 3*a, 0 = -2*a - y - 4 - 1. Solve a = -c - 0 + 3 for c.
3
Let z be (16 - 17)*(1 - 2)*3. Let n(d) = 3*d**2 - d + 1. Let f be n(1). Suppose 0 = 2*a + f*a - 40. Solve -z*w - a = 7 for w.
-5
Suppose -z = -2*f - 10, -5*z + 3*f = f - 10. Solve z = -y - y - 2 for y.
-1
Suppose 2*r - 15 = -5*p - 3*r, -r = 0. Let x be p/(3/2) + 1. Solve -4*t = x - 7 for t.
1
Let f be 0 + 1 + 1 + -4. Let c be f - (0 + 0) - -3. Let z = -8 + 13. Solve 0 = -z*n + c - 6 for n.
-1
Let y(z) = z**3 + 5*z**2 - z + 5. Let r be y(-4). Let a(p) = 5*p**2 + p - 2. Let t be a(1). Solve t*d + 5 = r for d.
5
Suppose -15 = 2*p - 5*p. Suppose p = -5*o - 3*l, -2*o + 24 = -l - 3*l. Solve -3*r = -o*r + 4 for r.
-4
Suppose 2*y = y + 2. Let a(p) = p - 3. Let r be a(3). Let o(z) = z + 3. Let u be o(5). Solve r = -y*q + 2 + u for q.
5
Let z = -13 - -5. Let s = 12 + z. Solve -s*m = -2*m + 8 for m.
-4
Let s = 15 + -15. Solve s = 2*h - 1 - 1 for h.
1
Let p be ((-18)/15)/(2/(-85)). Suppose 5*l + 5*o + 14 + p = 0, -l = 5*o + 29. Let d = -9 - l. Solve -7*i + 2*i = d for i.
0
Let r(w) = 12*w - 6. Let a be r(2). Let p be (9/a)/((-1)/(-10)). Solve 4 + 1 = -p*x for x.
-1
Suppose 8 = 3*g - g. Suppose -3*t = -g*t + 4. Solve -t*c + 3 = -3*c for c.
3
Let u(q) = -q**3 - 2*q**2 - 5*q - 2. Let x be u(-3). Suppose 35 = 5*d - 5*v, -3*d = -4*v - x - 0. Suppose -5*a = -0*a - 25. Solve -a*h + d + 9 = 0 for h.
3
Let o(l) = -l**2 - 4*l - 2. Let i be o(-4). Let h = -2 - i. Suppose -v + 3*y = -h + 1, 5*y = -3*v + 39. Solve 0 = t + 3*t + v for t.
-2
Let z(q) = q**2 + 14*q + 24. Let y be z(-12). Solve -j - 2*j = y for j.
0
Let n(i) = -i**3 - i**2 - i. Let s be n(0). Let h = s + 0. Let d(q) = q**3 - 8*q**2 - 11*q + 23. Let p be d(9). Solve p*u + 25 = -h*u for u.
-5
Let d(t) be the second derivative of t**3/6 + 5*t**2 + 3*t. Let b be d(-6). Solve -2*x - 2 = b for x.
-3
Let y(k) = -5*k - 2. Let q be y(-2). Suppose 0 = -3*h + 12, -4*i - 5*h + q = -8*h. Suppose i*m = -o + 53, m + 0*m - o - 7 = 0. Solve 2*f + m = 7*f for f.
2
Let o = 66 - 61. Let q(l) = -11*l - 2. Let s be q(-2). Solve -o*j + s = -10*j for j.
-4
Let j = 3 + -9. Let g(u) = u**2 + 6*u. Let s be g(j). Let n be (-6)/(-3) - 0/(-3). Solve 0 = -s*c + c - n for c.
2
Let l(z) = 2*z**3 - 4*z**3 + 2 - z + z**3. Let p be l(0). Suppose p*s + s - 6 = 0. Solve d + s = -1 for d.
-3
Let h(o) = -o + 8. Let d be 4/(-10) + (-144)/(-10). Suppose -16 = -5*n + d. Let k be h(n). Solve k*c - 11 = -1 for c.
5
Suppose 3*g + o + 3 = 0, 4*o + 12 = g - 0. Solve 0 = -g*k + 4*k + 16 for k.
-4
Let d be -6*((9 - 4) + -4). Let z = 15 + d. Solve 3*y = -0*y + z for y.
3
Suppose -3*i - 6 = 0, i + 0*i - 8 = -5*b. Solve 0 = 4*k - 6*k + b for k.
1
Let s(w) = w**3 - w**2 - 4*w + 2. Let c be s(0). Solve -4 - 4 = -c*d for d.
4
Let r(m) = -2*m - 9. Let l(a) = -6 + 4*a - 3*a + 10. Let i(k) = -13*l(k) - 6*r(k). Let v be i(-3). Solve -9 = v*d - 2*d for d.
-3
Let v = -8 + 2. Let r = v + 6. Solve -3 = -x - r for x.
3
Suppose -27*p + 25*p + 4 = 0. Solve -i - 1 = p for i.
-3
Suppose 3*v + 2*v = 115. Let w = v - 23. Solve w = -c + 2*c + 4 for c.
-4
Let q(j) = j + 5. Let k be q(15). Let g = k + -15. Suppose -4*r = -5*u + 23 + 39, 4*r = 3*u - 42. Solve 3*a = g*a + u for a.
-5
Suppose 2*s - 14 = -l - s, -2*s + 12 = l. Let q = 21 - 1. Solve -l*j = -3*j - q for j.
4
Let y = 0 + 8. Let o(w) = -5*w**3. Let b be o(1). Let f be (6/b)/(9/(-30)). Solve 0*q - f*q - y = 0 for q.
-2
Let s = 49 + -31. Solve 3 - s = 5*x for x.
-3
Suppose -r + 6*r - 25 = 0. Solve -4 = -r*j + 6 for j.
2
Let z be (24*1 + -1)/1. Let l = -15 + z. Let k = l + -4. Solve k*n - 3 = 5*n for n.
-3
Suppose 0 = 2*l + l. Suppose -3*s = -4*j + s + 12, l = -4*j - 4*s + 12. Suppose -4*v + 11 = -x, -j*x + 9 = -0*x + 2*v. Solve -5 + x = m for m.
-4
Let j(u) = -u**2 - u - 2. Let b be j(0). Let h = 0 - b. Suppose -m = h*m. Solve 4 = -s - m for s.
-4
Let h(c) = c**3 + 2*c**2 - 3*c + 3. Let a be h(-3). Suppose 0*q + 6 = a*q. Suppose -24 = q*n - 5*n. 