= -4*z - q for z.
-1
Let x(v) = 4*v - 8. Let z be x(4). Suppose -z = -5*j + 2. Solve 3*d = -j*d for d.
0
Suppose 7*d - 3*d = 0. Solve -4*p = -d*p - 12 for p.
3
Suppose 0 = -h + 2 - 1. Suppose -5*x + j = h, -2*x - 3*x = j - 1. Solve 2*p - 6*p = x for p.
0
Let m(a) be the second derivative of -a**5/20 + a**4/4 + 2*a**3/3 - a**2/2 + 2*a. Let t be m(3). Solve 1 - t = -2*q for q.
5
Let q = -26 + 30. Solve 4*c = -q - 8 for c.
-3
Suppose 8*b + 4 = 9*b. Let t = -18 + 29. Solve b*n - t - 1 = 0 for n.
3
Let b(w) = -w**2 + w + 1. Let y be b(2). Let p be -6*y*(-3)/(-9). Solve 0*n - p = 2*n for n.
-1
Suppose -8 = -2*x, 10 = 4*b + x - 10. Solve -b - 4 = 4*l for l.
-2
Let n(w) = 1. Let u(v) = -v**3 + 9*v**2 + 11*v - 7. Let b(s) = 5*n(s) - u(s). Let j be b(10). Solve 0 = -j*g - 13 + 3 for g.
-5
Let n(i) = i**2 + 5*i - 3. Let o be n(-6). Let t be -1 - (3 + o + -7). Solve t*l = -5*l - 20 for l.
-4
Let y be ((-36)/(-8))/((-3)/28). Let a be (-4)/14 + (-222)/y. Solve -8 = a*b - 23 for b.
3
Let f be (42/63)/((-4)/(-6)). Solve -f + 2 = o for o.
1
Let a(f) = f**2 - f + 0*f - 2*f + 5. Let q be a(2). Solve -j + q - 2 = 0 for j.
1
Suppose -4*h = v - 20, -4*h + 14 = -2*v + 6. Suppose h*p = 2*p + 6. Solve -p*q - q = -8 for q.
2
Suppose 0 = -5*s - 6*f + 4*f + 46, 3*s - 2*f - 34 = 0. Suppose -4*n + 12 = -0*n. Suppose n*i = i + s. Solve 5 = i*m - 0 for m.
1
Let u = -29 + 19. Let z be 1/(1 + u/12). Suppose -3*f = 15, -x - x - 5*f = 21. Solve x*b - z = -0*b for b.
3
Let m be (4/(-14))/(4/(-28)). Suppose 12 = m*r - 4*d, -3 = -r - d + 2*d. Let f(b) = -b**3 - 3*b**2 - b - 3. Let u be f(-3). Solve -2*n + u*n = r for n.
0
Suppose -9*p + 8*p + 7 = 0. Suppose z = -0*z - 4*x + 6, 3*x = 5*z - p. Solve -z*w - 2 - 2 = 0 for w.
-2
Suppose 1 + 11 = 3*l. Let o(d) = d - 2. Let y be o(l). Solve -5 + 3 = y*b for b.
-1
Suppose u - 1 + 4 = 4*c, 13 = 3*u - c. Let n = u - 3. Let t be 2 + (3 + -3)*1. Solve 0*m = t*m - n for m.
1
Suppose 9 - 1 = 4*m - 5*o, -3*m = -2*o - 6. Suppose m*b = -b + 4*w + 10, -b - 2*w = 0. Solve 2*u - 6 = b for u.
4
Let p be 3*-1*(-5)/3. Solve -2*s - p = -s for s.
-5
Let p be (-5 + 0)*(2 + -3). Solve -i - p = 4*i for i.
-1
Suppose -a + 3*a + a = 0. Solve 0 = -a*f - 3*f for f.
0
Suppose q - 4 = 5. Suppose -q*m = -5*m - 8. Suppose w + 0*w - 4 = 0. Solve -m*k + w = -4*k for k.
-2
Suppose -8*g + 11 = -29. Solve g*n + 6 = -9 for n.
-3
Let t(k) = -k. Let i be t(-2). Solve x = i*x for x.
0
Suppose -c - 4 = -3*c. Suppose c*x + 6 = 3*x. Solve j = x*j for j.
0
Suppose -2*y + 3*x = -17, -6*y + x + 23 = -y. Suppose -8*n = -4*n + 44. Let q = 20 + n. Solve c + q = y for c.
-5
Let o = -8 - -11. Suppose -k + 3*r = -11, k - o*r = 2*k + 1. Solve 0 = 2*n - n - k for n.
5
Suppose 0 = 5*o + y - 2, o - 7 = 3*y + 3. Let u be ((-5)/(-2))/(4/8). Solve l + u = o for l.
-4
Let s = 73 - 71. Solve -3*k = -s*k for k.
0
Suppose -5*b - 3 = -13. Solve 25 = b*n + 3*n for n.
5
Let w(v) = v**3 - 4*v**2 - v + 3. Let b be w(4). Let f be 0 - (b*11 + 2). Let c be (1 + 1/(-3))*f. Solve c - 16 = -5*i for i.
2
Let o(m) be the third derivative of -m**6/120 - m**5/15 - m**4/6 - m**3/3 + 5*m**2. Let c be o(-3). Solve z + c = -2 for z.
-3
Let m = 6 - -1. Solve -4 = -m*q + 3*q for q.
1
Suppose -v + 32 = 2*o - 5*v, -21 = -o + 3*v. Let j(q) = -q + 8. Let l be j(o). Suppose f - 13 - 4 = 0. Solve -7 = -l*b - f for b.
-5
Suppose -2*n + 3*a = 0, 4*n - 4*a - 5 = 3. Solve 3*o + n - 3 = 0 for o.
-1
Suppose 2*w - 5*v - 25 = 0, -2*w - 25 = w + 5*v. Let z = -2 - 4. Let j = 8 + z. Solve 3*s + j*s = w for s.
0
Let h = -6 - -18. Let y be h/36 + (-88)/(-6). Solve 0*o - 5*o - y = 0 for o.
-3
Suppose 18*q - 19*q = 0. Solve z = -q*z - 3 for z.
-3
Suppose -6*c + 12 = -2*c. Suppose 25 = c*a + 2*a. Suppose a*j = 13 + 2. Solve 0 = -0*m + m + j for m.
-3
Suppose x - 3*c - 12 = 0, -4*x = 4*c - c + 12. Suppose 5*n = -w - 3*w + 25, -4*w + 3*n - 15 = x. Let s be 0 + (0 - w/(-2)). Solve s = 8*a - 3*a - 5 for a.
1
Suppose 0 = 10*k - 7*k. Solve -2*q - 3 + 1 = k for q.
-1
Let t(a) = a + 20. Let s be t(-18). Solve -l = -s*l for l.
0
Suppose 7*a - 15*a = -48. Solve -i = -4*i - a for i.
-2
Suppose -13*u = -127 + 36. Solve -3 - u = -5*o for o.
2
Let d(p) = -p**3 + 6*p**2 - 5*p - 2. Let q be d(5). Let f(o) = -o**3 + o - 1. Let g be f(q). Solve -2*m - g = 3*m for m.
-1
Let f be (4/6 - 0)*6. Suppose 0 = 4*b - 3*t - 6, -t = -2*b - 0*t + f. Suppose -3*m + 3*o + 3 + 6 = 0, b*m = o + 9. Solve 2*k + m = 9 for k.
3
Let i(d) = -3*d**3 + 20*d**2 - 13*d - 22. Let w(r) = -r**3 + r**2 + r. Let s(p) = i(p) - 2*w(p). Let n be s(17). Solve -4 - n = -4*b for b.
4
Suppose -4*r = -5*k - 0 - 1, -2 = r - 2*k. Suppose 0*a = r*a - 8. Let q(v) = -v + 3. Let s be q(3). Solve s = -a*d + 5*d for d.
0
Let b(a) = a**3 + a**2 + a - 6. Let r be b(0). Let o be (-32)/r - (-4)/6. Solve -j = j - o for j.
3
Let j be (-10)/(-4)*(-16)/(-10). Let p be 1/((-10)/j)*-10. Suppose -2*d - 2 = -5*n, d - 4*n - p = -2*d. Solve 0*a = -d*a + 20 for a.
5
Let d = 1 - -3. Let r = 1 + -3. Let q be (r - 2)*(-2)/4. Solve -q = 2*b + d for b.
-3
Suppose -5*a = -2*l - 3, -5*l + 25 + 20 = 5*a. Let i = -3 - -4. Suppose -3*n - i = -7. Solve l = n*z - 4 for z.
5
Let c be (-6)/(-9) + 14/6. Let z be (c/6 - 0)*8. Solve 10 = z*o - 2*o for o.
5
Let w = 10 + -20. Let k be (-2)/(-5) - 6/w. Let x = k + 3. Solve x*p = 2*p for p.
0
Let s(x) = -x**2 - 7*x - 3. Let y be s(-6). Suppose 2*i = -y*i. Suppose 2*l + 4 = -4*w, 4*l - 2*w = -0*w + 22. Solve i = -3*c - c + l for c.
1
Let z = 0 + 3. Suppose -2*r - z*r = -15. Suppose 4*v = 3*v + 5. Solve r = v*w - 2*w for w.
1
Let l(a) = -a**2 - 13*a - 10. Let i be l(-12). Solve g = i*g - 5 for g.
5
Suppose 2*a - 2 = -9*n + 7*n, -2*a = -2*n - 10. Suppose a*w - 20 = -2*w. Solve 3*p + w = -p for p.
-1
Let n(p) = p**2 + 6*p + 2. Let w be n(-6). Solve -w*r + 6 + 0 = 0 for r.
3
Let q(a) = 3*a - 12. Let b be q(6). Solve b = -3*f - 0 for f.
-2
Suppose 3*s - 2 = 4, -3*b - s = -17. Solve -2 = -b*c - 12 for c.
-2
Let r(j) = -8*j + 8. Let i(v) = -7*v + 7. Let w(q) = 6*i(q) - 5*r(q). Let k be w(-2). Solve d = -d - k for d.
-3
Let z(a) = -a + 4. Let n be z(3). Let o be -12*((-12)/(-16) - n). Solve 0*d + 3*d - o = 0 for d.
1
Suppose -1 = 4*n - 5. Let f be ((-1)/n)/((-2)/8). Suppose f*p = 8 + 4. Solve 0*q + p*q = -3 for q.
-1
Let s be 12/(-3) + 9 - 5. Solve 20 = -s*f + 5*f for f.
4
Let t = -27 + 29. Solve -2*w = t*w - 16 for w.
4
Let c(u) = -u**3 + 5*u**2 + u - 2. Let n be c(-1). Solve i = -2 - n for i.
-5
Suppose -5*z - 2*x + 15 = 0, 0*x - 5 = -5*z - 4*x. Solve -11 - 4 = z*t for t.
-3
Let b(d) = 5*d**2 + 2*d + 1. Let i be b(-1). Solve 0 = g - 0 + i for g.
-4
Suppose -w + 11 = -4*y + 4, -5*w - 4*y + 11 = 0. Solve -9 = w*o + 3 for o.
-4
Suppose 81 = 2*w + 77. Solve 7 = 5*o + w for o.
1
Suppose 81*b = 80*b + 3. Solve b*k + 2 = -1 for k.
-1
Suppose -l + 6*l - 60 = 0. Let o = l + -9. Let t be -2 + 0 + 0 + 2. Solve 0 = -o*k - t - 3 for k.
-1
Let v = -11 + 15. Solve -7*n = -3*n - v for n.
1
Let t(s) = s**2 - s - 2. Let i be t(2). Let h be 1/(-2)*i/(-3). Let f = 2 + h. Solve 0 = f*z + 2 + 4 for z.
-3
Let n(w) = w + 1. Let u(p) = 3*p + 6. Let t(s) = -4*n(s) + u(s). Let f be t(2). Solve f*v + 5*v + 25 = 0 for v.
-5
Suppose 0 = 18*q - 14*q. Suppose q = -z + 35 - 31. Solve -c + z = -0 for c.
4
Let b(n) = -3*n**3 - 5*n**2 - 4*n. Let k be b(-2). Solve 5*w - w = k for w.
3
Let d be (1 - -1)*(-4 + 5). Suppose -y + 2 = -3. Suppose -4 = -0*v + 4*v, -d*m + y*v = -13. Solve -m*z - 1 - 3 = 0 for z.
-1
Let z(c) = 0 + 4*c + c**2 + 4 + 4*c**2 - 4*c**2. Let r be z(-3). Solve -2*v = -3*v + r for v.
1
Let a = 6 - 4. Suppose j - 16 = 3*k, a*j - k = -3*k. Solve j*z = -z for z.
0
Let q be 1*(2 - -1)/1. Let d(x) = -4*x**2 + 43*x + 15. Let b be d(11). Solve -q*f + 5 = -b*f for f.
-5
Let k be ((-18)/30)/((-1)/5). Solve k*h - 10 = h for h.
5
Suppose 0 = q + 8 - 10. Solve -b = -q*b + 2 for b.
2
Let l(q) = q**3 - 3*q**2 - 2*q. Let c be l(4). Let w be (3*10)/(c - 6). Let v = 9 - 6. Solve w = -6*k + v*k for k.
-5
Suppose -3*o - 36 = -3*c - 8*o, -c - 4*o = -12. Solve -c = -4*i + i for i.
4
Suppose 5*c + 15 = 3*v + 3*c, -3*v + 21 = -4*c. Solve 2*i = -v*i + 5 for i.
1
Suppose 2*k = -2*k. Solve -2 = 2*a - k for a.
-1
Let d be (28/8)/((-2)/(-4)). Let w be 1/(-2)*-6 + 1. Suppose -v = 2*j - d, -v - 2*v + w*j + 1 = 0. Solve v - 4 = -p for p.
1
Le