= w + 7*i, w - i + 1 = z. Suppose -w*p + 0*p + 6 = 0. Solve 2*t + 0 = p for t.
1
Suppose 0 = 3*f - 7*f + 60. Suppose -4*u = c - 1 - 11, -2*c - f = -5*u. Solve 0 = -u*t + 8*t for t.
0
Let y(o) = -o**3 - o**2 - 3. Let q be y(0). Let u = q - -5. Suppose 6 = 2*l - u. Solve 3*k = -2 - l for k.
-2
Let f = 6 + -10. Let y = f + 4. Solve 5*u + 1 - 6 = y for u.
1
Let o be (-6 + -1)*10/(-35). Suppose 0*t - 3*u + o = -2*t, -3*u = -3*t. Solve k = -t*k for k.
0
Suppose 0 = -63*t + 62*t + 2. Suppose 5*r - r = -16. Let g be (6/r - -1)*-6. Solve -t = g*i + 13 for i.
-5
Let f = 2 - -2. Suppose 0*m - m = -f. Solve m + 12 = 4*k for k.
4
Let h be 30 - (1 - (-3 + 2)). Let m be 3/(-2) - h/(-8). Solve m*o = -o - 6 for o.
-2
Let s = -26 - -26. Solve -3*g - g - 12 = s for g.
-3
Let j = -5 - -9. Suppose j*n + 3*k - 21 = 0, -k - 12 = -5*k. Suppose 0 = 3*b - 2*z - 15, n*z = z. Solve -4 = b*c + 1 for c.
-1
Suppose -4*i - 5*n = -4*n + 13, 5*n = i - 2. Let y be i*2/3*-1. Let w = -1 - -1. Solve w = f + y for f.
-2
Suppose -3*x - x = -20. Suppose 0*i - i = h - 1, 0 = 4*h - 5*i + x. Solve n + 4*n + 10 = h for n.
-2
Let k = -20 - -22. Suppose 2*v = 3*v - k*o + 8, -o + 4 = 0. Solve 3 = -u - v for u.
-3
Suppose -n - 60 = 3*n. Let o = -15 - n. Solve 3*t - 6 - 3 = o for t.
3
Let f be 0 - -3 - (-1 + 0). Suppose -f = -2*m - 0. Suppose 0 = -3*b + m*b + 3. Solve 2*x = b*x for x.
0
Suppose 0 = w - 2*w + 6. Let h(t) = 5*t. Let k be h(w). Solve -4*z = -10 + k for z.
-5
Let t = -29 + 43. Suppose -6*p = -4*p - t. Solve -4*j + p + 5 = 0 for j.
3
Let s be 1/(1/(-18))*-1. Let i = s + -8. Let g(l) = -l**2 - l + 2. Let k be g(0). Solve -2*h = i - k for h.
-4
Suppose 9 = o + 1. Let k(q) = q**3 - q**2 - 3*q - 3. Let x be k(3). Let c(j) = -j + 8. Let z be c(x). Solve -4*t + o = -z*t for t.
4
Let h(a) = a**2 - 1. Let n(s) = 3*s**2 - 7*s - 11. Let m(z) = -4*h(z) + n(z). Let d be m(-5). Let b be (0 - 0)*3/d. Solve -4 = -r - b for r.
4
Let t(n) = 2*n**2 + 4*n + 3. Suppose -m + 72 = 4*z, -8*m + 3*m = 2*z - 36. Suppose z = -4*k - 2*d, 4*k + d - 17 = 6*d. Let p be t(k). Solve j + p*j = 16 for j.
4
Let m(l) be the first derivative of l**4/24 + 5*l**3/3 + l**2 + 1. Let u(q) be the second derivative of m(q). Let b be u(-8). Solve -15 = o + b*o for o.
-5
Suppose -5*a + 14 = -1. Suppose 0 = a*o - 11 - 1. Solve 0*j = -o*j for j.
0
Suppose -6 = -4*x + 6. Let u be ((-14)/35)/(1/(-20)). Solve x*j - u*j = 0 for j.
0
Let r = 21 + -15. Solve -3*t + r - 3 = 0 for t.
1
Suppose -n + 2 = -0. Suppose -n*p + 11 = 1. Solve -2*c + p = 15 for c.
-5
Let t(k) = 19*k + 2. Let b be t(-2). Let h be (-8)/b - 16/(-9). Let r = 0 + 0. Solve -3*n + h*n - 1 = r for n.
-1
Suppose 4 = 5*u - 6. Solve 0*g + 10 = -u*g for g.
-5
Let d(p) = -p - 4. Let q be d(-5). Suppose 0 = -w + 3*b - b + 9, -q = -5*w - b. Solve -w = s - 2 for s.
1
Let r = 15 - 12. Solve j + r = 2 for j.
-1
Let a(o) = o**3 - 7*o**2 + o + 1. Let m be a(7). Let p(i) = -i + 1. Let l be p(0). Suppose -5*h + 5*z = -5, -h - l = -2*z + 1. Solve 12 = h*v - m for v.
5
Suppose 0 = -0*g + 2*g - 4*h + 12, h = 3*g + 3. Solve g = -3*u - u for u.
0
Let r(k) = k**2 + 4*k + 5. Let c = 10 + -15. Let x be r(c). Suppose -4*f - 12 = -40. Solve -x = -f*h + 2*h for h.
2
Suppose 2*c = 4*c - c. Solve c = x + 3*x + 16 for x.
-4
Suppose 3*j + 15 = 3. Let o = j + 6. Suppose 4*g = o*g. Solve g*i = -i for i.
0
Suppose 2*i = 3*i - 1. Let j(x) = -x**3 - 4*x**2 + 2*x + 1. Let y(s) = s - 1. Let m(n) = -j(n) + y(n). Let z be m(-4). Solve -z = u - i for u.
-1
Suppose p = -0 + 1. Let t(w) = 3*w**2 - 2*w + 1. Let z be t(p). Let a(q) = q**3 + 8*q**2 + 6*q - 5. Let g be a(-7). Solve z*c = -g*c for c.
0
Suppose -3*a + 4 = -8. Let l(w) = w**3 + 3*w**2 + 3*w + 2. Let v be l(-2). Solve 0*t + a*t - 12 = v for t.
3
Let t(r) = r + 1. Let l be t(5). Solve a = l*a for a.
0
Let r = -2 + -1. Suppose 2*v + 2*v + 12 = 0. Let x = r - v. Solve x = c + 2 - 4 for c.
2
Let y(u) = -u + 5. Let z be y(-7). Suppose 28 = 4*g - z. Let b = 12 - g. Solve 6 = 4*s - b for s.
2
Let i be (-17)/(-2) + 6/12. Suppose 5*r - i = 1. Solve 0*w - 8 = r*w for w.
-4
Suppose -o + 2*z = 15, -3*z + 20 = -4*o + 3*o. Let r = 5 - o. Solve b - 3*b = -r for b.
5
Suppose -3*g = 5*q + 9, 3*g = -3*q - q - 6. Suppose 3*a = -4*t + 27, 0 = -a - g*a + 4*t + 3. Solve 0 = d - 0 + a for d.
-5
Suppose 0*p - 30 = -3*p. Solve d = -d - p for d.
-5
Suppose 4*z = b + b + 8, 0 = -z - b + 2. Suppose 3*o + 5*i + 17 = 4, z*o = 5*i + 33. Solve 0*h + o*h = -16 for h.
-4
Let s = -27 + 16. Let j = s - -16. Suppose 5*t - 14 = o, 0 = -5*o + 3*t - 2 + 20. Solve o - 1 = j*u for u.
1
Let z be (-2)/4*(-29 - -1). Let f be (-8)/(-28) + 66/z. Solve f*g = 2 + 13 for g.
3
Suppose t = 2*t. Suppose -9 = 3*c, -c - 4 = -4*u - 5*c. Suppose -u*w + 2*f + 2 = -6*w, 4*w = -2*f. Solve -w = x - t for x.
-1
Let k be 16/72 + 4/(-18). Solve 0 = -k*h + 4*h - 12 for h.
3
Suppose -a + 5 - 1 = 0, f + 7 = -a. Let j = 7 + f. Let i = 1 - j. Solve -3 + i = -o for o.
-2
Let p(l) be the second derivative of l**4/12 - l**3/3 + l**2/2 + 2*l. Let o be p(5). Solve -4*u + o = 36 for u.
-5
Suppose -n + 5*n + 44 = 4*a, -5*a + 56 = -4*n. Suppose 2*s + s = a. Suppose 0 - 12 = -s*c. Solve 0*o = -c*o for o.
0
Suppose 18 = 4*c - c. Let l be 3 + (-3)/c*-6. Solve -4 = -l*t + 2*t for t.
1
Suppose -2*r - 11 = -43. Solve 6*w + 8 = -r for w.
-4
Suppose 0 = -5*g - 4*j + 8 - 0, 0 = 3*g + 4*j. Suppose -37 = -3*u - m, -4*u + 2*u - g*m = -18. Solve 12 = 5*k - u for k.
5
Let n = -1 - -5. Suppose -n*p = 10 - 30. Solve 17 + 8 = p*w for w.
5
Suppose 7*t - 8 = 5*t. Solve -t*u - 10 + 2 = 0 for u.
-2
Let f(j) be the third derivative of j**4/24 + 17*j**3/6 + 2*j**2. Let t be f(-13). Solve -t*u - 7 = -19 for u.
3
Suppose 5*t - 57 = -14*t. Solve t*r = -r + 16 for r.
4
Let r(h) = h**3 - 2*h**2 - 3*h + 3. Let j be r(3). Let n be (14/(-4))/(j/(-6)). Let x = n - 2. Solve -g + x = -0*g for g.
5
Let q(f) be the third derivative of f**5/60 - 5*f**4/24 + f**3/6 + 6*f**2. Let t be q(5). Solve 0 = -4*v + 3*v + t for v.
1
Suppose -5*u + 4*u + 10 = 4*y, 3*u + y = 30. Solve a = -a + u for a.
5
Suppose 2*q + 0*q - 4*x - 30 = 0, 4*q - 3*x - 35 = 0. Solve 0*z - 25 = -q*z for z.
5
Suppose 0 = -4*s + 4*k + 5 + 7, -2*s = 3*k - 31. Solve -6*f + 2*f - s = 0 for f.
-2
Suppose 7*w - 3*w - 16 = 0. Let y(n) = n**3 + 3*n**2 + n + 1. Let j be y(-2). Suppose -j*h = 2*h. Solve -w*b + h*b - 20 = 0 for b.
-5
Suppose 26 = 2*m + 5*n, -5*n + 42 = m + 3*m. Let i = -2 - -2. Solve 3*x - 2 + m = i for x.
-2
Let w(r) = 6*r - 3. Let m be w(3). Solve 2*k = -3*k - m for k.
-3
Suppose -1 + 4 = -3*j. Let k be -2 + 2 + j - -1. Solve -2*r + 3*r - 4 = k for r.
4
Let f(c) = c**2 - 1. Let v be f(-1). Solve v*j = -5*j - 25 for j.
-5
Let z = 1 + 4. Suppose z*m = 3*m + 50. Suppose -2 - 7 = 3*g + 3*k, -3*k - 9 = 5*g. Solve g = 5*u - 0 - m for u.
5
Suppose 2 = 2*n, b + 5*n - 7 = 2*n. Solve -2 + b = -t for t.
-2
Suppose 3*z + z + 24 = 0. Let m(t) = -t**2 - 6*t + 6. Let b be m(z). Solve b + 3 = 3*g for g.
3
Let w = -11 - -30. Suppose 3*u = -4 + w. Suppose -20 = -4*y - u*o, 0 = 2*y - 0*y - 4*o + 16. Solve y*d + 1 = d for d.
1
Suppose -17 = -5*s + 8, 2*y + 10 = 2*s. Solve y = 2*h - 0*h for h.
0
Let w be (-4)/(-14) + 99/21. Suppose 5 + 5 = w*g. Solve 0 = -4*p + g*p + 2 for p.
1
Let p(o) = -o**2 + 1. Let x be p(1). Let h(b) = 4*b - 4. Let j be h(6). Solve -4*m + 0*m - j = x for m.
-5
Suppose 3*g + 3*w - 2*w - 11 = 0, -w - 4 = -2*g. Solve g*m = 2 + 1 for m.
1
Suppose 5*t + 15 - 90 = 0. Solve 3*g + t = 6*g for g.
5
Let o = 7 - 5. Let v be (-2)/(-3)*3/2. Let b = 0 + v. Solve 5 = o*z + b for z.
2
Let i be 8/(-4) + (1 - -3). Suppose i*j = 3*j. Let t = -123 + 125. Solve -y - 1 - t = j for y.
-3
Let h(w) = w**2 - 5*w - 3. Let c = -7 + 13. Let b be h(c). Suppose -6 = l - b*l. Solve -f - l = -4 for f.
1
Let f(c) = c**3 - 10*c**2 - 12*c + 12. Let u be f(11). Let p be -2 + u - (1 - 39). Suppose -5*s + p = -0*z - z, -14 = -s - 2*z. Solve 4*b + s = -0*b for b.
-2
Suppose 0 = 4*g + g + 3*t - 22, 0 = 3*t - 12. Solve 18 = -5*y - g for y.
-4
Suppose 5*p - 14 - 21 = -r, 5*r = 0. Suppose p*w - w = 12. Solve -w*h - 1 = -h for h.
-1
Let y = 97 - 97. Solve y*f + 15 = -5*f for f.
-3
Suppose -t - 4*m + 15 = -0*t, -t - m + 6 = 0. Suppose 4*g - 6 - 2 = 0. Let d be (0 - 1)*-1*5. Solve g*f + d = t for f.
-1
Let l(m) be the first deri