 Solve -3*k = 4*z + 35, -2*z - n = z + 2*k for z.
-5
Let d(y) = -y**3 + 8*y**2 + 15*y - 13. Let k be d(10). Let g be (k/28)/((-3)/8). Suppose 3*o + 0 - 9 = 0. Solve -4*i - 3*a + 8 = 0, 0*i - 3*a + g = o*i for i.
2
Let f(y) = -1 + 0*y + y**3 - 2*y**2 + 4 - y + 0*y**3. Let h be f(3). Suppose -2*l - 1 + h = 0. Solve 2*g = 2*x, 5*x - 4*g - l = 2*x for x.
-4
Let x(l) = -2*l**3 + 1. Let a be x(-1). Solve 3*d = 3*s + a, -s - 3*s - d = -16 for s.
3
Let c = 4 + 9. Suppose 4*j - 36 = -4*z, 6*j - 3*j = 5*z - c. Solve 0 = k - 2*q + 3*q - 2, 0 = -5*q - z for k.
3
Let n = 8 + -3. Suppose n*q + 2*g + 2*g - 4 = 0, -16 = 4*g. Solve 8*p = -y + 4*p + 8, 0 = q*y - 2*p + 22 for y.
-4
Let d = 6 + -5. Suppose -3*v - 2 + 6 = -4*n, -3*n = -v + 3. Let i be 12/6 + 2 + n. Solve 3*l - m - d = 8, -i = m for l.
2
Suppose 4 = -2*w + w - k, 0 = 4*w - k + 26. Let h be 2/w + (-116)/(-6). Let n = h - 13. Solve -12 = -0*q + q + 5*d, -d - n = -q for q.
3
Let n(z) = -16 + 2*z + 2*z - 6*z. Let s be n(-8). Solve s = v - 4*l + 13, -v - 2*l = -0*l + 1 for v.
-5
Let g be -1 - (-2 - -2 - 0). Let f be (1 + 4)*g*-1. Solve -5*x = 3*s + 12, -2*s = -7*s + f*x + 20 for s.
1
Let b(r) = -r**3 + 4*r**2 + r. Let o be b(4). Solve 4*q - 21 = h, -h = o*q - 6*h - 41 for q.
4
Let l = -301 - -455. Suppose 5*n = l + 1. Suppose 0 = 5*h - 15 - 0. Solve 4*a = h*g - 7, -3*a = -0*a + 5*g - n for a.
2
Let z(n) = -n - 1. Let f be z(-6). Suppose -2*y + 49 = 3*y - 3*r, -5*r = -f*y + 55. Solve -3*d + 3 = 0, -3*w - 20 = -y*w - 5*d for w.
3
Suppose 0 = -6*p + 8*p - 6. Solve j = 3*m, j - p*j = 2*m for j.
0
Let l be (-15)/(-2)*(-10)/(-15). Solve t + 11 = 3*f, -11 = l*t - 5*f + f for t.
1
Suppose -10 = -4*p - 3*h, -3*p + 0*h + 2*h = -16. Suppose p*o + o = 0. Solve 5*j - 9 + o = -r, 4*j - 7 = -r for j.
2
Suppose 4*n - 35 = -83. Let h = -6 - n. Solve -2 = -f, -3*f + h = -z - 0*z for z.
0
Let h = -8 + 25. Let c = 28 - h. Let y = -3 + c. Solve y = -4*d - d + k, -5*d - 4 = -3*k for d.
-2
Let y be ((-5)/(-15))/((-1)/(-3)). Suppose l + y = -2. Let i be (-1)/(-3) - (-1)/l. Solve -5*b + 2*z = -19 - 6, i = 4*z for b.
5
Let h be 348/8 + 1/2. Suppose -h = -f + g - 4*g, -48 = -2*f + 2*g. Let t = f + -15. Solve -v - 26 = 4*l + v, -4*l - t = -2*v for l.
-5
Let t(a) = -a**3 - 14*a**2 + 14*a - 5. Let x be t(-15). Solve 0*q = 4*q - 16, 3*q - x = m for m.
2
Let q be (-8 - 1)*5/(-15). Let s = 2 - 2. Suppose 3*x - 10 = 4*z, q*x + 2*z + 3*z - 1 = s. Solve 0 - 4 = 2*h, -m - x = -h for m.
-4
Suppose 2*p - 3*h = 17, 0 = 2*p + h - 8 - 5. Suppose -p*x = -2*x - 10. Suppose -x*l = l - 9. Solve v = l*v + 5*z - 25, 22 = 2*v + 4*z for v.
5
Let k be (6/9)/((-10)/(-45)). Solve 5*w - 2*h - k = 0, 5*w - 8 = -h - 2*h for w.
1
Let z(o) = 4*o - 5 + 0*o - 3*o. Let p be z(6). Suppose g + p - 6 = 0. Solve 3*n = 4*w - 32, -g*n - 22 = -3*w + 13 for w.
5
Suppose -22 = 2*r + 3*w, -2*w - 3 = -0*r - r. Suppose -c = 2*c + 24. Let s be (c/(-2))/(r/(-10)). Solve p - s = 4*p + h, 4*p = -4*h - 8 for p.
-3
Let v be (-1 - -2) + -4 + 6/2. Solve v = -w - 3*p + 11, p - 3 = 3*w - 16 for w.
5
Let t be ((-4)/12)/(3/(-36)). Solve -t*y - 21 = 5*f, 30 = -y + 6*y - 5*f for y.
1
Suppose -3*o + 6 = -2*v, 2*o = -3*o + 5*v + 10. Solve -3*y - 3*c = -18, -o*y + c - 4*c + 17 = 0 for y.
1
Let x(f) = 6*f**2 + 2*f + 1. Let v be x(-1). Let l be 1 - (1 - (3 - 2)). Solve v*y - 4*m - l = 2, 4*m = 12 for y.
3
Let m be (-42)/(-4) - 1/(-2). Suppose -5*c = m - 31. Solve -p + 4 + c = 5*f, -3*f - 3*p = -12 for f.
1
Suppose -2*w + 8 = 2. Suppose w*d = 7*d - 16. Solve d*f + 5*u - 13 + 37 = 0, -f + 3*u = -11 for f.
-1
Let a = 0 - -2. Let h = 4 - a. Solve 4*o + 4*j = -4, -h = o - j + 3 for o.
-3
Suppose 4*o + 1 = 13. Solve 4*i = 5*l + 2*i + 19, -11 = o*l - i for l.
-3
Let i be -2 - -3 - (4 - 6). Let a = 0 + -1. Let q = i + a. Solve 0 = -4*u + r - 14, -5*u = -0*r + q*r + 24 for u.
-4
Let a = 13 + -9. Suppose -l - 2 + a = 0. Solve -2*h + 3*t = -0*t + l, 0 = t + 2 for h.
-4
Let j(c) = 5*c**3 + 2*c**2 + 5*c + 4. Let d(v) = 6*v**3 + 3*v**2 + 6*v + 5. Let x(t) = 4*d(t) - 5*j(t). Let n be x(1). Solve n*q + q = -4*s - 15, q = s for s.
-3
Let k(d) = 2*d - 2. Let n be k(-4). Let f be ((-4)/n)/((-2)/(-10)). Suppose 0*p + f*p - 10 = 0. Solve -2*w + p*y - 2 = 0, -y + 0 + 1 = -w for w.
-1
Let n = 4 - -6. Let p = -5 + n. Suppose 3*d = p*d. Solve g = 5*w - 3*g, d = 3*w - g for w.
0
Let d = -2 - -5. Let k be (14 - 5)/(1/4). Let w be (-1)/((-4)/k*1). Solve j = d*m - w, -2*j - 6 = -0*j for m.
2
Let s(f) = -f**3 - 8*f**2 - 7*f + 3. Let h(x) = x**3 - 5*x**2 - 8*x + 5. Let r = -12 + 18. Let c be h(r). Let w be s(c). Solve -2*l = l - w, j + 5 = 2*l for j.
-3
Suppose -o + g = 4*g - 16, -o + 4*g - 12 = 0. Solve -j + 3*j = 0, -4*h + o*j = 8 for h.
-2
Suppose 0*z - 20 = -4*z. Suppose -s = 3 - 6. Solve -z*b + s*h + 21 = 5*h, -4*h - 13 = -b for b.
5
Let b = -30 + 41. Let v = b - 11. Let f be 1 + (-2)/((-2)/3). Solve i = 5*i - 4*w - f, -3*w - 6 = v for i.
-1
Suppose 3*i + 1 = 4*i. Suppose 2*s - 1 - i = 2*d, 2*d + 3*s = 18. Solve -d*q + 5*h + 23 = 0, q - 4*h - 10 - 7 = 0 for q.
1
Suppose 14 = 2*b + 2*p, 0 = -p + 1 + 4. Suppose 7 = -b*w + 3*m, 4*m - 16 = -2*w - 2*w. Solve -4*y = 4*j - w - 11, -2*j + 4 = 4*y for y.
-1
Let k(q) = 15*q - q**2 - 7 - 2*q + 0*q**2. Let i be k(12). Solve -i*r = 10, -6*b - 6 = -3*b - 3*r for b.
-4
Let t = -97 + 100. Suppose 0 = -3*h + 10 + 8. Let l = t + h. Solve 2*s + 3*j = -l, -3*j = -0*j + 3 for s.
-3
Suppose -o - 26 = -4*s + 4*o, 2*s - 3*o = 14. Solve 2*a - 15 = -d + 2*d, -15 = -s*a - d for a.
5
Suppose 3*g = -3*w + 42, w - 2*g = 10 + 7. Let m be (-3)/w + 155/25. Solve y = 5*b + 21, 0 = -3*y - m - 6 for b.
-5
Let r(j) = -7*j**3 - 10*j**2 - 15*j - 3. Let f(y) = -y**3 - y - 1. Let m(a) = -6*f(a) + r(a). Let q be m(-9). Solve 3*l - 16 = -5*c, 0 = 2*c - q*l + l for c.
2
Let d(c) = 3*c - 3. Let x be d(-3). Let j = -8 - x. Solve j*g + 5*y = 1 + 4, 4*g - y = -25 for g.
-5
Let n = -97 - -99. Suppose -2*d = 3*d. Suppose k + 2*k = d. Solve -5*s = 5*t + 15, k = -n*t + s + 3 for t.
0
Let i = 13 - 11. Suppose 11 - 1 = i*c. Solve 4*q + 8 = -4*n, -c*q - n = 3*n + 9 for q.
-1
Suppose -2*c = -c - 4. Solve -4*w + 4 = -c*x, -5*w + 2 - 7 = 0 for x.
-2
Suppose 0*x + 2*x = 2*p + 4, -3*p - 30 = 5*x. Let n be (x/9)/((-4)/48). Solve 4 = 2*z + h, -z + 17 = 2*z - n*h for z.
3
Let o = -112 - -137. Solve 0 = -3*z + 4*p + 8, 5*p + o = 0 for z.
-4
Let i be 10/2 + 3/(-1). Solve -24 = 3*n - 4*l, l - i*l + 3 = 0 for n.
-4
Let s = 24 + -22. Solve -w + 3*w - 1 = -3*q, 4*w = s*q + 26 for q.
-3
Let s = -2 + 5. Let w = 19 - 14. Suppose -4*y + 88 = 3*h, 5*y - 145 = -2*h + 7*h. Solve -y = -2*c + s*o, -53 = -w*c + 2*o - 18 for c.
5
Suppose 4*x - 5 = 5*h, -3*h - 3 = -2*x - x. Solve -2*f = -x*f + 3*d - 5, 2*f - 5*d = -3 for f.
1
Let f = -100 - -100. Solve f = 4*q - 0*q + 4*d + 20, 0 = 3*q - d + 15 for q.
-5
Suppose 0*f = 3*f - 12. Solve 5*w - 2 = -3*i + 8, f*i = w - 2 for w.
2
Suppose -22*a + 70 = -8*a. Solve -b = 2*q + 1, 4*b + 2*q + a + 5 = 0 for b.
-3
Suppose 5*n = -0*h + 3*h - 70, 0 = 2*n + 10. Solve -3*g + 12 = 4*a, h = -2*g + 3*g + 5*a for g.
0
Suppose 3*z - 7*z = 0. Solve 5*g = 4*l + 4 - 1, z = -4*g + 2*l for g.
-1
Let h be (-2)/(-6) + (-164)/6. Let i = 32 + h. Solve 4*b = -2*f - 22, i*f - 3*b - 20 = 2*b for f.
-1
Let y = 38 + -27. Suppose 3*h - 3*n + 2*n = y, -12 = 4*h + 4*n. Solve 5*k - h = -4*d, 0 = -d - 0*k + 4*k + 11 for d.
3
Let w be ((-6)/(-10))/((-1)/(-5)). Solve 3*u + w + 2 = t, -4*u - 4 = -2*t for t.
-4
Let t be -3 - (1 + 2)/3. Let q = 8 + t. Solve -q*y = -20, -3*c - 3*y + 27 = -0*y for c.
4
Let h = 11 + -9. Let i be 3 + h - (-1 + 0). Solve -4*u - 2*n + i*n + 8 = 0, 0 = u + n - 6 for u.
4
Let o = -23 - -44. Solve -3*q - 17 = -4*x, 3*q - 8*q + 3*x - o = 0 for q.
-3
Let n(w) = w**2 + 8*w - 19. Let x be n(-10). Solve -5*m = -2*q + 21 - x, -8 = -2*q - m for q.
5
Let t be 7/2*(-16)/(-14). Solve -2 = -2*i - g, t*i - 2*g - 20 = -0*i for i.
3
Suppose -5*z - 3*x + 94 = -x, 5*z + x - 97 = 0. Solve 0*h + h = 4, 4*h = -4*d + z for d.
1
Suppose 4*m = k + 2, -3*k = m - 2 - 5. Solve 0 = -k*c, -5 = -a - c + 6*c for a.
5
Suppose 2*m + 5 = 2*p - 3*p, -3*m - 15 = -p. Solve 0 = 2*l - 4*o + 2, 0*o - 7 = p*l - 2*o for l.
-3
Let c(w) = -w**2 + 4*w + 11. Let g be c(5). Let u(j) = -j + 14. Let t be u(g). Solve r = 2*k + k - t, -3*k + 9 = 0 for r.
1
Suppo