 = h*k + u, 5*u = -15 for k.
2
Let s(y) = -18*y**3 - 1. Let b be s(1). Let n = 11 + b. Let m(c) = -3*c - 19. Let v be m(n). Solve v*w + 5*a - 15 = 0, a + 4 + 5 = 2*w for w.
4
Let t(i) be the second derivative of i**5/20 - i**4/6 - i**3/2 + 5*i**2/2 + 44*i. Let b be t(3). Solve 15 = b*f + 5*m, -4*f - 5*m + 31 = -7*f for f.
-2
Suppose 0*f + 5*f + 4*n + 33 = 0, -n = -4*f - 18. Let a = f + 14. Solve d - 12 = 3*t - d, 3*t + 5*d - a = 0 for t.
-2
Let v(d) be the second derivative of 11/2*d**2 + 1/6*d**3 + 0 - 4*d. Let s be v(-6). Solve -j = -4, -r + j = -s*r for r.
-1
Let x = 236 + -236. Solve 5*c - 4*s = 20, x*s = -5*s for c.
4
Let k be 3/(10/11 + -1). Suppose -37 = -5*s - 4*n + 199, 101 = 2*s - 5*n. Let d = k + s. Solve 3 = -5*c + 5*z + 23, 0 = -4*c + 3*z + d for c.
3
Let s = 9 - 4. Let i be -4 - 42/(-10) - 27/(-15). Suppose i*f - 13 = f + 5*m, 19 = 5*f - 2*m. Solve -n + f = -2*l - 1, s*l + 10 = -n for l.
-2
Let l(v) = -v**2 - 18*v - 27. Let f be l(-16). Solve 0 = 5*t + 8*p - 3*p - 15, 3*t = -f*p + 11 for t.
2
Let m be (-22)/((-1936)/(-33)) - (-310)/16. Solve -4*z - 5 - 3 = 0, -2*z - m = -5*u for u.
3
Suppose 0*u = u - 5*w + 12, -u - w = -6. Solve u*m = 4*n + 1, -4*m + 0*n = n + 24 for m.
-5
Let f(i) = -i**2 - 12*i + 47. Let d be f(-15). Suppose 5*r + 2 = 12. Solve 0 = 5*p + 3*l - 13, -2*l - 6 = d*p + r*l for p.
5
Let s(h) = 3*h + 8 + 0*h - 2*h. Let z be s(-6). Suppose -8 = -2*y - 2. Solve -3*n + c = -y, 6 = z*n + 2*n - 2*c for n.
0
Suppose 0 = 5*g - 0 - 10. Let m(f) = 4 + 4*f - 5*f + g + 7. Let x be m(11). Solve -4*j = -q - 2 - 4, x*q - 4*j = -8 for q.
-2
Let j be (-9)/(-3 - -2) - (4 - 2). Solve 5*c - 3*b - 26 = -j, 5*b = 10 for c.
5
Suppose -6*p + 57 - 39 = 0. Solve -5*q - 2*s + 3 = 36, p = q - 2*s for q.
-5
Let o be (4/6)/(2/3). Let p = -35 + 58. Let m = 546 + -541. Solve -m*t - p = r, -o = r - 6*r + 4*t for r.
-3
Suppose -f + 4*g = 16, 0*g = 2*f + 2*g - 18. Suppose t + t = f. Solve t*p - 2 = 4*q, -p + 5 = -2*p for q.
-3
Let h(d) be the third derivative of d**5/60 + d**4/12 - d**3/6 + 9*d**2. Let g be h(1). Solve 3*s = -r + 1 + 7, -g*r + 14 = 4*s for s.
1
Let u(h) = -h**3 + 2*h + 1. Let z = 0 - 0. Suppose 3*v - t = 2*t, z = -3*t - 6. Let k be u(v). Solve -41 = 5*x - 4*s, 0*x + s + 21 = -k*x for x.
-5
Let z(r) = -r**2 + 6*r + 9. Let s be z(7). Let v(y) = y**2 + 7*y - 6. Let j be v(-8). Solve j*t = -3*w + 3, w - 5*t = s*w - 14 for w.
-1
Suppose 0 = -k + 5*k. Suppose k = 5*t - 8 - 12. Solve 5*x + 3*c - 4*c + 24 = 0, -4*c = t for x.
-5
Let c be 60/16*(-8)/(-6) - 1. Solve c*g = k + 13, -17 = -g - k + 4*k for g.
2
Let x = -46 - -46. Let r be (15/(-20))/(1/(-12)). Suppose 0*k - r = -3*k. Solve -z + 5*q = -5 - 2, x = k*q + 3 for z.
2
Let t = 128 + -126. Solve -2*l - 5*c + 15 = -l, -6 = 5*l - t*c for l.
0
Let k(a) = a**3 - 2*a**2 + 7*a + 3. Let m be k(5). Let u = -108 + m. Solve -2*t + 4*z = 2*t, -3*t = u*z for t.
0
Suppose 18*f - 10*f - 64 = 0. Solve 0 = 2*h - 3*q + q - f, q - 2 = -2*h for h.
2
Suppose 3*v = 5*m - 191, 0 = -5*v + 8 + 7. Solve 4*k - m = -5*h, 4*k + h - 2 = 22 for k.
5
Suppose y + 0 = -2. Let d = -14 - -30. Let l be (d/(-56))/(y/14). Solve -2*t + 5 = -5*r, -r + l*t = -t + 14 for r.
1
Let u(w) = w + 35. Let b be u(-27). Suppose -5*p = -11 - 34. Let d = -7 + p. Solve -12 = -4*m - z, -d*z + b = 2*m - z for m.
2
Let j(n) = n**2 - 6*n + 2. Let g be j(6). Let m(i) = -11 + g + 2 + 1 - 2*i. Let b be m(-5). Solve -3*q + 10 - b = -3*p, -5*q = 2*p - 24 for q.
4
Let y = 203 + -196. Solve 2*r - 7*r = 3*i - 13, -i = -4*r + y for r.
2
Let j = 42 + -22. Suppose 0 = -12*u + 7*u + j. Solve -10 = u*o - 0*o - 5*i, -10 = -3*o - 5*i for o.
0
Let f(j) = -j**2 + 15*j - 9. Let b be f(14). Suppose 5*m - 10 = b. Suppose o + 2 = -5*w - m*o, 0 = -w - o - 1. Solve 13 = w*i - 5*y + 1, 2*i - 8 = 4*y for i.
-4
Suppose p = 19*x - 15*x + 22, -6 = 2*p + 2*x. Solve 2*y + p*u = 1 + 7, -4 = 5*y - 3*u for y.
1
Let z = -613 - -617. Solve 5 = -w + 9*f - 10*f, 0 = z*w - 2*f - 10 for w.
0
Suppose -15 = u - 4*u. Suppose 0 = b - u. Solve 2*y - 6 = q - 1, -b*q = 5*y + 25 for y.
0
Suppose 15 + 3 = -y. Let o = y - -8. Let k(u) = -u - 7. Let c be k(o). Solve -2*z - c*z = n + 9, -2*z = 3*n + 14 for z.
-1
Let q = 103 - 175. Let l = -68 - q. Solve -2*v + 4*v - 5*b + 4 = 0, -3*v + 1 = -l*b for v.
3
Let u(t) = -t**3 + 5*t**2 - 2*t + 12. Let x be u(5). Suppose -4 = x*n + 2*n, -5 = -5*d - 5*n. Solve -d*q = 4*a - 10, -5*q - 3*a = -2*a + 11 for q.
-3
Let i(n) = -n**3 + 4*n**2 + 3*n - 9. Let a be ((-22)/5)/(5/25). Let m = a + 26. Let x be i(m). Solve 4*v + 12 = 4*d, 4*d - 4 = x*v - 7*v for v.
-1
Let j = 5 - 5. Let l = 6 - j. Solve -w + l = -f - f, -2*w = 2*f for f.
-2
Let q = -14 - -39. Suppose -q = 3*r - 43. Solve 2*i = 3*o + 3, 5*i + 0*o - 3*o = -r for i.
-3
Let w = -12 + 17. Suppose 5*y - 55 = w*z, -y - 3*y + 2*z = -52. Let m = y - 12. Solve 21 = 5*c + r, -12 - 7 = -4*c - m*r for c.
4
Let p be (-5 - 27/(-6))*(3 + -3). Suppose p = 2*g + 3*i + 9, -3*g = -7*g - 4*i - 12. Solve g = -7*t + 5*t + 3*q - 5, 4*q = 12 for t.
2
Let p(s) = -2*s**2 - 14*s + 11. Let l be p(-7). Suppose -l*z + 8*z = -6. Solve -2*f = -z, 0 = -2*b + 4*f - 1 + 7 for b.
5
Suppose 0 = 2*y - 3 - 1. Let l be ((-2)/(-1) + -11)/(-1). Suppose -q = -l*q. Solve 1 = -y*x + 5*f - 1, x + 2*f + 1 = q for x.
-1
Suppose r = -2*a + 117, 4*r - 1 + 13 = 0. Let h = -58 + a. Solve 2*j + h*p + 6 = 3*p, -4*j + 5*p = 6 for j.
-4
Let d(s) = -s + 1. Let i be d(-2). Let m = -406 + 239. Let l = 170 + m. Solve n - l*f - 15 = -n, -2*n - i*f - 15 = 0 for n.
0
Suppose 2*d - 88 = -4*u + 3*d, -5*u - 5*d + 135 = 0. Let b = 26 - u. Solve -b*v + 2*v = 3*k - 17, 2*v - 2*k = -6 for v.
2
Suppose -17 - 4 = -7*t. Suppose -t*l + 27 = 6*l. Solve -l*f = -v - 4, -v + 4*v = 6 for f.
2
Suppose -n + 8 = -3*s - 2*s, 5*s + 5 = 0. Suppose n*p + z = 14 + 9, 3*p - 2*z - 26 = 0. Solve -4*j - 2*b = -22, 2*j - p = -4*b + 18 for j.
3
Suppose -10 - 174 = 2*a + 4*l, -5*l = a + 80. Let r = -96 - a. Solve -3*v + 2 = 2*k + 5, 0 = 4*v - r*k + 4 for v.
-1
Let a(i) = -7*i**3 + 2*i**2 + 2*i - 1. Let k be a(2). Let o = k + 50. Solve 0 = 4*x + 8 + 8, -5*g + 20 = -o*x for g.
0
Let m(r) = 4*r**3 + r. Let d = 16 - 15. Let j be m(d). Solve 5*c - j*u + 20 = 0, -u + 3 = -4*u for c.
-5
Let n(t) = 2*t - 4*t + 110 - 102. Let i be n(-2). Solve -5*p - 5*g + 2*g - 26 = 0, -p - 4*g = i for p.
-4
Let u = -46 - -72. Suppose -5*v - 64 = u. Let t = v + 21. Solve s = 2*s - r - t, -2*s - 2*r + 10 = 0 for s.
4
Let d = -66 - -69. Solve 3*l + v = 2*v + 3, 2*l - d*v = -5 for l.
2
Let i be 3/(21/(-2)) + (-3570)/(-833). Solve 5*w - 2*d = -0*w - 18, 0 = -5*w + i*d - 26 for w.
-2
Suppose r - 16 = -c, -2*c - 53 = -3*r - 6*c. Solve 5*f = 3*n - r, 3*f = -2*f - 5*n - 35 for f.
-4
Let h be (10/6)/(2/6) - 1. Solve 7*q + 5*l + 37 = h*q, 3*q = l - 7 for q.
-4
Let b(k) = -2*k**2 + 30*k - 50. Let q be b(13). Let i = 5 - 10. Let z be (-2)/(-5) - 23/i. Solve -7*u + q*u + 16 = g, z*u - 24 = g for g.
-4
Let x(f) = 2*f**3 + 87*f**2 - 42*f + 90. Let m be x(-44). Solve 0*y + 14 = 2*y + 5*j, 0 = 2*y + j + m for y.
-3
Let s = -146 + 149. Suppose 0 = -s*j + 8*j - 15. Solve 2*u = -5*w - 5, -j*w = -4*w - u - 4 for w.
1
Suppose -39*z = -43*z - 64. Suppose 2*t + 0*t + 18 = 0. Let f be z/(-24) + (-39)/t. Solve 4*p = -3*w - 32, 2*w - 5*p - f = 12 for w.
-4
Suppose -8*x - 150 = -38*x. Solve 0 = 2*r - x*y - 21, r + 2*r - 24 = 5*y for r.
3
Let g be ((-4)/(-14))/(8/56). Suppose -a + 1 = -g*a - 4*s, -s = -4*a + 13. Solve -3*n - 2*k = -3*k + 2, -a*k + 17 = 2*n for n.
1
Suppose 9 = 4*x - 3. Suppose 1 - 6 = -5*n. Let o be 2*n/((-1)/(-2)). Solve 4*w + 4 = -a - x, o*a = 4*w + 32 for a.
5
Let n = 47 + -64. Suppose -2*p = 41 - 3. Let w = n - p. Solve 3*r = j + 6, j = w*r - 3*r + 2 for j.
0
Suppose 4*s - 7*s = -3*n - 6, 0 = n. Suppose -3*b = -32 - 31. Solve 3*a - s*y = y + b, -4*a + y = -13 for a.
2
Let y(j) = 2*j**2 - 14*j + 13. Let k = -31 + 37. Let w be y(k). Solve -2*z - w = -n + z, 4*z = 5*n - 5 for n.
1
Let j = 7 - 7. Let d = j + 1. Let x be (d - (4 + -10)) + -2. Solve 4*q - 4*p - x = -q, -3*q = -p - 3 for q.
1
Let q = 1 + -1. Suppose 2*r + 5*k = 1, -5*r + 7 + 5 = 3*k. Let o be -6*4*2/(-12). Solve q = d + 3, o*p = r*d - 8*d - 27 for p.
-3
Suppose 3*o - 6*o = 0. Let c(l) = l**3 + 5*l**2 + 10*l + 26. Let y be c(-4). Solve y*u + u = 5*x + 4, -4*u - 2*