Let t be n(0). Solve 0 = -5*y - o + t*o - 12, -o - 7 = 4*y for y.
-2
Let o = 21 - 20. Solve 3*w - 4*i = -o, 10 = -2*w + i - 3*i for w.
-3
Suppose y - 54 = -2*y. Solve -2*g - 3*c = y, -c - 2 = 2 for g.
-3
Let o = 7 + -3. Suppose -q - o = 4*h, -h + 12 = -2*h - 3*q. Suppose 0 = -h*v + 5*v - 10. Solve 5*t = 3*g - 4, -2*t + v = -4*g + g for t.
-2
Let f(g) = 4*g + 4. Let t be f(-1). Solve -15 = -4*l + 3*b, -3*l - 3*b + 2 - 17 = t for l.
0
Suppose h - 35 - 12 = 0. Suppose 14 = 2*c - 2*d + 2, h = 2*c + 5*d. Solve -3*s - 17 = -4*s - 5*i, s = -3*i + c for s.
2
Let v = 25 - 23. Suppose -3*i = -2*i. Solve 4*r + 5*h = -26, v*r + i*h = h - 6 for r.
-4
Let c(g) = -g**2 - 5*g + 4. Let l be c(-5). Solve l*o + t + 3*t + 8 = 0, 3*t = -4*o - 9 for o.
-3
Suppose -3 = h - 12. Let s be ((-18)/8)/((-1)/4). Solve 0 = -3*p - s, 2*w + 0*w = -p - h for w.
-3
Suppose -3*i = 5*f - 23, 2*f + 2*i - 10 = -0. Solve 2*d = 4, -b + 5*b + f*d = -4 for b.
-3
Suppose 4*h - 5*n = 17, n - 2 = 3*n. Solve 0 = -2*t + 4*t + z - 3, -18 = -3*t + h*z for t.
3
Let l be ((-24)/15)/(2/(-5)). Let s be -5*l/(-10) - 0. Let y be 2*-1 + (-27)/(-3). Solve 3*u + 21 = 2*r, -2*r + s*u + y = -3*r for r.
3
Suppose 4 + 8 = 6*u. Solve 0*i + 3*i - 3 = h, 0 = u*i for h.
-3
Let a be -5 + 4 - (-1 - 0). Suppose a = -2*o + 65 - 11. Let l be o/((-3 - -2) + 2). Solve 5*k - l = 4*t, t + t = -2*k for k.
3
Let z = -10 - -15. Suppose -4*j - 4 = -z*j. Suppose -j*o - o - 13 = 4*n, 4*n + 2*o - 2 = 0. Solve -m - 3*q + 11 = 0, 2*m = n*m - 4*q + 3 for m.
5
Let l be -1 + 5 + 1 + 0. Let a(m) = m. Let r be a(l). Suppose 5*g + 4*w = 46, 0*g + 3*w = -g + 7. Solve 3*t - 2*t + 14 = 3*x, 3*x - g = r*t for t.
1
Let o be 56/10 + 4/10. Suppose 0 = -4*c + 2 + o. Suppose 0 = z + p - 4, 4*z - 2*p = -z + 6. Solve -c*r - 1 = m, -m - 2*r + z = -3*r for m.
1
Let y(h) = 7 + h**2 - 9*h + 0 + 4. Let j be y(8). Suppose 0 = -5*l - 4*k - 0 + 41, -2*l + 14 = k. Solve 5*o = 2*f - f - l, j*f = 3*o - 9 for o.
-2
Suppose 4*l - 5*q = -12 - 13, -l = -2*q + 10. Solve l = z + 2*z - 5*o + 2, 0 = 5*z - 4*o + 12 for z.
-4
Let q be (-3)/(-2)*(0 + 2). Solve 2*u + 3*u - 25 = q*m, 0 = 2*u - 2*m - 14 for u.
2
Suppose -4*i - 2 = -5*i. Suppose -5 = -i*b - 1. Solve -5*o = v - b, 2*v + 0*v + 5*o - 4 = 0 for v.
2
Let r = 0 - -10. Let s(a) = -a**2 - 2*a + 8. Let p be s(-4). Solve -3*i + h = -p*i + 2, 5*i - 5*h = r for i.
-2
Let o = 76 + -31. Let a be ((-2)/(-6))/(3/o). Suppose -40 = -2*b + 5*m, m = b + a - 19. Solve -2*j + 16 = 4*y, b + 2 = 3*y - j for y.
4
Let q = -47 + 66. Suppose -4*i - 7 = a - q, -3*a - 2*i + 16 = 0. Solve 0 = x + 2*j, -a*x + 2*j + 8 = -2 for x.
2
Let r = 114 - 107. Solve 0 = -5*b + 4*a - 12, 2*a - r*a = -b - 15 for b.
0
Suppose p + m = -2*p + 17, 0 = 3*p + 5*m - 13. Solve 4*y = 5*r - 0*y - p, r - 5*y = 18 for r.
-2
Suppose 11*s = 15*s - 16. Solve s*g = 2*u + 3*g + 10, 3*u = -3*g - 15 for u.
-5
Let o(k) = -k - 4. Let r be o(-4). Solve -g + 5*f - 10 = 0, r*f - 2*f - 23 = 5*g for g.
-5
Let y(t) = t + 8. Let u be y(-10). Let p be (-1)/((u/(-6))/(-1)). Solve p = -4*l + 3*v, -3*l - 7*v = -3*v - 4 for l.
0
Let k = 89 - 87. Solve -x + 4*n + 5 = 0, 2*n - k - 9 = 5*x for x.
-3
Suppose 8*h - 3*h = -25, -t - 5*h - 22 = 0. Solve t*d + b + 12 = -2*d, -5*d - 3*b = 16 for d.
-2
Let z be -2 + 21 + 1 + -4. Suppose z + 19 = 4*w - 5*a, 2*w + 2*a - 4 = 0. Let j be 2/(w/(-2) + 3). Solve -j*x = -8*x - 3*m - 7, 3*m = -x - 13 for x.
2
Suppose -v - 20 = -2*l + v, -3*l = 2*v - 10. Solve 4*i = -3*t - 12, 0 = 3*t - l*i + i + 12 for t.
-4
Let x be 1/1 - (-2)/(-1). Suppose 0 = -4*k + 6*n - 3*n + 105, k + n = 21. Let u be ((x*k)/(-3))/2. Solve -5*q - 20 = 5*y, 2*q = y + u*y - 1 for y.
-1
Let n = -38 + 38. Solve -4*m = -c + 12, -2*m + n*c = -2*c for m.
-4
Let p be 4/14 - 40/(-7). Suppose 5*t - 8 = k, k - 6*t + p = -2*t. Let s(u) = -3*u + 1. Let m be s(-1). Solve -4*w - 3 = x - k, -2*x + m = 2*w for w.
-1
Let z be (0 + 1)*6 - -2. Solve -z*u = -3*u + 3*f - 2, -3 = 3*f for u.
1
Let q(g) = -g**2 - 5*g + 10. Let h = -17 + 11. Let d be q(h). Solve 3*j = -3*n - 0*j + 3, 0 = d*n - 2*j + 20 for n.
-3
Let b(h) = -h + 3. Let p be b(-3). Let t(j) = j**3 - 7*j**2 + 6*j + 5. Let c be t(p). Let d be (2 - (3 - 1)) + 0. Solve 4*g = 3*g + 3*v, d = -c*v for g.
0
Let l be ((-16)/20)/(12/(-30)). Solve -4*x + 11 = -0*y + y, 2*y - l = 2*x for x.
2
Let b(q) = 12*q - 9 - 18*q + 9*q. Let v be b(4). Solve -2*j = -2, 0 = 5*y - 0*j - v*j + 13 for y.
-2
Let j = 33 + -27. Solve -3*f - 21 = 5*q, 3*q + 5*f + 13 = -j for q.
-3
Let b be 24/(-9)*15/(-10). Solve 0 = -0*h + h - 2*q, -8 = -b*h + 4*q for h.
4
Let g = 81 - 78. Solve -8 = 4*w + 2*q, -g*w - q + 0 - 4 = 0 for w.
0
Suppose j + 4 - 9 = 0. Suppose -p - 4*p - j = 0. Let x be (-60)/35*7*p. Solve 3*k - 12 = 2*z - z, x = 3*k for z.
0
Let i(r) = 11*r + 2*r**2 + 0 - 3*r**2 - 2*r - 4. Let y be i(8). Solve 4*o = -y*m + 32, -3*m + 12 = o - m for o.
4
Let p be (2/(-3))/(2/(-36)). Solve -v + 5*i - 4*i = 0, 2*v + p = -2*i for v.
-3
Let t be (-15)/6*(-64)/20. Let y be (-2)/(-4)*(t - 2). Solve 3*v = 2*v - 4, -3*z - 15 = y*v for z.
-1
Let o(w) = 2 + 1 - w - 1 - 4. Let t be o(-5). Solve -3*k - 3 = t*b, -1 + 6 = 5*b for k.
-2
Let r(p) = -5*p + 1 + p**2 - 3*p + 4 + p. Let h be r(7). Solve h*o = -5*q - 10, 5*o = 3*q - 0*o + 14 for q.
-3
Let w = -15 - -11. Let n(b) = 2*b + 4. Let g be n(-4). Let i be 5 + w - g/2. Solve i*u - 4*m = -u - 20, -m = -3*u - 5 for u.
0
Suppose 4*d - 4 = 0, -3*a - 2*a - 5*d = -20. Solve -a*z - 2 = -2*l, z + 5*l + 2 = -10 for z.
-2
Let q = -37 - -40. Let k(m) = -m**2 - 2*m - 1. Let d be k(2). Let p = -5 - d. Solve -4*a - 20 = 2*g + a, -g + p*a + q = 0 for g.
-5
Let m = 4 - -1. Suppose -p - 8 = -4*a, 3*a - m*p = 7 - 1. Solve 0 = n - 2*i + 7, a*i - 8 = 2*n - 2 for n.
1
Let p(y) = -3*y + 19. Let t be p(5). Solve 4 = -i + 5, -t*z - 2*i - 2 = 0 for z.
-1
Let r(g) = -g**3 - 13*g**2 - 34*g + 22. Let v be r(-9). Solve 0 = x + 4*s - 0 + 6, v*x - 5*s + 3 = 0 for x.
-2
Let j(p) = p**3 - 2*p**2 + 2*p. Let m be j(2). Let r be ((-9)/(-6))/(2/m). Solve -2*w = 5*x - 8, 4*x + 2*w - 3 = r for x.
2
Let k(b) = b**2 - 26*b + 52. Let s be k(24). Solve v - 1 = -p, -v - s*p = 2*v for v.
4
Let i = -10 + 12. Suppose 2*b = -i*x, 4*x + 4*b + 15 = 3*x. Solve t - x = -2*g, 5*t = -0*g - 5*g + 10 for g.
3
Let z be (-5)/2*(0 - 2). Solve -z*m = -3*o - 32, o - 4 = -6*m + 4*m for m.
4
Suppose 8*x - 9*x - 6 = 0. Let v = 2 - 6. Let h = v - x. Solve -3*o + 23 = 5*u, u - h*o = 2*o for u.
4
Let s = 64 - 33. Suppose 3*a + 12 = 0, 3 = -4*u + 2*a + s. Solve 3*p = -u*k + 2*p - 11, -k + p = 1 for k.
-2
Let i = -8 + 13. Solve 5*b + 8 = -3*y, 0 = -2*b + i*y + 4 - 1 for b.
-1
Suppose -2*j + 4 - 2 = 0. Let c be (-4)/(-4 + 1 + j). Solve 0 = -3*x + p + 2 + 14, -x = -c*p - 12 for x.
4
Let q = 3 - -2. Let o = 10 + -26. Let u be (6/(-4))/(6/o). Solve 0 = 3*w + d - 5, -u*w + 19 = -q*d + 6 for w.
2
Let z = -47 - -49. Solve -b - x - 2 = 3*x, -z = 2*x for b.
2
Let f be 0/(((-20)/30)/((-4)/(-6))). Solve 5*q - 5*b = -25, f*q - 3*q - 19 = -5*b for q.
-3
Let f(x) = -x**3 - x**2 + x + 6. Let g be f(0). Let a(y) = -y + 1. Let n be a(-4). Solve 3*k + 9 = -n*w, -3*k + k = 4*w + g for k.
-3
Suppose 29 = 4*z + z + 3*d, 3*z - 21 = -3*d. Solve 5*w - z*x = -8, 3*w + 4*x + 8 + 16 = 0 for w.
-4
Let j(d) = d**2 - 5*d - 7. Let v be j(7). Suppose 0 = 2*g - v*g + 20. Solve 3*o + g*s = -2*o - 23, 12 = -2*o - 3*s for o.
-3
Suppose 0 = -15*b + 18*b - 9. Solve r - 20 = 4*m, -12 = -b*r - r - m for r.
4
Suppose -3*p + 3*w = -9, -5*p + 0*w - 9 = 3*w. Solve 3*g = 4*g - 2, 4*s + 2*g = p for s.
-1
Suppose -10 = 5*c - 10*c. Suppose c*z + z = 15. Suppose -b + 6*i + 7 = z*i, -i + 8 = 4*b. Solve 3*x = -5*r - 19, -x - 2*r = 11 - b for x.
2
Suppose -9*w + 5 = 5. Solve 3*s - 23 = 4*v + 5, -2*v - s - 4 = w for v.
-4
Let w = -15 - -11. Let u = 3 - w. Let a(o) = o - 5. Let v be a(u). Solve -3*m - k = -4*m + 3, 0 = -v*m + 4*k + 2 for m.
5
Let o be 32/15 - 22/165. Solve m - j + 0 - 4 = 0, o*j + 9 = m for m.
-1
Suppose -j = 4*j + 3*r - 159, -3*j = 3*r - 99. Suppose -j = -2*c - 0*c. Suppose -2*y + c = -y. Solve -15 = -0*b + 3*b, -5*b - y = 2*u for u.
5
Let f(h) = h**2 - 4*h - 3. Let j be f(7). Suppose t + j = -t. Let w = -3 - t. Solve -2*m - 17 = 5*z, -w = -z + 3*z + m for z.
-5
Let c(f) = -f**2 + 4*f - 2. Let n be c(3). Suppose -3*u + 3 = 3*v, 2*u - 