11 - 1 = m. Solve -6 = -o*t - 5*n, -3*t = n + 3 - 9 for t.
2
Let a(g) = -44*g + 733. Let k be a(16). Solve 25*d + k = 5*r + 29*d, -r = -5*d for r.
5
Let x = -63 - -72. Suppose 2*m - w - x = 0, -5*m - 3*w + 21 - 4 = 0. Suppose i = 2*t + 3*i + m, 0 = t + 3*i + 10. Solve -t*a - 6 = 0, -19 = 2*h - h + 5*a for h.
-4
Let j(q) = q**2 - 4*q + 2. Let n = 43 + 19. Let w = n - 58. Let b be j(w). Solve 0 = -i + 3*h - b*h + 4, 3*h = -3*i - 12 for i.
0
Suppose 2*f = -5*j + 87, f = 2*j - 2*f - 50. Solve -5*k - 22 = -c, -22*c + j*c = -5*k - 26 for c.
2
Let x = 45 - 43. Let b be 2 + (-612)/(-238)*(1 + 6). Solve -2*d + 7*d = 5*c + b, -12 = -x*d - 2*c for d.
5
Let b = -738 + 1280. Suppose b*q = 544*q - 4. Solve 5*x - 6 = -2*t, -4*x + 2*t + 10 = -q for x.
2
Let r = -37 - -55. Suppose -r*j = -20*j + 16. Suppose -5*a - 2*p = -0*a + 8, 0 = -2*a + 5*p + 20. Solve 2*q - j = -4*k - a*q, -q = k - 1 for k.
3
Let u(m) = -m**2 + 6*m - 5. Let b be u(4). Let z be 24*b/(-6)*-1. Suppose -33*p - z = -36*p. Solve -14 = 4*s + 2*n, -n + 2 = -p*s - 21 for s.
-5
Let j be -2*(19 + -13 + -5). Suppose 4*n - 13 = -33. Let o be n - 22/(-2) - j/(-2). Solve s = -5*t - 0*s - 25, 4*s = o*t for t.
-4
Let l(s) = -2*s**2 - 7*s + 737. Let k be l(-21). Solve a + 22 = -4*b - a, k*b - a + 5 = 0 for b.
-4
Suppose 7*f - 55 = 2*f. Let k = f + -7. Suppose -i - 17 = -k*b, -5*i - 5*b = -28 - 12. Solve -5*s = i*c + 2 - 0, 3*s = -2*c - 2 for s.
2
Let h(g) = -3*g**2 - 15*g + 16. Let j be h(-5). Solve 3*q + 7 = -t, 8 = 4*q + j for t.
-1
Let k be (14/(-2))/((-1610)/920). Solve 18*t - 16*t = 4*b + 8, -14 = k*b - t for b.
-5
Let i(q) = -q**2 + 6*q + 3. Let d be i(6). Suppose -4*k + 69 = w, d*k + w - 68 = -3*w. Solve 3*a = 5*z - 8, -a + k = -0*a + 3*z for a.
4
Let b = 64 + -39. Suppose j + 10 = 5*h + 2*j, 0 = 5*j + b. Suppose -6*c + 6 = -h*c. Solve -2*s - c*p - 14 = 0, 5*p = -3*s - 0*s - 31 for s.
-2
Let k be 3/(((-52)/(-51) - 1)/(4/18)). Solve 0 = 5*u - d + 12 - k, 0 = u + 2*d for u.
4
Suppose 4*a = -4*n + 12, 11 = 3*n + a - 4. Suppose n*h + 0*h = 0. Suppose -2 = w - 3, h = 2*v + 4*w - 8. Solve 11 = 2*f - 0*f - s, -5*f + v*s + 27 = 0 for f.
5
Suppose -2529*a = -2502*a - 945. Solve -i + a = -5*j, 8 = j + j + 4*i for j.
-6
Let x(p) = 7*p. Let y be x(2). Let v = -121 + 115. Let f(a) = -a - 3. Let o be f(v). Solve -5*w - 3*c = -y, 11 = 3*w + o*c - 1 for w.
1
Suppose 5*d = 5*m - 2 + 7, 5*m - 10 = 0. Suppose 7 = 5*p + 2. Let u be p - -2 - (8 + -5). Solve -3*y = -z - 6, u*z + 4*z + d*y - 6 = 0 for z.
0
Suppose -252 = -12*m - 36. Solve 0 = -4*j + 16, -2*q + 5*j - m = -4*q for q.
-1
Let g(w) = 16*w + 29. Let k be g(6). Let r = k + -122. Solve -r*x = -7*x - 4*q - 16, 0 = -3*x + 3*q for x.
-2
Let n(f) = -f**3 + 30*f**2 + 65*f - 31. Let u be n(32). Suppose -3*h - u = q, 2*q - 5*h + 0*h = 20. Solve o = -3*t + q, -t = 4*o - 1 - 8 for o.
2
Let a be (468/42)/((-1)/(-7)) + 2. Suppose -12*k + 8*k + a = 0. Suppose 3*s = 4*r - 47, -s - s + k = 2*r. Solve 2*f = 5*g + r, -2*g = -4*g + 3*f for g.
-3
Let b be (7 - 35/5)/((0 - 2)/2). Solve 7*s - 10*s = v + 11, b = -v + 4 for s.
-5
Let t = -64 + -14. Let s = -57 - t. Let f be s/2*(4 + -2). Solve -4*i + f = 5*q, -2*i = 5*q - 0*q - 13 for q.
1
Suppose 27 - 28 = -10*m + 19. Solve -5*l - 4*r - 22 = 0, 2*l - m*r + 4 - 6 = 0 for l.
-2
Suppose -7 = -4*p + 5. Let v(h) = 2*h**2 + 6*h + 7. Let b be v(-1). Let m be b - (7 + -11) - 4. Solve -5*u + 2*a + m*a = -5, p = 3*u + 3*a for u.
1
Let s(n) = -n**2 + 6*n + 2. Let y be s(6). Let m be (-19)/190 + 22945/(-50). Let u = m - -461. Solve y*f - 4*i - 2 = -0, -2*f + u*i = 0 for f.
-1
Let w = 42 - 34. Suppose -5*x + 31 = -w*x - h, 0 = -x - 5*h - 29. Let o be (12/10 - 0)/(x/(-60)). Solve z + 0 = -2*f - 8, 0 = 4*f - 2*z + o for f.
-3
Let o be 888/(-185)*(-10)/8. Solve -4*a - 10 = 3*s, 20 = -s - 4*a + o for s.
2
Let j(t) = -t**2 - 15*t - 28. Let a be j(-5). Solve -5*h - 8 - a = 4*y, -2*y = -5*h for y.
-5
Let z(u) = -63*u - 441. Let y be z(-7). Solve 0 = 8*w - 10*w - 3*v + 12, y = 4*w + v - 14 for w.
3
Let h(p) be the third derivative of p**4/24 + 5*p**3/3 + 6*p**2. Let q be h(-8). Suppose -q*j + 12 = 2*j. Solve 2*i + 2*i = -5*w + 33, 0 = 2*w + j*i - 16 for w.
5
Let v = 402 + -396. Let a = 17 - v. Solve -2*p = l - a, -4*l + 3 = -1 for p.
5
Suppose -4*n - 5*r = -88, 461*r = n + 462*r - 22. Solve m + m = -3*w + n, -4*m + 40 = 5*w for w.
4
Let y(q) = -2*q**2 + 22*q + 86. Let o be y(-3). Solve 3*v - 30 + 33 = -o*m, -4*m = 5*v + 1 for m.
6
Suppose 0 = -37*f + 35*f. Let m = 0 + 4. Let p be m + f + (3 - 3). Solve -p*y + 10*d = 5*d + 30, -4*d = -y - 13 for y.
-5
Let w = -262 + 263. Let s be (-11)/66 + 19/6 - w. Solve 3 = -3*i + 4*c, 5*i - 2*c - 7 = s for i.
3
Let d = -206 - -211. Suppose d*k - 368 = -338. Solve k = 2*t - 2*i - 2*i, 7 = -t - 3*i for t.
-1
Suppose 0 = -99*t + 71 + 226. Solve 0 = -m + t*b + 7, 5*m - 12 = 2*b - 3 for m.
1
Suppose 0 = 3*m + o - 91, o = -5*m - 4*o + 165. Let c = m + -29. Suppose c = 3*i - 12 - 3. Solve -4*b = -0*b - 2*r - 20, 0 = 5*b - i*r - 25 for b.
5
Suppose 2*j - 13 = -i, -19*j - 1 = -i - 18*j. Solve 0 = l - 5, -2*k - 19 = -i*l - 4 for k.
5
Suppose 0 = -d - 15 + 33. Suppose d*x + 5 = 23*x. Let s be 35/(x*(-2 + 3)). Solve -3*l + 6*l + s = 5*k, 2*k + 5*l + 17 = 0 for k.
4
Let n = -3964 + 3964. Solve 3*r + 4*y - 2*y - 13 = n, -5*r + 30 = -5*y for r.
5
Let o(v) = -v**2 - 10*v - 37. Let t be o(-5). Let d be 2 + (-6)/t*42. Solve 3*f - 5*f + 20 = 4*z, 5*z - d = -2*f for z.
3
Suppose s + 0*m + m + 8 = 0, -40 = 5*s + 2*m. Let r be (-54)/s - (-8)/32. Suppose -c - b = -4, 0*b - 4*b + 6 = -c. Solve o + 5 = 4*z, -r = z + c*o - 5*o for z.
2
Suppose -25*b - 1743 = -606*b. Solve -4*f + b*y + 26 = y, -2*y - 10 = 0 for f.
4
Let z(h) = -159*h + 6369. Let x be z(40). Solve 2*y + m + 10 = 0, 5*y + 5*m - x = -34 for y.
-5
Let n(t) be the first derivative of 2*t**3/3 + 3*t**2 - 53*t - 152. Let b be n(-7). Solve -b*i + 0*v = -4*v - 8, 0 = -5*i - v + 21 for i.
4
Let f be 23 - (6 - 3/1). Suppose 287*o - 292*o = -20. Solve -8*l + o*l = -2*q + f, -3*l - 9 = 0 for q.
4
Suppose -5*k = 25, -5*y + 97 - 82 = -k. Solve 6*r + 16 = y*r + q, -2*q = 4*r + 16 for r.
-4
Let s(a) = -2*a**2 - 4*a + 50. Let z be s(18). Let l = -667 - z. Solve -4 = l*g - 5*g, -3*q = g - 5 for q.
1
Let v be (69/276)/(2/16). Solve -o - 2*y + v = 0, o - 5 = -y + 2*y for o.
4
Let j be 16/(-72) + (-1524)/(-54). Suppose 25*n - 159 = -j*n. Solve 3*w + 0*w - n = -3*b, 0 = -3*w - 3 for b.
2
Suppose -1490 = -35*j - 1350. Solve 5*h + j*d + 30 = 14, 2*h = -d - 4 for h.
0
Suppose -25*f - 3*b - 6 = -22*f, 3*f + 7*b = -14. Solve 4*k + 4*c - 20 = f, 16 = 175*c - 171*c for k.
1
Let w(h) be the third derivative of -h**6/120 + h**5/6 + 7*h**4/12 - 31*h**3/6 + 4*h**2 - 15. Let p be w(11). Solve i = y - 1 - p, -7 = -3*y + 5*i for y.
4
Suppose 25 = -5*c, -5*d + 0 = -3*c - 25. Suppose u - 4*u - 2*n + 8 = 0, -n = -1. Let t = 13 - u. Solve -t = x - j - d*j, -x = 3*j - 19 for x.
4
Suppose 4*v - j = 2*j + 3, 0 = -5*v + 5*j. Suppose -54 = -6*r + 3*r. Suppose -6*d + r = 3*d. Solve 2*y = -2*n, -v*y + 2 = d*n + 3 for y.
-1
Let m(t) = -t**2 - 220*t - 858. Let r be m(-4). Solve 4*n = -4*o + 3*n + 2, 5*o + 3*n = r for o.
0
Suppose -29*d = -1100 + 984. Solve -2*r = -4*h - 24 + d, 2*r - 15 = 3*h for r.
0
Suppose 0 = -5*l - 4*q - 165 - 100, -4*q - 216 = 4*l. Let k = l + 84. Suppose 4*s + k = 3*z, -3*z - 5 = s + 3*s. Solve h = 5, -z*m + 2*h = -0*h + 35 for m.
-5
Let t = 38319 + -38306. Solve -o - 2*n + t = 0, -2*o + 0*n + 14 = n for o.
5
Suppose -4*r - 119 = 61. Suppose 2*m - 10 = 16. Let h be 24/m - (1 + r/39). Solve 3*u - 3 = 3, h*c + 5*u = 2 for c.
-4
Let o = 19110 - 19106. Solve -o*s = 5*i - 32, 2*s + 72 - 82 = -i for i.
4
Let l = 978 - 963. Solve 0 = -5*r + 4*n - 25, -l = r - n - 10 for r.
-5
Let g(t) be the first derivative of -t**3/3 - 9*t**2/2 - 18*t + 68. Let m be g(-5). Suppose -2*k - k + 48 = 0. Solve -2*q - x + 6 = 0, m*x + 2*x = k for q.
1
Let h be (22 - 19)*(-4)/6. Let d = 45 - h. Let s be 15/(-20) + d/4. Solve -4*t - 5*j - s + 3 = 0, 2*t + 4 = 4*j for t.
-2
Let c(p) = 4*p - 2*p + 0*p - 4*p - 20. Let d be c(-17). Solve -2*y + 0 + 22 = -4*b, -3*b = y + d for y.
1
Suppose 0 = 34*x - 126*x + 1196. Solve 2*p - l - 3 = 0, x*l = 2*p + 11*l for p.
3
Let n(o) = o**2 + 3*o - 17. Let x be n(-10). Suppose -3*z + 65 = x. Sol