7. Let z = 7 - 2. Let v = u + z. Solve -v - 7 = 5*k for k.
-3
Suppose -7 - 8 = -5*k. Suppose -d = 4*d - 3*y - 203, 5*d = 2*y + 202. Suppose -6*n + 4*n = -d. Solve k*l + l + n = 0 for l.
-5
Let y be (-1 + 0)/((-7)/21) + 1. Suppose -2*k = -y - 2. Solve 0 = -k*d + 12 for d.
4
Suppose -2*q + 2*y = 108, 157 = -3*q + 4*y - 8. Let r = q + 56. Solve 0*t + 5 = r*t for t.
1
Let t be 3 - 20/(-5) - 3. Solve t*p - 10*p = -6 for p.
1
Suppose -13*g - 6*g + 114 = 0. Solve -g*d + 2 = 20 for d.
-3
Let b = 28 - 14. Solve -2*q = 5*q + b for q.
-2
Suppose -4*m = -2*f - 32, -2*m + 20 = -0*m - 2*f. Suppose -45 = -3*g + m. Solve 4*q - g = 3 for q.
5
Let a = 82 - 143. Let q = -59 - a. Solve q*c - 3*c = -5 for c.
5
Let s be 0/(-1) + 5 + 6 + -8. Solve -s*x - 17 = -11 for x.
-2
Suppose 171 = 24*u - 213. Solve u*g = 38 + 26 for g.
4
Suppose -14*c = 232 - 582. Solve -4*f + 9 = c for f.
-4
Let l = 26 + -26. Suppose l*n - 4*n - 2*s = -8, n = 4*s - 16. Solve -5*m + 20 = -n*m for m.
4
Let j(t) = -t**2 - 6*t + 7. Let g be j(-7). Let f = g + 5. Suppose 3*q + 2*m - 7 = 0, -q - q = f*m - 1. Solve 8 = q*c - 1 for c.
3
Suppose -3*x - 5*z + 61 = 0, -4*x + 58 = 2*z - 7*z. Let g be (-1)/4 + x/4. Solve 0 = -0*b + 4*b - g for b.
1
Let i = 257 - 173. Suppose i = 10*p - 36. Solve 17 = -w + p for w.
-5
Suppose -12 = -y + 5*d - 2*d, -3*y + 2*d + 8 = 0. Let i be 0/(y + (3 - 6)). Let t be -3*(-1 - (i - 0)). Solve -t*m - 1 = 2 for m.
-1
Let t(a) be the first derivative of -a**4/4 + 4*a**3/3 - a**2/2 - 4*a + 8. Let p be t(3). Suppose 0 = -4*w - p*w. Solve w = -0*b - 3*b for b.
0
Let i = 407 + -395. Solve 5*d - 2*d + i = 0 for d.
-4
Suppose -28*b = -34*b + 120. Suppose -5*r + 15 + b = 0. Solve r*z - z = 0 for z.
0
Let y be (-117)/(-195) - (-1 + (-7)/5). Suppose 3*p + 12 = -0*p. Let h = 9 + p. Solve y = h*a - 7 for a.
2
Let q = -31 + 53. Solve -26*g = -q*g + 12 for g.
-3
Let u = -1438 - -1446. Solve -u*o = 19 - 19 for o.
0
Let t = -1 - -1. Let x(o) = -o**2 - 2*o + 14. Let b be x(0). Suppose -5*k + 32 = 4*q, -3*k + b = -0*q + 5*q. Solve t = 3*a - k - 1 for a.
3
Let h be (9 + 468/13)/(6/4). Solve 17*j - 65 = h*j for j.
-5
Suppose 0 = 3*p - j - 7, -p + 3*j = -2*j + 7. Solve -i + 0 - p = 0 for i.
-3
Let q = 10 - 16. Let b(g) = -2*g - 7. Let l be b(q). Suppose -j = -4*v - 20, 4 = 2*j + 4*v + 12. Solve -j = l*x - 14 for x.
2
Let h(k) = k**3 - 2*k**2 - 6*k + 12. Let g be h(3). Solve -7*y = -8*y - g for y.
-3
Let b be (13/2)/13 - (-2)/(-4). Suppose -1 = -m + 1. Solve -i - 4 + m = b for i.
-2
Let g = -135 - -168. Solve -g*v + 32*v = 5 for v.
-5
Let n be 4 + (-2 + 6 - 32). Let m be (-64)/n*(-18)/(-4). Solve 2*o - 6*o + m = 0 for o.
3
Suppose -17*b = 2*b + 3*b. Solve 4*x - 6 - 6 = b for x.
3
Let c be (4 - 72/20) + (-673)/(-5). Let j = c - 115. Solve 8*h + j = 3*h for h.
-4
Suppose 0 = -2*i - 3*i - 5*g - 45, -4*i - 5*g = 39. Let l(f) = 2*f**2 + 13*f + 10. Let p be l(i). Solve 4*j + p = -16 for j.
-5
Let u = 36 - 75. Let m = u - -55. Let c = m + -15. Solve 3*s + c = -2 for s.
-1
Suppose 3*s - 5*p - 15 = -2*p, p + 14 = 4*s. Suppose 2*m + d - 2*d = 25, -d = -s*m + 36. Suppose 49 = 3*o - m. Solve -2*b - o = 3*b for b.
-4
Suppose -6 = -4*z - 18. Let s = -1 - z. Solve t + 12 = -s*t for t.
-4
Let k = -222 + 236. Solve -11*d = -k*d + 9 for d.
3
Suppose 7*i - 15 - 41 = 0. Solve -5*k - 9 = -i*k for k.
3
Let m = -48 + 48. Solve 8*i - 4*i = m for i.
0
Let t = 10 - 6. Suppose 0 = -y + k + 10, -3*y + t = 5*k - 2. Let u = -3 - -6. Solve u + y = 2*d for d.
5
Suppose -3*v = 5*i, 2*i - 4*v + 1 = 27. Suppose 4*b = 5*n - 16, 4*b - 7 = -n + b. Suppose -5*k = 4*h - 14, n*k = h + h + 6. Solve t + k = i*t for t.
1
Let c(k) = -12*k - 504. Let i be c(-42). Solve -19*x + x - 36 = i for x.
-2
Let h(p) = -30*p - 3. Let w be h(-2). Suppose -38 = 5*r - 5*l + w, -5*r = 2*l + 60. Let t be (-2)/r - 40/(-14). Solve t*k + k + 8 = 0 for k.
-2
Suppose 0 = -2*p + 39 + 19. Suppose 2*k + 7*w = 2*w + 43, -w + 29 = k. Let r = k - p. Solve 5*o - 15 = -r for o.
2
Let d(m) = m**3 + 5*m**2 - 2*m + 5. Let r be d(-5). Suppose r = -s + 4*s. Solve s = -3*g + 4*g for g.
5
Let c be (0 + 3 + -3)*-1. Let p be (-2)/(-4 + 2)*12. Suppose 2*z = 5*q - p, 5*q - 16 = q. Solve c*y + 12 = z*y for y.
3
Let u(d) be the second derivative of d**5/20 - d**4/6 - d**2 + 11*d. Let n be u(3). Solve -2*z - 1 = n for z.
-4
Let i = -1959 + 1963. Solve 83 - 95 = i*z for z.
-3
Let n = 29 + -18. Suppose 12*t = n*t. Solve 0*v - 5*v - 20 = t for v.
-4
Suppose -4*f + 0*f = 0. Suppose -5*d + f*d = 45. Let n = -7 - d. Solve 4*t = n + 2 for t.
1
Suppose 1 = l + 11. Let d = l - 7. Let r = -13 - d. Solve -25 = r*k + k for k.
-5
Suppose 30*c - 1 = 539. Solve 14 - c = m for m.
-4
Let l(n) = 5*n**2 + 2*n + 1. Let f be l(2). Let k = f + -10. Suppose x - r + 3 - 9 = 0, 2*x - r = 11. Solve 0*p - x*p = -k for p.
3
Let a = 4 - 4. Suppose a = -9*l + 3*l + 696. Suppose 21 = -5*s + 4*c + l, s - 25 = 2*c. Solve -s = -4*g - g for g.
3
Let n be -15*((-70)/147 + 1/7). Solve 8 = n*k - 17 for k.
5
Suppose -9*q + 6*q = -9. Let a(w) = w**2 - 5*w - 7. Let y be a(5). Let s be (y/(-2))/(3/12). Solve -s = q*l - 5 for l.
-3
Suppose -s - 3*w - 10 = 0, -5*s + 10 = -2*w - 3*w. Let f be s/((-10)/56) - 9/15. Solve -3 = 4*v + f for v.
-2
Suppose -2*f + 2*g + 10 = 0, -f - 4*g + 52 = 4*f. Let k = -3105 + 3115. Solve 3*x = f*x - k for x.
2
Let w be (-5)/(-10) - 105/(-6). Let y = 14 - w. Let r be y/8*(-1 + 1). Solve 3*p + 15 = -r*p for p.
-5
Let n be 1/((3/(-34))/(-3)). Suppose c = -3*p - 9, 0 = c - 5*p + 11 - n. Suppose 0 = c*i - 4 - 5. Solve 3 = i*k - 0*k for k.
1
Suppose -4*i - 12 = 5*b, -5*b + 5*i + 14 = -1. Suppose -5*a + 72 = 32. Solve -5*j - a + 33 = b for j.
5
Let r = 411 - 291. Let q be (4/(-10))/((-4)/r). Solve d = 5*d - q for d.
3
Let l = 16 + -16. Suppose l*r + 4*r = 0. Solve -n = -r*n for n.
0
Suppose 2*v = 4, -x - 4*v = -2*v - 7. Solve -5*g + 28 = x for g.
5
Let d = 1796 - 1790. Solve -21 = n + d*n for n.
-3
Suppose 4*s - 163 = 305. Let z = -111 + s. Solve -4*h + z = -h for h.
2
Let k(t) = 4*t - 6. Let d be k(3). Let s be 1/(d/4 - 2). Let h be 1 - (s/(-2) - 4). Solve -q + h*q = -15 for q.
-5
Let z(i) = -7*i**3 - i**2. Let k be z(-1). Suppose 254*w + 46 = 238 + 316. Solve 0 = 2*u + k - w for u.
-2
Let d = -33 + 52. Suppose -5*u = -3*w + d, 5*w + 4*u - 14 = 30. Solve -j - j = -w for j.
4
Suppose 0 = -27*b - 2*b. Solve 5*r - 8*r = b for r.
0
Suppose 3*h - 4*h = -11. Suppose -v = -0*z + 4*z + 9, -h = -v + z. Solve -v*k + 2*k = -5 for k.
1
Let q = -566 - -575. Solve -5*f - q = 6 for f.
-3
Let l(v) = v**2 + 13*v - 27. Let x be l(-13). Let q = x - -27. Solve -4 + q = -y for y.
4
Let a(u) = u**3 - 9*u**2 + 8*u + 3. Let o be a(8). Suppose o*y = -y. Solve 0 = -y*q + 3*q - 3 for q.
1
Let w = -149 + 152. Solve 0 = 3*i - 18 + w for i.
5
Suppose 8*g = 4*g + 8. Suppose l - 4 = -4*p + g, 2*p = -5*l + 30. Solve -4*f + l = -2*f for f.
3
Suppose 4*j - 30 = -j. Let g = -4 + j. Solve -12 = -g*a + 5*a for a.
-4
Suppose -20 = -10*i + 5*i. Suppose -3*p = -13 + i. Solve -m - 8 = p*m for m.
-2
Let w = 25 - 15. Suppose 4*p + 2 = w. Solve 0 = 3*z + 8 - p for z.
-2
Suppose -31*i - 74 + 136 = 0. Solve i*a = -a + 12 for a.
4
Let f be -20 + 2 + (-2)/2. Let z = f - -19. Solve 3 = -3*a - z*a for a.
-1
Suppose 2 = s + 4. Let i be (19 - s)/3 + -3. Solve -i*h + 6 + 2 = 0 for h.
2
Suppose 3*s + 55 = 5*a + 6*s, 0 = 2*a - 2*s - 6. Solve -a*v = v for v.
0
Suppose -5*o = -2*d + 38, 4*o + 2*d + 15 = -19. Let m be 16/o*3/(3/(-10)). Solve -m = 13*a - 17*a for a.
5
Suppose 13*o - 12*o - 30 = -4*p, 28 = o + 3*p. Solve 2*x - o = -24 for x.
-1
Suppose 0 = 2*f - 1 - 1. Let i(j) = -j**2 - j - 2. Let b(r) = -r**2 + r - 6. Let d(l) = b(l) - 2*i(l). Let z be d(f). Solve u - z*u + 3 = 0 for u.
3
Suppose -c = -4*v - 3*c + 1122, 5*v - 1402 = -3*c. Solve -g - 283 = -v for g.
-2
Suppose -3*k - 5 + 73 = 5*n, k = -n + 24. Solve 7*j - 19 = -k for j.
-1
Suppose 0 = -4*m - 3 + 99. Let y = 30 + m. Suppose 3*x = 3*g - 3 - y, 4*g + x - 51 = 0. Solve 5*l + 11 = -g for l.
-5
Let n be (-8)/2*6/(-8). Let u = 11 + 0. Suppose 5*r - 32 = -u*r. Solve 0 = -n*y - 1 - r for y.
-1
Let z(q) = q**3 - 6*q**2 + 3*q - 13. Let a(k) = -k**2 + 12*k - 14. Let m be a(10). Let p be z(m). Solve 2*v = p*v + 9 for v.
-3
Let x(o) = o**3 - 3*o**2 - o + 4. Let q(b) = -3*b - 6. Let w be q(-3). Let f be x