7. Let g be (-1)/2 - (-172)/p. Solve -4*n - 4*b = -4, g + 4 = -5*n + b for n.
-4
Let d = 12 - 7. Solve -j + b = 0, d*j - 3 = 2*b + 6 for j.
3
Suppose 13*m - 18*m = -25. Solve 4*v - 14 = -5*u, 5*v + 3 = -u + m*u for v.
1
Suppose 4*m + 4 = l, 2*m + l + 7 = -1. Let c be (-10)/(1/m*1). Solve 4*y + 2*s + 12 = 0, 3*s + s = 3*y + c for y.
-4
Let v(x) = x**3 - 4*x**2 - 4*x + 1. Let c be v(5). Suppose -o + 2*m = -2*o + 8, c = 3*m. Solve -2*n = -o*u + 6, -3*n + 5*u - 13 = -3 for n.
-5
Suppose 29 + 31 = 5*m. Let h(f) be the first derivative of -f**3/3 + 2*f**2 + 5*f + 1. Let g be h(5). Solve g = 3*u + 2*y - 18, 0 = 3*y - 7*y + m for u.
4
Let c(n) = 12*n - 19*n + 5*n + 2*n**2 - n**2. Let m be c(-1). Suppose 2*z - j = 7, -4*z + 4*j + 16 = -2*z. Solve 4*w + 5*g = -37, -z*w + 10 = -m*g + 1 for w.
-3
Let a(q) = q**2 - 2. Let s be a(-2). Suppose 3*j - 5 = 1. Let d be j + (-1 - -5 - 2). Solve 4*w - 10 = s*v, v - 4*v + 35 = d*w for w.
5
Let k(u) = -u**2 - 5*u + 3. Let z be k(-5). Solve 0 = y - 5, -v + 4*y - z*y = 10 for v.
-5
Let w(d) = -d**3 - 27*d**2 + 27*d - 26. Let y be w(-28). Solve 6 = -y*q - l + 13, -2*q + l - 3 = 0 for q.
1
Suppose 0 = -3*p + 17 - 5. Suppose 2*a + 2*a = y - 3, 5*y = -p*a + 15. Solve 2*k + m + 1 = -a, 2 = -5*k - 2*m for k.
0
Suppose -2*z = -6*z - 3*v + 51, -5*v + 30 = 3*z. Let c = z + -11. Solve -c*l + 8*l + 4*a - 8 = 0, 0 = -2*l - 4*a for l.
4
Suppose -9 = -3*p + 51. Solve -j + 5*w = 4*w - 6, -p = 4*w for j.
1
Let d be 1/1*4/2. Suppose o - 2 = 2*k, -2*o + 7*o - 10 = 4*k. Solve k = 2*u - 2*n - 3 - 5, -d*u = -5*n - 11 for u.
3
Let i = 2 - 0. Let j be (1 - 0)*(-3 + 26). Solve 5*b = -0*b - 3*x + j, i*x - 2 = 0 for b.
4
Let h = -2 + 6. Let v(s) = s**3 + s**2 - 1. Let a be v(1). Let l be a + 1/1 + -2. Solve 11 + 2 = h*d - k, 5*d + 5*k + 15 = l for d.
2
Suppose 3*c + 2*p = 38, -2*c = 5*p - 3 - 15. Solve -v = d + 2*d - c, v - d + 2 = 0 for v.
2
Suppose -12 = 2*t - 14. Let d be (10*12/3)/t. Solve -3*u + d = -5*l, 4*l - u = u - 30 for l.
-5
Suppose 5*k + 127 - 142 = 0. Solve 18 = -4*d + d - 3*p, -5*p + 10 = -k*d for d.
-5
Let l be (-1)/3 + (-184)/(-12). Solve 5*t = 5*v - l, v = -3*t - 0*v - 5 for t.
-2
Let r be ((-28)/10 + 7/(-35))/(-1). Solve 3*g - 5*n = 1, -n + 2*n + 5 = r*g for g.
2
Suppose -w + 5 = -0*w. Solve -f - 6 = 2*g, -41 = w*g - 3*f - f for g.
-5
Let b be 3 + (1/(-2) - 0)*-2. Solve 1 = -k - 2*a - 3, 0 = -b*a for k.
-4
Suppose -2*f - 5*w = -12, 2*f + 3 = 3*w - 1. Suppose -7*h + 15 = f. Solve 4*b = -2*i + 2, -4*b - h - 6 = 4*i for b.
3
Suppose -u = -2*m - 8, 2*u + 6*m + 29 = m. Let k be (1/u)/((-1)/6). Solve 5*i + 4*p - 15 = 9, k*i + 2*p = 14 for i.
4
Suppose 0 = 3*p - 8 + 2. Suppose p*o = 7*o. Solve 2*q - q + 2*d = o, 2*d - 16 = -5*q for q.
4
Let i(x) = -x**2 + 11*x - 7. Let h be i(9). Suppose 0 = 4*g + 5*c, 0*g - 4*g + 5*c = -40. Solve -2*s = -g*v - h, v - 10 = -4*s + 1 for s.
3
Suppose 3*m + 6 = -3*f, 3*m + 12 + 3 = 0. Solve 0*u + 2*u + f*r = -21, 0 = 5*u + 5*r + 40 for u.
-3
Let q(m) = -2*m**2 + 6*m + 4. Let i(a) = a**2 - 16*a - 14. Let w be i(17). Let y be q(w). Solve -y*f + 3*f + 4 = v, 0 = -4*f + 3*v + 16 for f.
4
Suppose m - 9 = 2*b + 3, 0 = 5*m - b - 96. Solve 4*g = -a - 13, -5*g - m = 2*a - 0 for a.
-5
Suppose -v - 1 = -6. Let u = -172 - -174. Solve -v*y - 7 = -h - 2*h, 0 = -u*h + y for h.
-1
Let m be (-10)/(-55) + 31/11. Solve b - 5*d = -29, 3*d - 31 = -m*b + 7*b for b.
-4
Let q = -3 + 6. Suppose -5*b = 5, f - 5*b + 6*b - 3 = 0. Solve 2*v + 5 = x, 3 - 38 = q*x + f*v for x.
-5
Suppose -24*j = -334 + 46. Solve 2*k + 15 = -5*z, -4*z + j = -3*k - z for k.
-5
Suppose 12 = -4*x - 5*s, -x - 2*s - 3 - 3 = 0. Solve 8 = -2*u, 6*u - 2*u = -x*n - 14 for n.
1
Let w(i) = i - 2. Let c be w(5). Suppose 3*t = 0, -c*t - 2 = n - 7. Solve -5*o - 3*m = -m + 8, 5*o + n*m + 20 = 0 for o.
0
Let z be (-2 + -1)/(15/(-25)). Solve -z*l = o - 9, -l - 4*o = -8 - 9 for l.
1
Let o(x) = -4*x + 10. Let n be o(6). Let w be ((-4)/(-3))/(n/(-21)). Solve 4*s = t - 6*t - 26, -2*t - 12 = w*s for t.
-2
Let a(j) = -j - 6. Let i be a(-6). Suppose 2*r - o - 4 = i, -3*o + 0*o = -r - 3. Solve f - 3*s = -4 - 0, 4*f + r*s - 14 = 0 for f.
2
Let s be (-1 + (2 - 0))*-3. Let o = -3 - s. Let y = 3 - 3. Solve g + 2*a = o, y = -4*g - 4*a + a for g.
0
Let m = -12 - -18. Suppose 5*h + 0 = 15. Suppose -h*i - 39 = -m*i. Solve 2*u - 3*s - 17 = 0, -2*s = u - 5*s - i for u.
4
Let j(w) = w**2 - 8*w. Let p be j(8). Solve -21 = 3*i - 3*m + 6, p = -5*i + m - 29 for i.
-5
Suppose -9*b = -6*b + 36. Let d be (-4)/(1 - -7)*b. Solve 0 = -5*s + 3*x + d, -s + 2*x - 18 = -5*s for s.
3
Let q be 15/(-12)*2*2. Let d be 8/28 - (-108)/14. Let i = d + q. Solve 5*p + 13 = i, 4*p = -4*z - 28 for z.
-5
Suppose -10 = 4*t + 2*z, 2*t - 1 + 8 = -3*z. Let k = 8 - 5. Let y be 0 + k*t/(-3). Solve 5*a + y*x = 1, -9 = -5*a - 3*x + 5*x for a.
1
Suppose -5*u + 4 = z - 0, z = -4*u + 1. Let t = -23 - z. Let m = t + 19. Solve m*s - 3 = 2*s + v, -5*s = v - 7 for s.
1
Let s(n) = n**3 - 6*n**2 - 5*n - 5. Let g be s(7). Solve -2*f = 2*x + f + g, 3*x = -f + 4 for x.
3
Let n be 4/(-6)*(-75)/10. Suppose -15 = -n*u + b, 0*u + 9 = u + b. Solve u*f = 16, -f + 2 = 3*g + 4 for g.
-2
Let x be (0/18)/(2 - 2 - 1). Solve u - 5 = x, 0*t - u = 5*t + 5 for t.
-2
Suppose p + 0*p - 2*m = 0, -4*m + 16 = 0. Solve -x + 7 = 2*l, -x + 1 = 3*l - p for l.
2
Suppose -15 = 2*o + 3*y, 0*o = o + 4*y + 20. Solve o = 2*b + u + 4 + 2, 9 = -3*b + 5*u for b.
-3
Let u = -35 - -38. Solve 3*a + 12 = 0, 0*j - 4*a - 22 = -u*j for j.
2
Let m be (((-6)/(-15))/1)/(4/20). Solve -3*h = f + m*h + 20, -2*h - 6 = 0 for f.
-5
Let b = 61 - 61. Solve b = -4*f + 4*q + 8, -q = 3*f - 2*f + 4 for f.
-1
Suppose 0 = -u - n - 0 - 5, 0 = 5*u + 2*n + 40. Let r = 30 + u. Suppose 3*x - 6 = -0*x. Solve 4*p = -x*w - p - r, -2*w - 4 = -3*p for w.
-5
Let v be (-2 - -1) + -2 + 2. Let r be v/(-6) - (-44)/24. Solve -18 = -9*b + 4*b - r*o, -3*o + 8 = -2*b for b.
2
Suppose 8 = 4*d - 2*d. Suppose -d*w + 5 = -3. Solve -5*m + m = 2*u - w, -3*m = -3*u + 21 for u.
5
Suppose -19 = 3*s + 5*z, -3*z - 20 = -5*s - z. Solve -14 = 5*h + 1, -s*h + 4 = -5*u for u.
-2
Let v = 0 - 0. Let l = 3 + 0. Suppose -q - 1 = -l. Solve 4*a + 5*o + 6 = v, 2*a + 0 + 4 = -q*o for a.
-4
Suppose 4*s - 48 = 3*f, 4*s + 2*f - 104 + 36 = 0. Let i = 2 - 2. Solve u - 2*u = -g + 8, 3*u + s = i for g.
3
Suppose -4*u - s + 53 = 13, -2*s = 2*u - 14. Solve 4*m = 12, 7*m - 2*m - u = -2*r for r.
-2
Let i(v) = -v**2 + 11*v + 12. Let x be i(11). Solve 0*w + 2*j - x = -2*w, 5*w + 3*j = 20 for w.
1
Let i = -8 - -14. Let j = i + -3. Solve -4*s - 3 = s - 3*u, 0 = -j*u - 12 for s.
-3
Let b = -1 - -10. Solve -2*x = -5*j + 2*x + 3, 3*x = b for j.
3
Let v(p) = p**2 + 3*p + 3. Let w be v(-4). Solve 3*o - c - 9 + 4 = 0, -5*o + 3*c + w = 0 for o.
2
Suppose -2*r + 0*r + 8 = 0. Solve -2*w + 0*w - r*l = -12, -3*w + 5*l = 4 for w.
2
Let m(y) = y + 12. Let t be m(-10). Suppose 0 = r - t - 6. Solve -x + r = 3*x - 4*f, 4*x - 3*f = 10 for x.
4
Suppose 2*t + 2*t - 8 = 0. Solve 4*c + 8 = -4*y, 0*y = t*c - 5*y - 24 for c.
2
Let n be (-6)/(-9) + (-33)/9. Let m be 1*n*51/(-9). Solve 4*t - m = k, -t + 0*k + 2*k + 6 = 0 for t.
4
Let n(k) = k + 8. Let l be n(6). Let z be 4/l + 12/7. Solve z*j + 3*o + 17 = 0, 0 = 3*j + 5*o - 0*o + 27 for j.
-4
Let c = -20 - -22. Solve 5*s - i = -17, -2*s - 4*i = c*s + 4 for s.
-3
Let p = 130 - 127. Suppose 2*x = -8, x + 8 = 2*d - 4. Solve -5 = 3*o + y, -d*o - p*y = -0*o for o.
-3
Let i be ((-1)/2)/(1/(-2)). Let a = 0 + i. Suppose 6 = k + a. Solve -2*n - k*t + 27 = 0, -4*n + 5*t = -2*n + 23 for n.
1
Suppose 5*b + 4*x - 40 = -5, -4*b = x - 17. Let w be 1*-2*b*-1. Suppose 12 = 5*t - 4*i, 2*i + 1 = 4*t - 5. Solve t = 3*q - w, -2*j + 0*j = 5*q - 12 for j.
1
Suppose 0 = 4*a - 0*a. Suppose 0 = p - a*p + 4*k - 12, -2*k + 6 = p. Solve -5*m + 22 = 3*n - p*n, m + n = 4 for m.
5
Suppose -5*d + 20 = 0, -3*j + 6*d = d + 8. Solve -j = -4*z + 5*r + 12, -3*z - 23 = 5*r for z.
-1
Let c(v) = -v**2 + 8*v + 3. Let a be c(8). Let h be 1/(-2 + 7/a). Solve -h*u - 1 - 1 = -5*n, -u = 4*n + 12 for n.
-2
Suppose 3*j = -6 + 18. Solve z - 11 = -j*x, 2*z - 4 = -0*x + x for z.
3
Suppose 28 = 3*l + 16. Solve 0 = y + l*o - 14, 5*o - 6 = y + 16 for y.
-2
Let b(g) = -14*g + 2. Let h be b(5). Suppose y + 10 = -3*j + j, -38 = 3*y + 4*j. Let k = y - h. Solve 7*i - 5*f