 = 3*v - 13 for v.
5
Let f = 234 + -232. Suppose 0*v - y + 39 = f*v, 4*v + y - 83 = 0. Let j = -3 + 5. Solve 5*o + 2*t = v, -j*t + 22 = 3*o + 8 for o.
4
Let u(s) be the third derivative of s**5/60 + s**4/24 - s**3 - 3*s**2 - 7. Let k be u(2). Solve 5*y + k*l - l = -16, l = -y - 8 for y.
-4
Let i be (4 - -2) + -2 + 0. Suppose -3*d + p + 18 = i*p, 2*d - p = 3. Let x = -4745 + 4748. Solve m + 10 = d*n, x*n + m = 4*m + 18 for n.
2
Suppose -4*u + 41 = 5*r + 21, u = -5*r + 5. Solve 2*p = -u*j - 25, -3*j - 25 = 2*j - p for j.
-5
Let s be ((-15)/4)/((30/16)/(-5)). Suppose 0 = y - 5*u - 7, 4*y + 0*u - 2*u - s = 0. Solve 0*j + y*j = w - 7, w - 1 = -4*j for w.
5
Suppose 3*f = -8*k + 13*k - 154, -42 = -k - f. Solve -30*p = -k*p + 3*h - 14, -h = -4*p - 14 for p.
-4
Let u = -45 + 36. Let m be (-15)/u*(-36)/(-20). Suppose 0*v + v - n - 8 = 0, m*v = -n + 4. Solve 4*o = -v*p + 23, p + 14 = -o + 4*o for o.
5
Let r = 374 - 188. Suppose 0 = 8*d - r + 58. Suppose 0 = -2*x + 8, -5*a + 4*x - 2*x + 62 = 0. Solve 3*q - a = -5*j, 3*j - 3*q - d = 2 for j.
4
Suppose 22 + 26 = 4*x. Suppose -o + 6 = 5*k - 1, 2*k - x = -5*o. Let l be (-20)/30 + ((-34)/(-3))/o. Solve -4 = 2*n - 4*c, -l = 4*n - 3*c + 8 for n.
-4
Let m = -83 + 82. Let c be 7*m*((-30)/14)/3. Solve -c*n - 32 = -4*w, -4*n + 0*n - 28 = -4*w for w.
3
Suppose 16*n + 35*n - 987 = 30*n. Solve 0 = i - 5*d + 29, 4*d + 27 - n = 0 for i.
-4
Suppose -5*m + 40 = -0*m - 3*l, -l + 10 = 3*m. Solve -4*w + 4*f = 12, -2*w - 2*f = -m + 15 for w.
-4
Let n(l) = -3 + 16 - 9 - 2*l + 2*l**2. Let g be n(0). Suppose g*t + 4*p = -t + 3, 4*p + 3 = -3*t. Solve -1 = -k - t*m, 3*k = m - 5 - 2 for k.
-2
Let i be 6 + ((5 - 1)/4 - 3). Solve -2*k = 6, -24 = 3*z + z + i*k for z.
-3
Let c = 350 + -362. Let g be (c/(-48))/(2/48) - 1. Let p = -5 - -12. Solve -g*n - 2*o = 15, p*o - 4*o = 3*n + 30 for n.
-5
Suppose 456*n - 15514 = -4114. Solve -6*z + 35 = 5*x - 11*z, 4*x - 3*z = n for x.
4
Let w be (1 + 0 - 55)*(-87)/174. Suppose 3*s = -t + 9, -s + 14 = -0*s + 4*t. Let o be 2/(s/w) + (-3)/3. Solve 2*i = -4*g + 22, 5*g + 0*i + i - o = 0 for g.
5
Let h = 5482 - 5478. Solve 0*y = 3*f - y - h, -5*y + 12 = f for f.
2
Let i be ((-3)/(-6) - -1)*170. Let s = i - 248. Solve 2*b + q + 10 = -b, -4*q - s = b for b.
-3
Let d(o) = o**2 + 16*o + 24. Let w = -27 - -17. Let p be d(w). Let k = p + 38. Solve 4*r = -y + 3, -r + k - 11 = -3*y for r.
0
Suppose 0 = -215*c + 230*c - 150. Solve -35 = -5*o - 280*g + 276*g, -c = -2*g for o.
3
Let g = -2452 - -2457. Solve 4*h - k + 6 = h, g*k - 20 = 5*h for h.
-1
Suppose -5*s - 3*h + 16 = -87, 2*h = 2*s - 54. Suppose s*o = 10*o + 1144. Let x = 92 - o. Solve 3*g + x*m - 6 = 0, 2*m = m for g.
2
Let i = 52 + -44. Let y be (-10 + 4)*i/(-6). Suppose -n + 30 = 5*j, -5*n + 0*j = 4*j - 45. Solve 0 = 2*t - n*h - 9 + 1, 2*t + 2*h = y for t.
4
Let x be (15/12)/((-22)/(-24)*(-915)/(-1342)). Solve 31*k - 26*k + x*i = -33, -k = i + 9 for k.
-5
Let v(w) = -w**3 - w. Let b be v(-2). Let z be (-20)/15*-3*(0 + -1). Let j be ((-36)/(-21))/(-6) - z/14. Solve 0 = 2*x - 4*y, 3*x + 0*x - y - b = j for x.
4
Let o = 1858 + -1854. Suppose 2*d = 2*a + a, 0 = -2*d + o*a. Suppose -m + 89 = 4*b - 2*m, -4*b + 5*m = -109. Solve -5*p - b - 4 = n, 4*p - 5*n + 20 = d for p.
-5
Let z(o) = -o**3 + 28*o**2 - 29*o + 48. Let w be z(27). Let q be 18 - (7 - 11 - w). Solve 0 = 3*s + 2*v - 4, -2*v - q = -3*s + s for s.
4
Let r be 2 - (-6)/((-60)/(-70)). Solve 0 = -4*g - y + 17 - 10, r = -2*g - 3*y for g.
3
Let r(i) be the first derivative of -7*i**2/2 + 51*i - 20. Let x be r(7). Solve -8 = -4*s - 4*n, 0 = 5*s - x*n - 0 + 18 for s.
-2
Let w(c) = 49*c + 738. Let h be w(-15). Solve 0 = -3*y + h*r, 4 - 20 = -3*y - r for y.
4
Let i(l) = -8*l - 58 - l + 40. Let n be i(-2). Solve -p - 2*u - 5 = -n*p, 0 = -4*p - 4*u - 12 for p.
-1
Let l be 59*(7/(42/12) - -1). Let t = l - 177. Solve 5*p = -4*c - c, t = -c + 3*p - 20 for c.
-5
Suppose 0 = -2*j - 3*h, -385*h = -j - 380*h + 13. Solve -3*s + 4*o = -3 + 7, 0 = -j*s - 4*o + 4 for s.
0
Let q be 5/(-1*5*(-5)/(-1075)). Let z = q + 218. Solve 20 = m + m + z*o, 2*m - 3*o = -4 for m.
4
Let c(r) = -177*r - 1750. Let w be c(-10). Solve -5*y = 2*b + w, -12*b + 7*b - y - 27 = 0 for b.
-5
Let n(x) = x**3 + 13*x**2 + 56*x + 131. Let b be n(-8). Solve y - o - 12 = -10, -b*y + 14 = o for y.
4
Let t = -1336 - -1341. Solve 4*g = 5*x + 9 + 27, -t*g + 24 = -x for x.
-4
Suppose 39*b - 41*b = -5*o - 4, -4*o - b + 15 = 0. Solve 2*a + o*s = -4, -5*s - 17 + 11 = 3*a for a.
-2
Let d be 0/(-2 - (4 - 4)/(-4)). Suppose -2*i = -5*b + 20, -3*b - 4*i + 12 = -d*i. Solve 13 + 3 = 4*p, b*n - p + 20 = 0 for n.
-4
Let o(r) = r**3 + 17*r**2 + 51*r - 8. Let f be o(-13). Solve 2*v + 5 = -f*y, 4*y - 3 = -3*v - 0*y for v.
5
Let o = 8469 - 8458. Solve 0 = -o*j + 14*j + b + 11, 4*j - 3*b + 32 = 0 for j.
-5
Let j(b) = b**3 - 3*b**2 + 2*b - 3. Let z be j(3). Suppose 13*d - 40*d + 2440 = 1441. Solve -z*r + k - 3 - 8 = 0, 5*r + 3*k = -d for r.
-5
Suppose -2*a - 43 = g, -5*g + 3*g = -2*a - 34. Let l = a + 26. Solve l = 3*p, -p = -2*f - 0*p for f.
1
Let c = -79 + 43. Let x = c - -43. Suppose -3*p + 50 = x*p. Solve -b + p = 0, q - 31 = -2*q - 5*b for q.
2
Let g(q) = -126 + 129 + 6*q + 0*q. Let y(f) = -f - 1. Let w(i) = 4*g(i) + 28*y(i). Let k be w(-5). Solve 4*s + 4*r - 32 = 0, -r = -0*r - k for s.
4
Let i be (-4)/(4/3*(-42)/28). Solve -5*z + 15 = -u, -4*z + 5*u = -31 - i for z.
2
Let w(r) = r**2 - 3*r - 5. Let d be w(20). Let a = d - 331. Solve y + 0*j + 2 = -2*j, -3*y - j = -a for y.
2
Suppose -924*g = -728*g - 784. Solve -5*b - 3*l + 2 = 4, -l - 12 = -g*b for b.
2
Suppose -4*h + x - 17 = 0, 37 = -h - 3*h + 5*x. Let s(m) = -20*m - 51. Let f be s(h). Solve 0 = 2*u + 5*k + 22, -f = 5*k + 11 for u.
-1
Let t be ((-4)/6)/((-30)/14220). Suppose t*l - 323*l + 21 = 0. Solve 33 = 5*u + 5*r - 2, -u - l*r + 11 = 0 for u.
5
Let l = 36466 + -36459. Solve 3*z + 5*f = 24, 0 = l*f - 10*f + 9 for z.
3
Let f = -4964 + 4969. Solve f*d = -20, 9*d + 23 = -5*y + 7*d for y.
-3
Let q = 104 - 102. Suppose -h - x + q = 0, 0*h + 6 = -h - 5*x. Suppose -3*f - h*f = f. Solve j + 4 = 3*r + 20, -4*r - 4*j = f for r.
-4
Let m(o) = -o**3 - 7*o**2 + 4*o - 24. Let u be m(-8). Suppose 0 = -50*q + u + 342. Solve -11 = 2*x + 4*s + q, -2*x + 2*s + 12 = 0 for x.
1
Let a(r) = r**3 + 456*r**2 - 1291*r + 39485. Let p be a(-459). Suppose h + 3*h = 20. Solve -h*m + w = 9, w + p = -3*m + 3*w for m.
-1
Let n = 376 - 571. Let k = -194 - n. Solve -2*h - 5*x = -1, h = -h - 3*x - k for h.
-2
Let o be 10*((-11)/55 + 141/30). Let n(h) = -h**3 + 44*h**2 + 43*h + 94. Let s be n(o). Solve -j + 12 = 4*j + 3*x, j = x - s for j.
0
Let b(w) = 6*w**2 - 60*w + 149. Let r be b(6). Solve -3*p - 18 = -3*n, -7*n + r*n + p = -11 for n.
5
Suppose 31*u - 147 - 132 - 93 = 0. Solve -d + 4*q + u = 0, 1 = -4*d + 4*q + 13 for d.
0
Let a(m) = m**3 + 4*m**2 - 5*m + 44. Let y be a(-6). Solve -y*p - l = 4, 0 = 74*p - 79*p - 5*l - 20 for p.
0
Suppose 3*l - 7 = 5. Let p(w) = -w**2 + 72*w - 122. Let i be p(70). Suppose 0 = 32*u - 78 - i. Solve z + 1 = -l*a, 2 = u*a - 3*z - 1 for a.
0
Let j be (-11)/((-264)/180)*8/10. Solve 5*a + j = -4*w, -w - 2*a - 4 = w for w.
-4
Let y(j) = 5 + 5 + 38 + 8*j. Let d be y(-15). Let n = d + 91. Solve 0 = 3*s + z + 2, -5*s + s + 3*z + n = 0 for s.
1
Let p be 1/2*-4 - (8 + -10). Suppose p = 3*g + 4*y - 35, -y = -2*g - 2*g + 53. Suppose 0 = g*s - 18*s + 20. Solve -b + s*m = -8 + 22, -3*m = -4*b - 4 for b.
2
Suppose 6*f = 5*n + 7 - 2, 0 = n + 5*f - 30. Suppose -2*x - n*g - 7 = 0, -6*g = 4*x - 7*g - 19. Solve -x*b = 2*w - 6, w - 5*b + 0 = 3 for w.
3
Let c be (-3)/(-1) - (8 + -5). Let j(s) = 2*s**2 - 31*s + 1. Let d be j(16). Suppose -7 = -8*k + d. Solve c = 3*z - 4*g - 18, -6*g - 5 = 2*z - k*g for z.
2
Let f be -2*(-4 + (-63)/(-15))*-10. Suppose -2*r + f = -b - 6*r, -3*b + 2 = -2*r. Solve b*d = -4*a + 4*d + 24, a - 4*d = 18 for a.
2
Suppose -2*b + 8 = -0*b. Suppose 3 = -3*r + 18. Suppose 0 = -26*v - 6*v + 160. Solve b*g = -g + r, -10 = d - v*g for d.
-5
Suppose 0 = 18*u + 170*u - 752. Solve 5*r + 3*p = 7, 0 = u*r - p + 2*p for r.
-1
Let m be (3/(-3) - 2)/(-1). Let o be m - ((-144)/(-4))/(-4). Suppose o = i + 5*q, 5*q = i + 10 - 2. Solve 4 = -i*k + 3*j, 0 = -k - 4*j + 19 + 1 for k.
4
Let f(u) = 2*u**2 - 2*u + 74. Let b(j) = 5*j**2 -