 5*w, -2*w = 3*b - 2 for b.
2
Let g be -3*(1 - (-26)/(-6)). Let p(m) = 89*m - m**2 - 260*m - 6 + 87*m + 95*m. Let h be p(g). Solve 4*d + h = -n + 13, 4*n + 9 = -d for n.
-3
Suppose 6*s - 10*s + 73 = 3*g, -5*g = -3*s + 33. Solve s = 4*o, -o + 5 = 5*p - 4 for p.
1
Let u be ((-11)/((-55)/(-6)))/((-344)/(-40) + -9). Solve -6*z = -2*z + u*n - 2, n = 2 for z.
-1
Suppose -9*u + 3*u + 180 = 0. Suppose 0 = 2*x - 68 + 64. Suppose -3*z = x*a - 0*a - 24, 3*z + 4*a = u. Solve 0 = s + z*j - 3*j - 14, 2*s - 5*j + 16 = 0 for s.
2
Let a be -5 + (-120)/(-72)*24/4. Solve q = -6*v + v + 22, -5*v - a*q + 10 = 0 for v.
5
Let c(n) = -n**2 + 2*n - 65. Let g be c(15). Let d = g + 262. Solve 5*t = t - 5*p, 0 = 5*t - d*p for t.
0
Let m be (-1*(-20)/(-16))/((-8)/(-32)) + 5. Solve 2*d - 17 = -4*i + 13, 2*d - 3*i + 5 = m for d.
5
Suppose 2*j = -6 - 0. Let f be 6*3 + 5 + j. Suppose -o + 16 + 1 = 3*l, -4*o - 7 = -3*l. Solve l*z = 3*w + f, 3*w - w = z - 11 for w.
-5
Suppose -177*b + 220*b = 774. Solve 5*m - b = k, -3*k - 6 = 4*m - 3*m for k.
-3
Let g be 174/(-145) - (54/(-20) + (-9)/18). Solve 4*r - 4*y - 4 = 4, -r + g*y = -5 for r.
-1
Let x = -50 + 56. Suppose -w + 6 = x. Suppose 5*n - 10 = -0*n, w = -s - 2*n + 13. Solve 2*u + 3*i - s = 0, 4*u - 16 - 1 = -5*i for u.
3
Let m = -342 + 342. Solve 0*n - 1 = 2*n - i, -n - 5*i + 16 = m for n.
1
Let u = 11 + -24. Let h be ((u/26)/(1/20))/(-2). Let o be 345/6*4/10. Solve -5*b - 5*r + 3 - o = 0, -2*b + h*r = -20 for b.
0
Let h = -3168 + 3179. Solve 6*b - 3*q + 7 = b, -h = b - 3*q for b.
1
Suppose -2 = g - 2. Suppose -4*a - 7 + 7 = g. Suppose -24 = -6*i - a*i. Solve -d - n + 7 = -3*d, -4*n - i = 0 for d.
-4
Let u(f) = -f**3 - 17*f**2 - 20*f - 61. Let s be u(-16). Let t be 9 - (-3 + s + 2 + -5). Solve q - 12 = -4*l, 6*l - 4*q = 2*l + t for l.
3
Let w(z) = -114*z**2 - 4*z + 3. Let i be w(1). Let d be (-621)/i - (-2)/(-5). Solve 5*n - 28 = -x - 7, n = d*x - 1 for n.
4
Let a = -77 + 148. Let q = a + -66. Suppose 4*i + 2*s - s = 11, 0 = i - q*s - 29. Solve 4*u + 8 = 0, -x + 0*x - i*u = 8 for x.
0
Suppose -8*u + 1 + 23 = 0. Let j be 2219/(-77) + 4/(-22). Let f = -26 - j. Solve -5*n + 10 = -u*y - 2*y, 0 = 3*n + f*y for n.
1
Let j = -99 - -102. Suppose -j*c = -x + 10, 7*c + 8 = 4*x + 11*c. Solve -3*o = -x*r + 7, -2*o + 3*o = -4*r - 13 for r.
-2
Suppose -37 = 10*v - 107. Let r be (-4)/(-10) - (-448)/5. Let t = r - 70. Solve -3*z - v*a - t = -2*a, 3*a = 2*z + 7 for z.
-5
Let y = 1396 - 1377. Solve w - 5*z = 26, -w - y - 5 = 5*z for w.
1
Let b = -109 - -137. Suppose -31*z - b = -45*z. Solve 3*q + c = -2*c, -z*q + 4 = c for q.
4
Suppose -51*m - 3 = -50*m, -4*v + 424 = -4*m. Solve -c - 6 = 2*d, 0 = c - v*d + 108*d + 15 for c.
0
Let q = -2207 - -2208. Solve -2*g = -i + 6 - 5, -2*g = -3*i - q for g.
-1
Let f(w) = -3*w**2 + 185*w - 848. Let h be f(5). Solve -2 = -u + 2*y - 1, -u + 1 = h*y for u.
1
Let u = 939 + -935. Solve -u*o - 3 = -3*j, 3*o + 5*j = 2 + 3 for o.
0
Suppose 5*u - 46 = 7*u. Suppose -7 = -5*x + 133. Let f = x + u. Solve -3*v + 13 = f*o, o + 3 = -v + 6 for v.
1
Let d = 98 + -84. Suppose 0 = d*v - 78 - 90. Solve 4*n = 4*m - n + 20, m - 3*n = -v for m.
0
Suppose 5*y = 3*z, 3*y + 5*z = z. Suppose v = 5*j - 38, 2*j + 0*j + v - 18 = y. Solve -3*b + 3*g + 22 = g, 3*b + 4*g + j = 0 for b.
4
Suppose 410*p - 424*p = -126. Solve p*u - 6*u - 4*r = 32, 0 = 2*r + 10 for u.
4
Let o be 38/418 + (-42)/(-22). Suppose -33*v - 179 = -707. Solve 0*n + 11 = n + o*z, 4*n - v = -z for n.
3
Let s(c) = -14*c + 208. Let l be s(-2). Solve -l = 5*q - y - 218, -q = y for q.
-3
Let k = -4783 + 4785. Solve 5*j + k*s = 0, 2*j - 49*s = -50*s for j.
0
Suppose 0*n = -6*n - 0*n + 30. Solve -4*r = -n*j + 5, 5*r + 3*j = 8*j - 5 for r.
0
Let s = -4 - -6. Let x be ((-14)/6)/(22/(-264)). Let d = -533 + 549. Solve -d = 4*v - s*q + q, 4*v + 2*q = -x for v.
-5
Let n = 3757 - 3755. Solve -p = -n*u + 5, u = 3*p + 2*p - 20 for p.
5
Let b(k) = -2*k**2 + 13*k - 12. Let t be b(5). Suppose -3*o = 5*s - 21, -o - 3*o = -t*s + 1. Solve -2*i - 2 + 4 = s*m, 4*i - 4*m = 4 for i.
1
Let g be (35/(-49) - (-165)/(-210))*(1 + -3). Solve -r = 3*p + 11, -g*r + 7*r + 8 = 0 for p.
-3
Suppose 4*r + 17 = 5, 63 = 3*j - r. Suppose 30 = 5*l + j. Suppose -l = -2*g + 54. Solve -2*o + o + 5*t = g, -4*o + 5*t = 37 for o.
-3
Let q be ((-3)/(-6))/1*0. Suppose -t = -q - 6. Let f = -136 - -145. Solve -2*u = u + f, u = d - t for d.
3
Let c(h) = h + 7. Let t = -6 - 3. Let v be -6 - (6/(-9) + 3/t). Let m be c(v). Solve -m*q + 2*u - 10 = 0, -5*q - 25 = -0*u + u for q.
-5
Let o be (-17)/((-6)/84*1). Let a = -234 + o. Solve -3*z = 2*d + 15, -3*d - a*z - 20 = -4*d for d.
0
Let p(f) = -2*f - 3 + 4*f**2 + 5*f**2 - 7*f**2. Let b be p(-2). Suppose -3 = -3*o + b. Solve 0 = -2*c + 3*u - 6 + 4, c = 4*u + o for c.
-4
Let h = -28708 + 28736. Solve -3*i - 6 = 0, 5*w - h = -11*i + 15*i for w.
4
Suppose -4*z + z + 6 = 0. Suppose -z*l + 60 = 48. Suppose 21 - l = 3*c. Solve 4*v = c*i - 28, -18 = -2*i - 3*v + 8*v for i.
4
Let r be (6/2 + -23)/(2 - 3). Suppose 0 = 5*w - r, 0*w - 2*w = 3*d - 23. Let i be (1 - (-6)/15) + (-2)/d. Solve -q - 2 = -2*b, i + 1 = b for q.
2
Let t be (-5)/((-25)/(-2)) + ((-1068)/(-20) - -2). Solve -t + 40 = -5*l + 5*u, 6 = -2*u for l.
0
Let j(t) = 2*t**2 - 2*t + 1. Let q be j(2). Suppose -8*z + 12 = -q*z. Solve 2*h + 18 = z*a + h, -5*h = 2*a + 2 for a.
4
Suppose 51 = 2*n - 1. Let k be (3/(-3))/((-13)/n). Solve -k*d + 16 = -4*v, -v + 8 = -4*d - 3*v for d.
0
Let b be (((-80)/25)/(-1))/(4/20). Solve 4*z + b = 4*s, -3*z - 3*s + 2 = 20 for z.
-5
Suppose 2*y = -2*c + 6, 37*y = 39*y + 4*c - 4. Let w be -3 + -1 + 15*2. Suppose 5*m = -u + w, 2*m = -2*u + 17 + 19. Solve 3 = -x + y*h - 9, -5*x = -h - u for x.
4
Let h be (-7)/(-14) - (-10 + 143/(-26)). Let z(a) = -a + 5. Let p be z(5). Solve -3*u - w = -4*u + 4, p = -u + 4*w + h for u.
0
Let r(j) = 4*j - 36. Let a be r(9). Let b(o) = o + 4. Let u be b(-2). Let z(k) = -k**2 + 4*k - 2. Let d be z(u). Solve a + 1 = t, g + d*t = 6 for g.
4
Let d be 0 + 0 + (17 - (-20)/4). Suppose 33*h - 5*c = 35*h - 11, 0 = h - 3*c - d. Solve 0 = 5*y - y - 3*b + 11, h = -2*y - b for y.
-5
Let h = 22636 - 22629. Solve -3*o - 18 = -4*r, -o - h*r - 11 = -10*r for o.
-2
Let l(g) = -6*g**2 - 2*g + 16. Let u be l(3). Let n = 54 + u. Suppose n = 5*r - 3*r. Solve -r*x - 2 = -3*p - 6, -4*p - 13 = x for x.
-1
Let j(c) = 23*c + 137. Let s(h) = -92*h - 552. Let r(y) = -9*j(y) - 2*s(y). Let g be r(-6). Solve -5 = -2*n - 3*m - 0*m, 0 = 3*n + 3*m - g for n.
4
Let q = 4675 - 4655. Solve r - 5*o - 22 = 0, -8*o - q = 5*r - 7*o for r.
-3
Suppose 0 = -48*y + 7 - 7. Solve -3*n - 4*w = -4*n - 25, y = 2*w - 10 for n.
-5
Let k(q) = -5*q**2 - 29*q - 14. Let l be k(-5). Suppose 0*m - 3*f - 6 = 5*m, -3*f - l = -3*m. Solve -2*i + 2*h - 10 = m, -2*h + 12 + 2 = -4*i for i.
-2
Suppose 2*q - 31 = -5*s, -4*q + 7*s - 4*s + 101 = 0. Suppose 0 = q*u - 17*u - 66. Solve 5*c + 5*o = 30, 5 = -2*c + o + u for c.
4
Let v be (-72)/48*20/(-15). Let o(x) = x**3 + x**2 - 4*x + 1. Let k be o(-3). Let p be (30/(-9))/k*3. Solve 5 = z - 2*z + v*i, 2*i = 4*z + p for z.
1
Let j = 94 - 85. Suppose 0 = -j*g + 10*g - 4. Suppose -g = 2*a, a - 3 = -3*w + 2*w. Solve -k + w*s - 10 = 2, 2*k + 10 = 3*s for k.
-2
Let l be 1/1 + (35 - 1). Let b be l/3 + 1/3. Suppose -28046*n = -28059*n + 104. Solve -4*p + n = -2*g, -4*g + b = 2*p - 12 for p.
4
Let j = 73 + -62. Suppose -3*i + r = -2, j*i - 6*i + 4*r - 26 = 0. Solve 5*q = -i*b + 18, -q + 2*b = 5*b - 1 for q.
4
Suppose -2626 = -11*r - 8456. Let t = -524 - r. Solve 2*z - j = j + 8, -3*z + t = -j for z.
1
Suppose -396 = 38*i - 137*i. Solve -2*l - 3*o = 1, -i*l + 3*o + 7 = -9*l for l.
-2
Let i be (-4 + 42/12)*14. Let q(x) = x**2 + 9*x + 14. Let s be q(i). Solve 4*m - 3*c - 27 = s, 0*c = 5*m + 3*c for m.
3
Suppose 4*h - 32 = -i, 75 - 111 = -3*i + 3*h. Solve -2*k - i = 26*p - 28*p, -2*p = -3*k - 21 for p.
3
Let f = 136 + -101. Let w = 38 - f. Solve w*d - 5*d = -4*x + 8, 5*d = -x + 13 for x.
3
Let n be 15*(2 + 24/(-15)). Let x(b) = 3*b**2 - 16*b - 4. Let f be x(n). Solve 4*y + 2*r = -2, -f = 5*y - r - 2 for y.
-1
Let g(w) = -w**3 - 8*w**2 + 8*w - 3. Let c be g(-9). Suppose 11*b - c*b = -4*y + 2, 11 = 3*y - b. Solve 5*j - 4*v + 18 = 0, 0 = 5*v - 13 + y for j.
-2
Let d = 563 - 503. Suppose 55*r + d = 61*r. Solv