-3
Let d(v) = v**2 - 5*v - 6. Let q be d(6). Let a(m) = -m**2 + m + 2. Let l be a(q). Let b = 0 + 0. Solve -t - l = -b*t for t.
-2
Suppose -y - 4*p = 8, 2*y = -2*p - 3*p - 16. Let b = -3 - y. Solve -6*s - b = -s for s.
-1
Suppose 0*g = -2*g - 4. Let z = g + 8. Solve 0 = z*i - i + 15 for i.
-3
Let a be 5*(1 + 2)/3. Suppose -p = 3*f + 3*p - 9, -15 = -a*f - 2*p. Solve 0 = -f*x - x for x.
0
Let u be (1/(-3))/((-5)/(0 - -45)). Solve -8 = -r - u*r for r.
2
Suppose 0 = 4*b - 5*m - 20, 2*m + 5 = -3*b - 3. Suppose -7*o = -2*o - 25. Suppose -x + o*x = b. Solve z + z + 4 = x for z.
-2
Suppose -3 = p, 5*i - 1 = -p + 1. Let l = i + -1. Suppose d + 4*u - 14 = l, 2*d + 14 = 3*d - 4*u. Solve 2*o + 4 = d for o.
5
Suppose -q = -3*q + 8. Let n be 12 + (1 - -1 - q). Solve b + b - n = 0 for b.
5
Let c(j) be the second derivative of j**4/12 + 2*j**3/3 - 5*j**2/2 - 2*j. Let s be c(-4). Let r = s - -11. Solve r*i - i = 5 for i.
1
Suppose -4*p - 5*n + 1 = -6*p, -5*n + 11 = 3*p. Suppose 0*w + 11 = 3*d - 2*w, d + w = p. Suppose 8*q - 37 = -5*j + 5*q, 4 = j + 4*q. Solve -d*a - j = a for a.
-2
Let z(m) = m + 13. Let o be z(0). Suppose 4*l - 3*g = 2*g - o, 4*g + 6 = -5*l. Let w be (-20)/8*16/l. Solve 4*n + w + 0 = 0 for n.
-5
Let s(k) be the third derivative of -k**4/24 - k**3 - 3*k**2. Let v be s(-11). Solve -3 - 12 = v*l for l.
-3
Suppose 9 = 3*g - 12. Suppose -5*q + 8 + g = l, 2*l = -3*q + 16. Suppose 6 = -36*c + 33*c, 2*p = 2*c + 4. Solve p = 2*m + q*m for m.
0
Suppose 3*u + y - 9 = -y, -4*u + 12 = -y. Solve 0 = -5*l + u*l + 10 for l.
5
Let m(y) be the first derivative of y**3/3 + 5*y**2 + 11*y + 1. Suppose v = 4 - 13. Let a be m(v). Solve 3*w - 5 = -a for w.
1
Let j be 8/6 + (-2)/6. Solve -x + j = -0*x for x.
1
Suppose 4*g - 2*x = -2, -g + 2 + 10 = 2*x. Solve -u = -g*u for u.
0
Let z = 43 + -37. Solve 2*d - z*d = -16 for d.
4
Let h(j) = 2*j**3 + 6*j**2 - 3*j + 4. Let s(y) = 3*y**3 + 6*y**2 - 3*y + 5. Let l(r) = 4*h(r) - 3*s(r). Let k be l(4). Solve 1 = -5*z + k for z.
4
Suppose -6*p + 3*p = 0. Suppose 3*b - 20 = -2*z - b, -2*b = 2*z - 14. Suppose -z*n + 2 = -3*n. Solve d + p = -n for d.
-2
Let h(d) = d**2 + 6*d + 5. Let s be h(-6). Suppose w + 0*m - 3*m = 16, s*m = -5*w + 40. Solve 0 = 3*n - n - w for n.
5
Suppose 9 = -2*v - 3. Let y be ((-20)/v)/((-1)/(-6)). Let h be 6/(-2) + (y - 2). Solve 0*m + h = 5*m for m.
3
Let f be (-2 - 81/(-3)) + 3. Suppose 4*a + 0*a + 2*b = f, 5*a + 5*b = 45. Suppose -3*j - a = -8. Solve 5*l - j - 4 = 0 for l.
1
Let d(z) = 4*z - 4. Let b be d(2). Solve -b = 2*h - 0 for h.
-2
Suppose -26 = 3*d + 1. Let p be (6/d)/((-2)/72). Suppose -p = -3*x - 0*x. Solve 2*v = -0 + x for v.
4
Let a(y) = -5 + 2*y + 2*y - 2*y. Let f be a(6). Solve 0 = t - f + 2 for t.
5
Let d(i) = -i**3 - 8*i**2 - 7*i + 3. Suppose 2*y - 6 = 2*n - 6*n, 0 = -2*n + 2*y + 12. Suppose -4*x - 7 = -n*x. Let t be d(x). Solve 4 = t*w - 5 for w.
3
Suppose -2*b = 3*b - 25, -5*g = -b - 10. Solve -12 = -3*t - g for t.
3
Let m(g) = -g**2 - 7*g + 78. Let p be m(-13). Solve 2 = -p*k + k for k.
2
Let b(g) = -g**3 - 5*g**2 + 5*g - 3. Let i be b(-6). Solve i*d = d - 4 for d.
-2
Let p = 35 - 13. Let d = -19 + p. Solve -6*q = -d*q - 3 for q.
1
Let w = 33 - 13. Suppose -2*y - 2*y + w = 0. Suppose 2*g = -3*n + 11, -4*g - 8 + 33 = y*n. Solve s + s = g for s.
5
Let r = -21 - -16. Let o(g) = -g**2 - 6*g - 2. Let h be o(r). Solve 0 = h*x - 9 for x.
3
Let g be (8 - 2)/(6/3). Let k(c) = c**3 + 2*c**2 + c**3 - 3*c**3. Let a be k(2). Solve a*o = -o + g for o.
3
Let j be (-2)/(-4) - (-6)/4. Solve -j = l - 3*l for l.
1
Suppose -495 + 130 = 5*h. Let r be h/(-3) - 18/(-27). Solve 5*j - r = -0*j for j.
5
Let r = -116 - -120. Solve -4*x = -2*x - r for x.
2
Let q = -112 - -114. Solve q*r = 3*r for r.
0
Let r(n) = -n**3 + n**2 + 2. Let m be r(2). Let z = m - -7. Suppose 5*v - 3 - 2 = 0. Solve -4*t = -z*t - v for t.
-1
Suppose 7 - 2 = s. Suppose -v = 3 - 7. Suppose -s*b + 6 = -v. Solve 3*z = b*z - 2 for z.
-2
Let i be ((-20)/(-6))/(4/6). Suppose 3*f = i*f - 8. Solve 0*s = s - f for s.
4
Suppose 0 = 4*b + 8*b - 36. Solve b*j + 3 = 15 for j.
4
Suppose -2*d = -2*k - 3*d + 9, -2*k + d = -11. Solve 0 = k*h - 0*h for h.
0
Suppose 2*k - k = 0. Suppose 3*g = -k*g + 69. Let m(o) = 2*o - 3. Let s be m(4). Solve s*v - g + 3 = 0 for v.
4
Let t be (9/12)/(-3 + (-49)/(-16)). Solve 5*m - t = 2*m for m.
4
Let l = 8 + -18. Let g be l/(-4) - 1/2. Solve -1 = n - g for n.
1
Suppose 0*j + j - 2*x = 37, -3*j + 3*x = -102. Suppose 5*i = 4*o - j, i = -5*o - 3*i + 8. Solve -o*t = -2*t + 2 for t.
-1
Let a(f) be the second derivative of f**5/20 + f**3/6 + f**2/2 - 3*f. Let n be a(0). Let q(o) = 8*o. Let t be q(n). Solve l + l = -t for l.
-4
Let l(n) = n**3 - 2*n**2 + n - 2. Let k be l(2). Let y(w) = -w**3 - 6*w**2 + 3. Let s be y(-6). Solve k = x - s for x.
3
Let l = 1 + -2. Suppose 5*p = -4*r - 1, 5*p - 2*r = 3*r - 10. Let i be (-1 - p)*l/2. Solve g = -i*g + 4 for g.
4
Suppose 12 = -5*f - 3. Let p(r) = -r**2 - 4*r + 1. Let g be p(f). Solve 0 = 2*a + g for a.
-2
Let m(w) = -2*w**2 - 10*w - 9. Let j be m(-6). Let q = j + 33. Solve 4*r = -0*r - q for r.
-3
Let c be 5 - 1*(0 + -1). Let a = -6 + c. Solve -4*s - s + 20 = a for s.
4
Let i = -20 + 21. Solve -5 = 2*x + i for x.
-3
Let j = -7 + 11. Suppose 10 = u - j*z + z, 0 = -2*u + 2*z + 12. Solve d - 3*d + u = 0 for d.
2
Let k(u) = u**2 - 1. Suppose 6 = -5*f - 4. Let x be k(f). Solve 7*b = x*b for b.
0
Let j be -8*2/(-2*1). Let f be 104/18 - j/(-36). Suppose 32 = -2*h + f*h. Solve -u + h = u for u.
4
Suppose -28 = 3*y + 5*b, 3*y - 7*b = -4*b + 12. Let r be y*(-3)/2*-4. Let c be r/(-4)*(-96)/(-9). Solve 4*o = 4 + c for o.
5
Suppose -8 - 6 = -2*h. Let j = 12 - h. Solve -i + j = 2 for i.
3
Let i(r) = r**2 - 11*r - 10. Let w be i(12). Let f = w - 2. Solve -3 = -t - f for t.
3
Suppose 4*g + 4 = 4*z, 0*g - 3 = -z + 2*g. Let y = 3 + z. Solve 2*h - 6 = y for h.
4
Suppose 2*f = -4*j - 8, -3*j - 2 - 4 = 4*f. Suppose -3*y + i + 4 = f, -2*y - 5*i + 40 = 3*y. Suppose 30 = 8*k - y*k. Solve k*u - 2*u = 0 for u.
0
Let k = -23 - -31. Solve j = -j - k for j.
-4
Let v be 1/2 + 14/4. Solve 2*j - 6 = v*j for j.
-3
Let j(w) = -2*w - 9. Let t be j(-5). Suppose -2*p + t = -1. Solve -6 = b - p for b.
-5
Suppose -10 = 5*k - 0*a - 5*a, -4 = 5*k - 2*a. Solve k*x + 2*x = -8 for x.
-4
Suppose 0 = 5*a + q - 21, 0 = -4*a + 2*q + 2*q + 12. Suppose -4*i = 2*s - s - 17, 12 = -a*s. Solve 2*l + 3 = i*l for l.
1
Let v(o) = 3*o. Let c be v(1). Let a = 180 + -165. Solve a - c = -3*z for z.
-4
Let s be (-1)/(2 - (-10)/(-4)). Solve 0*y - s = -y for y.
2
Suppose -1 + 10 = 3*d. Let o(n) = -4*n - 6. Let v be o(-2). Solve 0 = v*z + z - d for z.
1
Let s(i) = i**3 - 7*i**2 + 10. Let b be s(7). Suppose -x + 4*j = 3*j - 4, -j = -3*x + b. Solve 0 = x*g + 1 + 2 for g.
-1
Let h be 0/(-3 + 4 + -2). Solve c + 0*c + 2 = h for c.
-2
Suppose 2*t + 1 = -g, -t + 5*g + 17 = -5*t. Solve -1 = p - t for p.
1
Suppose -8*c = c - 18. Suppose 5 = t - 0*t. Suppose -4*z + 8*l + 105 = 3*l, -3*l = z - t. Solve -c*m = 3*m - z for m.
4
Suppose -6 = -l - 3. Let n be (0/l)/(4/2). Suppose 0 = -m + 6 - n. Solve 5*r - m = 4 for r.
2
Suppose -r + 3 = -4*j + 2, 2*j + 5 = 5*r. Suppose j*c = 3*c - 12. Solve -3*x = -c*x for x.
0
Let b = 46 + -34. Let g(n) be the third derivative of n**5/60 - n**4/6 + 2*n**2. Let v be g(4). Solve v*f - 3*f - b = 0 for f.
-4
Suppose -3*l + 18 = -3*v, -v + 3 = l - 3. Let p(a) = a**3 + 5*a - l*a**2 + 1 + 1 - 1. Let u be p(5). Solve u + 2 = -c for c.
-3
Let l = -10 - -10. Let w = 2 - l. Solve -w = -2*u + 4 for u.
3
Let d(g) = g + 1. Let x be d(1). Suppose 2*q + 6 = 0, 5*z - 8 = 3*z + x*q. Solve -z + 6 = a for a.
5
Suppose -5*g = -10*g, 4*g = q. Solve r + r = q for r.
0
Let n be (-1)/(-2) + 1/(-2). Suppose -2*w = -n*w - 4*q - 50, 2*q + 55 = 3*w. Suppose 9 + w = 3*f. Solve 5*o + 17 = -f for o.
-5
Let y = 73 + -68. Solve -y*m = -m for m.
0
Let n(h) be the second derivative of -h**3/3 - h**2 - h. Let b be n(-2). Solve b = 4*c + 6 for c.
-1
Let z(j) be the first derivative of -j**2/2 + 7*j - 2. Let p be z(0). Solve -3 = -5*q + p for q.
2
Suppose -5*f = 2*u - 4, 2*f - 1 = -2*u + 3. Suppose -2*s - 3*b = -9, 9 = 4*s - 5*b + u*b. Solve -4*o = -s*o + 1 for o.
-1
Suppose 3*v - 18 = -6*v. Solve -5*m = -3*m + v for m.
-1
Suppose c - 10 = -c. Let g = c + -2. S