-4
Let k = 0 + 0. Let y(r) = k + 2 + 2*r - 5*r - 4. Let p be y(-5). Solve -2*o - l - 1 - 1 = 0, -5*o = -2*l - p for o.
1
Let a(f) = f**2 - 11*f + 2. Let t be a(11). Solve 4*n - 12 - t = -x, n - 5 = -x for n.
3
Let m(o) = -3 + o + 4 + 0. Let k be m(4). Solve 5*n - 6*a = -a + 40, -k*a = -3*n + 34 for n.
3
Let f be (2 + -1)/1 + 3. Suppose f*s + s - 30 = 0. Suppose s + 12 = 3*l. Solve -4*t + i - l*i = -19, -2*t + 5*i = 13 for t.
1
Let x be 3/(-4)*(-11 - -7). Solve -5*j - u = -6, 2*u - 2 = -x*j + 3*u for j.
1
Let n(u) = u**2 - 7*u - 1. Let h be n(7). Let g = h + 1. Solve g = 3*w - b + 10, 3*w - 1 + 8 = -2*b for w.
-3
Let z(s) = 2*s - 2. Let l be z(1). Solve 3*g + 2*a + l*a = 9, 2*g + a - 6 = 0 for g.
3
Let f be 21/14 - (-1)/2. Suppose 2*y + f*o = 0, 3*y - 4*y - 15 = 4*o. Solve 4*s = -5*a - 37, 22 = -y*a - 2*s + 3*s for a.
-5
Suppose -12 = -d + 3*l, -5*d + 3*l - 6*l = -6. Solve 3*s + 15 = 4*u - 2*s, 18 = d*u + 3*s for u.
5
Suppose -4*b + 1 + 4 = h, -10 = -5*b - 2*h. Suppose 2*k - 4 = -b*k. Solve -3*v - k*s + 3 = -s, -4*v + 4 = -2*s for v.
1
Let x be (-6)/(-5)*40/(-12). Let v be 2 - 2 - (x - 1). Solve 0 = -g - 5*h - 1, -v*g + h = -0*h + 5 for g.
-1
Let y be ((-4)/8)/(2/(-8)). Suppose 5*a - 4*q = 28 - 6, 2*a - 16 = 4*q. Solve -y*k + j = 0, -j - j - a = -3*k for k.
-2
Let w(i) = 3*i**3 + 2*i**2 - 1. Let s be w(2). Let p = s - 11. Solve -2*a - p = 3*n + n, 3*n = -4*a - 15 for n.
-5
Let f(u) = 3*u**2 + 0*u**2 + 3*u**2 - u**3 - 5 + 13 - u. Let k be f(6). Solve -4*w + k*z = 6, -5 = -z - 0*z for w.
1
Let q be 6/(-9) + 69/9. Let d = 10 - q. Solve -d*h - 3*i = 15, 4*i = -4*h - h - 21 for h.
-1
Let w be 1*(2 + 4/2). Let x be w/18 + (-50)/(-18). Let f = x - -2. Solve i - f*c + 2 = 0, 6 = -i - 2*i + 5*c for i.
-2
Suppose 3*m - 2 = 7. Let w = 3 - 1. Let z(v) = -v**3 - 12*v**2 - 11*v + 21. Let n be z(-11). Solve w*u + u = -m*s - n, -5*s = 2*u + 23 for u.
-4
Suppose 2*y + 33 = -39. Let b(k) = -61*k**3 + 4*k**2 - 2*k. Let m be b(2). Let r be m/y - 2/9. Solve 0 = -f + 3*z - r, -f + 0*f + z = 5 for f.
-1
Let d(r) = -11*r - 3. Let f be d(-5). Suppose 0 = -4*j - 4*c + 36, 4*j + 5*c - f = -11. Solve 20 = j*p, 2*u + u - 2*p + 16 = 0 for u.
-2
Let v(f) = f + 16. Let p be v(-12). Solve -5*j = 3*u - 16, -u + j + p*j = 28 for u.
-3
Suppose -2*g - 2 = -8. Solve 4*o + 4*k + 12 = 0, 2*o + g = 4*o - k for o.
0
Suppose -3*r + 4*l + 1 = 0, -r - 5*l = 4*r - 25. Solve -5*k + r - 13 = -3*c, k + 3*c = -2 for k.
-2
Let l = -4 - -7. Let j be 2/8 + 9/12. Suppose -2*o = -2*v - 3 - j, 0 = 2*v + 3*o - 16. Solve v*k - 12 = -3*k - u, -2*k - 2 = -l*u for k.
2
Let g(l) be the first derivative of -l**3/3 - 2*l**2 + 2*l - 5. Let o be g(-3). Solve -3*k + k = 5*h + 26, -h = -3*k - o for h.
-4
Let r be (2/3)/((-2)/6). Let h = r + 2. Solve -t + 4*x + 12 = 0, h*t + 12 = 2*t - 5*x for t.
-4
Let b(n) = n**3 - 3*n**2 - n - 3. Let u be b(4). Solve l = 2*f - 5, 2*f = l + 7*f - u for l.
-1
Let l(w) be the third derivative of -w**4/24 - 7*w**3/6 + 3*w**2. Let v be l(-12). Solve 20 = 2*f - 5*m, -4*m + 2 = f + v for f.
5
Let r(z) = -z**2 + 7*z - 9. Let b be r(6). Let v = b + 3. Suppose -4*t + v = -8. Solve 0 = -t*d - 2*d + 4*o + 24, 3*d = 2*o + 16 for d.
4
Suppose -3*b + 2*b + 4*b = 0. Solve b = -a, 2*a = 5*d + 1 + 9 for d.
-2
Let k(m) = -2*m + 3*m - m - m. Let a be k(-4). Solve -5*w = -4*t + 15, a*w - t - 1 = -2 for w.
1
Suppose 0 = 3*s - a - 7, -2*s - s + 13 = 2*a. Solve s*c - 4*x = -1, -2*c = c - 3*x - 3 for c.
5
Let w = 2 + -1. Let x = 1 + w. Solve -x*g + 0*g = -2*t, g + t = 8 for g.
4
Let t(j) be the second derivative of -j**5/20 + j**3/6 + 5*j**2/2 + 2*j. Let w be t(0). Solve -5*u - l + 5 = -3*u, 0 = -w*u + l + 2 for u.
1
Let z be (-4)/6 + (-264)/9. Let p be (2/(-6))/(2/z). Suppose -w = -u - 21, 4*w + w = 3*u + 103. Solve 2*f = p*j - 4 + 21, w = -4*j for f.
-4
Let u = 28 + -28. Solve u = 4*q - 7*q - 3*d + 3, -3 = 3*d for q.
2
Suppose -2*t = 3*b + 3*t - 14, -2*t = -5*b + 13. Solve -j - g + 8 = 0, b*g + 2*g - 20 = 0 for j.
4
Let q(i) = -i - 2. Let a be q(-2). Suppose 2*d + a*d = -2, u + d = 3. Solve 0 = -4*t - 20, -5*t - 4 - 5 = -u*v for v.
-4
Suppose 2*s = 16 - 108. Let j be (-3)/(1/s*3). Let a = -29 + j. Solve w - 3 = 0, 5*x + a = 3*x + 5*w for x.
-1
Suppose 3*c - 1 - 2 = 0. Let s(j) = 8*j + c - j + 0*j. Let t be s(1). Solve -x + 3*p - 4 = -2*p, 2*x - 4*p + t = 0 for x.
-4
Suppose -5*d + 4*h = 3*h + 75, -2*d = -h + 27. Let s = -11 - d. Solve -3*m + 3*v - 3 = 6*v, -s*m = -4*v + 32 for m.
-4
Let f be (-10 + 15)*2/5. Solve -2*t - f*t - j + 21 = 0, -5*t + 30 = 5*j for t.
5
Let j = 79 + -77. Solve -4*s - 6*f = -f + 10, j*s = f - 12 for s.
-5
Suppose 0 = 2*g + 5*y, 25 = 4*g - 2*y - 23. Let p(u) = 8 + 4*u - 5*u + 6. Let s be p(g). Solve -2*r + 3*k + s = 0, 5*r + 2*k - 38 + 9 = 0 for r.
5
Let q = -6 + 8. Suppose -q*x - 4 = -6*x. Solve 2*t = 5*w - x, -t - 1 = -4*w + w for t.
2
Let o be ((-33)/12 + 3)*12. Suppose -16 = -7*r + 3*r. Suppose -o*w + 14 = -2*w + 3*g, 0 = -r*w - 2*g + 16. Solve w*m = 7*m - 15, 2*m - 26 = -5*v for v.
4
Let w(o) = o**2 - 2*o + 2. Let v be w(5). Let g = v - 5. Solve 3*z = z - m + g, -5*z + m + 23 = 0 for z.
5
Let n(s) = s**2 - 16*s - 24. Let i be n(18). Solve 2*m = -3*f + i, 0 = -5*m - 3*f - f + 23 for m.
3
Suppose k = 2*h - 9, -2*h + 0*h = k + 1. Let q be (k - -1)*5/(-4). Solve 0 = m - 2*m - 5*p - 25, 3*m = q*p + 5 for m.
-5
Suppose -x + 0*x + 8 = 0. Solve -4*m + 5*a = 8, x*m - 3*m - a = -10 for m.
-2
Suppose 14 = -5*u + 3*i - 4, 0 = -4*u + i - 13. Let y = 7 + u. Solve z - o = -4*z + 10, z + 19 = -y*o for z.
1
Let s be 4 + (2 - 8) - -30. Solve -2*m + 5*m = -3*w, 3*w - s = 4*m for m.
-4
Let l be ((-10)/4)/((-15)/12). Solve 2 = 2*i + 5*f, -l*i + 4*f = -0*f - 2 for i.
1
Suppose 4*m - 26 = 6. Suppose -4*k - m = 4*p, p + 5*k - 3 + 13 = 0. Solve 3*w + 14 = 4*v, -2*v + 3*w + 2*w = p for v.
5
Suppose -18 = -3*z + 9. Suppose -3*n + 4*d + z = 0, 2*d + 12 - 3 = 3*n. Suppose -2*s = n*s - 10. Solve -2*p - 10 = -2*f - 0*p, -s*f - 2*p - 6 = 0 for f.
1
Let v = -11 - -24. Solve 4*b + v = -3*q - 2, -3*b + 5*q = -25 for b.
0
Let j = 4 + -1. Let z(v) = -v**2 + 3*v + 4. Let q be z(j). Suppose 2*l - q = 2*w - 0*w, -2*l + 6 = -w. Solve b - w*d + 3 = 15, 4 = 2*b + d for b.
4
Suppose 3*c + w + 42 = 0, 2*w + 88 - 17 = -5*c. Let i be 6/1*c/(-3). Solve 4*b + 13 = 5*v, -v = -5*v - 2*b + i for v.
5
Let g = 5 + -4. Let p be g/(-2)*(15 - 5). Let i be 1/p - 32/(-10). Solve -33 = -5*a - 4*v, 11 = i*a - 4*v + 2*v for a.
5
Let c be (-1*(-3 - 0))/3. Let p = 3 + c. Let h = 2 - -2. Solve 24 + 17 = -4*l - 5*d, -p*d = -4*l + h for l.
-4
Let j(z) = -2*z + 18. Let x be j(-9). Suppose d = 5*m + x - 1, -129 = -5*d + 2*m. Solve -h + 2*h + 3*r = -12, 2*r = 5*h - d for h.
3
Suppose -2*d + 12 = 3*r - 0*r, 0 = 3*d. Let o be r/(-10) - (-7)/5. Suppose 2*a - a + o = j, 2*j - 30 = -5*a. Solve 5*g - 12 = -u, j*u - g = -26 + 8 for u.
-3
Let t = 9 + -17. Let o be (t/10)/((-4)/10). Suppose o = u - 2. Solve 4*v - n - 18 = 0, -4*v + 2*v - u*n = -18 for v.
5
Let r be (6 - 3) + -1 + -2. Let c(p) = p**3 - 8*p**2 - 10*p + 11. Let b be c(9). Solve a - 4*l - 1 = r, -b*l + l = 5*a + 16 for a.
-3
Let q(x) = x - 1. Let c be q(1). Solve c = 5*z - 3*t - 2*t + 15, z - 4*t + 18 = 0 for z.
2
Let w = 10 - 12. Let c = w + 5. Solve 3*f - 7*o = -c*o + 9, 4*f - 12 = 4*o for f.
3
Suppose 0 = 2*b - 5*b - 30. Let h = 14 + b. Suppose 4 = -4*a, -a - 2 = -2*x + 5. Solve x*v + 4*p = -9, h*p - 5*p - 8 = -5*v for v.
1
Let f(g) = g + 26. Let k be f(-24). Let d = 0 + 3. Suppose -d*q + 8 = q. Solve -m - 6 = -n, 6*m - q = 3*m - k*n for m.
-2
Suppose w - 5 = 2*w + 2*o, 2*w + 5*o = -15. Let f = -11 + 8. Let x = 5 + f. Solve 2 = 2*u - 2*n + 16, -x*n - 21 = w*u for u.
-5
Suppose 100 = 5*p - 0*p. Solve 5*v = -5*q + p, 0 = -4*q - 2*v + 6*v - 16 for q.
0
Suppose q = -q + 52. Let v = -16 + q. Solve 0 = 5*k - 3*w + v, k - 3*k = -2*w + 8 for k.
1
Let m = -50 + 68. Solve -18 = -4*o - 2*l, 3*l + 0*l = 3*o - m for o.
5
Let o be (-2)/(-3)*9/2. Let h be (-1)/o + 56/6. Let l be (0 + -3)*(-3 + 1)/2. Solve 3*s = h, l*y = -s + 5 + 7 for y.
3
Let s(m) = -m**3 - 11*m**2 + 13*m + 14. Let b be s(-12). Solve 4*g + 11 = 3*x, -b*g - 3 = 3*x - 4*x for g.
1
Let r(f) = -11*f - 5 + 13*f + 2. Let w be 2/2 + 0 + 2. Let k be r(w). Solve j + k*b + 15 = 4*j, 14 = 4*j + 2*b for j.
4
Let y(a) be the second deri