7. Let p be j(5). Let n be (p + 0)/(-4)*-6. Let v(y) = y**3 + 19*y**2 + 17*y - 2. Let w be v(-18). Solve -n*b - w + 4 = 0 for b.
-4
Let p = 33 - 21. Let k(r) = r**3 - 13*r**2 + 13*r - 8. Let g be k(p). Solve g*i = -i for i.
0
Suppose 6*q = 4*q. Solve -4*v + 1 + 3 = q for v.
1
Let d be ((-32)/10)/(14/(-35)). Suppose d*h - 3*h - 25 = 0. Let r = h + -2. Solve -r*m - 2 = -8 for m.
2
Let p be 0*((-4)/24 - (-6)/9). Solve p = -5*f + 15 + 5 for f.
4
Suppose 4*h + 11 = 5*l, -4*l + 2*h - 24 = 7*h. Let t(z) = z**2 + z. Let j be t(l). Solve -i + 2 = -j for i.
2
Let x(u) = -4*u + 16. Let v(q) = 3*q - 15. Let c(k) = 6*v(k) + 5*x(k). Let n be c(-5). Solve 3*l + 6 = -n for l.
-2
Let y(m) = -m**2 + 5*m - 2. Let v be y(3). Let r = -2 + v. Let z be 3*((-1)/3)/(-1). Solve z + 7 = -r*a for a.
-4
Suppose -6*n + 10 + 2 = 0. Solve -n*v = v - 6 for v.
2
Let n = -4 - -4. Let x = n + 3. Suppose i + 4 = x*y, 4*y = -0*y - i + 10. Solve -2 = 4*a + y for a.
-1
Suppose 4*d = 2*c - 0*c + 8, -d + 4*c = 5. Suppose 0 = -0*h - h - 5*k + d, 2*h - 15 = -k. Solve 24 - h = 4*y for y.
4
Suppose -25*y - 141 = -541. Solve -4*d + 8*d = y for d.
4
Suppose 8 = -35*b + 39*b. Solve 10 = -4*f - b for f.
-3
Let h(d) = -d**3 - 7*d**2 - 6*d + 2. Let a be h(-6). Let b be 2*2 + a/1. Solve 25 = b*f - f for f.
5
Let j be (-6)/10 - 16/(-10). Solve 1 + j = u for u.
2
Let y be -3 + 10 + (1 - 5). Solve -y*v + 0*v = 9 for v.
-3
Let l = -1 + -4. Let g be 2/l - (-51)/15. Solve g = -4*j + 3*j for j.
-3
Let i(j) = j**3 + 12*j**2 - 14*j + 2. Let x be i(-13). Solve -5*b = x + 10 for b.
-5
Let w(x) = -x**2 - 23*x + 5. Let n be w(-23). Solve -6 = -n*d + 19 for d.
5
Let m be ((-60)/10)/(1 + (-5)/2). Solve 2 = -m*t + 10 for t.
2
Let a be ((-2)/(-4)*6)/(2 + -1). Solve -a*d - 16 = d for d.
-4
Let c(n) = -11 - n - n + 0*n. Let w be c(-8). Solve -p - 4 = -w for p.
1
Suppose -100 = -3*b - 2*b. Solve 4*f = -0*f + b for f.
5
Let k(i) = i + 15. Let j(d) = 1. Let n(v) = -3*j(v) + k(v). Let c be n(-8). Solve -1 - c = -5*o for o.
1
Let i be 40 + -3*(-8)/12. Let y = i - 29. Solve -3*t = -2 - y for t.
5
Let u = 11 - 7. Suppose m + 3 + 19 = -5*p, -5*m - u*p - 5 = 0. Solve -2*t - m = -5*t for t.
1
Suppose -4*g + 4*w + 52 = 0, -g + 3*w = -6 - 7. Let s = g - 3. Solve 3*p - 2 = s for p.
4
Let w be (-2 + 7)/(4 + -3). Let h = -1 + w. Solve -5*p = -p + h for p.
-1
Let c(p) = -p**2 - 5*p + 1. Let g be c(-4). Suppose -3*a + 16 = -y - 0*y, -5*y = 2*a - 5. Let d be (5/3)/((-2)/(-6)). Solve -g = -a*l + d for l.
2
Let h = -17 + 24. Let z = -3 + h. Solve 3 = z*n - n for n.
1
Suppose 4*c - c = 0. Solve 5*p - 10 = -c*p for p.
2
Let h = 41 - 37. Solve h*z + 0 = -12 for z.
-3
Suppose -r - 5*w = -0*w, 4*w = 0. Suppose -5*v = -r*v - 15. Let q be (-2 - -1)/((-2)/8). Solve -h = -v*h - q for h.
-2
Let b = -8 + 18. Let a = b + -6. Solve 0*c + a*c + 8 = 0 for c.
-2
Let w = 7 + -4. Suppose 5*x + w*f = f + 75, -2*x + f = -30. Solve -5*c - x = 5 for c.
-4
Suppose 3*a + 3 - 30 = 0. Solve -a = -z - 2*z for z.
3
Let u = 23 + -17. Solve 0 = 4*a - 18 + u for a.
3
Let z(m) = 3*m**2 + 1. Let d be z(-1). Suppose 2*n - 10 = -2*w + w, -4*w = 8. Let a = n - d. Solve 0*c + 2 = -a*c for c.
-1
Let w be 42 - (-3)/(6/(-4)). Let l(j) = -2*j. Let b be l(-2). Suppose 0*z - b*z + w = 0. Solve -3*a = -a + z for a.
-5
Suppose -2*w = -w - 2. Suppose 0 = w*v + 1 - 3. Solve h = -0*h - v for h.
-1
Let s be ((-1)/3)/(2/6). Let q be 3/(-3)*2*s. Suppose 3*t + 3 = t - y, -5*t + 15 = -2*y. Solve -t = -w - q for w.
-1
Let t be 4/(-14) + (-74)/(-14). Let w = -2 + 12. Solve t*d - 5 - w = 0 for d.
3
Let t = -14 + 20. Let n(a) = -a + 7. Let r be n(t). Solve -5*q + r = 6 for q.
-1
Let g = -161 - -166. Solve u + g = -0 for u.
-5
Let w(z) = z**2 + 16*z + 47. Let r be w(-13). Solve -r - 2 = -5*v for v.
2
Suppose 0*r - 2*r = 0. Suppose -l + q - 2 = r, q - 7 = 4*l - 2*q. Let u = 2 - l. Solve -t + 0*t = -u for t.
3
Let i = 1 - 1. Let k = i + 0. Solve -3 = -3*h - k for h.
1
Let s = 6 + -3. Suppose -5*b = 2*a - 18, 15 = 4*b - b - s*a. Solve l = b*l for l.
0
Suppose 0 = 4*f + 2*f - 12. Solve f*o + 7 = 1 for o.
-3
Suppose -6 = -3*n - 3*h, n - 2*h = 2*n + 3. Let k be (-2)/4 - 3/2. Let x = n + k. Solve x*j + 4 = 9 for j.
1
Let j be (-8)/(-3) - 5/(-15). Suppose j = 3*p - 3*g, 4*p - p = -g - 1. Solve p*n - 3*n = -12 for n.
4
Suppose -3*s - 1 = -2*h, 5*h = -s + 7 + 4. Let y be (h/(-4))/(1/(-4)). Solve -i = -y*i - 1 for i.
-1
Suppose -5*p + 2*x + 22 = 0, p = -4*p + 5*x + 10. Solve 7*k + 1 = p*k for k.
-1
Let t = 8 - 6. Let c(o) = 2*o**3 - 3*o**2 + 2*o - 3. Let i be c(t). Solve -i = -4*d + 3 for d.
2
Let i(w) be the second derivative of -w**4/12 + w**3/2 - w**2/2 + 3*w. Let u be i(2). Solve -4*o - 21 = -u for o.
-5
Let o = 7 + -4. Solve 5 = -o*s - 2*s for s.
-1
Let t be (-124)/(-28) + 12/(-28). Suppose 0 = h + h - t. Solve -h*i - 5 = 1 for i.
-3
Suppose -q + 2 = -6. Suppose -2*l = -4*l. Suppose l = -2*b - 2 + q. Solve 0 = i + b*i - 20 for i.
5
Let r(y) = -y + 1. Let t be (-4)/((1/(-2))/1). Let h be r(t). Let n = -4 - h. Solve -n*w = -0*w for w.
0
Suppose -5*p = 31 + 124. Let k = -19 - p. Solve -k = -2*j - 2*j for j.
3
Suppose 3*i - 16 = -7*z + 3*z, 4*i - 3*z - 38 = 0. Solve -6*t + 2*t + i = 0 for t.
2
Let f(v) = -v**2 - 5*v + 5. Let a be f(-5). Suppose 20 = a*y, -2 = 3*n - y + 2. Let r(u) = -u**2 - 4*u + 5. Let c be r(-4). Solve c*q - 3*q = n for q.
0
Let a(u) = u**3 + 7*u**2 + 2. Suppose -5*b - 21 = -1, 3*f + 5*b = -41. Let w be a(f). Suppose 0 = -3*m + w*m. Solve m*o + 16 = 4*o for o.
4
Let z(q) = q**3 - 10*q**2 + 10*q - 5. Let s be z(9). Suppose 2*t = 3*k + 3*t - 3, -5*t - 19 = -2*k. Suppose 0 = k*o + 3*o. Solve o*v = -v - s for v.
-4
Let u = -16 + 19. Solve -u*x = -2 + 11 for x.
-3
Let n(p) = p**3 + 5. Let q = -5 + 5. Let v be n(q). Solve 0 = x + 3 - v for x.
2
Let p be (-10)/30 + (-242)/(-6). Suppose p = x + x. Solve 0 = -10*u + 5*u - x for u.
-4
Suppose h - 22 = -5*j - 1, 4*j - 5*h = 11. Solve 2*v = j*v for v.
0
Let n be 4/8 - (-6)/4. Let h(o) = -o**2 - 1 + 3*o**n + 0*o**2. Let c be h(1). Solve 4*u = 3 + c for u.
1
Let u(p) = p**2 - 6*p + 8. Let v be -9*(4/12 + -1). Let y be u(v). Solve -4*l + y = -0*l for l.
2
Let m = 2 + 0. Suppose -2*k + 2*r = -8, -r - 9 = -m*k + 1. Solve -2*d = -k*d + 20 for d.
5
Suppose -8 = -d - 2*n, 0*d - 4*n + 16 = d. Solve -2*m = -d*m - 4 for m.
2
Suppose 0 = 3*z - 4*z - 22. Let n be (0 - 0)*11/z. Solve -1 + n = q for q.
-1
Let m = 1 - -1. Suppose -4*j + 9 = -7. Solve 0 = 3*c - m*c - j for c.
4
Let q(i) = 2*i - 10. Let z be (-5)/20 + (-66)/(-8). Let d be q(z). Solve d = 5*w - 9 for w.
3
Let i = -10 + 13. Solve -r - 6 = -i for r.
-3
Let c be (-10)/(-6) + (-3)/(-9). Suppose -10 = -3*r - c*r. Solve -4*w + 8 = -r*w for w.
4
Let b(l) be the second derivative of l**4/6 - 2*l**3/3 + 3*l**2/2 - 5*l. Let z be b(2). Solve -v + z = -0 for v.
3
Let d = 4 - -1. Suppose 3*k + 12 = -d*l, 0 = -2*l + 2*k + 8. Let u(s) = s**2 + 8*s + 10. Let m be u(-7). Solve m*y + l = -9 for y.
-3
Let g(u) = -2*u - 11. Let v be g(-9). Suppose 6 = 12*r - 9*r. Solve -v + 1 = -r*n for n.
3
Suppose -4*u = -s - 22, 5*u = -3*s + 3 + 16. Suppose 5*x - 15 = -u. Solve -5 = x*y - 3 for y.
-1
Suppose -5*f + 10 = -15. Let d(k) = -k - 7. Let q be d(-3). Let v(t) = -5*t + 1. Let h be v(q). Solve -f*n = -4 - h for n.
5
Let x(p) = -p**3 + 11*p**2 + 2*p - 2. Let y be x(11). Solve -y = 8*m - 4*m for m.
-5
Let l be (-24)/4*2/(-3). Suppose -5*u + 50 = -3*t, l*u + 2*t = -u + 25. Solve -3*a + u*a = 4 for a.
1
Suppose -10*p + 7*p + 6 = 0. Solve -3 = p*g + g for g.
-1
Let s(h) = -2*h - 16. Let q be s(-7). Let y(c) = 3*c. Let w be y(1). Let d be 2/w + q/(-6). Solve -u = -2 - d for u.
3
Let r(w) = -w - 2. Let f be r(5). Let q(t) = 2. Let o(c) = -c - 2. Let j(a) = 2*o(a) + q(a). Let m be j(f). Solve -3*h + m = -0*h for h.
4
Let a(n) = -n**3 + 11*n**2 + 13*n - 11. Let c be a(12). Solve -z + 0 = c for z.
-1
Suppose -z + 12 = 4*a, -4*z - 5 = -3*a + 4. Let g be (z - -1) + (0 - -2). Solve 0 = 2*u + g*u - 10 for u.
2
Suppose -4*v = 4*d - 29 - 3, -8 = -3*d + v. Let h = -6 + 6. Solve h*p = -d*p for p.
0
Suppose 2*f - f = 2*q - 12, -4*f + q = 34. Let v = 11 + f. Solve 1 = -o - v for o.
-4
Let m be 15/(-5) + 3 - 0. Solve 0 = -m*f + f for f.
0
Let r(t) = -t**2 + 12*t - 17. Let l be r(9). Solve l = -6*z + z for z.
-2
Suppose 0 = -9*f + 4*f - 1