7 for n.
-4
Let q(b) = b**2 + 11*b + 15. Suppose 67 = -5*v + 17. Let a be q(v). Solve 2*i = i + a for i.
5
Suppose 5*y + 52 = 2. Let r = y + 14. Solve 0*n - 4*n = r for n.
-1
Let f(t) = -4*t - 7. Let z be f(-5). Solve -5*b + 2 = -z for b.
3
Let v(x) = x**3 - 7*x**2 + 8*x - 8. Let z be v(6). Suppose -4*h = -3*d - 1 - 73, 0 = -h + 2*d + 16. Solve -h = -z*t - 0*t for t.
5
Let s = -9 - -19. Let c be (-6)/(-5)*(s + -5). Let q = c - 2. Solve -q*v = -9*v for v.
0
Let b(i) = i**2 - 9*i - 10. Let t be b(10). Suppose c = -1 - t. Let q be (-4 + 3)*-4 + c. Solve 12 = q*y - 3 for y.
5
Let w = 2 - 3. Let g = 8 - 7. Let z be w/g + 1 + 0. Solve z*n = n for n.
0
Suppose 0 = -13*a + 21*a - 120. Solve 9*r = 4*r - a for r.
-3
Let h = 21 + -14. Solve 0 = -4*w + h*w for w.
0
Let g be 22/8 + 1/4. Suppose 3*u = r - 23, 3*r + u - g = 2*r. Let x = r + -5. Solve x + 1 = a for a.
4
Let l(x) = -2*x + 25. Let r be l(11). Solve -r*p = -p + 8 for p.
-4
Let w be (-48)/(-5) + 6/15. Let y be (3 - 0)*15*(-8)/(-36). Solve -5*a + y + w = 0 for a.
4
Let w(r) = 3*r**2 - 5*r + 1. Let g(o) = -2*o**2 + 5*o. Let q(u) = -4*g(u) - 3*w(u). Let i be q(-4). Let n be (1 - i)*2/(-4). Solve n = -3*v + 21 - 6 for v.
5
Suppose 0 = 4*p + 5 - 53. Solve -4*h + h = p for h.
-4
Let r be (0/(0 + 1))/(-1). Solve r = 2*o - 3*o + 2 for o.
2
Suppose -5*q = -2*f - 2*f + 1, -2*f + 3*q = 1. Suppose 0*p = f*p + 4*r + 32, 5*p = 4*r - 40. Let s = 15 + p. Solve -3*x + s*x - 16 = 0 for x.
4
Let l(i) = i - 4. Let b be l(6). Let t(n) = -2*n + 13 + 4*n - 10*n**2 - b*n**3 - n + n**3. Let u be t(-10). Solve 0 = u*f - f for f.
0
Let f be (-70)/6 - (-6)/9. Let c be -2 + -2 + (-1 - f). Solve -5*d + 1 = c for d.
-1
Let g(l) = -l**2 - 4*l + 1. Let o be g(-3). Suppose -8*h - 4*n + 4 = -3*h, -n + 1 = -5*h. Solve j - o = -h*j for j.
4
Let c(p) = -p**2 - 7*p - 2. Let x be c(-5). Let a = x - 6. Solve -5*v + 12 - a = 0 for v.
2
Suppose m - 33 = 3*z, 0*m - 3*m + 3*z = -69. Let t(k) = k + 8. Suppose 5*l + 5 = -0*l, u - 3*l = -3. Let g be t(u). Solve -m + g = -4*x for x.
4
Let i = 13 + -9. Let u(w) be the third derivative of -w**6/120 + w**5/15 + w**4/24 + 2*w**2. Let x be u(i). Solve -l + x*l = 0 for l.
0
Let b = -13 - -19. Suppose w = 2 + b. Suppose 0 = -3*y - x + w, -4*x + 0 = -y + 20. Solve -y*v = -v for v.
0
Suppose -12 = 4*c - 4*f, 5 = -5*c + f + 2. Suppose c = -4*y - y - 20. Let u be ((-2)/y)/1*4. Solve -d - 3 = -u*d for d.
3
Let c = 12 - 10. Let m be (-18)/(-27)*(c + 1). Solve -m = -p + 2*p for p.
-2
Suppose 3*y - 5 = 2*t + 3, 2*y + 5*t = -20. Solve y = 6*o - o + 20 for o.
-4
Let g(f) = -6*f - 1. Let u be g(-1). Solve -u*b - 14 = 11 for b.
-5
Let u = -25 - -29. Let l = 1 + -1. Let f be (-3 - -4)*(2 + l). Solve -2*x - u = -f for x.
-1
Let d be (-3)/((-18)/(-8)*6/(-18)). Solve -15 = -x - d*x for x.
3
Suppose 0 = -3*p + 16 - 4. Suppose 3*y - 11 = p. Let c = y - 0. Solve 0 = 4*v - 1 + c for v.
-1
Let g = 7 + -15. Let s be (-16)/(-10) + g/(-20). Solve 4*p - 2*p = -s for p.
-1
Suppose -16 = 5*n - 11. Let f = 3 + n. Solve 5*k + f = -8 for k.
-2
Suppose -5*s + s = -8. Solve -3*p = s*p + 5 for p.
-1
Suppose 3*c - 10 = 2*p, 4*c - 3*p - 1 = 3*c. Solve c*q - 4 = 2*q for q.
2
Let w(k) = 3*k. Let v be w(-1). Let z = v + 5. Suppose 0 = -x - 3*s + z, 3*x = 4*s + s + 6. Solve x*r = -0 - 2 for r.
-1
Let o = -56 + 60. Solve -o*j - 2 = 2 for j.
-1
Suppose 2*j + 51 = 7*b - 2*b, -5*j - 34 = -4*b. Suppose -z + b = 9. Solve z*i + 8 = -2 for i.
-5
Let b = -36 + 36. Solve 4*n + 1 + 3 = b for n.
-1
Let d(c) = -c**3 + 5*c**2 - 4. Let r be (6/4 + -2)*-8. Let v be d(r). Suppose v = 2*u + u. Solve 2 + 14 = -u*w for w.
-4
Let m = -27 - -15. Let g be (m/5)/((-2)/15). Suppose 0 = 3*n - g. Solve 4*x + 10 + n = 0 for x.
-4
Let t be (-3)/2*(-44)/33 - -18. Solve 5 - t = -5*g for g.
3
Suppose -4*k - 3 + 7 = 0. Solve 5*w = -6 + k for w.
-1
Suppose p - 6 = -8*g + 4*g, -1 = -p + g. Solve p = 3*h + 11 for h.
-3
Suppose -3*c + 5*y - 14 = -43, -y = 1. Let p = -4 + c. Solve -p = -3*j - 10 for j.
-2
Let i(g) = g**2 - 9*g - 1. Let l be i(9). Let v be 1 + 0 - (0 + l). Solve 0 = u - 0*u - v for u.
2
Suppose -3*j + 4*x = -40, -60 = -3*j - j + 2*x. Solve 4*s + j = -0 for s.
-4
Let i = -192 + 270. Let c be (4/6)/(4/i). Suppose -3*a - x + 8 = 0, 0 = x + 2 + 2. Solve a*t - c = -33 for t.
-5
Let d(k) = -k**3 - 7*k**2 - 9*k - 6. Suppose -3*i - 24 = 3*v - 0*i, -5*v = -5*i + 20. Let m be d(v). Solve -m = -2*a + 6*a for a.
-3
Let m(g) = g**3 - 5*g**2 + 6*g + 4. Let u be m(3). Solve -u*d = 2 + 2 for d.
-1
Suppose -12 = 2*f - 5*k, 4*k - 6*k + 24 = 4*f. Let x(j) = -j**3 + 1 - f*j**2 + 3*j + 2 + 2*j**3 + 0*j. Let h be x(4). Solve 2*y + 3*y = -h for y.
-3
Let m(a) = a**3 - 9*a**2 + 10*a - 11. Let z be m(8). Suppose 12 = 3*k - 3*j - 21, 2*j + 52 = z*k. Suppose -5*s + 0 = -15. Solve -y - k = -s*y for y.
5
Suppose 0 = 3*j - 4*v - 24, -3*v = 4*j - 2*v - 13. Let a = -4 + j. Solve a = -r + 6*r + 20 for r.
-4
Suppose 0 = j + 3*q - 2 - 3, -2 = -2*q. Let o(y) = y**2 + 5*y + 6. Let f be o(-3). Let w = j + f. Solve -1 = w*n - 3 for n.
1
Let p be -3 + (12 - (0 + -1)). Let r = p + -4. Suppose 0 = -n - n + r. Solve 0*d + 6 = n*d for d.
2
Let b = 17 - 14. Solve -b*x + 0 = -6 for x.
2
Let m = -6 + 11. Let k(x) = x**3 + 11*x**2 + x + 11. Let n be k(-11). Solve m*o - 2*o - 9 = n for o.
3
Let m(s) = -2*s - 5. Let d be m(-4). Suppose 0 = 3*g - 5*p - 3 - 19, g = d*p + 10. Solve 6*q = g*q - 10 for q.
-5
Suppose 20 = 3*x - 7*x, -3*n - 4*x = 14. Let k(l) = 10 + 3*l - 4*l - n. Let s be k(-6). Solve -2 - s = 4*o for o.
-4
Let m(u) = -u - 10. Let l be (-1)/(-5) + 132/(-10). Let w be m(l). Solve 0 = 2*c + 9 - w for c.
-3
Let l(v) = -v**3 + 9*v**2 - 9*v + 9. Let g be l(8). Let r be ((-15)/(-10))/(g/2). Suppose -3*q - w + 1 = 0, -5*w - 15 = -2*w. Solve -q*i = r*i + 20 for i.
-4
Let t(a) = a. Let u be t(-2). Let v = 2 + u. Solve 2*r - 6*r = v for r.
0
Let q = -6 - -6. Let z be 1 + (0/1)/(-1). Solve q = m + 4 + z for m.
-5
Let x = -5 + 3. Let w be x - (2 + -4 + 0). Suppose -4*s + s + 9 = w. Solve -5 = -s*p - 2*p for p.
1
Let u(b) = -b**3 + 6*b**2 - 6*b + 7. Let i be u(5). Let t be 8/6*(1 + i). Let r be (-3)/(-2)*48/9. Solve -r = -t*d + 12 for d.
5
Let o be (-2)/6 + (-496)/(-93). Solve -5 = -o*k + 6*k for k.
-5
Let o(a) = -14*a**3 - 35*a**2 + 6*a + 25. Let x(v) = 5*v**3 + 12*v**2 - 2*v - 8. Let j(u) = -4*o(u) - 11*x(u). Let r be j(-8). Solve 0 = 2*l - r for l.
2
Suppose 4*q = -4*o + 28, 2*o - 1 = 2*q - 7. Solve 2*s - 3*s = -q for s.
5
Let f = -17 + 39. Let i(m) = -3*m + 1. Let q be i(-1). Solve -q*w + f = 6 for w.
4
Let c(v) = v**2 - 1. Let h(u) = 6*u**2 + 5*u - 2. Let a(p) = 5*c(p) - h(p). Let w be a(-2). Solve 0 = w*x + 17 - 8 for x.
-3
Suppose 0*i = -5*i + 25. Suppose i*l - 1 = 2*w + 4, -4*w = -5*l + 5. Let s be 0/l + 8 + -2. Solve -15 = s*h - h for h.
-3
Let d = -5 + 11. Let u be 4/d*6/4. Solve -u - 2 = 3*y for y.
-1
Let g = 4 - 4. Let s = -14 + 20. Let z be ((-8)/(-12))/(s/9). Solve 3*o - 4*o - z = g for o.
-1
Let b(m) = -2 - m**2 + 0*m**2 + 3 + 1. Let g be b(0). Solve -6*r = -g*r - 20 for r.
5
Let l(i) = 3*i - 11. Let p be 18/4 + (-3)/(-6). Let b be l(p). Solve b*m + 0*m = 20 for m.
5
Suppose 0 = -2*u - a + 9, -a = -u + 3*a. Solve -v = u*v - 5 for v.
1
Suppose -5*j + 35 = 5*x, j + 2*x - 7 = 3*x. Suppose 0 = j*n - 3*n - 8. Solve -n*b = -4*b + 2 for b.
1
Let j = 4 - 4. Suppose j = 4*t + 4*u - 8, 6*u + 6 = -t + u. Suppose -3*a + t*a - 5 = 0. Solve a*p - 3 = 4*p for p.
3
Let x = -1 - -3. Let m = 9 - x. Suppose -3*l = 2*l + y - m, 2*l = 5*y + 19. Solve r + l = -1 for r.
-3
Suppose -2*a + q - 20 = -7*a, -3*q = 5*a - 30. Solve 0 = -0*x + a*x + 12 for x.
-4
Let k = 10 - 5. Solve k*u = 20 - 5 for u.
3
Let b be 3 - 5 - 1*-2. Solve b = -3*s - s - 20 for s.
-5
Suppose -2*x = v - 7*x + 19, -v - x + 11 = 0. Suppose 3*s - 3 = -j + 56, 0 = -s + 2*j + 22. Suppose m + s = 6*m. Solve 2 = -m*z + v for z.
1
Suppose a - 2 = -0*a. Suppose 8 = 2*u + 2*u. Let o = a + u. Solve 5*q + o = q for q.
-1
Let m be (0/(-3) - 2)*-1. Suppose -w + 18 = -0*w - m*l, 6 = -w - 4*l. Solve -2*o + w + 0 = 0 for o.
5
Let m(g) = g**2 + g. Let n be m(-1). Solve n*t + 4*t = 0 for t.
0
Let w be 0/(((-16)/(-24))/(6/(-9))). Solve w*b - 5*b + 15 = 0 for b.
3
Let d = -62 + 62. Suppose 0 = -3*z - 2*c + 8, 2*z - c + 4 = 0. Solve z = -d*r + 4*r - 16 for r.
4
Let t(