, a*v + 4*n + 3 - 23 = 0 for v.
4
Let g = 3 + -1. Solve b + g*b + 4*o + 5 = 0, -5*b = -5*o - 50 for b.
5
Suppose 4*k - 18 = 3*v, -2*k = 3*k + 3*v - 9. Let m be (-18)/(-5) - 2/(-5). Let a be (-18)/(-8) - 1/m. Solve h = -4*q + 11, k*q = -2*h - a*h - 8 for q.
4
Suppose 39 = 2*u - u. Let i = -23 + u. Suppose 3*k = -k + i. Solve 0 = r - 2*r - c + 2, 16 = 2*r - k*c for r.
4
Let g(x) = -4*x + 8. Let n(m) = m - 3. Let s(b) = 3*g(b) + 10*n(b). Let a be s(-10). Solve -6 = 2*i + 2*v, -6 = 4*i - v - a for i.
1
Suppose -3*a = j + 11 - 2, 4*j = 5*a - 19. Let n be -3*(3 + j)*3. Solve 2*z + 2*k = -16 + 2, k = -5*z - n for z.
-5
Let h = 23 - 21. Let z = 3 + -1. Let o be z - (1 - -1 - h). Solve o*y - y + s = -2, -3*s - 9 = 0 for y.
1
Suppose 9 = -3*a + 24. Solve 3*p + 2*p = o + 8, 4*p = -3*o - a for o.
-3
Let x(n) = -n**2 - 3*n + 6. Let l be x(0). Solve 0 = 2*f - 3*f + 5*d + 10, 5*f = 3*d + l for f.
0
Suppose -2 - 2 = -d. Suppose -d*t = t - 15. Solve 3*l = 5*a + 6, -l + 0*a - t*a = 12 for l.
-3
Let w be (-3 + 4/12)*6/(-4). Solve -5*i - w*c - 1 = 1, 5*i - 5*c + 20 = 0 for i.
-2
Suppose -4*i + 17 = -3*i. Let d(b) = 3*b + 1. Let u be d(5). Let p(g) = g**3 - 4*g**2 - 4*g - 1. Let f be p(5). Solve 3*o = -f*j - u, -o - i = j + 3*o for j.
-1
Suppose 0 = 2*a + 6, -4*n + 1 = -a - 10. Solve -17 = m - 5*i + 2, 5*m = n*i - 3 for m.
1
Suppose -3*h = 5*m - 19 - 1, 4*m + h - 16 = 0. Solve 5 = -u + 3*g, 4*u - 3*g - g = m for u.
4
Suppose 0 = -4*l + 5*a - 13, -14 = -2*l - l - a. Let s = -2 + l. Let y be 7/4 - s/(-4). Solve 3*o - 3*d = 7*o + 28, -4*d - 8 = -y*o for o.
-4
Suppose 0*c - 3*c = -30. Suppose 6*v - c = -5*n + 3*v, v = -5. Solve -7 = -4*j - n*o, -5*j + 2*o + 19 = -2*o for j.
3
Let f be -5 + 3/6*-2. Let c = -2 - f. Suppose -2*j + 40 = c*z, 3*z + 5*j - 30 = j. Solve -5*a - z = 4*d - 9*d, -5*a = d + 16 for d.
-1
Let k = -6 - -9. Solve 5*m + 2*n + 5 = 7*n, -k*m + 11 = 4*n for m.
1
Suppose f - 7 + 3 = 0. Solve -4*s - 3*h + f = h, 2*s + 5*h = -7 for s.
4
Let w(a) = a - 13. Let t be w(13). Solve 12 = -4*n - 2*g - 12, t = 5*g + 10 for n.
-5
Let j = 11 - 6. Suppose z - j = -1. Solve o - z*o + 3 = -3*v, 3*v = -2*o + 2 for o.
1
Suppose 7 + 26 = -3*k. Let g be (-3)/(-12) + k/(-4). Let d = 1 + g. Solve 5*i = d*r - 6*r - 17, -r - 3*i - 10 = 0 for r.
-1
Let w(s) = s**3 + s**2 + 2*s - 2. Suppose 3*t + t - 12 = -2*g, 5*g - 4 = 3*t. Let p be w(t). Solve 0 = -2*k - 2*a + p, -3*a + 27 = 5*k - 2*a for k.
5
Let s = -15 - -19. Suppose v + s*v - 20 = 0. Solve 14 = -3*r - 2*y + y, -v*r + 5*y = -13 for r.
-3
Let j(h) = 3*h**2 - h. Let f be j(-1). Suppose f*y = -y. Let k be (9/(-3) - -5) + y. Solve 0 = -3*l + 4*s + 8, k*l + 4 = -2*l - 2*s for l.
0
Suppose 0 = -p + 2*p - 3. Suppose -p = -5*r + 7. Let f be 176/12 - r/(-6). Solve 4*s + 3*c = -0*s + 5, -5*c + f = 0 for s.
-1
Suppose 0 = -2*f - 18*f + 20. Solve -2*a - f = 2*b + 1, 5*b + 3*a + 1 = 0 for b.
1
Let i(q) = q**3 - 8*q**2 + 4. Let h be i(8). Let k = -3 + h. Solve -2*c - 5*d + k = 2, -3*c - 13 = -4*d for c.
-3
Let x be -2*(-3)/(-6)*-1. Let r be 2*x*(-35)/(-14). Solve -4*m = r*o - 10 + 47, -5*m = -o + 10 for o.
-5
Suppose 8*n + 0 = 24. Solve 0 = -4*d - n - 1, -4*z = 3*d - 17 for z.
5
Suppose -3*l - 5*t + 28 = 0, -l - 40 = -4*l - 2*t. Solve -5*m + 2*i + 5 + l = 0, 2*m = -5*i - 9 for m.
3
Suppose 4*w + 1 = 5*w. Let p = 2 + w. Suppose 2*q + 3*n + 6 = 3, 0 = p*n + 9. Solve -5*y - 2 = q*h, h = -5*y + 3*y for h.
-4
Suppose 1 = -4*d - 3*g + 20, 2*d - g = -3. Suppose 2*m - 4 = -0*m. Solve h + m*q + d = -3*q, -h = 2*q - 2 for h.
4
Let d(p) = p**2 - p + 3. Let x be d(-3). Let q be (-2)/(-8) - (-63)/(-28). Let g be 1/((q/(-8))/1). Solve -2*w + 6*w = 4*c + 24, -g*c + w - x = 0 for c.
-3
Suppose 0*d = -d - 3, -4*h = -4*d. Let u = h - -7. Solve -u*x + 4*c - 12 = 0, 3*x + c = 3*c - 7 for x.
-1
Suppose 8*w - 54 = 2*w. Solve 5*k + 0*p - w = 4*p, 3*k = -p + 19 for k.
5
Suppose 0 = -5*w, 0*w - 5 = 5*d + 3*w. Let i be 4*(-1)/(d/6). Solve 0*l - c + 8 = -l, 5*l - c + i = 0 for l.
-4
Let a(l) = l**2 + 4*l - 8. Let f be a(-6). Let v be 3/f*(-24)/(-6). Suppose 3*t + 5*h = -4, -v*h + 6*h - 4 = -5*t. Solve t*d - 10 = 0, m - d - d = -12 for m.
-2
Suppose -b + 1 = -0. Let d be (12/15)/(b/5). Solve -y + 1 = a - 0*y, a - d*y = 21 for a.
5
Suppose 0*q + 2 = q. Solve 4*a = 5*l + 5, 11 = q*l + a - 0 for l.
3
Let t(m) = m**3 + 7*m**2 - 10*m - 11. Let c be t(-8). Solve 20 = -c*g + n, -g + 6*g + 5*n = -20 for g.
-4
Let l be (-12)/(-36) - (-22)/6. Solve l*a - c + 9 = 0, -2*a - c - 12 = -3*c for a.
-1
Let t = 19 + 3. Solve -5*v + 6*n + 26 = 2*n, 4*n + t = 3*v for v.
2
Suppose 0 = 13*u + 9*u - 44. Suppose 3*t - t - 112 = 0. Suppose 8 = 4*g - t. Solve -4*k + g = -q - q, -u*k + 2 = 2*q for q.
-2
Let c = -1 - -1. Suppose -2*q - 14 = 4*s + s, -5*s - 26 = -2*q. Solve c = -t - q, i - 1 - 7 = 2*t for i.
2
Suppose -5*y + 7 = -5*h - 8, 3*y - 7 = 5*h. Suppose 6 - 18 = -4*i. Solve -y*p - 2*q = q, i = -3*p - 3*q for p.
3
Let x(t) = -2*t + 18. Let q be x(9). Solve 5*b - 3*g + 0 = 4, q = -b + g + 2 for b.
-1
Suppose 4*k = -d - 1, 5*d + 24*k - 26*k = 17. Suppose -2*p + p + 2 = 0. Solve -4*f + 4*t - p*t + 14 = 0, 3*f - d*t = 9 for f.
4
Suppose 6*i - 2*i - 40 = 0. Suppose -19 = -2*c - 7. Suppose 3*a + 11 = 2*j, 4 = 3*j + 2*a - c. Solve 20 = -j*g, -i + 35 = 4*v - g for v.
5
Let s = 13 + -1. Solve 0 = -2*y + 2*x - s, 4*x = -4*y + 1 - 9 for y.
-4
Suppose -5*u - 24 = -w - 2*w, -2*u + 2*w = 12. Let x = -1 - u. Let b(h) = -h + 10. Let o be b(5). Solve 0 = 2*a + o*m - 19, a - x*m - 2 = -6 for a.
2
Suppose 2*b = 1 + 15. Solve -5*c + 3*a = 0, 4*c - b = 3*a + a for c.
-3
Let a(t) = -t + 19. Let k be a(15). Solve 0 = -0*d - k*d + 12, -1 = 2*n - d for n.
1
Let b = 1 + -3. Let q be (-2)/b + 9 + -6. Let h be 52/9 - 4/(-18). Solve 2*y - h = 2*l, 4*y + 23 = -q*l + l for l.
-5
Suppose 3*c + 12 = 3*t, 0*c - 4*t = c - 16. Suppose -2*p + 3*p = 22. Solve -2*m = 4*i - c*i + p, -4*m - 16 = i for m.
-3
Let o be (-36)/(-4)*2/6. Suppose 0 = 7*v - o*v - 128. Let h = v - -3. Solve 2*w - 24 = -4*b, -2*b - 3*b = 5*w - h for b.
5
Suppose 88 = 5*n - 142. Let u be n/6 + 1/3. Suppose -4*d - 16 = -4*s, 0 = -s - 0*s + 2*d + 4. Solve -h + t = -u, 0*t = -s*h - 4*t for h.
4
Let b(a) = 2*a**2 - 2*a. Let o be b(-2). Solve 0 = 3*z + 5*s - s - 25, -3*s = -o for z.
3
Suppose 0 = a - 1 + 6. Let l be (-2 - a) + (4 - 1). Solve 0 = 3*x - 3, 0*m + l = 5*m + x for m.
1
Let h be (0/1)/(-9 + 8). Solve 3*l - 4*j - 15 = h, 4*j + 13 - 1 = 0 for l.
1
Suppose 0 = -3*t - 2*o + 82, 2 = -t - 5*o + 12. Suppose 0*q + q = -2*q. Solve -x + 2*j + 10 = 0, 5*j + t = -q*x + 5*x for x.
2
Let s = 31 + -29. Solve 0 = -c - 4*a + 1, -2 = -s*c - 0*a + 2*a for c.
1
Let x(i) = i**2 - 9*i - 2. Let d be x(7). Let j = d - -42. Solve 0*n - 4*n + j = -5*v, -6 = -2*n - v for n.
4
Let b = 58 + -49. Solve -6*x - 4*f + b = -x, 0 = -x + 2*f + 13 for x.
5
Let a(u) = u**3 + u**2 + u. Let k be a(0). Suppose -8 = -9*d + 5*d. Solve 5*s = q - 4 - d, s + q = k for s.
-1
Let c = 19 - 17. Solve c*k + 14 = -2*n - 0, -3 = k for n.
-4
Let i be (-2)/5 + (-936)/(-15). Suppose 26 = 5*k + p, 2 - 32 = -5*k - 5*p. Suppose -k*t + i = -13. Solve -4*s + 2*l = 20, 3*s + t = -0*s + 5*l for s.
-5
Let m be (-296)/(-28) + 4/(-7). Solve m = -4*i + 2*q, 3*i + i = -5*q - 17 for i.
-3
Let m = 21 - 15. Suppose -2 + m = 2*r. Suppose 0*u = -3*o + r*u + 14, -14 = -o + 3*u. Solve -a - 1 = o*x - 5, 0 = 2*x - a for x.
1
Let n = -20 + 32. Suppose -a + 31 = 2*r, -6 = -r - a + n. Solve -4*j = 4, -4*d + j + r = 4 for d.
2
Let d = 10 + -6. Let a = -8 + 11. Suppose 0 = f - 2*s + 3*s, 0 = -a*f - 2*s + 5. Solve -3*b + 2*k = 7, d - 31 = -2*b - f*k for b.
1
Let l(h) = h**2 + 3*h + 2. Let o be l(3). Suppose 5*b - o = b. Solve -7 - 10 = -b*c + 2*d, -6 = -3*c - 3*d for c.
3
Let n = -13 - -18. Solve 0 = t + 4*k - 17, 5*t + 2*k = n + 26 for t.
5
Suppose -39*f = -38*f - 3. Solve -2*k = -3*k + 4*y, -5*y = -f*k for k.
0
Let a = -51 + 56. Solve 4*j + 23 = a*s, 5*s + 5*j = 6 - 1 for s.
3
Let y = -96 - -60. Let h = y + 52. Solve -3*z = d - h, 0 = 5*d - 17 - 3 for z.
4
Suppose -18 = -4*l - l - 4*p, 4*l - 16 = -4*p. Solve x - 5*x - 28 = -4*i, l*i = -5*x - 7 for x.
-3
Let y be (-4)/(-1)*2/4. Solve 5*v + 24 = 4*b + v, -6 = 4*b + y*v for b.
1
Suppose 3*x - 3 = 6. Solve -2*c + x = -c, 9 = -2*r + 3*c for r.
0
Let j = 2 + -2. Suppose 4*a - 4 