 + 3*w = -26, -2*f - 2*w = -0*f - c for f.
4
Let f(y) = -y**3 - 2*y**2 + 7*y + 12. Let q be f(-4). Suppose -10 = 3*t - q. Solve -4*s + 6 = -a, 3 = s + t*s for a.
-2
Let q = 7 - 5. Let v = 5 - q. Suppose 5*s - v*f = -4*f + 4, -16 = 4*s - 4*f. Solve 4 = -3*t + 5*b + 2, 3*t + 2*b + 16 = s for t.
-4
Let k = 472 - 447. Solve -3*c - 5*i = k, -5*c - 2*i + 4 - 33 = 0 for c.
-5
Suppose -4*c - 5 = 3, -3*h - 2*c = 16. Let t be 2/((-4)/h) + 2. Suppose 4*v - 4 = -v - 3*u, -2*u - t = 0. Solve -v*d + 10 = 2*f, -7 + 1 = -3*f for d.
3
Suppose 4*m - 808 = 2*h, 3*m - 116 = -3*h + 508. Suppose -8*d = -12*d - m. Let u be 9/15 + d/(-15). Solve -2*f = -w + 7, u*f - 3*w + 11 = -0*f for f.
-5
Let n = -16 + 26. Let v(l) = -l**2 - 17 - 8*l + 0*l + n. Let z be v(-5). Solve 0 = 2*f + 4*y - 8, z*y - 8 = 4*y for f.
0
Suppose 2*l = l + 13. Suppose 48 = 2*t + 38. Solve -y - l = i + 2*y, -4*i - t*y - 31 = 0 for i.
-4
Let k(l) be the second derivative of -l**4/12 + 3*l**3/2 - 3*l**2/2 - 2*l. Let o be k(8). Let a = 32 + -20. Solve -3*g + 6 = 2*g + 3*f, 0 = g + o*f + a for g.
3
Suppose f + 22 = 4*g, 4*f = -5*g - 8 + 25. Let z be 4/(-10) + (-111)/(-15). Let m = z - g. Solve -2*u + 8 = m*d, 2*d + 5*u - 20 = -d for d.
0
Suppose -3*t + 6*t + 3*d = 15, 3*d = 12. Let v be -2*(-3 - t/(-1)). Let z = -945 - -957. Solve -z = -v*x + 4*n, 0 = 5*x + n + 4*n - 15 for x.
3
Let h(b) = -14*b**2 + 12*b + 11. Let i(r) = -9*r**2 + 8*r + 7. Let j(f) = 5*h(f) - 8*i(f). Let w be j(3). Solve -20 = 4*o - w*z, -4*o - 2*z = -z - 4 for o.
0
Let x = -21 + 25. Suppose 4*r - 4*y = -y + 21, -y = 3. Let k be (1/r)/(5/345). Solve 0*d - d - 4*t = -k, -17 = d - x*t for d.
3
Let t(p) be the second derivative of -p**5/20 + p**3/3 + p**2/2 - 5*p. Let u be t(-1). Solve 7*l + 10 = 4*l + 2*r, -l - 4*r + 6 = u for l.
-2
Let j be -1 - (-5)/((-50)/12)*-5. Solve 0 = -3*o - j*c + 18, -c = 4*o - 2 - 5 for o.
1
Suppose -4 = -y - y - 2*r, -50 = -5*y + 3*r. Solve 5*q + 21 = 5*j + y*q, -2*q = -j + 9 for j.
5
Let m be (-28)/10*(25/(-10) + 0). Suppose 0 = -o + 3*n + 28, -4*o - n = -105 - m. Solve -2*l - o = 4*w + l, -3*w + 4*l + 4 = 0 for w.
-4
Suppose -4*p = 26*q - 21*q - 23, 0 = -q + 2*p - 1. Solve m + 4*m + 19 = q*t, 4*t - m = -3 for t.
-2
Suppose 8*x - 1 - 15 = 0. Solve -2*d = x*s + 2, -29 + 7 = -5*d + 4*s for d.
2
Let c(s) = 5*s - 2. Suppose -40*n = -38*n - 2. Let v be c(n). Solve 4*h = -4, -8 = v*i - 5*h + h for i.
-4
Let b be 2 + -1 + (1 - -2). Let j(l) = -9*l + 272. Let z be j(28). Let p = b + z. Solve -3*h = 5*f - 37, -h + p = f + 3*f for h.
4
Let c = -1120 + 1120. Solve -2*w = 4*d + 20, -15 = 3*d + 3*w - c*w for d.
-5
Let h = 604 - 599. Let u be 3 + 0*(2 + -3). Suppose -3*b = -5*b - m + 7, -h*b + 16 = u*m. Solve 2*k - 2*n + 19 = -b*n, 3 = -3*k + 4*n for k.
-5
Let s = 292 - 290. Solve -g = 1, 0*o = -2*o - s*g - 4 for o.
-1
Let q be (-14)/(-56)*(2 + (5 - 3)). Solve 2*k - n - 5 - q = 0, -n = -4 for k.
5
Suppose -15 = w - 2*w - 3*k, 0 = k - 4. Solve -w*o - o - 2*m = 18, -4*o - 4*m = 28 for o.
-2
Suppose 4*g + 36 = 5*g. Let c = 51 - g. Solve 6 = -f - 2*f, 3*w = -3*f - c for w.
-3
Let c(q) = 2*q**3 + 3*q**2 - 1. Let o(v) = -v**3 - 2*v**2 + 1. Let h(u) = 4*c(u) + 7*o(u). Let w be h(2). Solve 2*r = -w*p - 13, r + p + 1 = -3 for r.
1
Let c(s) = s**3 + 5*s**2 + 2*s - 4. Let i(t) = -3*t + 5. Let z be i(3). Let b be c(z). Solve 18 = -5*p - 2*l, b*l + 5 = -2*p + l for p.
-4
Suppose 2*r + 2*r - p + 9 = 0, -5*r - 5*p - 5 = 0. Let w be 1 + (-3 - (r + -1)) + 1. Solve -d - 2*z - 2*z + 15 = 0, w*d + 3*z = 5 for d.
-5
Suppose -17*x + 55 + 30 = 0. Solve -3*p - 12 = -z, -2*p + 12 = 4*z - x*p for z.
0
Let a(w) = -2*w**3 - 5*w**2 - w + 4. Let m be a(-3). Suppose 0 = -6*r + r - 2*y - m, y + 3 = 0. Let z = 21 + r. Solve 3*p = -5*s - 9, 3*s + z = 2*p + 3*p for s.
-3
Suppose -4*w = y - 21, -5*w - 21*y + 25 = -20*y. Solve -3*k + 4*p - 6 = 0, k - 2*p - w = 3*k for k.
-2
Suppose -3*d - 870 = 3*u, 3*d - 872 = 3*u + 7*d. Let p be u/(-63) + 3/7. Solve 0*o + 4*o = -q - 24, -20 = p*q for o.
-5
Let r be 2*2/(-7)*(-14)/4. Solve -4*s + r + 2 = -w, 2*s - w = 0 for s.
2
Let a be 8*(-3)/(-6) - -7. Let t(v) = 2*v - 22. Let u be t(a). Let m be 22 - (u + 4 - 8). Solve -5*f + 22 = 2*n - 5*n, 5*n - 3*f = -m for n.
-4
Let l = -414 + 418. Solve 3*a = 3*r + 3, 3 + 5 = l*r for a.
3
Let h(y) = y**2 - 2*y - 10. Let w be h(6). Let b = w + -7. Solve a - 4*l - 14 = 0, 0*a - a = 3*l + b for a.
2
Let d(x) = -x**2 - 6*x + 9. Let i be d(-7). Suppose i*b - 7*b = -40. Let j be -1*b/(-12)*3. Solve 3 = -3*p - j*u + 14, -2*p + 8 = 2*u for p.
3
Let j = 390 - 386. Solve 3*x - 1 - 5 = -r, j*x + 3 = -5*r for r.
-3
Let g(i) = i**2 - 16*i - 34. Let c be g(18). Solve 5*l + 4*s = 4 + 2, -5*l = c*s - 8 for l.
2
Let l(m) be the second derivative of -m**4/12 + m**3/3 + 3*m**2 + 6*m. Let q be l(3). Solve 1 = 5*a - 3*c, q*a + 4*c - 3 = 5*c for a.
2
Suppose -4*j + 29 = y, -4*j + 2*y - 7*y = -33. Let d be (-12)/(-4) - 1/(-1). Solve -5*l + 1 = d*n, 0*l = 3*l - 4*n - j for l.
1
Let o(r) = -r**2 - 7*r - 7. Let c be o(-5). Let u = 7 - 5. Suppose 2*h + 0*h = 4. Solve 0 = h*a + u*b + b + 9, 0 = -a - c*b - 9 for a.
0
Suppose -2*k + 7*k + 3*c + 45 = 0, -2*k = 4*c + 32. Let x be 1 + 3*k/(-9). Let i be (-1 + 9)*(-1)/(-2). Solve -2*r - 12 = p - i, -17 = x*r - p for r.
-5
Let r be (12/(-42))/(2/(-28)). Solve -3*k - 6 = -k + 2*z, -r*k - 3*z = 14 for k.
-5
Let f be (1056/(-462) - (-2)/7) + 6. Solve 0 + 3 = 3*n, -f*p - 19 = n for p.
-5
Let i be 78/8*(-112)/(-42). Let v = 35 - i. Let j be -1 + (4*v - -2). Solve d + 4*g = 21, -5*g - 12 = d - j for d.
5
Suppose 5*r - 1 + 3 = -4*f, 4*f = 3*r - 18. Suppose -r*v = -7*v + 10. Let m be (-155)/(-40) + v/16. Solve -y + m = 4*t + y, -4*y = -16 for t.
-1
Let l be (24/15)/((-8)/(-20)). Suppose -2*n + 10 = l. Solve 2 = -2*b - n*q - 8, -b - 3 = q for b.
1
Let w = -1440 - -1462. Solve 0 = -3*n - 2*r - 10, 3*n - r = 9 - w for n.
-4
Let o be ((-4)/10)/(1/(-5)). Let m(f) = 2*f**2 + 5*f - 3. Let b be m(-3). Solve b + 8 = -o*k, 2*k + 11 = n for n.
3
Let j(o) = -o**3 - 13*o**2 + 10*o - 14. Let f be j(-14). Let c = f + -37. Let b = 0 + 3. Solve 4*t - b = -3*n, -c*n + n + 5*t - 27 = 0 for n.
-3
Let r(d) = -d**3 - 6*d**2 - 8*d - 3. Let l be r(-6). Let h = l - 43. Solve -o - 20 = -5*s, 0*s - 4*s + 10 = -h*o for o.
5
Let s(i) = i + 17. Suppose 7*h + 13 + 8 = 0. Let x be s(h). Solve -2*j = -4*j - r + x, -4*r - 9 = -5*j for j.
5
Suppose -14*k = -134 + 78. Solve -u - 3*b - 10 = 0, 0*u = -5*u + k*b + 7 for u.
-1
Let d be (-10)/(-12) + (-75)/90 + 9. Solve -2*g = 4*y - 2, -2*g + d = -2*y + 1 for y.
-1
Let v be 10/1 - (-117 - -116). Solve -4*z = 2*a + 22, 3*z = 9*a - 5*a + v for a.
-5
Let d(b) = -b**2 + 26*b + 28. Let n be d(27). Let k = -5 + 10. Let h = -2 + k. Solve 0 = -w - 3*l, -w - n = h*l + l for w.
3
Let v(x) = -2*x + 28. Let u be v(13). Suppose 16 = -3*r - 4*h + u, 0 = -5*r + 2*h + 20. Solve 0 = 2*o + o + 2*a - 6, r*a - 6 = 2*o for o.
0
Suppose -3*g + 0*g = -18. Let u be 540/(-24)*8/10. Let y be (6/u)/(1/3) - -1. Solve -3*b - 3*p - 18 = -g, 3*b + p + 14 = y for b.
-5
Let y(h) = -h. Let o(r) = -7*r - 3. Let p(q) = o(q) - 6*y(q). Let a be p(5). Let f be 10/(-15)*(a - -2). Solve 0 = -f*l - 4, 0*b = -5*b - 2*l + 18 for b.
4
Suppose -4*m + 206 = 22. Suppose 4*q - 5*b = m, -4*q - b + 11 = -23. Let h be (-76)/(-14) - q/21. Solve 3*r - x = -8, 1 = -4*r - h*x + 3 for r.
-2
Suppose -k = f - 4*k - 20, -3*f + 40 = -5*k. Suppose f*l = -5*l. Solve l = -3*j + 2*q + q + 3, -2*q = -5*j + 17 for j.
5
Let q(p) = -p**3 + 12*p**2 + 12*p + 16. Suppose 7*n + 6*n - 169 = 0. Let v be q(n). Solve 3*x = 4*l - 7 + 2, -2*x - v*l + 25 = 0 for x.
5
Suppose -11*q = -39 - 27. Solve 3*z - 14 = 5*b - q, -4*b - 20 = z for z.
-4
Suppose -17*b = 35 - 154. Let a be b/(-21)*(0 - 0)*1. Solve -4*s + 2 = 2*i, -3*s + a*s - 5*i + 5 = 0 for s.
0
Let h(r) = -r**2 + 47*r + 5. Let z be h(47). Solve -v + 6*v + p + 14 = 0, v + z = 2*p for v.
-3
Suppose 0 = 6*t - 3*t - 12. Suppose x + 5*w - 31 = -0*x, w = t. Solve -5*j - 15 = -5*h, 0*j + 3*j - h = -x for j.
-4
Let p = -12 + 18. Let h be ((-120)/(-9))/((-4)/48). Let c = h + 166. Solve 19 = 5*j - c, 4*d = 2*j - p for d.
1
Let y(p) = p + 1. Let c be y(-3). Let d(u) = -2*u**3 - 3*u**2 + 291 - 288 + 2*u + 3*u**3 + 6*u**2. Let h be d(c). Solve 4*s + h = 3*x, 6*s - s + 5 = 4*x for s.
3
Let k(l)