.
-4
Let n(s) = s + 5. Let f(j) = j**2 + 8*j. Let m be f(-8). Let i be n(m). Solve 0 = -5*a + 4*t - 2*t + 22, i*t = 4*a - 21 for a.
4
Suppose -i - 6 = -5*p + 3*i, -2*p - 2*i + 6 = 0. Solve -f + 2*f = 0, 0 = p*w - 4*f for w.
0
Let j(m) = m - 2. Let b = 3 + 1. Let x be j(b). Solve 0 = -x*o - n - 13, -3*o - 9 = 3*n + 15 for o.
-5
Let k(d) = -d + 2*d - 1 + 2. Let a be k(1). Let s = 2 - a. Solve 2*c = 5*z + 11, -5*c - 2*z = -s*z - 13 for c.
3
Suppose 4*m + 4 = 4*s, 5*m - 5 = 2*s - 1. Solve o + 6*q - m*q + 19 = 0, -2*q - 2 = -2*o for o.
-3
Suppose 2*c - c = 11. Let s = c + -6. Suppose 2*z - 18 = -2*l, 0 = -5*z + l + 34 - 1. Solve t = -s*r + 12, -5*t - 3 = -3*r - z for t.
2
Let j be (-1)/(-1) + 3 + 4. Let p be (j/(-5))/(3/15). Let r(l) = -l**2 - 8*l + 4. Let x be r(p). Solve x*n - n - 5*o = 28, 9 = 4*n - o for n.
1
Let b(o) = o**3 + 4*o**2 + o - 1. Let n be b(-3). Suppose n*h = 92 + 13. Solve 4*r - 6 + h = -a, 2*a + 2*r + 6 = 0 for a.
1
Let o = -36 + 40. Solve 17 = -o*c - 5*s, 0 = 2*c - 0*s + 2*s + 8 for c.
-3
Let i be ((-2)/(-6))/(4/24). Let q be (-2)/(-4)*i - -1. Let b = 16 - 14. Solve b*p + 2*p = 3*x - 11, -q*p - 16 = 2*x for x.
-3
Suppose 9*k - 6*k - 81 = 0. Let a = k - 17. Solve -2*t = 3*d - a, -3*d + t - 2*t = -8 for d.
2
Let r = 70 - 66. Solve -2*c = -c + z + 1, -r*z = c - 11 for c.
-5
Let y(w) = w**3 - 9*w**2 + w + 11. Let f be 11/1 - (-1 - -3). Let x be 2/((-4)/f)*-2. Let q be y(x). Solve -4*i = -q, s - 4*s + 17 = 4*i for s.
-1
Let t(u) = -2*u - 9. Let b be t(-7). Suppose 3*i - 15 = -3*z, 0*i + b*z = -3*i + 15. Solve -i*w + 17 = 4*m, 2*m = w + 6 - 1 for w.
1
Suppose -3*t = -0*t + 42. Let k be (-38)/t + 12/42. Solve 16 = 3*j - 2*j + k*v, 3*v - 20 = -2*j for j.
4
Suppose 3 + 5 = -4*o. Let d be o + (42/2)/3. Let b = -27 - -48. Solve -5*r + 2*q - d*q = -b, 4*r + q = 14 for r.
3
Let k(r) = -r**2 + 4*r + 2. Let s be k(5). Let a = 7 + s. Let p(q) = 2*q - 3. Let y be p(a). Solve 2*v - 4*v - 2*z = 2, 2*z = -y*v - 14 for v.
-4
Suppose -2*t - t = 30. Let d be (t/(-8))/((-1)/(-4)). Let s = -3 + d. Solve 0 = -2*a + 3*r + 11, 0*a + 22 = 5*a - s*r for a.
4
Let v(b) = -12*b**2 - 17 + 7 + 10*b + 11*b**2. Let i be v(8). Suppose i*a - a = 0. Solve -c + f - 4 = a, -20 = -0*c - c - 5*f for c.
0
Suppose -b - 3*b = -12. Suppose b*w + 0*w - 3 = 0. Let r = 1 - w. Solve -v - o - 1 = r, 2*v + o = -0*v - 3 for v.
-2
Suppose -4*t + 3*v = -0*t - 2, t = -4*v + 10. Suppose g - 30 = 5*a, 0 = -3*g - g + t*a + 30. Solve -g*s - 5 = 0, 3*s + 17 = -5*n - 11 for n.
-5
Suppose -5*r + 0 = b - 5, -2*b - r = 26. Let y = -5 - b. Solve -5*z - g - y = 0, -3*z - 2*g + 16 = 3*g for z.
-3
Suppose 28*i = 24*i + 12. Solve i*w + 3*o = -2*o + 28, 26 = w + 5*o for w.
1
Let s = 17 - 12. Suppose s*r - 54 - 6 = 0. Let u be 9/r - 29/(-4). Solve 5*d - u = -2*o, -o = -5*d + 2*o + 13 for d.
2
Let h(m) = 7*m - 22. Let p be h(4). Solve -i = -3*o + 12, 3*o + 3*i - 6*i - p = 0 for o.
5
Let l = 4 - -4. Let n = -6 + l. Solve n*u = -2, -5*u = -w - w + 7 for w.
1
Let p be -1*3/3 + 4. Let t = -1 + p. Suppose 0 = 4*c + y + 3, -t*c + 3*c - 2*y - 6 = 0. Solve c = 4*a - 5*a - z, 2*z + 2 = 0 for a.
1
Suppose 0 = 3*d + 3*g - 15, g + 2*g + 5 = 2*d. Let j be (d/6)/((-4)/(-54)). Let a = 73 + -51. Solve 2*p = -4*u + a, 4*u - 8 = -p + j for u.
3
Let h = -7 - -10. Suppose 5*w - p - 30 = 0, -w - h*p + 23 = 1. Solve -2*x + 3*z + w = 0, 2*x = z - 3 + 4 for x.
-1
Suppose 0*q + 10 = 4*p + 3*q, -5*p = 3*q - 14. Suppose 0*y - p*y = -24. Suppose y*k = 5*k + 5. Solve -k*v - 27 = -4*b, -4*b + 27 = b - 4*v for b.
3
Let a be 2*(-2)/4*-1. Solve a = 4*l - 5*l - 3*m, 2*l + 11 = 3*m for l.
-4
Suppose -4*q = 5*m - 37, 0 - 2 = q - m. Suppose -t + 3*s = 6*s - 6, q*s - 6 = 5*t. Solve -4*f + 8 = 0, t = -2*b - 2*b - f + 18 for b.
4
Let k be 1 - (-6)/3 - (1 + -2). Solve 3*t + t = -y + 7, -4*t = -k*y - 32 for y.
-5
Let g(o) = o**3 + 4*o**2 + o - 3. Let l = 0 + -3. Let u be g(l). Let w be (-14 - -2)*(-3)/6. Solve -10 = -t - u*j, j = -j + w for t.
1
Suppose -6*w + 4*w = -16. Let q = w + -5. Solve f + b = -1, 2*b + q = 5*f + 5*b for f.
3
Suppose 0 = -p - 2*o - 3*o + 11, 4*p + 22 = 2*o. Let s(d) = d**3 + 4*d**2 - d + 1. Let i be s(p). Solve 0*q - 2*q - i*m + 20 = 0, -5*m + 20 = 4*q for q.
0
Suppose 1 - 11 = -5*p. Solve p = -4*b + 2*z - 16, 2*b + 29 = 5*z for b.
-2
Suppose 8 - 4 = 2*a. Let l be 1/(-2)*-8 + 0. Suppose -2*r = -r + a*p - 6, -4*r + l*p + 48 = 0. Solve -2*x + 15 = d, -x + d = -2*d + r for x.
5
Let v = 3 - -7. Suppose 5*n + 0*n - v = 0. Let p be (-1)/n*(1 - 1). Solve 5*l - 4*y = -3*y - 11, p = 2*l - 3*y - 6 for l.
-3
Suppose 5*v + 2 = 12. Let q = 5 - 3. Solve -4*a - v*o = 22, -a + q*o = 4 - 1 for a.
-5
Let w = -4 - -6. Suppose 2*m + c + w = 0, -6 = -0*m + 2*m + 3*c. Suppose 5*j + 2 = -2*n, 3*n - 7*j + 3*j - 20 = m. Solve 3*b + 4*k = n - 1, -6 = 2*k for b.
5
Let p(j) = -j**2 + 7*j + 11. Let h be p(8). Suppose 0 = 3*f + 2 + 1. Let d be (3 + -1)/f - -5. Solve 0 = -d*x + 2*t - 1, t + t - 7 = -h*x for x.
1
Let a = -53 - -62. Suppose -4*z = -6 - 6. Solve 0 = 4*w + a*l - 4*l - 3, -3*l = -z*w - 18 for w.
-3
Let c = 73 + -70. Solve -c*o + 8*o = -2*z - 10, -4*z = -5*o - 40 for o.
-4
Let m be -3 + 6 - 4 - -6. Let u be (m - 3/(-3)) + -3. Solve 3*v = -2*q - u, 4*q = 5*v - 2*v - 15 for q.
-3
Let y = 9 - 23. Let o = y - -18. Solve 2*u + 2 = -2*a + 4*u, -o = 2*a - 3*u for a.
1
Let l = 148 - 144. Solve -u - s = -l, -s = -2*u + 3 + 2 for u.
3
Let p be (0 + (-3)/9)*-3. Suppose p - 4 = -y. Let d(l) = -l - 1. Let t be d(-4). Solve t*a + y = -0*a, 0 = 2*s - a - 5 for s.
2
Let s(n) = -n**3 + 8*n**2 + 8*n + 12. Let t be s(9). Let d be ((-10)/4)/(t/(-6)). Suppose -d*p + 20 = -p. Solve 0 = -3*f + 4*y - 11, -5*y - p = 4*f - 42 for f.
3
Let h = -118 - -76. Let r = -30 - h. Solve -2*t + 5*d + 10 = -r, -3*t = d + 1 for t.
1
Let s = 1 - 2. Let n be (s + 3 + 1)*1. Solve -n*i = -3, 0 = -r - i - 4 + 2 for r.
-3
Let s = 10 - 5. Suppose -3*k + 2 = -10. Solve 5*o = -k*m + 17, -4*o + 12 = s*m + 2 for m.
-2
Let s be -6*((-3)/2 - -1). Let p(a) = 2*a - 2. Let c be p(-14). Let j be c/5*(-2)/4. Solve 3 = j*l, g - s*l = -l for g.
2
Let l(f) = -f + 9. Let u be (-1)/4 - 99/36. Let p(j) = 2*j**2 + 3*j - 4. Let d be p(u). Let n be l(d). Solve 5*v + 3*m = -30, -2*v + n*m + 14 = -0*v for v.
-3
Suppose 3*v - 12 = 6. Let f = -1 + -9. Let a = f + 16. Solve 4*i = v*i + a, -4*d - 4*i - 20 = 0 for d.
-2
Let s = -8 - 0. Let v = -5 - s. Solve -2*y = 5*u - 13, 0 = -3*u - v*y + 6 + 9 for u.
1
Let r = 6 - -6. Solve w = 2, 5*l - 2*w - r + 36 = 0 for l.
-4
Suppose 2*h + c + 4 = -3*c, 4*h - 2 = -3*c. Solve 0 = -h*v - l - 10, 2*l - l = 4*v + 20 for v.
-5
Let u = -4 - -6. Let a be 50/8 - (-2)/(-8). Let f = a - u. Solve -f*r - 4 = -q, -5*r + 0*r = 4*q + 5 for r.
-1
Let f = -6 + 7. Let z = f + 4. Solve 0 = -2*w - s - 14, z*w + 3*s = -2*s - 45 for w.
-5
Let t(v) = -v**3 + v**2 + v - 16. Let a be t(0). Let s = 19 + a. Solve k = -w, 0 = s*w - 0*w - 2*k for w.
0
Let h = 0 + 2. Let d be (4/(-10))/((-2)/(-10)). Let o be (-2)/((1 - 0)/d). Solve -5*k - o*a - 12 = -k, k - h*a = -3 for k.
-3
Suppose 5*k = -2*l - 2*l - 6, -5*l - 5 = 5*k. Suppose 2 = v - l. Solve -3*c - v*o = o, 3*o = 4*c for c.
0
Let x(n) = n**2 + 4*n. Let a be x(-4). Solve 4*s + 8 = a, 0 = -m - 2*s + 4 - 11 for m.
-3
Let d(i) = -i**2 - i + 4. Let p be d(0). Let t = 6 - 3. Solve a - p*g - 16 = g, t*g + 20 = -2*a for a.
-4
Suppose 24 = 3*s + 6. Let y be (s/(-5))/(4/(-30)). Let k be y/(-6)*(-16)/12. Solve 0 = -n + 3*a + 17, -3*n + k*a = 4*a - 7 for n.
5
Suppose -3*p + 0*s + s = -29, 0 = -5*s - 25. Let b be (-1)/(3 - 28/p). Solve 0*a + 2*a - 19 = 3*k, -10 = -b*a for k.
-3
Let n = 3 - -1. Let j be (3/(5 - 2))/((-2)/(-12)). Solve -n*z + 3*r + 2 = j, 2*r = 0 for z.
-1
Suppose -8*p = -6*p - 18. Solve -5*g + p = -f + 25, 14 = 2*f - 4*g for f.
1
Let c = 5 - 5. Let o be c + 2*(-3)/(-3). Suppose 9 - 1 = o*d. Solve -5*h - 11 = -2*i + 3, d*i - 14 = 3*h for h.
-2
Suppose -l - l - 96 = 0. Let q be (l/40)/(2/(-5)). Suppose 3*y - 4*r + 7 = 0, 3*r - 23 = -5*y + r. Solve 0 = q*t + y*m - 3, m + 1 = 3*t - 2 for t.
1
Suppose -4 + 1 = x + 3*n, -5*n - 15 = 0. Suppose 4*k - 10 = x. Solve -4*a - m - 8 = 0, -k*a + 7*a + 3*m + 6 = 0 for a.
-2
Let j(a) = -a**2 + 6*a + 5. Let g be j(6). Suppose 5*z + 17 + g = w, 2*w + 2*z + 16 = 0. Let f be 2 + (3/w - -2). Solve 0 = -s + 5, 