
Let j(u) = u**3 - 7*u**2 + u - 2. Let m be (-3)/6*2*-7. Let p be j(m). Solve -h + 5*t = 4*t, 0 = -p*t - 20 for h.
-4
Let q = -4 - -8. Solve 4*c + q*i = -20, -4*c + 16 = -6*c - 5*i for c.
-3
Let k be 6 - 9 - 2*2. Let u be 1/k + (-232)/(-56). Solve -4*x = -2*c - 16, u*c = -x + 2*x - 18 for x.
2
Let c(m) = -m**3 - 9*m**2 - 11*m - 9. Let p be c(-8). Solve 15 = 2*s + 2*j + j, -p = -4*s - j for s.
3
Suppose 2*o - 77 = 5*g - 0*o, 5*g + 2*o = -73. Let c = g + 18. Solve -2*d = c*q + 4, 2*d = -q + 2*q + 4 for q.
-2
Suppose 0 = -i + x + x, 0 = -3*i + 5*x + 1. Solve 4*o - 3*c + 5*c + 4 = 0, i*o + 3*c + 6 = 0 for o.
0
Let d(u) = 11*u + 1. Let c be d(-1). Let x be (-88)/c - 3/(-15). Solve -4*p + 2*l = 9 + x, 5*l - 29 = 2*p for p.
-2
Suppose 4*c - 25 = -5. Solve 5*t - t - c*v - 6 = 0, t + 4*v + 9 = 0 for t.
-1
Let y = -41 + 49. Solve -5*z - 6 = -2*o - 2, -4*o - 5*z = -y for o.
2
Let j = 14 - 12. Suppose -j*y - 5*r + 8 = -y, y - 29 = 2*r. Solve 0 = -0*i + 4*i - q - y, 4*i = 4*q + 32 for i.
5
Let k = -17 + -3. Let m be 0/1 - (k + 2). Solve 4*g = -3*n + 5 - 1, -5*g = -2*n + m for g.
-2
Let q = -26 + 29. Solve -q*w + 2*w - 6 = -2*y, w + 5*y = 15 for w.
0
Suppose -5*f - 5*n - 30 = 0, -f - 4*f - 4*n - 25 = 0. Let i = f - 4. Let l be (-49)/i + 4/20. Solve -5*r + l = 0, 2*w - w - 11 = -5*r for w.
1
Let o be 1 + (4 - (2 + 3)). Suppose z + 3*z + 2*p - 16 = o, -3 = -z - p. Solve 5*d + z*w = 10, -3*d = 5*w - 5 - 3 for d.
1
Let h be (3 - 6)*(-1 - 0). Solve 3*q - 12 = 3*w, -2*w + 2*q + h*q = 20 for w.
0
Suppose 0 = 13*h + 27 - 92. Suppose -7*g + 3*g = -124. Solve 0 = h*i + 3*r + 34, -i - 2*r - g = 4*i for i.
-5
Let w(n) = -n**2 - 5*n. Let t be w(-5). Suppose m - 2*m + 5 = t. Solve -2*c = 4*g + 4, -m*c + 3 = -7*g + 4*g for c.
0
Let r be 3/2 + (-12)/(-8). Solve v - 3*b = -0*b + 10, 4*b + 15 = r*v for v.
1
Let a(w) = -w**2 - w + 1. Let x be a(-2). Let h(z) = -z**2 + 9*z - 9. Let b be h(8). Let i be (-4)/(-1)*b/x. Solve -5*f = i*j + 9, 3*j + 3 - 4 = 4*f for j.
-1
Suppose 14*d - 2*d = 0. Solve -2*n + 6 = -d*n - 4*x, -3*n - 5*x - 24 = 0 for n.
-3
Let o = -4 + 9. Let z be 10*((-12)/10)/(-3). Suppose o = z*c - 11. Solve 1 = v - 2*f, -3*f - 1 - 8 = -c*v for v.
3
Let p(h) = -h**3 - 2*h**2 + h - 4. Let n be p(-3). Suppose -10 = -3*f - 2*f. Solve -j - 1 = n*v, -4*v - j = f*j + 1 for v.
-1
Suppose -6*q = -3*q. Let h(y) = 1 + 1 + y + q*y. Let c be h(0). Solve -3*t + 14 = -v, -t + 5*v = c*t - 10 for t.
5
Let v(i) = 2*i + 1. Let h be v(1). Solve 5*d + h*l = -2, 0 = 5*l - 3 - 2 for d.
-1
Let o = 15 - 11. Let m(t) = -t**3 + 24*t**2 + 6*t - 127. Let w be m(24). Solve 0*y - y - o = -g, -5*y - w = -4*g for y.
-1
Suppose -d + 24 = 4*n, 4*d - 2*n - n = 1. Suppose -d*j - 20 = -9*j. Let c = -3 + j. Solve 9 = -3*x + 3*q, 4*q - c - 15 = 5*x for x.
-4
Let n be 2/5 + (-18)/(-5). Let p = -6 - -10. Suppose 0*t - y = -p*t, 5*y = t. Solve -n*z = 5*w - 4, t = -5*z - 5*w + 5 for z.
1
Let d be (-2)/3 + 40/15. Suppose -m + 0 = -d. Solve 0 = m*x - n - 10, 0*x + 3*n = -3*x + 6 for x.
4
Let w(j) = j**2 - 5*j + 5. Let f be w(5). Suppose 2*g = -2*g - f*r - 12, 5*r = -20. Solve l = -4*p + 5, 3*l - 2*p - g = -l for l.
1
Suppose -a = -5*j + 3 + 4, 4*a = -j + 14. Suppose -8*z = -9*z + j. Solve 4*m - 8*w = -3*w - 15, -4*w = -z*m - 6 for m.
-5
Let n = 5 - 0. Suppose n*j = o - 29, 4*j + o = 7*j + 19. Let g be (14/5)/((-2)/j). Solve -5*f + 29 = -3*w + g, -18 = -5*f + 2*w for f.
2
Suppose 2*j + 2 + 12 = 0. Let q = j + 9. Suppose 15 = 5*u - 5*r, -5*u = -q*r - 18 - 3. Solve 3*c + 8 = 2*f, u*c + 6*f + 6 = 2*f for c.
-2
Suppose 3*w + 4*x + 4 = -0, 3*w - 24 = 3*x. Solve 3*n + k = w*n + 1, -5 = 5*n - k for n.
-1
Suppose -3*n + 0*n - 2*a = 10, a - 1 = 0. Let x = -1 - n. Solve 2*y = 3*h - 1, -x*y + 0*h - 3 = -3*h for y.
-2
Suppose -3*f + p = 33, -5*p + 3*p = -2*f - 18. Let x = f - -15. Solve 5*a + 35 = -5*c, -x*a - c - 20 = -3 for a.
-5
Let k(v) = -v**2 - 3*v + 4. Let c be k(-4). Let b be c*(0 - 3/6). Let y be 5 + (b/(-3))/1. Solve -s + 0*d - 5 = 2*d, -y*d = -4*s + 45 for s.
5
Suppose -5*n + 55 = 6*n. Solve 5*r - n*u = 0, -4*r - 2*u = 3*u + 18 for r.
-2
Let b = 0 + 0. Suppose -21 + 6 = -5*d. Suppose -5*c = 4*v - 28, -3*c + 30 = 5*v + 2*c. Solve -d*g + 2*h + 6 = b, -v*g + h = 3*h - 4 for g.
2
Let x(w) = -w**3 + 5*w**2 - w + 5. Let a be x(4). Suppose 0 = -3*r + i + a, 4*i + 18 = 5*r - 22. Solve -d - 2 = -f, 3*f - 24 = r*d - 7*d for f.
5
Let f = 6 + -8. Let h be 0 - 0 - (1 + f). Suppose -2*n + h = 3*s - n, -20 = 4*n. Solve -21 = 3*r + 2*r - c, -2 = -s*c for r.
-4
Let k(f) = -f**3 + f + 18. Let v be k(0). Let d be (3*-1)/(-1 + 0). Solve -4*y + v = 2*x, -d*y - 2*y = -25 for x.
-1
Let v(h) = h**3 - 3*h**2 + 3*h - 4. Let x be (2 - 3) + (7 - 3). Let w be v(x). Solve -2*c - 11 = g, 0 = w*c + 5*g - 2*g + 30 for c.
-3
Let f = 8 + 2. Suppose -g - f = -3*g. Solve 5*p = 25, r + p = g*p - 21 for r.
-1
Let x(d) = -d + 2. Let w be (-9)/(-3) + (1 - 2). Let f be x(w). Suppose -2*g + 3*u - 4 = 0, -g + f*u = 2*u - 12. Solve g*q = b - 2 - 11, q + 2 = -b for b.
1
Suppose h = -3*h + 8. Solve -h*o = -0*o + b - 2, -2*b = -4*o + 20 for o.
3
Suppose -35 = -2*v - 11. Let m = v - 10. Solve -q + 3 = p + p, m*p - 4*q = -22 for p.
-1
Let t(k) = 0*k + 0*k + k - 3. Let y be t(3). Solve 2*d = -y*n + 3*n - 3, 5*n - 9 = 2*d for d.
3
Let b = -8 - -12. Suppose -o - 9 = -b*o. Solve 3*f + f - 4*l + 4 = 0, o*f + 23 = -2*l for f.
-5
Let c = 1 - -8. Let r = -9 + c. Solve -3*a + 12 = p + 2*p, -4*p + 3*a + 2 = r for p.
2
Suppose -5*b = a + 89, 2*b + 2*b + 70 = -2*a. Let o be (b/5)/(4/(-10)). Suppose -2*y - y = -o. Solve 2*r = -2*u + 4*r + 4, -y*r + 15 = 4*u for u.
3
Suppose -4*f + 9 = 3*h, 0 = -f - 3*f - 4*h + 12. Suppose f = 2*a - 9 - 9. Solve 3*t + a = 0, t = -4*v - t - 22 for v.
-4
Suppose -f - 83 + 87 = 0. Solve f*r = 5*b - 32, 3*b + 11 = -5*r + 2*b for r.
-3
Let d = -18 - -37. Let m(a) = -a**3 - 12*a**2 - a - 12. Let y be m(-12). Solve y = -t - 4*s - d, 2*t - 2*s + 22 = -6*s for t.
-3
Suppose 0*g = 3*g - 15. Let d = -1 + 4. Suppose d*q - 4 = -g*f + 20, q - 6 = -f. Solve 5*y = -q*m - 15, 5*m - y = -0*y + 3 for m.
0
Let m = -9 - -1. Let r(p) = p**2 + 9*p + 17. Let g be r(m). Suppose 2*t = 6*t. Solve 0 = 4*a - 4*w - w + 12, t = -3*a + 2*w - g for a.
-3
Suppose -p + 54 = -4*p. Let w = -13 - p. Solve -1 = -w*b + r + 2, b - 9 = 3*r for b.
0
Suppose 7*o + 3*o = 30. Solve n + 3*d = 10, 5 = -o*n - 2*n - 4*d for n.
-5
Let t be 2 - (-6)/((-9)/3). Suppose -5*d = 4*n + 29, 5*n + t*d = -4*d - 34. Let q be (n/(-5))/((-6)/(-40)). Solve 0 = 4*s + 3*c - q, 2*s - 8 = -2*s - c for s.
2
Let k be (-12)/10*(-20)/12. Solve x - 5*r - 11 = 0, 4*r - 1 = k*x - 11 for x.
1
Let m(a) = -a + 15. Let x be m(7). Solve -x = -4*l, 4*b - 3*l = 3*b - 2 for b.
4
Let h be (-1 - -1)/(4 - 5). Solve g + 5*f - 16 = h, 0 = -2*g - g - 3*f + 12 for g.
1
Let t(s) = 5*s + 2. Let u be t(7). Suppose 23 = 2*r - 4*k + 3, 3*r + k - u = 0. Suppose 0*l = 3*l - r. Solve 8 = -3*g - l*w + 3*w, 0 = 5*g + 2*w + 15 for g.
-1
Let v = 8 - 11. Let r be (0 + v)/(-3)*3. Solve -3*i + d + 16 = -r*d, 4 = -i - d for i.
0
Suppose t - 5*p = -10, 2*p + 1 = -t - 2*p. Let s be (-2 - t) + -2 + 1. Let k be 0/((1 - s)/(-1)). Solve -c - f = 0, 3*f + 6 + k = 0 for c.
2
Suppose 0 = 3*a + 1 + 2. Let i = a - -1. Suppose -2*d + 5*q + 27 = i, -q + 4 = -d + 13. Solve -2*n - d = 2*s - 0*n, 2*n = s for s.
-2
Suppose 18 = 3*b - 0. Solve q = -4*g - 0*g - b, -5*g - q - 7 = 0 for g.
-1
Let n be -1 - 3*(-11 + 4). Suppose -z = -2*a - 6*z - 10, 0 = -5*z - n. Solve y = 4*y - 6, 0 = -b + a*y - 11 for b.
-1
Suppose -p + 7 = 5. Suppose 0 = -0*y - p*y + 6. Solve -4*n + 1 = 3*b, y*b + 6 = 3*n - 0*n for b.
-1
Let t be (35/28 + 2/(-8))/(-1). Let a(u) = -4*u**2 + 4*u**2 - 2*u - 1 - 2*u**3. Let b be a(t). Solve b*s - 12 = z, -5*z + 2*s - 20 = -3*s for z.
0
Suppose -m - 2 = -3*m. Suppose -y + 6 = -5*z + 21, -z - y = 3. Solve d = z*l + 2*d - m, 13 = l - 2*d for l.
3
Suppose j + 3*p = -j - 21, -5*j - 3*p - 48 = 0. Let d = j + 14. Let w(a) = a**2 - 1. Let o be w(1). Solve 4*h + 22 = -d*k, o = -h - h - 3*k - 12 for h.
-3
Let u(q) = -6*q**3 - 2*q**2 + 1. Let l be u(-1). Let x(s) = -l*s + 0*s - 5 + s + 2*s. Let v be x(-6). Solve 5*c - a - 2 = 0, -v = -4*c - 0*c - a for c.
1
Let r(f) = -f**2 - 3*f - 4. Let o be r(-3). Let z be -5*1 + 5 + o. Let q be (-13)/z + 2/(-8). Solve 0 =