t**3 - 9*t**2 - t + 10. Let k be x(9). Let l be 24*(1/3 + k). Suppose 5*j = -l + 92. Solve -d - 3 = 3*o + 2*d, -3*o = -2*d - j for o.
2
Suppose -x - 5 = 3*c + 1, -5*c = x + 12. Solve s + x*s - 37 = -5*w, w - 17 = -4*s for s.
3
Let r = -14 - -17. Let w be -4 + 2 + (r - 1). Solve -20 = v + 5*j, -2*v - 3*j - 8 - 4 = w for v.
0
Suppose -m + 64 = i + 4*i, 20 = 5*m. Solve 3*c + 5*g + i = 0, g = -4*c + 5*g + 16 for c.
1
Let i(o) = 2*o**3 - 8*o**2 + 7*o. Let d be i(3). Solve -5*s + 10 = -d*m, 5*s - 5*m - 21 = s for s.
-1
Suppose -m + 18 = -7*m. Let r be 10 + (-1 - m - 4). Solve x + 3*x - r = 5*l, 5*l + 32 = -4*x for x.
-3
Let q(z) = -z**2 - 8*z + 12. Let s be q(-9). Solve -s*j - 3*i = -0*i - 18, 4*i - 3 = 3*j for j.
3
Let y = 10 - 5. Suppose y*o = 13 - 3. Let m(w) = -4*w - 2. Let n be m(-1). Solve 5*i = o*i - 2*a + 22, 2*i + 2 = n*a for i.
4
Let s be ((-2)/(-6) + -2)*-3. Solve -p - s*v = 0, 2*v = -3*p - p for p.
0
Let g(s) = -4*s - s**3 + 3*s**2 + 2*s**3 + 0*s + 3. Let a be g(-4). Suppose -a*t = -7 - 5. Solve 0 = -3*z, -4*k = 3*z - 4*z - t for k.
1
Let o = 55 + -54. Solve -3*x + 2*v + o = -4, -4*x = 2*v - 2 for x.
1
Let l be (-6)/14 - 186/(-42). Solve 5*v + b = -9, -4*v + 2*b = -3*v + l for v.
-2
Let k be (8/(-10))/((-4)/10). Suppose 0 = k*s + 2*d - 10, 0 = s - 5*d + 2 - 7. Solve -4*t + 20 = -5*o + t, 0 = o + s*t + 4 for o.
-4
Suppose 3*g + 29 = -4*x, 23 = -g - 0*g - 4*x. Let l(q) = -4*q + q + 6*q + 4 + q**2. Let h be l(g). Solve -h*n = 4*u - 8, -9 + 22 = 2*u + 5*n for u.
-1
Let b(u) = u + 1. Let g be b(5). Suppose 0 = g*d - d - 20. Solve 4*k + d*x + 16 = 0, 0 = -2*x - 2*x for k.
-4
Suppose -9 = -4*g + 15. Suppose 0*v + 3*v - g = 0. Solve -5*o - 1 = y, -y = -v*o + 4*o - 2 for y.
4
Let j(w) = -3*w - 2. Let m be 2*(-4 - -3) - 6. Let t = 6 + m. Let b be j(t). Solve -2*k + 4*k - 5*q + 12 = 0, -b*k = -3*q - 4 for k.
4
Let t(w) = -3*w + 23. Let o be t(7). Solve -4*n + o*b = 10, -5*b + 11 = -5*n - b for n.
-3
Suppose 2*b = 0, 3*b = -2*a + b + 6. Solve 14 + 9 = -3*m + 4*c, 5*c - 25 = a*m for m.
-5
Suppose a = -3*a + 16. Let h be 5/4*(a - 0). Solve -4*w + h + 2 = -3*c, -3*w = -4*c for w.
4
Let v = 5 - 0. Suppose v*a = 6*a + 1. Let g be (a/3)/((-2)/30). Solve s = -0*l + 2*l - 2, 4*s = -5*l + g for l.
1
Let t be (12/5)/(2 + 32/(-20)). Solve -4 = -2*y - y - 2*i, 0 = y - 4*i - t for y.
2
Let b be (-4)/(2 + 0) - -5. Suppose -b*l - 2 = -17. Suppose 0 = -0*d + l*d - 20. Solve -v = 5*h - 30, d*h + 4*v + 13 = 53 for h.
5
Let y = 1 + -8. Let q be (-2)/(-4 - y/2). Solve 2*b + 0 = -w + 1, w = -5*b + q for b.
1
Let f(t) = 4*t + t + 3 + t**2 - 3*t. Let j be f(-2). Suppose j*l - 7 = 2. Solve l*c + 5*q + 37 = 0, -2*c - 5*q + 17 = -10*q for c.
-4
Let p(y) = y. Let q be p(4). Suppose q*l - 12 + 4 = 0. Let d(g) = 5*g + 2. Let w be d(l). Solve w = 3*s, -s - 8 = 5*m - 2 for m.
-2
Suppose h = -i + 31, -i - 2*h + 12 + 23 = 0. Solve 3*w + 11 = -w - 3*d, 5*d + i = 2*w for w.
1
Let v = 1 + 2. Suppose d = -4*w + 18, 2*w - 3*w - v*d - 1 = 0. Solve -w*l - 15 = 0, -2*l = 2*h - 0 + 6 for h.
0
Suppose 5*n - 2*r + 6 = 3*n, 0 = 3*n - 2*r + 6. Solve n = -5*v + v, 0 = p - 2*v - 4 for p.
4
Let h = 2 + -11. Let r = h - -11. Solve 6 = 5*a - 3*f + r, 8 = -5*a - f for a.
-1
Suppose -z + 6 = 1. Solve -2*g - 8 = 2*q, -z*g + 0*q = 4*q + 16 for g.
0
Let j(w) = -w**2 + w**3 + 13*w - 2*w**3 - 13*w. Let l be j(-2). Solve -2*c + 5 = -5*x - 0*c, l*x + 6 = 2*c for x.
1
Suppose 0 = 2*a + 2*a - 3*m - 43, 4*a + 4*m - 8 = 0. Suppose 5*t + 6 = a*t. Suppose 2*v + 0*v = 10. Solve t*r + y = 4*y + 9, v*r = 4*y + 10 for r.
-2
Let s = 143 + -140. Solve -s*b = 5*f + 17, 7 = 4*b - b - f for b.
1
Let x(i) = i**2 - 2*i + 2. Let o be x(4). Let d(s) = s**3 - 10*s**2 + s - 8. Let p be d(o). Solve -5*u = 5*r, -p*r + 6*r = -2*u - 8 for u.
4
Suppose 3*p - 13 = j, 2*p + 5 + 5 = -4*j. Solve p*g + 29 = -4*t, -4*g = 2*t - g + 19 for t.
-5
Suppose -4*j + 5*d - 4 = -14, 0 = -2*d - 4. Let q = j - -3. Suppose q*m - 6*m = -3. Solve -v - 7 = 2*h, -4*v - 9 = -h + m for v.
-3
Let m be 8/(-4)*-4 + -3. Solve -13 = -4*c + n, -c - 6*n + 2 = -m*n for c.
3
Let p(s) = s + 5. Let n be p(-4). Let c be 2/(-2)*1 - n. Let t be 10/(c + 2 - -2). Solve t*x + 5 = -2*r - 2, 0 = -2*r - 3*x - 1 for r.
4
Let b = 12 - 18. Let x(c) = 10*c - 3. Let r be x(b). Let l = -19 - r. Solve l = -3*v - 5*g + 7, 5*g = 5*v - 5 for v.
-4
Let s be (-10)/(-35) - (-18)/(-14). Let x = 30 + s. Solve k - 7 = -h - h, 0 = 5*k + 4*h - x for k.
5
Let t(g) = 8 - 9*g**2 + 8 - g - g**3 + 18*g**2 - 5. Let u be t(9). Solve 0*a - 5*z = 3*a - 3, -26 = 5*a - u*z for a.
-4
Let v be (-2)/8 - 588/(-48). Suppose 5*q - 2*q - v = 0. Solve -q*i + 2 = n + 20, -3*i - n = 14 for i.
-4
Suppose -11 = -z - 10. Let a be z*((-15)/(-3) - 0). Solve -a*r - u + 8 = -4*r, 4 = 2*r - u for r.
4
Suppose 4*f + 20 = 0, 3*f = -0*t - t - 18. Let u = -5 - t. Let i = u + 2. Solve 4*q + 2 + 8 = 3*a, -a - 2 = i for q.
-4
Suppose 0 = 2*c - 0*c - 6. Let h(g) = -g**2 - 8*g + 9. Let i(x) = -2*x**2 + 4*x - 3. Let r be i(3). Let j be h(r). Solve j = 5*p - c*b + 6, p + 4*b = 5*b for p.
-3
Let q(v) = v**3 + 3*v**2 - 2*v + 8. Let i be q(-4). Solve -2*p + 2*h - h = i, -14 = -p - 3*h for p.
2
Suppose 3*h - 6*h = -12. Solve 2*v + 4 = 2*c - 5*c, -h*c + 4 = 5*v for v.
4
Let j = -50 - -50. Suppose -g = -0 - 2. Solve -2*n + 4*s = -0 + 6, 2*n + g*s - 6 = j for n.
1
Let q = 7 + -10. Let j be 4 + q + 3 + -2. Solve 0 = -3*z + j*g + 12, 0*g + g = -5*z + 20 for z.
4
Let l be (-7)/(-3) - 2/(-3). Let m(q) = q**3 - 6*q**2 + 8*q - 6. Let v = -10 - -15. Let j be m(v). Solve -2*x = l*n - 13, -x - n + j = 3*n for x.
5
Suppose 2*j + 2*j = 0. Let t be 4 - (0 - (-1 + j)). Solve -5*v = 5*d - 5, 2*d + 5*v = -1 + t for d.
1
Suppose 4*j + 0*j = 8. Suppose 2*k - j = 4*p + 20, 5*p = 2*k - 23. Suppose -r - 1 = 0, -3*i + r + 2*r + k = 0. Solve 3*y - 8 = o + 4*o, -i = -2*y for o.
-1
Suppose -4*z - z + 15 = 0. Suppose -h = z*h + 8. Let s be (1/(-2))/(h/20). Solve q + 13 = s*o, 4*o - 5*o - 5*q - 13 = 0 for o.
2
Suppose 3*r = -5*g + 18, 4*g + r + 11 = 31. Let m(j) = 1 - 3*j + 5*j + 5*j + j**3 - 3 - 7*j**2. Let f be m(g). Solve -k = f*q - 3, -5*k + 5*q - 10 = -0*k for k.
-1
Suppose b = 3*q - 7, -2*q = -7*q - 5*b + 5. Suppose i - q = -0. Solve -i*n = 5*x - 24, -2 = -x + 2 for n.
2
Suppose 4*r + r = -5. Let v be 6 - (-3)/(4 + r). Solve 3*j + u + v = j, -j = u + 3 for j.
-4
Let s be 3/(-2)*40/(-12). Let t be (-115)/(-25) + (-3)/s. Solve -1 = -3*j - t*z, 6*j = 2*j + z - 5 for j.
-1
Suppose -i - 3*z = -60, 0 = z + 4*z + 25. Suppose -5*b + 25 = -i. Let s = 38 - b. Solve -3*u + s = 3*m, -4*m = 10 - 30 for u.
1
Let x = -14 - -21. Solve -4*u = -3 - 5, 4*u = 5*z - x for z.
3
Let d be (-2)/7 - 2256/42. Let c be (3 - 2)/((-3)/d). Suppose 0 = 4*y + y - 25, -y = -2*h + 11. Solve -5*k = -3*n - c, 0 = -5*n - 0*k + k - h for n.
-1
Let i = -2 - -4. Suppose 8 = -l + 4*r, -24 = -i*l - 2*r - 0*r. Let u = l + -4. Solve -3*v + 7 = -0*s + u*s, 14 = 5*s + 2*v for s.
4
Let z be -1*(-3)/9*30/2. Solve 5*o = -y - z, -2*o = o for y.
-5
Suppose 0*l = l + 36. Let i be 8/l - 29/(-9). Solve i*z - 3*v = 18, 2*v = -6 - 0 for z.
3
Suppose k + 0*b - 7 = -2*b, 5*b = -3*k + 18. Let f be k/2 - 295/(-10). Solve 0*x - 5*t = x - f, -3*t - 5 = -4*x for x.
5
Suppose 0 = -2*z - 0*z. Solve 4*r + o - 16 = 0, z = -2*r + 5*o - 4 + 12 for r.
4
Suppose -x = 5*h + 115, -3*h + 4*x = -h + 68. Let l be (2/(-6))/(4/h). Solve 4*z = -2*g + 5*z + l, -5*g + 11 = -z for g.
3
Let y = -75 + 75. Solve 5*d = -5*j - 20, 0 = 5*j - y*d + 3*d + 22 for j.
-5
Suppose 0 = x + 4*x. Suppose -3*s + x + 9 = 0. Let r = 8 + -4. Solve r*a - d - s*d - 24 = 0, 0 = -3*a + d + 16 for a.
5
Let c = -51 + 59. Solve 0 = 3*m + u + c, m - 3 + 1 = 2*u for m.
-2
Let g(b) = 0*b**2 - 5*b**2 - 7*b + 4*b**2. Let q be g(-7). Solve q = -4*z + x + 14, -2*z + 6*z - 8 = 4*x for z.
4
Let a(l) = -l**3 - l**2 + 2*l + 8. Let r be a(-2). Solve 3 = 3*i - 4*g + g, -g + r = 2*i for i.
3
Suppose -f + 0 = 2. Let l be -1 - -3 - 6/f. Suppose 3*z - 2 = 4. Solve -d + 2*a = -2, d - a - l = z*a for d.
-4
Suppose -3*t + 5*h - 3 = 0, -3*t + h + 6 = -h. Let u(r) = -3*r. Let c be u(-1). Let n be 9/3*2/c. Solve t*b - n*m = -7 + 1, 4*b = -m + 9 for b.
1
Let r(b) = -b**2 + 8*b - 7. Let y be r(6). Solve -2*l + y*n = -22, 2*l - 4*n = 3*l + 15 for l.
1
Let x = -31 + 33. Solve 5*q + 16 = -x*