ve -5*a + 3*b - 26 = 0, -4*a - j = a - b for a.
-4
Let m(x) = -42*x + 2. Suppose -3*b = -5*t + 12, 35*t = 31*t + 4*b + 16. Let v be m(t). Solve 8 = -3*z - 4*y, -2*z = v*z + 4*y + 8 for z.
0
Suppose -32 = -2*d + m + 3*m, 0 = 3*d + m - 13. Let h be 6 - -6*(-3)/6. Let f be ((-16)/(-24))/(4/126). Solve 4*u + d*c + 31 = h*c, 4*u + c + f = 0 for u.
-4
Let b(s) = 3*s**3 + 20*s**2 - 27*s - 129. Let c be b(-5). Solve 3*d + 1 = -m, c*m + 5 = 126*m - 3*d for m.
-1
Let y be 40/(-30)*-12 - (4 - 3). Suppose 4*h + 0 = 20. Solve -4*f = w + 3*w - 4, -y = h*w + f for w.
-4
Let w = -21 + 20. Let j(h) = -18*h - 7. Let v be j(w). Solve -3*l = 5*q - v, -l - 7 = 2*q - 3*q for l.
-3
Suppose 0 = 10*f - 4637 + 1617. Let a = f + -301. Solve 2*k - k + 2*b = -a, -4*k + 9 = -5*b for k.
1
Suppose -49*j = -598 + 10. Let z be (385/(-105) + 2*2)*j. Solve 3*b + 25 = 4*v, -3*b + z*v = v + 21 for b.
-3
Let a be -483 - ((-9)/12)/(27/72). Let b = -456 - a. Solve b = 3*t + 5*o, 4*t - 28 = -3*o - o for t.
5
Let r(t) = t + 8. Let v be r(-6). Let l(f) = -f**3 - 5*f**2 - 7*f. Let i be l(-4). Suppose i*j - 17*j + 10 = 0. Solve j*k = -2*o + 8, -v*o + 4 = 3*k - 5 for o.
3
Let u be (-2 - (-260)/5)*(-116)/(-145). Solve d + 1 = -t - 1, 5*t + u = 5*d for t.
-5
Suppose 132*b - 376 - 152 = 0. Solve 4*v + 51 = b*h + 19, -3*v = 3*h for h.
4
Let i(q) = -q**2 - 19*q - 6. Let n be i(-7). Let a = n - 74. Let y be (10/a - 0)*(2 - 0). Solve -3*k - 3 = -2*t + 6, t - y = 2*k for k.
-1
Let c = -2124 - -2132. Solve 54*i - 49*i - 10 = -5*w, 0 = -5*w + i - c for w.
-1
Let i be (-128)/48*(-9)/2. Let k = -9 - -12. Suppose 16 = j + k*j. Solve u - 2*w + 3 = 0, -4*u + i = -8*u + j*w for u.
-3
Let h = 5119 + -5116. Solve -2*o + 3*f = 11, h = -3*o + 4*f - 13 for o.
-4
Let a(l) be the third derivative of -l**6/120 - l**5/60 - 2*l**4/3 + 2*l**3/3 - 47*l**2. Let v be a(0). Solve -17 = -q - 0*k + v*k, -3*q = -5*k - 23 for q.
1
Let v be (-420)/(-2310)*-2*319/(-4). Solve -24*y - 2 = -28*y + x, v = y - 5*x for y.
-1
Let c = 28 - 23. Suppose 9*x - 32 = x. Suppose 0 = c*m - t - 18, x*m = -0*m + 2*t + 12. Solve 0*q - 5*y + 16 = -4*q, -m*q + 3*y = 8 for q.
1
Let z(f) = -2*f + 10. Let g be z(2). Let k be ((-40)/15)/(g/9 + -1). Solve 3*s + 13 = -5*p - s, -4*p = 4*s + k for p.
-5
Let s(z) = z**2 - z. Let x(t) = -t**2 + 2*t - 2. Let j be x(1). Let o be s(j). Suppose o*y + 4*y - 12 = 0. Solve 0 = 4*a + d - 15, a - y*a + 15 = -2*d for a.
5
Let i(p) = p**3 - 14*p**2 - 8*p - 15. Let n be i(11). Let c = -461 - n. Solve 4*z = -3*f - 27, 2*f - 9 = c*z - 4 for z.
-3
Let g(q) = -2*q**3 - 4*q**2 + 16*q. Let o be g(-4). Solve o = u - 4*f + 28 - 42, -4*u + 5 = f for u.
2
Let a(l) = -2*l**2 - 130*l + 1910. Let j be a(-77). Solve -2*y - 15 = -3*t, -j*t + 4*y = -60*t - 10 for t.
5
Let z = -12600 + 12605. Solve z*m + 3*t = 2, -54*t + 59*t = 3*m - 8 for m.
1
Suppose -k = 2*d + 21 - 99, 5*d = 2*k + 159. Let h = -2 + 2. Suppose -4*x + 16 = -72. Solve h = -5*p + 5*j - d, x = p + 5*j + 5 for p.
-3
Suppose -5*v + 4*z = -622, -2*v + 3*z = v - 375. Let j = -40 + v. Let p = j - 78. Solve m = q - p, -3*q + 9 - 5 = m for m.
-2
Let a = -7724 + 7724. Solve a = q - 4*q + 3*c - 15, 3*c = q + 5 for q.
-5
Let n = 7131 - 7128. Solve -u = -3*o, -5*u + 2*u = n*o + 12 for u.
-3
Let i(v) = 1193*v - 5949. Let o be i(5). Solve -4*k + 4 = -4*j, -4*k - 11*j + o*j + 8 = 0 for k.
-3
Let r(t) = -t + 32. Let n be r(32). Suppose 5*j - 5 = -3*f + 4, n = 3*j - f + 3. Solve 2*d - 2*c + 4 = j, 4*d = 5*c + 8 - 20 for d.
2
Suppose 49*z + 219 = 954. Suppose 0 = 3*q - 11 - 1. Suppose -q*i = -i - z. Solve -6 = 4*g - 2*f + 5*f, -4*f = -i*g + 8 for g.
0
Suppose 0*v - 5*v = 0. Let o be (-22)/3*(8 - 11) + 1. Let y(x) = 4*x**2 - x. Let h be y(1). Solve -u + 5*c + o = v, -5*u + 0 + 5 = -h*c for u.
-2
Let s(g) = 4*g**2 + 78*g + 43. Let z be s(-19). Solve 5*u - 6 + 51 = -4*d, 5*d = z*u for d.
-5
Let r = -6323 + 6328. Solve 2*v - k = -9, 5*k = 9*v - r*v + 27 for v.
-3
Suppose -175*d + 119 = -231. Solve 5*t + 22 = -d*v - 0*t, -2*t = v + 9 for v.
-1
Let y = -2669 - -2679. Solve -y*f = 4*z - 14*f, 0 = z - 2*f for z.
0
Suppose 100 = -8*d + 20. Let y be ((-2)/d)/(2*5/(-50)). Let v be y/(-4)*1 - 1110/(-40). Solve -v = -4*u + 4*f, -f + 0*f - 13 = -3*u for u.
3
Let u(n) = -2*n**2 - 94*n - 831. Let w be u(-12). Suppose -2*g = -4*g + 4. Suppose k = -4*k. Solve 3*x - q = w, -2*q + k*q + 14 = g*x for x.
4
Let s(w) = -53*w + 959. Let o be s(18). Solve o*t = d - 9, t - 4*d = -6 + 8 for t.
-2
Let o(r) = 2*r + 10. Let t be o(-2). Suppose 1 - 5 = -4*k. Let g be (5 - -1)*(4 - k)/t. Solve -2*a - 14 = 5*d, a = g*d + 2 + 2 for d.
-2
Let z(l) = -32*l - 6. Let m = -138 + 134. Let i be z(m). Let u = i - 117. Solve u*g = 5*j - 5, 4*g + 40 = -0*g - 5*j for g.
-5
Let w be (-8)/12*-3*1. Let c(y) = -y**2 - 3*y - 1. Suppose 5*x = 4*a - 6, 6*a - a + 5 = 0. Let r be c(x). Solve u = -w*p, -u - u = 3*p - r for p.
-1
Suppose 20 = -5*q + 4*s, -9*q - 2*s + 30 = -14*q. Let i be 6/(-10) + 18/(-40)*q. Solve 0 = 5*c - 4*n + 40, 2*c = i*c + 4*n - 16 for c.
-4
Let f(c) = 241*c + 9163. Let w be f(-38). Solve -w*p - 2 - 3 = -4*v, v - 4*p = -7 for v.
5
Let u be (-5)/(-5) - 4 - -7. Let y(m) = 5*m - 10. Let i be y(4). Let x be (6/(-12))/((-1)/i). Solve 6*v - u*r = v + 25, 15 = x*v - 2*r for v.
1
Let a(t) be the third derivative of t**6/120 + t**5/20 + t**4/12 + t**3/2 + 3*t**2 + 2*t. Let d be a(-2). Solve -2*x + 11 = -s, -d*s - 4*x + 2 = 5 for s.
-5
Let o be (40/(-10))/((-6)/15). Suppose -3*x + 2 = -2*x, o = -2*y + 5*x. Solve -g = 3*f - 12, y*f = g - f + 8 for g.
-3
Suppose -7*d + 35 = 21. Let o = 10 + -2. Suppose -4*s = o, 2*i + 3*s = -d*i + 58. Solve 0*a - 2*n - 30 = 5*a, a = 4*n + i for a.
-4
Suppose -57 = 4*o + 43. Let y = -21 - o. Solve -4*w = 20, -8*w + 4*w = -y*d for d.
-5
Suppose -12*o + 78 = -6*o. Suppose -s = 15*s + o*s. Solve -2 = 2*i + 5*h, -4*i + 0*h + h - 4 = s for i.
-1
Let z be (-3)/6 - (-273)/26. Let m be 18 - ((-4)/5)/((-4)/z). Solve 0 = 2*w - 2*s + 8, 0*s + m = -4*w - 4*s for w.
-4
Let b = -9 - -20. Let z be ((-4)/7)/(68/2618). Let j be 18/4 + b/z. Solve -21 = -5*h + j*y, 0*y - 6 = -2*h + y for h.
1
Let r be 6/3 + (44 - 41). Let q(u) = -2*u - 4. Let b be q(-3). Let t(g) = -2*g - 18. Let y be t(-10). Solve 16 = -r*a - y*w, 4*w = b + 6 for a.
-4
Suppose -8*v + 78*v = 210. Solve v*i - 4*r = 11, -3*i + 4*r = -r - 10 for i.
5
Let h be (-12)/5*(-85)/34. Let u be 20*((-28)/(-16) - 9/h). Solve -4*f + 6 + 4 = -2*s, -u*f + 25 = 0 for s.
5
Suppose 12 = 43*v - 39*v. Solve v*p + 3*a = p + 23, 2 = -2*p + 2*a for p.
4
Let b(i) = 52*i - 2. Let p be b(1). Let q = 30 + p. Let s = q + -77. Solve l - s*d + 5 = 2*l, -l - 9 = -4*d for l.
-1
Let b(s) = s**3 - 97*s**2 - 74*s - 2344. Let t be b(98). Solve 26 = 5*h + 3*k, -t*h + 6*h - 2*k + 12 = 0 for h.
4
Let h = -9903 - -9917. Solve -7 = -a + 4*s, h*s - 17*s + 9 = 4*a for a.
3
Suppose -2*q - 800 = -25*k + 20*k, 2*q + 4*k + 764 = 0. Let a be q/(-117)*(-12)/(-10). Solve -4*u + 4*y = 12, 0*u - a*y = -u - 18 for u.
2
Let k(h) = -2*h**2 - 8*h + 2. Let x be k(-4). Suppose 4*w = -5*u + 63 - 7, -w - 2*u + 11 = 0. Solve 0 = 4*i - x*t + 16, 3*t - t + w = -3*i for i.
-5
Suppose 0 = 72*m - 56 - 232. Solve 5*y + 5*b + 35 = 0, 2*b - 2 + 24 = -m*y for y.
-4
Suppose -n + 5*i - 6 = 0, 2*n = -i - i + 24. Suppose n*p - 60 = 7*p. Suppose 0 = -p*x + 28*x. Solve -a - 1 + x = 0, -2*a = -3*q - 4 for q.
-2
Let k(j) be the third derivative of -j**4/6 - j**3 + 2*j**2. Let s be k(-2). Suppose s*r = o + 2, 10 = o + 2*r - 4. Solve -w - w = -t - o, -2*w = -4*t for t.
2
Let v be (-52)/5 + (-2)/(-5). Let w be (15/v)/((-2)/4). Let t be (-2)/4*-6 - w. Solve 4*g = k - 21, 5*k + t*k = -2*g + 17 for k.
5
Let n = -741 + 758. Solve n = -3*m - 2*v + 6*v, 5*m + 17 = v for m.
-3
Let j = 398 + -419. Suppose 0 = -5*w - 6 + 126. Let g = j + w. Solve 0 = 2*c - g*t - 15, 0*c + 3*c + 2*t = 3 for c.
3
Let b = -2011 - -2013. Solve -3*r = b*l - 0*r - 17, 5*l = -4*r + 32 for l.
4
Suppose 0 = -15*h + 527 - 197. Suppose -30*x = -h*x - 16. Solve x*a - 1 = -3*l + 1, -3*a + 1 = 4*l for l.
4
Let n = 213 - 183. Let t be ((-6)/9)/((-1)/39). Let c = 31 - t. Solve 5*q + 10 = -4*v, c*q + 0*q - 4*v = n for q.
2
Let b = 208 + -153. Suppose -45 + b = 5*l. Solve i + l*t + 6 = 16, 0 = -3*i - t + 10 for i.
2
Let m be 1/((-287)/49 + 6). Let b be ((-12)/(-10))/(