se -l = 0, 3*l - 2*l = -3*p. Solve 4*u + u + a = p for u.
-4
Let z be (-3 - -2) + 1*4. Suppose -z*m + 2*q = -10 - 0, -4*q + 46 = 5*m. Suppose 5*l + 2*r - 3 = 0, 3*l - 2*r = m - 1. Solve -9 = -2*d - l for d.
4
Suppose -w = 4*u - 0 + 4, 0 = 4*w + 2*u - 40. Solve j - w = 4*j for j.
-4
Let h(i) = -i**3 - 11*i**2 - 25*i + 1. Let t be h(-8). Solve 4*k - 20 = t*k for k.
-4
Let u be -3 - (0 - (-3 + 1)). Let p = u - -7. Suppose 0 = 3*b + p*b - 80. Solve -b - 4 = -4*v for v.
5
Suppose -8*x = -3*x. Solve -2 = -x*t + t for t.
-2
Let c = 0 + 3. Let i = -3 + c. Solve i = 6*y - 2*y + 16 for y.
-4
Let j = -3 - -13. Suppose 2*t = -2*i + 6*i + 20, t - 6 = -2*i. Let m = t + -3. Solve -m*l = -0 + j for l.
-2
Let s(w) = -w**3 - w**2 - 2. Let v be s(-3). Suppose a - v = -3*a. Solve 0 = 2*y - 6 + a for y.
1
Let n = 19 + -13. Let b = -714 - -716. Solve b*f - n*f = 8 for f.
-2
Suppose -4*c + 14 = -6*c. Let s = 11 + c. Solve 6 = h - s*h for h.
-2
Let t(l) = -l**3 + 4*l**2 + 3*l - 3. Let y be t(4). Let d be 1/(-3) - (-39)/y. Let j = -2 + d. Solve 0 = -2*q - j*q + 16 for q.
4
Suppose 3 - 30 = -2*j + 5*u, -5*u = 4*j + 21. Let c(y) = -j + y**3 - 2*y**3 + 8 + 5*y**2 + 0*y**3 - y. Let v be c(5). Solve 0*x - 2 = v*x for x.
-1
Let t = -13 + 7. Let u(m) = -m**2 - 7*m - 4. Let w be u(t). Solve -k + w = k for k.
1
Let c(k) be the third derivative of -k**5/60 - k**4/4 - 2*k**3/3 - k**2. Let q be c(-5). Solve -q = j - 0 for j.
-1
Suppose -9*k + 5*k = -40. Solve 5*x = k - 0 for x.
2
Suppose 4*f = 3*p + 26, -f + 7 = p - 3. Solve 1 = -3*m - f for m.
-3
Let p be ((-12)/(-9))/((-3)/(-3 - 6)). Solve -p = 4*m - 2*m for m.
-2
Suppose 0 = -l - 4*l + 5*h + 70, 4*l - 96 = -4*h. Let b be l + (-5 - -2) + 0. Let o be 4/3 + b/24. Solve -o*m + 3 = m for m.
1
Suppose -o - 2*o - 2*k = -16, 5*k - 35 = -5*o. Suppose -2*b + 32 = o*b. Suppose -p = -b + 4. Solve -p*l = l for l.
0
Suppose -4*h - h = 0. Suppose -2*n = -h*n. Suppose 0 = -3*s + 2*s + 9. Solve n = -s*f + 4*f - 10 for f.
-2
Let q = -7 - -11. Let b = 34 + -29. Solve 1 = b*d - q for d.
1
Suppose c = -4 + 6. Let a be 5/10 - (-3)/c. Solve 3*j = j + a for j.
1
Suppose 3*x - i = 3*i + 6, -4*x = 4*i - 36. Let w(b) = -b**3 + 5*b**2 - 3*b + 17. Let j be w(5). Suppose 0 = -3*f - 0*f. Solve f = h + x - j for h.
-4
Let v(y) = -11*y**2 + 2*y - 1. Let f be (2 + (-3)/3)/1. Let m be v(f). Let b be (-2)/(12/m - -1). Solve -b + 2 = -2*z for z.
4
Let f = 63 + -62. Solve -2*k + f = 3 for k.
-1
Suppose -o + 10*h - 5*h - 13 = 0, -5*o = -3*h + 65. Let d = -10 - o. Solve -3*q + 0 = -d for q.
1
Let y = 10 - 7. Suppose -y*k + 4 = -5. Solve 0 = k*x - 2 - 4 for x.
2
Let k(m) = m**2 + 25. Let u be k(0). Solve 0 = q + 4*q - u for q.
5
Let t(c) be the first derivative of c**4/4 - 2*c**3 + 9*c**2/2 - 4*c + 5. Let x be t(4). Solve 4 = 2*o - x for o.
2
Suppose -18 = -3*j - 3*m, 5*j = 2*m - 0 - 5. Solve 2*r + j - 5 = 0 for r.
2
Suppose 5*x - 13 - 9 = -2*a, -15 = -5*x + 5*a. Let o be 8/(x/(-6) + 0). Let j be (-1 + o/(-9))*0. Solve j*v = -v for v.
0
Suppose 0 = 4*u - 5 - 3. Suppose -u*r + 3 = -1. Solve r*k = k + 4 for k.
4
Let h = -6 - -6. Let o = 5 + h. Suppose -45 = -o*v - f, 5*v - 4*f - 25 = -f. Solve -7 = -3*a + v for a.
5
Let q be (-2 - 5/(-3))/((-2)/30). Solve q*g + 4 = 4*g for g.
-4
Suppose 0 = 4*p - 14 - 130. Let l be (-39)/(-4) - (-9)/p. Solve 0*d = -5*d + l for d.
2
Let d = -11 - -15. Solve -m = -d + 1 for m.
3
Suppose 2*v = -5*c + 4, 4*c = -c + 3*v - 6. Suppose -2*g + 3 = -3*r - 6, c = 4*g - 4*r - 16. Let w be 2*(1/(-6) + (-26)/(-12)). Solve -8 = -g*u + w for u.
4
Suppose 0 = -3*r + 3, -4*g - 2*r = -4*r + 102. Let j be 10/g + (-44)/(-10). Suppose 0 = 3*z - 8 - j. Solve l = z*l for l.
0
Suppose 10 = 4*m + m. Let j be 6*(5 - m)/6. Suppose 0 = n - j*n. Solve -5*v + 25 = -n for v.
5
Let c(f) = f**2 - 7*f - 2. Let w be c(8). Let y be (-5 + 4)*1*-4. Suppose -4*s + y + 4 = 0. Solve s*q - 5*q = -w for q.
2
Let x = -39 + 43. Solve -3*o - o + x = 0 for o.
1
Let n = -29 + 32. Solve n = 5*d + 13 for d.
-2
Suppose -5*q + 25 = -5*f, 4*f + 22 = 3*q + 4. Solve -q*d - 4 = -10 for d.
3
Let w = 15 - 6. Let p = w - 4. Let b be (-1 - 51/(-15))*p. Solve 32 - b = 5*q for q.
4
Let k(f) = -f**2 - 8*f - 7. Let h be k(-6). Solve 0 = h*o + 8 + 7 for o.
-3
Let h(l) = l**3 - 3*l. Let o be h(3). Suppose -4*p + o = 2. Let k be p/6 - (-38)/6. Solve -5*i - k = 3 for i.
-2
Suppose 3*u - 2*f - 25 = -2*u, 35 = 5*u - 4*f. Suppose -2*d - u*p = -5*d + 57, 57 = 3*d + 3*p. Solve d = 5*v - 6 for v.
5
Suppose -2*l - 4 = 5*s - 10, -2 = 2*l + s. Let k be (l/4)/(2/(-16)). Solve -p = -k*p for p.
0
Let b be ((-2)/3)/((-2)/(-9)). Let n = b + 5. Let m = 4 + n. Solve -3*x + m*x + 15 = 0 for x.
-5
Let s be (-42)/(-9) - (-2 - 8/(-3)). Solve -s = -m - 0*m for m.
4
Suppose 0 = -h - 4*d + 1, -3*h + 19 = 3*d - 7*d. Suppose -h = 3*o - 2*g - 18, g + 19 = 4*o. Suppose -q - 4*q = -10. Solve q*u + 1 = -o for u.
-3
Let t(z) = -z**3 + 7*z**2 - 4*z - 3. Let o be t(6). Let n = o + -9. Solve -a = -n*a + 3 for a.
-3
Let g(h) = h**2 + h + 6. Suppose 0*k = -k. Let u be g(k). Suppose 8*o - 3*o = 10. Solve -o*m + 4*m = u for m.
3
Let w be (1 + 1)/(2/2). Solve -w*y + 4*y = -6 for y.
-3
Let k be -2*2/4 + 4 + -1. Solve 0 = -2*s + 8 + k for s.
5
Let t(w) = w**2 - 7*w + 8. Let h be t(6). Let x = h + 3. Solve 0 = k - x*k + 4 for k.
1
Let g(p) be the first derivative of p**3 + 4. Let c be g(1). Solve c*a = a + 8 for a.
4
Let m be 2 + (-2)/(-2)*-1. Let p = m - -4. Solve -2*v + 3*v + p = 0 for v.
-5
Suppose 1 = 3*t - 8. Let k = t + 1. Solve 0 = k*z + z + 15 for z.
-3
Suppose -11 + 2 = -a + v, v + 27 = 4*a. Solve -a*u + 15 = -3*u for u.
5
Suppose -18 = -5*m - 48. Let n be ((-2)/3)/((-4)/m). Let a be (-1)/(-2)*(13 + n). Solve f - 1 = -a for f.
-5
Suppose -3*x - 9 = 0, 0 = 6*l - 7*l + 5*x + 17. Solve -4 - 6 = -l*c for c.
5
Let f(n) = n - 3. Let y be f(0). Let s = -3 - y. Solve s*j - 3*j = 6 for j.
-2
Suppose -2*q - 4*z + 2 = 0, -5*z - 9 = -3*q - 28. Let y = -1 - q. Suppose 2*d = -y + 6. Solve 3*x - 2 = d*x for x.
2
Suppose 0*t - t = -5. Let k = 8 - t. Suppose 2*n + 1 = -5*z, 5*n - 4 - 9 = k*z. Solve 3*o + 3 = n*o for o.
-3
Suppose 0*n = 4*n + y - 15, 0 = -n + 4*y + 8. Let d be (14/n)/(4/8). Solve -3*m = -d*m for m.
0
Let b(x) = x**3 + 8*x**2 + 13*x + 7. Let s be b(-6). Solve o + 5 = s for o.
-4
Let c(i) = -3*i. Let k be c(-4). Let h(w) = w - 10. Let d be h(k). Suppose 38 = 3*g + 8. Solve d*n = -3*n - g for n.
-2
Let o(m) = m**3 + m**2 + m + 3. Let b be o(0). Suppose v - 33 = -3*h, -3*h = -0*h + 5*v - 45. Suppose -h - b = -y. Solve 3 = -4*w - y for w.
-4
Let l = -11 - -25. Let n = l - 10. Solve 0 = -n*a - a + 20 for a.
4
Let u(t) = 6*t**3 - 6*t**2 + t - 6. Let a(i) = -i**3 + i**2 + 1. Let h(b) = 5*a(b) + u(b). Let o be h(1). Suppose o*d + 6 = 3*d. Solve d = m + m for m.
1
Let f(l) = -l**3 + 5*l**2 + l + 8. Let x be f(5). Let o = 16 - x. Let d(w) = w**3 - 6*w**2 + 2*w - 2. Let n be d(6). Solve 0 = r - o*r + n for r.
5
Let u(p) = -8*p**3 + 2*p**2 - 3*p - 3. Let i be u(-2). Suppose -5*g + i = 15. Solve -7*c + 3*c = g for c.
-3
Let r = 12 + -6. Solve 0 = r*p - p - 10 for p.
2
Suppose -2*j + 1 = v - 2*v, 0 = -4*j - 4*v + 8. Solve -3*u - j = -13 for u.
4
Let y = 136 - 132. Solve 0 = -y*q + 7 + 13 for q.
5
Suppose -5*f + 10*f - 100 = 0. Solve 0 = x - 6*x - f for x.
-4
Suppose -4*s + 4*c + 20 = 0, c = -5*s - 0*c + 7. Let g = 77 - 74. Solve s*i + 2 = g*i for i.
2
Let y(q) be the third derivative of q**4/8 - 5*q**3/3 - 6*q**2. Let w be y(6). Solve -5*g + w = -g for g.
2
Suppose -21 = -3*p - 3*i, 3*i = 2 + 10. Solve -p*a - 2 = -8 for a.
2
Suppose -11 = -6*v + 13. Solve v*z + 0*z = 4 for z.
1
Let j be 0*(0 + 2/(-4)). Suppose m + 2*m = 0. Suppose 0 = -3*r + r + 4*h - 10, m = r + 5*h - 30. Solve j*a = r*a + 20 for a.
-4
Suppose 0 = -2*l - 2*o, -l - 5 = -o - 3*o. Let x be 1 + -1 + 0/l. Solve 3*j + x*j = -9 for j.
-3
Let s(p) = -p + 1. Let d(i) = -2*i + 6. Let b(j) = 2*d(j) - 6*s(j). Let y be b(-3). Solve g + 0*g = y for g.
0
Let c be 10 + 0 + (2 + -3)*3. Let h be 12/7 + (-4)/(-14). Let l be (-3)/6*-1*0. Solve l = -5*m - c + h for m.
-1
Let u(d) = d**2 - d + 16. Let f be u(0). Solve f = -4*m - 0 for m.
-4
Let y(o) = o - 1. Let n be y(6). Suppose n*h - 20 = -0*h. Solve -2*j = h - 12 for j.
4
Suppose -2*s + 5*r - 20 = 0, -3*r + 16 = -3*s + 4. Let g = -6 - -11. Solve