w = 6 + 2. Let l be p(w). Solve 0 = -7*n + l*n - 3*d + 12, -d = n - 4 for n.
0
Suppose c = -5*x - 13, 0 = c + c + 2*x + 2. Suppose y + 2*i = c, 0 = y - 5*i - 2. Solve -2*g - 4*j = 27 - 9, -y*g + 2 = -j for g.
-1
Let k be (27/(-18))/((-7)/14). Solve 0 = -5*y - k*b - 1, 7*y = 3*y + b + 6 for y.
1
Let g(i) = -3*i**3 - 4*i**2 - 3. Let k be g(-3). Let t be 4/6 - k/9. Let f be 3 + -2 + (-8)/t. Solve 3*c - 13 = x, 0*c + 2*c + f*x = -6 for c.
3
Let m be -34 + 43 - (-1 + 0 + 7). Solve 5*h = -4*k + 21, 4*k + m = 19 for h.
1
Let h be 4 - (0 + 4 + 3). Let y be 2/(1/h*-3). Solve 4*o = o - 3*i, 2*o + i = -y for o.
-2
Suppose -5*s + 4*o + 31 = 0, -4*s + 0*s + 8 = o. Suppose 10*d = 14*d + 2*d - 18. Solve 2*p + 5*u = s, -5*p - u - d = u for p.
-1
Let r = -13 + 17. Let d be (-2 - (-1 - r)) + 0. Solve -3 + 17 = 2*q + 5*n, 8 = d*q + n for q.
2
Let m = 1 - -3. Suppose -o + 4 = b, m*b + o + 0 - 7 = 0. Let d be -3*3/(-2 - b). Solve -5*i = d*q + 23 - 3, -2*i + 4*q + 18 = 0 for i.
-1
Suppose -5*u + 4*q - 4 = 4, u + 7 = -q. Let a be 4/((-8)/(-22)) + u. Solve -18 = -3*p - 6, k - 2*p + a = 0 for k.
1
Let q be (3 - -1)*46/92. Suppose 5 = -5*r + 5*d, -58 = -5*r - 4*d - 18. Solve r = -4*s + 5*b - q, -4*b + 6 = -2*s for s.
1
Suppose 3*p = p. Suppose 4*h - 5*g = -g, p = h + g + 6. Let c be 8/3 - (-2)/h. Solve 2*t + 2*q = -c + 4, 9 = t + 5*q for t.
-1
Let k be ((-9)/3)/3 - 4. Suppose -b + 2*b - 2*c - 15 = 0, -4*c - 37 = -3*b. Let w = k + b. Solve -w*h = -3*p + 4, -h + 2*h + 2 = 2*p for h.
-2
Let g(x) = 5*x**2 + x. Let n be g(1). Let p = -5 - -11. Let d = 175 - 173. Solve 0 = d*s + 3*z - 8*z + n, 0 = s - 4*z + p for s.
2
Suppose 0*x - 10 = -2*x. Let k(z) = 2*z. Let a be k(x). Solve -u - 3*p = -0*u + a, -2*p - 14 = -3*u for u.
2
Suppose -27*o + 812 = 2*o. Solve -n - 10 = -2*h, -3 = 5*n + 5*h - o for n.
0
Let v = -33 - -31. Let s = v + 5. Suppose -s = u + 4*o - 1, 0 = -5*u + o + 11. Solve 0 = 4*i + 5*b - 9, u*i = -3*i + 2*b - 30 for i.
-4
Suppose 0 = 2*s - 4*j - 496, 0*j - 1037 = -4*s - j. Let l be s/54 - (2 - 40/18). Solve 3*n - 12 = -a, -5*a = l*n - 30 - 0 for a.
3
Let c(n) = n**2 - 7*n + 6. Let v be c(6). Let g be (-4)/(-8) + (v - (-6)/4). Solve o - 13 = 4*d, -d + 2 = g*o + 3 for d.
-3
Let b = -53 - -43. Let k be (b/6)/(3/(-18)). Solve -k = -5*c - 5, -5*j - 2*c = 13 for j.
-3
Let k(l) = 3*l**2 - 34*l - 35. Let q be k(-1). Solve 2*w - 4 = -q*f, 2*w = -3*f - f for f.
-2
Let r(g) = g**3 - 9*g. Let l be r(3). Solve 0 = 5*o - 2*s - 15, 5*o - 5*s - 47 + 17 = l for o.
1
Let o = 18 + -30. Let t be (-16)/o + 8/12. Solve l - 2*g = 2*l + 4, -2*g = 2*l + t for l.
2
Let z be (-1)/(1 - (-12)/(-10)). Suppose -z*b = -2*b. Suppose -5*s + 10*s - 75 = b. Solve -v - 2*f + s = 0, -2*f = 3*v - 5*f for v.
5
Let d = -112 - -114. Solve -4*y - 4 = 4*c, -d*c - 4 = -3*y - 12 for y.
-2
Suppose -11*p + 118 + 168 = 0. Suppose 0 = -3*l + c + 10, 3*c = -9*l + 4*l + p. Solve 6*i + 2*d = 2*i + l, 0 = 5*i + 3*d - 5 for i.
1
Suppose 0 = 3*i + 6, 2*i = -5*f + 5*i + 171. Suppose 0 = -4*j - j + 80. Let k = f - j. Solve -3*t = -t + r + 11, -5*t - k = -r for t.
-4
Let n = 189 - 184. Solve 0 = -5*w + n*i, 3*w + 0*w - 5*i - 4 = 0 for w.
-2
Let y(p) = -p**3 + 30*p**2 - 56*p + 4. Let k be y(28). Solve 0 = 5*l - k*b + b - 22, 5*l + 10 = -5*b for l.
2
Suppose g + 2*r - 4*r = -3, -5*g + r - 42 = 0. Let p be 5/(-15)*g + -4. Let t be p - -11 - (6 - 5). Solve 3*w - 6 = w + 4*j, -j = w + t for w.
-5
Suppose -17*a = 2*f - 18*a - 11, -5 = 5*a. Solve 3*b - f = -4*j, -5*b + 1 = -j + 8 for j.
2
Let x(y) = -y - 11. Let w be x(-15). Suppose 2*r - 22 = w. Let j = 10 + -6. Solve -i + r = -3*t + j*i, 5*i - 17 = 2*t for t.
4
Suppose 0 = 3*h + h + 16. Let l be (-3 - (0 + -2))*h. Let j(b) = b + 7. Let v be j(-5). Solve -10 = -l*u - 2*r, v*r + 0 = -3*u + 5 for u.
5
Suppose 3*y - 15 = -2*y - 5*t, 5 = 4*y - 3*t. Suppose y*d + 4 + 12 = 0. Let n be 50/6 + d/24. Solve -3*k = 5*u - n*k - 10, -5*u = -2*k - 7 for u.
1
Let k = 246 - 243. Let n be (-4)/22 - (-138)/33. Solve -y + x = n, x = k*y - x + 9 for y.
-1
Suppose -4*o + 7*o - 81 = 0. Let a be 0 - (o/(-3))/(-3). Let q(m) = m**2 + 2*m. Let c be q(a). Solve -x - 2*l + 4 = -3, -c*l = -9 for x.
1
Let s(u) = -3*u**3 - 2*u**2 + 7. Let t(m) = -4*m**3 - m**2 + m + 6. Let v(d) = -3*s(d) + 4*t(d). Let f be v(-1). Solve 5 = -r + 3*h + f, 2*r + 5*h = 6 for r.
3
Suppose 2*s - 5*i - 6 = 0, -2*s + 0 + 20 = 2*i. Let j = -402 - -404. Solve 2*p - s = 4*v, 3*v + j*p + 1 = 6*p for v.
-3
Let f = 6 + 155. Suppose 20 = 166*s - f*s. Solve 5*h + 13 = -d, 3*h - 6 = s*d - 0 for d.
-3
Suppose 3*s = 8*s - 10. Suppose -4*p + m = -29 - 7, p - 3*m + s = 0. Let x = p + -8. Solve -2*t - 2*a + 3 = t, 5*t + x*a - 9 = 0 for t.
3
Let c = -19 + 22. Suppose 8*m = c*m + 110. Let y = 25 - m. Solve 0 = -y*r - 3*u, -r + u = -7 + 17 for r.
-5
Suppose 3*w + 3 = 3*q, -7 = -w - 3. Solve -4*n + 4*k + 8 = -6*n, 0 = 2*n - q*k + 8 for n.
-4
Let o = -60 - -77. Suppose 3*q - w - 17 = 0, -w - 11 = -4*q + 11. Let s = 15 + -11. Solve s*y + q*g = 0, -5*y + 0*y = 2*g - o for y.
5
Let v = 168 + -163. Suppose -29 = -w - 27. Suppose 5*j - 18 = -3. Solve -3*d - w*m + j*m - v = 0, -3*d = -5*m + 25 for d.
0
Let t be (-10)/(-6)*288/160. Solve -t = o, 0*o = -q - 2*o - 11 for q.
-5
Suppose 61 = 5*l - n, 2*l - 3*n + 9 - 36 = 0. Let t = 4 + l. Let v = t + -13. Solve 3*h - 9 = 4*h + 2*s, h + v*s + 14 = 0 for h.
1
Let a = 935 - 916. Solve 2*y - 5*y + a = -2*o, 0 = 4*o + 3*y - 7 for o.
-2
Suppose -22 = -3*j + 2*d + 5, 0 = -2*d. Suppose 2*q = -1 + j. Solve q*o + 16 = -5*r, -4*o + 1 = 3*r + 17 for r.
0
Suppose z = 3*h, 6*z - 3*h + 6 = 7*z. Let f(c) = -c**2 - 10*c - 11. Let j be 46/(-6) + (-2)/6. Let s be f(j). Solve s*a = -20, d - 2*a = z*d + 6 for d.
1
Let z(n) be the first derivative of -n**3/3 - 3*n**2/2 - 12. Let p be z(0). Solve -d - 4*h - 9 = 0, 2*h + 3 = d - p*h for d.
-1
Let s(r) = -5*r - 23. Let l be s(-5). Suppose -3*i = 5*w - 109, -w - 7*i + 13 = -l*i. Solve 2*o + w = 5*d, 1 = -0*o + o for d.
5
Let f = -544 + 548. Solve 0 = -m - 5*j, -f*m - 5*j - 17 = -2 for m.
-5
Suppose -26 - 34 = -4*o. Suppose 2*u - 14 = 6*q - 2*q, -5*q - o = -2*u. Solve 5*n = 20, 4*m = -4*n + 1 - u for m.
-5
Suppose -1 = r - 4. Solve 2*h + 2*h + 26 = -r*n, 0 = 4*h + 20 for n.
-2
Let q be (-3)/2*(-6)/9. Solve -6 = 4*o - 2*r, -2*r + 0 = o - q for o.
-1
Let h(r) = 4*r - 5*r + r**3 + 4*r**2 - r + 5*r. Suppose 4*u = 3*i - 9, 2*u + 4 = 2*i - 0. Let f be h(u). Solve 2*y - 5*m - 23 = 0, 0 = -f*y - 4*y + m + 1 for y.
-1
Suppose -4*i - 12 = 0, 9*i = 2*t + 8*i - 25. Solve s + 1 = 4*c, -3*s + t = -c - 5*s for c.
-1
Let f = 18 - 13. Let x = -11 + 20. Let n be (-10)/4*((-448)/(-20))/(-7). Solve 5*c = -3*p + n, 2*c - x = -f*p - 2 for c.
1
Let d = 210 + -205. Solve -k = -2*z + 16 - 7, 25 = -d*k for z.
2
Let j = -5 - -7. Suppose 3*m = -4*s - 2*m + 35, -j*s = 3*m - 15. Suppose -r + s = 2*r. Solve -t + r*a + 0*a = 19, 5*t + 4*a + 8 = 0 for t.
-4
Let a be (2 + (-1)/3)*3. Let l be (3/2)/(-6*5/(-80)). Suppose -7*s + 15 = -l*s. Solve a = s*j, -3*j + 6 = r - j for r.
4
Let o(g) = g. Let j be o(4). Let b be j/(-6) + (-93)/9. Let p = b - -11. Solve 0 = -4*f - 5*m + 5, p = -5*f + f + 4*m + 32 for f.
5
Let h(q) = q**3 + 6*q**2 + 3*q + 2. Let z be h(-6). Let j be -4*(-4)/z*-3. Solve 2*c + 13 = k, -j*c = -k + 4*k - 3 for c.
-4
Let s = -71 - -119. Let b = 7 + s. Let y be (-6)/9 - b/(-15). Solve -5*m + y = -o - 8, -3*m = 3*o - 3 for o.
-1
Let g(z) = -4*z - 1. Let a be g(-4). Suppose -3*w = -0 - a. Let n(k) = -k**3 + 4*k**2 + k - 1. Let q be n(4). Solve -y - 10 = -w*x, -y + 2 = 4*x + q for x.
1
Let u(c) = -21*c + 110. Let k be u(5). Suppose -4*q - 1 = -5. Solve 5*t = 5*n + 35, k*t + n + q = 18 for t.
4
Let h(p) = -30*p**3 - 2*p**2 - 2*p - 1. Let k be h(-1). Suppose 5*q - 3*a + 0*a = k, -5*a - 35 = -5*q. Solve -3*v = -2*v - 4*m - 17, -q*v = -5*m - 24 for v.
1
Let p(l) = -2*l**2 - 14*l + 24. Suppose 15*g + 41 + 79 = 0. Let c be p(g). Solve 2*y - c = 0, 0 = -h - 0*h + 4*y - 11 for h.
5
Let j(o) = -o**2 - 7*o + 3. Suppose 3*f + 16 + 5 = 0. Let u be j(f). Solve 0 = -u*w + 4*a - 28, 0 = w - 2*w - a for w.
-4
Let l = 740 - 542. Let c = 7 + -3. Suppose -5*k + l = -c*w + 2*w, 3*k - 134 = 5*w. Solve -3*v - 11 + k = 4*s, -1 = -2*v + 3*s for v.
5
Let r be (16/6 - 2)/((-8)/(-72)). Suppose c - m = 6, 3*c + 2*c + m - r = 0. Solve -