10 for n.
1
Let o be 15/12 + (-1)/4. Suppose 0 = -d + 3*f - o, -3*d + 5*d + 3*f = 7. Let c be d/6*(-18)/(-2). Solve 3*x = 5*q + 9, -2*x + x - 4*q = -c for x.
3
Let z be 8/6*(-1 - 2). Let p(c) be the second derivative of -c**4/12 - 2*c**3/3 + c**2 - 2*c. Let d be p(z). Solve -i + 1 = 2*n, -d*n = 2*i + 2*i + 14 for n.
3
Let o = -3 - 39. Let i be 3/(o/(-4))*7. Solve 2*l + i = -2*j, 0 = 2*l - 5*j + 17 + 6 for l.
-4
Suppose -3*q + 4 = -2*q. Solve y - 5*y + v = -4, -q*v - 16 = -3*y for y.
0
Suppose -5*i - 21 = -31. Solve i*p - 6 = -5*f, 2*f + 2*f = 3*p - 9 for p.
3
Let x(v) = -v**3 + 7*v**2 - 3*v - 8. Let k be x(5). Solve -4*n = -4*s + 1 + 15, 5*n = -2*s - k for n.
-5
Let h(o) = o**2 - 4*o + 7. Let x be h(3). Solve 4*g = -x*q - 12, 5*g + 4*q = 2*g - 9 for g.
-3
Suppose -2*y + 4*n + n = -38, 0 = y - 4*n - 25. Solve -o - 1 = 0, -3*o = -2*m - 0*m + y for m.
3
Suppose o = 4*i + 23, -5*o - 5*i + 23 = -2*i. Suppose 0 = 4*f - 5 - o. Let v be 3/(((-45)/12)/(-5)). Solve j - v = -2*z, -j + 3*z = -f*j + 7 for j.
2
Let b be 8/(-28) - (-242)/14. Let q = b - 15. Solve 2*x = -0*x - 3*o + 13, 7 = -q*x + o for x.
-1
Suppose 3*i + 2*f + 2*f = 17, 0 = -3*i + 5*f + 53. Let r = -1 + i. Suppose 2*p = r + 10. Solve p = -3*n + v, -n + 4*v = n for n.
-4
Let w = -10 - -10. Suppose w - 15 = 5*z, -3*z = -4*u + 21. Solve l - 10 = -u*d, -3*l + 17 = 5*d - l for d.
3
Suppose 2*h = v - 58, h - 3*h = -8. Suppose 3*x = 3 + v. Solve -5*a + 1 + x = -z, 4*z + 5*a = 4 for z.
-4
Let d = 25 + -15. Let w = d - 7. Solve 3*r + 12 + 0 = w*x, 0 = 5*x - 15 for r.
-1
Let g be (2/(-4))/(1/(-10)). Solve 12 = -4*k, 3*i + 2*k - g = -2 for i.
3
Let q = 0 + 0. Let h be (-1 - (-3)/5)/(49/(-245)). Solve -s + 8 = -u, -h*s + 19 = -3*u - q*s for u.
-3
Let l(g) = -2*g - 5. Let z be l(-4). Suppose 6 = y - 3*d, 0*d = -4*y + 2*d + 24. Solve -y = 2*v - 4*t, -3*v - z*t = 2*v + 28 for v.
-5
Suppose -6*n = -2*n. Let i be 0*2/4 + n. Suppose -m = -i*m + 4*c - 7, -2 = -m + c. Solve 5*h - h + 4*u + 12 = 0, -3*u - m = 0 for h.
-2
Let g be -3*((-5 - 1) + 4). Solve g*o - o = -2*z - 18, -4*o + z = 4 for o.
-2
Let f = 43 + -43. Solve 5*h - 18 = -3*v + 3*h, 4*h - 12 = f for v.
4
Let k be 32/12*(-132)/(-16). Solve v + 13 = -2*b - 2*b, -2*v + k = -4*b for v.
3
Suppose -39 - 73 = -4*f. Suppose k - 12 = f. Solve -3*d + 11 = -4*m, 5*m + 6*d + k = d for m.
-5
Let c = 7 + -5. Let r = c - -1. Solve 3*a + 20 = -4*g, -29 + r = 3*g + 5*a for g.
-2
Suppose -5*t + 7*t = 18. Let h be t - 1/((-3)/9). Suppose -2*s + 2*c + 8 = 0, 4*s - 3*s = -c - 4. Solve s = 5*o + 5*g + 35, -3*o - h = -2*g - 1 for o.
-5
Let i be ((-6)/4)/((-6)/232). Suppose -x = x - i. Solve x = -2*w + 5*p, w + 5*p - 27 = 2*w for w.
-2
Let k = -41 + 45. Solve k*h = -8, x = -x + 2*h + 4 for x.
0
Suppose 17 = 3*l + 5. Solve 3*v = l + 2, -3*v = 2*k + 2 for k.
-4
Suppose -3*l + 4*x = -22 + 10, 0 = -5*l - 2*x + 20. Solve 0 = 2*y - l*y - 3*g, -4*g + 7 = 5*y for y.
3
Let r be (0*(-2 - 3/(-3)))/2. Solve -3*a - 5*b - 35 = 0, r*a - 3*b = -a + 7 for a.
-5
Let n(f) = f + 7. Suppose -6 = -2*z - 16. Let g be n(z). Solve -p - 4 = -h - g, 5*p - 3*h = 0 for p.
3
Let k(c) = c - 1. Let h be k(6). Suppose 3*o = -2*l + 13, 1 = -5*l - 5*o + 26. Suppose 5*s + 3 = 6*s. Solve -2*p - l = h*g - 17, g = 5*p + s for p.
0
Let r = -5 - -7. Suppose -u - u + 3*g + 1 = 0, g - 13 = -r*u. Solve p = -l - p - 1, -2*l - u = 5*p for l.
5
Suppose -24 = -2*w - 6. Solve y - w = -d - d, d - 3 = y for y.
1
Let b be 14/3 + (-1)/(-3). Let w be 4/2*b/2. Suppose 0 = -k + w*k. Solve k = -3*l - 2*v + 21, -5*l + 5*v = -4*l + 10 for l.
5
Suppose -5*w = -23 + 8. Let f be (1*-1)/(1/(-4)). Suppose 0 = 5*i - 2*i - 15. Solve -f*y = -w*c - 10, -7*c + 3*c = i*y + 3 for y.
1
Let f = -52 + 52. Solve -4*b - i + 7 = -f*b, 5*i = 2*b - 31 for b.
3
Let t = -30 - -33. Solve 0 - 4 = -3*j - r, -t*r + 12 = -5*j for j.
0
Let t be 1*(1 - -16) - 2. Let j be (2/6)/(1/t). Solve f + 3*f + 28 = 4*p, -3*p + 25 = -j*f for f.
-2
Suppose -f + 40 = 4*f - p, 40 = 5*f + 5*p. Solve z = -4*x - 12, -z = -3*z + f for x.
-4
Let l = -24 - -20. Let z = 1 - l. Solve 0 = -3*u + 2*k + k - 12, -16 = z*u - k for u.
-3
Suppose 2 = -7*j + 8*j. Solve 0 = -w, y - 6 = 2*w - j for y.
4
Let t be 3/(4 - -2)*24. Let c = 5 + t. Solve -2*i = -g - 3, -3*i + 5*g = -i + c for i.
4
Let s be 2*4*9/18. Suppose 0 = 3*a - 0 - 9. Let f = -6 + 10. Solve 2*h = f*d + 12, 2*h + s = -a*d - 12 for d.
-4
Let u(z) = z**2 - 11*z + 2. Let c(i) = -i**2 + 10*i - 5. Let m be c(8). Let t be u(m). Solve -3*h + t*w + 15 = w, -25 = -5*h + w for h.
5
Suppose 11 = -3*x + 20. Suppose -3*n - w - 4*w - 3 = 0, 2*n + 2 = 3*w. Let y = n - -2. Solve -p + y = 0, g = 3*g + x*p - 13 for g.
5
Let m = 80 + -80. Solve -4*t + m*n - 8 = 4*n, -2*t = n + 1 for t.
1
Let a(p) = -p**2 + 4*p - 1. Let x be a(3). Let s = 22 + 2. Solve -4*n + s = x*o, 2*o + 12 = 3*n + 2*n for n.
4
Let d be (-10)/(-15)*(-3)/(-2). Let w be d/(-1)*2/(-1). Solve -4*f = -4*z + 28, -2*f - 18 = z + w*f for z.
2
Let j = 7 + -2. Solve -3*r = -4*n + r, 2*n = r + j for n.
5
Suppose 10 - 5 = s. Solve -25 = -5*k + s*n, 0 = -2*n - 5 - 1 for k.
2
Let j(g) = -2*g - 9. Let z(w) = -4*w - 17. Let l(c) = 5*j(c) - 2*z(c). Let y be l(-8). Solve -3*u + 4*n = 10, -u + y*n = 13 + 5 for u.
2
Suppose 4*f - 11 = 3*f. Solve -3*g - 5*m + f = 0, 4*m = -g + m + 5 for g.
2
Let y = 47 + -45. Solve -2*s = -3*l - 3*s - 2, 3*s = y*l + 5 for l.
-1
Suppose -1 = -5*j + 9. Suppose 5*a = 5*b, -j*a + 5*a - 5*b = 0. Solve a = 5*y - 5, 0 = -5*i + 5*y + 15 for i.
4
Suppose -c - f + 5 = -2*f, -f = -4*c + 20. Let s = -3 + 5. Let j be (-3 - (3 - 3))/(-1 + 0). Solve -4*o = -o + s*i, -c*i = -j*o for o.
0
Let w(j) = j**3 + 5*j**2 - 12*j - 31. Let q be w(-6). Solve q*d - 12 - 7 = -3*r, -5 = -r - d for r.
3
Let n(s) = 10*s - 11*s - 1 + 3. Let g(z) = 1. Let f(u) = 5*g(u) - n(u). Let j be f(-3). Solve -5*a + m - 22 = 1, j = 2*a + m + 12 for a.
-5
Let o = 10 + -8. Let c = 2 + o. Solve -5*j - d = -11, c*j + 5*d - 5 - 8 = 0 for j.
2
Let v = 3 + -3. Suppose v*j = 2*j. Let t be -1 + j - (-3 + 1). Solve g + 1 = 5*y - t, 0 = 5*g - 15 for y.
1
Let a = 5 + -11. Let m = -1 - a. Suppose -3*g - 1 = 4*c, -10 = -5*g - 3*c + 3. Solve -g*u + 2*u + 4 = -4*z, 5*z + m*u = 30 for z.
2
Suppose 5*k = -4*z + 2*z + 31, 5*z - k = 10. Solve 2*d + 21 = z*a, 2*a = -3*d - 0*a + 1 for d.
-3
Suppose 11 = 6*z + 5. Solve 3*g = 4*x - z, -x + 1 = -5*g - 12 for g.
-3
Suppose -2*a - 1 = 2*n - 11, 3*n = 4*a + 15. Let i = 0 - -9. Let v = 13 - i. Solve 0*m - p = -5*m + 15, 0 = n*m - v*p for m.
4
Let b = -13 - -9. Let p be (-2)/b - 5/(-2). Solve -2*y = -2*t + 2, 0 = -0*y + p*y + 3*t + 3 for y.
-1
Let s be ((-25 + -3)*1)/(-1). Suppose 5*k = k + s. Suppose 38 = 5*p + 13. Solve 0 = -3*g + k*g + u + 7, -g + 14 = -p*u for g.
-1
Let b = 18 + 2. Suppose 2*w - 4*h = b, -3*w - 3*h + 1 = 16. Solve -u + 3*d - 8 = 0, w*u = -u + d - 2 for u.
1
Let i be ((-14)/5 + 3)*5. Let r = 14 - 4. Solve -4*w - 5*c = -i + r, 0 = w + 5*c + 6 for w.
-1
Let w(u) be the first derivative of u**2 + u + 1. Let f = -5 + 6. Let o be w(f). Solve 5*p - 1 = 4*m - o*m, p = 1 for m.
4
Let j = 0 - -7. Let t = 13 + -8. Let p = j - t. Solve 8 = 4*x + p*w, 5*w = x - 2*x + 2 for x.
2
Suppose c = -2*w + 12, -4*c - 5 = w - 67. Solve -8 = 2*t - 5*t + u, -5*t = -u - c for t.
4
Let t = -6 - -8. Suppose 1 = 3*i - t. Let m be -3 + 3 + 11 + i. Solve -4*y + 4*u = -m, -4*y = 2*u + 12 + 6 for y.
-2
Let w(g) = 2*g + 2. Let r be w(-2). Let o(l) = 3 - 5 + 4 + 2*l**2 - l. Let b be o(r). Solve -f + 6 = -3*f + s, 3*f = 3*s - b for f.
-2
Suppose 7*t - 2*t - 10 = 0. Solve -t*a + 5*i = -22, 0*a = -4*a + 5*i + 24 for a.
1
Let t be 51/(-7) + 4/14. Let r = -3 - t. Solve 0 = 4*o - 3*k + 35, -5*o = -r*k + k + 40 for o.
-5
Let n be (2/1)/(4/(-10)). Let x(o) = o**3 + 4*o**2 - 6*o - 1. Let v be x(n). Solve -c + 10 = -3*y, v*c - 10 = -2*y - y for c.
4
Suppose 11*p = p + 100. Solve -4*w - 14 = -2*w + 4*m, w + p = -3*m for w.
-1
Let c be -6 - (-3 - -2 - 0). Let w(r) = -r - 6. Let z be w(c). Let d be (z/(-1) + -1)/2. Solve 2*o - 2 = -6, d = 3*f - 4*o - 17 for f.
3
Suppose 4*r - 859 = -5*h, -5*r = h - 3*h - 1049. Let v = -131 + r. Suppose -6*l + v = -2*l. Solve 5*w - l = -5*t, 2*t - 6*t = 2*w - 12 for t.
2
Let x be -1*2*(-30)/20. Solve 0 = -3*h - w - 10, -h + x*h = -4*w - 20 for h.
-2
Let a = 1 - 1. Let n = 74 - 72