-3
Let s(t) = t**3 + 7*t**2 + 8*t + 7. Let v be s(-6). Let f be v/2*4/(-10). Solve -g + 5 = 4*p, 2*p = -g - 0 + f for p.
2
Suppose 0 = 2*d + 2*m - 4, 5*d + 15 = 2*d + 4*m. Let f be 2 - 2/(d/1). Solve 15 = f*v + u + 5, 10 = v + 4*u for v.
2
Suppose -r = -14 + 9. Suppose -16 = -5*t - 5*f + 4, 2*f + 6 = r*t. Solve 0 = 5*y - 4*c - 24 - 6, 2*c + t = -4*y for y.
2
Let f(l) = l**2 + 4*l + 5. Let u be f(-3). Solve 2*h = n + u*n - 2, -10 = -5*n + 2*h for n.
4
Let a = -8 - -18. Let v = a - 5. Solve -5*h - v*g = 58 - 18, -16 = -3*h + 5*g for h.
-3
Suppose -3*o = -o - 8. Let f be o + -2 - 3/3. Let k be (0 - -2 - f) + 1. Solve -v = k*p + 4 - 0, -3*p = -v - 4 for v.
-4
Suppose 5*u - 19 = -9. Solve u*l + c = -6, -5*l + 3*c - 12 = 3 for l.
-3
Suppose -4*i = -2*i. Solve i = -5*h + 2*w + 3*w + 10, -w = -2 for h.
4
Let z be 4/(-16) - 34/(-8). Solve -5*c + 3*g + 29 = -0*g, 4*c = -z*g + 4 for c.
4
Suppose 27 = -2*k - z, 0*k - k = -3*z + 31. Let o = k - -37. Suppose 0 = 2*f + 3*w - o, 9 + 2 = -3*f + 4*w. Solve 0 = 2*y + f*y + p - 10, 5*p = -4*y + 29 for y.
1
Let m be (-2)/(-6)*(26 - -4). Solve 2*b - 7*b - 21 = -q, 0 = -2*b - m for q.
-4
Let b be (15/(-10))/(6/(-8)). Let f = 2 - -2. Suppose -i + f*c = -2, i = -0*i + c + 8. Solve 4*l + 2*r = b, -l + 0*r - i = 4*r for l.
2
Suppose -4*a = -2*a + 2. Let l be (-6)/a + (-3 - -2). Suppose -4*n = l*p + 20 - 56, 28 = 2*p + 5*n. Solve 5*u - 2*u - 8 = p*v, -5*v - 4*u = -21 for v.
1
Let i = 21 - 15. Solve 2*k = 5*t - 31 + i, 4*t = 12 for k.
-5
Suppose 8*l - 56 = 64. Solve 0 = -u + 4*a + l, -2*u - 2*u - 3*a = 16 for u.
-1
Let v(m) = m**3 - m + 5. Let o be v(0). Suppose -3*s - 6 = y, -y + s = -o + 3. Solve y = t - 7 + 3, -t = 3*w - 10 for w.
2
Let l(q) = -2*q**3 - q**2 + q - 2. Let z be l(-2). Suppose 4*y - 2*y = z. Solve u - y = 0, -n - 2*u = -3*u for n.
4
Let c(n) = n**2 + n - 4. Let y be -1*(1 + -1 + 3). Let j be c(y). Suppose 0 = -6*i + 2*i + 20. Solve -i*x + j*s + 7 = 0, -x + 3*s = -0*s + 9 for x.
3
Let d = -11 - -13. Solve -i - d*x = 2, -5*x - 18 + 3 = 5*i for i.
-4
Suppose 3*q - 1 = -2*s + s, -q = -s + 5. Solve 0*y + 5*y + 15 = 0, -8 = 5*g - s*y for g.
-4
Let u = -25 - -44. Solve 2*g + 5*x + u = 0, 6 = -2*g + 5*g - 4*x for g.
-2
Suppose 0*n + 18*n - 90 = 0. Solve 24 = h + n*v, 3*v - 24 + 0 = -3*h for h.
4
Let l be (-10)/(-3*6/27). Let j(y) = -3*y + 20. Let k be j(6). Solve 2*x = 2*b + 2, 43 = -4*b - k*x + l for b.
-5
Suppose 4*b + 26 = 34. Solve 0*d - 28 = 4*z - 4*d, b*z + 9 = d for z.
-2
Let h be (-26)/4*(3 + -5). Suppose 5 = -4*z + h. Suppose 0 = 3*s - m - 7, 0 = -4*s - s - z*m - 3. Solve 0 = c - 2 + s, 2*c - 10 = -2*d for d.
4
Let w(a) = a**2 - a - 4. Let s be w(-4). Suppose 2*x - s = -2*x. Solve -3*b + x = 10, -4*b - 33 = -5*j for j.
5
Let r = 1 - -1. Solve 5*m + c + 16 = -2, -r*m + 3*c + 3 = 0 for m.
-3
Let u be (-6)/(-4)*28/6. Let o be 4/u*21/6. Solve -5*j - 30 = -5*y, -o*j - 3 = 5*y + 2 for j.
-5
Suppose -4*z - b + 0*b = -57, -4*z + 4*b + 72 = 0. Suppose 8*a - z = 3*a. Solve -4*i + 3*g = -2, 0 = a*i - 0*i - 3*g for i.
2
Let q = 205 + -111. Let v = -65 + q. Let u = v + -21. Solve -i - i = -u, 4*i - 14 = -x for x.
-2
Let b = -2 + 1. Let i be 0 - 1 - (b + -12). Suppose -2*g - 2*j = -6*j - i, 4*g = -5*j - 2. Solve 3*x - 5 = -2*l, -5*x - 2*l = g*l - 5 for x.
5
Let x = -1 + 11. Let p(f) = -f + 4. Let d be p(0). Suppose d*o = 5 + 3. Solve 4*t - o*g + x = g, -2*t - g = 10 for t.
-4
Let h(z) = 6*z**3 - z**2 + 2*z - 1. Let t be h(1). Let a be (1 + 2)/(9/t). Solve 2*b - 12 + a = 0, 3*c + b = 8 for c.
1
Let k = -111 + 113. Solve -2*l = 5*n + 5, -2 = k*n + 4 for l.
5
Let c(n) = 31*n**2 - 1. Let l be c(-1). Suppose -f = f - l. Let z be f/2*(-4)/(-3). Solve -2*d + 12 = -b - b, 5*d - z = -5*b for b.
-2
Let h = -22 + 16. Let l(x) = -x**3 - 5*x**2 + 7*x + 6. Let g be l(h). Suppose -q + g*q = -33. Solve -6*z + q = -z + 2*t, 0 = t - 4 for z.
5
Let u be 0/(-7 - -3 - -5). Suppose -b - 1 = 0, 5*g - 4*b - 49 + 0 = u. Solve -14 = 5*h + o + g, -o = -4*h - 22 for h.
-5
Let u(d) = -2 + 0 + 3 + 5 + d + 6*d**2 + d**3. Let c be u(-6). Solve 4*o = 8, c = 6*g - g + 4*o - 13 for g.
1
Let h = 21 + -18. Solve -h*f = -3*q, -4*f + 0*f - 18 = 5*q for q.
-2
Let i = 7 + -1. Let q = i + -1. Suppose q*x + 103 = 4*w, w - 16 = -3*x - 3. Solve v = -4*l - w, v = 5*v - 3*l - 7 for v.
-2
Suppose 2*p - 48 = -2*p. Let w = 63 - p. Suppose -d + 4*d = w. Solve 0 = 3*v + 6*z - z - d, 1 = -5*v - z for v.
-1
Suppose 2*w - 25 = -3*w. Solve w*d = -0*d + k + 18, 2*k = 4*d - 12 for d.
4
Suppose -5*u = 9 - 29. Let b(j) = -4*j - 20. Let h be b(-5). Solve -2*i = 4*o + 18, h = i + 5*o + 19 - u for i.
-5
Suppose 0 = 4*p - 7*p + 72. Solve 0 = 3*t - 3*c - c - 4, -3*t - 3*c - p = 0 for t.
-4
Let x(v) = -v**2 - 8*v + 3. Let z be x(-8). Solve -2*s + 5*m = -4*s - 8, -z*m + 12 = -3*s for s.
-4
Suppose 3*c - 4*c + 2 = 0. Let u = -2 + 19. Solve -2*o = 2*l + 2, 2*o - c*l - u = -3 for o.
3
Suppose -2*v = -2 - 16. Let m = -9 + v. Solve 0*k + 2*z = -3*k + 5, -4*k + 2*z - 12 = m for k.
-1
Let g = 73 + -71. Solve 2*t + g*q = 7*q + 11, -q = 4*t - 11 for t.
3
Suppose 10*v = 14*v - 8. Solve 0 - 7 = 2*r + k, -v*r + k - 13 = 0 for r.
-5
Let q = -14 + 19. Solve -2*k + q*k - 4*x - 5 = 0, -6 = 3*x for k.
-1
Suppose 5*i = -3*j + 22, 2*j - 6*j + 18 = i. Solve -6*f = -i*f + 3*c + 4, -f - 1 = -3*c for f.
-1
Let q(c) = 7*c - 2. Let k be q(1). Solve 4*p + 41 = k*u, u + 2*p = 1 - 4 for u.
5
Let u(d) = -d**2 - 3*d + 1. Let t be u(-2). Suppose -t*v - 3 = -4*v. Solve v*w + 0*b + 2*b = -12, w = -4*b - 4 for w.
-4
Suppose 4*w - 9*w + 55 = 0. Solve 5 = 2*q + o, 19 = 4*q - 2*o - w for q.
5
Suppose z - 4*f = -1, -5*f + 0*f = -2*z + 1. Solve u - z*a = 19, -4*u + 5*a = 14 - 55 for u.
4
Let b be (9 - 11) + -1 + 19. Solve -q + 12 = q + 4*g, b = 5*q - 4*g for q.
4
Let n be 2/(-3)*(-1 - 5). Let x = -292 + 520. Let g be (-6)/21 - x/(-14). Solve 4*m = -2*k - 6, 0*k - g = 4*m + n*k for m.
1
Suppose -5*w = s - 3 - 22, -3*w + 3*s - 3 = 0. Solve -4*y - 4 = -4*z, 0 = -w*z + 3*y + 7 - 0 for z.
4
Suppose -2*d = 5*k - 11 - 22, 0 = 4*d - 16. Suppose -k*x = -3*x. Solve g + 3*y + 15 = 0, 2*g - 2*y - 3*y - 25 = x for g.
0
Let s = -51 - -54. Solve 0 = -5*z + 4*b, -s*b - b = 2*z for z.
0
Suppose -3*q + q = -16. Let x be ((-8)/10)/(q/(-20)). Suppose 0 = m + x*m. Solve 3*i + 2*a = 0, 2*i + 0*a - 3*a + 13 = m for i.
-2
Suppose 0 = w + 3*l + 4, 3*w + 2*w - 2*l - 31 = 0. Let j be (5 - 1)*(3 + 30/(-12)). Solve -j = -2*f - n, w*n + 5 = -4*f - 3 for f.
3
Suppose -43 = 2*u + 3*m - 8*m, -2*u - 23 = -m. Let z(d) = -d**3 - 8*d**2 + 8*d - 9. Let c be z(u). Solve -o - 3 = c, 5*o = -2*a - 7 - 10 for a.
-1
Let t(k) = -5*k**2 - 31*k - 2. Let i be t(-6). Solve -2*j + f + i = -j, 0 = j - 4*f - 19 for j.
-1
Let f(k) = -k**3 - k - 20. Let t be f(0). Let a be 2/5 - 64/10. Let x be a/(-9) + t/(-6). Solve 0 = 3*p - p + 8, 12 = x*d + p for d.
4
Let p be (2 - 3)*(2 + -6). Suppose l - 8 + p = 0. Suppose 6*b = 5*b + l. Solve -4*w = -4*f - 8, b*w + 2*f + 2 = f for w.
0
Let h(m) = -2*m + 27. Let c be h(10). Solve c = 3*i + y, 0 = 6*i - 2*i + y - 9 for i.
2
Suppose 0 = -2*z + 15 - 15. Solve o + 3 = 2*u - z*u, 2*u = 2*o + 2 for u.
2
Let s be -1*(-2)/(2*-1). Let k be (3*2)/(1/s). Let a = k - -18. Solve 2*c + 2*c + 2*u - a = 0, c + u = 2 for c.
4
Suppose -4*t = -16, -2*p + t = -4 + 2. Solve -2*c - 21 = p*n - 2, -n + 2 = -c for c.
-5
Let s(l) = 16*l - 20. Let z be s(2). Solve 2*v + 5*q = -0*q - 20, -3*q = z for v.
0
Let d = -2 - -16. Solve 4*x + 5*q = 3*x + d, -6 = -2*x + q for x.
4
Suppose 0*n - 4*n + 3*r = -15, -2*n = 3*r - 3. Suppose -4*l = -2*l - 6, 4*t - 27 = -5*l. Solve 9 = -t*c + n*z, 0 = 4*c + z + 1 + 1 for c.
-1
Let i be (-5 + -2)/((-2)/6). Suppose -3*g = -0 - i. Solve -3*z - 40 = 5*k, z + g*k - 4*k + 20 = 0 for z.
-5
Let f be (0 + -3)/(-13 + 12). Solve -4*i = 3*x + f, 2*i + 2 = -3*x - 1 for x.
-1
Let b(w) = w + 35. Let q be b(0). Suppose -5*z - 5*u + q = 0, 5*u = -3*z + 2*z + 11. Let v = z - 4. Solve -5*p + 24 = -n + 3*n, v*n + 4*p - 20 = 0 for n.
2
Let f = -2 + 4. Let h(y) = 3*y**2 - f + 2. Let l be h(-1). Solve 0 = 4*z - l*c + 25, 4*c = -2*z + 7*z + 32 for z.
-4
Let y = 11 - 15. Let l be (-204)/(-26) + y/(-26). Solve l - 3 = -3*i - 2*g, -4*g + 8 = 0 for i.
-3
Let i = -69 - -74. Solve 0 = 2*x + i*l + 25, 3*l + 16 = -5*x + 6*l for x.
-5
Suppose 3*t - 31 - 41 