 f*j - 6 for a.
-5
Let b(d) be the second derivative of -9/2*d**2 + 1/6*d**3 + 5*d + 0. Let n be b(11). Solve 0 = 3*w + n*y + y + 6, 10 = 5*y for w.
-4
Let m be (2 - (9 + -1)) + (75 - 69). Solve -3*f + m*z + 7 = z, -3*z = -5*f - 7 for f.
1
Suppose -5*z - 4 = 2*s, 0*s + 4*s - z = 36. Solve 0*q - 16 = -4*u + 5*q, -2*u = 5*q - s for u.
4
Let l(o) = -o**2 - 5*o - 2. Let d be l(-4). Suppose -d*t + a = -21, 0 = -5*t - 3*a + 32 + 37. Solve h = -5, 4*h = 2*n - 10 - t for n.
1
Let q(l) be the second derivative of -l**4/12 - 7*l**3/6 - 4*l**2 - 13*l. Let g be q(-4). Solve -7 = -0*m - 3*m - 4*t, -18 = -2*m + g*t for m.
5
Let z = -809 - -812. Solve -4*k - z*a - 4 = 0, 0*k - 5*k + 18 = -2*a for k.
2
Let k be 139*1 - (4 - 4). Let i = k + -137. Solve -y - 3 = -j, 3*j = i*j - 5*y - 15 for j.
0
Let g = -1830 - -1830. Solve g = 2*a - 3*w + 5, 3*a - w + 30 = 8*a for a.
5
Suppose 5*p + 3*l = 109 - 34, -4*l - 28 = -4*p. Solve -4*f - p = -2*x + 2, -x + 6 = -f for x.
5
Let r = -1 + 5. Suppose 5*c = -r*i - i + 20, 0 = c + 3*i - 2. Suppose -c*f + 14 + 1 = 5*p, 5*f = -3*p + 13. Solve p = -2*o - 0*v + 3*v, 0 = -o + 3*v + 1 for o.
-2
Let i(v) = 2*v**2 + 2*v - 1. Let u be i(-4). Suppose -4*p = -0*p + 3*y - 6, -4*y - u = -5*p. Solve -2*s + 7 - 1 = -2*l, p*l + 5 = s for l.
-1
Let n be ((-12)/30)/((-4)/40). Solve n = -2*q + f - 5*f, 0 = 5*q - 5*f + 25 for q.
-4
Let j = -32 - -35. Suppose -3*x + 110 = 5*l, 4*l - 43 = -j*x + 48. Solve -l = i + 5*z, z + 0 = i + 1 for i.
-4
Let r = -185 - -272. Let p = r - 79. Solve 4 = -w - 2*i, -6*w + 2*w = -4*i - p for w.
0
Suppose 5*j - 137 = -3*i, 3*j + 3*i - 15 = 72. Let y = -41 + j. Let u = y + 16. Solve 4 = c + 2*g, 2*c + u*g + 5*g = 8 for c.
4
Let y = -1530 + 1535. Solve 2*z + 14 = 2*f, y*z + 6 + 13 = f for z.
-3
Suppose 2*s = 3*s + 4*a - 36, -70 = -5*s + 2*a. Suppose 5*v + s = 9*v. Suppose 4*j - 16 = 4*h - 2*h, j = 2*h + v. Solve j*x - 1 = x + n, n - 1 = x for x.
1
Let d(z) = -z + 9. Let w be d(11). Let k be w/1*(-7)/(-2). Let v = 8 + k. Solve 24 = 2*i - 4*y, -7 = -3*i - y + v for i.
4
Let l = 3 - -11. Suppose 3*d = -0*d + 5*p + 28, 4*p = 5*d - 38. Let j = l - d. Solve 0 = -s + 2*r + 10, s - 3*s = -r - j for s.
2
Let z = 430 - 430. Solve -2*l - x + 4 = z, -2*x + 3 = -6*l + 5*l for l.
1
Let o(z) = 6*z**2 - 7 - 5 - z**3 + 2*z + 6 - 3*z**2. Let n be o(2). Solve -n*a + 3*m - 1 = 0, a + 5*m + 35 = -3*a for a.
-5
Let d = -40 - -43. Let t be 1 - -4*15/d. Solve -j - 5*w + t = -0*j, -5*j - 3*w = 5 for j.
-4
Let m(p) = -p**2 - 9*p - 10. Let i be m(-7). Suppose 0*c - c + 37 = 4*g, -2*c + 50 = 5*g. Solve 10 + g = 5*n + d, i*n - 14 = -d for n.
4
Let k(b) = -4*b**3 - b**2 - b - 2. Let v be k(2). Let m be v/(-4)*(-1)/(-5). Solve 5*i - 17 = 8, -3*z - 19 = -m*i for z.
-3
Let d be (20 - 19) + (-1)/(-1). Solve 6 = 5*j - j - d*s, 5*s = 4*j - 21 for j.
-1
Let y(g) = -8*g + 52. Let m(f) = -9*f + 51. Let w(v) = -4*m(v) + 3*y(v). Let u be w(6). Solve 3*h = 5*l + 32, -3*l + 5*h = -2*l + u for l.
-4
Let x = 1306 + -1281. Solve 0 = -4*z + 3*a - 2*a + 20, -a - x = -5*z for z.
5
Suppose 0 = 5*q + 4*q - 36. Solve -16 = q*k + 4*n, k - 5*n - 20 = -2*k for k.
0
Suppose -18 = -4*n - 2. Suppose -3*c + 0*c = 180. Let l = -57 - c. Solve 5*r + l*t = 11, -n*r - 4 = t - 5*t for r.
1
Suppose 2*z = 3*d - 1, 2*d - 13 = 5*z + 6. Let p = z + 20. Suppose p + 6 = 4*l + 3*a, -4*l + 23 = a. Solve 0 = 2*i - l*i - 5*q, -2*i + 5*q = -30 for i.
5
Let c = 176 + -171. Let z(b) = b**2 - 20*b - 18. Let u be z(21). Solve -h = -5*i + 10, c*h + 2*i - 40 = -u*i for h.
5
Let l be (392/(-42))/((-1)/6). Let m = 60 - l. Let h(s) = -3*s**3 - s**2 + 1. Let d be h(-1). Solve -5*x + 5*u - 15 = 0, -d*u + 2 = -0*x + m*x for x.
-1
Suppose -14 = -4*j - 66. Let l = j - -17. Solve -3*z + 2*t = -3*t - 8, l*z = -5*t - 36 for z.
-4
Suppose 52 = 3*o - z, 4*o - 2*z - 71 = z. Suppose 2*u - o = -17. Solve -5*q + k + 9 = u, 3*k + 0 = q + 1 for q.
2
Let f be 136/6 + 3 + 33/(-9). Suppose -41 = -7*s + f. Solve -3*g = -s, g + g = 5*n - 19 for n.
5
Let b(j) = -j**3 + 14*j**2 - 13*j + 10. Let l be b(13). Let w be (-4 - 88/(-20))*l. Solve 32 = w*k - 4*i, 0 = k + k + 3*i + 4 for k.
4
Let p be 5 - 0 - (5 + -4). Let d be ((-2)/p)/(7 - 87/12). Solve 2*a = 4*t + 10, 5*a = -0*a + d*t - 15 for a.
-5
Let p be (-11)/44 + 34/8. Let i(c) = -4*c + 7*c**2 - 7 - 5*c**3 + 0*c**3 + 4*c**3. Let a be i(6). Solve -p*x + 18 = -a*q, 5*q + 2*x = 2*q - 2 for q.
-2
Let k = -2768 - -2773. Solve 0 = -d, -k*m - 2*d + 12 = -2*m for m.
4
Let z be -3*(-28)/(-42) - (-3 + 1). Solve 5*t + z*t = -10, 9 = -g - 5*t for g.
1
Let k be (1 - 15/12)*(-140)/7. Solve -w = -2*t + 6, t = k*w - 2*t - 5 for w.
4
Let x = 188 + -184. Suppose -3*u = 5*n + 19, -3*u = -0*u - n - 11. Solve 0 = 2*o, o = u*l - o - x for l.
2
Suppose -12*v = 10*v - 66. Solve 0 = -l + o - 10 + 16, -5*l + 24 = -v*o for l.
3
Let b be ((-4)/18)/((-9)/81). Solve 5*m + 22 - b = j, -5*m = 2*j + 5 for j.
5
Let l be (-105)/(-20) - (-1)/(-4). Suppose -5*x = 0, 2*h + 0*x = l*x - 20. Let j be (-4 - h) + 8/(-2). Solve -3*m - 2*g = -j + 15, -2*m = -3*g - 13 for m.
-1
Let m = 14 + -10. Let h(w) = w**2 + 12*w + 10. Let a be h(-13). Suppose 17*t = a*t - 30. Solve 0*y - m*v - 2 = -3*y, 3*y - 4 = t*v for y.
-2
Suppose -t = -5*t. Suppose 3*w - 28 = -4*d, t = 2*d - 0*d - w - 4. Suppose -29 = -9*x - 11. Solve 5 = -5*f + 3*p, 2*f - x + 4 = d*p for f.
-1
Let v(b) = -b**3 + 6*b**2 + 8*b - 3. Suppose -3*w = -21 - 0. Let o be v(w). Suppose 24*t - 123 = 69. Solve k = -o, 2*r - 4*r + 2*k + t = 0 for r.
0
Let j be 1*(2/2 + 3). Suppose -j*p + 18 = -2*p. Suppose -2*f + p = f. Solve 0 = -u - 6 + 2, -3*u = f*h + 15 for h.
-1
Let v = -48 + 73. Let g = -43 + v. Let m be 28/6 - 6/g. Solve -m*f = 3*y + 15 - 6, -y + 2 = 0 for f.
-3
Let x be (-4 - 1)/50 - (-33)/30. Suppose -2*u = -0*u - 4. Let a be 6/(-4)*(-4 + u). Solve a*d + 3*o - 18 = 0, -d + o = -1 - x for d.
4
Suppose 3*o - j - 7 - 11 = 0, -5*o - 3*j + 30 = 0. Solve q = 5*n - 25, q + 5 = n + o*q for n.
5
Let k = 3 + -2. Let r be 4/(-10) - (-1192)/(-20). Let b be 3/5 - 444/r. Solve 5*a = -4*h + k - 12, -4*a = 3*h + b for a.
1
Let l(v) = v**2 - 7*v - 9. Let x be l(8). Let i be (8 - 12) + 5 + x + 3. Solve c = 5*k - 9, i*k + 2 = -4*c - 11 for k.
1
Let u(n) = -9*n - 4. Let g(v) = v + 1. Let z(d) = -3*g(d) - u(d). Let a be z(2). Solve -3*h - 1 = -3*m - a, 0 = m - 5*h + 20 for m.
0
Let o be (-1 + 2)/((-5)/(-75)*5). Solve -u + 2*u - 14 = -3*q, -4 = -o*q + 4*u for q.
4
Let y = -24 - -34. Solve k + 0*k - 4*a - 5 = 0, -2*k - 2*a + y = 0 for k.
5
Let h(f) = 2*f - 26. Let c be h(11). Let p be (c/6)/(2/(-12)). Let v = 25 + -15. Solve 3*n + 0*t = -t - v, p*n + 14 = -t for n.
-4
Suppose 3*u = 11 + 1. Let w be u/3*(-39)/(-26). Suppose -7*o + w*o + 15 = 0. Solve 8 = -4*l - 4*p - 4, -2*p + o = -l for l.
-3
Let b = 165 + -160. Solve 0 = -3*q - 12, -31 = -b*t + 2*q + 2*q for t.
3
Let z be 0/1*1 - 0/(-41). Let j = -25 + 47. Solve 4 = -z*n + n, x - 5*n = -j for x.
-2
Let h be (-23 - -91) + 0 + -4. Let b be h/28 + 10/(-35). Solve b = -4*w - 2*y, 4*w - 3 = 2*y - 1 for w.
0
Let t(g) = 2*g**2 - 21*g + 32. Let i be t(9). Solve 2*l = -w - 6, 4*l + 8 = 2*w - i*w for l.
-5
Suppose -6*p - 9 = -9*p. Solve -5*d - 30 = -y, -d + p*y = 2*y + 10 for d.
-5
Let q(p) = p**3 + 7*p**2 + 5*p - 4. Let t = 13 + -10. Suppose t*x - 6*x = 18. Let h be q(x). Solve 5*c + h*g = 3*g - 1, c = -5*g - 21 for c.
-1
Let t = -231 - -233. Solve -5*i = 3*n - 4, 6*n - t*n - 11 = -i for i.
-1
Let t be (-6)/9 - (-460)/15. Let h = 33 - t. Solve h*r - 15 = 3*v, 0*r + 2*r + 14 = -4*v for v.
-4
Let v(q) = -6 - q**3 + 2*q**3 - 3*q**2 + 2*q - q + 2. Let u be v(4). Let l = u + -11. Solve g + 4*p - 12 = -2*g, -3*g + 15 = l*p for g.
0
Let y = -28 - -66. Let v = y - 37. Solve v = k + b, -3*b = k + 2*b + 3 for k.
2
Let c be (((-126)/4)/7 - -5)*42. Solve 3*g = 3*z + c, 3*g = 2*z + 10 + 8 for z.
-3
Let b(y) = -7*y**2 + y + 10. Let f(j) = -j**2. Let n(z) = -b(z) + 5*f(z). Let c be n(3). Solve -u = c*w - w, 4*u = w + 17 for w.
-1
Suppose 8 = s - 24. Let i = s + -30. Solve 1 + 1 = -q - o, 5*q - i = o for q.
0
Let o = 4 + 0. Let p(j) = j - o*j + 3*j + 2*j. Let r be p(4). Solve -m = -2*m, -r = 4*n - m for n.
-2
Let l(x) = 4*x + 4*x - 6*x - x + 4. Let z be l(0). Let k be 1/(1/8*z). Solve -k*o - 13 = -5*b, -3*b - 5*o - 9 - 8 = 0 for b.
1
Let g = 2 - -7. Let