26227 + -26222. Solve -m = 5*w - 12, -2*w = -p*m + 34 - 28 for w.
2
Let c(j) be the third derivative of 0 - 9*j**2 + 1/24*j**4 + 0*j + 2*j**3. Let q be c(-7). Solve -q*w + 0*w + 2*f = -2, 0 = -4*w - 2*f + 16 for w.
2
Let l(q) = 17*q - 2. Let y be l(1). Suppose 24 = 3*i + y. Suppose i*m - 5*r = -1, 0 = 3*m - r + 4*r - 15. Solve -m*c + w + w - 3 = 0, -w + 4 = -4*c for c.
-1
Suppose -1838*s = -1616*s - 666. Solve -31*k + 5*f = -34*k + 5, -f = s*k - 13 for k.
5
Let f(w) be the first derivative of 5*w**2/2 - 5*w - 3. Let c be f(-2). Let j be 10/(-6)*(c - -12). Solve -5*s - 2*n - 16 = -j*n, 5*s + 4*n + 2 = 0 for s.
-2
Let c = -546 + 578. Suppose 0 = 6*w - 62 + c. Solve -3*j + w = 2*t, 2*t - 7*t - 4 = 2*j for t.
-2
Let z = -4199 - -4202. Solve -5*h + z*d = 24, -4*h - 3*d + 11 = 14 for h.
-3
Let s(b) = -6*b**3 + 11*b**2 - 7*b + 21. Let q be s(2). Solve 66*a - 71*a + 5 = 4*w, -3 = -q*w - 4*a for w.
5
Let j(n) = 292*n + 1188. Let k be j(-4). Solve 2*q = 5*z + k, -6*q + 4*q = 0 for z.
-4
Suppose -2 = -a, 2*q = 4*q + a - 14. Let l = -49773 - -49806. Solve q*u - r = 2*u + 13, -5*r - l = -4*u for u.
2
Suppose -3*q + 130 = 5*t, -300*t + 303*t - 97 = 2*q. Solve -3*i + 6*i = 5*h + t, 3*i = -4*h - 7 for i.
3
Suppose -52*v - 760 = -62*v. Suppose 10 = -v*k + 81*k. Solve s - 6*s = 15, k*s - 14 = -4*t for t.
5
Suppose 0 = 107*m - 117 - 97. Solve m*a + r = -6, 5*r + 6 = 2*a - 0 for a.
-2
Let t = -11279 + 11282. Solve -t*o + 4*j + 357 = 342, -4*j = -4*o + 20 for o.
5
Let a be 3/2*(-745 + 749). Solve 0 = -g + a*g + 5*t - 30, -3*g - 2 = -t for g.
1
Suppose -5*p = 4*t - 33, p - 15 = -2*t - 3*t. Let i be (-1 - -4) + p/(-40)*-8. Solve -i*s + 4*y + 9 = -7, 5*s = 2*y + 11 for s.
1
Let d = 10733 - 10731. Solve 2*s + d = 2*r, -55*s = 5*r - 52*s - 21 for r.
3
Let f be 27/18*204/18. Solve -4*t = 5*y - 23, 5*y = -2*t + 2 + f for t.
2
Suppose 11*n = 4*n - 875. Let z = -125 - n. Suppose -b = -1, -a + z*a = 3*b - 5. Solve -t - 4*p + 23 = 0, 5*t - 42 = -5*p - a for t.
3
Let c(n) = 2 - n + 15*n + 14*n**2 - 2 - 39 - n**3 - 6*n**2. Let q be c(9). Solve 0 = -2*m + 5*d + 15, m - 3*d = -d + q for m.
0
Let d = 7523 - 7521. Solve -d*n - 8 = -3*f, 20*n - 20 = 25*n - 4*f for n.
-4
Let t(l) = 10 + l**2 + 37*l - 13*l - 10*l. Let z be t(-7). Let u = z - -43. Solve -7*r = -2*r, 4 = 4*b + u*r for b.
1
Let b = 1 + 1. Let c = 8131 + -8131. Solve 5*k - 9 = b*a + 2*a, -2*a + 8 = c for k.
5
Let f = 64 - 60. Let d(c) = 3*c + 0*c + 2*c + c**3 - 4*c - 6*c**2 - f. Let a be d(6). Solve 0 = -7*j + 2*j + 10, -4*j = -a*u for u.
4
Suppose -d = d - 2, -4*d = -a. Let g = 8 - a. Suppose 3*t + 5 = -5*p, 4*t = -g*p - p. Solve 1 = m - 2*b + 8, -15 = t*m - 5*b for m.
1
Let z(v) = 5*v + 104. Let u be z(-20). Let m = -13 - -19. Suppose -u = -10*d + m*d. Solve -4*s - 3*y = 6, d + 6 = -3*s - y for s.
-3
Let p = 13606 - 13604. Solve -3*y = -2*g - 16, -p*g - 60*y + 57*y + 8 = 0 for g.
-2
Let w be ((-14)/(-42))/(1/15). Suppose w*o + 77 = -133. Let k = o + 43. Solve k = 2*i - 3, 12 = 2*b + i for b.
5
Let i = -813 - -818. Suppose 8 = -4*x - 3*v + 29, 2*v = i*x - 9. Solve x*h = -3*q + h + 7, -4*q + 4*h + 16 = 0 for q.
3
Let q be 2*(-525 - -2)*(-2)/4. Suppose -12*a = -q + 175. Solve 2*x + 0*c + 5*c = -a, 5*x = c - 5 for x.
-2
Let l be (((-6)/7)/(81/(-126)))/(28/84). Solve -m + r + 1 = 0, l*m + 10*r + 5 = 11*r for m.
-2
Suppose -46*x + 294 = 121 + 81. Solve -33*i = -38*i - 5*q - 40, 0 = x*i + 5*q + 28 for i.
-4
Let t(k) = -9*k - k - 39*k - 4*k - 3*k**2 + 9 + 14. Let l be t(-18). Solve 2*v + v = o - 12, 27 = 4*o - l*v for o.
3
Suppose 2*k + 17*k + k = 0. Solve k = -o - 5*h - 49 + 58, -o + 8 = 4*h for o.
4
Suppose 155*o + 612 = 119*o. Let l(b) be the first derivative of b**3/3 + 17*b**2/2 - 1. Let q be l(o). Solve q = -2*t + 3*s - 3 + 11, 0 = -5*s - 20 for t.
-2
Let d be ((-5)/2 + 4)/(1/2). Suppose d*p + 0 = 6. Let n = 454 - 450. Solve -3*x - 2*f = 12, -p*x + n*f + 8 = -4*x for x.
-4
Suppose 6*v + 6*v + v - 195 = 0. Solve 0 = 4*r + 3*u - 19, 0 = -5*r + u + v + 4 for r.
4
Suppose 3*q - 25 = -2*k, -15*k + 20*k + 5*q = 45. Solve v = 3*f - k, -25 = f + 2*v - 28 for f.
1
Suppose 16*t - 88 + 8 = 0. Solve -3*j + 17 = -5*o + j, t*j + 30 = -4*o for o.
-5
Let u = -131 + 239. Let i be (-3)/(-2) + (u/(-8))/(-9). Let t be 33 - 24 - i/((-1)/1). Solve -3*v + t = 3*q, -3 - 2 = -3*v + 4*q for v.
3
Suppose -5*q + 33 = 5*l - 9*q, 2*l - 5*q = 20. Suppose l*w - 2 = -3*t - 2, 0 = 4*w. Solve 0*g - 4*g - 3*p = 4, t = -3*g - p - 8 for g.
-4
Let g = 87 + -84. Let f(w) = -w**g + 2*w - 60 + 16*w**2 - 56 + 87. Let d be f(16). Solve -2*i - 6 = -4*k, 2*i + 5*k - d = -18 for i.
-5
Suppose -5*r - 4*k + 2 + 2 = 0, -4*k = -5*r + 36. Solve -5*c + 6*y - 15 = y, -y + 9 = -r*c for c.
-2
Let p be 11 - (154/(-11) + 25). Solve -2*z - 3*j + 8 = 5, p = -3*z + 4*j - 21 for z.
-3
Let p(d) = -4*d + 7. Suppose -1 = 9*k - 10. Let l be p(k). Solve y + y = l*f - 8, -5 = -5*f - 5*y for f.
2
Let j = -3253 - -3275. Solve -5*m = -3*b - j, -13*m - 2*b + 2 = -8*m for m.
2
Let j be 254/(-381) - 3/(18/(-196)). Suppose 20*h - j = 4*h. Solve -9 = y - 0*y - 3*a, h*a = 3*y + 13 for y.
-3
Let f = -6477 + 6485. Solve -f*g = 5*c - 10*g - 10, c - 15 = 3*g for c.
0
Suppose -4*b = 3*k - 11, 11*b - 1 = 9*b - 3*k. Solve -19*r + m - b = -23*r, -m - 3 = -4*r for r.
1
Let a(b) = -b**2 + 18*b - 80. Let y be a(10). Let f be (-1)/(0 + 2/24). Let s = 15 + f. Solve 7 = -3*h - 5*g, -s*h = -y*h + g - 1 for h.
1
Suppose -10*r + 67 = -133. Suppose b = 4*m - 4 - 49, r = -4*b. Solve 2*w + 3*w - 2*l + 8 = 0, -3*l + m = 4*w for w.
0
Suppose -2*r + 5 + 3 = 0. Suppose -4*m + 2*z + z = -13, -z = r*m - 17. Suppose 0 = 6*o - 18*o + 23 + 13. Solve -2*b + m*p - 7 = o, -3*p = b - 15 for b.
3
Suppose -2*m = -3*s - m - 5, 2*m = 10. Let i = 223 + -85. Let n = 141 - i. Solve 2*z = -n*x + 9, 2*z + s*z = x - 3 for x.
3
Let o(l) = -24*l + 1469. Let x be o(61). Solve -192*j + 195*j + 13 = x*z, -z = -2*j + 3 for z.
5
Let i(t) = -t**2 + 14*t - 18. Let q be i(12). Suppose 15*u = -q*u + 336. Solve 0*p + 4*g + u = -4*p, 0 = 4*g for p.
-4
Suppose 2556*o - 2539*o = 68. Let a be 9/5 + (-1)/(-5). Suppose -o*l + 8 = 0, -4*n + 2*l = -2*n - a. Solve r = -x - 3, -n*x + 6 = 5*r + 21 for x.
0
Let c(n) = 2*n**3 + 71*n**2 - 42*n - 195. Let d be c(-36). Suppose l + 4 = 0, 3*m - 35 = -l + d. Solve -m = -g + 5*x - 7, 2*x = -3*g - 12 for g.
-2
Let f(p) = -12*p - 18. Let n be f(-2). Suppose -3*d + 3*t + n = 0, t = -2*d + d. Suppose -d = 5*a - 26. Solve h = -2*q - q - 6, a*h + 15 = 0 for q.
-1
Let i be 82/(3280/56) + (-1 - 18/(-5)). Solve 4*n - i*h + 8 = 12, n - 3 = 2*h for n.
-1
Let a(v) = v**3 + 32*v**2 + 110*v - 51. Let d be a(-28). Let u = 2 - -2. Solve t + 13 = 5*f, -d*t - u - 5 = 3*f for f.
2
Suppose 0 = 2*n + b - 4, -56*n = -54*n - b + 4. Suppose n = 2*t + 6 - 36. Solve -2*l = l - 9, -3*m = -2*l + t for m.
-3
Suppose -2*s = 4*c - 286, -6*c = -7*c + 5. Let t = s - 128. Solve n + 2*l + 2 = 2*n, -2*l = -t*n + 2 for n.
0
Let y be 69/(-6)*(-810)/3105. Solve -g + 1 = w, -18*g + y = -15*g - 5*w for g.
1
Let d(s) = -9*s + 237. Let o be d(26). Solve 0 = 5*u + o*q + 29, 0*u - u = 4*q + 16 for u.
-4
Let n be (8 - 9) + 2*2. Suppose -n = 21*j - 66. Solve -u - 7 = j*p, 0*u + 1 = -p + u for p.
-2
Suppose 33*s + 124 = 190. Solve 0 = 2*l, -s*l = -3*t - 7*l + 9 for t.
3
Suppose -5*m - 968*l + 972*l + 9 = 0, 5*m = 2*l + 17. Solve 4*t + 2 + 18 = 0, m*j - t = 0 for j.
-1
Let y be -5 + -1 + 2 + 1. Let s = 244 + -208. Let h be (y/4)/(9/s) + 5. Solve 5*k + 15 = -h*a, 2*k = -a - 2*a - 6 for k.
-3
Let k(t) = -t**3 - 10*t**2 + 11*t + 1. Suppose -p + 2*l = 21, 4*l + 1 = 3*p + 54. Let n be k(p). Solve -4*b = 3*s + 18 - n, -s = 3 for b.
-2
Let i = -205 + 116. Let n = i + 93. Solve 12 = 2*q + n*l + 38, -29 = 5*q + l for q.
-5
Let a be 172/42 + (-22)/231. Solve -2*r - 2*d - 3*d = 10, 0 = a*r - 4*d + 20 for r.
-5
Let i be (-4 + 5)/((-18)/10 - -2). Suppose -3 = -2*b + i. Suppose 0*x - b*n + 8 = -x, 2*x - 3*n + 1 = 0. Solve p - 1 = 2*j, -2*p - x*j = -6 - 4 for p.
3
Let r(f) = 22*f**2 + 30*f**2 + 2 + 1 - 54*f**2 + f**3. Let l be r(2). Solve 2*b + 3 = -l*h - 0*b, -2*b = 0 for h.
-1
Let d(h) = -3*h + 307. Let w be d(99). Solve 5*m + 10 = -5*y, -5*y = 5*m - y + w for m.
-2
Suppose 4 = 3*p - 4*f - 4, 2*p = -5*f + 13. Let j = -134 - -103. Let z be (1 + 0)/(j/(-124)). Solve -n = p, -z