7. Let p be d(-31). Solve p = -2*r + 5 for r.
2
Let r(v) = -v**3 + 11*v**2 + 12*v + 12. Let c be r(12). Let b be (-39)/(-6) - c/8. Let d = b + -2. Solve -z = -d*z + 6 for z.
3
Let c(n) = 2*n**2 - 37*n - 13. Let k be c(19). Suppose 0 = i - k + 6. Solve -3*g + i = 15 for g.
-5
Let z = 25 + -37. Let r = z + 27. Solve r = 5*b - 0*b for b.
3
Let x(r) = -r**3 - 2*r**2 + 4*r + 2. Let b be x(-4). Suppose 5*s - 54 = 1. Let u = b - s. Solve 2*n + 3 + u = 0 for n.
-5
Let f(i) be the first derivative of -i**3/3 + 4*i**2 - 5*i - 2. Let y be f(6). Let n(x) = -2*x + 14. Let o be n(y). Solve 2*w - 3*w + 1 = o for w.
1
Let j be (-24)/(-8)*(-32)/(-6). Let s be 12/9*36/j. Solve 10 = s*m + 1 for m.
3
Suppose -2*y = -4*y + 2*t - 34, -3*y = 2*t + 66. Let s be 4/y + 2/10. Solve -3*v + 0 - 12 = s for v.
-4
Suppose 0 = z + 3*n - 11, z - n + 0*n = 3. Solve -5*l + 10*l + z = 0 for l.
-1
Let y = 844 + -607. Solve -y*f + 6 = -235*f for f.
3
Suppose -2*t = -k - 35, -15*t + 10*t + 3*k = -88. Solve -9 = -t*l + 8*l for l.
1
Let w(g) = g - 5. Let o be w(5). Solve 0*b - 2*b - 8 = o for b.
-4
Suppose -3*b - 7 = 4*g + 68, 0 = -4*b - 20. Let h = 25 + g. Solve h = -r - 4*r for r.
-2
Let s(q) = 5*q - 95. Let u be s(31). Suppose 0 = -0*h - 10*h + u. Solve 20 = -h*g + 10*g for g.
5
Let h(d) = 4 + 4*d**3 + 8*d**2 - d**3 - 3 - 4*d**3 + 9*d. Let a be h(9). Suppose n = k - a, -3*k + 0*n - 1 = -5*n. Solve -2*t + k*t = -3 for t.
-3
Let j(c) = -c**3 - 3*c**2 - 3*c + 1. Let r be (-10 - -1)*(-4)/(-12). Let y be j(r). Suppose 10*a - 46 = 14. Solve -y = -d + a*d for d.
-2
Let l be 147/(-189) - 4/18. Let g be -2*(l + -3) + 8/(-4). Solve 0 = g*s - 3*s for s.
0
Let x(k) = 16*k - 55. Let h be x(9). Let r = -85 + h. Solve -r*n + 0*n - 16 = 0 for n.
-4
Suppose -4*c = -2*c - 132. Let x = c - 66. Solve 5*s - 2*s = x for s.
0
Let f(x) = x**2 + 6*x + 16. Let y be f(-4). Let h(u) = u - 8. Let m be h(y). Solve -2*j + 5*j - 15 = m for j.
5
Suppose 0 = -4*h + 23 + 9. Suppose h*i - 3*i - 4*l + 80 = 0, 5*l - 61 = 3*i. Let r be ((-6)/4)/(6/i). Solve -r*n - 15 = -0*n for n.
-5
Let l(d) be the third derivative of -1/12*d**5 - 3*d**2 + 1/120*d**6 - d**3 + 0 + 0*d - 5/24*d**4. Let p be l(6). Solve 20 = -p*i - 5*i for i.
-4
Let k be 8/3*(-6)/(-4). Let c = -18 - -20. Suppose -22 = -2*f + 2*v + c*v, k*v = 3*f - 29. Solve -3*n - f = -1 for n.
-2
Suppose 170 = 4*j - 5*w, -j + 5*w + 14 = -36. Let z = j + -37. Solve -15 = z*b - 0*b for b.
-5
Suppose -7*d + 6*d + 4 = 0. Suppose -4*p + p = -d*h, 0 = p + 3*h. Solve p = -x + 3*x - 10 for x.
5
Let l be 2/(6/15) - 2. Suppose 0 = l*k - k - 10. Suppose -3 = -k*d + 37. Solve 4*q + 8 = -d for q.
-4
Suppose -d = 3*o + 5, 2*d - 6*d = -4*o - 44. Solve 9*b = -16 + d for b.
-1
Suppose h + 3 = 0, 0*y + 113 = 4*y + h. Suppose 0 = 30*l - y*l - 2. Solve l*g = -0*g + 10 for g.
5
Suppose -4*z + 77 = -5*u, 0*z = -z - 4*u + 14. Let i = 21 - z. Solve i*q = 4*q for q.
0
Let k(n) = 7*n - 48. Let d be k(7). Suppose -j + 5*j + p + d = 0, 0 = 4*p + 20. Solve 0 = -5*m - 9 - j for m.
-2
Let h = 129 - 129. Solve h = 12*p - 10*p + 6 for p.
-3
Suppose 2*l + 7 - 3 = 0. Let w be (6 - l) + 12 + -10. Solve -15*b = -w*b + 15 for b.
-3
Let z = -115 + 122. Solve -z*u = -2*u - 10 for u.
2
Let y = 200 - 199. Solve -y = 4*k - 13 for k.
3
Let m(a) be the third derivative of a**6/60 - 3*a**5/20 + a**4/8 + 2*a**3/3 - 25*a**2. Let g be m(4). Solve -4*c = -g*c for c.
0
Let c = 8 + -5. Let u = 0 + c. Suppose -h + u*h - 20 = 0. Solve 5 = 5*f - h for f.
3
Let d be (-6)/(0 + 84/16)*-7. Solve -20 = -d*u + 13*u for u.
-4
Let s = 13 - 7. Let p be -5 + (-9)/s*2. Let g = 11 + p. Solve 5*n = g*n for n.
0
Suppose -5051 = -67*b - 93. Solve b*g - 79*g - 10 = 0 for g.
-2
Let i be 56/(-26) + 4/26. Let t be ((-4)/6)/(-2*i/(-12)). Solve c - t = -c for c.
1
Let g = -658 + 690. Solve 12 = -10*l + g for l.
2
Let o(a) be the first derivative of a**4/4 - 7*a**3/3 + 9*a**2/2 + 12*a - 1. Let n be o(5). Solve -n*m + 2*m - 20 = 0 for m.
-4
Suppose 0 = -18*n - 448 + 1204. Solve 0 = -7*r - n + 7 for r.
-5
Let f(s) = s**2 - 3*s. Let t be f(4). Suppose 2 - 10 = -4*r, -70 = -t*y - r. Let n = y + -15. Solve -2*u - 8 = n*u for u.
-2
Let h be 2 + (-27)/15 - (-748)/110. Solve -h*f + 11 = -24 for f.
5
Let z(s) be the first derivative of 2*s**3/3 - s**2/2 + 20*s + 1. Let u be z(0). Suppose -u = -2*p - 3*p. Solve -5*w + p = -4*w for w.
4
Suppose -39 = -5*v - 3*g, 4*v + 2*g - 30 = -0*v. Let j be 2 - (0 + v/(-3)). Let r(h) = 2*h. Let o be r(5). Solve -j*u - u = o for u.
-2
Let z(v) = -v**3 + 6*v**2 + 4. Suppose 0 = 2*y - 6, 0*a = -a - 3*y + 15. Let c be z(a). Solve -3*n = -c - 5 for n.
3
Suppose 0 = 5*t - 4*q - 44, 2*t + 2*t = 2*q + 34. Suppose 0 = -5*k + 9*k - t. Solve 0 = -f - k*f + 15 for f.
5
Let v = -30 - -20. Let i be (0 - -8) + v + 8. Suppose -p + i*p = 0. Solve p*x = 4*x for x.
0
Suppose 11*u - 96 = 5*u. Let i = -16 + u. Solve 0 = -i*m - m + 3 for m.
3
Suppose -19*v = -14*v + 660. Let c = v - -134. Solve -6 + c = -2*r for r.
2
Let i be 4 - (-21 + -8 + 8). Solve 0 = -23*s + i*s - 10 for s.
5
Suppose 5*i - 1 = -2*t + 91, -156 = -4*t + 4*i. Solve 5*f - t = -21 for f.
4
Suppose 132 = -9*q + 222. Solve s = -q*s + 4*s for s.
0
Let q be 27/(-45) + 54/(-10). Let r be (q - -2)*1/(-4). Solve -s = 5 - r for s.
-4
Suppose 2*c - 32 = 2*k, -2*c + 5*k + 11 + 24 = 0. Suppose 20*y - 60 = 15*y. Let x = c - y. Solve s = -x*s for s.
0
Let i(k) = k**3 - 27*k**2 + k - 7. Let z be i(27). Solve -5*p = -9*p + z for p.
5
Suppose 2*j + 315 = -7*j. Let b = j - -39. Solve 5*q - b*q = 5 for q.
5
Let o be (-12)/22 - (30870/154)/(-21). Solve 12 = -o*s + 3 for s.
-1
Let r be -5*(2 - 2 - 1). Let w be 6/9 - 79/(-3). Suppose 0 = 7*d - 726 + 677. Solve r*i - d = -w for i.
-4
Suppose 2*g = 2*h - 18, -h = -3*g + 36 - 39. Solve h*u + 41 - 5 = 0 for u.
-3
Let m be 196 + (0/(-2))/4. Let o be m/(-105) + 2/(-15). Let g be -8 - o - -2 - -13. Solve g = -0*n + 3*n for n.
3
Let d = -36 - -19. Let l = d - -21. Suppose -4*u + 0*u + l*m - 4 = 0, 4*m - 16 = -2*u. Solve j = -u*j for j.
0
Suppose -57 + 69 = 4*u. Let r(w) be the third derivative of -w**6/120 + 3*w**5/20 - w**4/3 + w**3/3 + w**2. Let v be r(8). Solve -v*m - u - 3 = 0 for m.
-3
Suppose 2*n - 9*n = 21. Let b be 8 - (-3 - -4) - n. Solve -6*d = -d - b for d.
2
Let n = 17 + -12. Solve 7 = -n*i - 8 for i.
-3
Let d be 1/2 + (-2)/(-4)*3. Solve 0 = -c - 2 - d for c.
-4
Let g(d) be the first derivative of d**4/4 + d**3/3 + 3*d - 2. Let c = 172 - 172. Let u be g(c). Solve -u*y + 0 - 3 = 0 for y.
-1
Suppose 2*n + 3*n - l = -52, 4*n = -3*l - 34. Suppose -95 = -i - 4*i. Let k = i + n. Solve -j - 2*j = -k for j.
3
Let m = 91 - 66. Suppose -3*y + 0*y + m = 2*b, -4*y - b + 30 = 0. Solve 5 = -4*x - y for x.
-3
Let p = -177 - -222. Solve 49 = -y + p for y.
-4
Let x = -9 + 9. Let a be (-2)/(-8)*x/(-13). Suppose o + 5*r + 11 = 0, -21 = -o - a*o + 3*r. Solve 0 = -2*v + 5*v - o for v.
3
Let w(q) = 12*q - 106. Let h be w(9). Solve s + 3 = h for s.
-1
Let o = -7 + 12. Let j(t) = -2*t - 3. Let s(p) = -p - 1. Let m(c) = o*s(c) - 2*j(c). Let h be m(-4). Solve 0*z = h*z - 15 for z.
3
Let v = 70 + -119. Let d = 103 + v. Suppose u - d = -2*u. Solve 3*h - 6 = -u for h.
-4
Suppose 5*d = -2*f + 2, 2 = -2*d + d. Solve 0 = -2*o + 4 - f for o.
-1
Let v be 4/(-34) - 66/(-51)*-3. Let t be 6/(-2 - 14/v). Solve t + 6 = -5*a for a.
-2
Suppose -3*t + k + 28 = 0, 39*t - 40 = 36*t - 5*k. Solve 2*o - 16 = t*o for o.
-2
Suppose 5*o + 80 = t - 80, 2*o + 46 = 4*t. Let z = -32 - o. Let c be (10/(-5) + 2)/z. Solve c = -y - 3*y - 4 for y.
-1
Suppose -12*m + 1 + 35 = 0. Suppose 0*y - 18 = -3*y. Suppose -y*w = -4*w - 2. Solve 2*l - w = m*l for l.
-1
Let i(b) be the third derivative of b**6/120 + 2*b**5/15 + 3*b**4/8 + 11*b**3/6 - 5*b**2. Let k be i(-6). Solve -4 + k = -5*h for h.
-5
Let x(y) be the first derivative of y**2 - y - 2 - 1/3*y**3. Let z be x(1). Solve z = 3*v + 20 - 5 for v.
-5
Suppose -7*a + 4*j = -5*a, -2*a + 5*j = 1. Solve -a*w = -w for w.
0
Let t(o) = 2*o + 4. Let d be t(-1). Suppose 2*w = d*w - 4*w. Solve 5*u + w = -20 for u.
-4
Suppose 3*o + 12 = 7*o. Suppose -2*i = -s - 44, 0*s + 4 = -s. Solve -o*w + i = 2*w for w.
4
Let c = -12 + 20. Let l(b) = b**3 + 4*b**2 - 4*b - 4. Let h be l(-5). Let i = h - -17. Solve -4*q + i = -c for q.
4
Let c(f) = -1. Let z(l) = l + 4. Let n(