= 8*w for q.
4
Suppose -3 = -r + 8. Let o = -5 + r. Suppose -2*f - 2*s + 24 = 26, 0 = -4*f - 5*s - 8. Solve -o*d + 5*d = 5*x + 16, 3*d = f*x + 24 for d.
4
Suppose 0 = -5*c - 5, 3*g = -2*g + 4*c + 84. Suppose -n - s + 9 = 0, 21*n - 23*n + 5*s + 39 = 0. Solve 0 = -3*i - 5*x - n, 3*x = 4*i - 2*x + g for i.
-4
Suppose 0 = -4*n + 35*a - 37*a + 86, -3*n + a = -82. Solve -n*d + 4 = -30*d - z, 0 = -3*z + 3 for d.
-1
Suppose -19 = -4*f + 3*f. Suppose 24 = -6*n - 72. Let u = f - n. Solve -o - o + 18 = -3*z, -5*o + u = -5*z for z.
-4
Let m = -3210 - -3219. Solve -3*i - 6 = -a, 0 = m*i - 13*i + a - 7 for i.
-1
Let d be 96/8*4/(-8) - -15. Solve t + 20 = -3*t, -3*h = -3*t - d for h.
-2
Let p = -14991 - -15005. Solve -4*x + 22 = -4*s - p, -5*s - 20 = 0 for x.
5
Suppose 0 = 7*o - 635 + 152. Let n = o + -65. Suppose 2*m = m + n. Solve -p = -m*t + 1 + 3, 4*p = -3*t + 22 for t.
2
Suppose 0 = -5*t - 15, 0 = -3*l + 15*t - 20*t - 15. Solve 3*u = 5*d - d + 4, l = 2*d + 4*u + 2 for d.
-1
Let k be (2/4)/(3*1/30). Suppose 0 = -2*g + k + 1. Solve -w + 3*w + 14 = 2*j, 0 = -g*j - 3*w + 9 for j.
5
Let i be 36/14*7*(-18)/(-27). Suppose -4*q = i, w = 9*q - 4*q + 16. Suppose 2*s - 14 = 5*z + w, -2*z = 5*s - 23. Solve 4*g - 9 = -o, s*o - 3*g + 0*g = -1 for o.
1
Let i(q) = 56*q - 37. Let u be i(1). Solve 4*v + l + l + 18 = 0, -l - u = 4*v for v.
-5
Let a = 587 + -579. Suppose -2*u + 10 = -0. Suppose a*k - u = 7*k. Solve k*o = 3*o + 5*q - 31, -2*o - 2*q + 4 = 0 for o.
-3
Let u = -7 - -11. Suppose -17*t + 18*t - 3 = 0. Suppose -5*o + 4 = -t*s - 1, 0 = o + 3*s - 19. Solve o = -u*z, 2*p + 1 = 3*z - 6 for p.
-5
Suppose 48*v - 24 = 46*v. Let f(z) = 2*z**2 - 24*z - 8. Let i be f(v). Let u be 2/(-3)*(i + 2). Solve 3*s - 5*l = u*s - 4, -5*l = -5*s + 20 for s.
4
Suppose -10*j + 13*j - 5*x - 119 = 0, 2*x = -4*j + 98. Solve -3*m + 8 - 2 = -3*g, -j = m + 4*g for m.
-4
Let n(v) = -4*v**3 + 48*v**2 - 12*v + 147. Let d be n(12). Solve 0 = -2*w - 4*c + 14, -5*w + d*c + 0*c - 30 = 0 for w.
-3
Let w(s) = -s**3 + 15*s**2 + 2*s + 31. Let h be w(15). Let t = h + -62. Let a = t - -4. Solve 2*q - 4*b + 6 = 0, 8*b = -2*q + a*b + 21 for q.
3
Let z(w) = 3*w**3 - 20*w**2 - 5*w - 17. Let h be z(7). Let m be h - 0 - (-7 + 1). Solve g - q = 0, m*q = -5*g + 7*q - 1 for g.
-1
Let v(x) = -8*x - 131. Let f be v(-17). Suppose f*l - 5*s = -5, -3*l - 1 = 5*s - 6. Solve -j - 3*z - 2 = l, -4*j + 0*z + z - 21 = 0 for j.
-5
Let m = 526 - 520. Solve -3*b + p = m, 4*b + 5 + 3 = -p for b.
-2
Suppose -11*l - 2120 = -2120. Solve 9 = 3*t + 3*z - l*z, -t + 4*z = 17 for t.
-1
Suppose 117*s - 115*s = -2*l + 30, -4*l + 60 = -4*s. Solve 0 = 2*c + 2*u + 4, -5*c + 4*u = 61 - l for c.
-6
Suppose -2*y + 0*y = -m + 97, -3*m = 4*y - 291. Let s = 75 + -168. Let g = s + m. Solve -2*v - v - g = -2*k, -11 = 3*k + 4*v for k.
-1
Let m(t) = t**3 + t**2 + 4. Let y be m(0). Suppose k + y*j + 13 = j, -4*j = 5*k + 10. Solve -2*n = z + 1, 6*n = k*n + 5*z - 23 for n.
-2
Let a(v) = -7*v - 93. Let w be a(-21). Suppose -g = 4*n - 4, 5*g + 3*n = -0*n + w. Solve -11 = q - 4*s, q - 3*s = 4*q - g for q.
1
Let f be 80/(-90)*(-45)/20. Solve 4*a + 10 = -f*l + 28, 2*a - 4*l - 4 = 0 for a.
4
Let k be (-2)/2 + 4 - (-1813)/37. Let t be (-21 - (0 - -1))*(-78)/k. Solve 4*s - x + t = 4*x, -3*s = -3*x + 21 for s.
-2
Let b(a) = a**2 + 82*a + 1324. Let h be b(-22). Solve -41 = h*s - 5*f, 0 = -3*s + 6*f - 7*f - 7 for s.
-4
Let s = -6530 + 6537. Solve 2*x - 14 = -4*b, 0 = 2*b - b + 4*x + s for b.
5
Let t(i) = -63*i**2 - 319*i - 15. Let z be t(-5). Solve -2*b + 12 = 3*v, -49*b + 44*b + 20 = z*v for v.
4
Let b = -4071 - -4074. Solve 0 = -p + f - 2*f + 2, p + 6 = b*f for p.
0
Let y(k) be the third derivative of 5*k**4/24 - 7*k**3/6 - k**2. Let j be y(2). Suppose j*g - 13 = -4. Solve -5*o + g*v - 6*v + 13 = 0, v - 16 = -4*o for o.
5
Let i be (-30)/(-1*(-9)/(-12)). Let g(h) = -h**2 + 692*h + 33180. Let s be g(-45). Solve -5*o + 2*z = -s, 3*o - 5*z + i = 6*o for o.
5
Suppose 6*k = 8 - 10 + 26. Solve -3*f + 4*y = -5*f, -k*y = -f + 12 for f.
4
Suppose u = v, -v - 4 + 0 = -3*u. Suppose 4*x - 8*x = 2*x. Suppose x*z + z = -3*t + 8, -4 = -4*t. Solve -4*b - 4*f = -5*b + 11, -z*b - u*f = 33 for b.
-5
Let x(y) be the third derivative of y**6/120 - y**5/5 - 3*y**4/8 - 8*y**3 - 175*y**2. Let d be x(13). Solve -4*s - d*i - 4 = 0, 8 = 7*i - 5*i for s.
-5
Suppose v + 48 = 2*h, h - 3*v = 44 - 15. Solve -3*m - 63 = -t - 49, 2*t - 5*m = h for t.
-1
Suppose -10*w = 20 - 70. Suppose -10 = j - 3*q, w*j + 2*q = -11 + 29. Solve -5*z = -4*n + 35, 0 = -4*z - j*n - 2 for z.
-3
Suppose -70*l + 648 = -16*l. Solve -v + 13 = -4*x, -3*v = 11*x - l*x - 6 for v.
1
Let q(y) = -y**3 + 8*y**2 - 6*y - 4. Let f be q(7). Let b = -1268 + 1282. Solve b = -4*z + f*n, z - 4 = -4*n + 2 for z.
-2
Let q = 145 + -142. Suppose -12 = -5*h - 2*w, -2*h - q*w = w - 8. Solve -4*c - 10 = -3*o + c, -h*o + 15 = -5*c for o.
-5
Suppose 741 = 235*o + 12*o. Solve -5*k - 25*x + 15 = -26*x, -x = o*k - 1 for k.
2
Suppose -2*i = -d + 8 - 9, 0 = d - 3. Solve 0*y + 3*y + 2 = -5*k, -i*k + 5*y + 24 = 0 for k.
2
Let u(k) be the first derivative of k**2/2 + 6*k + 7. Let h be u(-3). Let f be (1 + -2 + 0)*0/h. Solve f = 4*c + 3*i + 2*i + 25, 5*c = 4*i - 21 for c.
-5
Let y(u) = 338*u + 3045. Let v be y(-9). Suppose -3*g + 8*g = 20. Let h = 0 + g. Solve 0 = -4*q - 12, 0 = v*z - 0*z + h*q - 3 for z.
5
Suppose 0 = -63*m + 525 + 924. Solve 2*o + 28*y - m*y = 0, 0 = -5*o + 4*y for o.
0
Suppose s + 141 = -5*y + 173, -5*y = -5*s - 50. Solve 0 = -3*q - 3*a + 21, 4*q - y - 9 = 2*a for q.
5
Suppose -4*q + 10 = v, 27*q - 25*q = -3*v. Solve 0 = -q*m + 5*r + 20, r - 7 + 13 = m for m.
5
Let a(l) = 2*l**2 + 4*l - 235. Let b be a(-12). Solve 3*u + 15 = 3*q - 12, -5*q + b = 3*u for q.
4
Let q = -315 - -312. Let z be (-7)/((-28)/24) - (-12)/q. Solve -5*d - g + 25 = 0, 0 = -0*g - z*g for d.
5
Let w = -350487 + 350495. Let z(c) = -1 + 2*c + c**2 - 3*c + 0*c**2. Let y be z(3). Solve b - w + 29 = -y*i, 2*i - 5*b = -3 for i.
-4
Let a(y) be the third derivative of -y**4/8 - 23*y**3/2 - 83*y**2. Let s be a(-24). Solve -r + 3 = s*c - 3*r, 3*c = r for c.
-1
Suppose 0 = -2*c - 17 - 47. Let b(y) = -y**2 + 8*y + 342. Let t be b(-14). Let s = t + c. Solve -s*x = 2*u + x - 13, -u - x + 5 = 0 for u.
2
Suppose 0 = 2*j - 2*x - 18, -4*j - 4*x + 34 = 14. Solve 0 = 5*u + 5*t, 4 = -u + j*t - 9*t for u.
4
Suppose 2671*q + 37 + 82 = 2678*q. Solve 2*s = -2*v, v = -q*s + 18*s - 10 for v.
-5
Suppose 3*h + 6*b + 243 = b, -h = 3*b + 77. Let g = -84 - h. Suppose 4*k = 4*d + 20, -11 = -3*k + g*d - d. Solve 2*v - k = 4*v - 3*j, 3*v = -j + 1 for v.
0
Suppose -3*m = 13 - 22. Let o be (-8)/16 - ((-30)/4)/m. Suppose -4*q - 18 = -2*b - o*q, -3*b = 4*q + 8. Solve 3*k + 2*a = 11, 5*k + b*a = 7*a + 12 for k.
3
Suppose 54*z + 69 - 563 = 370. Solve -21*f + g - 11 = -z*f, -5*f - 3*g = 7 for f.
-2
Let z be ((-1 - -81)/(-4))/(-2). Suppose -2*n + q + z = -0*n, 5*n - 25 = -4*q. Solve -n*u = -y - 9, -2*u + y + 0*y + 6 = 0 for u.
1
Let m be (-1 - 8/(-16))/(3/(-18)). Let n = -3 + 6. Suppose -5 = -4*y + 4*k + m, n*k - 18 = -3*y. Solve 5*b = 4*x + 7, -y*b + 5*x = 1 - 3 for b.
3
Let f = -36 + 39. Suppose -5*g - 12 = f*y - 2*y, 0 = -4*g - 4*y - 16. Let k be 6 - ((-4)/(-12))/(g/(-18)). Solve 5*o + 2*s - 23 = 0, -s - 20 = -k*o + 4*s for o.
5
Let x(f) = 3*f**3 - 50*f**2 + 187*f + 1. Let c be x(11). Solve 3*y = -5*q - 1, -2*q - 5*y - c = 7 for q.
1
Let w be 0 + (2/(-5) - 20/(-50)). Suppose 5*t = -2 + 17. Suppose -t*g + 2*g + 2 = 0. Solve g*s + 8 = 4*s, w = k - 5*s + 17 for k.
3
Let n = -13292 + 13293. Solve o + 3*k = -3, -31*o + 26*o = -k - n for o.
0
Let n be 0 + (-3)/(-12) + (-189)/(-28). Suppose 0 = 5*p + l - 54, l + 2*l - 62 = -5*p. Let w = p - n. Solve u - 13 = -2*y, 0 = u + w - 6 for y.
5
Let a(m) be the second derivative of -m**5/10 + 23*m**4/6 + m**3/6 - 9*m**2 - 12*m. Let o be a(23). Solve 3*u - 18 = 3*r, o*u + 3*r - 2*r - 24 = 0 for u.
5
Let t be -12*(-5)/20 + 15. Solve -22*l + t*l + 16 = i, 0 = -3*i for l.
4
Let f(s) = 2*s + s**2 + 19 - 39 + 17 - 36 - 37. Let q be f(8). Solve -m + 4*i = -16, 7 - 1 = -q*m + 2*i for m.
-4
Suppose 0 = 2*n + 4, -46*r + 42*r = 4*n - 4. Solve -3*l + 7*s - 12*s = 11, -5*l - 7 = -r*s for l.
-2
Let l(m) = -6*m**2 - 47*m - 84. Let d be l(-3). Solve -2*o = -5*i + 21, -3*o = 5*i + o