*o + v = 2*t. Let j be (-3)/6 - 22/o. Solve -j*w = -4*w + 1 for w.
-1
Let i(l) = l - 4. Let z be i(4). Solve z = 3*c + c for c.
0
Let g(z) = z**2 + 12*z + 15. Let r be g(-11). Let x = -2 + 0. Let l = x + 5. Solve t = -l*t + r for t.
1
Suppose 5*n + x + 3 = 18, -3*n + x + 17 = 0. Solve -20 = -0*i - n*i for i.
5
Let u = 1 - -1. Suppose 7*h + o = 2*h + 5, -u*o = -h - 10. Solve h = -s - 3 for s.
-3
Suppose -3*s = -w - 0*s + 14, -w - s = -2. Suppose 0 = -2*r - 2*r, -3*x - 4*r = -9. Suppose -x*n = -w + 2. Solve 0 = -4*c + 5 - n for c.
1
Suppose 5*a + 6 = 3*x + 1, -4*a = -3*x + 7. Solve w = a*w + 1 for w.
-1
Let p(c) = c**3 - 11*c**2 + 10*c + 9. Let g(t) = -t**3 + 10*t**2 - 9*t - 8. Let f = -10 + 4. Let q(y) = f*p(y) - 7*g(y). Let j be q(3). Solve 2 + 6 = j*h for h.
4
Suppose -3 = 6*c - 3*c. Let a = -1 - c. Suppose 0*o - 3*o = -b + 5, a = 5*b + 3*o - 25. Solve f - b*f = 0 for f.
0
Let v(h) = -h**2 - 6*h + 3. Let m be v(-5). Let t = m - 7. Let z be ((-4)/(-5))/(t/5). Solve 0 = 2*y - 0 - z for y.
2
Let b(u) = u**2 + 2*u. Let c be b(0). Solve 0*n - 2*n - 6 = c for n.
-3
Let s(f) = -3*f - 1. Let z be s(-2). Solve -r + 12 = -z*r for r.
-3
Let k = -5 - -17. Solve 0 = 4*p + k + 8 for p.
-5
Suppose h - 2*h = -4*u - 24, 4*h + 4 = -4*u. Let z = 10 + u. Let r = 35 + -18. Solve -2 = -z*d - r for d.
-3
Let n be 2/(-9) + 47/9. Suppose -n*r + 5 = -4*r. Solve r*i = -19 + 4 for i.
-3
Let w(m) be the third derivative of m**7/2520 + m**6/720 + m**4/24 - 2*m**2. Let i(p) be the second derivative of w(p). Let b be i(2). Solve d + b = -2*d for d.
-2
Let q(l) = l - 9. Let y be q(7). Let x = 7 + y. Suppose x*m = -s + 8, -8 = 4*s - 0. Solve -m*z - 6 = -0 for z.
-3
Let t be 35/(-7) - (1 + -3). Let z be (-4)/(-6) + t/(-9). Let l = -16 + 23. Solve -2*n + l = -z for n.
4
Suppose 0 = 5*j - 2*u - 70, -2 = -j + 3*u - 1. Suppose 4*d = -5*t + j, 4*d + 0*t = -2*t + 16. Solve 4*c - d = 2*c for c.
2
Suppose 2*t = 3*t - 5. Solve -4 - 21 = -t*v for v.
5
Let v = -6 + 9. Suppose 0*h + v*h = 15. Suppose -11 - 14 = -h*a. Solve -2*f = -a*f - 15 for f.
-5
Suppose 5*x - 10*x = 3*s + 1, 5*x + 19 = 3*s. Solve s*a - 4 = a for a.
2
Suppose 15 + 13 = 3*o + h, 0 = o + 2*h - 16. Let u be 3*-1*o/(-12). Solve u = 4*c - 6 for c.
2
Suppose 0 = 3*g - 4*j - 45 + 2, -55 = -4*g + 3*j. Let x = -13 + g. Solve x = 4*b + 24 - 8 for b.
-4
Let v = -2 + 2. Suppose -6*p + 2*p = 3*w - 27, 0 = 3*w + 5*p - 30. Suppose 0 = w*q - q. Solve v = 5*h - q - 5 for h.
1
Let w = -1 - -1. Let t = -7 - -14. Let f = 12 - t. Solve w*q = f*q + 5 for q.
-1
Suppose 0 = u + 4*u. Suppose u = -g + 12 - 5. Solve 2 = -w + g for w.
5
Let n = -11 - -31. Solve 2*h - n = 6*h for h.
-5
Let x be 3*-1 + 10/1. Solve x = -3*s + 1 for s.
-2
Suppose -5*j + 7 = 2*b, -2*b + 3*j = j. Solve 5*s + b + 4 = 0 for s.
-1
Let o(g) = -g**3 + 3*g**2 - g + 1. Let q be o(2). Solve q*w + 8 = w for w.
-4
Let p be 35/14 + 2/4. Suppose 0 = 5*k + 5*t - 60, k - t - p*t - 12 = 0. Suppose 5*g - k = 3. Solve h + 0 = -g for h.
-3
Let i be 63/12 + 3/4. Solve 0 = 4*a + i - 2 for a.
-1
Let y be (-105)/(-60) + 1/4. Solve 7 = t + y for t.
5
Let a be (1 - 11)*(-2)/5. Suppose 5*w - 3 - 1 = -2*s, a*s - 8 = w. Let z(m) = 2*m - 4. Let b be z(5). Solve -20 = s*i - b*i for i.
5
Let f be (-1)/(-2) + (-9)/(-2). Suppose -f*b + 0*b = 0. Solve -h - h + 6 = b for h.
3
Let v(g) = g**3 + 6*g**2 + 6*g + 5. Suppose -u - 4*u - 25 = 0. Let j be v(u). Solve 3*l - 3 + 9 = j for l.
-2
Suppose -15 = -q - 4*q. Suppose -o - 5*h - 7 = q*o, -2*o - 5 = 3*h. Solve x + 3 = o for x.
-1
Suppose 0 = 4*t + 8, 0*t - 32 = 4*n - 2*t. Let o = -5 - n. Solve o*w - 5*w = -2 for w.
2
Suppose -i = i - 20. Solve -4*b = -2*b - i for b.
5
Let z(i) = i**3 + i**2 + 6. Suppose -y = 2*y. Let x be z(y). Let w = -4 + x. Solve w*m - 8 = -0*m for m.
4
Let z = -7 - -9. Solve z*a = 4*a - 4 for a.
2
Let y be (-1)/(-1)*-1 - -536. Let r be 4/(-14) + y/35. Solve -3*a = 2*a + r for a.
-3
Let d(n) = n**2 + 5*n + 3. Let k be d(-4). Let f be k/3 + 31/3. Solve 0*x = 2*x - f for x.
5
Let t = -12 + 19. Solve t*j - 3*j - 20 = 0 for j.
5
Let w be (-1)/((-4)/(8 + 0)). Solve 3*k = -w*k for k.
0
Suppose 0 = 8*v - 12*v + 8. Let o = -1 + 0. Let n(q) = -q**3 - q**2. Let k be n(o). Solve k = 2*z + v*z - 12 for z.
3
Suppose 2*j + 280 = -3*j. Let o = -37 - j. Solve 4*h = -o - 1 for h.
-5
Let h(v) = v - 1. Let d be h(3). Solve -d*m = -m for m.
0
Let l be 12/9*(1 - (-2 - 12)). Solve -l = 24*k - 20*k for k.
-5
Let d = 8 - 6. Let u be d/(4/12 - 0). Solve -2*j + 0 = u for j.
-3
Suppose 7*z - 24 = 3*z. Solve 4 = 5*i - z for i.
2
Let u(a) be the second derivative of a**3/6 - 2*a. Let t be u(3). Let f = -9 + 29. Solve d = -t*d + f for d.
5
Let c be (-1 - -1) + -1 - -5. Solve -c*o + 13 = -7 for o.
5
Let t(p) = -35*p + 3. Let v be t(2). Let x = -47 - v. Solve 3*o - x = -o for o.
5
Suppose w + 29 = 5*z - 3*w, 0 = -3*z + 5*w + 7. Let t = -1 - -4. Suppose 4*a + t*l = a, 0 = 4*a + l - z. Solve 0 = a*h - 2*h + 1 for h.
-1
Let y(p) = p + 4. Suppose i + i = -14. Let d be y(i). Let m = 11 + d. Solve -o - 3*o = m for o.
-2
Suppose -3*s = -2*p + 10 + 9, -4*p = 3*s + 7. Suppose -4*h = -p*h. Solve 0 = -r + 2 - h for r.
2
Suppose -5*a = -5*r + 35, 0*r - 2*r - 4*a + 2 = 0. Let g = -1 + r. Solve -g*t + 6*t = 0 for t.
0
Suppose 21 = -0*v + 5*v + 2*a, -4*v + 2*a = -6. Solve 0 = 3*u + v + 12 for u.
-5
Let y(a) = 4*a + 6. Let m be y(-4). Let x be (-96)/m + (-8)/(-20). Let q = x + 5. Solve 5*f = q - 5 for f.
2
Let u(i) = -2*i + 18. Let a be u(7). Solve -6*s = -5*s + a for s.
-4
Let m = -6 + 11. Solve 0 = m*b + 11 + 9 for b.
-4
Let w(r) = -r**3 + 7*r**2 + r - 3. Suppose -12 = -n - 5. Let f be w(n). Solve b + f*b = 0 for b.
0
Let t = 20 + -28. Let u be 36/2*t/(-12). Solve -3*z - u = -0*z for z.
-4
Suppose 0 = 5*l + w + 51, -4*w + 0 - 34 = 3*l. Let a be 48/5 + (-4)/l. Solve 0 = 4*i - 9*i + a for i.
2
Suppose 4*j - 21 = -3*j. Solve -7 = 2*d + j for d.
-5
Let q be (-8)/(-10)*25/2. Solve g = -4*g + q for g.
2
Let v = -117 - -132. Solve 0 = 3*x + 3 - v for x.
4
Suppose 3*k + 6 = 6*k. Let n = 2 - k. Suppose 2*f = 5*f - 3. Solve f = r - n for r.
1
Suppose 2*u = -4*u - 54. Let z be 18/(-4)*4/u. Solve -5 = -z*c + 3*c for c.
-5
Suppose -6*f + 6 = -3*f. Solve -l - f*l = 0 for l.
0
Let u(h) = h**3 + 16*h**2 - 2*h - 24. Let i be u(-16). Solve -i + 0 = 4*o for o.
-2
Let c = 4 + -2. Suppose -c*o + 6*o = 8. Solve o*i - 4*i = 6 for i.
-3
Suppose -3*v - 2*v - w - 30 = 0, -4*w + 6 = -v. Let m(n) = -n - 2. Let b be m(v). Solve -15 = b*g + g for g.
-3
Suppose 5*y - 4*j = j + 30, 5*y + 4*j - 12 = 0. Solve 3*k - 7 = -y for k.
1
Let z be 1 + 7 + 2 + 0 + -2. Solve -z*b + 4*b = 20 for b.
-5
Suppose 6 = 3*u + 3*y, 0*y + 4 = u - y. Let t = 3 - -1. Let l = 6 - t. Solve l*v = -u + 1 for v.
-1
Let q be (-6 + 3)*(-22)/(-6). Let b = -6 - q. Suppose 3*t + 30 = 30. Solve 2*d - b*d = t for d.
0
Let t(q) = -q**3 - 6*q**2 + 8*q - 8. Let f be t(-7). Let g = f + 21. Solve l + l - g = 0 for l.
3
Let z = -35 - -56. Let v = z - 12. Suppose 2*g = -5*f + v, -2*f + g + 2*g = -15. Solve -5 = -4*o + f for o.
2
Let q(b) = -2*b - 4. Let w be q(-10). Suppose 1 = -3*t + w. Solve -8 = t*h - 3 for h.
-1
Let o = -23 + 24. Suppose -2 = -b + 7. Suppose 2*p = 4*y - o + b, 6 = -3*y. Solve 3*s - 4*s - 2 = p for s.
-2
Let x(s) = s. Let f be x(5). Let c = f - 3. Solve -u = -c*u + 2 for u.
2
Let o(f) = f**2 - f - 6. Let d be o(4). Solve -2 = y - d for y.
4
Suppose -2 = 2*j + 2*j - 5*s, -2*s + 4 = 0. Suppose 0 = -r + 5*l + 21, -19 = -r + l + j*l. Solve -3*n = r - 4 for n.
-4
Suppose 9*w = 9 + 18. Solve -2*i = -w*i - 2 for i.
-2
Let i(c) = -c**3 + 2*c - 1. Suppose -a + r + 6 = 0, 26 = a - 4*r - r. Let o be i(a). Suppose 3*j + 4 = -2*v, -4*j - v - 2 = -5. Solve -l + o = j for l.
-2
Let b(u) = u**3 + 9*u**2 + 8*u. Let m be b(-8). Suppose m = -4*q + 5*q. Solve -3*a + 8*a = q for a.
0
Let y(w) = -19*w - 1. Let s be y(1). Let k = 24 + s. Solve 3*m = m - k for m.
-2
Let g(d) = -6*d**3 - d**2 - d - 1. Let k be g(-1). Solve k + 5 = 5*x for x.
2
Let a(h) = -h - 1. Let r be a(-1). Let d be (-26)/(-7) - 24/(-84). Suppose -b - 4*t - 19 = r, b + d = -0*b - t. Solve 2*g - 1 = b for g.
1
Let z = -10 + 14. Solve -5*j - 1 - z = 0 for j.
-1
Let w = 103 - 98. Suppose -4*g - 5 = 3. Let n = 2 + g. Solve 4*q + w + 11 = n for q.
-4
Let r = -3 - -6. Suppose -r*c - 6 = -5*