 = -2*f + 6 + o for f.
0
Let d(s) = -2*s - 3*s - 5*s. Let u be d(1). Let c = -6 - u. Solve -5*a - c*n - 18 - 15 = 0, 20 = -2*a - 5*n for a.
-5
Suppose i + 3*y = 19, i - 56 = 3*y - 7. Let t = i + -18. Solve 0 = -5*k + 3*k + 2*v - t, 3*v = 12 for k.
-4
Suppose 11*y + 0*y = 0. Solve -4*k - 5*g = -7 - 3, y = 5*k + 4*g - 17 for k.
5
Let s(n) = -n**3 + 7*n**2 + 9*n - 3. Let m be s(8). Suppose g = -4*g + 5. Suppose -3*v - g = -13. Solve 2*t - v - m = 5*a, -3*t = a - 5 for t.
2
Let w = -118 + 122. Solve 0 = -4*v - 5*c + w + 4, 3*v - 6 = -3*c for v.
2
Let i(d) = -d**3 - 9*d**2 - 7*d - 6. Let v be i(-8). Let j = -11 - v. Solve 0*n - 6 = 2*l - 2*n, -j*l - 3*n = 9 for l.
-3
Let f = 10 + -2. Let b be ((-4)/(-12))/(3/27). Let s = b + -1. Solve 5*u - 4*k - 3 = 13, f = -s*u - 2*k for u.
0
Let k = -1 - 5. Let x be (-1)/6 - 13/k. Suppose -n - x*g = -17 - 3, -89 = -5*n + g. Solve w + 11 = 3*i, 5*i = w + w + n for w.
1
Let g(n) = n**2 + 7*n - 3. Let a be g(-7). Let w be (a/2)/(6/(-8)). Suppose 4*y - w = 2. Solve -p + 3 = 2*t + y, 3*p + 3*t - 6 = 0 for p.
2
Let l = -3 - -3. Let r be (-82)/10 + 4/20. Let i(k) = k + 11. Let j be i(r). Solve 37 = -5*b - j*p, l = -0*p - 2*p - 8 for b.
-5
Let r(y) = y**2 - 16*y + 2. Let b be r(16). Solve -3*x + 21 = 3*d, d - x - b + 1 = 0 for d.
4
Let l(t) = -t**2 + 4*t + 6. Let f be l(6). Suppose -3*r - 12 = 0, 2*r - 16 = -a - 2*a. Let n = a + f. Solve 4*j + 14 = n*b + j, 4*b + j = 0 for b.
1
Suppose 2*u - 12 = -3*l, -16 = -2*l - 0*u - 4*u. Suppose 94 = -0*s + 3*s + l*g, 5*g = -3*s + 109. Solve -3*y - 3*p + 18 = 0, 0 = 5*y + p + 3*p - s for y.
4
Suppose -3*v + 4*f = -5*v - 18, 5*v + 10 = -3*f. Solve 4*c + 3*h = v + 8, -4*c - h = -3 for c.
0
Let q be (-2)/(-7) - 57/(-21). Let d(s) = -s**3 - 8*s**2 + 9*s + 11. Let i be d(-9). Let b = -6 + i. Solve -5*n - u + 19 = 0, -q*n + 6 - 17 = -b*u for n.
3
Let p = 4 - -3. Let l = -79 + 82. Let m(z) = z - 4. Let v be m(4). Solve -2*w = -o - p - v, -l*o = 2*w - 11 for w.
4
Suppose 5 = -4*s + 17. Let y = 9 - s. Let o be ((-3)/y)/(2/(-8)). Solve -o*m + 2 = -j + 3*m, -3*m + 3 = 0 for j.
3
Suppose 92 = -0*d + 4*d. Suppose -z + 40 = -6*z. Let j = z + d. Solve 0 = n + 5*b - 8*b - 17, -j = 3*b for n.
2
Let r(b) = b + 11. Let z be r(-9). Solve 5*x + 5 = 2*a, 0*a - z*a + 2*x + 2 = 0 for a.
0
Let z(v) = -v**3 + 7*v**2 - 2*v - 2. Let y be z(3). Suppose 4*u + q - y = 0, -2*u + 2*q = 3*u - 35. Solve -2*w = 3*c - u, 5*w = -4*c + c + 22 for c.
-1
Let j(p) = 2*p - 7*p - 3*p**3 - 5*p**2 + 0*p**2 + 2*p**3 - 2. Let a be j(-4). Solve 0 = c + a*c - 2*s + 10, -2*c = 4*s - 20 for c.
0
Let h = -60 + 65. Solve -3*r + h*b + 3 = 2*b, -b = 2*r - 11 for r.
4
Suppose -2*c + 1 + 9 = 0. Solve c*s + 20 = -4*k - k, 4*s = 3*k - 23 for k.
1
Let x = 13 - 13. Solve 0 = -2*m - 5*s + 6, x = m - 2*s - s + 8 for m.
-2
Suppose 5*j + 2*u + 39 = 0, 3*j - 2*u + 39 = 2*u. Let t = -2 - j. Let x = t + -2. Solve q + 4*p - 5 = 0, -5*q - 5*p + 0*p = x for q.
-3
Let k(z) = -z. Let i be k(-1). Let o(g) = -5*g - 1. Let v be o(i). Let w = v + 8. Solve -4 = 2*d + 2*m, -m + 3*m - w = 0 for d.
-3
Let l be -3*(1 + 1 + -3). Let i = l + -7. Let q(t) = t**2 + 4*t + 3. Let p be q(i). Solve 0 = x + r - p, -2*x + 5*x - 9 = -5*r for x.
3
Let x be -1 + 0 + 17/1. Suppose 25 = 5*o + 5*g, 2*o + 1 - 2 = g. Solve -4*w + x = -m, 3*w + 5 = -5*m - o*w for m.
-4
Suppose -7*c = -4*a - 3*c + 112, -110 = -5*a - 5*c. Let x be -2 - 8/(1 + -3). Solve -3*p - x*p = -3*z + a, -p = -2*z + 12 for z.
5
Suppose -i - 4 = 4*v, -13*i + 14*i + 5*v + 5 = 0. Solve 0 = -3*k - 2*w, 0*w - 2*w = i for k.
0
Suppose -22 = -2*s + 4*d, 0 = 3*s + 4*d - 6*d - 13. Let f = 2 - s. Let x be f/1*0/(-2). Solve p = -0*q - 3*q + 10, -p + 5*q - 6 = x for p.
4
Let b(n) = 0*n + n - 1 - 4*n. Let r be (-4)/(-10)*(-30)/6. Let p be b(r). Solve 0 = 3*x - 2*x - 5*f + 11, 0 = -p*x + 3*f + 11 for x.
4
Let w(a) = 8*a**2 - a. Let v be w(-1). Let k(n) = -2*n**2 + 17*n + 12. Let f be k(9). Solve 0 = 5*l + 3*x - v, f*l - 3*x = 2*x - 15 for l.
0
Let a be 0 - -4 - (-13 - -14). Solve -12 = -5*y + 4*d + 8, 3*y = -a*d + 12 for y.
4
Let w be -2*(-5 - 0) - 2. Suppose 0 = -w*b + 6*b + 4. Solve 4*h - b*v - 20 = 0, 3*v - 9 = -4*h + 1 for h.
4
Let f = 291 + -289. Let x = -1 - -4. Solve -f*d + 3*s = -1, x*d + s = -s - 18 for d.
-4
Suppose -7 = 3*l - 28. Let k(s) = s**3 - 4*s**2 + 3*s - 2. Let t be k(3). Let u be t + (-2 - l*-2). Solve 17 = -5*a - m - 5, a + 5*m = u for a.
-5
Let q(d) be the third derivative of -d**6/120 - d**5/12 - d**4/8 - d**2. Let b be q(-4). Let l = 2 - b. Solve 5 = -5*t + 2*s - l, 4*s = -t - 11 for t.
-3
Let u = -106 + 108. Solve 6 = -4*c + u*a, -3*c = -2*a - 2 + 8 for c.
0
Suppose 0 = -3*u - j + 12, 5*u - 4*j - 3 = 17. Solve r + 4*i = -17, 0 = -r + 3*i + u for r.
-5
Suppose 3*s - 21 = -d - 0*d, -4*s + 28 = -4*d. Let p = -3 + s. Solve 0*x + p*x = 4*j + 16, 0 = j for x.
4
Suppose a = 21 - 4. Let c be (-1)/(2 + 57/(-27)). Let k be 6/c*-3*-1. Solve 5*v = -k*r - a, -3*v - 27 = -5*r + 2*r for v.
-5
Let s be (0 - (-2)/(-6))*(-24)/2. Solve -3*b + 15 = -5*a, -5*a = -s*b - a + 20 for b.
5
Let k = -20 + 20. Solve 5*y = -j - k*y - 8, -j = -4*y - 10 for j.
2
Let o(y) = y**2 + 6*y - 3. Let i be o(-7). Suppose i*q + 12 = 2*z, 2*z - 27 = -2*q + q. Let w be 1*3/(9/z). Solve -22 = -3*r + f + 4*f, w*r + 5*f = 6 for r.
4
Let v = 55 - 53. Solve z + v*q + 2*q = 10, -12 = -4*z - 2*q for z.
2
Let i = 13 + -11. Let c = i + 0. Solve -2*q = y + 6, -q + c*y - 3 = -0 for q.
-3
Let d be 1 - (-3 - -4) - 0. Suppose -5*u + 4*u + 3 = d. Suppose 2*p - 48 = -0*h - 3*h, 0 = 4*h + 5*p - 71. Solve -2*w = -u*b + 11, 4*b = -2*w + 4*w + h for b.
3
Let j(h) = -6*h - 1. Let n be j(2). Let d = n - -18. Solve 4*s - 5*x - 30 = 0, 5*s + x - d*x = 33 for s.
5
Let f(r) = -4*r + 49. Let o be f(11). Solve -3 = -3*x - 3*w, -5*x + 2*w + o = 14 for x.
-1
Let m = -18 - -10. Let o = -4 - m. Let w be -2 - (-5 - 3/(-3)). Solve -o*q = 5*x + 26, -q = 3*x - w*q + 2 for x.
-2
Let z = 14 + -4. Suppose -6*i + i = -z. Suppose -21 = -i*u + 11. Solve -2*l - u = 2*l, -3*l = -4*k for k.
-3
Let k(z) = 2*z + 18. Let x be k(-8). Solve 24 = -3*t - 4*f, 4*t = -0*f + x*f - 10 for t.
-4
Let d(w) = -33*w - 3 + 38*w + 2*w**2 + 5. Let u be d(-3). Solve -u*a - b - 1 + 16 = 0, 4*a - b - 12 = 0 for a.
3
Let k = -2 + 3. Let n = k - 2. Let x be (4 - -1) + (n - -1). Solve -3*w - x*d + 2*d + 3 = 0, 0 = 4*w - d + 1 for w.
0
Suppose 0 = 2*j - 3*x + 1, j - 5*j + 5*x + 1 = 0. Solve 0 = -t + k + j*k + 13, -2*k - 4 = 0 for t.
3
Let o be -6 + 4 + -1 + 6. Let q(u) = -u**3 + 2*u**2 + 3*u + 2. Let r be q(o). Solve y = m + 2, r*y + y + 2*m = 1 for y.
1
Let f = -9 + 9. Solve g - o + 6 = o, -4*g - 3*o + 20 = f for g.
2
Suppose 0 = r - 5*j + 2 + 16, -12 = -4*r - j. Suppose -r*w + 4*w - 12 = 0. Solve 4*c - 9 - w = 3*s, -3*s - 9 = -2*c for c.
3
Suppose 4*o - 12 = o. Solve -5*l = 2*q + 21, 5*q - 3*l = o*q + 17 for q.
2
Suppose 4*r + 2*n = n + 30, 4*n - 22 = -2*r. Let b be (8/6)/(4/6). Suppose b*l + 5*h + 4 = -3, 11 = -l - 5*h. Solve -l*m - 10 = -3*j, j - 5*m = -0*m + r for j.
2
Suppose -2*s - 4*s + 0*s = 0. Solve s = 5*t + 5, -3*d = t - 3 + 19 for d.
-5
Let p(q) = -q**2 - 8*q - 8. Let c be p(-6). Let m(r) = 1 - 7 + c - 1 + r + r**2. Let f be m(-3). Solve -2*z + 9 = f, 0 = 4*j + 2*z - 14 for j.
2
Let i = 19 - 15. Solve -3*r = i*u - 23, 3 - 18 = -3*r for u.
2
Suppose 0 - 6 = -2*w. Solve 2*a = 3*q - 4, 6*q - q = -w*a + 13 for a.
1
Let u(n) = -n**2 + 4*n + 3. Let s be u(4). Suppose 2*z = -2, s*z - 2*z - 34 = 5*k. Let o(r) = r + 9. Let w be o(k). Solve 2*q - 4 = -w*j, j - 2 + 0 = 4*q for j.
2
Let t(a) = -a**3 + 9*a**2 - 8*a + 4. Suppose 0 = -8*j + 4*j + 32. Let q be t(j). Suppose 5 = q*v + 1. Solve 3*m - 16 = -2*g, 0 = 5*g - v - 9 for m.
4
Suppose 8*i - 105 = 39. Solve 0*x + 4*d - i = -2*x, -2*x + 14 = 3*d for x.
1
Let m be (-1)/3 + 10/3. Suppose m*p = -3*r, r = -0*r - 2*p - 2. Let s be (-28)/(-8) - 1/r. Solve -s*g - 2*c = -6, 4*c + 4 = 2*g - 0*c for g.
2
Let p be 3 - (2/4 + (-20)/8). Solve 3*x - p = -c, -4*c + c = -4*x - 2 for x.
1
Let o = -26 - -29. Solve -2*a - o*y = -2, 3*y = -0*a - a + 1 for a.
1
Let g be 82/(-3) - (-2)/6. Let a = 51 + g. Suppose 0 = 4*m - 3*f - a, -3*m + 1 = 2*f - 0*f. Solve -4*t + 27 = -3*o + m, o = -3*t + 5 for o.
-4
Let o = -48 + 31. Let b = 30 + o. Let y be 4 - -1 - 0/2. Solve -y*v + 9 = 3*z