7. Let q be (-2)/(-8) - 93/(-12). Solve -w*y + q = -y for y.
2
Suppose 2*f + 3*r + 33 = 5*f, -15 = -f + 3*r. Suppose -3*v + f = n, 0*v + 2*v = -4*n + 16. Solve l + l = -v for l.
-1
Suppose -16 = -2*t - 2*t. Suppose -t*d = -0*d - 92. Suppose 3*z = d - 5. Solve p = z*p for p.
0
Let p = 7 + -5. Suppose o + p*o = 18. Let a be (-2)/(-6) - o/(-9). Solve -3*u - a = 11 for u.
-4
Let m be ((-1)/(2/(-12)))/(4 + -2). Solve g - m*g + 2 = 0 for g.
1
Let p(f) = f**3 + 7*f**2 - 9*f - 8. Let n be p(-8). Solve n*k + 5*k - 25 = 0 for k.
5
Let o = -38 - -43. Solve 0 = -4*l - l + o for l.
1
Let l be 14 + -14 - 4/((-4)/2). Solve -l - 1 = -a for a.
3
Suppose -10*v - 45 = -5*v. Let t = 45 + v. Solve 11 - t = -5*g for g.
5
Let t be (-26)/169 + 1/((-26)/(-108)). Solve t*u - 14 = -2 for u.
3
Let f be (-1 - -1) + 7 + -1. Let x(q) = 2*q + 3. Let k(d) = -d + 1. Let r(t) = 3*k(t) + x(t). Let s be r(f). Solve 0*h + h = s for h.
0
Suppose -3*l + 36 = -4*m, -2*l + 31 = -4*m - m. Solve 2*r - l = -0*r for r.
4
Suppose -6*i = -89 - 7. Solve x + 3*x = -i for x.
-4
Let z(o) = o**3 + 4*o**2 - 6*o - 3. Let t be z(-5). Suppose -5*x + 115 = 5*b + 30, t*x + 4*b - 44 = 0. Solve -2*k + x = 2*k for k.
3
Let k be (-2)/22 - 170/(-55). Suppose 0 = -f + 2*f - 5*q + 5, 2*f = -q + 12. Solve k*d = f*d for d.
0
Suppose -26 - 44 = -5*j. Let q = 16 - j. Solve -x - x = q for x.
-1
Let q be (-4)/(-18) - 7/(-9). Suppose -4*t - 3*p = -17, 0*p + 1 = -3*t - 5*p. Let u = -8 + t. Solve u = z - q - 0 for z.
1
Let x(a) = -20*a**3 + a + 1. Let n be x(-1). Let r = 39 - 39. Suppose 5*y + r*y = 0. Solve y = 3*j - 8*j - n for j.
-4
Let n(r) = -r + 1. Let y be n(2). Let c be 45/27 - y/3. Let p = 2 + c. Solve 5*q - p = 11 for q.
3
Suppose -3*k = -o - 20 + 6, 5*k = 3*o + 26. Suppose -60 = -k*b - b. Solve -3*l + 0*l = b for l.
-4
Let l(k) = k**2 + 2*k - 8. Let b be l(-4). Solve n + b = -2 for n.
-2
Suppose 3*r - 40 = -r. Solve -5*d + r*d = 0 for d.
0
Suppose 3*w = 3 + 48. Solve w*n - 12 = 20*n for n.
-4
Let u be 42/4 - 21/(-14). Suppose 4*i + u = 2*p, -5*p + 30 = -4*i - 0*i. Solve 0*b + 2*b - p = 0 for b.
3
Suppose 3 = 3*t + v, -4*t - 2*v = 1 - 7. Suppose 3*u + 40 = 7*u. Let k = u - 10. Solve t = -k*i - 5*i for i.
0
Suppose 2*m = -5*v + 22, -7*v + 2*v + 25 = 5*m. Let n = -3 + 9. Solve 0 = -n*c + v*c for c.
0
Let z be 2 + -1 + (17 - 18). Solve z*f = -4*f for f.
0
Let z(u) be the first derivative of u**4/4 + 7*u**3/3 + 5*u**2/2 - 5*u - 5. Let l be z(-6). Solve c = -l + 5 for c.
4
Let n = 80 - 76. Solve 1 = -5*o - n for o.
-1
Suppose 1 = 3*f - 5. Solve -4*m + 8 = -f*m for m.
4
Suppose -5*w - 8 = -3*w. Let d be 3 + w - 5*-1. Let t = 4 - 1. Solve -d*r = -t*r - 4 for r.
4
Let o be (6/(-18))/(2/(-6)). Suppose -2*m = m + 12. Let n = 5 + m. Solve -o - n = 2*t for t.
-1
Let n(c) = -2*c - 7. Let q be n(-6). Solve 8*a - 3*a = q for a.
1
Suppose 4*p - 34 + 2 = 0. Let q(u) = -u**3 + 9*u**2 - 7*u - 5. Let v be q(p). Solve 4 + 5 = -v*w for w.
-3
Let q = 69 + -60. Solve -1 = -2*m + q for m.
5
Let c = -10 + 5. Let l = -5 - c. Solve -k - 1 + 3 = l for k.
2
Let t(a) be the second derivative of -a**5/20 - a**4/2 - a**3/3 - 9*a**2/2 + 3*a. Let u be t(-6). Solve n + 10 = u*n for n.
5
Let b(z) = z**3 - 2*z**2 + z. Let u(m) = 2*m**2 - 2*m - 2. Let d be u(2). Let r be b(d). Solve 0 = -r*c + 1 - 5 for c.
-2
Let g be (10/(-4))/((-2)/4). Let u = g + -5. Suppose 2*d - 6*d + 56 = u. Solve -5*x - 6 = d for x.
-4
Suppose 0 = -3*i + 4*x + 5, -1 = 5*i + 3*x - 19. Solve 0 = -7*f + i*f + 20 for f.
5
Suppose t - 4*p - 6 = -7*p, p = 4*t - 24. Let d(i) be the first derivative of i**2/2 - 3*i - 1. Let w be d(t). Solve -3 - 3 = -w*o for o.
2
Suppose 4*o - 3*o = 3. Let x be 5/(-1)*(-2)/2. Suppose -4*i - 4 = -4*s, 3*s - 3 - 8 = -x*i. Solve o*p + 4 = -s for p.
-2
Suppose 0*a + 180 = 5*a. Suppose -q = -5*q + a. Solve -b + q = 2*b for b.
3
Suppose 2*p + 20 = 4*x, 5*p = 3*p - x. Let b be 40/(-50)*5/p. Solve -2*a + b + 6 = 0 for a.
4
Let k = 24 - 20. Solve -k*q = -2 - 6 for q.
2
Suppose 95 + 161 = 4*r. Let v be r/6 - 4/6. Let u(b) = -2*b + 18. Let z be u(8). Solve -z = -2*k - v for k.
-4
Let w be 1/(-2 + (-7)/(-3)). Suppose g - i + 7 = 3*g, -w*g + 9 = 2*i. Suppose 0 = -g*v + 7 + 3. Solve v*k = -4 - 2 for k.
-3
Let d = 8 + -17. Let s be (-24)/9*d/6. Solve s*h = 3*h for h.
0
Let l(y) = -4*y**3 + 3 - 12*y**2 + 3*y - 8 - 6 + 5*y**3. Let h be l(12). Let j(p) = -2*p - 7. Let b be j(-6). Solve 0*t + h = -b*t for t.
-5
Let y = 36 + -36. Solve -2*x - 4 - 6 = y for x.
-5
Let n(i) = i**3 + 3*i**2 - 3*i + 4. Let p be n(-4). Let c(h) = -h + 1. Let m be c(2). Let f be p + -1 - 1*m. Solve -4*z + f*z - 4 = 0 for z.
-1
Let x = -11 - -18. Suppose -2*q = -j - x, -4*q + 3*j + 11 = -0*q. Solve 4*l + q = -3 for l.
-2
Let q(a) = a**3 + 11*a**2 + 9*a - 4. Let v be q(-10). Solve 0 = -3*f + f - v for f.
-3
Let n = 16 - 0. Let c be (-1)/2*n/(-4). Solve 16 = 2*l + c*l for l.
4
Suppose 4*q - 2*q = 0. Solve q*w = w for w.
0
Suppose 2*m - 5 + 1 = -o, -16 = -4*o. Solve m = -v + 17 - 15 for v.
2
Suppose -4*t - 3*f = 14, -t + f = -0*t. Let a(c) be the third derivative of -c**4/24 - c**3/3 - 2*c**2. Let l be a(t). Solve -5*z - 24 - 1 = l for z.
-5
Suppose -3*c + 3*y + y = -6, -3*y = -9. Solve -c*l + 10*l - 16 = 0 for l.
4
Let p be (-2)/(-8) + (-42)/8. Let v be ((-21)/35)/(1/p). Let g = 6 - v. Solve g*n - 2 = n for n.
1
Let c(l) = l**2 + 4*l + 1. Let q be c(0). Suppose 2*k - 4*k + 9 = -t, 5*k = 3*t + 24. Solve -q = k*g - 4 for g.
1
Let g be ((-1)/3)/((-8)/72). Let n(v) = -v**3 - 5*v**2 - 3*v + 5. Let q be n(-5). Solve l = -g*l + q for l.
5
Let z(m) = 13*m + 7. Let d(b) = -7*b - 4. Let a(y) = -11*d(y) - 6*z(y). Let t be a(2). Solve 5*j = -t*j - 25 for j.
-5
Suppose -2*x + 1 = c - x, 2*c - 4 = -x. Solve c*i = 8*i for i.
0
Let r be (-1)/((-1)/(12/3)). Solve 3*g + g - r = 0 for g.
1
Let f(r) = 3*r**2 - 3*r - 3. Let u be f(-2). Solve 0 = -l + 6*l - u for l.
3
Suppose -2*q = q + 2*p - 71, 0 = -4*q - 2*p + 92. Let y = -19 + q. Solve v + 2 = y*v for v.
2
Let o be (6/3)/(-2 - 0). Let b = o + 2. Solve 2*t = 3*t + b for t.
-1
Suppose r = -3*r - 28. Let g = 13 + r. Let s = -3 - -5. Solve 5*y = s*y + g for y.
2
Let g be (-7 + 6)*1*2. Let j be (g/(-4))/((-2)/(-4)). Let y be 1*(9 + -3 + j). Solve 0 = 5*i - y*i + 2 for i.
1
Let a be (-2)/7 + 23/7. Let i be ((-1)/3)/((-2)/12). Solve -h + a = -i for h.
5
Let y(h) = h**2 - 5*h + 9. Suppose 17 = 5*i - 3. Suppose o - 4*o - 33 = -5*p, 0 = -2*p - i*o + 8. Let z be y(p). Solve -4*g + g = -z for g.
5
Suppose 50 = 4*f + f. Solve -2*p = 3*p - f for p.
2
Let h(x) = -x**2 + 2*x + 2. Let b be h(2). Suppose -3*z + 3*z = -11*z. Solve -4*m + 18 + b = z for m.
5
Let v(t) be the first derivative of 5*t**2/2 + t + 3. Let i be v(1). Suppose -5*u + 8 + 17 = 0. Solve -3*a + i = -u*a for a.
-3
Let i(n) = -n**3 - n**2 + 3*n - 3. Let v be i(2). Let p be 4/3*v/(-6). Solve p = s - 0*s for s.
2
Suppose 0*u = -2*u. Suppose u = -0*d - 2*d + 8. Suppose -d*o + 1 = -15. Solve -o*z + 1 = -3 for z.
1
Let u = -19 + 33. Let d = 16 - u. Let s be 5/(1 - (1 + -1)). Solve r = d*r - s for r.
5
Let d = 7 - 16. Let k = -5 - d. Solve 6 = -2*t - k for t.
-5
Let p be (-5)/25 + (-49)/5. Let k = p + 12. Solve 6*o - 4 = k*o for o.
1
Suppose -4*r + 20 = 2*h + 6, -4*h + 12 = 0. Let x(s) = -3*s + 1. Let l be x(-1). Solve 2 + l = -r*v for v.
-3
Suppose 4*t - 32 = -4*p, p = -3*t - 2*t + 20. Let w = t + -3. Solve w*u - 4*u = 0 for u.
0
Let r be (-3)/(-9) + 38/3. Suppose -2*l + s - 8 = 6*s, -3 = -5*l - s. Solve -r = -4*h - l for h.
3
Suppose -4*w = -3*w - 4*j + 8, w - 2 = 2*j. Let b(v) = -v**3 - 5*v**2 - 5*v - 4. Let x be b(-4). Suppose 0 = -5*q + 17 + 8. Solve x = -q*u + u - w for u.
-3
Let q be ((-6)/(-4))/((-6)/(-16)). Suppose 2*p + 2*d - 52 = 6*p, -4*p + 5*d - 52 = 0. Let r be 1/5*(p + 18). Solve q*c - r = 7 for c.
2
Let h(w) = -w**3 + 6*w**2 + 2*w - 8. Let x be 4 + (1 - (0 + -1)). Let p be h(x). Let r = -5 + 11. Solve -2*y + r = p for y.
1
Suppose 6*c + 3 = 3. Solve c = 4*i + i for i.
0
Suppose 4*a - 5 - 3 = 0. Solve 3*s + 17 = a for s.
-5
Let r = 88 + -86. Solve -1 = c - r*c for c.
1
Let g = 12 + 3. Solve -2*b - b = g for b.
-5
Let d be (-50)/(-6) + 15/(-45). Solve 3*s + d = -s for s.
-2
Let q be (2 - 3)/(1/7). Let t = q - -11. Solve m = -m + t for m.
2
Let d be (-5)/2*20/(-25). Solve 3 = -5*w - d for w.
-1
Let 