j be x(a). Let m = -11 - j. Solve -y + 2*t = 5, m*y - 4 - 2 = -5*t for y.
-1
Suppose 0 = 3*x + 2*x - 25. Suppose 0 = -x*m - 63 + 13. Let b be 2/m - (-22)/10. Solve s + 5 = 5*q, b*s - 4*q + 15 = -s for s.
-5
Let g be (0 - 4)/(15/(-15)). Solve -3*i = 4*f + 14 - 1, 0 = -g*f - 16 for i.
1
Let c = -37 + 15. Let y = -19 - c. Solve 2*n + y*a - 6 = 9, 5*n = 5*a for n.
3
Let w be -1 + -2 - (-8 + 0/(-1)). Solve -8 = -h + w*h + 2*z, 5*h = -2*z - 8 for h.
0
Let w = -11 - -11. Suppose w = 2*v - v. Solve v = 3*d - p - 9, -2*p = -2*d + 2 - 0 for d.
4
Let w(s) = -7*s - 25. Let d be w(-4). Solve j + 3*q = -0*j, 5*q = d*j for j.
0
Let g = 4 - -13. Let c = g - 13. Solve -l - c*f - 18 = 0, -3*l = -7*f + 3*f - 26 for l.
2
Let t(l) = -2*l - 1. Let w be t(-2). Suppose 2*u - w*d - d = 0, 4*d = -u. Suppose 5*c - 25 = u, 0 = 4*z - 5*c + 9. Solve -z = 4*k, -2*k - 3 = 5*o - 4*o for o.
-1
Let j = -129 - -218. Suppose 5*d + 0*d - j = -2*c, 5 = d. Suppose 3*x - c = -x. Solve u - 2*u = -3*t - x, -4*u - 8 = -2*t for t.
-4
Let g(b) = -2*b**2 - 2. Let w be g(2). Let h = w - -15. Solve 5*r - h - 1 = 2*j, 0 = -5*r for j.
-3
Let f be (-22)/(-55) + 2/(-5). Solve z = 4*g - 16, f = -5*g + 5*z + 1 + 19 for g.
4
Let j(d) = -6*d - 7. Let l be j(-3). Suppose -3 = -3*s, 4*g = 2*g - 5*s + l. Solve g*p = -5*q - 2*p - 15, -5*p = -5*q + 25 for q.
1
Let b(v) = -v**2 + 8*v - 4. Let k = 4 - -5. Suppose 0 = 4*a - 19 - k. Let c be b(a). Solve -2*f + 19 = -0*f - 5*s, c*s = -9 for f.
2
Let k be -2*(-2)/2*-1. Let g be (2 + k)/((-2)/1). Suppose -3*q - 2*y + 25 + 15 = 0, -q - 3*y + 25 = g. Solve h - f + 2 = 0, -f = -3*f + q for h.
3
Let f(k) = 2*k**2 + 19*k + 19. Let s(j) = -3*j**2 - 28*j - 28. Let d(c) = -8*f(c) - 5*s(c). Let i be d(-10). Solve z + 4 = -3*t + i, -3*t = -9 for z.
-5
Suppose 0*n - 4*n + 4 = 0. Let m = n + 1. Suppose 0 = -5*k + f + 146, -k - m*f + 6*f = -33. Solve -4*v = 4*y - 32, 0 = 4*v + y + 2*y - k for v.
5
Let n = -22 - -28. Solve -n*d + 3*d - 4*y - 7 = 0, d + 5*y = -6 for d.
-1
Suppose 30 = 14*z - 8*z. Solve -5*p = -4*g - 29, p - 5 = -p - z*g for p.
5
Suppose -b = -0*b - 8. Solve 2*v = 5*f - b, -v - 9 = -0*f - 5*f for v.
1
Let h(k) = -2*k + 12. Suppose 20 = 4*g - 0*g. Let x be h(g). Solve 4*b = 2*f + 18, 3*f + x*f = 2*b - 21 for f.
-3
Let p(k) = -k - 1. Let v be p(-8). Solve 3*s = 3*h - 15, -s = -4*s + h - v for s.
-1
Let u = -105 + 108. Solve 2*g = y - 7, 0*y - 5 = -2*g - u*y for g.
-2
Let g be 0 - (-3 - -5)*-3. Suppose g = -3*w + 18. Solve -3*j + 28 = 2*j + l, 4*j = -w*l + 32 for j.
5
Let w be 31/(-4 + 3 - -2). Solve -4*u + w = -3*k, -3*u = -6*u - 4*k - 8 for u.
4
Suppose -p = -5, 89 = -4*u + p + 264. Let s = u + -24. Let n = -5 + s. Solve -5*a + 3*m - 5*m + n = 0, 0 = a - 4*m + 10 for a.
2
Let b be 1/(-4) - 3/(-12). Suppose 2*k - 3*k + 22 = b. Let i = k - 10. Solve 0*r = 2*r - 4, 5*x = -4*r - i for x.
-4
Let h(r) = -r**3 + 5*r**2 - r + 5. Let q be h(5). Suppose q*b + 4*v + 11 = -b, b = -5*v - 15. Solve a + 2*a = -5*u - 14, 5*a = b*u + 30 for u.
-4
Let n = -11 + 30. Solve 5*u - n = -a, 7 = -3*u + 5*a - 4 for u.
3
Suppose 5 = -5*b - 5. Let r = b - -7. Suppose 0 = -r*s, 3*q + q + 3*s - 12 = 0. Solve 0 = 2*f + 2*f + q*y, f = -3*y + 9 for f.
-3
Let n be 2/9 - 48/(-27). Suppose -n*o + 8*t - 3*t - 24 = 0, 12 = -o + 2*t. Let h = 17 + o. Solve 2*l + h*f = 10, -l - f + 2 = 4*l for l.
0
Let g = -33 - -35. Solve g*b - 16 = 5*r, 28 = -2*r - 3*r - 4*b for r.
-4
Suppose -3*w + 5*c = -6*w + 13, 3*w - 2*c - 20 = 0. Suppose w*t = 7*t. Solve 0 = 2*m - q - 3, t = 2*m + 5*q - 24 - 9 for m.
4
Let g(y) = -y**2 - 8*y + 7. Let p be g(-7). Solve 0 = 4*u - 5 - 7, 0 = -4*n - 2*u - p for n.
-5
Suppose 0 = 2*p - 4 - 4. Let a be (-1)/2 + 42/p. Solve -2*b - a = 2*f, -2*f = 3*b - 6*f + 8 for b.
-4
Let s(v) = v**2 + 9*v + 22. Let l be s(-4). Solve 18 = -4*r - l*p, 0 = 3*r + 5*p - 2*p + 12 for r.
-5
Let a(f) = -f - 3. Let k be a(-5). Solve 0 = 3*x + 5*w + 15 + 1, -k*x = 5*w + 14 for x.
-2
Let f = -18 - -20. Solve f*i - 15 = 5*t, i + 2*t + 22 = 5*i for i.
5
Suppose -20 = 4*a, -2*q - 3*q + 2*a + 30 = 0. Suppose -2*f + q*o + 4 = 0, -o = f - 2*o - 6. Solve b + 2*i - 12 = 0, 5*b - 2*i + f = 2*i for b.
2
Suppose -4*v + 5*d = -37, -6*d + 11*d + 40 = 5*v. Let x = -1 - -5. Let c = 19 + -17. Solve 5*w - 26 = -v*f, c*w + x*f - 14 = f for w.
4
Let w be 16 - 2*(-3 - -2). Suppose w = 7*s - 6*s. Solve 0 = -2*r - 3*y + s, 0*r - r = 2*y - 11 for r.
3
Let y be 1 - -1*14/2. Let x(n) = -n**3 - 8*n**2 - n - 5. Let k be x(-8). Suppose -k*z = -4*z + y. Solve 0 = -2*h + 3*b - b - 4, -4*b - z = 0 for h.
-4
Suppose 3*g = -0*c + 5*c + 11, 5*g + c - 9 = 0. Suppose -5*h - 10 = -30. Solve 5*i + g = -h*f + 1, -i + 2*f = -11 for i.
3
Let g = 96 - 93. Solve -2*w - g*k = -2*k - 2, 0 = 4*k + 8 for w.
2
Suppose 2*l + 0*k - 38 = -k, -l + 5*k + 30 = 0. Let c be 4/3*(-6)/(-4). Let r = c + 1. Solve 0 = 2*y, l = 4*b - y + r*y for b.
5
Suppose -7*z + 12 = -z. Solve -2*b = -3*r + 11, -z*b = 2*r - 5 + 1 for b.
-1
Suppose 2*t - 1 = 3*v - 5, -13 = -3*t - 5*v. Let f be 1 + (1 - t) + 1. Solve -4*c = -f*d - 6, 3*d + 2*d - 4*c = -9 for d.
-1
Suppose -a = -2*a - 2*r + 2, 4*a - 22 = -r. Let b = 8 + -6. Solve 0 = -b*y - 2*k - a, 5*y - 5*k + 12 = y for y.
-3
Suppose -k + 11 = 2*s - 2*k, s - k = 8. Solve 2*u + 4 = s*o - 3, -2*o = 2*u + 12 for o.
-1
Let w = 46 + -44. Solve -y = w, y = -5*m - 15 - 7 for m.
-4
Let l(n) = -n**2 - 6*n - 5. Let w be l(-4). Solve w*d - 5*v + 9 = 0, 0 = -3*d - 2*v - 3*v - 9 for d.
-3
Let x(d) = 5*d**2 + 4*d - 4. Let f be x(-4). Suppose 4*j - f - 24 = 0. Solve -5*g + 5 = -3*m, -4*g - m + j = -0*g for g.
4
Let d = 67 - 67. Solve 2 - 3 = -3*u + r, 4*u - 2*r = d for u.
1
Let m be (2/6)/((-2)/(-6)). Let c(f) = 24*f**2 - 1. Let b be c(m). Solve -d = -0*d + 4*p, -b = 5*d - 3*p for d.
-4
Let g = -2 - -2. Let o = 2 + g. Let b(p) = -p**3 - 7*p**2 + 6. Let q be b(-7). Solve -3*r - q = 0, -1 = -2*f + o*r + 11 for f.
4
Let f = 15 - 1. Solve 3*r + 5*c - f = r, 12 = 3*c for r.
-3
Suppose 7*m - 12*m + 30 = 0. Let g = m - 4. Let c be (-16)/(-3) - (-2)/3. Solve -c*x - g*v = -x + 9, -3*v = -9 for x.
-3
Let m = -1 - -4. Suppose -m*p - 25 = -8*p. Let y(n) = n**2 - 10*n - 19. Let h be y(13). Solve 19 = -5*d + 3*s, p = -5*d + 5*s - h for d.
-2
Suppose -7*i - 4*u - 36 = -2*i, 29 = -4*i - 3*u. Let c = -19 + 33. Let x = i + c. Solve -4*s - 3*y = 13, -2*y = -s - x*y - 13 for s.
-1
Let r(f) = f - 18. Let n be r(21). Solve s + 5 = -n*i, -4*s + 7 = 2*i + 27 for s.
-5
Let q(k) = 3*k**2 + 2*k + 8. Let m be q(-2). Solve 4*i + 4*u = 5*u - 19, -4*u = -4*i - m for i.
-5
Let t = 18 - 9. Let n = 9 - t. Suppose y + 0 - 4 = n. Solve -2*v + y*k - 14 - 14 = 0, -v = 4*k - 16 for v.
-4
Let k(v) = v**2 + 7*v + 13. Let u be k(-5). Solve 0 = 3*c + 2*x - 0 - u, 2*x = -c + 5 for c.
-1
Let v(n) = 6*n**2 + 3*n. Let g be v(-2). Suppose 8 = 5*q + 83. Let c be (-2)/5 - 66/q. Solve 2 = -2*k + m, -c*k - 4*m = m + g for k.
-2
Let q be 3/(9/10)*3. Suppose 0 = -9*k + 4*k + q. Solve 3*c = -3, 4*i - k*c = 6*i for i.
1
Suppose -3*o + 5*r = 7*r + 4, 3*o + r = 1. Solve o*f + 3*k = -3 - 20, -3*k = -5*f - 5 for f.
-4
Let z = -5 - -20. Suppose -z = -3*k - 0*k. Let j(p) = -p**3 - 3*p**2 + 4*p + 4. Let r be j(-4). Solve 1 = -a - r*d + 8, -k*d + 17 = 4*a for a.
3
Suppose -12 = -2*v - 38. Let y = -8 - v. Suppose -3 = -3*l + 3*b, -1 = 2*b - 3*b. Solve -4 = -j - 5*t, -y*t = 3*j - l*t - 12 for j.
4
Let z(h) = h - 2. Let p be z(5). Let c be 1*(-4 + 7 + 0). Solve 2 - 7 = -p*a - u, -5 = c*a - u for a.
0
Let o be 1*((6 - 3) + 2). Suppose -t - a = -o*a + 14, -3*a = -12. Solve 0 = t*j - 4*w + 7 - 5, 5*j + 2*w = -29 for j.
-5
Let g = -97 + 136. Let m be 72/g + (-4)/(-26). Solve 16 = 4*w + 4*b, -4*w - b + 17 = m*b for w.
5
Suppose -4*w = -5*k + 16, -2*k = 2*k - 3*w - 13. Let l be 2*k/(8/3). Solve 3*j + l*m - 6 = 0, 2*j + 3*m = -m + 14 for j.
-3
Let a(o) = -6*o**2 + 3 + 2*o**2 - o**3 + 12*o - 4*o. Let b be a(-5). Let u be (46/(-8))/(3/b). Solve -5*s = 4*j + u, 2*s - 3 = 5*j + 1 for j.
-2
Let j = 11 - 8. Solve -3*r + j = 2*k - 2, -2*r + 3 = k for k.
1
Suppose -12 = -4*j, 2*v - 5*j + 4 + 1 = 0. Suppose 3*w - 11 = 2*u, -4*w = 3*u - v*u - 16. Solve -2*h - h - 12 = 3*p, 0 = 5*h - u*p + 6 for h.
-2
Let q be 1*(8 - (2 - 4)). Let j be (-20)/(-6)*12/10. Solve j = -s - a, -2*a - q = -2 for s.
0
Let t(g) = 4*g**2 - 1. Let d be t