x - 15 = h, 7*h - m*h + 10 = 0 for x.
5
Let m(y) = 7*y**3 - 29*y**2 + 26*y + 1. Let s be m(1). Solve r = s*a + 10, 4*r + 3*a - 23 = 6*a for r.
5
Suppose -171*t - 4 = -172*t + y, t = 5*y + 4. Solve -9*h - t*n + 10 = -7*h, -2 = -2*n for h.
3
Let f(p) = -18*p - 44. Let c(y) = 29*y + 66. Let v(o) = -5*c(o) - 8*f(o). Let n be v(20). Solve 3*t = -3*s + 3, 3*t - 4 = n for s.
-1
Let g(s) = -s**2 - 10*s + 41. Let d(l) = -l**2 + 17*l - 79. Let x be d(6). Let r be g(x). Solve 5*k + 18 = -3*i + 5*i, 0 = -r*k + 5*i - 3 for k.
-4
Suppose -4*d - 6*h + 4*h + 12 = 0, -4*d - 3*h = -14. Suppose -6*c = -3*c + 5*f - 17, d*f = 5*c - 18. Solve m + 5*i = 6, 0*m + 5*i = c*m + 26 for m.
-4
Let j(z) = z + 1. Let f = -41 - -41. Let d be j(f). Solve 4 = -5*a - 0*a + y, 4*a - 3*y = -d for a.
-1
Let x(w) = 225*w - 19 + w**2 + 242*w - 446*w. Let r be x(-22). Solve 0 = -r*m - o + 2, 6 = 5*m - 2*o + o for m.
1
Let f(s) = -6*s + 4. Let y be f(0). Suppose -12*m + 14*m - y = 0. Solve 0 = -5*z + 3*r - 8, -m*z - r - 4*r = -3 for z.
-1
Let t be (6/4)/((-39)/(-10114)). Let h = t + -385. Solve 0 = -5*c - h*m - 5, -2*m + 5 = -3*c - 4*m for c.
-5
Let q = -3119 + 3122. Solve q*v - 4*k = -32, 4*v - k + 20 = -1 for v.
-4
Let u be 3*(250/15 + -15). Solve -19*h + 3 = -3*a - 21*h, u*a = 4*h - 27 for a.
-3
Suppose 131*o - 28*o - 206 = 0. Solve o*a + 2 = -4*t + 24, 0 = a - t + 1 for a.
3
Suppose 0 = 3*r - 6*r + 6. Suppose -5*m + 4*j - 7 = 0, 0 = -4*m + r*j - j + 1. Let t = 108925 - 108923. Solve -u - 7 = -6*d + d, 0 = -u + t*d - m for u.
3
Let q(z) = z**3 + 11*z**2 + 24*z + 8. Let s be q(-8). Let c = -11 - -5. Let d = 8 + c. Solve -5*l = 4*p + 1 + 3, 4*l + s = -d*p for p.
4
Suppose -316*w = -321*w + 760. Suppose w - 125 = 9*v. Solve -4*y + 5*x + 12 = 0, y + 3*x = -v*y + 12 for y.
3
Let o = -229 + 314. Suppose -2*v + 60 = 12*j - 13*j, 3*v + j = o. Solve -4*m - 12 = 0, 4*u + 3*m = -0*m - v for u.
-5
Suppose -83 = -46*r - 79 + 180. Solve 7 = -u + a - r*a, 0 = -u + 5*a + 17 for u.
2
Suppose -309*j + 356 = -131*j. Solve 64*n + 5*u = 65*n, -j*n + u = 9 for n.
-5
Let k(r) = -r**3 - 4*r**2 - 2*r - 4. Let b be k(-4). Let v = 12824 - 12822. Solve -2*z + b*o - 5 = z, z = -v*o - 5 for z.
-3
Suppose -3*c + 5*z + 1587 = 1571, -2*c + 6 = -z. Solve c*f = f + 2*q + 8, 4*f + 2*q = 2 for f.
2
Suppose 6*x + 48 = 3*f, 4*f - 6*f + 3*x + 34 = 0. Solve -5*k - f = 5*n, -3*n - 14 = 3*k + 2*k for n.
-3
Let p(b) be the third derivative of 1/3*b**3 + 1/24*b**4 + 5*b**2 + 0 + 0*b. Let x be p(10). Solve y - 2*y + 3*j = 4, 0 = 3*y + 4*j + x for y.
-4
Let n = -2 + 27. Suppose -600 = 21*c - n*c. Suppose -5*b = b - c. Solve -5*l - b = -5*z, -l - 20 = -2*z - 2*z for z.
5
Let z(r) = -2*r**2 + 36*r + 27. Let b be z(11). Let y = -178 + b. Solve -5*h - y*t - 3 + 2 = 0, 2*h + 5*t - 11 = 0 for h.
-2
Suppose -9*z - 2154 + 2172 = 0. Solve 11 = 3*b + 2*w, 0 = 3*b - z*b - 4*w + 1 for b.
3
Suppose -2*j - 20 = 5*t, -2*j = t - 34 + 22. Solve -4*a + y = -21, 3*y = -2*a + j - 3 for a.
5
Suppose 34*d = 46*d - 24. Suppose 0 = r + 4*n + 20, n - 7 = -2*r - 12. Solve -d*c + r*c = -5*z - 5, 2*c + 3 = -3*z for z.
-1
Let c(d) = d - 6. Let i be c(5). Let r be -5*(-1 + (-1 - i)). Suppose 2167*b + 440 = 2277*b. Solve 8*t + x = 4*t + 7, r*x - 3 = -b*t for t.
2
Let v = -29 - -29. Suppose 7*x - 5 - 9 = v. Let u be ((-6)/(-12))/(x/12) - -11. Solve 0 = -2*i - 3*m + u, -4 = -3*i + m + 3*m for i.
4
Let i(l) = -l**2 + 17*l + 62. Let q be i(20). Solve -19*v + 3 = -16*v - o, -5*o - 15 = -q*v for v.
0
Let v(h) = -h**3 - 4*h**2 + 4*h + 3. Let d be v(-5). Suppose 6*x = d*x - 56. Suppose -x*k + 27*k = -4. Solve 12 = k*q - 2*n, -n - n - 8 = -3*q for q.
4
Let y be (10 - (-33 - 19))/2. Solve 2*u - 10 = -7*q + 11*q, -5*u - y = 4*q for q.
-4
Suppose 0 = -7*f + 6*f + 4. Let i(j) = 2*j**2 + 2*j - 21. Let r be i(-4). Solve r*n = 2*o - 13, n + 0*o - f = -o for n.
-1
Let p = 49 - 37. Suppose -7*g + p*g - 9*g = 0. Suppose -3*r + 2*z = 2, 3*r + g*z = 3*z - 6. Solve -2*d + 1 = 3*q, r*d + 3*q = -q + 2 for d.
-1
Suppose 0 = 139*p + 3*p. Solve 0 = 5*c - 5*q + 5, -25*q + 21*q - 8 = p for c.
-3
Let d = 199 + -193. Let u be (2/d)/(2 - (-44)/(-24)). Solve -u*s = -8, -4*h + h = 5*s - 8 for h.
-4
Let f(l) = -l**2 + 13*l + 33. Let v be (-3 - 1 - 0)*75/(-20). Let a be f(v). Solve k = 4*d + 22, -d = -0*d + a*k - 1 for d.
-5
Let n = 8 + -10. Let j be (((-12)/3)/n)/(0 - -1). Suppose -2*a - 4*c - 14 = 0, 7 - j = 5*a + 2*c. Solve -a*b + 3 + 0 = 2*h, -4*b + 4 = -2*h for h.
0
Let d(o) = -18*o + 578. Let v be d(31). Solve -z - 137*n + 133*n = 4, 5*z - n + v = 0 for z.
-4
Suppose -37 = -25*g + 13. Suppose -g*o + 5*h + 1 = 4, 0 = 2*o + h - 15. Solve -5*m = 3*z - 8 - o, -3*m - 6 = -3*z for m.
1
Let j = -2934 + 2939. Solve j*m = 2*r + 4 + 3, 6 = 4*m - 2*r for m.
1
Let y be (1*2/4)/((-1)/(-18)). Let z = -12 + y. Let o(l) = 4*l + 22. Let q be o(z). Solve 2*j - q = 3*m - 4*m, 0 = -5*m + 20 for j.
3
Suppose 7*g - 118 = 36. Let d = g - 18. Suppose d*o = -7 + 19. Solve 0*b - o*b = -l - 7, 4*l - 4*b = 4 for l.
5
Let r(n) = -16*n**2 - 292*n + 239. Let t be r(-19). Solve 13*j - 11*j - w - t = 0, 17 = 3*j - 2*w for j.
5
Suppose -6*w - 2 + 2 = 0. Suppose -d + 5*d - 16 = w. Solve -15 = 5*p + d*u, 0 = -2*p + 3*u - 0*u + 17 for p.
1
Let a = -30 - -33. Let i be 3 - (1 - (0 + 2) - a). Suppose -i*q - 4 = -18. Solve -q*s = -m + 10, -3*m + m = -s - 8 for m.
2
Suppose -3*r + 20 = r. Let i(b) = 29*b**2 - 2723*b - 275. Let l be i(94). Solve -2*x = -r*w + l, w - 3 = x + x for x.
-1
Suppose 3*f - 5*h = -0*f + 54, 2*f = -5*h + 36. Suppose -c - f*c + 95 = 0. Solve -5*v + l - 3*l = -23, -c*l = -20 for v.
3
Let f(r) = -38*r + 3159. Let w be f(83). Solve -u - 5*x = -369 + 376, -w*x - 22 = -4*u for u.
3
Suppose 589 = 8*z + 23*z. Solve -5*q - 5*y - 54 + z = 0, 10 = -2*y for q.
-2
Let c be (-26)/299 - 96/(-46). Solve -5*w - 36*f = -37*f - 16, 4 = -w + c*f for w.
4
Let i(b) = b**3 + 20*b**2 - 188*b + 7. Let p be i(7). Solve 4*r - 14 = 2*t, 3*t + 4*r = 5 + p for t.
1
Suppose 7 = -14*y + 35. Suppose -3*a - 5*h + 46 = 0, 0 = y*a + h - 12 - 21. Solve 3*m - d - 8 = 0, 0*d + 2*d = -5*m + a for m.
3
Let f = 2731 - 2728. Solve 0 = -2*m - 8 + 18, f*y + 17 = 4*m for y.
1
Let b(t) = -t**3 - t**2 - 4*t - 3. Let v be b(-4). Suppose 13*f = -5*f + 1008. Let q = v - f. Solve -n + 9 = -2*h, 0 = -n - 3*n - q*h - 16 for n.
1
Let f(t) = t**3 - 19*t**2 - 68*t + 44. Let v be f(22). Suppose 6 = 2*h - 0. Solve -5*z + v*z + 25 = h*d, z = -5*d + 27 for z.
2
Let g(a) = -11*a**3 + 11*a**3 - 2*a**3 + 28*a**2 + a - 21 + a**3. Let h be g(28). Solve r - h = k, 2*r = 2*k + 5*r - 6 for k.
-3
Let g be (505/70 - 10/(-35))/(27/18). Solve -g*u - 5*v = 45, -2*u = -5*u + v - 23 for u.
-8
Suppose -n = -0 - 3, -4*j + 14 = -2*n. Suppose i - 2*h = -6, -h = -j*i - 6*h + 45. Solve y = 5*o - o + 7, -2*y - i*o = -2 for y.
3
Suppose 65 = 2*m + z, -6*m + 3*m - 4*z + 105 = 0. Suppose 25*u = m*u - 36. Let c be (u/(-6))/((-9)/(-6) - 2). Solve 9*v - 4*v = -2*p + 3, -2*v = -c for p.
-1
Let x be 42/9 + 10/(-15). Suppose 5*m - 3*f - 28 = 15, x*m - 3*f - 32 = 0. Solve 3*b - 4*v = m, -3*v + 5*v = 3*b - 1 for b.
-3
Let r = -57 - -62. Let v(p) = -p**3 + 20*p**2 - 101*p + 13. Let x be v(10). Solve -x*l + r*m - 1 = 18, -m + 7 = l for l.
2
Let g(u) = -u**3 + 20*u + 5. Let a be g(0). Solve 5*n - a*f = 2*n + 27, -3*f = 4*n - 7 for n.
4
Let p = -3 - 2. Let j be -1 - p - (1 - 0/(-1)). Suppose -5*v + 5*f - 15 = 0, 5*v - f - 9 = -4*f. Solve v = y + 5*n - j + 1, -2*y = 5*n + 1 for y.
-3
Suppose -2*z + 6*z - 656 = 0. Let a = z + -161. Solve -f + 5*l = -21, -f - 4*l = -a*f + 12 for f.
-4
Suppose -2*x + 2*q + 12 = 0, -3*x + 4*x + 4*q - 1 = 0. Let k = -2 + x. Solve t = -t - k*l - 13, 2*t - l = -9 for t.
-5
Suppose 0 = 5*s - 16 - 14. Let w be ((-16)/s)/(8/(-3) - -2). Solve -w*i - q + 12 = 0, 3*i = i + 4*q + 6 for i.
3
Suppose 5*v - 36 = l, -55 = 5*v + 2*l - 103. Solve -5*j = -4*q - 8, -8 = 10*j - v*j for q.
-7
Let u = 165 - 194. Let p(j) = j**2 + 31*j + 62. Let b be p(u). Solve 0 = -b*c + 2*o + 18, 2*o = -9*c + 4*c for c.
2
Let j(b) = -b**2 + 24*b + 63. Let u be j(-5). Let x = u + 117. Solve 0 = y + 2*y - n - 10, -3*y = 4*n - x for y.
5
Suppose -5*t = z - 15, 0 = -5*t + 30 - 15. Suppose z = -162*f + 175*f - 39. Solve 0 = -j - 4*h - 22, -4*j + 18 = -f*j - 4*h for j.
-2
Let j(f) = -3*f - 9. Suppose 4*v = -4*