7. Solve -2*k = 5*j + 15, -5*k = -3*k + t*j + 12 for k.
-5
Let s = 99 + -55. Suppose -4*v = -2*v - s. Suppose -v*g = -27*g + 15. Solve 0 = 3*d + g*b + 27, -5*d - 5*b = -2*d + 37 for d.
-4
Suppose 2*x - 17 = 4*l - 43, -5*x - 45 = -5*l. Solve -l*a - 4 = 2*r, -4*r - 5 = -0*a + 5*a for r.
0
Let d be (-11 - -5)/12*(-8 - -4). Solve -d - 11 = 4*u - c, 5*c - 29 = 2*u for u.
-2
Let z(n) = -n**2 - 15*n - 21. Let j be z(-13). Suppose -2*x + 9 + j = 0. Solve 5*a - 11 = 4*h, -7 = -a - x*h + 3*h for a.
3
Let r = 686 + -675. Solve y - 3*s - r = 0, 5*y - 4*s = 16 + 6 for y.
2
Suppose -t = 3*z + 217, z + 0*z = -t - 71. Let n = z - -77. Solve 5*k - 2*k = 5*o + 1, -n*k + 3*o - 6 = 0 for k.
-3
Let v(u) be the first derivative of 3*u**2/2 - 18*u + 11. Let m be v(8). Solve -3*t + 2*k - 18 = 0, -20 = 2*t - 2*k - m for t.
-4
Let a = 1230 - 1230. Solve -2*c - y - 9 = a, c + y = -2 - 2 for c.
-5
Suppose 0 = 2*b + 5*n - 30, -4*b + 146 = n + 50. Solve -4*x + 3*i = 31, 3*x - 8 = i - b for x.
-4
Let t be (-11)/33 - (-1)/3. Let k be (-3)/((-2)/(t + 2)) - 1. Solve 4*z = 6 + k, 5*s + z - 22 = 0 for s.
4
Suppose -4*t + 5 = -7. Let w(n) = -n**3 - 5*n**2 + 5. Let o be w(-5). Let x be ((-30)/5)/(2/(-3)). Solve 3*j + 24 = t*u + x, -4*u + o = j for j.
-3
Let o be (30/12)/(1/2). Solve 4 = -3*s + r, -4*r + 3*r = -4*s - o for s.
-1
Let r(n) = 7*n - 38. Let d be r(6). Let v be (-10)/(-6)*3 + -2. Suppose -2*k + 9 = -v*j, 2*j = d*k - 0*k - 14. Solve k*b - 4*x = 25, 5*b - 17 = x + 2 for b.
3
Let v(o) be the second derivative of o**5/20 - o**4/12 - o**3/3 - 3*o**2/2 - 8*o. Let i be v(3). Solve -2*s + 5*s + l = i, 3*s - 5*l = 27 for s.
4
Suppose -3*x = 3*f + f - 61, 3*f - 77 = 4*x. Suppose -32 = -0*q + 2*q. Let z = q + f. Solve z*k + 3*n = -n - 22, -2*k = 4*n + 20 for k.
-2
Let m be (4/(-14))/(6/(-42)). Suppose 4*v + m - 6 = 0. Let x(c) = c**3 - 8*c**2 - c + 13. Let p be x(8). Solve -5*o = -p, 0 = h - 5*o - v + 6 for h.
0
Suppose -35*j + 29 = -34*j. Suppose -2*q - q - 4*h = -j, 4 = -h. Solve 3*k = f - 13, 2*k + k = 3*f - q for f.
1
Let a = -28 + 55. Let c = 113 + -135. Let x = c + a. Solve 3*p + x*z - 16 = -2, -z = 2*p - 7 for p.
3
Suppose -2*h + 0*x + x = -11, 0 = 2*h + 3*x + 9. Solve -2*b + 2*q + 18 = -h*q, -5*q - 24 = 4*b for b.
-1
Let i = -32 - -31. Let o be 9 + (i - (0 - -3)). Solve 6*u - 2*u = 4, -2*u = -o*x - 2 for x.
0
Let y(v) = -v**3 + v**2 + 24*v - 15. Let f be y(5). Solve -5*d - 15 = f*g, -4*g - 2*d = -0*g + 10 for g.
-2
Let g(t) = t**2 - 19*t - 250. Let d be g(-9). Solve -3*z = y + 3 + d, 4 = -4*z - 4*y for z.
-2
Suppose 0 = -j + 2, -j - 3 = -2*y - 1. Solve -6*m + y*m - 16 = 2*n, 0 = 4*m - 5*n + 2 for m.
-3
Suppose -5*w + 7*w - 2 = -3*x, -x = 4*w - 14. Suppose -4 = -4*l + 16. Solve -w*f - 9 = 3, l*f = 2*m - 11 for m.
-2
Let o be 2/(-4) + (-124)/(-8) + -9. Solve -2*j + 4*p - o = 0, 2*j - p + 2 + 4 = 0 for j.
-3
Let c = 22 + -14. Suppose 13 = c*f - 11. Let t be (f/6)/((-2)/(-8)). Solve 0 = -2*k - t, v + 0*v = -k + 1 for v.
2
Suppose 2*q - 23 = -3*s, q = -2*q + 4*s - 8. Solve -2*f + 4 = -4*z, 3*f - q = 2*z + 2 for f.
2
Let r = -50 + 51. Suppose -3*m + r = -t, 0*m + m - 17 = -3*t. Solve -6*y = -c - y - 9, -4*c + m = -y for c.
1
Let k(m) = -m**3 - 4*m**2 - 4*m - 3. Let h be k(-3). Let g be (1 - -1)/((-2)/(-25)). Suppose n + 2 - 5 = 0. Solve n*o - 5*u = -h*o + g, 0 = -5*o + u + 27 for o.
5
Suppose 2*i + 2*i - 10 = -2*a, -25 = 5*i - 5*a. Solve i*x = 4*c + 2*x - 6, 12 = -5*c + 4*x for c.
0
Suppose 0 = 17*d - 76 + 8. Solve d*v - 17 = 2*q - 5, -v + 13 = -3*q for q.
-4
Let a(x) be the second derivative of -1/20*x**5 + 0 + x - 3/2*x**3 - 2*x**2 - 1/2*x**4. Let u be a(-4). Solve 3*y - 13 = 4*i - u*y, 5*y = 15 for i.
-1
Let c = 73 - 68. Suppose 0 = 4*s - c*j + 3, 3*s + 2*j - 22 = -7. Solve -3 = -d - 3*g, -s = -3*d + 2*d - 4*g for d.
3
Let r(h) = h**3 - 28*h**2 + h - 23. Let i be r(28). Solve -m + 0 = 3*k - 10, m - i*k + 14 = 0 for m.
1
Let i be ((-6)/(-5))/(-9*1/(-15)). Solve -k = i*l + 4*k - 8, 4*l - 3*k + 10 = 0 for l.
-1
Let f = -54 + 41. Let b(u) = -u**2 - 14*u - 9. Let l be b(f). Solve -2*w - 7 = -5*y - 4*w, 2*w - 6 = -l*y for y.
1
Let z(c) = c**2 + 40 - 21*c + 20*c + 22*c. Let n be z(-19). Solve n*i + 6 = 0, 4*t = -2*i - 1 + 3 for t.
2
Suppose -1230 = -4*x - 1214. Solve 2*z + 2*u - x*u = 0, 5*u = 3*z for z.
0
Let o(p) = -p**3 + 46*p**2 + 5*p - 225. Let v be o(46). Solve -2*y + 4*h - 3*h = -1, -v*h - 5 = y for y.
0
Suppose -2*u = -c - 6, -3*u = -9 - 3. Suppose 4*i - 4 - 12 = -2*p, -3*i = -5*p + 14. Solve c*b - 5*w - i = 2, -b = 5*w + 13 for b.
-3
Let k be 638/(-77) - (5/7 + -1). Let l be k/(-28)*(7*2)/1. Solve 0 = 3*t - 3*g + 15, -l*g = t + t - 2 for t.
-3
Let p = -114 - -126. Solve 5*x + 24 = 3*d, -d + 0*x = 5*x + p for d.
3
Let h be (-3*1)/((-216)/936). Solve -4*a - 3*p - h = 0, 3*a - 3*p - 3 = 3 for a.
-1
Let w(a) = a**3 + 15*a**2 + 51*a + 8. Let x be w(-5). Solve 0 = -m + 2*u - 10, u + 1 = x*m - 4*m for m.
-4
Let w = -151 - -151. Suppose k - 7 = -w*k. Solve 3*x + k = -3*l - x, 3 = -3*x for l.
-1
Let l be (53 + -50)/(2*(-1)/(-2)). Solve -l*x - 5*a = 37, -5*x - 5 = -0*x - 3*a for x.
-4
Let k(f) = -f**3 - 9*f**2 + 23*f + 1. Let a be k(2). Solve 4*o + 0*o + a*h = 2, h = 5*o - 12 for o.
2
Let u be 8/(-10) - (-33)/(-15). Let p be 32/12 - (1/u + 0). Solve 2*c = f - 4*f - 5, c + p*f + 10 = 0 for c.
5
Let u(b) be the first derivative of 2*b + 1/2*b**2 + 2. Let c be u(1). Solve c*x + 3*d - 4 = -x, -d = x for x.
4
Let z be (-4)/((-48)/(-120) + 66/(-115)). Solve 2*k + 5*l = z, -3 + 1 = -2*k + 2*l for k.
4
Let x be -1 + (-3 - (14 + -4)). Let o = 16 + x. Solve -m - 2 = 0, h - 5 = m + o for h.
5
Suppose t = -26*v + 30*v - 24, v + 4*t + 11 = 0. Solve -4*h = 4*r + 16, r + 3 = v*h - 1 for h.
0
Suppose -12 = -3*j + 3. Let n = 701 + -696. Solve -n*g - 4*z = -41, j*g + 5*z = -27 + 72 for g.
5
Let n(j) = 2*j**2 - 4. Let v(l) = l**3 - 6*l**2 + 4*l + 2. Let d be v(5). Let p be n(d). Let y = -10 + p. Solve 0 = -3*g + 2*g + 5*b - 9, -b = 2*g - y for g.
1
Let w be 4/(-7)*(-106 + 99). Solve -4 + 15 = -4*j + 5*t, t = -w*j + 7 for j.
1
Suppose 0 = -t + 2*x + 10, -4*t + 5 = -2*x - 5. Suppose -5*v + 3*h = -2*v, t = -2*h. Solve -r + 2*z + 2 = v, 22 = -4*r - 5*z + 4 for r.
-2
Let o be (-205)/15 - 2/(-3). Let q = o + 15. Solve q*n = s + 2 + 6, 3*s - 9 = -5*n for s.
-2
Let p = -1246 - -1252. Solve 3*k - 11 = -5*x, -5*k - 4*x + p = -8 for k.
2
Suppose 3*w + 18 + 11 = 2*b, b = 2*w + 15. Solve 4*a - 2*i - 3*i + b = 0, -5*a = 3*i + 7 for a.
-2
Let d = 11 - 9. Solve 5*y + 5*z = 0, 0 = 2*y - 3*z - d + 7 for y.
-1
Let g be (-1 - -2)*-1*(-272)/16. Solve -5*v + g = -5*o + 2, -v = 5*o + 21 for o.
-4
Let v = -55 - -63. Suppose 10*y + v = 14*y. Solve 0 = 3*x - 5*c + y*c - 3, -4*c + 3 = 3*x for x.
1
Let v = 4 - -1. Let m = -2096 - -2107. Solve -4*w + v*g - 21 = 0, -4*w + 2*g - m = -g for w.
1
Suppose d + 4*z = -23, 5*d + 2*z + 31 = 3*z. Let c = d - -9. Solve 2*s - c*w = 0, 2*s - 2*w = 3*w + 15 for s.
-5
Suppose -4*o + 0*o + 97 = 5*h, 21 = 2*o - 3*h. Suppose -28 = -o*x + 22*x. Let s = x - -9. Solve 4*b = -4*w + 9*w - 36, 4 = s*b + 3*w for b.
-4
Let l = -1 - -9. Let x be (7 - l) + 2 + 2. Solve 4*n = -2*m + 2*n, 4*m + x*n + 4 = 0 for m.
-4
Suppose 3*o + 6 = 2*y, 5*y + 3*o = -8 + 2. Solve -c - p - p = -4, -c + 2*p - 12 = y for c.
-4
Let v = 118 - 58. Suppose 0*b - 6*b + v = 0. Solve 0 = -2*a - f + 4, -4*f - b = -9*f for a.
1
Let g be (-9 - 1)/(16 - 18). Suppose 0*r = -2*r + 6. Let v be 14/5 - 3/(-15). Solve 0 = -v*n + 4*n - z - 5, r*n = g*z + 17 for n.
4
Let t = -36 - -41. Suppose 4*c - 8 = -4*y + 4, -7 = -t*c + 3*y. Suppose c*u = -0*u + 10. Solve 3*b = 5*a - 17, 0 = -3*b + u*b + 8 for a.
1
Suppose -3*c - 4*v - 33 = 0, -c + 3*v - 11 = v. Let p be (-3)/15 + c/(-5). Suppose x - p = -0. Solve 5*b = 7 + 13, -2*w - 2*b - x = 0 for w.
-5
Let i = -1147 + 1167. Let n be (1 + 0)*2/1. Solve o - i = 5*a, 0*o + 5*a = -n*o - 20 for o.
0
Let z be (-6 - -1)*(0 + 1). Suppose 22*i - i - 84 = 0. Let h be (-2)/i - z/2. Solve -h*c = -7*s + 3*s + 12, -4*c + 28 = 5*s for c.
2
Let s(i) = i**2 + i - 1. Let m be s(2). Suppose -2 = -w - 3*f + 6, -m*w - 2 = f. Let r be (w + -5)*8/(-24). Solve 16 = -5*x + 3*n, 2*n + 0*n = -r*x for x.
-2
Let s be -4*1/(-2)*(23 + -22). Solve 3*g + 16 = -s*k, 0 = k + 1 + 1 for g.
-4
Suppose -5*h - 5*t = -35, 3*h = t + 6 + 15. 