Solve 4*y - 20 = 0, -30 = 5*z - 2*y + a for z.
-5
Let w(v) = -2 + 2 + v + 1. Let t be w(1). Let j = 14 + -9. Solve 2*s = 5*n - 25, -j*s - n - t*n - 16 = 0 for s.
-5
Suppose 5*n + 13 = -7. Let p be 1/n - 340/(-16). Solve y + 5*d + 30 = 0, 5*y + d = -p - 9 for y.
-5
Let y be -6*(2 - (-5)/(-3)). Let d be -8*y/(-8)*-2. Solve 2*h - 4*h + d*c = 2, -4*c = -4*h for h.
1
Suppose 0 = -24*s + 19*s + 25. Solve 0 = 2*m + h - 2 - 0, s*h + 4 = 4*m for m.
1
Suppose 3*o + 1 = 2*h - 1, -2*o - 1 = -h. Solve -c + u = 3, -c + 2 - h = -5*u for c.
-4
Let i = -7 + 9. Suppose 2 = -i*b - 0*b. Let s = 1 + b. Solve 0 = 5*q - s*v - 3*v - 24, -2*q = -5*v - 21 for q.
3
Let a = -12 + 9. Let m be a/(-3)*-9*1. Let f = -4 - m. Solve 3*j + 0*j = 2*c + f, c + 4 = 2*j for j.
3
Let n = 43 - 40. Solve n*d - 5 - 9 = q, 0 = -5*d + 20 for q.
-2
Let u be (1 - -1*9) + 1. Let b = u + -21. Let o = b - -14. Solve 5*w - o*a = -17, 0 = 2*w + 5*a - 3 - 10 for w.
-1
Suppose 0*a + 9 = f - a, -f + 3*a = -15. Solve -s + 3*u + 19 = -f*s, 4*s + 4*u = -20 for s.
-2
Let m(f) = f - 2. Let n be m(4). Solve 4*s + 0*t - 16 = -4*t, s + 5 = n*t for s.
1
Suppose -4*i = 4 - 0. Let u = i + 1. Suppose -2*h + 2 = 3*w, -h + 0*w + 1 = -3*w. Solve -5*o - 1 = -4*x, u = -3*o - 5*x + 28 + h for o.
3
Let m be (5 + 1)*8/12. Solve 0 = 2*b - 0*l + 4*l + 2, 5*b - m*l + 19 = 0 for b.
-3
Suppose 2*l - 3*m = -10, 0*m = -4*l + m. Let x be ((-4)/8)/(l/2). Let w be ((-24)/(-15))/(x/(-5)). Solve -2*g - 4*r = w, r = -0*g - 5*g + 16 for g.
4
Let i = -2 - -3. Suppose 6 = t - i. Let s(d) = d**2 - 6*d - 3. Let u be s(t). Solve 4*y - 24 = -2*j, 5*y + j - 5*j - u = 0 for y.
4
Suppose -4*x = -3*x - 2. Suppose 0 = 3*z - x*z - 11. Solve 0 = -v + w + 2*w - 13, -5*w + z = v for v.
-4
Let v be (1 + -2)/(2/(-4)). Solve 3*l + 4 = -v*a, 0*l - 2 = a - 4*l for a.
-2
Let d be 4/26 - 8/52. Let a(q) = 0 + 3*q + 1 + q**3 + 0*q**3 + 4*q**2. Let f be a(-2). Solve -3*z - 3 = d, -4*z + z = 4*v + f for v.
0
Let x = 51 + -49. Solve x*v + 3 + 12 = 5*q, 5 = -2*q + 3*v for q.
5
Let n(o) = -o + 5. Let r(d) = -d + 5. Let g(c) = -6*n(c) + 7*r(c). Let m be g(0). Solve j + 0*a + 8 = 2*a, 3*j + m*a - 20 = 0 for j.
0
Let h(i) = i**3 + 16*i**2 - 17*i + 3. Let s be h(-17). Suppose 17 = -3*a - 10. Let c be (-75)/(-27) + (-2)/a. Solve -q = -s*b - 11, -c*b - 5*q = 32 + 3 for b.
-5
Let y be 2/(2/1) + -28. Let j be 6/(-21) + y/(-21). Let f(z) = 4*z**2. Let x be f(j). Solve -3*s + 2 = h - 0*h, -16 = x*h for s.
2
Suppose 0 = -4*z + 4 + 4, z - 2 = 3*t. Solve 12 = 3*k - 3*y - t*y, 1 = k + 2*y for k.
3
Let k(r) = -2 + r**2 + 4*r**2 - 11*r + 4*r**2 + r**3. Let w be k(-10). Suppose x - w = -x. Solve 0 = 3*t - 5*f - 27, 3*t - 6*f - 18 = -x*f for t.
4
Let s be 3/12 + (-177)/(-12). Suppose -s = 2*f - 7*f. Solve 5*n - 24 = 2*v, f*v - n + 0*n = -10 for v.
-2
Let n(t) = 3*t + 2. Let d be n(1). Let b = 7 + -2. Solve b*l = 4*s - 17, 9 = d*l + 4*s + 42 for l.
-5
Let z = 103 + -63. Solve -3*o - 5*m + z = -0*m, -2*o = -2*m for o.
5
Suppose 7*l - 4*i - 12 = 5*l, -l = -i - 4. Solve n = -0*n + 2*o + 4, -2*o = l*n + 10 for n.
-2
Let s(a) = a. Let x be s(6). Suppose 5*j + 4*d + 45 = 0, -d + x - 31 = 4*j. Let w = j + 9. Solve 3*r - 29 = -4*z, -w*r = -z - 5 - 2 for z.
5
Suppose 0 = -0*r - 4*r - 92. Let t = r + 37. Solve -h + s = -2*s, -t = -5*h + s for h.
3
Suppose 0 = 4*n - 27 + 19. Solve -2*u - 2*u - 2*p = -8, -n*u = -5*p - 28 for u.
4
Let c be 4/3*(-60)/(-8). Let k = c - 6. Solve -11 = -3*u - 4*l, -k*u - 2*l = u - 9 for u.
1
Let x(d) = -d**3 + 5*d**2 + 2. Suppose 6*l - 15 = l, 2*l + 14 = 4*j. Let a be x(j). Suppose 5*p = 4*p. Solve p = -4*c + f - 4*f - 3, -12 = 2*c - a*f for c.
-3
Let r(v) = -2*v - 1. Let f be r(-3). Suppose 13 + 82 = f*o. Solve 5*d + 3*u = -o, -5*d + 4*u = -0 - 2 for d.
-2
Suppose 15 = -5*c, j + 2*c - 5*c - 21 = 0. Suppose -5*h + j - 2 = 0. Solve 0 = -3*z - k - 8, 5*z - 5*k = -h*k - 18 for z.
-3
Let a = -367 - -372. Suppose 3*w - 36 = 3*x, 0 = 2*w + 2*x - 25 - 15. Solve -3*n - a*o + 16 = -w, 28 = 2*n + 5*o for n.
4
Let o(s) = s**2 - 4*s - 7. Suppose 5*y - 20 = -7*b + 2*b, 3*y - 18 = -4*b. Let j be o(b). Solve 0 = -4*v + l + 2*l + 14, j*v + 2*l - 29 = 0 for v.
5
Let v(t) = 29*t**2 - 5. Let y(u) = -2*u + 9. Let x be y(7). Let b be v(x). Let q be (-2)/7 - b/(-70). Solve -5*s + q*s - 15 = 5*k, 6 = 2*k + 2*s for k.
0
Suppose -2*x + 0 = -8. Suppose 2*b + 2*n - 39 = 3*n, 4*b = x*n + 88. Solve -2*c - 19 = 4*l - 1, 2*c - 3*l - b = 0 for c.
1
Suppose 2*a - 11 = -7. Solve -o - o + m - 9 = 0, -3*m = a*o + 13 for o.
-5
Let n be -3 + 0 + 2/1. Let v be n*((-3)/(-3) - 4). Suppose 3*o - 3*w - 12 = 0, -16 = -o + 2*w + v*w. Solve -5*g - 2*i = -o - 19, 2*g = 5*i + 8 for g.
4
Let d be 0 - (1 + (-1 - 1)). Suppose 35 = -3*z + 41. Solve -3*v = 2*o + d, z*v - o + 3*o = -4 for v.
3
Suppose -14 = -2*c - 2. Solve 0 = -3*y - 3*o - 3, c*o = -5*y + 4*o + 7 for y.
3
Suppose 15 = -2*u + 7*u. Let y(t) = -t**2 - 3*t**2 + 3 + 2*t**2 - t**2 - t + t**3. Let g be y(3). Solve 26 = 2*f - 4*b, -u*f - 3*b = -g + 6 for f.
3
Let u be -2 - 0 - -39*1. Solve 4*g + 27 = 4*f - 7*f, 0 = -5*f - 4*g - u for f.
-5
Let l(z) = z**3 - 11*z**2 + 2. Let w be l(11). Suppose -k + 3 = -w. Solve 3*i - 2*x + 10 = 0, -3*i + x = i + k for i.
0
Let f(y) = -3 + 0*y - y + 1. Let p be f(-4). Let a(q) = q - 2. Let u be a(p). Solve u = -3*x - 3*m - 15, x - m = -3*x - 5 for x.
-2
Suppose 6*o - 2*n = o + 27, 3*o = 2*n + 17. Suppose 0 = u - 4*u. Suppose -3*q - 28 + 85 = u. Solve -3*p = -5*m - 2*p - q, m - 1 = o*p for m.
-4
Let o be 2/8*(-24)/(-30)*10. Solve o*f = 5*a - 28, 0*f = 5*a + 5*f for a.
4
Let o = -28 + 35. Solve 3*l + 5 = 2*v, 2*v - 2 - o = -l for v.
4
Let j(x) = 1 - 3*x - 2*x + x**2 - 3*x + 1. Let h be j(8). Suppose 1 = -p + 2, -2*y + 28 = 2*p. Solve 2*u + h*s = 3*s - 7, -s = -4*u - y for u.
-3
Let r be 35/15 + (-1)/3. Let t be (r*9)/(8/(-16)). Let o be (t/10)/((-6)/20). Solve b + 4*s - 11 = 0, s + o = 5*s for b.
-1
Suppose 10*y - 33 = -3. Solve y = -2*r - z, 3*r + 9 = 2*r - 2*z for r.
1
Let v(i) = -i + 2. Let s be v(-1). Solve -5*b = w + s*w + 18, 4*w - b = -6 for w.
-2
Suppose -4*b + 84 = 5*r, 0 = -0*b - b + 3*r + 4. Solve -5*w = -2*c + b, -c = -w + 2*w + 6 for w.
-4
Let o = -6 + 11. Suppose -o*n - 4*a = -11, 13 = 7*n - 3*n - a. Let z(y) = -y**3 - 5*y**2 - y. Let b be z(-5). Solve -h = 2*v + 4, n*v + 0 = b*h + 7 for h.
-2
Let z = 22 - 21. Solve -3*b - 3 = -0*g - 3*g, 0 = -b - 3*g - z for b.
-1
Let m = 7 - 11. Let k be (-42)/8 - (-3)/(-4). Let j = m - k. Solve s + 8 = 2*p, 4*s + 2*p + j = -0*s for s.
-2
Suppose -3*p + 15 = 0, -4*p + 15 = -5*q - p. Let d = 1 - q. Let l be 38/9 - (-4)/(-18). Solve 4*h = 5*s - l, -2*h - 1 - d = -3*s for s.
0
Suppose 4*r - 5*y - 1 + 11 = 0, -2*y + 4 = -5*r. Solve r = -5*b + 4*i + 32, -3*i + 7 = b + 3*b for b.
4
Let f = 99 + -78. Solve q + 3*r = -q + f, -2*r + 10 = 0 for q.
3
Suppose 4*r = 6 + 14. Suppose i = t - 1 + r, -2*i = -5*t + 4. Solve -4*j - 22 - 2 = -4*l, 2*l - i = j for j.
-4
Let c(i) = -i**2 - 23*i + 82. Let o be c(-26). Solve 5*s - 12 = -o*z, 5*s - 10 = -5*z - 0 for z.
-2
Let w be (-2*1)/((-3)/18). Suppose -3*p + 0 + w = 0, -3*j = -2*p - 10. Solve 4*z - 2*l + 10 = 0, -3*l = 5*z - j*l + 11 for z.
-4
Let k be (-3 + 7/2)*-12. Let q(u) = 1 - 19*u - 5 + 18*u. Let t be q(k). Solve -2*s = s - 4*w + 16, 3*w - 12 = t*s for s.
0
Suppose -7 - 11 = -3*r. Suppose -4*a + r*a - 6 = 0. Let v(p) = p**3 - 4*p**2 - p + 4. Let t be v(4). Solve -31 = -a*g - 4*l, t = 4*l + l - 20 for g.
5
Let j = 21 - 12. Let u be (3/j - 1)*-45. Solve 0 = -3*x - m + 1 - 15, 5*x + 3*m = -u for x.
-3
Let o be (-35)/(-11) - (-4)/(-22). Solve 2*s = 2*n - o*s - 7, 0 = 4*n + 2*s - 2 for n.
1
Suppose 0 = 2*z + 2*k - 22, 2*z + 8 - 42 = k. Solve 0 = 3*h + 5*m + 10, -3*m - z = 4*h + 2*m for h.
-5
Let m(x) = x**3 + 15*x**2 + 4. Let v be m(-15). Solve 2*g - 2*b = -0*b - 14, -v*b = 2*g - 16 for g.
-2
Suppose 2*k + 9 - 13 = 0. Solve -4*o - 1 = -3*s - 8, -k*s = -3*o + 5 for s.
-1
Let f = 5 - 3. Suppose 12 + 4 = 4*v. Solve 4*r = -v*m - 4, -6*m + f = -m - 2*r for m.
0
Let c = -13 + 16. Solve 2*f = -2*i, f = -3*i + i - c for f.
3
Let p(b) = 6*b + 1. Let g be p(1). Suppose -g*z = -2*z - 45. Suppose 5*t - 16 - z = 0. Solve t*x + 50 = -5*u, x + 4*u + 30 = -x for x.
-5
Let u = -9 - -14. Suppose a + 0*b = -u*b + 2, -5*a + 3*b + 10 = 0. Solve -g = 4*g - 2*q