 = -26 for v.
2
Let n be (-21)/84 - 1/((-4)/21). Suppose -84*x + 12 = -81*x. Solve -5*b = x*v - 6*b + 5, n*b = 3*v + 25 for v.
0
Suppose -5*k + 2*a = -74, -2*k + 5*a + 34 = -4. Suppose 12 + 114 = k*d. Solve 3*m + 3*t = -d, 0 = -t + 2 - 6 for m.
1
Let g be 282/18*(-1 + 40). Let p = 616 - g. Solve k = 4*b - 16, p*b + 1 = 2*k - 6*k for b.
3
Let w(a) be the third derivative of -a**6/120 + 2*a**3/3 + 5*a**2. Let o be w(2). Let v be 121/33 - o/(-6). Solve 5*m = -v*u + 2*u - 16, 2*m = -5*u + 12 for m.
-4
Suppose 16*p - 109 = -45. Suppose 0 = 5*g + p*g - 27. Solve -12 - 8 = 5*d, -g*i + 5*d + 26 = 0 for i.
2
Let b be (0 - -1)/((-2)/(-10)). Let w(i) = -2647*i - 7917. Let z be w(-3). Solve 4*n = b*v, -n - 3*n + z = v for n.
5
Let b = -13 + 18. Suppose -g - 16*g = -17. Let k be -24*((-4)/4 + g/3). Solve 6*p - b*m + k = 2*p, p + m - 5 = 0 for p.
1
Let x(m) = m + 28. Let b(i) = 1. Let u(d) = 2*b(d) - x(d). Let p be u(-29). Solve -4*a - 4 = 5*s - 21, -3*s - p*a + 12 = 0 for s.
1
Suppose -98 - 21 = -31*h + 5. Solve m - 11 = -h*k, 2 + 6 = 4*m - 2*k for m.
3
Let a = -15 + 139. Suppose 0 = 13*s - 188 - a. Let d = -6 + 8. Solve 0 = 5*f + 3*r + 14, 5*f = d*r - s for f.
-4
Let k(s) = -s**2 - 27*s - 32. Let r be k(-23). Suppose 5*q = 17*q - r. Solve 3*l = -5*t - 19, -23 = 2*l - l + q*t for l.
2
Suppose 0 = -5*g + 42 + 118. Suppose g*q - 8*q = 408. Solve -2*s = -k + 2*s + q, -s = -3*k - 4 for k.
-3
Let i = -1515 + 1520. Let b = 38 - 15. Suppose 3*f - b = -i. Solve -r + d = -f*r - 29, -r + 5*d + 15 = 0 for r.
-5
Let v = -329 - -343. Suppose -2*g - v + 22 = 0. Solve m = -4*k + 1 - 11, -3*k = -g*m - 2 for m.
-2
Suppose 29*i - 9*i - 110 = 210. Solve 2*l + i = 5*j, 0 = 9*l - 12*l + 5*j - 19 for l.
-3
Let r be (-2)/(4 - 2) + 23 + -18 - 1. Solve -f + 2 = -o, r*f + o - 3 = 3*o for f.
-1
Let q(l) be the second derivative of -1/12*l**4 - 11/3*l**3 + 14*l - 20*l**2 + 0. Let a be q(-20). Solve 2*y = -4*h + 12, 0 = 3*h - a*y - 3*y - 18 for h.
4
Let u = -5953 - -5955. Solve u*y - 17 = -5*s, -4*s - 36 = -8*s + 4*y for s.
5
Suppose -14*x - 12 = -20*x. Suppose -u = x*g - 5, 1 + 6 = u + g. Suppose l + u - 11 = 0. Solve 0 = 2*o - 4*h + l, o = -5*h + 11 + 2 for o.
3
Suppose -f = -7*f - 238 + 250. Let n(d) = 3*d**3 + d**2 - d + 1. Let l be n(1). Solve 0*x + 5*x - l*c + 7 = 0, 0 = 5*x - c - f for x.
1
Let x = -24772 + 24783. Solve 1 = 2*t + 2*q + x, 2 = -2*q for t.
-4
Let p be 14 + 120/10 + -23. Solve 0 = -j + 5*h + 4, -p*h + 0*h - 4 = j for j.
-1
Let p be (-9)/3 + -1 - -10. Let y be -2 + 4 + (5 - p)*-1. Let f be 4 + ((-63)/15 - 3/(-15)). Solve 5*h - g + 6 = f, -y*h - g = -1 + 11 for h.
-2
Let d(a) = -a + 1. Let z(n) = 10*n + 20. Let w(y) = -2*d(y) - z(y). Let m be w(-3). Solve 0 = -2*q + m*v + 14, -4*v - 11 = 3*q + v for q.
3
Let w = -6 + 10. Let k be (1110/1200 - 28/(-32))/(6/40). Solve w*x = 5*i - 4 - k, 0 = -3*x + i - 12 for x.
-4
Let w(t) = t**2 - 21*t - 62. Let d be w(23). Let g be d/72 - 2/(-9). Solve 18 = -g*y - 5*y - 2*x, 0 = 3*y - 4*x + 16 for y.
-4
Suppose 0 = -3*u + 2*z + 31, -176*u - 2*z = -178*u + 24. Solve -12*j + u*j - 21 = -4*l, 7 = -3*j + l for j.
-1
Let x = -1310 - -1310. Solve x = -23*d + 19*d - j - 12, -2*j = -4*d for d.
-2
Let p = -3097 - -3098. Solve 5*b - 20 = -i + p, 0 = -3*b + 15 for i.
-4
Let y = 13 - 21. Let x be 2/y + (-42)/(-8). Let j(b) = -2*b**2 - 316*b - 5505. Let q be j(-20). Solve -x*p - 23 = 2*o, 0*p + q = -3*o - p for o.
-4
Let b = 26 - 28. Let w = 14 + b. Suppose 2*f - 7*f = 2*n + w, -n - 12 = 4*f. Solve -n*h + h + p + 8 = 0, 0 = 5*h - 5*p - 30 for h.
1
Let n(y) be the first derivative of -y**4/4 - 3*y**3 - y**2/2 - 6*y - 6. Let m be n(-9). Suppose -2*x = -3*x + m. Solve -3*u = x, -d + 3*d + 5*u - 5 = 0 for d.
5
Let h(c) = -4*c - 36. Let p be h(-16). Let n be ((-7)/(-2))/(-7) - p/(-8). Let s be -5*((-12)/5)/3. Solve 5*g = 2*g + 2*z + n, -s = g + z for g.
-1
Let i be 33/(-11)*26*26/(-12). Let d = 169 - i. Solve -4*w + 5*p = 2*p - 5, 4*p - 20 = d for w.
5
Suppose -56*b + 1462 - 1350 = 0. Solve 3*t + 4 = b*g, -2*t + 3*g - 4 - 2 = 0 for t.
0
Let h be 1*(-3 + -1)*3/(-6). Solve -2*k + h*r = -2, 3*k + r - 24 = -13 for k.
3
Suppose 0 = 3*z + 27 - 18, 0 = 4*p - 3*z - 41. Solve p*y - 5*y + 4*f - 11 = 0, 2*y = 5*f - 31 for y.
-3
Suppose -5*t + 54 = -z, 4*t - 202*z + 201*z - 44 = 0. Solve -5*d = 4*n + 9, 0 = 3*n + t*d - 15*d - 2 for n.
-1
Suppose -9*f + 13*f = 12. Suppose h + 3*k - 48 = -29, 40 = 4*h + 3*k. Solve -2*d - 3*d = 5*u - 15, -h = f*u - 5*d for u.
1
Let z(c) = 174*c + 2688. Let g(a) = 11*a + 168. Let v(x) = -33*g(x) + 2*z(x). Let m be v(-12). Solve 15 = -5*r + 5*l, -m = -5*l + 13 for r.
2
Let m(g) = -g**3 - 11*g**2 + 12*g + 5. Suppose -418 = 4*a - 370. Let p be m(a). Solve -4*n + 2*n + 5*v + 31 = 0, 0 = -v - p for n.
3
Suppose -8379 = -36*a + 55*a. Let k = a - -446. Suppose 16 = 4*o - 4*z, -o + 3*z = -5*o + 2. Solve -2*h + o*j - k = 7, -5*h - j = 24 for h.
-5
Let y(o) = o**3 - 6*o**2 + 6*o + 2. Let j be y(5). Let g(v) = v - 15. Let f be g(j). Let i be 12*(3 + 22/f). Solve -2*t + 4 = -5*t - b, -5*b - 20 = -i*t for t.
0
Suppose -342 = 3*q + 3*s, 0*s + 362 = -3*q + 2*s. Let y = -247 + q. Let z be (-2)/(-5) - y/25. Solve t - z = -4*n + 2*t, n - 1 = 3*t for n.
4
Suppose 3*u - 43 = 5*v, -18 = -u - 0*v - 2*v. Let m be ((-48)/192)/((-2)/u). Solve 2*p - 14 = 3*k - m*p, k - 2*p + 8 = 0 for k.
2
Let m(v) = 8*v + 53. Let n be m(-6). Let o(x) = x**2 + 10*x - 19. Let r be o(2). Solve -n*d + 10 = -r*s, -5*s - 5*d = -d - 17 for s.
1
Let p(z) = -z**3 - 114*z**2 + 122*z + 810. Let q be p(-115). Solve 0 = -5*n + 10*n - t, -q*n - 2*t = -15 for n.
1
Let f(y) = -37*y**2 + 72*y + 4. Let s be f(2). Solve 4*m - 7 = 3*l - 31, s = l - 5*m - 19 for l.
4
Suppose 26 = -4*u + 70. Suppose 2*o - q - 10 - 10 = 0, -24 = -3*o + q. Solve -x + 2*x + o*i = u, -i = -3 for x.
-1
Let f be (-36 + 27)/(6/(-4)). Let r be 0/((-14)/(-28) - f/4). Solve 4*o = 5*u - o, 2*u - o - 1 = r for u.
1
Let v(h) = -27*h + 928. Let c be v(34). Solve -c*f + 12*f + 4*m - 26 = 0, 3*m = 2*f + 2 for f.
5
Let g = -447 - -484. Suppose -7*b - 2 = -g. Solve -4*h + 3*h = -b*i + 21, 0 = -2*h - 2 for i.
4
Let n be (-8)/((-80)/(-15)) - 62/(-4). Suppose -n*o = -22*o + 16. Suppose 2*x = 4*u - 18, -u + 4*x + 4 = -4. Solve -q = v - o*q + 7, -v = -u*q + 13 for v.
-5
Let x(z) = -3*z + 6. Let k be x(1). Let i = 1350 + -1346. Solve i*v = l - 1 + 2, 5*l - k*v = 12 for l.
3
Let c(r) = -r**2 - 9*r + 50. Let o be c(-13). Let b be 1*o - (14 + -18). Solve 0 = 3*g + 4*w - 11, -5*g + 4*w - 1 - b = 0 for g.
1
Let h(b) = 3*b + 94. Let k be h(-30). Suppose -k*a - 12 = -2*p, 0*p - p + 9 = -5*a. Solve u = p*v - 15, -3*v + 13 - 3 = -2*u for u.
1
Let f(n) = 2*n**2 + 7*n + 32. Let u be f(-6). Suppose u = -i + 74. Solve -i = 4*v - 0*h - h, 16 = 4*h for v.
-2
Let m(w) = -w + 1. Let h be m(-9). Suppose 0 = 4*l + 2 - h. Suppose -46 = -l*z - 38. Solve 4*p = z - 24, 3*v - 1 = 2*p for v.
-3
Let c(f) = 2*f**2 - 24*f - 1384. Let p be c(33). Let t be 2/3*(0 + 3). Solve -t*h + 6 = 2*a, 0 = 2*a - p*h + 12 - 2 for a.
-1
Let l = 337 + -299. Suppose l = 11*h + 5. Solve -4*t = 5*u - t - 6, 4 = h*u + 2*t for u.
0
Suppose -3*g = -2*l - 13, -5*g + 2*l = l - 24. Solve -4*p = -3*f - 0*p - g, -5*p + 45 = 4*f for f.
5
Let x be 30*-3*(-28)/630. Solve u = -x*q + 5, -7*u - 2*q + 6 = -3*u for u.
1
Let o(q) be the second derivative of -q**4/12 + 11*q**3/6 - 13*q**2/2 - 31*q. Let b be o(7). Suppose j = b - 12. Solve j*z = 5*y, 5*y + z = -0*z + 20 for y.
3
Let z(y) = 12*y - 12. Let x(l) = -l + 9. Let w be x(14). Let c be z(w). Let m = c - -91. Solve 2*q = -2*i - 5 - 7, -4*q = 3*i + m for i.
-5
Let d be 0 + 0/(-1) - (-9 - -7). Let i be 29 + (0 - -2) + -1 + d. Suppose -4*l - 12 = -i. Solve 3*r + 8 = -5*b + 43, l*b = -4*r + 40 for r.
5
Suppose 4*t - 3*t = 4*f + 241, 0 = -f - 3*t - 70. Let r = -69 - f. Let i be (-3)/(12/r) - -2. Solve i*j + 25 = -j - 5*k, -4*k - 16 = 0 for j.
-1
Suppose 4*k + 100 = 2*z, 2*z - 4*k - k - 105 = 0. Let l = 85 - z. Suppose l*t = 41*t. Solve 4*y - 12 = t, -6*y = -g - 2*y - 8 for g.
4
Suppose -7069 - 3053 + 2322 = -78*w. Solve -l - 3*r + 20 = 0, 96*l + 25 = w*l + r for l.
5
Let o(b) = -6*b**3 - 13*b**2 - 12*b - 15. Let l be o(-2). Solve l*i - 5*g + 30 = 0, i - 9*g = -7*g - 7 for i.
-5
Suppose -3*v - 14 = 9*a - 13*a, -3*v = 2*a - 16. Solve a*x + 11*y -