 be ((-23)/23)/(2/(-4)). Solve -u*l + 5*l = -12 for l.
-4
Let b(k) be the third derivative of k**4/24 + 2*k**3/3 - k**2. Let u be b(0). Solve u*j + 2 = 2*j for j.
-1
Let x(q) = 2*q - 6. Let p be x(3). Solve m - 6*m - 15 = p for m.
-3
Let u = -11 - -25. Solve -2 = -4*r + u for r.
4
Suppose 3*n - 1 = 4*c + 15, -n = 5*c + 20. Solve n = q - 0*q - 1 for q.
1
Let s be (-2)/(3/(-2) - -1). Let x = s - 3. Let b = 4 + x. Solve -1 = b*j - 4*j for j.
-1
Let f(v) = -v**3 + 10*v**2 + 9*v + 25. Let h be f(11). Solve 0 = -h*u + 2 - 5 for u.
-1
Suppose 0 = 5*x - c - 11, 0*x - 3*c = -3*x - 3. Suppose -4*u + 15 = z, -z + 19 = 2*u + 12. Solve x = u*o - 5*o for o.
-3
Let m(b) = b**2 + 4*b - 6. Let n be m(-6). Solve q - n*q + 25 = 0 for q.
5
Suppose 4*v - 15 = -s, s - 2 = 5*v - 14. Suppose 0 = -3*z - 2*z - 10. Let l be (-3)/z + (-27)/(-6). Solve 0 = s*r - l*r for r.
0
Suppose -2*d = 2*d + 4*o - 20, d - 8 = -4*o. Suppose -2*j - 3*j + 15 = 0. Suppose d*w = j*w. Solve 3*k + 3 = -w*k for k.
-1
Suppose -5*v + 76 = 1. Solve -5*h - v - 10 = 0 for h.
-5
Let y be 12/7 - 2/(-7). Suppose n = -0*n + y. Let f be 2/(-4) + 3/2. Solve g - f = -n for g.
-1
Let r(z) = 2*z**3 + 4. Let w be r(2). Solve a - w = -4*a for a.
4
Let n(s) = s**2 - 5*s + 1. Let v be n(6). Suppose 2*t - v + 5 = 0. Let z be ((-3 - -4) + 0)*t. Solve 2*h = -z - 1 for h.
-1
Suppose 4 = 3*x - 5. Suppose -33 = 4*o - x*k, 2*o - 3*o - 12 = -2*k. Let c = o + 6. Solve c = 3*b + 19 - 4 for b.
-5
Let v be (3 + -1)*(-11)/(-2). Let g(j) = j + 18. Let f be g(-14). Solve -v = 3*a + f for a.
-5
Suppose 0 = -4*b - 7 + 15. Solve o = -b*o for o.
0
Let d(i) = -i**3 - 10*i**2 + 3. Let u be d(-10). Suppose u*p = 10 + 65. Solve l + p = -4*l for l.
-5
Let k(f) = f**2 - f + 1. Suppose 2*o = -4*p + 7 + 7, p + 4*o - 14 = 0. Let d be k(p). Solve -2*u = d*u + 25 for u.
-5
Let b(o) = -o**3 - 8*o**2 - 9*o - 10. Let j = 2 - 2. Let x(k) = k**2 - 7. Let g be x(j). Let t be b(g). Solve l + l - t = 0 for l.
2
Let a(w) = -w**2 - 8*w - 9. Let k be a(-6). Solve -15 = 3*d - k for d.
-4
Let z be (-214)/(-14) + 18/(-63). Suppose k = -k + 5*u + z, 0 = -2*k - 2*u - 6. Solve -2*t + t + 5 = k for t.
5
Suppose t = 4*f - 0 - 9, -4*f + 15 = t. Solve -f*j = -4*j - 1 for j.
-1
Let f be (-3)/(-5) + (-264)/(-110). Suppose 0 = i - 5 + 3. Solve f = g - i for g.
5
Let i be 26*(3/(-6) - -1). Suppose 3*p = -3*y + 3, -5*p + 0*y = -3*y - i. Solve 4*n = p*n + 6 for n.
3
Let z = 7 + -3. Solve 9*j + 15 = z*j for j.
-3
Let o(r) = -r**3 - 6*r**2 + 6*r + 6. Let b be o(-5). Let q be (-84)/b - 2/(-7). Suppose 3*v = s + 4*v - 8, 2*s = 2*v. Solve s*t + q = 2*t for t.
-1
Suppose -4*t - 12 = -7*t. Let u = -47 - -47. Solve t*l + 4 = -u*l for l.
-1
Let z = -11 - -69. Suppose -143 = -4*c - g - 4*g, 2*c - 2*g = z. Suppose c = b + b. Solve -3*s + 1 = b for s.
-5
Let o(y) be the second derivative of y**3/3 - 3*y**2/2 - 2*y. Let l be o(4). Solve 12 = l*b - b for b.
3
Let s(t) = 5*t - 40. Let v be s(9). Solve 20 = -v*p - 5 for p.
-5
Let h(s) = s - s**2 - 8*s + s + 0*s**2 - 2. Let a be h(-5). Solve -12 = 3*y - a for y.
-3
Let f(n) = -3*n - 2. Let r be f(-2). Suppose r*m = m. Solve 5*i - 6 - 4 = m for i.
2
Suppose 28 = 2*a + 4*d, 6*d - 3*d = 5*a - 5. Let t = 0 - 0. Suppose t = -2*k - 2*k + a. Solve 0*v - v = k for v.
-1
Suppose 7*j - 3*j = -2*l + 14, -4*j + 11 = 3*l. Solve -28 = j*v - 8 for v.
-4
Let h = 3 + -7. Let v(m) = m**2 + 5*m + 4. Let n be v(h). Suppose 0 = -q - n*q. Solve -5*l + 3 + 12 = q for l.
3
Let y(k) = 4*k + 5 - 6*k + k. Let r be y(5). Solve r = n - 3 - 1 for n.
4
Suppose c + 4*b - 14 = 0, 3*b - 8 = -5*c + 11. Suppose 3*a - 4*l + 6 = 0, c*l - 10 - 6 = -5*a. Solve 11 = -a*r + 1 for r.
-5
Let u be 2/(-8) - 39/(-12). Let p(q) = q**3 - 2*q**2 - 5*q + 2. Let k be p(u). Let z = k + 4. Solve 0*a + 4*a - 20 = z for a.
5
Let g be (5/3 + 3)/((-2)/(-3)). Solve 3*x = 5 + g for x.
4
Let p = 287 - 169. Suppose 18 - p = -5*j. Solve -5*o = -5 + j for o.
-3
Let d = -22 - -26. Solve 0 = d*t - 0*t + 8 for t.
-2
Suppose 3*q = 2 + 13. Solve -3*b + 10 + q = 0 for b.
5
Suppose 0 = -a - 2 - 4. Let b be (-4)/a + (-68)/(-6). Solve 0*k + b = -3*k for k.
-4
Suppose -2*z + 6*z = 0. Solve z = -2*t - 2*t - 20 for t.
-5
Let s be 1 + (-3)/3 + 0. Suppose -o - 18 + 21 = s. Solve -o*n - n = -20 for n.
5
Let u = -17 + 19. Suppose u*g = g + 6. Solve g = -0*i + 2*i for i.
3
Let r(n) be the first derivative of -n**2/2 + 8*n + 1. Let m be r(5). Suppose -j + 3*j + m*g - 7 = 0, 5*j + 2*g - 23 = 0. Solve -12 = j*x - x for x.
-3
Let j(s) be the first derivative of -s**4/4 + 5*s**3/3 - s**2/2 - 2*s - 1. Let y be j(3). Solve -5*f + 12 = -y for f.
5
Suppose 0 = -2*x + 4*l + 22 + 2, 4*l + 20 = 0. Suppose 3*i = -5 + 11. Solve -2*b + x + i = 0 for b.
2
Let v(w) = w**2 - 7*w. Let s be v(7). Suppose 0 = -s*k + k - 2. Solve k*h + 0 = 6 for h.
3
Suppose 4*d - 2*p = p + 15, d = -3*p. Let g be 24/(-10)*(-40)/6. Suppose -g = -d*m - m. Solve 0 = q - m for q.
4
Suppose 2*i = 3*o + 8 + 41, 2*o + 66 = 3*i. Solve i = 3*t + t for t.
5
Let q = 0 + 4. Solve q = m + 5 for m.
-1
Suppose -66 = -a - a. Suppose -4*x + 15 = -a. Solve 0 = -7*j + 4*j + x for j.
4
Suppose -5*f + 54 = -71. Suppose n + f = -4*n, -3*b - 14 = 4*n. Solve -b*j + 7 = -3 for j.
5
Let d(u) = u**2 + 8*u + 6. Let f be d(-6). Let v be 2 + (-3)/f*-2. Suppose 0 = 5*j - 4*k - 20, 5*j + k + v = -4. Solve -2*p + p = j for p.
0
Let d = 3 + 0. Let z = d - 1. Let b(o) = 3*o - 2. Let c be b(z). Solve 0 = c*f + 30 - 10 for f.
-5
Suppose 4*x - 8*x = -4*p, x + 3*p = 20. Solve 1 = x*l - 4 for l.
1
Suppose 2*f + 51 = 3*s, 42 = 2*s + s + f. Solve -u - 4*u + s = 0 for u.
3
Suppose -2*l + 3*d + 15 + 18 = 0, 0 = 2*l + d - 29. Suppose v + 5 = 0, -4*t + 4*v = -4 + 8. Let h = l - t. Solve -4*r + 1 = h for r.
-5
Suppose -c = -2*d - 0*c + 13, -d + 5 = -2*c. Solve -13 = 5*k + d for k.
-4
Let j be 0/((-8)/(-2)) + 19. Suppose 0 = -2*h - 5*s + 27, -j = 2*h - 5*s + 4. Suppose 3*g + 1 = 4*g, 2*g = -3*z + 8. Solve 0 = z*u + h + 7 for u.
-4
Let p(i) = 0 - 1 + i + 2. Let t be p(2). Let g be 2/(-3) + 2/t. Solve g = 5*b - 0*b for b.
0
Suppose -18*r + 17*r = -8. Solve -r + 28 = -4*z for z.
-5
Suppose 0 = -n + 5 - 3. Let t be (-3 + 2)*0/1. Suppose -2*v + 0*v + 5*p - 15 = 0, -v - 4*p + 12 = t. Solve v = 5*j + n - 22 for j.
4
Suppose 9 = -3*n, 0 = -2*o - n + 11 + 10. Solve -3*q = -7*q + o for q.
3
Let h be 161/(-49) - 4/(-14). Let w be 2 + (h - -1) + 3. Solve z = -w*z for z.
0
Let o be 1 - (-5)/((-15)/12). Let w = o + 9. Let d(n) = n + 4. Let z be d(-4). Solve -3*y + w = -z for y.
2
Let i(a) = -a**3 + 6*a**2 - 3*a - 10. Let x be i(5). Solve 0*h - 5*h + 10 = x for h.
2
Let t(m) be the first derivative of m**3/3 - 3*m**2 + m + 7. Let k be t(7). Solve -3*p + k = -p for p.
4
Suppose -4*o + 4 = 0, -y + 4 = -o + 5*o. Solve 0 = 3*n - y*n - 3 for n.
1
Let m be 120/(-12)*(-2)/4. Solve -4*u + m*u = 0 for u.
0
Suppose w - 2 = -f, -4*w + 11 - 3 = 3*f. Solve 0 = -2*s - f*s + 8 for s.
4
Suppose 0 = u - 1 - 5. Suppose 3*t - 7 = d, 2*t - u*t = 2*d - 16. Let r = 16 + -8. Solve r = 2*l - d for l.
5
Let z be (1/3 + 1)*3. Suppose 11 = d - z. Solve -2*o + d = o for o.
5
Let f = 130 - 123. Solve 0 = f*o - o + 30 for o.
-5
Suppose 7*o = 3*o - 44. Let m = o - -11. Solve m*p - 2 = -p for p.
2
Let b = -7 + 10. Suppose -2*w - 1 = v + b, -2*v = -5*w - 19. Suppose 0 = -a + 8 + 7. Solve -v*c - a = c for c.
-5
Suppose 3*i - 3 - 6 = 0. Solve n + 2*n - i = 0 for n.
1
Suppose 0 = 3*d - 3 + 15. Let b be 2 - 2/d*-4. Solve b*c = c for c.
0
Let z be -1 + -2 - (-5)/1. Suppose z*o + 2*o = 8. Solve -3 = 5*r + o for r.
-1
Suppose 3*k + 3*k - 30 = 0. Suppose 3*o - 21 = 3*f, f + 8 = 3*o - 13. Solve -k*p = -18 - o for p.
5
Let i(b) = b**3 + 8*b**2 + 12*b + 1. Let v be i(-6). Suppose -4*m + 68 = 4*a - 24, -3*m + 99 = -3*a. Suppose 0 = -y - 3*y + m. Solve -y = 4*t + v for t.
-2
Let h(n) = n**3 - 9*n**2 + 8*n - 10. Let o be h(8). Let q be o/4*(-20)/25. Let r = q + 4. Solve -r = -y + 4*y for y.
-2
Suppose 0 = -f - 2*w + 7*w + 31, -4*w - 134 = -5*f. Solve 28*i - 4 = f*i for i.
2
Suppose 4*d - d + 12 = 0, 0 = -4*p - 5*d - 12. Solve 0*t + p*t = -10 for t.
-5
Let x be (-8)/10*10/(-4). Let s be x/2*(-1 + 1). Suppose 2*g + 0*g - 12 = s. Solve f + 10 = g*f for f.
2
Let l be 0 + 5 + (5 - 4). Let g be (-5)/(-10) + (-3)/l. Suppose -t + 0*t - 3*b - 10 = 0, 4*t - 4*b =