ve 3*i + i + 3*g + 6 = 0, 3*i + s = -4*g for i.
0
Suppose -4*v = -2*i - 64, 2*i = 3*v - 3*i - 41. Let a(o) = -o**3 - 6*o**2 + 6*o - 5. Let q be a(-7). Solve -j + 3 = 0, d + 2*j = -q*j + v for d.
5
Let p = 8 + -6. Solve -3*q - p*d - 15 = 0, q + 4*q - 5*d = -25 for q.
-5
Suppose b + 49 = 8*b. Solve 5*s - 2 = -4*d + 3, d + 4*s + b = 0 for d.
5
Suppose 0 = 22*h - 24*h + 14. Solve -4*n + 5*o = -2, 7*n - 4*n = o + h for n.
3
Let u(k) = k**3 - 6*k**2 + 5*k + 4. Let d be 2 + -4 + 3 + 4. Let r be u(d). Solve q - 11 = r*l + 2, -10 = 5*l + 5*q for l.
-3
Let b be (16/(-6))/(2/(-3)). Let a(o) = o**3 - o**2 - 5*o + 3. Let t be a(b). Solve 5*f = s - 5 + 27, -2*s - 5*f = -t for s.
3
Let o(y) = -1 + y + 7 - 5. Let c be o(4). Solve 7 = -5*v + d - 23, 30 = -v + c*d for v.
-5
Let l be (1/4)/((-5)/(-60)). Let w(y) = -y**2 + 9*y - 10. Let v be w(5). Solve -5*d + v = 4*f, -d - f = -0*d - l for d.
-2
Let s = -2 - -3. Let f = -14 + 17. Solve 3*t - a = a - s, -f*a = -6 for t.
1
Let m = 3 + 6. Solve -2*i - 7 = -5*h + 14, -3*h = -m for i.
-3
Let f(g) = -g**2 - g - 1. Let y be f(0). Let q(s) = 4*s**2 - 1. Let z be q(y). Solve -k - 4*d = 9, 4*k - 2*d = 5*k + z for k.
3
Let y = 23 + -18. Solve 0*j = -y*v - 3*j - 13, -2*j = 2 for v.
-2
Let f(a) = a**2 + 3*a - 2. Let k be f(-4). Suppose k*b = 3*b - 5. Solve 2*x + 2*x = -5*w - 11, -b*x = 20 for w.
1
Let d(i) = 10*i**2 + i. Let z be d(-1). Let f = z - 4. Let k be (4/(-10))/((-11)/110). Solve -3 = -2*h - 3*a, k*h + f*a + 7 = 14 for h.
3
Let u be ((-26)/(-2))/((-2)/(-2)). Solve t + 3*q - u = q, 0 = q - 4 for t.
5
Let g(w) = 2*w - 21. Let z be g(13). Let m = 9 - 5. Suppose m = n - 0. Solve -4*v - 4*x - 11 - z = 0, n*x + 8 = 0 for v.
-2
Let b(m) = 10*m + 5. Let t be b(2). Solve 3*c + 3*x - t = -x, 2*x - 2 = 2*c for c.
3
Let w = 41 + -36. Solve 2*s + 5*b = -10, -w*b - 10 = -s - s for s.
0
Let r(u) = -3*u**3 + 2*u + 1. Let q be 1/(3/6) + -3. Let t be r(q). Solve t*k = 2*m, -4*m + 2 + 8 = -2*k for m.
5
Let m = 21 + -9. Suppose -4*t + 7*t - m = 0. Solve t*q + 4*a + 12 = 0, -1 = 4*q + 3*a + 13 for q.
-5
Suppose -2*d + 4*f + 20 + 2 = 0, 2*f = -4*d + 34. Suppose q - g - d = 0, 4*q + 3*g + 3 = q. Suppose -2 = -2*t + q. Solve -10 = -5*k, -1 = -5*p - 4*k - t for p.
-2
Let t = -21 - -21. Let b be (1 - -4) + (1 - 3). Solve -5*r = 10, t = -2*n - 0*r + b*r + 14 for n.
4
Let x be (-2)/(-4)*(7 + 1). Let c be (x - 0) + 0/(-2). Let f = c - -1. Solve 9*b = 5*i + 4*b + f, i = -2*b + 2 for i.
0
Let q(i) = i**3 - 13*i**2 + 20*i + 26. Let s be q(11). Let o be 1*(0 - (0 + 0)). Suppose o = w - 5 + 2. Solve 0 = -4*b + w*n + 7 - 30, 16 = -s*b - 4*n for b.
-5
Let t = -1 + 1. Solve -4 + t = 4*p + 2*u, -4*p - u = 0 for p.
1
Let u = -5 - -10. Suppose 2*c - 6*c + 20 = -3*v, 2*v + u*c - 25 = 0. Solve 4*w - 2*w = 3*f - 18, v = -4*f + 3*w + 25 for f.
4
Suppose -3*l + 1 + 3 = g, -2*l + 16 = 4*g. Let r be (-4)/3*(-90)/g. Let o be r/4 + (-3)/(-6). Solve -5*b + 2*c = -b + 24, -4*c = -o for b.
-5
Let o be 0 + -1 + 21 + 0. Suppose 5*b + 17 = -4*s - 8, 4*s + 4*b = -o. Solve 5*h + 9 = 3*q - 11, 5*h + 3*q - 10 = s for h.
-1
Let w(t) = -t**2 - 4*t + 3. Let k be w(-3). Let d = k - 3. Suppose -3*v + o + 22 = 0, -2*v + 2*o = -o - d. Solve -g + 22 = 5*n, -v = -3*n - 4*g + 11 for n.
4
Let i = -13 + 18. Let r(y) = -y**3 - 7*y**2 + 5. Let c be r(-7). Solve l = c*l, 0 = 4*n + i*l + 16 for n.
-4
Let h(l) = l**3 + 5*l**2 + 4*l + 5. Let v be h(-4). Let s be -1 - (-7 + (-6)/(-2)). Solve 4*r = -v*f + 18, -f = r - s*f + 2 for r.
2
Suppose -1 = -2*d + 5. Let c be (d/2)/((-9)/(-12)). Solve 5*z - c*y + 12 = z, 2*z + 5*y = -30 for z.
-5
Let d = -91 + 96. Solve -2*s = -d*o - 19, 0*s - s - 5*o = 13 for s.
2
Suppose -34 = -3*b - 10. Suppose -2*n = 2*n - b. Suppose -n*v + 3 = -5*z, -11 = -5*v - 5*z + 14. Solve 3*o - o + 4*s + 6 = 0, v*o + 12 = 3*s for o.
-3
Suppose 26 = -2*t + 32. Solve 3*r + 4*v = 15, t*v - 6 - 6 = -3*r for r.
1
Let y = 11 + -7. Solve -y*n + n + 8 = 5*m, -24 = -3*m + 3*n for m.
4
Let s(o) = o**2 - 11*o + 8. Let h be s(10). Let x be -5*(h/(-5))/(-1). Solve -2*l - x*p = -0*p, 12 = -2*l + 4*p for l.
-2
Let u = -6 + 16. Let m = u + -10. Suppose -4*j + 24 + 6 = 5*y, -50 = -3*y + 4*j. Solve 4*b = -3*p + 2*p - y, -b - p - 1 = m for b.
-3
Suppose 2*b - 4 = -0. Let r(h) = 3*h - 2. Let d = 4 + -1. Let j be r(d). Solve g - 3*g - b*m + 6 = 0, -3*g + m = j for g.
-1
Let z = -54 + 54. Solve 4*h - 2*w + 12 = z, -h - 6*w = -w - 8 for h.
-2
Suppose 13*r + 140 = 8*r. Let o = -26 - r. Solve -k + 2*c = o*k - 7, 1 = 4*k - c for k.
-1
Let y be (-1 + 1)/(9/9). Solve -5*i + 3*d + 17 = y, 2*i - 4*d = d + 3 for i.
4
Let o be 3 - ((-12)/4 + 3). Solve 0 + 2 = 3*m - h, 2*m = o*h + 6 for m.
0
Let j be ((-60)/35)/((-2)/7). Suppose 4*i - 12 = -4. Solve 2*p = -4*c + j*p, -i*p = -2 for c.
1
Suppose -10 = -5*f + 3*v + 6, -4*v = -12. Suppose -3*g + 4 = -8*p + 3*p, 0 = -p + f*g - 14. Solve -5*b - 4*w + 9 = 0, b - 3*w = -w - p for b.
1
Let o(y) = y**3 - 11*y**2 + 7. Let g be 4/18 - 97/(-9). Let p be o(g). Solve 3*a + 16 = -5*r, 3 - p = -r - 3*a for r.
-5
Suppose 0 = -4*j + 4 + 12. Solve 4*c = -0*c - 2*k + 8, j*k = 3*c - 28 for c.
4
Let d be 2/(-8) - (-21)/4. Suppose d*l = 7 + 3. Solve 5*f + l*u - 5 = 4*f, 5 = f + u for f.
5
Suppose 0 = -4*r - r + 675. Suppose 5*g - 162 = 4*n, -4*g - n = -6*n - r. Solve -2*y + 8 = 0, -2*v + 5*y + 8 = g for v.
-1
Let s(u) = -5*u**3 + 2*u**2 + 2*u + 1. Let h be s(-1). Suppose -h*z + z = -5*j - 10, 5*j - 5 = 2*z. Solve 3*w - 1 = 4*k, 2*w - j*k = -2*k + 4 for w.
3
Let x be (1 - 1) + (-11 - -13). Solve 0 = -4*y + 8, 4*b - x*y - 3*y = -22 for b.
-3
Let q be 4 + ((-14)/(-21))/(1/(-3)). Solve 3*n + 4 = -q*x, -5*x - 45 + 12 = -4*n for x.
-5
Let m be 2/10 - 114/(-30). Suppose 19 = -3*y + m. Let t be -1 - -6 - (y + 7). Solve -t*g + c + 28 = -4*c, -4*g - 1 = c for g.
1
Let x(s) = -s + 5. Let o be x(-2). Solve 0 = -0*p + 2*p + u + o, 3*p + u = -10 for p.
-3
Suppose 0 = 3*z + 1 - 22. Suppose 5*t - 3*g = 14, 5*g + 12 = 5*t + g. Let d be 2/t*(-2 - -6). Solve v - z = d*y, -12 = 2*v - 6*v for y.
-2
Let i be (2/(-6))/(1/(-9)). Let c be (-2)/i - 2/(-3). Let v be (9/6 + -1)*c. Solve 5*o + 11 + 3 = -4*h, v = 4*h + 3*o + 10 for h.
-1
Let x be (9/6)/(6/16). Let q(r) = 0*r - r + 2*r. Let h be q(x). Solve -3*y - h*b = b - 37, 5*y = -2*b + 30 for y.
4
Let c be 4/6*(-9)/(-6). Suppose 0 = -r + c + 11. Solve -w = -f + 2*w + r, -5*f + 16 = -4*w for f.
0
Suppose n + 10 = -t, 2*n = t + 6*n - 2. Let f = t - -17. Solve -4 = 3*i - 2*k, -2*i = f*k - 1 - 5 for i.
0
Let l be (1 - 3)*6/(-4). Suppose -t = 5*d - 3, -5*d = -2*t + 3 + 3. Suppose 2*f = 3*h - 5*h + 18, t*h = 5*f - 5. Solve -x + b = 2*b, -f = -l*x - 2*b for x.
4
Let z(p) = 6*p - 12. Let w be z(6). Let j be ((-36)/48)/((-2)/w). Solve 2*x = u - j, 5*u - 6 = 3*u - 2*x for u.
5
Suppose 2*m - 5*w + 16 = 0, -2*m + m - 6 = -2*w. Suppose m*y = -5 - 1, 4*y = -5*f + 3. Solve -a - f*r + 6 = 0, -a - 2*r - 2*r = -7 for a.
3
Let r(b) = 4*b + 3 - b - 2*b + 0*b. Let j be r(3). Solve -i - 2*u = 0, -5*u + j = -i - 10*u for i.
4
Let m(k) = k**2 - 7*k + 3. Let q be m(7). Solve 5*v + 21 = s, -q*v + 3*s - 7 = 8*s for v.
-4
Let k = 7 + -5. Suppose a + k = -2. Let y be (-3 + 2)*(a - 1). Solve -r + 2 = y*i + 7, -3*r + 3 = -3*i for i.
-1
Let h = -2 + 6. Suppose 32 = h*y - 5*w, 4*y = -4*w + w + 32. Solve 0 = -i - j, -i + y = -4*i - 5*j for i.
4
Let z(g) = -g**3 - 4*g**2 - 4*g - 4. Let r be z(-4). Let h be (-2)/(-9) + (-70)/(-9). Let y = r - h. Solve 3*u = 5*s - 16 + y, -4*s + 17 = 5*u for s.
3
Let g = 7 + -5. Solve -3*i - v = -g*i, -i - 4*v = 3 for i.
1
Suppose -5*d - 3 + 8 = 0. Suppose -81 = -4*o - d. Solve w = -t, 2*w + 2*w = t - o for w.
-4
Let y = 65 + -45. Solve 5*k = -y, 2*n - n + 5*k + 25 = 0 for n.
-5
Let y = -7 - -12. Suppose p = -2*a - 1, 5*a = 19*p - 14*p - 40. Solve p = -2*x - 5*f, 2 = -y*f + 7 for x.
-5
Let r(v) = -v**2 + 6*v - 5. Let x be r(4). Let l(w) = 4*w**2 + w + 1. Let j be l(x). Solve 0 = -4*y + t + 20, -5*t + 0*t = -5*y + j for y.
4
Suppose 3*l - 3 = -2*b - 5, 0 = -4*l - 16. Solve -d - 3 = 2*i + 1, 4*d - b*i - 36 = 0 for d.
4
Let l = -1 - 1. Let m(k) = k + 4. Let f be m(l). Solve 31 = -2*o - 5*y, -2*o - f*y + 7*y = -19 for o.
-3
Let t(o) = 3*o**3 + 2 + 0 - 2*o**2 + 3*o - 2*o**3 - 2*o**2. Let r be t(3). Solve 19 = -5*i + 4*k - 5, -r*k + 2 = 0 for i.
-4
Suppose 3*q 