a, -l = -5*a + 9. Let h(v) = v - 3 - 4*v**2 + 8*v + 3*v**2. Let x be h(8). Solve -a*q + q - x*u + 1 = 0, -5*q = -u - 5 for q.
1
Suppose 35 = 9*u - 10. Solve -3*b - 5 - 4 = 3*c, 1 = u*c - 3*b for c.
-1
Suppose 0 = -p + 2 + 13. Let o be (p/(-10))/((-2)/4). Solve -l + 4*i + 9 = 0, -l + o*i - 9 = 5*i for l.
-3
Suppose -19 = -3*f + 2*m, m = -2*m - 15. Solve -b = 3*w + b + 5, 4*w = -f*b - 7 for w.
-1
Suppose 4*u + 352 = -0*u. Let y = -53 - u. Suppose 2*m - y + 7 = 0. Solve -f = -2*h - 4 - 1, -5*h + f - m = 0 for h.
-3
Let z(d) = -d**2 + 8*d - 8. Let y be z(6). Solve 0 = 2*k - h + 4, -6*k = -y*k - 4*h + 4 for k.
-2
Let i = 3 + -3. Suppose i = 2*w - 4*w + 5*p + 24, 3*p + 13 = w. Suppose 5*h + 2*g = 3*h + 36, 0 = 3*g + 12. Solve -4*c = 2*b + h, -w*c + b = -2*c + 17 for c.
-4
Let c(o) = -3*o**3 - o. Let m be c(-1). Suppose m*t - a = 3, -2*t + 5*a - 3 + 18 = 0. Solve 20 = 4*u + 4*k, t*k + 1 = k for u.
4
Let n(g) = -11*g - 13. Let r be n(-3). Solve -4*x = 5*p + 5 - 0, 4*x = r for p.
-5
Suppose 3*y = p + 5 - 28, 0 = -y - 2. Solve a + 2*a - 12 = 0, -5*a = -u - p for u.
3
Let x = 6 + -8. Let m be (-2)/(-4)*x*-3. Solve -m*n = -c - 15, -5*n + 8 = c - 17 for n.
5
Suppose 2*a = 4*a - 12. Suppose a*z - 8 = 2*z. Solve -z*f + 2*d = 3*d - 4, 3*f - 5*d = 32 for f.
4
Let t(p) = p**3 + 2*p**2 - 1. Let q be t(1). Let l be 6/(-15) + q/5. Solve 4*y = d - 2 + 11, l = -d - 4*y + 7 for d.
-1
Let f = 2 + -4. Let t be (2/(-1))/(1/f). Solve 0 = 4*x + x + 5*q - 20, 11 = -x + t*q for x.
1
Suppose -h = -4 + 2. Suppose -4*p - 4 = 3*x, 0*x - h*x = -5*p - 5. Let b = 3 + p. Solve b*m = -8*q + 3*q - 33, -q = -4*m - 11 for m.
-4
Suppose -b + 1 = -0*b + r, 0 = -4*r + 4. Let d be (b + 1)/((-6)/(-42)). Suppose p = -3*v + d, 5 = v - p - 4. Solve 2*w + 3*m = w - 11, -4*w - 2*m = v for w.
1
Let w = -3 - -7. Suppose -w*f - 3*a = 2*a - 30, 2*a = -3*f + 19. Solve 3*k + 3 = 3*t - 0, 10 = f*t for k.
1
Suppose -4*p = 2*g - 4*g - 16, -7 = -5*p - 4*g. Suppose -p*j = -j. Solve j = y - k - 3 + 1, 18 = -5*y - 2*k for y.
-2
Let z be 2 + -2 + -17 + -4. Let w = z - -38. Solve -b = 5*y - w, -5 = 4*y - b - 24 for y.
4
Suppose 2*r - 178 = 144. Suppose -3*k + r = k + i, -5*k - 5*i = -220. Suppose 4*p - 6*p = 3*x - k, 0 = p + 3*x - 24. Solve p = 5*f - g, -g = f - 2*g - 3 for f.
3
Suppose 0*d = 2*d - 80. Let k be ((-10)/(-25))/((-2)/d). Let o = -5 - k. Solve o*i + 11 = -2*j - 3*j, -13 = j - 3*i for j.
-4
Suppose -4 + 4 = 5*u. Solve v - 6 + u = -4*j, 2*v - j + 6 = 0 for v.
-2
Let j(o) = -o**3 - 3*o**2 - 2*o + 3. Let z be j(-3). Suppose 4*i - i = 9. Suppose -i*p + 7 = -86. Solve 0 = 3*u - 4*a - p, -5*u - a - 3*a = -z for u.
5
Suppose 0 = -4*s + 8 - 4. Let z be -1 + 2 - (-3)/s. Suppose -4*g = -68 - z. Solve -4*c + g = r, c = -2*r + 3 - 2 for c.
5
Suppose -n - 39 = -41. Solve 0 = -5*h + n*l + 8, 0*h - 4 = -4*h + l for h.
0
Suppose n + 1 = -1, -20 = -3*d - 2*n. Solve -b + 3*b = 5*y - 13, -2*y - 2*b + d = 0 for y.
3
Let h be (-5)/(-15) + 34/6. Solve 2*v = n + 3, -3*n - h = -2*v - v for n.
-1
Suppose -5*c + 10 = 5. Let s = c - 1. Solve -4*r + 2*r = -i - 4, -4*r - i + 14 = s for r.
3
Suppose 0*k + 2*k - 4*v = 16, 2*v = 4*k - 14. Solve -6 - 12 = k*u + 2*o, -3*u + 5*o + 13 = 0 for u.
-4
Suppose 4*v = 20 - 8. Solve -x + 15 = 5*w - v*x, -4*w = 3*x - 35 for w.
5
Let h be (4 - 2)*(-187)/(-22). Solve -u - 2*a + 9 = 0, 0*u + 3*a = 2*u + h for u.
-1
Let a be (-1 + 4)/((-45)/240). Let t = a + 16. Solve t = -g - g + 3*d + 16, -3*g + 4*d = -23 for g.
5
Let a = 44 - 23. Solve a = 2*g + 6*f - f, 3 = 4*g - 3*f for g.
3
Let v(j) = 0 + 1 - j + 14. Let x be v(11). Solve -5*d + 24 = x*a, -3*a + 6 = 3*d - 9 for a.
1
Suppose -b + 5*x - 5 = 0, 2*b = 4*b - 5*x. Let t = 22 + -16. Suppose -t*o + 2*o + 12 = 0. Solve 0*d - 2*d - b*r = 1, d - r - o = 0 for d.
2
Let u be 9/(-15) - (-116)/10. Suppose 0 = 4*d + u - 31. Solve -o - 4*t + 3*t - 3 = 0, 5*t = 5*o - d for o.
-1
Suppose -4*p = 20, p = -3*k - p - 1. Solve c - 4*g + 4 = -0*c, -k*c - 5*g - 12 = 0 for c.
-4
Suppose -31 = 4*n + 33. Let k be (-8)/12 - n/6. Let f be (-1)/2 + 1/k. Solve -o + 5*g - 1 = f, 5*g = -3*o + g + 16 for o.
4
Let j(t) = 2*t**2 - 2*t - 4. Let y be j(-3). Suppose -f + 3*v = -12, -f - y = -6*f + 5*v. Solve f = 2*i - 3*i - 5*u + 2, -8 = -4*i + 4*u for i.
2
Let t(b) = -b - 3. Let g be t(-4). Suppose -7 = -s - g. Suppose -3*k = -2*j - s, 7 = -4*j + 4*k + 3. Solve -z + 3*a - 7*a = 0, -4*a = -j*z + 16 for z.
4
Let p be -2*((-15)/6)/1. Suppose 4*l + s = -4*s + p, 14 = 4*l + 2*s. Suppose -3*d - d + 8 = 0. Solve l*o - 23 = -d*f, 4*o - 29 + 5 = -3*f for o.
3
Suppose 0 = -2*x - 3*x. Solve 2*c + y + 3 = x, -2*c = c - 4*y + 21 for c.
-3
Let r(m) = -10*m**3 - m**2 + 6*m - 3. Let h(j) = -3*j**3 + 2*j - 1. Let c(y) = 7*h(y) - 2*r(y). Let p be c(2). Solve a = w + 9, -5*a + p*w + 46 = 9 for a.
5
Let r(y) = y**3 - 16*y**2 - y + 18. Let x be r(16). Solve z + 3*t = -6, -z + t = x*t + 2 for z.
0
Suppose 7*l - 15 = 4*l. Solve -u = l*s - 0*s, 0 = 2*u + 3*s for u.
0
Suppose 0 = m - 0*m + 1, -3*m = 3*b + 3. Let y = 21 - b. Let z be 6/y - 47/(-7). Solve 0*g = -g - 5, z = r - g for r.
2
Suppose -f + 4*q = 3*f - 72, 2*q = -f + 9. Suppose -5*j - f = -5*v, 4*j - 2 = 6*j. Suppose -o = v*o - 6. Solve 0 = -5*c - 3*z + 37, o*c + 2*z - 9 = 9 for c.
5
Let q = 32 + -25. Suppose -9*p = -q*p. Solve -3*u + p - 11 = 2*i, 0 = 2*u + 10 for i.
2
Suppose -40 = t - 3*t. Solve k - 2 - 20 = -5*x, 4*k + 3*x - t = 0 for k.
2
Suppose -24 = -2*b + s - 5*s, -3*s + 11 = -2*b. Solve -3*f = 4*x + 23, -5*x - 6 = b*f + 14 for x.
-2
Let v = -75 + 115. Solve 4*s - 2*k - 5 = s, v = 5*s + 3*k for s.
5
Let v(r) = -r**2 + 6*r. Let s be v(6). Suppose -k + s*k + 20 = 0. Solve 4*m + k = -m, -5*m - 32 = -3*c for c.
4
Suppose 5*z + 5 = 5*f, -4*z = 2*f - 5*z - 3. Let d(h) = 2*h**2 - h. Let j be d(-1). Solve -3*l - 21 = j*a, 0 = -4*a + f*a - 8 for l.
-3
Let w(g) = g + 3. Let t be w(-3). Let f = 3 + t. Suppose -4*i + f + 17 = 0. Solve 0 = -i*a - 3*b - 15, b - 2*b - 5 = 3*a for a.
0
Let q be (4/12)/((-2)/(-18)). Suppose 3*b + 5*d - 24 = 2*d, 2*d = b + 4. Solve -b*x - 15 = -5*y - 0*x, q*y - 9 = -x for y.
3
Let o = 30 + -45. Let i = -10 - o. Solve -w + z = -4, -w = -i*z - 27 + 11 for w.
1
Let f(n) = n**2 - 2. Suppose 4*v - 15 = -v. Let k be f(v). Suppose -3*c + 6*c + 3*z = 3, 0 = -5*c - z + 21. Solve 0 = i + 3*y - 1, 0*i + 3*y = -c*i - k for i.
-2
Let o be -1 - -2*(-3)/(-6). Let j be o/(3*(-2)/(-3)). Solve -5*q - 35 = 3*f, 5 = 3*f - 5*q - j for f.
-5
Let s(i) = -3*i - 2. Let c be s(-2). Suppose -25 = -7*r + 2*r. Suppose 0 = 8*k - r*k. Solve 1 = j - k*j - 4*z, -c*j = -5*z - 15 for j.
5
Let x = -1 - -4. Suppose 3*s + 3*o - 15 = 0, o = 3*o + 2. Let l = s - x. Solve 4*t + l = -k + 8*t, -k - 3*t - 3 = 0 for k.
-3
Let y = -14 - -14. Solve -12 = -4*t - y*t, -b - 5*t + 20 = 0 for b.
5
Let c(x) = x**2 + 3*x - 14. Let v be c(-6). Solve 0 = -2*s - 3*r - 2 + 18, -v*s + 5*r = 12 for s.
2
Let d be (-2 - -2)/(-2 + 4). Suppose -b + d = -5. Solve 2*o = h + b, 4 = 2*h - o + 4*o for h.
-1
Let r = -10 - -14. Let x be (-9)/(-18) - 3/(-2). Solve -d - 11 = -2*d + 5*g, 10 = -r*d + x*g for d.
-4
Suppose -10 = b - 3*b - 5*t, -t - 5 = -b. Let m = 10 - b. Suppose -2*o = 20 - 30. Solve -z + 2*z + 29 = m*g, -20 = o*z for g.
5
Let r(g) = -2*g**2 - 13*g - 1. Let t be r(-6). Solve -2*w + 3*w = h - 2, -t*w - 4*h - 19 = 0 for w.
-3
Let s be (3 - (-5)/(-2))*8. Suppose 0 = -0*m + 2*m - s. Solve 5 = -m*r - w, r + 4*w + 18 = 5 for r.
-1
Let a be (2 - -2)*78/(-4). Let b be (-2)/10 + a/(-15). Solve b*w = -2*f + 1, -w - 4*w = 5*f - 10 for w.
-1
Suppose 76 = 6*q - 14. Solve 0*v = -i - 2*v - 11, q = -5*i - 2*v for i.
-1
Let m = -17 - -17. Solve 15 = 5*k, -1 = -5*j - 2*k - m for j.
-1
Let d = -16 - -21. Solve 4*u + g = -5, -d*u - 8*g + 4*g = 9 for u.
-1
Let c = 4 + -10. Let v(x) = -x**2 - 6*x - 2. Let j be v(c). Let i = j + 7. Solve 2*h = k - 0*k + i, -8 = -2*h - 2*k for h.
3
Let v(z) = -z - 2 + 0*z**3 + 3*z**2 + z**2 - z**3 + 2*z. Let w be v(4). Solve -3*p = 4*i - 7*i + 12, -w*i + 13 = 3*p for i.
5
Suppose 4*w - 20 - 8 = 0. Suppose t + w = -4. Let o = t - -17. Solve -3*u = 3*c - 12, -o = u + c - 2*c for u.
-1
Let i(p) = 5*p**2 - 2*p. Let k be i(-2). Let z = -21 + k. Solve 3*c - 8 = -z*q - 2, 0 = -3*q - c - 2 for q.
-2
Let t be 0 - (3 - (14 - 3)). Suppose -3*j + t*j - 20 = 0. Suppose -6 = -