u + 5, u + 2 = -s*o + 5 for o.
1
Let x(s) = -9*s - 2. Let v be x(-5). Suppose -i + 50 = 4*b, b + v = 4*b - 2*i. Solve 2*o - 22 = 4*a, -b = -4*a - 4*o - o for a.
-3
Let i be (50/5)/5 + (1 - 1). Solve 4*b - 14 = -5*n - 4, -n = 2*b - i for n.
2
Let g(u) = -u + 8. Let a be g(-7). Let y be a*3/(9/1). Suppose 16 = y*o - 4*o. Solve -o = x - 3*d - 1, 4*x + 3*d = 0 for x.
-3
Suppose -f + o = 3*o - 28, -4*f = 2*o - 100. Solve 4*y + f = -4*g - 0*y, 4*g = -3*y - 23 for g.
-5
Suppose 3*o = -m - 22, 4*o + 4*m + 8 = 2*o. Let v = o + 19. Solve 3*i - 4*u = 19, 0 = 5*i + 4*u - 0*u + v for i.
1
Let y = -23 - -29. Let a = y - 4. Solve -5*m - a*w + 13 = -0*m, m + w = 2 for m.
3
Let m = 9 + -4. Suppose -m*l + 20 = -20. Let p(f) = -f**3 + 9*f**2 - 4*f - 8. Let u be p(l). Solve -4*t + u = 4*n, 2*n + 1 = 5*t - 1 for t.
2
Let n(i) = -2*i - 4 + 1 - 4. Let l be n(-5). Let j = 22 + 0. Solve 3*o = -5*q + j, -2*o - 7 - 10 = -l*q for o.
-1
Let q = 7 + -3. Let h(g) = 8*g - 14. Let r be h(2). Solve 2*x + r*z + 3*z + 7 = 0, 5*x = z - q for x.
-1
Let c be 29/1 + (3 - 4). Suppose 0 = -2*j - 28 - c. Let t = 40 + j. Solve 2*r = 4*q - 0*q + 16, -3*q + 4*r = t for q.
-4
Let z = -9 - -5. Let u be 6*2*(-1)/z. Solve h - 18 = u*k, 5*k + 16 = 2*h - 5*h for k.
-5
Suppose y + 25 = 5*u, -4 = -u + 3*y + 15. Solve 3 = u*s - 2*b - 5, 5*s - 10 = -b for s.
2
Suppose 2*z + q - 27 = 0, -6*q + 3*q - 73 = -5*z. Let i = z - 10. Solve 2*t = -4*h + 5*h + 2, -t + 19 = i*h for h.
4
Suppose -24 = -8*i - 8. Suppose 0*j - 5*j + 20 = k, -3*j - 4*k = 5. Solve 3*v - j - 11 = -4*t, 5*t - 13 = -i*v for t.
1
Suppose 5*d = 15, 47 = 4*i - 0*d - 3*d. Let y = 25 - i. Let h be 3/9 - 16/(-6). Solve 2*n + 2*v - 18 = -0*n, h*n = v + y for n.
5
Suppose -2*f - 12 = -6*f. Solve f*l + 3 = -4*z, 3*z = 2*l - 0 + 19 for l.
-5
Suppose -2*z + 60 = 3*z. Let p be 1/(z/9 - 1). Let a(k) = k**3 - 2*k**2 + 1. Let n be a(p). Solve 0 = -4*g + g - 2*r - n, g + 20 = -4*r for g.
0
Let g = 7 - 7. Let f = g + 15. Solve -f = 5*l - 5*j, -4*l + j = -2*j + 14 for l.
-5
Let v = -14 + 16. Solve -l + r = v*r, -r + 10 = -l for l.
-5
Suppose 5*t - 16 = -1. Suppose 12 = 3*l - t. Solve 3*o = 5*s - l, 5*s = -4*o + 3 + 2 for s.
1
Let t = 5 - 2. Let d(n) = n**2 - 5*n + 9. Let j be d(4). Suppose 10 = -t*k + j*k. Solve 5 = -k*l - 5*h, -3*h = 3*l + 2*h + 9 for l.
2
Let a(u) = u + 1. Let l be a(3). Suppose 4 = -l*h - 0. Let c be 13/3 + h/3. Solve 0 = -c*f + 5*n - 25, 25 = 2*f + 3*n + 2*n for f.
0
Let z(v) = 4*v - 54. Let t be z(14). Solve p + 8 = -2*w + t, -2*w = 3*p + 10 for p.
-2
Let o(l) = l**3 - l + 4. Let g be o(0). Let j = -1 + g. Let r = 2 + 0. Solve -7 = k + 2*k + r*v, j*v = -5*k - 13 for k.
-5
Suppose -5*t = -2*t. Solve 2*n + 2*n + 4 = -4*i, 3*i - 3*n - 15 = t for i.
2
Let m(k) = 2*k - 9. Let o be m(11). Solve 3*t - 2*p + 0*p = -23, t = 2*p - o for t.
-5
Let w(o) = -o**3 - 2*o**2 - 2*o + 6. Let p be w(-3). Solve -x - 2*x + 3*k = p, -2*k = 5*x + 7 for x.
-3
Let z(i) = -i**3 - 7*i**2 + i + 7. Let r be z(-7). Suppose r*u - 5*t = -2*u + 29, 4*u = 3*t + 23. Solve 2*a = 10, 0*m + 16 = -2*m + u*a for m.
-3
Suppose -4*n - q = -3 + 4, 4*n - 14 = 2*q. Suppose 3 = z + n. Solve -x - v = 0, -x + 1 = -0*v + z*v for x.
-1
Let i(g) = -11*g**2 + 10*g**2 - 11*g + 3*g - 4 - 3. Let w be i(-7). Solve -5*s - 3*t + 17 = w, 0*s + 4*t - 19 = -3*s for s.
1
Suppose 3*t = -2*t + 20. Suppose j + 5*g = 65, 5*j = t*g + 188 - 8. Suppose 3*w - j = 8. Solve 5*v + 4*n - 20 = 0, 5*v - v - w = 4*n for v.
4
Let o(m) = m**3 - 5*m**2 - 5. Let n be o(5). Let c be (-2 - -3)/((-1)/n). Solve -2*f = 5*a - 3, c*a + 3*f - 7*f - 9 = 0 for a.
1
Suppose -4*x - 6 + 18 = 0. Let w(o) = -o**3 - 3*o**2 + 6*o - 3. Let h be w(-5). Solve -a + 6*a + h = x*t, 12 = -3*a for t.
-1
Let q(p) = p - 7. Let m be q(8). Suppose -3*d = -i + 4, -d - 3*i + m = -11. Suppose 3*h - 12 = -d. Solve 15 = 7*b - 2*b - n, -20 = -h*n for b.
4
Let j(m) = m**2 - 5*m - 8. Let b be j(7). Suppose -4*l + 2 = -b. Suppose -l*n = -9 - 1. Solve d + 3 = -2*z + n*z, 5*d + 3 = 3*z for z.
1
Suppose s + 2*v = v - 8, 0 = 3*v + 12. Let u be (-12)/9*6/s. Solve -4*l - 27 = 5*a, 17 = -u*l - 3*a + 2 for l.
-3
Let p be (-4)/(-16) + 1/(-4). Suppose 9*f - 25 = 4*f. Suppose p = -x + 5*h + 10, 0*x + 3*h = f*x - 28. Solve 3 = 2*o - 5*c, x*c + 4 = -1 for o.
-1
Let z = 0 + 12. Suppose -m + 5*m = z. Solve -f - m*y + 24 = 4*f, 5*f - 4*y - 3 = 0 for f.
3
Suppose -3*w - 2*w = -15. Let u be 1 + 3 - (w + -3). Suppose u = 3*t - 2*t. Solve -3*p + 5 = 4*v - 0*v, -t*v + p + 9 = 0 for v.
2
Let a = -13 + 15. Solve w = x - a*w + 19, -2*w + 22 = -3*x for x.
-4
Let i = -13 - -16. Let j be i + -1 - 8/(-4). Solve -m + 4 = y - 0, j*y = 0 for m.
4
Let x = 17 + -14. Suppose -5*w - 5 = -0*w. Let r be (0 + 1)/(w/(-3)). Solve 3*n + r*q = 0, -x*q + 25 = n - 7*q for n.
5
Let f(h) = -2*h + 3*h + 0*h - 3 + 2. Let q be f(2). Solve -i = -3*i - 8, l - i - q = 0 for l.
-3
Suppose z - i = 26, -z - i = 2*z - 86. Solve 4*h = -3*n - z, 20 = -h - 0*h - 4*n for h.
-4
Let x = -33 - -38. Solve -z + 5*s = -16 - 1, 2*s = x*z - 16 for z.
2
Let n be -3 - ((-24)/(-4))/(-1). Solve -z - 2*a - 10 = 0, -2*z + n*z - a = -1 for z.
-4
Let f(d) = -d**2 + 3*d. Suppose 5*z - 5*g = 20, -10 - 2 = -5*z - 3*g. Let o be f(z). Suppose o = -3*n - n + 20. Solve 0 = n*s + 10, s = -y - 6 for y.
-4
Let f be (0*(-4)/(-8)*-1)/1. Solve -13 = -h + 3*j - 0*j, -4*h - j - 13 = f for h.
-2
Let m = -1 - -4. Suppose -m*b - 4 = -13. Let c be 26/10 + 26/65. Solve 0 = b*t + s + 3, -2*s + 9 = c*t - 5*s for t.
0
Let h(x) = -x**3 + x**2 + x + 5. Let o be h(0). Suppose -3*t + 4*t = 2. Solve -g - o = -i, t*g = 4*i + 4*g - 2 for i.
2
Let t(l) = l + 11. Let m be t(2). Solve -4*f = -3*o - 1, -3*f = 4*o - 9*o + m for f.
4
Let b = -29 - -44. Suppose 3*f - 12 = -4*t, t + 4*f - b = -4*t. Suppose -4*u + 3 - 1 = 3*h, 3*u = -t. Solve -l = -k + 1, -h = 2*l + 4*k + 12 for l.
-3
Let d be (-4)/14 - (-6)/21. Suppose d = 2*u - 6. Solve l = -3*t + u, 3*l + 3 = -0*t + 3*t for l.
0
Let y = -2 + 5. Suppose 6*h = y*h + 6. Suppose 0 = h*s + 4*p - 60, -3*s = 4*p + 18 - 98. Solve -4*m + s = -2*w, -5*m + 5*w + 31 = 1 for m.
4
Let w be (-5)/(1*(1 + -2)). Solve -2*z + 3 = 5, 4*a + 3 = w*z for a.
-2
Suppose -3*k + 72 = k. Let m = 43 - k. Suppose s = 7*i - 2*i - m, -2*i + 3 = s. Solve 3*y + 3*r = -21, i = r - 2*r for y.
-3
Let k be 44/242 + 174/11. Solve -9 = 4*p - 3*f, -4*p + 2*f - k = 6*f for p.
-3
Suppose -4*l + 5*l - 5 = 0. Let z(t) = -t - 4. Let v be z(-6). Solve -2*o - 3*o = 2*w + l, 0 = 2*o + 5*w + v for o.
-1
Suppose -w + 1 = -2. Suppose w*v - 31 = 17. Solve -v = -4*d - 2*k, -2*d - 3*k + 11 = -1 for d.
3
Suppose y = 3*y. Suppose -2*a + 2*i - i = 1, 3*a + 3*i + 24 = y. Let g be 5*3*(-1)/a. Solve -4*q + 4*h - 2*h = -10, 0 = -2*q + 3*h - g for q.
5
Let r(x) be the third derivative of x**4/24 - x**3/3 - 6*x**2. Let l be r(6). Solve 1 = -3*w + 4*t + l, -4*t - 9 = -w for w.
-3
Let g be (-2)/3 + (-68)/(-12). Solve 0 = p - g*d - 7, -5*p - 3*d + 2*d = -9 for p.
2
Let x(j) = 3*j**3 + j**2. Let f be x(1). Let b = -6 + 13. Let z be 1 + (1 - 1) + 27. Solve 5*p + 2*r - b = 0, 3*r = f*p - r - z for p.
3
Suppose -5*f = -6*f + 5. Let c = -3 + f. Solve c*u = 4*u + 10, 0 = -2*j - 3*u - 9 for j.
3
Let s = 8 - 3. Suppose 16 + 14 = s*p. Suppose -12 = 2*j - p*j. Solve 4*m + 28 = -2*y, 5*y = -j*m + 6*y - 11 for m.
-5
Let b = -2 + 4. Let j(g) = g - 6. Let p = -9 + 17. Let y be j(p). Solve 2*d + 2*z = y, z = b*z + 1 for d.
2
Let o(x) = 14*x - 23. Let f be o(2). Solve -23 = c - f*d, 4*c = 6*c - d + 10 for c.
-3
Let z be ((-3)/6)/(1/(-26)). Let l = -13 + z. Solve 3*k + 3*f = -6, -k + 3*f = -l*k + 2 for k.
-2
Let p = 49 - 47. Solve s - d - p = 0, 4*s + 6 = 2*d - 5*d for s.
0
Let f be (-3)/(-10)*15 - (-2)/4. Solve -z + h = 7, 0 = 4*z - f*h + 45 - 13 for z.
-3
Let r be (-2)/(-8) + 2/(-8). Suppose x + 1 - 6 = r. Solve 4*l - x = 5*z - 1, 2*l = -z + 2 for l.
1
Let x(s) = -2*s - 2. Let z be x(-3). Suppose 20 = -z*r + 5*r. Suppose 3*p - r = 19. Solve 2*o - 2 - p = -5*m, 0 = o - 5*m for o.
5
Let w be (-33)/(-12) - 1/(-4). Suppose 4*l + 9 = 5*k - 5, 4*l - 34 = -3*k. Solve -b = -w*s - k*b + 4, 5*s + 5*b = 0 for s.
-2
Suppose 37 = 4*k - 19. Solve g - 5*l + 15 + k = 0, 5*l - 33 = 2*g for g.
-4
Suppose 78 = 6*z - 0*z. Solve -11 = -3*b + 2*t, z = 3*b - 7*t + 3*t for b.
3
Let v(m) be the first derivat