+ 12234*k. Solve -4*m = m + k*a + 17, 5*m + a = -19 for m.
-4
Suppose -12*g + 14*g = -58. Let i(r) = r**3 + 28*r**2 - 29*r + 3. Let q be i(g). Solve 0*l - 4*l + 8 = 4*u, q*u + 2*l = 2 for u.
-2
Let h be 1/(0 + (-1)/(-8)). Suppose 0 = -2*y - 2*y + 4*x + h, 0 = -3*y - 2*x + 21. Solve 0*c = -2*a + y*c + 7, -a - 1 = -c for a.
-4
Suppose 2*v = 4*n + 14, 2*n + 3 + 1 = 0. Suppose -v*o = 22 - 31. Solve 3*u + 5 = -5*t + 2*u, o*t + 4*u + 3 = 0 for t.
-1
Let d be ((4 + (-5)/1 + 2)*0)/4. Solve -5*r = 5*n - 5, d = -4*n + 4*r - 23 + 19 for n.
0
Let k(z) = -z**3 + 46*z**2 - 48*z + 111. Let g be k(45). Let a be (2/4)/((-4)/g). Solve 4*u + 0*t - t - 2 = 0, t = -u + a for u.
1
Suppose -3*f + 294 - 2070 = -77*f. Solve -15 = 5*l - 0, 3*l = 5*u - f for u.
3
Let h = 338 - 358. Let x be -1*(-5)/h + (-84)/(-16). Solve 2 = 2*i - 4*o, 0*o + x*o = 3*i - 2 for i.
-1
Let n = -198 + 288. Suppose -44*y + 14*y + n = 0. Solve 5*d + 6*a = a + 35, y*d - 25 = -4*a for d.
3
Let u = -2951 + 2956. Solve -5*g = -2*s - 21, 5*s - 25 = -4*g + u for s.
2
Let r = -7909 + 7911. Solve n = 5*z - 2 - 13, 2*n = -4*z - r for n.
-5
Let u = -5 - -8. Let y(k) = -k**2 - 31*k + 68. Let q be y(-33). Suppose 0 = 14*c - q + 2. Solve -3*v - u = c, 3*x = 7*x - 2*v - 10 for x.
2
Let i be 7917/4263 - (2 + 30/(-14)). Solve -i*o = 5*z - 30, -21 = z + 6*o - 11*o for z.
4
Suppose -92 = -2*c - 82. Suppose 79 = 4*s + 3*o, 31 = 4*s + c*o - 42. Solve -4*l = -5*k + s, 5*k - l = -2*l + 7 for k.
2
Suppose -4*q = -4*b, -3*q + 12 = 10*b - 9*b. Solve -k + 5*f - 45 = b*k, -f - 5 = 2*k for k.
-5
Suppose 5*m = 3*m + k + 23, -m + 22 = 3*k. Suppose m*d = -0*d + 39. Suppose -4*o + 14 = 2, 2*i = d*o - 3. Solve -4 = 4*a + g, 4*a + i = a - g for a.
-1
Suppose -4*m + 29 = -63. Let n = m - 26. Let i(f) = 3*f**2 + 7*f + 6. Let x be i(n). Solve -d = 3*t - 0*d - 12, 0 = -4*d - x for t.
5
Let j(d) = -d + 15. Let v = -145 - -53. Let z = 105 + v. Let b be j(z). Solve -26 = -4*l - l - 2*q, -b*l + 23 = 5*q for l.
4
Let x be 10/(-150)*-15 + 3. Let z be ((-15)/(-3) + -4)*5. Solve 3*g + x*b = 31, -z*g = -g - 5*b for g.
5
Suppose -g = -3*f - 105 - 54, 4*f - 4 = 0. Let k = -160 + g. Solve -5*l - 3*j + 5*j = -10, -k*j + 22 = 3*l for l.
4
Let h(v) = -v**2 + 5*v + 15. Let a be h(6). Let l(s) = 2*s**2 - 19*s + 13. Let b be l(a). Solve -5*f + 5*m - 6 = b, 2*m = 10 for f.
3
Let k(z) = -z**3 - 54*z**2 - 289*z - 45. Let l be k(-48). Solve -2*y + y = 3*j + 10, l*j = -6 for y.
-4
Let c(p) = p**2 + p + 1. Let a be c(-1). Let l = 11 + a. Suppose 5*v + 4*u - 4 - 8 = 0, v = -2*u. Solve 5*z + w - 19 = 0, v*z - 2*w + 6*w = l for z.
4
Let k be (2 + -9)*(-6 - -5). Suppose -570*g + 569*g + 5 = 0. Solve 2*o - k = -3*p + 13, 24 = o + g*p for o.
4
Suppose 0 = -15*r + 257 - 212. Let s(g) = g**3 - 5*g**2 - 5*g - 4. Let u be s(6). Suppose -u*f = 3*f - 25. Solve -r*y = -f*t - 13, 4*y = 8*y - 5*t - 9 for y.
-4
Suppose -188*c + 456 = -191*c. Let i = 155 + c. Solve -a + 2*m = -5 - i, 4*m = 3*a - 20 for a.
4
Suppose a = -4*z + 26, 3*a + 6*z - 11*z - 44 = 0. Solve 5*w + 8*j - a = 11*j, -3*j - 9 = -2*w for w.
3
Suppose -24*d + 63 + 44 = -13. Solve -3*a - d*y = 0, a - 9*y = -6*y for a.
0
Suppose -2*v = 3*v - 70. Suppose -4*x = -o + v, -x - 11 = -o - 3*o. Suppose -20*u = g - 130, -2*u + 4*u = 4*g - 28. Solve -g = -2*t, o*r - 3*t = 5 - 20 for r.
0
Let a be 130/14 + 14 + (-1100)/77. Solve -x = -5*w - 20, -x + 14 = -2*w + a for x.
-5
Suppose 30 = 5*k, 15 = -3*n + 405*k - 401*k. Solve 2*z = 2 + 4, -z = -n*q + 3 for q.
2
Suppose -93 = -t - 88. Let l be 0/((30/3)/t - 0). Solve l = -0*y - y + 3*x - 20, -5*y + 3*x - 40 = 0 for y.
-5
Suppose -128 = 19*a - 356. Solve a*c + 2*w + 6 = 9*c, -2*w = 4*c + 10 for c.
-4
Suppose -2*q + 4*h = 0, -h - 3*h - 24 = q. Let n = q + 8. Suppose n = t + 2*t - 90. Solve 15 = 3*r, r = -5*x + 4*r - t for x.
-3
Let x = -662 - -674. Solve -5*o + 2 = -6*o, -2*o = -4*a - x for a.
-4
Suppose 3*l = 3*j + 12, 12*l - 2*j = 21*l - 25. Solve 2*d + 20 = l*o, -11*d = 2*o - 9*d for o.
4
Suppose -252*t = -109 + 27 - 1178. Solve -2*f = -p - 5*f - 1, -5*f = -5*p - t for p.
-1
Let v = -1 + 1. Let a be 4*(-9)/(-9) + -690. Let x be ((-196)/a)/(-2 - (-99)/49). Solve -2*h + 3*o + o - x = v, -8 = -4*o for h.
-3
Let y(s) = 5*s + 37. Suppose -d - 33 = 5*n, 6 = -3*n - d - 15. Let u be y(n). Solve -3*j - 4*g + u*g - 15 = 0, 2*g - 25 = 5*j for j.
-5
Let z be 11/3 - 2/(-6). Let q be (2*-3)/(0 - 2). Suppose -4*d + 3*w + 17 = 0, 0*w = q*d - 2*w - 12. Solve -y - 24 = 4*f, 3*y - z*f - d = 6 for y.
-4
Let d = -33 - -39. Let b(o) = -3*o + 20. Let h be b(d). Solve 6*q - q = -4*v - 9, 3*q = v - h for v.
-1
Let n be 1/(-6)*(9 + 0 + -15). Let x be n/3*-2 + 660/180. Let w be (0 + 6)/(9/6). Solve x*z + 16 = a, 5*a + 3*z = w*z + 10 for a.
1
Suppose -98 = -13*r - 6 + 38. Solve 11*l + 49 = 15*l - 5*b, -2*b = r for l.
6
Let y be 208/96 - (-1)/(-6)*1. Let u be 2/(-3) - (-46)/6. Suppose u*x - 6*x - 15 = 3*f, 4*x + y*f - 4 = 0. Solve 4*i + x = -n, -i - i = 3*n - 11 for i.
-2
Suppose -35*h + 66 = -13*h. Solve 4*j + 4*o - 18 = -o, h*j - o = 4 for j.
2
Suppose -4*w - 843 + 211 = 5*u, -4*w - 248 = 2*u. Let d = 132 + u. Solve 4*k + d = -q - 13, q - 5*k - 28 = 0 for q.
3
Suppose 73 = -5*h + 5*u - 287, 3*u - 12 = 0. Let b = h - -89. Let a be (35/b)/(2/6). Solve -5*w = -2*g, 5*w = -a*g + 2*g for w.
0
Let m be (13 - (-1407)/(-84))/(6/(-8)). Solve d - 13 = -f - f, 4*f = m*d + 5 for f.
5
Let r be 1196/(-65) + 18 + 2/5. Solve -4*h + 3 = -o - 20, r = -2*h - 5*o - 5 for h.
5
Let u(n) = -2*n - 13. Let d be u(-10). Suppose -8 + 1 = d*h. Let x be (1 + h)*(0 - -1). Solve -3*q + 2*m + 3 = 0, -2*q + 3*m + 2 = -x*q for q.
1
Let i(x) = -9*x + 7*x - 2 - 5. Let g be i(-5). Suppose -4*b - v = -0*v - 9, b + v = g. Solve 0 = 4*n - 14 - 2, -4*t + 20 = b*n for t.
3
Let n = -403 + 433. Suppose -42*y = -n*y - 120. Solve -w + 2 = -d + 5*d, -5*w = 2*d - y for w.
2
Suppose 5*p - 3*x = -0*p + 34, 0 = p - x - 8. Let t(y) = 3*y + 1 + 22 - p - 2*y. Let i be t(-13). Solve -f + 1 = 2*a + 2, 3*f + i*a = 0 for f.
5
Let h be (-8)/(-6) + 2/(-6). Let d be 3/(-2 - (-2 - h)). Let n = 877 + -866. Solve -4*k - d*s - 22 = -9, 2*k + 3*s = -n for k.
-1
Let d(x) = 4*x**2 + 40*x - 294. Let t be d(-15). Solve -5*f + 10 = t*c - c, -3*f + 7 = 4*c for f.
1
Suppose 4*m = 3*w - 46, -3*w - 9*m = -5*m - 14. Solve 5*g = 3*h + 25, 58*g + 5*h + w = 60*g for g.
5
Let d = 3190 - 3188. Solve -2*b = -2*c - 4, 3*c - 6*c - 9 = -d*b for c.
-5
Let y = -8270 + 8289. Solve 3*u = -5*m - y, m - 49 = -u - 54 for u.
-3
Suppose 0 = 4*i - 2*u - 14, -14*i - 27 = -17*i - 4*u. Solve 3*a + 5 = 5*k, -8 - 32 = -4*a - i*k for a.
5
Let n be (0 + 8/12)*-66. Suppose -i = -5*z - 122, z - 2*i = -z - 52. Let x = z - n. Solve q + 12 + 13 = 4*r, -q + x = 5*r for q.
-5
Suppose 5*s + 395 = 55. Let k = s + 75. Solve 0 + k = w - 5*q, 4*q + 2 = -w for w.
2
Suppose 0 = 88*m - 172*m + 79*m. Solve 6 + m = -z + o, 4*z + 3*o - 11 = 0 for z.
-1
Let c(x) = 8*x - 54. Suppose -20 = -9*f + 61. Let w be c(f). Solve 1 - 2 = l, 3*l + w = 3*u for u.
5
Let k = 92 - 89. Let f(c) = -8*c + 29. Let z be f(k). Solve 5 = -z*b - 4*o, -b - 2*o = 2 - 1 for b.
-1
Suppose -5*w = 3*c - 149, 0 = -2*c + 3*w - 0*w + 131. Suppose -c = -154*b + 125*b. Solve -b = 4*h - 2*x, 0*x = 2*h - 2*x for h.
-1
Suppose 5*n - 29035 = -29010. Solve -31 = -3*i + 4*z, 0 = 2*i - n*z - 26 - 4 for i.
5
Let x be ((-2)/5)/((-1)/(-10)). Let l(d) = -d**2 - 6*d - 6. Let c be l(x). Let q = 2477 + -2473. Solve b - 7 = -q*b - f, c = 4*b - f for b.
1
Let t(y) = -125*y + 82. Let r be t(8). Let p = -915 - r. Solve 4*s + p*g + g + 16 = 0, -2*s + 2*g = 12 for s.
-5
Let q(y) = y**2 + 12*y + 20. Suppose 0 = i - 9*i + 1200. Suppose -5*a + 20*a + i = 0. Let z be q(a). Solve z = -3*g, -5*u - 10 = -3*u + 5*g for u.
-5
Let b be 50/20*(-7)/(70/36). Let u = b + 49. Solve 5*m - u = -6*w + w, 4 = -2*m + 2*w for m.
3
Let d(a) = a**2 - 49*a + 144. Let c be d(46). Solve 3*j - o + c*o - 12 = 0, -2*j - o + 8 = 0 for j.
4
Suppose -833206 = 208*f - 836950. Suppose 0*d - 10 = -4*j - 2*d, 0 = -j + 2*d + 10. Solve j*s = 5*i - f, 4*s = -7*i + 10*i - 14 for i.
2
Suppose -4*o + 4 + 38 = 3*a, -5*a + 50 = 5*o. Solve -4*b + o = -0*k + 4*k, b + 22 = 4*k for k.
5
Suppose 128*x - 99*x - 145 = 0. Let i be (1/2)/((-1)/(-40)). Solve p - 30 = -x*z - 10, p = 3*z - i for z.
5
Let n be 30/14 - (6