lve 0 = n*v + d + 2 for v.
-3
Let v = 0 - 0. Let d = v - -4. Let p be -14*(-1 + 2)/(-1). Solve 0 = d*z - 2 - p for z.
4
Suppose 3*f + f + 4 = 0. Let k = 32 - f. Let m be ((-24)/15)/((-1)/5). Solve 0 = -5*b - m + k for b.
5
Let v(q) = 6*q + 18. Let s be v(-3). Solve 5*r + 4 + 16 = s for r.
-4
Let y(f) = f**3 - 4*f**2 + 3*f. Let x = 5 - 2. Let o be y(x). Solve -3*u + 7*u - 16 = o for u.
4
Let y(s) = -s + 2. Let z(i) = -i**2 - 3*i - 2. Let n be z(-3). Let h be y(n). Solve 2*k = h*k for k.
0
Let h = -3 + 6. Suppose 4*n = -n + 15, 3*p - 4*n = 0. Solve 0 = -p*r + h*r for r.
0
Let p be (4 - 1)*3/(-9). Let l = -1 + p. Let k be (l + 9)*(-6)/(-7). Solve k*t - t = -20 for t.
-4
Suppose -4*t + 14 = 2. Suppose 0 = -3*h + 6 + t. Solve -h*g - 8 = g for g.
-2
Let n = 5 + 15. Solve 5*m - 5 - n = 0 for m.
5
Let m(p) be the first derivative of 4 + 0*p + 1/2*p**2 - 3/4*p**4 + 1/3*p**3. Let b be m(-1). Solve -b - 1 = -4*h for h.
1
Suppose -2*c + 2 = -0*c. Suppose -5*m + 4 = 5*u - c, 5*u - 2*m = 19. Solve u*k = -k - 8 for k.
-2
Let d be 8 - 1*6/2. Solve 0 = 3*r - 4*r + d for r.
5
Suppose -39 = -5*g + 31. Solve -g*t + 15 = -9*t for t.
3
Let b(j) = j**3 + 6*j**2 - 6*j + 7. Let n(u) = u + 1. Let o be n(-8). Let g(k) = k. Let z be g(o). Let x be b(z). Solve x = -4*d - d for d.
0
Suppose -115 = -5*d + 5*j, 2*j = -2*d + 3*j + 47. Solve d + 1 = -5*q for q.
-5
Suppose n + n = 48. Let m = n + -21. Solve 0 = 2*z + m*z + 15 for z.
-3
Suppose 4*j = -4*l + 20, 3*j - 3*l + 0*l - 3 = 0. Suppose -5*c + 38 = i, 24 = 4*c - j*i + 5. Suppose -3 = -2*r + c. Solve k + 0*k = r for k.
5
Let f be (-35)/(-3) - (-6)/18. Suppose 2*c = 5*c - f. Suppose -c*b - 3*p + 2 + 9 = 0, 2*b - 5 = -p. Solve -2*n - 4 = b*n for n.
-1
Suppose 0*k - 2*k = -3*n + 10, 3*n - 4*k - 14 = 0. Suppose 2*t = -0 + 2. Let b = -1 + t. Solve b = -n*g + g + 3 for g.
3
Let l be (1 - 4)/6*-6. Solve -6*w = -l*w for w.
0
Suppose 2*g + 10 = 7*g. Suppose 3*y - 4*y + 4 = 0. Let l be 3/(-6)*y/(-2). Solve -j + g = -l for j.
3
Let w = 1 - -1. Suppose -2*f - 5 = 1. Let o(v) = -v**3 - 3*v**2 - 2*v - 4. Let q be o(f). Solve -4 = -w*i + q for i.
3
Suppose -36*v - 15 = -39*v. Let z = 21 - 31. Let n = -7 - z. Solve -v*c + n*c = -10 for c.
5
Let o = -29 - -32. Solve 3 = o*s - 0 for s.
1
Let f be 69/18 - (-2)/12. Suppose t = r + 17, -f*t + 25 + 3 = 4*r. Solve t = 4*m + 4 for m.
2
Let h(t) = t**3 + 13*t**2 + 13*t + 9. Let n be h(-12). Let p be 0 + n + 12/4. Solve 3*l + l - 4 = p for l.
1
Let l(w) = -w**2 + 4*w + 4. Let a be l(4). Solve 3*i + a = 13 for i.
3
Let n(a) = a**2 + 15*a + 15. Let f be n(-14). Solve 3*q + 5 + f = 0 for q.
-2
Let v = 16 + -16. Let z(b) = b**2 - b + 4. Let i be z(v). Solve 0 = i*d - 16 for d.
4
Let h = -11 - -8. Let w(q) = -q**3 - 2*q**2 + q + 3. Let x be w(h). Let v(u) = u**3 - 7*u**2 + u - 3. Let r be v(7). Solve x = -r*f - 7 for f.
-4
Let u(g) = -3*g + 1. Suppose -3*j + 6*j + 2 = -5*n, 4*n + j = -3. Let z be u(n). Solve 0 = 5*v - v - z for v.
1
Suppose 2*k = 5*k. Let a be 10/(-55) + (-299)/(-11). Let m = a - 16. Solve k = -3*x + 1 + m for x.
4
Let n(w) = -3*w - 27. Let g be n(-12). Solve -g = -4*d + 7*d for d.
-3
Let h be (1/(-3))/((-2)/6). Let a be h*(0 + 0 + 1). Solve -p + 3 = a for p.
2
Let z = -22 + 40. Let w = 21 - z. Solve -w*a - 3 = -2*a for a.
-3
Suppose 0 = -3*h - 4*z + 76, z - 92 = -4*h - 2*z. Solve -h = -x - 3*x for x.
5
Suppose -5 = -q - 1. Let p be 3/(-1) + 2/2. Let y be (-40)/(-22) - p/11. Solve q*c + y = 6 for c.
1
Let m = -130 - -136. Solve 10*d - m*d = -20 for d.
-5
Let t(x) = -x**3 - 15*x**2 - 14*x + 5. Let l be t(-14). Solve l*d = d + 20 for d.
5
Suppose 0*g - 3*g = 4*q - 13, -2*q = g - 1. Solve g = -5*t + 36 for t.
5
Suppose 11*f - 7*f = 0. Solve -2*u = -f*u + 8 for u.
-4
Let v(r) = -r**3 - 10*r**2 - 8*r + 13. Let w be v(-9). Solve 2*m + 0 = w for m.
2
Let n be (-8)/(-32)*-2*(-7 - 1). Solve n*i - 7 = 9 for i.
4
Suppose -5*f - 4*m + 7 = -m, 3*f = 5*m + 11. Solve 0 = f*j + 3*j + 5 for j.
-1
Let b = -6 - -8. Suppose 0 = -2*i - b*j + 2, -5*i + 3*j - 3 = -32. Solve 2*a = -2*a - i for a.
-1
Let s = -21 + 29. Let m be (-6)/3*(-30)/4. Suppose 2*b - m = -b. Solve b*l = l + s for l.
2
Let g(h) = h**3 - 5*h**2 + 2*h - 7. Let m be g(5). Suppose -p = 4*p - 20. Solve -m*r + 5 = -p for r.
3
Let p(i) = 6*i**2 + i - 2. Let f be p(-2). Solve f = 7*b - 2*b for b.
4
Let d(k) = k**3 + 12*k**2 + 11*k + 4. Let g be d(-11). Solve 1 = -3*n + g for n.
1
Let t(x) be the third derivative of -x**6/40 - x**4/24 - x**3/6 - 3*x**2. Let j be t(-1). Suppose -40 = -0*p - 5*p. Solve j*i = -i - p for i.
-2
Suppose -u - 1 = a, a - 6 = 5*u - 1. Let y be 0/(0 - u - 3). Solve -3*d = -y - 9 for d.
3
Let m = 128 + -127. Solve 2*w + 7 + m = 0 for w.
-4
Let o(h) = -h**2 + 3*h + 3. Let n be o(3). Solve -4*g + 2 = -n*g for g.
2
Let o(g) = 12*g**2. Let s be o(1). Let l = -7 + s. Let t = -3 + 8. Solve l*b + 5 = -t for b.
-2
Let n(q) = -5*q. Let o be n(2). Let r = o + 11. Solve l - 3 = r for l.
4
Let b(z) = 3*z - 3. Let d be b(2). Suppose 8*o - 5 = d*o. Let s be (o - 3)/((-1)/6). Solve 3*u + 0*u = -s for u.
-4
Suppose -3*v + 4 = -2*v. Let i(b) = -b**3 + 4*b**2 + 2*b**3 + v*b**2 - b - 8. Let o be i(-8). Solve -2*g + 4 = -o*g for g.
2
Let d be 2/2 + -3 + 6. Let p = -1 + d. Solve 1 = i - p for i.
4
Let l(n) = -n**2 + 5*n - 2. Let i be l(3). Solve 4*c + i = -0*c for c.
-1
Suppose 24 = -3*b + 3. Let l = 1 + b. Let n be (0 - 2/4)*l. Solve 5*z - n*z = 0 for z.
0
Let q be (-28)/(-12) + (-4)/(-6). Suppose h + q = 2*h. Solve -f - 2*f + h = 0 for f.
1
Let s = -41 + 47. Solve -2*a + 8 = -s*a for a.
-2
Let h be (-2*1)/(-2)*2. Suppose -a + w = h, 33 = 5*a + 4*w + 7. Suppose -a*g + 3 = 1. Solve -3*m = 16 - g for m.
-5
Suppose -8 = -4*a - 20. Let l(g) = -g - 3. Let o be l(a). Solve o = -b + 6*b for b.
0
Suppose 0 = -2*m + 4*b - 18, -5*m - 3*b = -25 + 5. Let t = 5 + m. Solve 2*d - t = -2 for d.
2
Let q be (1/3)/(2/(-66)). Let k = 21 + q. Solve -2*m - k = 3*m for m.
-2
Let l(n) = 4*n - 8. Let w be l(4). Let y(i) = -i**3 + 2*i**2 + 5*i - 2. Let z be y(3). Solve w = -3*s - z for s.
-4
Suppose -7*m + 25 = -2*m. Solve x - m = 6*x for x.
-1
Let y be 4*-1 + (-8 - -13). Solve v = -y + 3 for v.
2
Let z = 7 + -4. Suppose -5*b + b + 8 = 0. Solve -b*w = z*w - 5 for w.
1
Let c(x) = -x**3 - 4*x**2 - 4*x - 3. Let q be c(-3). Suppose q = -d - 0*d. Solve 5*o + 3 + 22 = d for o.
-5
Let x(i) = -21*i. Let p be x(-1). Let o = 38 - p. Suppose 2 - o = -5*u. Solve u = 3*d - 9 for d.
4
Let f = 4 - -1. Solve f*j + 43 = 18 for j.
-5
Suppose -3*a - 2*a = 0. Let v(b) = -4*b + 1. Let q(o) = 5*o. Let m(n) = -5*q(n) - 6*v(n). Let l be m(-6). Solve l = -a*c - 3*c for c.
0
Let f be 1 + (-2 - (2 - 3)). Let y(n) = -n**2 - n + 3. Let g be y(f). Solve 10 = -g*x - 2 for x.
-4
Suppose -8 = -4*d + 8. Solve -3*y = d + 8 for y.
-4
Let q(t) be the second derivative of t**4/12 + 11*t**3/6 + 6*t**2 - 4*t. Let o be q(-11). Suppose 7*n = 3*n + o. Solve -3*l = -n + 6 for l.
-1
Let r = 16 - 14. Let h(g) = -7*g**3 + g + 1. Let p be h(-1). Suppose 4*d = 5*d - 3*t - 6, -r*t = 3*d - p. Solve -d*w = 2*w for w.
0
Let m(u) be the second derivative of u**5/20 + 7*u**4/12 + u**3 + u**2 - 2*u. Let t(k) = 2*k + 4. Let c be t(-5). Let h be m(c). Solve -8 = 4*a - h*a for a.
-4
Let d(u) = -u - 3. Let n be d(-7). Suppose n*h = 2*h. Solve 0 = -h*t + t + 1 for t.
-1
Let r be 0/3 - (-3 + -2). Solve 3*b = 2*b + r for b.
5
Let m(i) = i**2 - 2 - 6*i - i + 6*i. Let q be m(2). Solve q = -2*a + 2 + 8 for a.
5
Suppose 0 = -r - 3*r - 4*h, 0 = -2*h. Let w = r - -5. Suppose 5*m = 3 + 7, -3*m = w*l - 26. Solve -2*y + y - l = 0 for y.
-4
Let x = -6 + 10. Let w = -1 + x. Solve 0 = w*s - 5*s + 8 for s.
4
Let z(m) = m**3 + 11*m**2 - 12*m + 6. Let f = -4 + -8. Let r be z(f). Suppose 7 + 13 = p. Solve p = -r*o + o for o.
-4
Suppose -81*f + 80*f + 4 = 0. Solve -6 = 7*j - f*j for j.
-2
Suppose -2*y + 4 + 4 = 0. Solve d - y = -3 for d.
1
Let n = 1 - -2. Suppose 4*h - n*j = 105, -h + 11 = 3*j - 34. Suppose -2*l + h = l. Solve l = -b - b for b.
-5
Let i(z) = -z**2 + 3*z - 2. Let n be i(2). Suppose -2*s + 56 = -b + 5*b, -3*b - 4*s + 52 = n. Let m be (-3)/(-2)*b/9. Solve -d + 2 = -m*d for d.
-2
Let f(l) = l - 1. Let h be f(3). Suppose -2*k + 2*x = -2, -h*k - x + 20 = 3*x. Let t be 3 - (1 - (1 + -1)). Solve k - t = 2*a for a.
1
Let f(t) = 5*t**2 +