 for u.
3
Let d(h) = -h**3 - 11*h**2 - 6*h - 11. Let n = -59 - -50. Let v be d(n). Let k = 124 + v. Solve 0 = -4*a - k*b + 2*b - 8, 2*a + b = -6 for a.
-5
Let h = 420 + -418. Let t be 5 + -1 + (1 - h). Solve 0 = -2*d + 3*g - 6, -6 = 3*d + 5*g + t for d.
-3
Suppose 640 = 18*s - 10*s. Let x = -75 + s. Solve -4*w - 15 = x*c, -2*c - 3 - 3 = -3*w for w.
0
Suppose -34*h - 43 = -145. Solve 9 = -h*n, -5*n = -s - 3*s + 35 for s.
5
Let q(x) be the third derivative of -x**6/120 - x**5/12 + 11*x**4/24 + 6*x**3 - 118*x**2. Let a be q(-6). Solve -1 - a = 5*s + 3*d, 4*d + 17 = s for s.
1
Suppose -9 = -4*n + n. Let a = -522429 - -522429. Solve -v = -a*v + n*p - 14, 3*v = 5*p - 14 for v.
2
Let o(f) = -10*f - 5. Suppose -2*q - 7 - 9 = 0. Let g be o(q). Let n = -47 + g. Solve 0 = 4*a - 4*p - n, 3*a + 0*p - 31 = 5*p for a.
2
Let o be (-68)/(-51)*63/(-6). Let y be 22/(o + 3) + 4/1. Suppose -4 + 0 = -m. Solve 3 = -y*d + 5*u, 0 = m*u - 4 for d.
1
Let i be ((-21)/42)/(9/(-54)). Solve -10 = -5*u, -4*v - i = 3*u + 7 for v.
-4
Suppose 0 = -824*d + 819*d + 10. Solve 0 = b + 2*b + d*r + 20, -2*b + 4*r = -8 for b.
-4
Suppose 32*t - 277*t + 89 = -891. Solve 5*h - 2 = -68*u + 70*u, -t*h + 5 = -5*u for h.
0
Suppose -4*p - 5*t + 540 = 0, -3*t = -4*p + 2*t + 500. Let n = p + -130. Solve 2*g = -5*k + k, n = -4*k + 2*g - 16 for k.
-2
Let x be (-79)/(790/360)*(2 + 14/(-6)). Solve -5*r + 13 = 4*f, -7*f + x*f - 4*r = 6 for f.
2
Let f = -11 + 12. Let t(w) = 2*w + 36. Let k(q) = q - 1. Let l(v) = f*k(v) + t(v). Let d be l(-10). Solve -j + 4 = 3*s, 0*j + 4*s + 20 = d*j for j.
4
Suppose 61*b = 59*b - 1396. Let r = 722 + b. Solve r = -i - 5*k, 2*i - 6*i + 4*k + 24 = 0 for i.
1
Let j = -1323 - -759. Let w = j + 587. Solve -3*b - 7 + w = 2*v, 0 = 5*b + 3*v - 26 for b.
4
Suppose 5*x + 5*l - 637 = 53, 5*l = 2*x - 241. Suppose -x + 38 = -19*f. Solve -3*c = -16 + 1, a + 2*c = f for a.
-5
Let f(x) = -3*x - 25. Suppose -2*r = 6*r + 72. Let b be f(r). Suppose b*v = -j + 3, 2*v - 2*j - 14 = v. Solve -4*y - 8 = -2*q - q, -5*q + 2*y = -v for q.
0
Suppose 10*j - 5*j = 0. Suppose -12*x + 15 + 45 = j. Suppose -z + 30 = x*z. Solve -2*n = 2*g + 12 - 2, -z*g = -3*n - 7 for g.
-1
Suppose 82*b + 42*b = 52*b + 216. Let x(s) = -s - 1. Let y be x(-4). Solve -2*d - b*v = -7*d + 3, -y*d + 5*v - 11 = 0 for d.
3
Let n(p) = 42*p - 158. Let l be n(4). Let v be 2 - 3 - l/(-2). Solve -2*k + 24 = -4*q, -k + 18 + 4 = -v*q for k.
2
Suppose 26*r - 26 = 13*r. Suppose m + 3 = 5*w - 12, r*w - m - 9 = 0. Solve -2*c = h, 0*h + w*c = -3*h + 8 for h.
4
Let b be ((-4)/8)/(1/(-8)*2). Suppose -11 = -3*s - q, b*s = q + 2 - 3. Suppose 0 + s = f. Solve -4*h = 5*a - 27, 3*h = 5*a + f*h - 12 for a.
3
Suppose -462*f + 15 = -459*f. Suppose 6*t = 2*j + 7*t - 7, 5*j - 40 = f*t. Solve 2*h - 18 = -j*s, 5*h + 0*h = 2*s + 16 for s.
2
Let u be (-1*1*-3)/(-139 + 140). Solve 2*t = 6, f - 5*t + 12 + u = 0 for f.
0
Suppose 0 = 4*d - 11 + 3. Suppose 0 = -4*g, 3*m + 4*g = -186 + 1962. Let k = m + -587. Solve -c + 21 = -4*q, -d*c - 22 = k*q + c for q.
-5
Let z = 219 + -218. Let d be 16 + (-2)/z + (0 - 4). Solve -5*w + d = -o, -o = -2*o for w.
2
Suppose d - x = 18, d = 2*d + x - 16. Suppose 13*i + 2*i - 75 = 0. Solve 4*j = -o + j - d, i*o = -4*j - 30 for o.
-2
Let v be (4 + (-96)/20)*(-30 - 0). Suppose -4*x + 16*x - v = 0. Let r be (-16)/(-5)*40/16. Solve 4*u = -3*q, 2*q - 22 = x*u - r for u.
-3
Let w(g) = -g + 6. Let j(d) = -6*d**3 + 2*d**2 + 3*d. Let h be j(-1). Let x be w(h). Solve 3*n + 5*b - x = 4, -3*b = 2*n - 3 for n.
0
Let g be (-2323)/(-15) + (-22)/(-165). Let n be ((-62)/g)/(0 + 2/(-10)). Solve 4*z + 5*c + 25 = 0, z - 3*c = -0*z - n for z.
-5
Suppose -5*b = -3*o + 48 - 10, -o + 5*b + 6 = 0. Solve -5 + o = j - 5*m, -8 = -4*j + 2*m for j.
1
Let w be (-17)/(5/2*8/160). Let c = w - -141. Let q be 5*(4 + -5)/(-1). Solve 2 = -2*b - 0*x - 2*x, b = -q*x - c for b.
0
Let z = 4156 - 4150. Solve 5*i = 5*c + 45, z*c = 2*i + 2*c - 26 for i.
5
Let g(a) be the third derivative of -a**6/40 - a**5/6 + a**4/6 - a**3/6 + 8*a**2. Let n be g(-4). Solve -4*u + 0 = j + n, 0 = 5*u + 20 for j.
1
Suppose 0 = -7*n + 13*n + 12. Let c be ((-2)/(-5) + n)/(4/20). Let q = -6 - c. Solve q*o + 3*v = -3*o, -25 = 5*v for o.
3
Let a(m) = 4*m**2 + 4*m + 27. Let x be a(-12). Let d = 568 - x. Solve -3*l = 5*p - 3 - d, 3*p = -5*l for l.
-3
Let r(q) = q**3 + q**2 - 13*q - 8. Let o be r(-4). Let a be (2 + o/6)*3. Solve 0 = 3*b - 2*s - 13, s = 4*b + a - 18 for b.
3
Suppose 5*v - 3*h = 19, -63*h + 59*h + 8 = 0. Solve -5*r = -v*a - 40, -9*r + 8 = -5*a - 12*r for a.
-4
Let m be (-8)/(-10)*85/34. Suppose 110*p = -3*o + 109*p + 33, -5*o = -2*p - 66. Solve -d - m*r + 1 = 0, 3*d = d + 3*r - o for d.
-3
Suppose 0 = -r - 3*r + 4*g + 40, -g + 10 = 3*r. Suppose 0 = r*k + 154 - 164. Solve -3*s = -3*c - 15, -4*c = -0*c + k*s + 20 for c.
-5
Let q be (((-6)/(-8))/3)/(27/108). Let b = 231 - 217. Solve -y = -3*g - 5, b = 3*y - 3*g - q for y.
5
Let h = 33 + 227. Let p be 156/h - (-3)/(-5). Solve 0 = -2*x + 4*d + 14, p = -x - 4*d + 3 - 2 for x.
5
Suppose -40*x = 5 - 205. Solve -40 = -5*t + 4*p, x*t - t - 5*p - 41 = 0 for t.
4
Suppose 3*i - 7*r - 4 = -8*r, -3*r = 3*i. Solve 0 = -i*q - 3*o - 3, 5*q - 15*o - 1 = -14*o for q.
0
Suppose 2694*m + 5*o = 2697*m + 11, 3*m - 3*o + 3 = 0. Solve -5*z + 5 = -10, -2*z = 3*p + m for p.
-3
Let s = 240 + -240. Suppose s = 2*d - 3*d. Solve 3*p + 0*p = -w - 3, 4*p - 2*w + 14 = d for p.
-2
Suppose -645*m = -636*m - 135. Suppose -3*o + m = -8*v + 4*v, o - 5 = 3*v. Solve 4 = 3*z - 5*w, 3*z + 2*w = o + 6 for z.
3
Suppose 0 = -2*k - l + 470, 3*k + 0*l - 687 = 3*l. Suppose 221 - k = -2*u. Solve -5*a - 12 = -h, -2*a = 4*h - u*a for h.
-3
Let k = 756 + -751. Solve -3*m + r = -13, k*m - r - 31 = -4*r for m.
5
Suppose 16 = -4*j, 2*h + 4*j - 3 = -7. Let v be ((-8)/14)/(516/(-84) + h). Solve 8*u - 4*u = -v*a, 0 = -4*a + 5*u - 27 for a.
-3
Suppose -2*r = r. Suppose 2*i - 5*t + 6 = r, -5*i + 27 = -4*t + 8. Let o be -8*(-3 - (-10)/4). Solve x + 28 - 9 = -o*g, -3*x + 4*g = -i for x.
-3
Let l(x) = -35*x + 70. Let a be l(2). Suppose 28 = 4*k - a*k - 2*b, 5*k + 2*b = 53. Solve 3*h + k = -v, -3*h - v = -h + 7 for h.
-2
Let v be ((-26)/6)/(8/720*-5). Let r be 1/2 - v/(-12). Solve r = d - 0*l + 4*l, -2*d - l = -7 for d.
3
Let y = -244 + 332. Suppose -y = -19*c + 7. Solve 7*j = 3*j - 8, -6 = -d + c*j for d.
-4
Suppose -3*c = 2*f - 3, -c = -54*f + 58*f - 11. Solve -2*u - 18 = 2*l - 6*u, -5*l - 11*u = f for l.
-5
Suppose 5*x = 1901 - 211. Let h = x - 335. Solve 6 = -2*q + q + h*f, 0 = -5*q - 4*f - 11 for q.
-3
Let x(j) = 24*j**2 - 17*j - 30. Let q be x(2). Solve -30*k + q*k = 5*i - 13, -3*i = -3 for k.
-4
Suppose -a - 4*a = 90. Suppose 17 = -3*r + r - 5*y, -2*y + 52 = -2*r. Let f = a - r. Solve 3*v = o - 7, -f*v + 5 = 2*o - 0 for o.
4
Let y = -10 - -14. Let g(u) be the first derivative of -u**3/3 + 37*u**2/2 - 159*u + 103. Let t be g(5). Solve -4 - t = z - y*h, 3*h = 5*z - 9 for z.
3
Let t(o) = -6 + 10 - 4*o + 4*o - 2*o. Let r be t(-12). Let z = r + -24. Solve -i - 3 = 0, 2*k + z*i + 13 = -3 for k.
-2
Let z = 66 - 62. Suppose 15*x - 16*x + 3 = 2*u, 0 = -z*x - 3*u + 32. Solve -2*s = 3*t - x, 3*t = 4 + 11 for s.
-2
Let r = 141 + -134. Suppose -3*w + 16 = 4*p - r*w, 0 = -4*w + 16. Solve 0 = l - 4*l - 3*d + 6, l - p = 5*d for l.
3
Suppose 0 = 162*j - 155*j - 28. Solve -3*w - 5*p + j = 0, 4*w + 3*p = -p for w.
-2
Let h(c) = c**3 + 4*c**2 + 4*c + 4. Let p be h(-4). Let a be (-40)/p - 6/(-9). Let b be a - (1 + 1)*8/16. Solve -2*y + 5*j - 20 = 0, -j = 3*y - 2*y + b for y.
-5
Let w = 35 + -31. Suppose 0 = -w*i - 2*i - 18. Let d be (-55)/(-15) + i/(-9). Solve -2*l + 10 = d*q, 0*l - 8 = q - 3*l for q.
1
Let s = 1636 - 2589. Let h = s - -958. Let x = 10 - 6. Solve -4 = x*l - l + 2*z, 2*z + 4 = -h*l for l.
0
Let z = -93914 + 93914. Suppose 0 = 4*g - 6*g. Let u = g + 1. Solve 2*s - 5*i + 17 + u = z, 12 = -4*s - 2*i for s.
-4
Let p = 1110 - 771. Let k = -318 + p. Solve 0 = -h - 4*q - k + 8, 3*q = -9 for h.
-1
Let f = 2553 + -2553. Solve -6*t = -3*t - z - 19, -2*t + 3*z + 22 = f for t.
5
Suppose -29*x + 31*x = 0. Suppose v = 3*m + 4*v, x = -m + 3*v + 12. Solve -3*t = 4*o - 20, 4*t + 0*o - 22 = -m*o for t.
4
Let t = 4878 - 4855. Solve 5*b + 20 = v, 4 = 3*b - 2*v + t for b.
-3
Let u be (((-38)/3)/19)/((-3)/153)