 63, 5*o + 0 = 5. Suppose -5*l + 4*b - c = 0, 2*b + 5 + 19 = -2*l. Let j = l + 14. Solve 2*k = j*k + 12 for k.
-4
Let u(r) be the second derivative of -r**4/24 + r**3/6 + r**2 + 2*r. Let o(l) be the first derivative of u(l). Let i be o(1). Solve 2*m + 3*m - 25 = i for m.
5
Suppose -2*y - 4 = 4*x + y, -y = -3*x + 10. Solve 0 = -x*c + 5 - 3 for c.
1
Suppose 4*v + 12 = -n, -20 = 3*v + 5*n + 6. Let u be (-5)/v*12/15. Suppose u = d - 0. Solve -3 = d*y + 3 for y.
-3
Let v = -5 + 5. Solve v = 5*i - 0*i for i.
0
Suppose 25*z = 26*z - 2. Solve s = z*s + 5 for s.
-5
Let g be (1 - (2 + 0))*-2. Let d(r) = r**g - 4*r**2 + 4*r**2 + 3 + 1. Let l be d(0). Solve -3*x + l = -x for x.
2
Let l be (7/(-21))/(2/(-72)). Solve 0 = -3*j + 3 - l for j.
-3
Suppose -4*d + 4*n - 2*n + 18 = 0, -5*n - 20 = -5*d. Suppose 2*g + 0 = -4, -2*s + 22 = -d*g. Suppose 15*i = 20*i. Solve -s = -i*c - 2*c for c.
3
Suppose 0 = 3*p + p. Suppose p = 3*z + 2 + 4. Let i = -2 - z. Solve i = -4*j - 0*j for j.
0
Let b(m) = -1 - 3*m + m**3 + 4*m**2 + 2*m + 2. Let h be b(-4). Suppose -h*w - 4 = -19. Solve 0*s + s - w = 0 for s.
3
Suppose a - 56 = -6*a. Solve 4*j = -12 - a for j.
-5
Suppose 0 = 2*o - 4*o + 26. Let v(b) = b**3 + 6*b**2 + 4*b. Let c be v(-5). Suppose -c*u = 5, 3*k - 2 - o = 3*u. Solve -f - 1 + k = 0 for f.
3
Suppose 0 = -11*l + 21 + 34. Solve -6 = -l*y + 9 for y.
3
Let d = -20 + 12. Let g = d + 10. Solve 0 = 5*p - g - 3 for p.
1
Suppose 3*t + 4*c = 22, 6*t - 4*c - 26 = t. Suppose 0 = -4*y + 2*p + 20, -3*y - t*p = -2*p + 7. Solve 0*l = y*l - 3 for l.
1
Suppose 5*j + 16 - 16 = 0. Solve 4*g - g = j for g.
0
Let m(f) = -2*f**2 - 11*f - 3. Let l be m(-5). Solve l*i - 10 = -4 for i.
3
Let b be 5 - 6 - -1*2. Let g be (b - -4)*(-3)/(-3). Solve 0*y + g = -y for y.
-5
Let k be (1 - 19)/(-1 - 1). Suppose -2*a = 2*l + 3*l - k, 4*a - 7 = l. Let v(f) = 7*f**2 - f. Let u be v(l). Solve 2*r + u - 14 = 0 for r.
4
Suppose 32 = -3*v - 5*i, -2*v + 0*v - 3*i - 22 = 0. Let a(o) = -o**2 - 14*o + 1. Let l be a(v). Solve -3*t + 16 = l for t.
5
Suppose 2*y = 4 - 0. Suppose y*t - 5*t = 0. Suppose t = -f + 2*f - 6. Solve d = f*d - 5 for d.
1
Suppose 4*l = 2*d - 59 + 5, 0 = -d + 5*l + 15. Solve 5*n + d - 10 = 0 for n.
-5
Suppose 5*k + 0*k - 10 = -3*g, -4*k + 8 = -4*g. Solve 5 = p + k for p.
3
Suppose 24 = -2*p - 2*p. Let c be p/(-15) + 6/(-15). Solve v + 4 - 2 = c for v.
-2
Let y = -3 + 3. Let d(z) = z**3 + z**2 - 2*z. Let m be d(2). Let p be 4/18 + 25/9. Solve -m*r + p*r = y for r.
0
Suppose -3*y + 12 = 0, 0*d - 5*y = d - 26. Suppose 3*b - 9 = d. Suppose b*z - 21 = -1. Solve -4*g + 8*g - z = 0 for g.
1
Suppose 7 = q - 5*t, -5*q = 3*t - 6 - 1. Solve -3*d - 3 = -q*d for d.
-3
Suppose -2 = -5*p + 118. Suppose 2*c + 32 = 3*j + 12, -5*c - p = -j. Solve 8*h - 4 = j*h for h.
1
Suppose -5*a = -1 + 16. Let b = a + 8. Solve 0 = b*r - 21 + 1 for r.
4
Let y(x) = -x**2 + 6*x + 2. Let m be 26/4 + 1/(-2). Let t be y(m). Solve -t = -0*h - 2*h for h.
1
Suppose 3 = p - a, -2*p + 2 + 0 = -4*a. Suppose -p*d - 3*h = 4, d + 0 + 2 = -h. Let i = d + 10. Solve -4*v + 31 - i = 0 for v.
5
Suppose -9*a - 70 = -2*a. Let s(o) = -o**3 + 6*o**2 - 6*o. Let k be s(5). Let y be 6/a*(k + 0). Solve i = -0 + y for i.
3
Suppose -c = 3*c - 16. Solve -c*m = -2*m for m.
0
Let i(o) = -6*o - 10. Let g be i(-4). Solve -g = 5*h + 11 for h.
-5
Let u be ((-1)/3)/((-2)/18). Suppose 9 = -0*q + u*q. Solve q*p = 3 + 6 for p.
3
Let r(w) = 1 + 0*w - 1 + w. Let x be r(4). Solve 0*a = a + x for a.
-4
Let m = -4 - -4. Let a = -54 - -58. Suppose -1 = -c + 3. Solve -c*y + a - 16 = m for y.
-3
Suppose 2*m = 8, 3*f - m = 4*m + 16. Suppose 2*x - f = -2*x. Solve x*t + 1 = -2 for t.
-1
Suppose 0 = -8*x + 4*x + 12. Solve -5*y = -x*y + 6 for y.
-3
Let l = 1 - -5. Suppose l*y = y + 20. Let w be (y/12)/((-1)/(-3)). Solve -j - w = 2 for j.
-3
Let d(l) = -3*l**3 + 8 - 11*l**2 + 2*l**3 + l - 2*l**2 + 5*l**2. Let y be d(-8). Solve y = -7*k + 3*k - 8 for k.
-2
Suppose -4*v + 62 = 2. Suppose -4*o + 2*i - 2 = 0, -2*i - i = -v. Solve w = -4 + o for w.
-2
Let w = 3 + -1. Let t = -1 - -2. Let x be (0 + -1 + 1)/t. Solve x = -w*f - 4 for f.
-2
Suppose -2*t - 17 = -5*n, 5*t = -0*t - 3*n + 4. Let j = t + 3. Solve -j*w = -6*w for w.
0
Let i(c) = -c**2 + c + 4. Let q be i(0). Suppose -3*x - 2 = -q*x. Solve -2 = -4*h + x for h.
1
Let p = -6 - -8. Let n(g) = 0*g - 5*g - p*g - g**2 + 0*g**2. Let b be n(-7). Solve b = -0*h + h for h.
0
Let x(t) be the third derivative of -t**5/60 - 5*t**4/12 - t**3/2 - t**2. Let o be x(-9). Solve v + 5 = o*v for v.
1
Let l(m) = m**2 - 23*m + 4. Let x be l(23). Solve 0 = x*f + f - 15 for f.
3
Suppose q - 4*b + 4 = -3*q, 5 = -2*q + 5*b. Let f = 4 - 8. Let l be f/(-10) + (-13)/(-5). Solve q = 4*n - n - l for n.
1
Suppose 12 = -v + j, -j - j = -v - 15. Let p = 12 + v. Solve -2*f = -p*f for f.
0
Let p = -2 - -8. Suppose 3*t + 3*l - 17 = 4*l, -t + 3*l + 11 = 0. Let n = -45 + 48. Solve -t*v + n*v + p = 0 for v.
3
Let s be (-6)/(-4)*(-10)/(-15). Let j be -4 - (-3 - (s + -2)). Let d be 0*(0 - (-1)/j). Solve h + 3*h - 8 = d for h.
2
Let c(s) = -9*s. Let j be c(-1). Suppose -4*a + f + j + 11 = 0, 0 = -2*a + 2*f + 16. Suppose 5*h - 70 = -0*h. Solve -2 + h = a*t for t.
3
Suppose -3*p - 4*a - 137 = -8*p, 0 = 3*p + a - 72. Suppose n + p = -5*l, -4*n = -3*l - 9 - 6. Solve n = -m - m - 6 for m.
-3
Let t = 5 + 9. Suppose -2*k + 2 - 23 = -5*n, 0 = 2*n + 2*k - t. Solve -n*c - 20 = -0*c for c.
-4
Let k(i) = -i - 4. Let y be k(0). Let a = -6 - y. Let h be (20/a)/(2/(-1)). Solve -d - h = 4*d for d.
-1
Let u be 154/13 - 42/(-273). Solve -u = -4*p - 0*p for p.
3
Suppose -3*m + 2 = -7. Solve 0 = u + m*u + 12 for u.
-3
Let g = -17 + 30. Let t = g + 7. Solve y = 6*y + t for y.
-4
Suppose -d - 6 = -4*d. Let b be 8/d - (-1 - -4). Solve -3*m = -2*m - b for m.
1
Let i(x) = 2*x - 5. Let t(m) = -m**2 + 6*m. Let r be t(5). Let s be i(r). Solve 0 = -s*j + 16 - 1 for j.
3
Let h = -3 - -8. Suppose 3*s = 4*n + 29, 0*n + 4*n + 5 = -h*s. Suppose -g + s = m - 0*m, 3*g - 5 = m. Solve 8 = g*j - 4*j for j.
-4
Let v = 47 + -66. Let n = 19 + v. Solve f + f = n for f.
0
Let i(o) = o**3 - 11*o**2 - 11. Let b be i(11). Let t be 3/1 + 11 + b. Solve -5*n - 13 + t = 0 for n.
-2
Let m(x) = 4*x**3 - 1. Let y be m(1). Solve y*u - 8*u = 20 for u.
-4
Suppose 2*n = -2*n + 8, 4*g - 5*n + 10 = 0. Solve -7*a + 2*a + 5 = g for a.
1
Let k(b) = b**3 + 12*b**2 - 13*b + 3. Suppose 0 = 3*x - l + 35, -x - 3*l = -2*l + 17. Let f be k(x). Solve 4*g = f*g - 4 for g.
-4
Let v(o) = -o**2 - 4*o + 11. Let l(f) = 3*f**2 + 12*f - 32. Let h(d) = -6*l(d) - 17*v(d). Let n be h(-5). Solve n = -2*b - b for b.
0
Let b(a) = -a. Let q be b(-5). Let l(d) = 2*d + 3. Let c be l(q). Suppose 4*x - h = 12, -5*h - 1 = 3*x + c. Solve -5*z + x*z = -6 for z.
2
Let a(z) = -z - 4. Let m be a(-4). Suppose m = -3*q + 2*q. Solve 0*f + 4*f = q for f.
0
Suppose -4*r + 41 = 17. Suppose -2*v + r = 2*z, -2*z - z + 9 = v. Let u be (-1 - z)*(-6)/4. Solve u*f = f - 5 for f.
-1
Let u be (4/10)/(7/105). Suppose -u*r + 3*r = -2*b + 6, -b + 4*r + 8 = 0. Suppose b = 4*k + k. Solve k = 2*z - 6 - 2 for z.
4
Let g(u) = u**3 + u**2 - u + 1. Suppose l - 1 + 0 = z, 2 = -4*l + z. Let d(o) = -o**2 - 2*o - 1. Let a be d(l). Let n be g(a). Solve f = -n + 4 for f.
3
Suppose -4*z = -35 + 11. Let u(f) = -f**3 + 6*f**2 + f. Let q be u(z). Suppose -4*d = -6 - q. Solve 3*g - 6*g = -d for g.
1
Let d(z) = z**2 + 4*z + 4. Let w be d(-3). Solve -1 = a + w for a.
-2
Suppose 0 = -4*o - 0*o + 8. Let h = -7 - -10. Suppose -4*b = -5*b + h. Solve b*t = o*t for t.
0
Let n = 5 + -4. Let v = n - -1. Suppose v*p - 6 = 2*g, 0 = -3*p - 0*g - 2*g + 14. Solve -p*k = k for k.
0
Suppose -5*v + 0*v + 7 = -3*u, -v - u + 3 = 0. Suppose -f = v*f. Solve g + g - 6 = f for g.
3
Let y = 16 - 13. Solve b = -0*b + y for b.
3
Suppose -g - 8 + 13 = 0. Solve g*h - 5 = 5 for h.
2
Let j(h) = -10*h**2 + 6*h - 5. Let o(y) = 9*y**2 - 5*y + 4. Let p(g) = 4*j(g) + 5*o(g). Let a be p(1). Solve a*s = 1 - 9 for s.
-2
Suppose o - 8 = -u, o + u + u = 13. Suppose 2*f = -o*f. Solve -s + 3*s + 2 = f for s.
-1
Suppose -s + 28 = s. Suppose 0 = 5*h + 3*z - 36 + 2544, 0 = -5*h - 4*z - 2504. Let y be (-4)/s + h/(-49). Solve -y = 4*c - 2*c for c.
-5
Let j(w) = 1 - 7*w - 12*w + 22*w. Let i be j(3). Solve -4*s - i = 10 for s.
-5
Suppose 3*