12 = 0, -m*s + 19 = -6*a + a for a.
-5
Suppose 0 = -8*t - 26 + 74. Let s be (8/t)/(-4 + 28/6). Solve 0 = 5*q - 20, q = -s*x + 8 + 4 for x.
4
Let f = 47 + -59. Let y(m) = m**2 + 13*m + 17. Let z be y(f). Let s = 13 + -13. Solve 2*x = -0*u + 5*u - 25, -z*x - u - 22 = s for x.
-5
Let i(t) = t**3 + 4*t**2 - 3*t + 2. Let n be i(-3). Let d be ((-2)/8)/(5/n). Let p be 3 + -7 - -5 - d. Solve -s + 5*x = -p + 31, -13 = 2*s - x for s.
-4
Let d be 2 + 2/(4 + (-33)/9). Suppose 39*s - 41*s = -d. Solve -4*f - 12 = s*b, 17 = -4*f - 5*b - 0*b for f.
2
Let n be 11*(10 + 1564/(-187)). Solve 0 = 5*f + 3*t - 14, -f + 3*t - t = n for f.
-2
Let b(v) = v**2 + 8*v - 238. Let x be b(-20). Solve 5*o + 7 = 17, 2*t = 3*o - x for t.
2
Let a = 4 - 2. Suppose a + 2 = p. Suppose 0 = -i - 5*z + 30, 26*z - 28*z + 12 = 5*i. Solve p*o + 4*s = -12, 3*o + 2*s + 4 = -i*s for o.
2
Let q be 29/((-406)/(-28)) - -8. Solve 4 = 3*d - 2*i, q = 5*d - 2*i + 2 for d.
2
Let a(t) = 2*t**3 - 19*t**2 - 8*t - 15. Let s be a(10). Solve 0 = -s*z + 10, -5*q + z = -4*q - 2 for q.
4
Let o(j) = -3*j**3 + j - 8. Let r be o(-2). Solve 2*n + 5*z + 2 - 6 = 0, 4*z - r = 2*n for n.
-3
Suppose -195 = -h - 47. Suppose 23*x = 27*x + h. Let n = x - -44. Solve -3*d = g + 12, -g - 4*d + n = 24 for g.
3
Let n = 4360 - 4341. Solve -4 = -o - j, -n*o + 4*j = -16*o - 19 for o.
5
Let y be 1/3 - (-847)/(-21). Let s = 42 + y. Let o be (-1)/6*s - (-7)/3. Solve 5*z - 3*j - 22 = 0, 4*z - o*j + 0*j = 16 for z.
2
Let a(h) = 19*h + 170. Let o be a(-6). Suppose 24*z - 20*z - o = 0. Solve 4*c + 0*c + 2*r - z = 0, 5*r = 5*c - 25 for c.
4
Suppose 0 = -14*b + 16*b - 10. Let y be b + 0/(-1 + 4). Suppose 2*d = -5*z + 25, -5*z = -2*d - 0*d - y. Solve d*p + 30 = -7*w + 3*w, 5*w = -25 for p.
-2
Let t = 3228 + -3219. Solve n - 15 = 3*h, 4*n + 10*h - t*h = -5 for n.
0
Suppose -4*s - 24 = 0, s + 5784 = d + 5775. Solve 3*a + 245 - 242 = -5*x, -4*a + d*x = -25 for a.
4
Let u be 1 + 7 - (-25)/(-25). Suppose -u = -8*f + 17. Solve -2 = -5*d - g, f*d + 3*g = d - 7 for d.
1
Let g = 128 + -128. Suppose r - 103 = -5*z + 4*r, 3*z - r = 61. Suppose 2*j + j - 17 = -x, 2*j + 5*x - z = g. Solve 3*p = -5*s + 15, 4*s + 18 + 7 = j*p for p.
5
Let c be ((-48)/(-56))/(2/7). Let q be (-160)/60*(-3)/4. Solve f = -q*j + 3 + c, 6 = 2*f + j for f.
2
Let o(w) = -w**2 - 7 + 1 - 517*w + 497*w + 80. Let p be o(-23). Solve -3*r + 14 = 5*s, 0*r + 4*s + 11 = p*r for r.
3
Suppose 0*u - 4 = 2*u - 2*v, 2*u - 5*v = -22. Solve 4 = -2*g - 4*i, -3*g - 5 = -u*g + 5*i for g.
0
Let w be (-21)/(-3) - (-117)/117*(7 + -2). Solve 8*l + 3*i = w*l - 25, -l + i + 7 = 0 for l.
4
Suppose 570 = 2157*p - 2162*p. Let g = p - -131. Solve 5 = -4*t + g, -4*c + 3*t - 5 = 0 for c.
1
Suppose -2*u - v - 12 = -23, -3*u - 3*v + 21 = 0. Solve -u*f + 10 = 3*n, -2*f - n + 0 = -6 for f.
4
Let y = -255 + 258. Suppose 2*s = 4*c - y*s - 22, -4*c + s = -14. Solve 0 = 3*q - h + 17, -5*h - 2 = c*q + 3 for q.
-5
Let k be 28/(3 + -3 + 2). Let n(t) = t**3 - 14*t**2 - t + 17. Let z be n(k). Suppose -z*g + 4*g = 16. Solve g = 5*a + s - 0*s, 9 = 4*a - 3*s for a.
3
Let a(z) = 32*z - 124. Let d be a(25). Let p = 678 - d. Solve -2*m + p = -5*s, 0 = m + 5*s - 0 - 1 for m.
1
Suppose 0 = -3*p + 2*n + 9, -p - 19 = -3*p - 3*n. Suppose 25 = p*m - 2*r, -m + 8 = r + 3. Solve m*f = 0, -5*f - 13 = 4*y - 5 for y.
-2
Let d be (-83 + 83)*(-1 - 0). Let z = 1 - -2. Solve -m - 3*c = 2*c + 11, -z*m - 2*c - 7 = d for m.
-1
Let w be ((-24)/7 + 0)/(86/(-301)) - 4. Solve 14*h - 17*h - b + w = 0, 0 = -3*h - 5*b - 8 for h.
4
Suppose -2*l + 618 = 2*z, z + 14*l - 16*l = 297. Let u = z - 303. Solve 0 = u*v + 4*b - 22, 0*b + 3 = b for v.
5
Let n = 3357 - 3354. Solve 0 = 5*u + 4*a + 13, 2*a = -2*u + n*u + 11 for u.
-5
Let w be (9 - 9)/((-9)/(-3) - (11 + -7)). Solve -2*u = -4*i - 14 - 8, w = 5*u - 4*i - 31 for u.
3
Suppose 70 = 10*r + 4*b, -6*b + 5*b = 5. Solve -10*g = -9*g - 3*u + 9, -3*u = 3*g - r for g.
0
Let b(f) = f**3 - 5*f**2 - 5*f + 3. Let r(g) = 6*g**3 + 8*g - 8. Let t be r(1). Let j be b(t). Solve 3*s = -5*q - j, s = -s - 4*q - 8 for s.
2
Let g = -7 - -15. Let v(m) = 2*m**3 - 19*m**2 + 2 - m**3 + 20*m**2. Let k be v(0). Solve -4*x - 22 = k*j - 0*x, -4*x = -4*j - g for j.
-5
Let v(n) = 112*n**3 - n. Let x(m) = m**2 - 3*m - 1. Let z be x(0). Let c be v(z). Let b = -106 - c. Solve 0 = 2*s - 0*s + b*g - 23, -5*s - 20 = -3*g for s.
-1
Suppose -2*t + 5*d + 55 = 0, 3*t - 10260*d = -10261*d + 6. Solve -5*a + 4*g + t = 0, -14 = -2*a - g + 5*g for a.
-3
Suppose r = 5*v + 128, -2*v = 13*r + 622 - 2420. Solve -5*b - 133*w = -r*w + 20, 0 = 5*b - 2*w + 23 for b.
-5
Let u be 1/((-1)/(-220)) + -9 + 7. Suppose -u = -3*r + 82. Let x = r + -97. Solve 3*l = -3*j - 2*j - 11, -x*l - 4*j - 10 = 0 for l.
-2
Suppose -l + 0*m = 5*m + 5, -m = 2. Let o = 6 - -2. Solve -l*y - 8 = -4*g + o, -g = 5*y - 4 for y.
0
Let a = -115 + 115. Suppose 39*u - 35*u = -236. Let w = 65 + u. Solve 2*t + w = a, 4*t - 17 = -g + 9*t for g.
2
Suppose -1606*j = -1590*j - 16. Let b(f) = f + 4. Let i be b(-4). Solve o - 5*o + 5*l + j = i, -2*o + l + 5 = 0 for o.
4
Let b(m) = 31*m + 187. Let p be b(-6). Suppose 0 = 2*f - l - 3, 2*l + p = 4*f - l. Solve 0*o + f*o + 5*s = -4, 5*o = -4*s - 5 for o.
-1
Let h = 46 + -33. Suppose 2*n - 23 = -3*v, -4*v - 16 = n - 8*v. Solve 5*c = -f + 27, -2*c + n*f = -3*c + h for c.
5
Suppose -2*p - 69 = -j, -45*p + j = -49*p - 147. Let l be 2/1 - (1*p + 1). Solve 4*q - 3*w = 2*w + l, 3*q + 5*w + 16 = 0 for q.
3
Let m = -1271 + 1275. Solve -19 = 5*l + 3*y, 5*l - l = -m*y - 12 for l.
-5
Let b be ((-30)/(-20))/((-9)/(-18)). Solve 2*i + 9*n = 12*n + 17, 3*i - b*n - 18 = 0 for i.
1
Suppose 13 = 6*v + 97. Let t(a) = -a**3 - 15*a**2 - 14*a + 3. Let c be t(v). Solve c*s + 2*w - 8 = 1, 6 = -2*w for s.
5
Suppose 3*t + p - 15 = 0, 0*t - 5*t - 5*p + 25 = 0. Suppose -4 = -t*r - 3*h + 15, 0 = -2*r - 3*h + 4. Solve -l - r*n - 3 = 0, l + 3 = -n + 4*n for l.
-3
Let s = 188 + -193. Let k be 5 + s + 6 + -2. Solve -12 = k*x, -2 = -d + 2*d + 2*x for d.
4
Let c be 56/(-10 - -3) - -12. Let j(r) = 21*r + 88. Let o be j(-4). Solve p + o*t = -4, p - c*p = -3*t - 3 for p.
0
Let v = 21 + -16. Let t = v - 2. Let r = -2019 - -2021. Solve 2*b - n + 3 = b, -t*b + r*n = 4 for b.
2
Suppose -3*z + 41 = -a, -2*z - a = 2*a - 9. Suppose -2*w + z = 5*g - 0*w, g + 4 = -2*w. Solve 2*d - 20 = 4*y + g*d, 0 = -3*y - 4*d - 15 for y.
-5
Let y = -12684 - -12698. Solve 17*z - 12 = y*z + 3*r, 0 = 3*r for z.
4
Let h be (1/3)/(2/12). Suppose 0 = 12485*y - 12474*y. Solve -4*i - 5 = n, 1 = -h*i - y*i + n for i.
-1
Suppose -17*d + 130 = 48*d. Solve -10 = -7*g + d*g, -5*w + 10 = 5*g for w.
0
Let w(b) = -b**3 + 4*b**2 + 5*b + 1. Let p be w(4). Let f = 38 + p. Let h = -51 + f. Solve 0 = -4*c + 3*x - h - 11, 0 = -2*x + 10 for c.
-1
Let u(d) = 6*d**2 + 162*d + 552. Let x be u(-23). Solve x = -4*m - 3*c - 10, 0 = -2*m + 39*c - 42*c - 8 for m.
-1
Suppose 0 = -2*u - 0*u + i + 8, -3*u = -4*i - 22. Let d = 128 + -124. Let b be 104/(-13)*(-2)/d. Solve 0 = u*z - c + b, 5*z + 4 - 5 = -3*c for z.
-1
Let h = 7664 + -7662. Solve 0*a = -2*c - h*a + 2, -5*a = 0 for c.
1
Let v = 10842 - 10806. Solve 3*f = 5*t + 10, 4*t - 37*f + v*f + 15 = 0 for t.
-5
Let f(m) = -7*m - 28. Let p be f(-5). Suppose 4*v = l + 11, 2*v + 3*l + 5 = -0. Solve -4*w = -4*s - 4, 3*s = 6*w - v*w - p for s.
3
Let h be (-2)/8 - ((-120)/(-32) + -7). Suppose 2*g - h = -5*t + 6, -3*g = -5*t - 1. Solve -g*q = 3*v + 1, -3*v + 6*v + 3*q = -6 for v.
3
Suppose 2*b - 14 = 5*z - 41, -b = -3*z + 16. Suppose -4*l + 40 = z*t, 3*l = -0*t + 5*t + 65. Solve 3*s = 3*p, 2*s + 0 = -3*p - l for s.
-3
Let v be 1/(((-2)/(-12))/(102/153)). Solve 75*y - 1 = 72*y - w, -3*w + 16 = -v*y for y.
-1
Let u(o) = -142*o + 4405. Let x be u(31). Solve f + 7 = x*b, -5*b - 26*f + 22*f = 11 for b.
1
Let u be 2/2 + (-24)/(-4). Suppose 5*n - 2 = x, -x + 3*n + u = 7*n. Let m(s) = 32*s - 344. Let y be m(11). Solve 0 = -x*f + y + 4, -19 = v - 5*f for v.
1
Suppose -2*c + 10 + 10 = 0. Let f(h) = -17*h + 187. Let s be f(c). Solve -3*i + s = q, -2 = -3*q + 2*i + 5 for q.
5
Let h(o) = 7*o + 22. Let r(w) = 9*w + 23. Let a(n) = 5*h(n) - 4*r(n). Let g be a(18). Solve 4*d + 12 = -4*v, d + g*v - 4*v = 2 for d.
-2
Let t = -1 - -3. Let y(o) = 910*o + 18200. Let f be y(-20). Solve f = -5*l - r + 13, l = t*r - 3*r + 1 