+ 24, -m*s + t + 4 - 14 = 0 for s.
-1
Suppose -4*g - 9 = 31. Let p = 14 + g. Suppose -p*n - o + 14 = 0, -3*n - 3*o + 16 = 1. Solve -b + 4*u = -n*b + 14, 0 = -2*u + 8 for b.
-1
Suppose 2*s = -2*s - 64. Let r = s - -36. Solve -y - 5 = 5*i - 4*i, -4*i - r = -2*y for i.
-5
Let k = 587 + -585. Solve s + 3*y = -y - 14, -2*s + k*y + 12 = 0 for s.
2
Let t(k) = k + 25. Let d be t(-22). Solve n - 4*n = -4*x + 15, -5*n + d*x - 25 = 0 for n.
-5
Let p = 58 - 61. Let c(q) = 2*q**2 + 5*q + 4. Let d be c(p). Solve 5*r + 5*b = r + 25, r = -2*b + d for r.
5
Let j be (3/(-4))/((-162)/432). Solve 0 = 4*i - 8, j*i - 4 = -3*s + 3*i for s.
2
Suppose 4*k = 4*q + 8, -k + 5 + 5 = 3*q. Let o(h) = -h**3 + 4*h**2 + 6*h - 2. Let b be o(5). Solve -2*f - 12 = -b*m, -4*m - m + 20 = -q*f for f.
0
Suppose 6*h - 19 = -1. Suppose 3 = h*a - 45. Solve -5*j - a = -2*l, 3*j = l - 0 - 9 for l.
3
Let j(c) = -c**3 + 6*c**2 + 18*c - 10. Let s be j(8). Solve m = 4*u + s*m + 1, 3*m = 4*u + 25 for u.
-4
Suppose -21*j = -0*j - 105. Solve -2*d - j*z = -3*d + 7, -d = 5*z + 3 for d.
2
Let j = -43 - -43. Solve j = -2*d - o - 9, d = -3*d + 5*o + 3 for d.
-3
Let g(b) = -b**2 + 10*b - 13. Let v be g(8). Solve 3*d = -5*u + v - 4, 0 = 2*d + 3*u + 1 for d.
-2
Suppose 3 - 1 = -2*y. Let a = y + 9. Solve 3*z - h - 22 = -5*h, 4*h - a = 4*z for z.
2
Suppose -2*v - t + 4 + 4 = 0, t = 2*v. Suppose z - 4*f - 17 = 0, -z = -3*z + 2*f + 16. Solve 5*j = 2*j + z*l - 19, v*l + 11 = -5*j for j.
-3
Suppose -2*a = l + 9, l = 2*l + a + 4. Let z be 5/((2/l)/10). Let r be ((-11)/((-33)/(-12)))/(-2). Solve 2*n - 20 = -r*d, 3*d + n - z = -d for d.
5
Let h be 70/16 - (-96)/(-256). Solve -1 = -4*z - 2*i - 21, -3*z - 25 = h*i for z.
-3
Suppose 5*v = -6*v. Solve 5*d + 45 = 4*o - v*o, -4*d = 2*o + 10 for o.
5
Let o = 468 + -467. Solve 3*g = -f - 0*g + o, 3*f - 3*g = -9 for f.
-2
Suppose 0*b + 16 = 4*b - 4*i, 3*i = -2*b + 18. Let g(z) = -4*z + 54. Let n be g(12). Let w be ((-2 - 0) + 9/n)*-6. Solve -3*s = 3*o, -w*s = b*o - 2*o + 1 for s.
1
Let x be (-8)/6 + 6/(-54)*-30. Suppose 0*i + x*s - 4 = i, -3*s = -6. Solve 0 = l - 4*n - 3, i = -5*l + 2*n - 3 for l.
-1
Let w(y) = -4*y - 35. Let r be w(-10). Let v be 2 + -1 + -2 + r. Solve v - 2 = -2*t, 2*l - 4*t - 6 = 0 for l.
1
Suppose -4*k = -5*k + 15. Let d = -39 + 12. Let o be k*(-6)/d*3. Solve -3*r - 3*t - 15 = t, 5*t = 2*r + o for r.
-5
Let a = 24 - 21. Suppose 0 = -3*p + 24 + a. Let b be (1/(3/p))/1. Solve t = -2*z - 0*z + b, 0 = 5*z - 10 for t.
-1
Let v(d) = -2*d + 21. Let x be v(9). Suppose 4*t - x*t - 4 = 0. Solve -2*n = -2*i, t*n + 8*i - 4*i = 16 for n.
2
Suppose -3*q = -0*q - 39. Suppose 0 = -0*p - p. Suppose 19 = 3*g + x, 0 = 4*g - 2*x - 6 - 6. Solve g*d + 3*j - 2 - q = p, 3*d = 3*j - 15 for d.
0
Let h = 71 - 69. Solve -4*s + 22 = -h*o, -6*s + 15 = -3*s for o.
-1
Suppose -7*n + 12*n - 50 = 0. Suppose 4*p - 8 = -d - 2*d, -2*p - n = 5*d. Let k be (-138)/(-30) - d/10. Solve c = k*q, 3*c - 7*c = 2*q for q.
0
Let o be 0*1/3*1/(-1). Let s = o - -5. Solve z + 0*z - s = 4*w, 4*w + 7 = 3*z for w.
-1
Let b = 3 - 0. Let i be 8/b + (-30)/45. Solve a - 4 = 5*a + 4*g, 0 = -a - 2*g + i for a.
-4
Suppose -2*h = -5*l + 10, l = 4*h + 1 + 1. Solve -3*s = -3*n, -2*s = -l*n + 3*s + 9 for n.
-3
Suppose -6*p = -2*p + 36. Let y = -7 - p. Suppose -y*r = 3 - 9. Solve n + 0*n + 2 = -r*o, 2*o - 5*n + 7 = 0 for o.
-1
Suppose -4*v + 0*v - 26 = -3*z, -4*z - 2*v = 2. Suppose 3*n + x - 68 = 0, 90 = 4*n + 15*x - 14*x. Solve z*j - 19 = 5*p, -j - 5*p = -2*j + n for j.
-3
Suppose 4*o = 4*h - 0*o, 4*h = 2*o + 4. Suppose -f + 2 = -0*f. Let p be (-2)/((-4)/f) + 2. Solve -h = p*s - 3*l - 17, 21 = 4*s - 5*l for s.
4
Suppose 2*j = 3*w - 2*w - 11, -19 = -5*w - 2*j. Solve 2*d - 8 = -0*d - 3*n, -w*d + 3*n + 20 = 0 for d.
4
Let c be (-1 + 2 - -1)/(-1). Let z = 85 + -82. Let y be (c/z)/(2/(-21)). Solve -3*k + 2*u + 10 = y*u, -3*k + u + 16 = 0 for k.
5
Suppose 5 = -5*s + 50. Suppose 5*j - 4*o + 22 = 3*j, 5*j + 5*o + 10 = 0. Let p be (j/1)/(5 - 6). Solve -p*t - 3*d + s = -2*d, 3*t + d - 7 = 0 for t.
1
Suppose c + c = 5*l - 31, -5*l - 5*c + 10 = 0. Suppose -4*n = -l*b + 2, -n - 2*b = -3*b. Let p be 67/4 + (-6)/8. Solve n*h + 2*o = -8, -h + 3*o = -o - p for h.
0
Let n(y) be the first derivative of y**4/4 + 4*y**3 + 6*y**2 + 16*y + 8. Let l = -6 - 5. Let d be n(l). Solve -4*x - 8 = 4*s, x + 2*x + 8 = -d*s for s.
-1
Let m = -459 - -465. Solve 15 = 3*g - 8*g - 2*d, -m = 2*g + 5*d for g.
-3
Let a = 13 + -14. Let x be 3 - (0 - (-8)/a). Solve 4*o = -2*w - 2 - 2, -o = 3*w + x for w.
-4
Suppose 3*g = -0 + 6. Let y(z) = -z. Let n be y(-4). Suppose c + 1 + 7 = 4*s, 3*c - n = -2*s. Solve -5*r - g*p + 4 - 11 = c, -2 = 3*r - p for r.
-1
Let x = -50 - -107. Let w be 222/x + (-4)/(-38). Solve 2*s + 3 = -c, 4*c + s - w*s = -1 for c.
-1
Let w = 2463 + -2461. Solve -a + g - 10 = -3*a, -w*g + 16 = 3*a for a.
4
Let u be 0/(6*(-5)/(-30)). Solve 0 = -5*l - 2*j + 11 + 8, u = -5*l - 5*j + 25 for l.
3
Let h(i) = i**3 + i**2 - 7*i + 3. Let s be h(2). Let t be 38/4 + 3/(-6). Let q = -6 + t. Solve 2*a - 9 = 3*o + s, 0 = -3*a - q for o.
-4
Let f = -33 + 37. Solve -m + x + f*x = -1, 2 = 2*m + 4*x for m.
1
Suppose i - 18*i + 68 = 0. Solve -z = 1, -12 - 7 = 3*u + i*z for u.
-5
Let a be 3 + 40/(-14) - 272/(-56). Let f be (-106)/(-22) + 6/33. Solve 2*u = o + a - 0, -2*o = -f*u + 12 for o.
-1
Let x(n) = -10*n + 120*n**2 + 5 - 58*n**2 - n**3 - 51*n**2. Let z be x(10). Solve 5 = 2*q - 5*y - 20, z = q - y for q.
0
Let d(j) be the first derivative of j**3/3 + 5*j**2 + 3*j - 21. Let q be d(-10). Solve 3*s = -q*a - 0*a - 3, 4*s + 24 = a for a.
4
Let z = -588 - -588. Solve 5*d = z, -3*x - 2*d + 3*d = 0 for x.
0
Suppose -3*n - 5*o + 7 = 0, 0 = 5*o - 5 + 10. Solve 5*c = l - 16, 0 = -4*l + n*c + c + 4 for l.
-4
Let g(i) = i**3 + 6*i**2 - 3*i - 16. Let l be g(-3). Suppose 4*w + 6 = w. Let o = w - -7. Solve o*x = s + l + 5, -4*s - x + 5 = 0 for s.
0
Let c(h) = 2*h**2 + 24*h - 22. Let r be c(-13). Solve 0 = -3*k - 5*w + w - 10, r*k + 3*w = -11 for k.
-2
Let q be (4*(3 + -9))/(-3). Solve 4*c - 4*s = -12, -4*c - 2 = -3*s + q for c.
-1
Let r = -66 + 15. Let z = r - -54. Solve z*q - 1 = 4*y + 1, 2*y - q = -2 for y.
-2
Suppose 4 = 9*m - 8*m. Let d be (-144)/(-54) - m/6. Solve 17 = -2*q - d*q + 5*c, -5*q + 25 = 3*c for q.
2
Let k(v) = 15*v + 180. Let s be k(-12). Solve 0 = 3*u + 4*d + 13 - s, 3*u = -2*d - 11 for u.
-3
Let t be (-12)/54 - ((-38)/9 - 1). Suppose -3*c - 10 = -4*c - 2*m, -c - t*m = -19. Solve 2*w - 18 = c*o, -w + 11 = -4*o - 4 for o.
-3
Let y be 0 + 11 + 4/2. Suppose -4*r = 3*i + 8, -17*i - r = -15*i - 3. Solve 6*a = 2*a + l + y, -a = -i*l + 8 for a.
4
Let x = -38 + 41. Suppose x*p - b = 1, -5*p - 3*b + 17 - 6 = 0. Solve -2*a + 5*a + 1 = o, 5*a - p = 3*o for o.
-2
Let a(d) = -4*d + 5. Let t be a(-1). Let o(f) = f**2 - 9*f + 2. Let h be o(t). Solve -1 = -g, -h*i + 3*i = g - 6 for i.
-5
Let c(h) be the second derivative of -1/3*h**3 + 0 + h + 25/2*h**2. Let x be c(11). Solve 0 = -x*d + 2*n + 13, -n = -4*d + 2*n + 18 for d.
3
Suppose -3*q + q = 2*x + 44, x = 4*q - 2. Let y = x + 18. Solve 5*r - 3*s = -0*r + 7, -r + 2*s + 7 = y for r.
-1
Let g be 6*10/(-12)*-1. Solve h - d + g = 0, 6*h - 2*h - d + 17 = 0 for h.
-4
Let m = -344 + 347. Suppose -3*z + 12 + 15 = 0. Solve z = m*d - 5*l, 2*d + l + 2 + 5 = 0 for d.
-2
Suppose 4*q - 73 = -65. Solve 3*m + 0*m - 23 = -q*h, -h + 14 = 2*m for h.
4
Let u be 3 + (0 - -1) + (11 - 15). Solve 3 = t - z - u, -t - 5 = z for t.
-1
Let b(l) = 3*l - 7. Let a be b(4). Suppose 3*h - h - 17 = 5*j, a*h = 3*j - 5. Let p be (30/(-12))/(2/h). Solve 2*d - 3 = 1, 0 = -x - p*d + 8 for x.
-2
Let i(f) = -f - 3. Let p be i(-4). Let n be 0/(0*p/4 + -2). Solve -5*q = 6*r - r + 15, n = 3*r + 6 for q.
-1
Let y(p) = p**2 - 4*p - 4. Suppose -5*l + 2*g + 39 = 0, 3*l - 11 = 2*l + 2*g. Let s be y(l). Solve 4*z - 2*j = 2*z + 4, s = 4*z + 5*j for z.
3
Let x be (-124)/(-40) - (-16)/(-160). Solve b + 4*r = 5*b - 12, x*b + r - 17 = 0 for b.
5
Suppose -4*g - 25 = -4*y + y, 0 = -4*g + 5*y - 23. Let m(p) = -9*p - 48. Let x be m(g). Solve 5*k + x = 0, -5*k + 13 = 5*z - k for z.
5
Suppose 0 = -4*a, -2*a = -3*m - 7*a + 12. Let d(u) = -u**2 - 4*u + 5. Let v be d(-5). Suppose 3 = p - v*p. Solve -2*t = 2*l - l - 1, 0 = -p*t - m*l + 9 for t.
-1
Suppose -5 = 5*k - 0. Let z be