Let j(f) = -f**2 - 12*f - 5. Let n be j(-11). Let k(a) = a**2 - 3*a - 8. Let l be k(5). Solve -5*t + l = 2*p, 24 = 2*t + p - n*p for t.
2
Let f be ((-8)/(-6))/((-8)/(-12)). Solve 3*b = 5*l - 3, b = -b - f for l.
0
Let q = -3 - -3. Let s = 18 + -16. Suppose 3*n = -l + 10, -3*n - s + 16 = 2*l. Solve -l*v + 6*d = 4*d + 12, -v - 5*d - 3 = q for v.
-3
Suppose 2*p = a + 3*a - 10, -4*p + 5 = -3*a. Let c be (5 - (6 + -2)) + -47. Let r = c + 48. Solve -a*s = -5*f - s - 20, 0 = -r*s for f.
-4
Suppose 4*t - 21 + 9 = 3*g, -8 = 2*t + 2*g. Solve t*p + p - 5 = -s, p - 7 = -2*s for s.
2
Suppose -10 = 2*m - 44. Suppose 0 = m*w - 22*w. Solve w*p + 2*p = j + 3, -8 = -4*j - 2*p for j.
1
Suppose 22 = 3*n - n. Let i be 7/1 - (-9 + n). Solve -4*r + 32 = -4*o, -2*r - 3*o + i = 14 for r.
3
Let a(i) = -i**2 - 22*i + 3. Let u be a(-22). Suppose 3*c = -u*c + 30. Solve -5*b + 25 = c*v, 15 = -3*v + 3*b + 6 for v.
1
Let p be (9/3)/(42/56). Solve 11 = 3*k - 2*k + 2*r, p*r + 13 = 5*k for k.
5
Let q = -15 - -21. Let j(d) = -d - 6 + 2*d + q. Let m be j(2). Solve w + m = -2*o, -7*o + 4*o - 1 = 2*w for o.
-3
Let u(n) = -n**3 - 19*n**2 - 7. Let a be u(-19). Let r = a - -10. Solve 4*d + 41 = -4*q - d, r*d + 31 = -4*q for q.
-4
Let c = -11 + 38. Let s = 39 - c. Solve -4*b = -4*p + 4, 3*p - 5*b + 3 = s for p.
-2
Suppose w = 2*r + 9 + 2, 5*r + 15 = 0. Solve -3*h + 7 = w*a + 4, -8 = 4*a + 5*h for a.
3
Suppose 0 = -3*v - 2*w - 2, 2*w + 2 = -v - v. Solve -2*m - 5*l - 16 = v, -l = 2*m - 0*l + 8 for m.
-3
Let p = 2205 - 2202. Solve 0 = -y - 3*a + 3, p*y = -2*a + 7 + 2 for y.
3
Let s = -22 - -38. Suppose 3*v + s = 7*v. Solve -b = 5*h + 26, -v*h - 23 = -2*b + h for b.
-1
Suppose -3*q + 0*f = -f - 7, -5*q + 7 = -4*f. Solve 0 = 2*u - 4*u - 2*h - 4, 0 = q*u - 4*h - 22 for u.
2
Suppose 3*r + 9 = 6*r. Suppose -x + 12 = -5*s, x + 2*x = -r*s. Let h be s*((-2)/(-4) - 2). Solve h*t - 5*t + 3*k + 3 = 0, k - 9 = 4*t for t.
-3
Let o(y) = y**3 - 28*y**2 + 4. Let u be -42*((-1)/3 - (-8)/(-24)). Let m be o(u). Solve 2*z = -4*v - 0*z - 10, m*v - 5*z + 31 = 0 for v.
-4
Suppose -5*y + 0*d - 4*d + 74 = 0, -12 = 3*d. Let f = y - 29. Let s = f - -14. Solve -s*x + 3 = -3*b, -12 = -2*x - 3*b - 0*b for x.
3
Let h(l) be the second derivative of l**4/12 + 4*l**3/3 + 4*l**2 - 38*l. Let f be h(-8). Solve 5*v = -3*q - 20 + f, -4*q - 16 = -2*v for q.
-4
Suppose 2*t - 3 - 5 = 0. Let d(u) be the second derivative of u**4/12 - 11*u**3/6 + 15*u**2 + 42*u. Let w be d(7). Solve b - t*g - g = -3, -3*b + 8 = w*g for b.
2
Let w be ((-890)/25 + -8)/(2/(-5)). Suppose 2*d = -2*d - 5*u + 117, -3*u = -4*d + w. Solve -4*l - d = 4*z, z = 2*z - 5*l - 11 for z.
-4
Suppose -6 = -6*j + 6. Solve -5*u - 24 = -j*r + 3*r, 5*r - 15 = 2*u for r.
1
Let y(k) = -k**3 - 6*k**2 + 6*k + 11. Let f be y(-6). Let z = f - -30. Solve 0 = -5*a + w - 28, z + 7 = 4*w for a.
-5
Suppose 0*n = -5*n + 90. Let k be (-11)/(-55) + (-62)/10. Let f = 11 + k. Solve -2*j - 2 + 24 = f*u, -2*j - 4*u = -n for j.
1
Suppose 9*m = m - 11*m. Solve -2*j - i - 2*i = 0, m = 2*j + 4*i for j.
0
Suppose 0 = 4*s + f + f + 4, -5*f = 3*s + 10. Suppose -y = -s*y + 50. Let u be (3 + y/15)*-9. Solve -2 = z - u*x, -5*z - 5*x - 29 = -x for z.
-5
Let y = -10 - -10. Let a(x) be the second derivative of x**5/20 + x**4/12 + x**3/3 + x**2 + 2*x. Let d be a(y). Solve 2*b = k + d - 1, k = b for b.
1
Suppose 0 = -17*l + 13*l + 24. Let x be (l - 7)/((-3)/9). Solve 2*v - 2 = -2*r, v + x*r - 4 + 3 = 0 for v.
1
Suppose 3*b + 4 = 2*j, b = -j + 3 + 4. Suppose -7*r - 7*r + 1918 = 0. Suppose -r*l + 2 = -135*l. Solve -2 - l = -q, 0 = -s + j*q - 10 for s.
5
Let q be (-3)/((-3)/1)*13. Suppose -4*x - 1 = -q. Let k(o) = -o + 17. Let i be k(-6). Solve -t + 4*p + 3 = 0, -x*t - 2*p = 2*p + i for t.
-5
Let x be ((-6)/15 + (-7)/35)*-5. Solve 2*p - x = 5*y, 0 = p + 2 - 1 for y.
-1
Suppose -q - 16 = -4*j + 3*q, -4*j + 32 = 4*q. Solve 2*s = 4*h + 2, j*s - 2*s = -4*h + 16 for h.
1
Let i be 16 + -14 - (-1 + -2). Solve 4 - 19 = 5*x - 5*m, -4*x = i*m + 12 for x.
-3
Suppose -9*v = -11*v - 8, -a - 2*v = 5. Solve c - 6*w + a*w = 2, w - 21 = -4*c for c.
5
Suppose -a = -5*r + 26, 30*a - 28*a = -2. Solve r*i - 9*z - 10 = -11*z, -i = 5*z + 21 for i.
4
Let s be 4*1 - 1/(-1). Let z be -1*50*4/(-8). Let x = -6 + z. Solve -3*u + 9 = s*r - 9, 5*r - x = -4*u for u.
1
Let w be (-72)/16*2 + 12. Solve -o - 5*b - 2 = 1, -o - 2*b = w for o.
-3
Suppose -x - 2*x + 21 = 0. Suppose -20 = 7*f - 3*f, -3*q - f = -x. Solve q*j - 5*h = 11, -2*h - 3 = -2*j + 3*h for j.
4
Let r be 14*(-6)/12 - -10. Solve 2*g + g = -4*w + 14, -w + 11 = -r*g for w.
5
Let h = -3 + 10. Let u be 2*2/(-10)*-10. Let g = h - u. Solve -g*t = -5*s - 29, 3*s = -0*t + t - 15 for s.
-4
Suppose -2*v - 16 = 2*v. Let r(x) = 2 + 3*x**2 + x + x**3 - 22*x - 6 + 15*x. Let j be r(v). Solve 4*u + 5*s = -45, -5*u - s + j*s = 10 for u.
-5
Let r(j) = -j + 13. Let k be r(11). Let b be 0/(12/(-3) + k). Solve b = 2*i - 5*o, -2*o = -5*i - 0*i for i.
0
Suppose -22 = -5*i + 2*n - 12, 4*i + 5*n - 8 = 0. Solve b + 5 + i = -4*m, -5*b = -m - 7 for m.
-2
Let n(m) = m**3 - 9*m**2 - 13*m + 35. Let j be -20*(-1 + 4)/(-6). Let p be n(j). Solve p*s + 6 = -5*d - 9, 4*d = -12 for s.
0
Let g = 104 - 102. Suppose -16 - g = -6*r. Solve 20 = 4*z + r*f, 2*f - 14 = -3*z - 0*f for z.
2
Suppose 0 = v + 10 - 13. Solve v*h = -2*f, f = -4*f - 15 for h.
2
Suppose 5*w = -3*x + 268, -7*x - 180 = -9*x - 3*w. Let u = -91 + x. Solve -2*p + 4*p - 8 = u*g, 2*g + 9 = -5*p for p.
-1
Let n(c) = c**2 - 27*c - 25. Let a be n(28). Solve 0 = -5*u + 10, -v - a = -u + 3 for v.
-4
Let h(w) = -w**3 - w**2 + 11. Let i be h(-5). Let v = -111 + i. Solve 2*f + 6 = -f - 3*s, v = 2*f + 5*s + 13 for f.
1
Suppose -3*k - 60 = -3*v, 2*v - 86 = 4*k - 10. Let s = k + 12. Let q = -6 - s. Solve -3*w + w = 3*g - 5, 4*w - g - 17 = q for w.
4
Let b = 61 + -58. Solve -b*p + 9 = 3*m, 3*m + p + 0*p = 1 for m.
-1
Suppose -2*h + 16 = 4*t, 0*h = -3*h - 5*t + 20. Suppose -3*z - 4*z + 14 = h. Solve -z*j = -0*j + 4*o + 4, 4*j + 3*o = 2 for j.
2
Let m = -142 - -144. Solve 3*y = -5*v + 13, -5*v = 5*y - m - 3 for v.
5
Suppose 18 = -110*m + 111*m. Solve -18 = 5*x - 2*w, 6 = -5*x - 4*w - m for x.
-4
Let n = -309 - -311. Solve 0 = -n*m - m + 5*i + 30, -4*m = 5*i - 5 for m.
5
Let i = 31 - 28. Suppose 9*k = 4*k + i*g + 27, -3*k + 4*g = -25. Solve -6*o + 2*x - 4 = -k*o, -5*o + 3*x - 7 = 0 for o.
-2
Let s(q) = q + 0*q + 5 + 5 - 5. Let n be s(-5). Let l(h) = -h + 3. Let v be l(n). Solve -b = v*c + 9, -2*b - 3 = 3 for c.
-2
Let j = 35 - 31. Let u(c) = c**2 + c - 2. Let a be u(5). Suppose -o + 0*o + a = d, 4*o - 3*d - 91 = 0. Solve -13 = -j*x - q, -4*q = q - o for x.
2
Suppose 6*j + 28 = 13*j. Solve 0 = -5*s - 3*p - 1, -2*s = -j*s + 5*p + 12 for s.
1
Let y(q) = 3*q**2 + 29*q + 88. Let u be y(-4). Solve 2*c = 3*n + 2 - 10, 5*c + u = 3*n for c.
-4
Let s = -234 + 238. Solve 4*i - 4*q + 8 = 0, -i - 14 + 7 = s*q for i.
-3
Let s be ((-3)/(-24))/((-9)/(-216)). Solve -s*k - 2*k = -3*v - 9, -3*v = -k - 3 for v.
2
Suppose 35*r = 28*r + 21. Suppose 3*k - 22 = 4*p, 4*k = 2*k - 4. Let z = p + 20. Solve 0*o + o = 4*i + z, -r = -3*o + 3*i for o.
-3
Let k be 25/15 - (-1)/3. Suppose -9*m - 1223 = -1259. Solve 10 = r - 3*r, -m*w + 10 = -k*r for w.
0
Let h be 6/(-9) + (-3)/(36/(-56)). Solve -2*q = 4*g - 2, 0 = -h*q + 5*g - 10 + 1 for q.
-1
Let t = 6 + -4. Suppose 3 = 3*b, h + t*h - 3*b = 3. Solve -2*u + 3*r - 14 = 0, -h = 5*r - 12 for u.
-4
Let z = -2 + 51. Let c(i) = i**2 + 4*i - 25. Let j be c(-8). Let d be 22/j + (-7)/z. Solve -3*p = 3*t + 12, 4*t + d*p + 0*p = -15 for t.
-3
Let w(t) = -225*t**2 + 4 - 12 - 11*t + 224*t**2. Let b be w(-10). Let h be 24/3 + b - 4. Solve 5*v + 40 = 5*f, -h*v + 2*f - 24 = -2*v for v.
-4
Suppose g - 25 = -5*l, g + 4*g + 2*l = 10. Let d be (6/6)/(2/8). Suppose 3*a + 33 = d*v, -v + 4*a - 3*a = -9. Solve i + 2 = -5*x, 3*x + 3*i = -g*i + v for x.
-1
Suppose -p = 4*p - 130. Let g = 31 - p. Solve 4*k - 64 = 4*w - 24, g = -w for k.
5
Let q(w) = w**3 - 4*w**2 - 3*w - 7. Let l be q(5). Suppose 30 = l*j + 21. Solve g + j*h + 17 = 5*g, -4*g + 4*h + 20 = 0 for g.
2
Let a = 31 - 25. Suppose -a = -4*f + 5*j, 10 = 2*f - 0*j + j. Suppose 0 = -f*h - 5*z - 7 + 31, 24 = 4*h + 3*z. Solve -3*d + 13 = -5*t, h*d - d = -t + 3 for d.
1
Let p(u) = u**2 - 9*u + 9. Let a = -2 - 18. Let z 