= -37*z**3 + z. Let d be g(b). Let j be ((-2)/8)/(3/d). Solve 5 = k - 0*k - v, -j*k + v + 11 = 0 for k.
3
Let v(s) = s**3 + 16*s**2 + 13*s - 30. Let f be v(-15). Solve f = 3*d - t - 4, 4*d - 7*t = -2*t + 9 for d.
1
Suppose 4 = -5*d - 2*y + 2, -3*d - y - 2 = 0. Let w = 448 + -446. Let c = d + w. Solve -2*i - 3*q + 2 = c, 2*i + q + 8 = 2 for i.
-5
Let z be (-6)/(-4)*4/(-3). Let f be 1/(-1) - (1 + -4 + z). Solve -5*m - 2 = q - 10, f = -2*q for m.
2
Suppose 190*s + 126 = 199*s. Solve -12*z + 9*z = -3*g + 3, z + 2*g = s for z.
4
Suppose -2*i - 1 = 2*s - s, -3 = -3*i + 3*s. Solve -14 = -i*b - 3*b - 5*o, 2*b + 3*o = 9 for b.
3
Suppose -2*m + 1 + 7 = 0. Solve -m*a - 14 = -2*q, 2*a + 3*a = -q - 14 for a.
-3
Suppose -10*r = 4 - 24. Solve 2*l + 10 = -r*m, -l + 8*m + 13 = 3*m for l.
-2
Let p(v) = -3*v - 5. Let w be p(-5). Let j = 20 + -1. Suppose 2*c - 3*m + j - 4 = 0, -4*c = 2*m - w. Solve c = -4*l + 2*f - 0*f + 20, -10 = -l + 3*f for l.
4
Let b(i) = 2*i**2 - 12*i - 49. Let v be b(9). Solve -2 = -v*s + a, -3*s - 4*a = -a + 6 for s.
0
Suppose p - 3*p + 24 = -2*m, 2*p = -4*m + 6. Let i = 11 - p. Suppose 2*b - 8 = -v, b + i*b - 5 = -5*v. Solve -2*s = 4*a - 6, 5*s - b = -3*a - 4 for a.
2
Let b(v) = -v**3 + 22*v**2 + 4*v - 85. Let n be b(22). Solve -9 = -3*w, -n = -r - 2*w + 8 for r.
5
Suppose 13*m - 41 = 11. Solve -2*l - 4*s = 6, 0*l + s + 15 = m*l for l.
3
Suppose i + 5 - 9 = 0. Let f be (i/(-6))/((-3)/72). Solve -2*u + x + 7 = -4*u, -2*x = 5*u + f for u.
-2
Suppose -9*l - 180 = -54*l. Solve 2*s + 4 = -2*b, -2*b - 3*b = -l*s - 35 for b.
3
Let q be 4*3*4/6. Let n be 3 - 2/(-1) - 2. Suppose 4*b - 3*d = -6*d, 5*b + n*d - 3 = 0. Solve -2*p = m + q, -p + b*m - 4 = -0 for p.
-4
Let q = -27 - -25. Let n be 4 + -1 + q/(4/(-38)). Let c be 7*(2 + -1 + 1). Solve 4*m + c = l, -m - 3*m = 3*l + n for m.
-4
Let m be 9027/357 - (-4)/(-14). Solve 5*b - m = -5*d, 4*b = 4*d - 0 - 4 for d.
3
Let z be 5 - (-4 + 20/4). Let f be z - ((-1)/(-1))/(-1). Suppose -5*y + 5 = f*v, -5*v - y + 21 = -0*v. Solve 0 = q - 5*r + 28, -7*r = v*q - 3*r - 5 for q.
-3
Suppose -167 = 7*a + 1. Let q = -10 - a. Solve -2*v - q = 5*f, 0*v + 5*f + 17 = -v for v.
3
Let x(h) = h**2 + h - 9. Let f be x(3). Solve -f*q + 4*i + 9 = 0, -2*q + 5*q + i + 6 = 0 for q.
-1
Suppose -2*k = 4*h + 8, 3*h - 48*k - 20 = -43*k. Solve h*u - 1 = -4*u + 3*n, n - 1 = 0 for u.
1
Suppose -6 = -4*g + 2, -22 = -5*w + 4*g. Suppose 4*h = w + 2. Suppose 0 = -0*b + h*b - 34. Solve 2*x - 5*l + b = -x, 5*x = -5*l + 25 for x.
1
Suppose z - 21 = -4*q, -15*q + 18*q + 4*z = 19. Solve l - 3*j = 2 - 4, -q*l - 5*j = 10 for l.
-2
Let n = 5 - 0. Suppose -52 = -4*w + 24. Let m(d) = d**2 - 19*d + 9. Let i be m(w). Solve -j + i = 4*b, -b + 2 + 5 = n*j for j.
1
Suppose 3*n + 24 = 42. Suppose 2*r = -2 + n. Solve b + 5 = a + r*b, 2*a - 3*b = 0 for a.
3
Let o be ((-21)/6)/(-7)*0. Suppose 2*s + o*s - 32 = 0. Solve -5*g + 2*n = -s, -n + 14 = 4*g - 4 for g.
4
Let j be (-4)/(-8)*(-6)/3*-4. Solve k - 8 = j*k + 4*p, -5*p - 11 = 4*k for k.
-4
Let q(n) = n**3 + 6*n**2 - 28*n + 6. Let l be q(-9). Solve -y + 3*g - 6 = -20, 0 = -5*y + 4*g + l for y.
-1
Let a = 32 + -30. Suppose 0 = z - 3*x, -z = -4*z + a*x. Suppose z = -q - 2*t - 3, 3*q - t - 13 = 4*t. Solve 20 = 5*o + 4*i, 2*i - q = 2*o + 9 for o.
0
Let u be (8/(-28))/((-6)/42). Solve 3*k = w + 20, 0 = -u*k + 5*w - 9 + 44 for k.
5
Suppose 0 = -3*u - 9, -m - u - 54 + 55 = 0. Solve j = -3*g - g + 21, -g + j = -m for g.
5
Let a(l) = -3*l + 37. Let v be a(12). Let g be v*10 + ((-1)/(-1) - 3). Let r = 10 - 5. Solve 4*m + 2*b - g = 0, -4*m + 13 = -r*b - 23 for m.
4
Let p(j) = 4*j - 15. Let y be p(5). Suppose 5*d + 31 = 4*h + 4*d, -2*h + y*d + 11 = 0. Solve -4*q = -4*i + 4, h*i = 3*i + 4*q + 2 for i.
-2
Let h be -35*1*(-54)/(-63). Let x be 154/30 + 4/h. Solve -1 = -3*u - o, 0 = -u - o - x + 2 for u.
2
Suppose -28 = -3*x + 2*x. Suppose -x = -9*w + 8. Solve 35 = w*l - 5*s + 2*s, s = 4*l - 25 for l.
5
Suppose 4*w - 1 = 5*c - 41, 4*w = 0. Let i = 4 + 12. Let p = -11 + i. Solve 0 = -m - p*u + 19, -4*m = -0*m + 3*u - c for m.
-1
Let w = 13 - 1. Suppose -s + 21 = 2*s. Let h = w - s. Solve 0 = -5*d + 2*p + 3*p + 25, -h*d - p + 25 = 0 for d.
5
Let o be -5*2*4/20. Let x(c) = -16*c**3 + 1. Let g be x(1). Let q be (10/g)/(o/12). Solve 0 = 5*t + 4*d - 8 - 3, 0 = -q*t + d + 13 for t.
3
Let o = 159 + -36. Let x = -108 + o. Solve u - 6 = -c, 4*u - x = -0*c - c for c.
3
Let z be (-2)/(-8) + 42/56. Let n(w) = -w**2 - z - w + 2 + 0. Let r be n(0). Solve 2*j + 3 = 3*c, 2*j + c = -0*c + r for j.
0
Let s be (-1)/((-12)/(-15) - 1). Suppose 6*o = 4*y + 3*o + 12, 2*o = -3*y + 8. Solve t - 4*b - 16 = y, 8 = s*t + 4*b - 0 for t.
4
Let y = -8 + 18. Suppose -o = -4*k + 1, 0*k + 4*k = -2*o + y. Let t be o/(-18) + 19/6. Solve s - 7 = 5*s - t*m, -5*s = 5*m for s.
-1
Let p = -137 + 140. Suppose 3*n + 6*r + 9 = r, -5*n + 2*r + 16 = 0. Suppose n*g - p*g + 26 = 0. Solve -2*b - 19 = -h - 7, 0 = 3*h - 4*b - g for h.
2
Let i be ((-6)/8)/((-5)/280). Let j be (-7)/(-2)*24/i. Solve -4*h + 5*h + 3*n - 7 = 0, j*h - 2*n + 2 = 0 for h.
1
Let d be 5*(-2)/(-4)*2. Suppose z = d*z - 52. Let g = 13 - z. Solve -q = o + 2, 12 = -4*o - g*q - 2*q for o.
-4
Let q(l) = -l**2 - 7*l - 1. Suppose 5*s + 10 + 20 = 0. Let x be q(s). Solve 0 = x*m + 4*p + 13, 0*m - 5*p + 35 = -4*m for m.
-5
Suppose -8*u = u - u. Solve -2*h + 4*k + 6 = u, 3*h - k + 11 = -0*k for h.
-5
Let s(m) = -m - 17. Let a be s(-22). Suppose -x - x = d + a, 2*x + 4*d = -20. Suppose 0 = -2*v + 3*v - 3. Solve -n + 18 = -5*j - 4*n, 3*n + v = x for j.
-3
Let q be (-3 - 5/(-2))*-4. Suppose 14 = q*r + 2*o, -2*r + 8 = 4*o - 14. Solve f - r*f = -5*b + 14, -11 = b - 5*f for b.
4
Let v = 896 - 894. Solve h = 2*p - 0*p + 5, -v*p - 23 = 5*h for h.
-3
Let u(s) = 2*s**2 + 10*s + 4. Let h be u(-5). Let x be (2*2)/((-20)/(-30)). Solve 0*o + o = k, -2*k = -h*o + x for k.
3
Let c be (-138)/(-8) - (-11)/(-44). Solve c = -3*l + 2*o, -4*o - 6 = 2*l - 0*o for l.
-5
Suppose r + 4*h - 90 = -0*h, -355 = -5*r - h. Let v = 94 - r. Solve -4*t - 4*x + v = 0, t - 3*x = -3*t + 10 for t.
4
Suppose 0 = 4*t + 2 - 34. Let q = 13 - 11. Suppose q*h = h + t. Solve 5*d - 3*y = -h, -4*d + 0*y + 2*y = 6 for d.
-1
Let n(y) = -y - 1. Let d be n(-6). Suppose -2*x = -x - b + 1, -2*x - d*b = -12. Let z = x - 1. Solve 3*u + 2*j + 7 = z, -4*u + 3*j + 0*j - 32 = 0 for u.
-5
Suppose 0*t - 14 = -2*t. Let f(s) = s**2 - 8*s + 12. Let w be f(t). Solve -w*g - 1 = -2*a, 0 = -5*g - a + 8 for g.
1
Let v be ((-168)/30)/((-10)/25). Solve x + 2*a = v, 3*a + a - 4 = 4*x for x.
4
Let f(n) = n**3 + 8*n**2 + 5*n + 9. Let i be f(-6). Let l = i + -35. Solve 3*o + l = -2*u + 3, 12 = -4*o for u.
-2
Let t = 104 - 102. Solve -2*v + 4*l = -26, v + 7 = -0*v - t*l for v.
3
Let k be -5*(-10)/4*2. Suppose h + 0*w + 3*w = 5, -5 = -3*h + w. Suppose -h*i - 3*i = -k. Solve -10 = -i*t, 3*t + 2 + 2 = -2*s for s.
-5
Let l = -292 + 295. Solve 3*p - 5 = -i, -7*i + l = -2*i + 4*p for i.
-1
Let o be 6 - 5 - (0 - 44). Let m be (-1)/(((-3)/(-24))/(-1)). Let s be -2*(12/m - 3). Solve -2*n - 5*b - o = 3*n, -15 = s*b for n.
-4
Let y = -1450 + 1455. Solve -b = -x - y + 1, -x + 4*b - 10 = 0 for x.
-2
Let h = -6 + -1. Let x be 2 + -4 + (-5 - h). Suppose 0 = 5*a - x*a. Solve -2*w - 3*i = 6, 3*i - i + 4 = a for w.
0
Let x = 54 - 57. Let z = x + 6. Solve -3*v = 4*c - 3, z = -3*v + 2*v for c.
3
Suppose 9 - 29 = -j + 3*p, 5*j - 4*p = 45. Solve -4*m + 18 = -m + 5*n, j*m - 14 = -3*n for m.
1
Let q = 10 + 0. Let l = 73 - 53. Let y = 1 + 3. Solve 0 = -2*z - 4*m + l, -y*m - m + q = -5*z for z.
2
Suppose -23 = -4*i - 3*l, 4*l - 7*l = -3. Solve 0 = 4*j + 4*g + 2 - 18, 0 = -i*j - g + 8 for j.
1
Let n = -21 + 22. Let p be (-2)/(-3 + n) + 4. Suppose 5 = 5*z - p. Solve -3*f = -z*v + 2, -v + 6*v + 5 = 5*f for v.
-5
Suppose 46 = p + 5*u - 41, -264 = -4*p + u. Let z = 71 - p. Solve c + 3*y + 7 = -1, 4*y = -z*c - 8 for c.
1
Let n be 32/(-6)*12/(-16). Suppose 0 = -5*x + n*t - 6, 4*x - 7 = -t + 5. Solve 2*r = -p - 4, x*r - 5 = p + 5*r for p.
-2
Suppose 9 = f + 7. Suppose 7*k + 3 = 24. Solve u + 10 = 5*j, k*j + 0*j + u = -f for j.
1
Let y = -304 - -337. Let h(z) = 3*z**3 + 2*z**2 - z. Let m be h(1). Solve 2*o + 2*r + 6 = -0*o, -m*o = -5*r - y for o.
2
Let w(j) = 3*j - 2. Let d be w(2). Suppose -3*r - 10 = d*o, r + 14 = 2*r