7 - 3. Let k = -1 + s. Let l(v) = -v**3 + 6*v**2 + 9*v - 10. Let r be l(7). Solve 2*a = 5*j - 15, 0*a + k*a + r*j = -11 for a.
-5
Let l(s) = 3*s + 24. Let i be l(-8). Solve 5*p + 5*w + 10 = i, 0 = 2*p + 5*w - 4 + 11 for p.
-1
Let s = -3 - -6. Suppose 4 = 22*m - 84. Solve m*j = -5*d + 25, s*d - 2 + 14 = 3*j for j.
5
Suppose m - 3*y = 2, y - 18 = -3*m + 4*y. Let o = m + -7. Let t be o*18*(-5)/(-15). Solve 2*q = 3*n - t - 0, -3*n = -q - 9 for n.
4
Let l be 6/3*2/2. Suppose l*k = -k + 9. Solve u = 5*g - 0*u + 22, -u = -k*g - 14 for g.
-4
Suppose -f = -5*f. Solve f = r + 2*i + 7, i + i = 4*r - 2 for r.
-1
Suppose 2*w - 4 = -5*i + 4, 0 = -2*w + 8. Suppose -u + 16 = 3*u - p, i = -p + 4. Suppose -2*c = -u - 1. Solve -5*o - 1 - 5 = c*x, -6 = 3*x + 4*o for x.
-2
Suppose -80 = -4*t - t. Let y be 492/t + (-6)/8. Solve 0 = 3*x - 5*v - 5 + 45, -3*v = -3*x - y for x.
-5
Suppose -3*i - 4 = v - 9, 3*v - i - 15 = 0. Suppose 1 = v*j - 24. Let t = 6 - 4. Solve -2 = l - x, l + j*x + t = 3*l for l.
-4
Suppose 0*l + l = 14. Solve -3*j - 7 - l = 3*k, -15 = j + 5*k for j.
-5
Suppose -6*i + 3*i - 13 = -5*f, -8 = -2*f + 4*i. Let j be (-2)/((-8)/3)*24. Suppose -j = -l - 5. Solve 5*y + l = f*a, a + 3*a - 11 = -5*y for a.
4
Suppose 13 = 5*h - i, 0 = -2*h - 3*i + 2*i + 1. Solve 2*o + 4*p - 16 = 0, h*o + 6 = o + 5*p for o.
4
Let q(l) = -l**3 + 7*l**2 - 3*l - 16. Let t be q(6). Solve -4*i + t*k = 4*k, 0 = -4*i + 5*k - 28 for i.
-2
Suppose 0 = -5*b - 4 + 14. Let k be (-2 + -1 + b)*-1. Let d be (1 - (k - 2))/1. Solve 3*l - 13 = -2*u, -l - 4*l = -d*u - 11 for l.
3
Suppose v - 9 = 3*b, -2*b + 0*b = 2*v + 14. Let h be 45*1*(-1)/v. Solve 3*k - 20 = -4*w, -8*k + h = -3*k + 3*w for k.
0
Let b = 1 + -1. Let p be (-1)/3*b*1. Suppose o + 4*o - 80 = p. Solve n + 4 = -4*d + 3*n, 0 = 4*d + 3*n - o for d.
1
Suppose 0*n - 9 = 3*n. Let l = n - -5. Suppose -3*f + 5 = -1, 0 = -3*r + l*f - 4. Solve r = 4*m - m + w + 3, -3*m = 2*w for m.
-2
Suppose 0 = -6*d + 9 + 9. Solve 15 = -d*x + 4*w - w, -5*x = 4*w - 20 for x.
0
Let a be (6 - 1)/(3/12). Let u(c) = -c**2 + 10*c + 5. Let t be u(10). Suppose t*w = w + a. Solve -4*m - 2*i + 20 = 0, -18 = -w*m - 2*i + 7 for m.
5
Suppose -4*v - 2 = -2*r, -3*v - 3 = -3*r + 3. Let f(q) = 10 - q + 6 - q + 12. Let y be f(13). Solve -t - y = 3, -r*t - 16 = o for o.
-1
Let y be (-5 - -2) + 40/2. Solve -c + y = 4*v, -2*c - 2*v = -v - 13 for c.
5
Suppose -3*n + 12 = -0. Let f = 18 + -28. Let c be (-2)/(4/f) + -2. Solve -n*p + 2*l = 4, 4*p - c*l + 4 = -0*p for p.
-1
Let p(d) = d**3 + 8*d**2 + 8*d + 3. Let x be p(-7). Let g = -3 - x. Let c(j) = 16*j. Let a be c(g). Solve -3 + a = 3*o + y, -5 = 5*o - 5*y for o.
3
Suppose 22*y = 17*y + 30. Solve 14 = -s + 3*m, -3*s + 5*m = -y*s + 28 for s.
1
Let a be 6/((60/8)/(-5)). Let w be (2/3)/(a/(-6)). Solve 0 = -4*b + 5*p - 0*p - 23, 0 = 2*b + p + w for b.
-2
Suppose 5*l = 5*v - 35, -v - 4*l + 4 = 2. Solve -4*w - 5*b = -3*b + v, 5*b = -15 for w.
0
Let v be (-272)/(-119) + -2*2/14. Solve -2*x + 0 = -v*z + 4, 3*x = z - 4 for x.
-1
Let p = 34 + -48. Let b = -13 - p. Let r = 3 + -1. Solve -4*z + 13 = 2*u - b, 3*u - r*z = -3 for u.
1
Suppose 3*b - 35 = -4*y - 12, -5*b = -y. Solve 3*o = 4*z + o + 22, -17 = y*z + o for z.
-4
Let r = -4 + 4. Suppose r = -v - v + 6. Solve 22 = -s - v*s + 3*c, 3*c - 26 = 5*s for s.
-4
Let q(p) = -p - 2. Let z be q(3). Let s = z + 7. Solve 0 = 2*x + 3*g - 8*g - 15, 30 = -s*x - 4*g for x.
-5
Let x = -37 - -42. Solve x*q - q = 5*r + 14, -r = 2 for q.
1
Suppose -a = -0*a. Let f be 2 - a - (3 + -4). Suppose 0*z + 45 = f*z. Solve -5*x = -4*q - z, -3*x + 4 = 4*q - 5 for q.
0
Let b(m) = -m**2 - m + 7. Let y be b(0). Suppose -3*q - 1 = -y. Solve o = a + 6, -q*a + 2*o - o - 10 = 0 for a.
-4
Let i(v) = -v**2 + 10*v - 7. Let f be i(9). Suppose -7*a + 12*a - 30 = 0. Solve -13 = 3*n + n - 3*r, -a = f*n - 2*r for n.
-4
Let m = 15 - 11. Solve -3*z = 2*t + t - 6, m*z - 16 = 0 for t.
-2
Let f(g) = g**2 + 19*g - 42. Let s be f(-21). Solve 2*h = -3*m - 21, -4*h + 3*m = -s*m - 3 for h.
-3
Let d = 81 + -79. Solve 3*m = -d*j - 0*j - 4, 0 = -5*m for j.
-2
Let z(x) = x**3 + 3*x**2 - 2*x + 2. Let v be z(2). Solve 2*c + 4 = 2*l, -c + v = l + 2*l for l.
5
Let k = 43 + -38. Solve 2*u - 10 = 5*b + 3, k*b = -5 for u.
4
Suppose 4*g + 2*x - 4 = 3*g, 3*x = -2*g + 8. Solve -4*r + 20 = 4*d, 2*r - d - 3 = g for r.
4
Let s(i) = -6*i + 28. Let n(h) = -2*h + 9. Let j(z) = -7*n(z) + 2*s(z). Let d be j(8). Solve 2*w + w = 4*o - 12, d = -w + 3*o for w.
0
Let p(z) = -z**2 + 12*z + 16. Let n be p(13). Solve -4*l - d + 23 = 0, 2*l - n*d = l - 4 for l.
5
Let a(q) = q. Suppose 0 = 2*x - 6 - 4. Let z be a(x). Solve 2*d - 3*n + 14 = 3*d, 3*d + z*n = 30 for d.
5
Let k be 21/14 - (-6)/4. Solve -2*r - 5 + k = -2*c, r + 5 = -3*c for r.
-2
Let t(i) = 5*i - 30. Let q(n) = -3*n + 20. Let x(a) = 8*q(a) + 5*t(a). Let c be x(-7). Solve c*y + 2*b + 13 = 0, -4*b - 11 = y - 0*y for y.
-3
Let k(s) = -s**2 - 4*s + 3. Let q be k(-3). Let w(y) = -y**2 + 7*y - 1. Let u be w(q). Suppose 0 = -0*z + u*z. Solve 5*t = m - 6, -2*t + z*t + m = 0 for t.
-2
Let y = 13 - 19. Let w = y - 0. Let v be (-1*2)/(4/w). Solve i = -v*m - 8, m + i = -i + 4 for m.
-4
Suppose 5*w - 18 = 7. Solve -5*k - 2 = 2*l, -6*l - w = 2*k - l for k.
0
Suppose 2*g + 5*h - 24 = 0, 2*g - 2*h = -g - 2. Suppose r - 2 - 14 = 0. Let q be 2/8 - (-44)/r. Solve n + 3 = q*y - g*y, 2*y - 1 = n for y.
-2
Let l be -20*(-4)/(-2)*1/(-2). Solve 12 = -5*k - 2*x, k - x + l = 3*x for k.
-4
Suppose 0 = 4*i - 5*i + 2. Suppose -8 - i = -2*j. Suppose 8*g - 5 - 19 = 0. Solve -g*c = -k - 13, -4*c - 5 - 3 = j*k for c.
3
Let d = -22 + 34. Suppose w + t + 3*t = d, -3*t - 2 = -2*w. Solve v = 3*r - v - 1, -5*v = w*r + 14 for r.
-1
Suppose 0 = -7*p + 4*p + 12. Let l be (-60)/(-35) - (-4)/14. Let w = p + l. Solve r - 9 + 1 = -4*t, 3*t - w = 2*r for t.
2
Let o = 18 + -18. Solve c - 5 = -y + 6*y, 2*c - 3*y - 10 = o for c.
5
Let f(d) = -d**2 - 2*d - 1. Let n be f(-1). Let c = n - -3. Suppose -s + c = 1. Solve -2 = 4*b - l - 6, s*b - 2 = -5*l for b.
1
Let h(y) = y + 5. Let w(b) = b. Let j(l) = h(l) - 4*w(l). Let x be j(-6). Solve 0*d = d - 4*r - x, -12 = d + 3*r for d.
3
Let q(j) = 2*j**2 - j - 7*j**2 + 5 - j**3 + 3*j - j. Let p be q(-5). Let m be p + 1 + 4 + 0. Solve 15 = m*g - 3*l - 0*l, -3*g = 3*l - 9 for g.
3
Suppose 0 = -0*g - 5*g. Solve 2*x + o - 7 = g, -3*x + 18 = -3*o + 2*o for x.
5
Let w be (6/15)/(2/30). Let n(f) = -5 + 4*f - w*f + 4 - f**3 + 4*f**2. Let o be n(3). Solve -5*c = -o*m - m - 7, -3*c - 15 = 3*m for m.
-4
Suppose c - 12 = -3*c. Let d be (3/5)/(4/20). Solve -l - 13 = -d*f, 16 = f - 4*l - c for f.
3
Suppose -m = g, 2*m = -2*g - g + 5. Solve 2*d = -q + 5, -g*d - 1 + 15 = q for d.
3
Suppose -4 = 2*y - 4*y. Suppose 0 = -5*t - 4*p + 72 + 45, -4 = 2*p. Let f = t + -15. Solve -3*h + 2 + f = 3*v, h - y*v = -2 for h.
2
Let f be (-110)/6 + (-4)/(-12). Let a = f + 10. Let o(m) = -m - 4. Let h be o(a). Solve 2*k - h*r = -6, 5*k + 7*r = 4*r - 28 for k.
-5
Let g(s) = s - 6. Let v be g(-10). Let h = 16 + v. Solve h = -5*a, -3*a = -0*n + 3*n - 12 for n.
4
Suppose 0 = -3*l + u + 78, 2*l + 7*u = 2*u + 69. Let c be 3/(-6) + l/6. Let t = -6 - -9. Solve -c*d + 5*d - 5 = -s, -d + 15 = t*s for s.
5
Let b = -7 - -11. Let k(c) be the first derivative of -c**3/3 + 5*c**2/2 - c - 2. Let a be k(b). Solve -s + 2*s + 3 = -a*d, -2*s = 5*d + 4 for d.
-2
Suppose -3*q - 3*v + 23 = -1, -5*q + 36 = 4*v. Let n(u) = u - 4. Let d be n(6). Let k be d/(-6) + 7/3. Solve 26 = k*l + 5*o, -q*o = -l - 2*o - 5 for l.
3
Let m(v) = -7*v - 6. Let n(c) = -c. Let s(h) = m(h) - 6*n(h). Let y be s(-9). Let o be (22/3)/(2/y). Solve -3*i - o = 2*r, 4*i = -r - 2*r - 15 for i.
-3
Let k be (-9)/6 + (-1)/2. Let y be ((-4)/(-6))/(k/(-15)). Suppose -2 = -y*s + 23. Solve -5*i + 5*g + 4 = -6, -s*i + 3*g = 0 for i.
-3
Let i(k) = -k**3 + 3*k**2 - k + 2. Let h be i(3). Let v = h - -1. Solve -2*b + v*r = 2*r - 10, 0 = b + 3*r - 15 for b.
0
Let z = -5 - -9. Suppose 0 = 4*j - 4 - z. Solve 2*s + 2*b + 8 = 0, -j*s - 3*b - 18 = b for s.
1
Suppose -13 = -4*p - 5*g + 10, -p - 3*g + 4 = 0. Suppose -2*l = 4*t + 2, t + p*l = 4*l - 8. Solve 5*o - 4*q - t - 35 = 0, 5*o + 2*q = 12 for o.
4
Let r(o) = -o**3 + 3*o**2 + 3*o + 4. Let h be r(4). Suppose 2*t + h + 4 = -3*z, 2*t + 10 = 0. Solve -15 = -5*v - 5*