2
Suppose -3*n - 4 = -2*a, -2*a = 4*n + 3*a - 33. Suppose 31 = w + n*k, w - 41 = -5*k - 7. Let c = w + -29. Solve c = -r + 4*l - 21, -l + 10 = -6*r + r for r.
-1
Suppose 0 = 2*l - 6*l. Suppose l = -o - 4 + 7. Let n(i) = -i**2 + 6*i + 5. Let d be n(5). Solve -d = 5*j + o*a, 5 = a - 0 for j.
-5
Suppose -19*p + 56 = -5*p. Solve 3*x + 5 = i, 4*i + 26 + 2 = -p*x for x.
-3
Suppose 7*h + 2*u = 4*h - 2, -2*u = -5*h + 2. Let x be (-10)/(-4)*(-36)/(-15). Solve 2*r = -4*j - 22, -2*r + 3*j + x + 7 = h for r.
-1
Let c(z) = 14 - z + 1 - 5 + 9. Let i be c(17). Solve 4*o + i*p + 6 = -2, 2 = -o + 5*p for o.
-2
Let a(z) = z**2 + 5*z - 7. Let v be a(-7). Let j(s) = 14 + 5*s - v - s - 5*s. Let g be j(5). Solve 4*c - g*f = f - 1, 5*c + f + 25 = 0 for c.
-4
Let h be (-54)/(-15) + (-5)/25*3. Suppose 0 = 2*n + 2*d + h + 3, 0 = -d - 5. Solve -7*p - s + 4 = -2*p, -n*s = -p + 3 for p.
1
Suppose 2*w + 5*o - o - 34 = 0, 0 = w + 3*o - 18. Let i = -19 + w. Let u be (-6)/i*(-14)/(-3). Solve -2*k - 5*t = -15 - u, t - 5 = -k for k.
1
Let z be ((-21)/63)/(1/6). Let w be -12*(0 + z + (-2)/(-6)). Solve a - 19 = -7*q + 3*q, -4*q + w = 0 for a.
-1
Let c(q) = q**2 + 3*q - 1. Let w(g) = 7*g + 10. Let f be w(-2). Let k be c(f). Solve -v = -k*l - 2, -l + v - 4 + 0 = 0 for l.
1
Let x be 2*18/(-99)*-11. Solve -3*d + 7 = -4*z + 3, 4 = -x*z + d for z.
-1
Suppose -4*l = l + 15, -5*m - 3*l + 56 = 0. Suppose 2*k - m = -3. Solve k*a = -5*h - 40, h + 0*h - 3*a - 8 = 0 for h.
-4
Let l be (-88)/14 + 0 + 16/56. Let m(x) = -2*x - 8. Let s be m(l). Let j be 2 - (0 + (0 - 4)). Solve k + s*i - 15 = 0, -2*k + 3*i = 5*i - j for k.
-1
Suppose 0 = -0*j + 4*j - 16. Suppose -4*d - 5 = -3*t - 3, -6 = j*d - 5*t. Solve 5*x - 2*y - d = -10, -3*x + 5*y = -6 for x.
-3
Let u be (-74)/(-259) - 12/(-7). Solve -3*a + 4*m - 1 = 0, 0 = 2*a + m - 3*m + u for a.
-3
Suppose -5 = 6*u - 53. Let z = -4 + u. Solve -z*l = -0*w + 5*w, -2*w + 4*l = 0 for w.
0
Let p be (0 + -1)*(-1 + -3). Let o(s) = s - 2 - 4 - p + s. Let u be o(5). Solve q - h + 5 = -u, 3*q + h = -11 for q.
-4
Let u = -86 - -98. Suppose 4*t = -2*j + u, -j + 5*t = 3 - 2. Solve 0 = -j*l - 12, 4*l + 12 = 3*d + d for d.
0
Suppose -24 = -5*r - 2*x, 13*r - 5*x - 2 = 10*r. Solve 4*d + 4*h = h - 18, r*h = 3*d + 1 for d.
-3
Suppose -5*o + o + 16 = 0. Suppose -3*a = -5*l + 10, 4*a = -o*l + 25 + 15. Solve 8 = -4*c, -2*c - 16 = l*i + 13 for i.
-5
Let j(r) = r + 46. Let p be j(-36). Solve -4*x = 2*n - 16, -3*n = 3*x - 2 - p for n.
0
Suppose 0*y = 5*y - 10. Let b be 27/9*(8/12 + 0). Solve -y*o + 5 + 6 = -r, 3*r - b*o + 21 = 0 for r.
-5
Let u(c) = c**3 - 6*c**2 - 9*c - 2. Let d be u(7). Let p be (-2 + 5)/(2 + 14/(-4)). Let n be p - 2 - d/1. Solve 0*k = 2*j + k + n, -2*j - 28 = 5*k for j.
-4
Suppose -5*z = 2*x - 13, -4*z = -3*z + 4*x + 1. Solve -z*h = -2*v - 0*h + 12, -2*v - 2*h = 8 for v.
0
Let z be 469/(-28)*(-4 - 0). Let p = z + -62. Solve 5*o = -5*d - p, 1 = -2*o + o - 5*d for o.
-1
Suppose -4 = 3*d + 2. Let s be 4/(d - -4) - -15. Let o be (0*(-1 + (-2 - -2)))/1. Solve 2*g + 10 = -3*f - o*f, 3*g + 5*f = -s for g.
1
Let l be 23 - (-5)/(15/(-6)). Let f = l - 3. Suppose -3*v = -f + 6. Solve 3*q = 4*j - 11, -2*q = -3*j + v*j for j.
2
Let g be (-7 + (-40)/(-4))/(1/19). Let o = 67 - g. Solve y + 0*y + o = -5*n, 6 = -3*n + 2*y for n.
-2
Suppose 16 = 3*d - 2*w, 4*d - 3*w = 6*d + 11. Solve -h + 17 = 3*c, -c + 3 = -d*h + h for h.
2
Let t = -172 + 174. Solve -t*k + 5*b + 11 + 10 = 0, -5 = b for k.
-2
Let p = 683 - 678. Let n be 1/(-2) + 1/2. Solve -2*a = -a + q, n = 3*a - p*q - 40 for a.
5
Suppose 5*f = -4*f + 81. Solve 0 = 4*r + 3*v + 28, 2*v = 1 - f for r.
-4
Let p(v) = -37*v - 28. Let l be p(-4). Let g = -4 - -9. Suppose -l = -w - g*w. Solve 0*k + 5*k = 5*i + 25, w = -3*i + 4*k for i.
0
Suppose 0 = 172*s - 176*s + 8. Solve -w + 7 = -4*v, -2 - 4 = -s*w + 4*v for w.
-1
Let d(n) = n**2 - 2*n + 6. Let m be d(-6). Suppose 50*u + 12 = m*u. Solve -4*g = -2*p - 27 + 3, 0 = -u*g - 4*p - 4 for g.
4
Let y = -11 + 12. Suppose -5*l = 2*w - 14, -w - l + 3 + y = 0. Solve 5*b + 3*z = 18, 2*b - 1 - w = 3*z for b.
3
Suppose -16*x = -14*x - 6. Let q = 2 + -2. Solve -7 = x*c - 2*l, -3*c + l + 3*l - 5 = q for c.
-3
Suppose 8 - 2 = 3*v. Suppose 6 = o + v. Let h = -993 + 996. Solve -h*w + o*w = -r, 0 = -5*r - 10 for w.
2
Suppose -d - 6 = -4*d. Let g(x) = -x**3 + 2. Let p be g(0). Let q(f) = -3*f**2 + 26*f - 9. Let i be q(8). Solve -z - i = t + p*z, -2*t = 2*z + d for t.
2
Suppose -2*n = 0, 0 = 3*k + 3*n - 2*n - 12. Suppose -5*v = -z + 4, -2*z = -2*v - 3*z + k. Solve 5*m = -2*j - 24, v*m + 5*m = 4*j - 12 for j.
-2
Suppose 2*u - 92 = -5*o, 5*o + 189*u - 87 = 192*u. Solve 8*v = -4*s + 10*v + o, 4*v = -20 for s.
2
Suppose 8 = 2*q + 4*b - 20, q - b - 11 = 0. Solve -4*i - 4*t - q = 0, t = 4*i + 3*t + 14 for i.
-4
Suppose 15 = 5*g - 0*g. Suppose -g*i - 20 = -8*i. Solve -4 = -5*c - 3*a, -i*c + 5*c - a = 4 for c.
2
Let q = -457 + 476. Solve -3*w + 4*s = -s - 22, 3*s = -4*w - q for w.
-1
Suppose -4*b - 4 = -12, 0 = h + 4*b - 28. Let o = 52 + -52. Suppose o = -4*i - 6 + 18. Solve -w + 6*w - 2*m = -h, -4*w = -i*m + 16 for w.
-4
Suppose -2*o + 7 = n, 0 = o + 2*n + 119 - 121. Solve -3*g + 5 = 2*s - o, 0 = -4*s + 5*g - 37 for s.
-3
Let l(b) = -17*b - 492. Let i be l(-29). Solve 2*a + 2 = -z, -4*a + z - i + 3 = 0 for a.
0
Let w = -4 + 9. Suppose -d - 12 = -3*b + 7*b, -3*d = w*b + 8. Let a(n) = n - 1. Let l be a(d). Solve 2*v = -6, -v - 27 = 5*o + l*v for o.
-3
Let g(c) = c - 1. Let z be g(3). Suppose 3*x = 138*o - 137*o + 11, -3*o = 4*x + 7. Solve -2*u + 2*a + 18 = x*u, 0 = z*u - 3*a - 11 for u.
4
Let z(l) = 2*l**2 - 2*l - 3. Let v be z(-2). Suppose 3*b - 6 = -0*b. Suppose b*c - 2 = 2. Solve -3*j = -4*n - 4 + c, 2*j - v = -5*n for n.
1
Let o = -51 + 31. Let l be (1/(-2))/((-5)/o). Let j be (l/6)/(2/(-18)). Solve 0 = -j*z - 5*c - 35, 5*z - 3*c = -2 - 11 for z.
-5
Let u be -3 - (16/(-40) + (-56)/10). Solve 2*k - l + 3 = 0, 2*k + 4*l + 27 = -u*k for k.
-3
Let h be ((-8)/((-24)/15))/1. Solve 5*d = -0*d + h*m + 10, -4*d - 13 = 3*m for d.
-1
Let u = -77 + 67. Let i be (u/(-4))/((-5)/(-4)). Solve -i*x - 3 - 1 = 0, -2*s + 4*x = -16 for s.
4
Suppose -2*h + 55 = 3*h. Suppose 0 = 6*p + 8*p - 56. Suppose 0 = -5*d + h + p. Solve -m - v - v = d, 3*v = -3*m for m.
3
Let s be (-33 - -2)*(-2 + 3). Let y = s - -39. Suppose -12*i + 8 = -y*i. Solve 4*n = -i*q - 3 - 1, -4*q = n + 1 for n.
-1
Let p = 1724 - 1721. Solve 9 = -r - 4*a, -r - 19 = p*r - a for r.
-5
Suppose n = 4*m - n - 14, -4*n = -m + 7. Let x be (2 - m) + (4*-4)/(-4). Solve l - x*l = -4*c + 8, c = 3 for l.
2
Suppose 0 = 3*r - 7*r - 36. Let v be 96/(-9)*r/3. Suppose 3*q - v = -5*t - 7, -5*t = q - 15. Solve -3 - 2 = 5*f + 5*u, -q*f + 3*u = -3 for f.
0
Let f = 19 + -23. Let s be 10/f*468/(-65). Solve 3*i - 7*i - l - s = 0, 20 = -2*i + 5*l for i.
-5
Let k be (-2)/10 - (-357)/35. Let c = k + -7. Suppose -2*z = 3*h - 12, 2*z + h - c*h = -8. Solve 5*p - p = -4*r + 16, z = -p + 5*r - 8 for p.
2
Let q = 1026 - 1026. Solve 2*s - 7 + q = -3*j, s = 3*j + 8 for j.
-1
Suppose 0 = -5*x - a - 0 + 1, -x - 5*a = -5. Solve -5*d + 25 = 0, -y - 4*d + 2 + 21 = x for y.
3
Suppose -4*u + 18 - 2 = 0. Let j(t) = t**3 - 11*t**2 + 10*t - 2. Let y be j(10). Let v be y/((-4)/(-6)) + 6. Solve 0 = -3*i - u*n + 13, -n + 1 + v = i for i.
3
Let t be 3 - (78/117)/(1/(-18)). Solve -3*q - 4 = -5*m + 20, 0 = 5*m - t for q.
-3
Let s(z) = 2*z**2 - 9*z - 5. Let v(f) = f**2 - 1. Let l(o) = -s(o) + v(o). Let k be l(8). Let x be 2 + k/(-4) + 2. Solve 9 = 2*c + x, -r + 5*c - 17 = 0 for r.
3
Let l = -22 + 19. Let x(y) = y + 3. Let c be x(l). Solve 4*n - 6*v + 2*v - 16 = c, 4*n + 3*v + 12 = 0 for n.
0
Let f(s) = 2*s**2 - 19*s - 99. Let o be f(14). Solve 0 = 7*q - 5*q - 10, -5*q + o = -2*i for i.
-1
Let t be (-5)/(1/2*2). Let w(v) = -v**3 - 5*v**2 - 3*v - 1. Let s be w(t). Let g = -12 + s. Solve 2 = -3*h - 4*d - g, 0 = 4*d + 4 for h.
0
Let l be ((-6)/(-9))/(2/12). Suppose -8*p + 36 = l*p. Solve -5*u + 26 = -p*o, 0 = 2*u + u - 4*o - 20 for u.
4
Let a = -26 + 28. Let t be (3 - a) + -5 + 6. Solve -5*i = b, -i - i = -t*b - 12 for b.
-5
Let g be (-42)/63*(-17 + 2). Solve -g = 4*x - 2*z, 0 = -3*x + z - 2*z - 15 for x.
-4
Let b(f) = -3*f - 10. Let k(t) = 3*t + 10. Let d(g) = -6*b(g) - 7*k(g). Let s be d(-4). Solve -3*z = 2*v - 