46). Solve -a = 2*n + n + f, -j*a = -12 for n.
-5
Let a = -4 + 10. Let m be (3 + (-3)/a)*2. Let q be (0/(-1)*-1)/3. Solve 2*w = 3*h - 5, m*h + 2*w - w + 9 = q for h.
-1
Suppose 56 = 9*d + 20. Solve 5*b + 8 = d*x - 24, 0 = -2*x - 2*b - 2 for x.
3
Suppose m + 11 = x, 1 + 6 = x + 3*m. Suppose -7*y + x + 172 = 0. Let c = y + -14. Solve 0 = -3*f + c, -s - 22 - 1 = -5*f for s.
-3
Let n be (-3)/5 + 651/35. Suppose -4*o - 3*k = -23, -4*o + 1 = -5*k + n. Solve 31 = 3*a - 4*v, 41 = o*a + 3*a - 4*v for a.
5
Let f be 2/9 - 140/63. Let l = 2 - f. Let s be l/6 + 6/(-9). Solve 3*m + 6 + s = -3*r, 0 = -m - 5 for r.
3
Let i = 16 + -4. Suppose -3*r + 0*r + i = 0. Let b be -2 - (-5 - (1 - -1)). Solve -4*z + r*m = 12, -3*z + z - 6 = b*m for z.
-3
Let s = 590 + -579. Solve -5*o - x = s, x = 5*x - 16 for o.
-3
Suppose -6 = 3*b - 33. Let a be (9/(-6))/(b/24). Let t = -1 - a. Solve 3*h - h + 3*o = 12, -t*o = -6 for h.
3
Suppose -m - m = 12. Let i(x) = -2*x + 6. Let b be i(m). Let j = -103 - -119. Solve -2*r - b = 5*a, -4*r + 0*a - j = 5*a for r.
1
Let v be (5 + 0 + 230/(-46))/(-6). Solve v*r + 2*y = -5*r - 30, 5*r - y = -15 for r.
-4
Let g = -445 - -447. Solve 4*f + 5 = -5*q, g*q - 2*f = -0*q - 2 for q.
-1
Suppose -19 + 0 = -3*b - 2*o, o - 2 = 0. Suppose d - 5*x - 2 = 6, 0 = -5*x - 15. Let z = d + 10. Solve 5*p = -b*r - 5, -2*r + 5*r + p + z = 0 for r.
-1
Let g be 7/(-21) + 98/6. Let h = 34 - g. Let v = -16 + h. Solve 4*u = v*c - 20, 2*u + 2*c + 5 = 1 for u.
-4
Let o = -117 + 121. Solve 3*w + 5*v = -13, 6*w = 3*w + o*v + 5 for w.
-1
Suppose 12*c - 54 = -15*c. Solve 4*r - 16 = c*g, 3*r - 12 = -g + 3*g for r.
4
Suppose 5*x = -17 - 3, -3*x + 42 = -g. Let f = -51 - g. Solve -5*z - 3 = -3*m, -f*z + 3*m + 3 = -0 for z.
-3
Let f be (5 - 306/81) + (-2)/9. Solve k = -f, -4*k + 9*k - 5 = 5*i for i.
-2
Let o(q) = -q**3 - 9*q**2 - 13*q - 4. Let l be o(-8). Let g be ((-3)/(-3))/(4/l). Solve 0 = -4*f - 4, 2*b = -f - 0 + g for b.
5
Let w be 1/(-2) + (-3)/(-6). Suppose -j + 5 + 17 = 3*y, -5*y = -3*j + 10. Suppose 6*d + 6*d - 60 = 0. Solve -5*v + 4*v = w, 2*s + j = -d*v for s.
-5
Let c(m) = -m**3 - 8*m**2 - 9*m + 1. Let f be ((-8)/10)/((-11)/(-275)). Let z = f + 13. Let r be c(z). Solve 0*a + 3*a - r = -5*b, -4*b + a = -12 for b.
3
Let z(g) = -2*g**3 + 2*g**2 + 6*g - 12. Let t be z(3). Let w be ((-5)/(-3) + -1)/((-5)/t). Solve 0 = -k + w*p - 4, 6*k = 2*k - 2*p + 2 for k.
0
Suppose -v + 1 + 9 = 0. Suppose -2*z - 5 = 4*g + z, -5*z - 15 = 0. Suppose -3 = -n - g. Solve 3*d = -3*k - 2*d - 40, -n*d = v for k.
-5
Suppose -10*w - 11 = -9*w + 4*s, 0 = -3*w + 2*s + 23. Solve -2*r - 2 = -0*r - 2*n, -w*r + n = 5 for r.
-1
Let a be 7/(-7) + 4 + (-9)/3. Solve -4*g + 1 = c, c + 8 = 5*g - a*g for g.
1
Let t(d) = 2*d + 23. Let w be t(-14). Let o be (4 - (-72)/(-20)) + (-18)/w. Solve -y + o = 4*c, c + y + 2 = 6 for c.
0
Suppose 25 = 6*x - 23. Solve -5*j - f = 4 + 6, -4*j + 4*f - x = 0 for j.
-2
Let j = 52 + -45. Let w(o) = o**2 + 6*o - 9. Let l be w(-7). Let r = j + l. Solve 15 = -5*i, -1 = -u + r*i + 13 for u.
-1
Suppose 37 = 6*h + 7. Solve -1 = 5*n - 3*b, -n + h*b = b - 10 for n.
-2
Let v = 0 - 0. Suppose -s + 3*i - 13 = 0, 5*s + 5*i - 104 + 69 = 0. Solve -j + s*l - 12 = v, -4 = 4*j - 0*l + 3*l for j.
-4
Let l = -34 + 37. Let t be -9*l*1/(-9). Solve 3*r = 2*j - 7, r + 4 - t = 0 for j.
2
Let x be 2/4*6/1. Suppose 0*h = 3*h + x. Let q be (1 - h)/((-6)/(-12)). Solve s = 2*r - q, -5*s + 2*s = 4*r - 28 for r.
4
Suppose 0 = -y - 4*y + 25. Let w be (4 + 32)/(-3) + 0. Let o be w/30 - (-24)/10. Solve -3 = -n - o*l, -5*l - y = -4*n - 19 for n.
-1
Let k(f) = 2*f**2 - 5*f - 19. Let z be k(7). Suppose z*p + 8 = 46*p. Solve p*m = -x - 11, 5*x + 4*m = -16 - 7 for x.
-3
Let k be (-4 - -3)*-2 - 96. Let d = 98 + k. Let v(r) = 3*r**2 - 2*r - 3. Let o be v(3). Solve -p + d = 0, 4*t - o = 3*t - 4*p for t.
2
Suppose 3*l = -4*p - 3, -4*l - 5 = l. Suppose 13*i - 6*i = 154. Let n = i + -18. Solve p*z = -z - w + 3, -3 = z + n*w for z.
5
Let s = -1573 - -1584. Solve 0 = -m - 4*g + s + 7, -5*m - g - 5 = 0 for m.
-2
Suppose 14 = a + 5*n, 6 + 0 = 3*n. Solve 0 = 3*w + a*o - 11, -3*w + 2*o = -0 + 1 for w.
1
Suppose 0 = -6*j + 27 - 15. Solve 2*n + 3 + 6 = -3*y, y + n + j = 0 for y.
-5
Let k(y) = 3*y - 2. Let f be k(2). Let l(t) = -212*t + 424. Let j be l(2). Solve -o + 3 + 2 = f*q, j = 4*o - 4 for q.
1
Suppose 0 = 46*a - 87 - 5. Let z = -17 - -24. Let u = 13 - z. Solve a*v - u*v - 3*d - 4 = 0, -5*v + d = 5 for v.
-1
Suppose -2*v = -6*v + 24. Let x = 5 + -3. Let l be (44/(-110))/(6/(-45)). Solve 4 = -4*j + l*w, v*j - x = 3*j + w for j.
2
Let q(s) = s**2 - s + 1. Let a be q(2). Let u(g) = -g + 3. Let c be u(a). Suppose 2*v + 19 = x, -3*x + v = -2 - 50. Solve c = -5*m + 5 + 20, 3*m = l + x for l.
-2
Suppose 0 = l + 8*l + 810. Let f = -64 - l. Solve -4*a = 3*j - j + 22, j + 5*a + f = 0 for j.
-1
Suppose 0 = 3*m - 4*g + 6, -4*m + 2 = -0*m - 2*g. Let q be m*(-5 - -4) + 5. Solve 3*t - 2*o + 4 = t, q*t + 2*o = -6 for t.
-2
Let m(a) = 2*a - 5*a - 4 + 2*a - 8. Let p be m(-16). Solve 0 = 3*b - 5*g - 9, p*b - 4*g - g - 12 = 0 for b.
3
Suppose 0*f = -5*f + 20. Let m be 10 + -1 + (-16)/f. Solve -2*y + 3*i - 4 = -0*y, m*y - i = 3 for y.
1
Let l = -30 + 32. Solve -a - 1 = -2*v, -3*v = -0*a + l*a - 12 for a.
3
Let s(b) = 11*b**2 + b - 2. Let o be s(2). Let d be (o + -45)/(2/(0 - 4)). Solve 2*m - 3 = -d*y - 1, -y = -2*m - 13 for y.
5
Let k = -4 + 11. Suppose 32 - k = -5*y. Let h = -2 - y. Solve s - 4*q = -3*s + 36, h*s - 5*q = 35 for s.
5
Suppose 8*z = 6*z + 46. Let w = 60 - z. Solve w = -5*j - 3*u, 0 = 2*j - 0*j + 4*u + 26 for j.
-5
Let t(w) = -w**3 + w - 2. Let n be t(-2). Let z(h) = 6*h + 3. Let d be z(n). Solve -4*m + 2*m + 2*b + 2 = 0, 3*m = -5*b + d for m.
4
Suppose 0 = -l + 4*h - 4, -2*h - 4 = -l - l. Solve c + 7 = -n, 2*n + 31 = -l*c + 7 for c.
-5
Let h = -233 + 237. Solve 0*b = 2*b - 3*l + 4, 4*l = -h*b + 32 for b.
4
Suppose -9*s + 12 = -7*s. Let y(d) = 3*d - 13. Let l be y(s). Solve 0*t = -5*t - 4*z - 9, t + l*z = -6 for t.
-1
Let i be 8268/1696 - (2/16)/(-1). Solve -2*x = -5*u - 8, -5*u - 3 - 2 = -i*x for u.
-2
Let p be 34/3 - 4/(-6). Let f be -6*(-5)/(-90)*-6 + 4. Solve f = k + 3*z, 5*z - p = z for k.
-3
Let i be (-40)/(-3) + 20/(-15). Let m be ((-68)/i)/(1/(-3)). Let y = m - 11. Solve y*h = 2*h + 5*u - 23, -u + 11 = -4*h for h.
-2
Let l = 79 - 77. Solve 8 = -4*d - j - 3*j, 3*d = -l*j - 3 for d.
1
Let a = 27 - 23. Let g be 0*(5 - a - 0). Solve g*s - s + 1 = -2*n, n + 3*s = 17 for n.
2
Let u = 19 + -25. Let v(j) = j**2 + 6*j. Let d be v(u). Solve -5*b + 2*i = -2*i - 6, b - 2*i = d for b.
2
Let l(u) = u**2 - 7*u - 32. Let m be l(11). Let h be 10/(-3)*(-6)/4. Solve a + h*x = 3 + m, 4*x = 4*a + 36 for a.
-5
Let a = 391 + -388. Solve -v = -5*g - 4 + 12, -4*g - a*v = -14 for g.
2
Let l = -6 - -1. Let m be 2 + (l/(-1) - 0). Suppose -3*y - q + 6 = 0, -m*y + 3*y - 4*q = 0. Solve s + 4*r = 11, -r = y*s + 2*s + 21 for s.
-5
Suppose -5*x - 27*l + 33 = -25*l, -5*x - 4*l + 41 = 0. Solve 0*m + x*z + 14 = 2*m, -2 = z for m.
2
Let o = -118 + 118. Suppose o = -4*k - 18 + 38. Solve 0 = -3*n - k*m + 10, 3*m - 29 + 4 = 2*n for n.
-5
Let c(n) = 2*n**2 - 6*n + 6. Let y be c(3). Suppose -5*z - y = -s, -5*s + 2*z + 30 = -3*z. Solve u + 2*r = r - s, 5*r + 10 = 0 for u.
-4
Let f(o) = -6*o**2 + 19*o - 13. Let v(t) = -7*t**2 + 20*t - 12. Let y(x) = 6*f(x) - 5*v(x). Let b be y(12). Solve -2*u + 3*q - 18 = u, -q - b = 3*u for u.
-3
Suppose -8 = 4*v - 3*r - 35, 0 = -4*r - 20. Let w = -3423 + 3424. Solve -5*j = t - 2, 4*j - v - w = 0 for t.
-3
Let d be -10*((-70)/(-25) + -3). Solve 0*q = -2*q + 2*b - 2, -5*b = -d*q - 14 for q.
3
Suppose 29*b - 12*b - 51 = 0. Let z(t) = -t**2 - 8*t + 4. Let k be z(-8). Solve -4*a = x + b - k, -4*a - 5*x - 11 = 0 for a.
1
Let k be -4*(16 - 19)*1/4. Solve -3*o = -3*h - k + 27, -2*o - 2*h + 4 = 0 for o.
-3
Let u(y) = 47*y - 230. Let z be u(5). Let h(a) = -a**3 - 4*a**2 - 2*a + 3. Let d be h(-3). Let p = d + 3. Solve q - x + 1 = 0, -p*x + 0 = -z*q + 5 for q.
4
Let v(o) = 2*o + 2. Let q be v(-1). Suppose q*t = 3*t - 51. Suppose 0 = -3*y - 0 - 3, -6 = -2*h - 2*y. Solve h*a - t = -3*m, m + m = 5*a - 27 for a.
5
Let y(r) = r**3 + 2*r**2 + 2*r - 2. Let p be y(-2). Let i = p + 11. Let w = -3 + i. Solve 2*t + w = 4*z - 4, -z - t = 6 for z.
-1
