 4 = 0, 2*g + 5*k + 8 = 0 for g.
-4
Suppose -3*h - z = 0, 0 = -2*h + 2*z - 6*z. Solve 3*n = 5*r - 2, 4*r + h*r + 5*n = 9 for r.
1
Let r = -92 - -94. Solve -14 = 3*b + r*m, -4*m = -3*m + 1 for b.
-4
Let o(g) = 2*g - 3. Let i be o(4). Solve l - 6 = -i*s, -l - s = -2*l for l.
1
Suppose b = z + 5*b + 10, -3*b = -3*z + 15. Let v be ((-1)/3)/(z/(-18)). Solve -2*d + 15 = -v*g + 6, 19 = 5*d - 4*g for d.
3
Let h be 5/10 - (-1)/(-2). Solve d - a = -h*a, 15 = 5*d - 2*a for d.
5
Let h be 2/8 + 74/(-8). Let f be -6*((-3)/h + -1). Suppose -5 = -f*d + 3. Solve 0 = -5*w + d*m + 25, 10*w - 4*m = 5*w + 35 for w.
3
Let x = 17 - 15. Solve -2*j = 3*p - 7, -p + x = -5*p + 3*j for p.
1
Let a(u) = -u**2 - 15*u + 2. Let i be a(-14). Suppose -2*t + h + 16 = 2*t, 0 = 4*t + 2*h - i. Solve 3*s - 18 = -t*y - 6, 12 = 3*s - 5*y for s.
4
Let a(q) = q**3 + 15*q**2 - 16*q + 5. Let b be a(-16). Solve -r = 3*f - b*f - 1, 3*r - 1 = 4*f for r.
-1
Suppose -5*z = -4*o - 12, 4*z = 4*o + 7 + 5. Solve 0 = -2*t + 6, -3*f + 0*f + t + 9 = z for f.
4
Suppose 2*d - 13 = -3*d - 2*v, 5*d - 4*v = -11. Let z be (0 - -1)*1*13. Let i = d + z. Solve -3*s = -2*r + i, 0 = 4*s + 6*r - r - 12 for s.
-2
Suppose -r = 4*g - 0*r - 16, -2*g + 8 = r. Suppose 35 = 3*l + 2*p, -42 = -4*l - g*p + 10. Solve -5*s - l = 3*w - 6*w, 4*s = 5*w - 15 for s.
0
Let g = 14 - 5. Let u = g + -7. Solve 8 = -u*o + b, 5*o + 21 = b + 7 for o.
-2
Let d = -50 - -80. Solve -2*l + 2*r + d = 6*r, -4*l + 2*r = -10 for l.
5
Suppose 0 = -2*k - 0*j - 4*j + 18, 12 = 2*k + 2*j. Solve -k*q = 3*z + z - 8, 2*q - 8 = 0 for z.
-1
Let r(v) = -v**2 - 7*v - 7. Let t be r(-6). Let i = t - -4. Suppose -5*q = 1 - 11. Solve -3*p - i*w + 1 = -q*w, 4*w + 6 = -2*p for p.
1
Let p be 3/(5/(20/6)). Suppose 6*k - 5*k - p*z - 11 = 0, 5*k + 3*z = 3. Solve 22 = -4*c - 5*w, -1 = -4*c + 5*w - k for c.
-3
Let y(t) = -t**3 + 11*t**2 + 4. Let p be y(11). Solve -p*k = -2*k - 2*l + 4, 0 = -3*k + 4*l - 11 for k.
3
Suppose -3*j + 0*j + 6 = 0. Solve c + 19 = j*c + 4*z, 5*z = 25 for c.
-1
Let i be 4 + -7 + -1*12/(-3). Solve -3*c + 4 = 4*z - i, 2*c = z + 7 for z.
-1
Let m(r) = -3*r + 1. Let q be m(3). Let s = q + 8. Solve -5*y + 15 = 5*f, 5*f - 19 = -s*f - y for f.
4
Suppose 3*o = -o + 4. Let c be (25/(-2) + o)*-2. Solve 0 = 3*l + 4*a - 2*a - c, -l - 5*a = -25 for l.
5
Let y be (-5)/2*6/(-5). Solve y*l + m = 2*l - 1, -m + 1 = 2*l for l.
2
Let w = 1 + -3. Let x(p) = p**2 + 1. Let u be x(w). Suppose o + 4*o + 25 = u*y, -3*y = o - 11. Solve 3*h + 13 = 2*s, 3*h = -3*s + y*h + 16 for s.
5
Let b be 5/((-20)/14)*2. Let s be 4/(-14) + (-2)/b. Solve -20 = -4*g + 3*z, s = -g + 5*z + 8 - 3 for g.
5
Let g = 20 - 15. Suppose 5*h - 16 + 1 = 0. Suppose -2 - 22 = -h*z. Solve -2*c + 2*v + 8 = 0, g*c - 4*c + 2*v = -z for c.
0
Suppose a = 2*b + 6, -5*a - b = 3*b + 12. Suppose 5*c - c - 12 = a. Suppose c*t + 2*t = 20. Solve -4 = -u, 4*u = t*w - u + 24 for w.
-1
Let u be (-3)/2 - 1*(-22)/4. Solve 0 = 2*w + 5*c - 13, 0 = -u*w + w + 2*c + 10 for w.
4
Let b = 4 - -2. Suppose -2*a - 10 = -c, -5*c + a = 6*a + 10. Solve g - b = -l, -2*l - c + 4 = 0 for g.
5
Let l be (2/4)/(2/208). Let a = -21 + l. Solve -35 = 5*y - 5*m, 2*m - a = 3*y - 3*m for y.
-2
Suppose 25*v = 22*v + 9. Solve 0 = -a + v*a + 8, 0 = -3*m - 2*a - 17 for m.
-3
Suppose -1 = 4*n + 11, -4*o + 23 = -5*n. Let z be -3*(0 + (-2)/o). Solve 5*m - 9 = -2*b, z*m = -2*b + 2 + 1 for b.
-3
Suppose -23 = -w - 1. Solve -n - n = 5*t - w, -2*t = -n - 7 for n.
1
Let t(h) = 3*h + 2. Let d be t(2). Let c be 4 + (d/(-2) - -2). Suppose -c*m = -6 - 18. Solve 3*i - 3*n - m = 0, 2*i - 5*n - 11 = -6*n for i.
5
Let r be (-2)/6 - 4/6. Let y be 3/(r + (-2)/4). Let g = y - -5. Solve -g*l = 6, 4*f + 2 = -2*l - 3*l for f.
2
Suppose 3*m + f - 2 - 8 = 0, -4*m = 5*f - 6. Solve -5*z - m*g = 10, -4*z - 7 = -g + 1 for z.
-2
Let m be 15/(-9)*-3 + -2. Let z = -26 + 13. Let x = 18 + z. Solve -9 = m*q + 3*l, l - 31 = x*q - 10 for q.
-4
Suppose 5*c - 19 = v, -2*v = -2*c - 6*v - 10. Solve -c*j = -2*p - 8, 0 = -2*j + 2*p - 4*p - 8 for j.
0
Suppose 0 = -0*b - 3*b - 9. Let y = -4 - b. Let j = 3 + y. Solve -p = -2, -p + 2 = j*a - 2*p for a.
2
Let t(o) = -o**2 - 8*o - 13. Let u be t(-4). Solve 2 = 4*k + 3*w, -2*k + u*w = -5*k for k.
2
Let d(a) = a**2 - 5*a - 3. Let l be d(6). Let k be (2/l - 1)*-21. Suppose -5*g + k = 2. Solve -5*p - 10 = 0, 5*n + 3 + g = 3*p for n.
-2
Let w be (0 - 9)*(-5)/15. Suppose 2*k = -w*k. Suppose -q - 3*q = -12. Solve -2*v + 1 = -a - 6, -v - q*a - 7 = k for v.
2
Let r be (-1 - (-3 - -3)) + 1. Suppose -o + 3 + 3 = r. Let s be (-3)/(-9) - 2/o. Solve 3*f + 5 + 4 = k, s = 2*f - 4*k + 6 for f.
-3
Suppose -c = 4*k - 9, c + 4*c - 4*k + 3 = 0. Suppose -d + c = 0, 2*o + d = -0*d + 5. Solve 4*v - 28 = -4*b - 8, o*v = 3*b - 10 for b.
4
Let q(o) = o**3 + 7*o**2 - 9*o - 4. Let b be q(-8). Let l = b + -4. Suppose 0 = -l*n + 2*n - 8. Solve -16 = -m + 4*v - n, 0 = -2*v - 4 for m.
4
Let z = 12 - -3. Suppose 0*u = 5*u - z. Solve 3*b + 9 = 2*v - 2*b, 5*v + 24 = -u*b for v.
-3
Let a = -71 + 83. Solve -16 = 2*f - 3*w + 5*w, f - a = 4*w for f.
-4
Let a(g) = g**3 + 4*g**2 - 3*g + 4. Let q be a(-5). Suppose 2*t - t + 5*b = 2, 0 = 5*t + 3*b + 12. Let r = t - q. Solve 5*v = -3*m + m - 21, r*m = 6 for v.
-5
Let m = 72 + -68. Solve -5*u + 0*u - 4*c + 15 = 0, -c = -m*u - 9 for u.
-1
Let c be (-24)/8 + 6 + 8. Suppose -3*f + 4*f - 3*q - 20 = 0, -3*f + 2*q + 46 = 0. Solve -l + c = 2*y, f + 9 = 3*l + 4*y for l.
1
Let z = -24 - -24. Solve z = -3*k + 2*p - 21, -7 = 4*k - 3*p + 22 for k.
-5
Let f be (0 + -6)*2/3. Let i be (-4)/(f/(-2))*-1. Solve -i*m - 10 = -a, 5*m = 3*a - 12 - 14 for m.
-4
Suppose 5*z = -2*a + 20, a = -3*z + 2*z + 1. Solve -3*h = 12, -2*h - z + 3 = j for j.
5
Suppose 2*l - 7*l = -15. Solve 5*m = -2*g - 16, -3*m - 12 = -l*g + 6 for g.
2
Suppose 3*g = 4*u - 7, 2*u + 0*g = -4*g - 2. Let h = -2 - u. Let o be (-34)/(-3) - h/(-9). Solve -5*n = 3*l + l + 21, -4*l - 3*n - o = 0 for l.
1
Let j be -2 - (2 + 2 + -8). Let q be (-8)/5*(1 - 6). Solve -j*t - q = 3*s, -5*s = 7*t - 2*t + 20 for t.
-4
Let d be 6*(3/2 - 1). Suppose 15 = d*x, -3*w + 4*x = -w + 12. Solve w*u + 0*o - 3*o - 25 = 0, -26 = -5*u + 2*o for u.
4
Let d = -16 - -16. Solve -2*f - 2*n - 14 = 2*n, -n - 1 = d for f.
-5
Let a(c) = -113*c**2 + 1. Let x be a(-1). Let v be (x/(-12))/(2/(-6)). Let m be v/(-5) + (-12)/(-30). Solve 0 = 3*q + m, 0 = 5*p - 3*p + 3*q - 2 for p.
4
Let h(g) = -g**2 - 4*g**2 + 0*g + 8*g + 10 + 6*g**2. Let z be h(-7). Let i = -3 + 5. Solve -2*d - i*v = -2 - 2, 15 = z*v for d.
-3
Let o = -10 - -10. Solve 2*k = 4*k + 10, -5*a + 3*k - 10 = o for a.
-5
Let w = -26 - -29. Solve -4*p = -5*k - 0*p - 4, k = -3*p + w for k.
0
Suppose 2*h - 4 = -3*u, 5*h - 2*u - 4 = 6. Suppose 0 = -3*w - 3, 3*g = -4*w + 5. Suppose -5*p = -g*p - 8. Solve h*j + 1 = -3*k + 2*k, 2*k = p*j + 6 for k.
1
Let n(j) = -j - 3. Let z be n(-9). Let q = z - 4. Solve -3*u = -4*k + 22, q*k + 3*u = -u for k.
4
Let b(u) = 5*u + 0*u - 7 - 3 - 6*u. Let j be b(-11). Solve -5*d - j = i, 4*d - d - 2*i - 2 = 0 for d.
0
Let s = 62 + -59. Suppose 8*j - 3*r - 6 = 5*j, 3*r = -6. Let a be j/(-2 + 0 + 1). Solve 3*i - i = 2*q - 8, i + s = a for q.
1
Suppose y = 2*y - 4. Suppose 0 = -4*c + k + 118, 2*k + 128 = y*c + 6*k. Suppose -z = -6*z + c. Solve 0 = -5*w + 4*b - 36, 2*b + z + 6 = -5*w for w.
-4
Let q(f) = 5*f - 1. Let p = -3 - -4. Let o be q(p). Solve 3*h + 2 - 6 = -o*k, -4*h - k = -14 for h.
4
Let t(q) = q - 17. Let l be t(21). Solve -3*r = -3*o + 9, r + 0*r - l*o = -6 for r.
-2
Let s = 126 + -124. Solve s*n + 5*o = -25, 5*o + 3 = 4*o for n.
-5
Let s(v) = -v**3 + 6*v**2 - 4*v + 11. Let t = -11 + 16. Let y be s(t). Solve -5*q - 4*r - 9 = -28, -5*q = r - y for q.
3
Let x = -147 - -149. Suppose -y = -7 + 1. Suppose -y*v + 3*v = -18. Solve 2*k = w + v, -3*k + 5*k = x*w + 8 for w.
-2
Let c be (9 - 4) + -1 + -1. Suppose 0 = -r + 5*r. Solve 5*v + 10 = -5*k - r*k, -v - 10 = c*k for k.
-4
Let s be 6*2 - (-1 - -3). Let p = 14 - s. Solve 5*y = -p*a + 38 - 7, 3*y = -2*a + 17 for y.
3
Suppose -i = 3*i - 5*f - 60, 2*i - 52 = -3*f. Solve -z = -4*v - 0*z - i, -v = 2*z - 4 for v.
-4
Suppose 2*f + 4*p - 14 = 16, 0 = -3*f - 2*p + 25. Solve f*w = -4*u + 25 - 6, 2*u - 3*w = -7 for u.
1
Let w be (-6)/57 - (-211)/19. Solve -y + 4*y = -3*v + 9, 3*v + 5*y = w for v.
2
Let o(u)