4*o - 27 = 0, -h*o = b - 3*b - 16 for b.
-5
Let v = 10 - 10. Suppose -i + 10 = -v*i. Solve -n + 5*c + 35 = 4*n, -i = 5*n + 4*c for n.
2
Let r be 6/(39/(-24) - -2). Suppose -2*q + 18 = 4*s, 2*q = -6 + r. Suppose s*u - 12 = 3*m, -2*m = -5*u - 0*m + 52. Solve 3*a - 27 = -4*g - u, 10 = 2*a for g.
0
Suppose 0 = r - j - 5 + 2, j = 1. Suppose -2*o = -2*c + 8 + r, 21 = 4*c - o. Solve z + 4*h + c = 0, 0*z + 3*h = -2*z for z.
3
Suppose 0*g - 5*g + 3 = 2*n, 4*n = 3*g + 19. Solve 3*c = -4*r + 8, -1 = r + n*c - 3 for r.
2
Let n = 10 - 5. Let m be (2 - 0)*(-7)/2. Let w = n - m. Solve -f = 3*z - w, -5 = 3*z - 14 for f.
3
Let s(l) = -9*l**2 + 72*l + 2. Let z be s(8). Let o be 2*(3 + 2*-1). Solve -t - 4 = z*f, 3*f = o*t - 4*t - 4 for f.
-4
Suppose 8 = p + p. Suppose n = -p*n. Solve n = 4*b - 5*z - 1, b - 2*z = -7*z - 6 for b.
-1
Suppose -2*c - 7 - 3 = -4*a, -2*a + 6 = -2*c. Let n(h) = -11*h + 2. Let m be n(a). Let j = -10 - m. Solve 3*s = -5*l - 3, -4*s + l + j + 9 = 0 for s.
4
Let h be (5*-4)/(-9 - -8). Solve k - 2*t = -k + 14, 0 = -5*t - h for k.
3
Suppose 0 = -3*c - c - x + 25, -2*x = 3*c - 25. Suppose -28 + 8 = -c*f. Solve -t - 6 - f = -2*g, -4*g = -12 for t.
-4
Suppose m = 6*m - 25. Let q be 3/6*(2 + -20). Let u = -4 - q. Solve -w - 6 = m*z, z - 5*z = u*w + 9 for w.
-1
Let x = -5 + 7. Suppose -13 = 2*z + 7. Let c be (2 - z/(-2)) + 3. Solve -4*b - 2*u = c, -6*b - 9 = -b - x*u for b.
-1
Suppose 4*n + 16 = -3*k, -20 = 5*n - 7*k + 3*k. Let p be (n/6)/(1/(-30)). Suppose 5*i - p = -0. Solve -m - 17 = -0*m + i*q, -8 = m + q for m.
-5
Suppose g = -4 + 9. Suppose 17 = n - 7*x + 4*x, -15 = 5*n + g*x. Solve 17 = -3*a - j, 0*a - n*j - 6 = -a for a.
-4
Let t be (0 + 12/30)*(28 + 2). Solve r + 8 = n, r - n + 5*n = t for r.
-4
Suppose -3*s + 75 = 3*g, -6*g + 100 = -2*g + 2*s. Solve -3*h = 2*h - 3*c + 40, c = 4*h + g for h.
-5
Suppose 0 = -5*f, -4*f + 55 = 5*d - 0*f. Suppose 2*a = w - d, -5*a = -3*w + w + 26. Suppose -w = -5*v + 12. Solve 2*q = 3*t - v*q + 20, 4*t = q - 4 for t.
0
Suppose 0 = -15*z + 352 + 143. Solve -5*c + 3*w = 27, 0 = 3*c - 4*w - 8 + z for c.
-3
Suppose 4*m - 3*m - 37 = -4*r, -4*r + 3*m = -17. Solve 5*x + 5 = 3*f - r*f, x - 3 = 3*f for x.
0
Let k be (-1)/((-1)/(3/(-3))). Let x(q) = -7*q - 1. Let i be x(k). Suppose -4*b = -b - i. Solve -j + b = -3, -3*r - 22 = -2*j for r.
-4
Let k be -4*4/(-6)*3 + -4. Solve -k*g = 2*f + 8, 7 = -5*g - 2*f - 2*f for g.
-3
Suppose -5*t = 3*o - 0 - 10, 2*o - 3*t = 13. Solve -5*n + o*d = 10, -5*d = -n - 10 + 4 for n.
-1
Suppose 44 = 4*i - 4*h, -4 = i - 4*h - 15. Solve 4*b - 2*b + i = -y, 4*y + 14 = -2*b for b.
-5
Let z = -1 - -5. Suppose 0 = z*n + 1 - 9. Solve 0 = n*v - 10, 3*t + 2*v - 20 = -4 for t.
2
Let i be (-115)/3 - (-2)/6. Let r = 24 + -47. Let w = r - i. Solve 0 = -t, 2*t = 3*o - 0*t - w for o.
5
Let h = 5 - 0. Suppose h = 2*z + 21. Let t be (-2)/(-8) + 2/z. Solve -3*n - 7 = -t*q - 5*q, 3*q + 15 = -3*n for q.
-1
Let u = -20 - -23. Let b be 8/12*(u - 0). Solve b*l - 2*d = 6, 5*l - d + 4*d - 31 = 0 for l.
5
Suppose 5*d = 5*b - b - 12, 4*d - b = -3. Solve -5*c + 2*c + 2*a + 15 = d, -3*a + 25 = 5*c for c.
5
Let z be 30/(-9) - (-4)/3. Let y = z + 4. Solve -y*w = 0, 0 = 4*v - v - 3*w for v.
0
Let g = -46 + 52. Let c = 6 + -4. Solve t - 5 = -c*r, -3*t = -g*t - 3*r for t.
-5
Suppose -r = -2*w - w + 2, 2*w + 16 = 5*r. Solve 2 = -h, r*a = 2*a + 5*h + 14 for a.
2
Suppose -4*b = -2*g - 6, 2*g = -3*b - 2*g + 21. Suppose -5*w - 9 = -b*u, -w = 5*u - 2*w - 15. Solve 4*i - o - u = 2*i, 2*i - 3*o - 9 = 0 for i.
0
Let d = -17 + 19. Solve 0 = p - 5*p - i - 10, 3*p - d*i = -2 for p.
-2
Let h(m) = -m**2 + 10*m - 5. Let y be h(9). Suppose 0 = -y*p, -3*g = -2*g + p. Solve -2*t - f + 4 = g, t + 1 + 7 = 2*f for t.
0
Let s = 0 + 3. Solve 3*r + t + 9 = r, s*t - 5 = 2*r for r.
-4
Let j(k) = -k**2 + 4*k + 8. Let c be j(5). Solve 2*v - 14 = 4*r, -2*r + 2 - 19 = -c*v for r.
-1
Let s(k) = -k**3 + k**2 + 4 + k - 5 + 3 + 0*k**2. Let i be s(2). Suppose i = -0*d - 5*d + 20. Solve 4*y - 5*g = 38 - 3, 5*y - 13 = -d*g for y.
5
Let f(o) = -o**3 + 7*o**2 + 8*o + 2. Let q be f(8). Solve 0 = c - 5*v - 1, 3*c - c + 5*v - q = 0 for c.
1
Let k(t) = t - 3. Let p be k(5). Solve 21 = -3*s + 3*w, s = p*s - 3*w + 11 for s.
-5
Suppose -25 = -9*w + 4*w. Solve -1 = w*c - 2*v + 6, 4*c = v - 5 for c.
-1
Let y be (1/(-5))/((8/15)/(-8)). Solve 2*j - 2*k - 2 = 0, 2*k - y*k = 2*j + 4 for j.
-1
Let v = -2 + -5. Suppose -8*p = -6*p + 14. Let s = p - v. Solve -2*d - 3*i - 4 = s, -d - 8 = -3*d + 3*i for d.
1
Suppose 0 = t + 3*t - 12. Suppose 0 = -t*o + 4 - 1. Solve -j = 5*v + 11, -j - o + 8 = -4*v for v.
-2
Let q = 4 - 0. Suppose 0 = -q*s + m + 44, -m = 5*s - 4*m - 55. Solve -3*u = -5*x + s - 5, -u + x = 2 for u.
-2
Let x be 62/22 + 10/55. Solve 0 = x*c - 3*p + 9, 3*c + p - 1 + 6 = 0 for c.
-2
Suppose -3*k = k - 3*w + 41, 2*w = -2*k - 24. Let b = k - -25. Let l be 46/b + 6/(-21). Solve 3*n = -2*i + 3 - 4, l*i = -4*n - 3 for i.
-5
Suppose 8*s = 4*s. Solve s*x = 3*x - c + 5, 4*c + 22 = -2*x for x.
-3
Let i be -1 + (4 - (2 + -3)). Suppose x + i = -1. Let q = x - -12. Solve 3*y + 2*y + q = 2*b, -2*b + 2*y - 2 = 0 for b.
-4
Let t = 12 - 8. Solve y = -t*y + a - 14, 4*y = -3*a + 4 for y.
-2
Let t be (2/(-6) + 1)/(15/135). Solve -3*o - 2*r = -3*r - 4, -2*o = r - t for o.
2
Let f = -6 + 6. Solve -2*p + 0*z + z = -12, f = -3*p - 3*z for p.
4
Suppose b = -0*f + 2*f + 4, -4*b + 16 = -3*f. Solve 4*q - 4*j - 11 - 9 = f, 2*j - 15 = -3*q for q.
5
Let y be (0 - 0)*(4 - 5). Solve -3*l + a = 4, y = 4*l - 3*a - a for l.
-2
Let y = -10 + 10. Solve 5*t - 5*b = y, -5*t - b + 11 + 19 = 0 for t.
5
Let n = 16 + -4. Let c(f) = f**2 - 6*f + 5. Let g be c(6). Suppose g*t = 2 + 8. Solve -15 - 4 = 4*d + u, t*d + n = 2*u for d.
-5
Suppose -j = -5*o + 2*j + 12, 4*o - 7 = 5*j. Let f be -1*2*o/(-2). Solve 0 = i - w - w + 11, -w + 18 = -f*i for i.
-5
Let f be 1/(-3) + 10/3. Let z(t) = -5*t + 42. Let a be z(8). Solve 4*h - 12 = -v - f, 3*v - 13 = a*h for h.
1
Let v be 54/13 + 2/(-13). Suppose v*z - 18 = 2. Solve -3*b + 2*b + 4 = 3*h, 2*b = -5*h + z for b.
-5
Let g be -3 + 1 + 0 + 1. Let n = 2 - g. Suppose -n*p = -8 - 1. Solve 0*b - 5*b + 9 = -3*y, -2*b = y + p for b.
0
Let k = 18 + -15. Suppose -3*p + 59 = 4*v + 25, 0 = -3*p + k*v + 27. Solve -2*m + 0*m - p = 4*q, -3*q - 35 = -4*m for m.
5
Suppose 10*r = 5*r + 25. Solve 5*j + 5 = -4*m, r*j = 3*j + 2*m + 16 for j.
3
Suppose 5 + 26 = 3*c + 5*v, -c = 2*v - 12. Suppose -44 = -3*y + 22. Solve y = -h + 5*x, -c*h - 4*x = -3 - 9 for h.
-2
Let d = -6 - -8. Suppose -4 = d*s - s. Let f be (-94)/(-4) - s/(-8). Solve 0 = -5*l + 4*a + f, -6*a = -2*a + 8 for l.
3
Let u = 141 + -137. Solve -2*l = 3*l - 3*j - 12, u*l + 2*j + 8 = 0 for l.
0
Suppose a = -3*a. Suppose -4*s - 3*m = 19, a = -2*s - 3*m - 6 + 1. Let c be (s + 10)*5/3. Solve 2*k - 14 = c*n, -11 = 2*n + 4*k - 3*k for n.
-4
Let u = -11 + 27. Let z = -17 - -37. Suppose 5*l + z = 0, o - 4*l - l - 25 = 0. Solve -o*t + u - 1 = -a, t - 3 = 0 for a.
0
Let m = -10 - -10. Suppose 2 = c - m. Let b = -11 + 16. Solve 4*s - 18 = -0*s + c*k, -21 = -2*s + b*k for s.
3
Let x be 4/8*-1*-6. Solve -4*g - x*f = -5, 3*f - 5 = 8*f for g.
2
Let u be (-2 - -1)/((-3)/6). Solve -z + r = -2, -u*z = -4*r - 2 - 10 for z.
-2
Let l = -18 - -20. Solve 5*k + 8 = -2*t + 26, -l*t = -5*k + 22 for t.
-1
Suppose 8 = 2*j - 3*j. Let l = j + 10. Solve d + 20 = -3*c, 0 = l*d + c + 14 + 1 for d.
-5
Suppose 0 - 18 = -6*o. Solve -2*w = 5*k - 18, o*w + 0*k - 4*k - 4 = 0 for w.
4
Suppose 0 = -a - 4 + 7. Suppose -3*o - o + 13 = a*w, 8 = w + 5*o. Suppose w*t - 4 = -t. Solve -2*x + 8 = 4*b, x - 3 = 4*b + t for b.
0
Let p be 0/((-5 + (4 - 2))/1). Solve 2*r - 2*v + 3 - 9 = 0, p = 2*v - 2 for r.
4
Let t = 33 + -16. Suppose -q + 3*c = -t, q - 2*c = -2 + 14. Suppose 4*i + q - 10 = 0. Solve 4*k - x + 18 = -0*k, 3*k + i*x + 19 = 0 for k.
-5
Let g = 117 - 113. Solve -5*q + 5*x + 25 = 0, 0 = 4*q + q + 2*x - g for q.
2
Let w be ((-16)/6)/((-10)/15). Solve 24 = -4*g - w*b, g + 2 = 6*g - 3*b for g.
-2
Let a(r) = r**2 - 8*r + 10. Let u = 10 - 3. Let p be a(u). Solve -v = v + f + 4, -8 = 2*v + p*f for v.
-1
Suppose -5*w + 5 + 0 = t, -w - 2*t + 10 = 0. Solve -5*x - 13 = 3*g, w = x - 0*x + 2 for g.
-1
Let g(c) = -5*c + 2. Let a be g(2). Let j = a + 12. Solve 3 - 4 = j*v - l, v - 2 = -