-12*m - 0. Suppose 12*h - 7*h - 25 = m. Let q be 1/(1 + -2) + h. Solve 3*z = -k - 10, 5*z + q*k - 4 + 23 = 0 for z.
-3
Let k(h) = 2*h**2 - 46*h - 8. Let i be k(19). Let m = i - -161. Solve -m = -2*y - z, 2*y - 2*z - 16 = -3*y for y.
2
Suppose 13 = 4*x + 63*y - 66*y, 2*x - 11 = -3*y. Solve 2*o = -x*p - p + 33, -3*p - 1 = -4*o for o.
4
Suppose 5*j = -3*p - 6, 40*j = 3*p + 41*j - 6. Solve -p = 3*s - 3*u, 5*s - 3 = 8*s - 4*u for s.
-1
Let c = 6822 - 6800. Solve c = 2*j - 4*m, 3*j + 2*j - m - 19 = 0 for j.
3
Let x = -6542 + 6558. Suppose -3*g - 95 = -101. Solve -k - 12 = 4*q, k - g*q = q + x for k.
4
Suppose 1488 = 10*u + 1368. Solve 2*z + 2*s + 27 = 7*z, -2*z + 2*s = -u for z.
5
Let n(f) = 79*f + 726. Let d be n(-9). Solve -3*u = d*y - 19*y + 4, 4*y = 2*u for u.
-4
Suppose -4 = 2*v + 4*h, 2*h + 4 = -2. Suppose 13 - 44 = -5*k - 2*i, -v*i + 37 = 5*k. Solve 4*w + b = 2*b - 10, 0 = 5*w + k*b for w.
-2
Let v(m) = 4*m**2 + 8*m - 11. Let f be v(2). Suppose 10*w - 7*w = -2*k + 2, f = 4*w - k. Solve 3*x = 3*o + 7*x + 7, -w*o + 3*x = 1 for o.
-1
Let o be 54/90 - 14/(-10). Suppose -w = k - 7 + o, -3*k + 9 = w. Solve -5*v - 23 = 4*g - 0*v, 2*g - 2*v = k for g.
-2
Let f(h) = -280*h + 1120. Let r be f(4). Solve 3*y - 42*s + 30 = -45*s, r = -4*y + 3*s - 5 for y.
-5
Let r(f) = 4*f + 61. Let q be r(0). Let j = 67 - q. Suppose -5*t - j = -7*t. Solve t*m + 41 = -5*y + 11, 4*y - m = -7 for y.
-3
Suppose 0 = -5*o + 58*o. Let w = 1 - 2. Let r be (-3 + 3 + 17)/(o - w). Solve 4*u + 4 = 0, z + 2*u + r = 6*z for z.
3
Suppose -h - 7 = -4*j + 63, 3*j = -4*h + 62. Let k = -33 - -61. Suppose 2*a = a. Solve -j = -2*r + 4*z, 0 = -a*r - 4*r + 4*z + k for r.
5
Let f = -3091 - -3101. Solve -4*x + f*b - 13*b = -16, -4*b = -2*x + 8 for x.
4
Suppose 63*y = 872 + 1333. Solve 4*n + 4*h + 0*h + 12 = 0, -y = 5*n - 5*h for n.
-5
Suppose 2*y - 5*s + 4 = 24, 4*y = 5*s + 30. Solve 2*q = 4*z + 24, -q = y*z + 16 + 7 for q.
2
Suppose 0 = 688*b - 657*b. Solve b = 5*i - 15, 3*i - 16 + 7 = -2*r for r.
0
Let y = 36 + -25. Let i be 0 - (-7 - (5 + -8)). Let k(a) = a - 2. Let w be k(i). Solve 0 = 5*s - w*f - 9, -2*f = -3*s + 2*f + y for s.
1
Let j = 236 + -236. Let u be 180/72*(2 - j). Solve 4 = -4*v, u*v + 4 = y - 1 for y.
0
Suppose h - 4 = -2, 0 = z - 3*h + 49. Let d(o) = -o**3 - 3*o**2 + 2*o + 9. Let m be d(-5). Let c = m + z. Solve 5*t = -4*r - 12, 0 = 3*t - r + c + 8 for t.
-4
Suppose 540 + 3285 = -9*p. Let k = p + 431. Solve 0 = 2*t + k*s - s - 3, -2 = -2*s for t.
-1
Let z = -126 + 182. Suppose 3*x + 16 = -z. Let r be -6 - (-320)/52 - x/13. Solve -3*d - 2*q - 11 = 0, 4*d + r*q = -q - 14 for d.
-5
Let j = -5536 + 5543. Solve -2*a = -28*r + 31*r + j, -3*a = -r - 6 for a.
1
Let c = -404 + 404. Let w = -244 + 248. Solve -w*k + c*k + z = 0, k + 3 = z for k.
1
Let d = -203 + 200. Let k be 8 + (-44)/9 - d/(-27). Solve 0 = 4*h + 20, -k*t - 6*h - 20 = -5*h for t.
-5
Let p(r) = -244*r**2 - 4*r - 4. Let h be p(-1). Let t = h - -247. Solve -5*c = -5*y - 0*y, 0 = -t*y + c + 10 for y.
5
Let m = -9579 - -9586. Solve 4*d = c + 22, -4*d - 5*c = -m*d + 42 for d.
4
Let k be (0 - -4)*(-265)/(-106). Suppose k*r - 136 = -116. Solve -12 = 2*g + 2*l, 2*g - r*l + 0 = 4 for g.
-2
Suppose 83 = 122*p - 405. Solve 3*o + 2*u = -p, -6*o + u = -11*o - 9 for o.
-2
Suppose 4*a + 3*y = 36 - 24, -2*a + 6 = -4*y. Solve -a*b + 16 = -3*h - 11, -3*b - 3 = 3*h for b.
4
Let y be (-3 - -2)*6/(-3). Let g(w) = 4*w + 5. Let i be g(5). Suppose 0 = -2*d, -5*r + d = -10*r + 40. Solve -c + m = 5, r*c - y*m + i = 3*c for c.
-5
Let t(o) = -4*o**2 + 84*o - 433. Let h be t(10). Suppose 0*m + 3*m = u + 6, 4*u + 2*m = 18. Solve 6 = 4*w - u*p, 0 = w + 2*p - h - 0 for w.
3
Let u = -295 - -259. Let i be (-12)/(-10)*(-90)/u. Solve -i*s - 2*y + 31 = -7*y, -4*y = -4*s + 28 for s.
2
Suppose -d = 4*n - 2*n - 15, -2*d + 34 = 2*n. Suppose 26*r = 33 + d. Solve -2*q - 6 = 5*x + q, -r*q - 4 = 5*x for x.
0
Let q(y) = -y**3 - 13*y**2 + 13*y - 8. Let m be (28/10)/(2/5). Let p = -7 - m. Let d be q(p). Solve d = 5*v - 9, -10 = -n - 3*v for n.
1
Let y(n) = -n**3 + 9*n**2 - 8*n - 4. Let h be y(5). Let f = h - 43. Let d(o) = -2*o + 21. Let l be d(8). Solve 5*x + 3 = 4*q - 3, -f = 4*x + l*q for x.
-2
Let m = -979 - -831. Let i = m + 152. Solve -4*k + i*r + 20 = 0, 2*k - 3 = -r - 4*r for k.
4
Suppose -8*y = -43 - 5. Suppose 6*z + 9*z = y*z. Solve z = -2*m - 3*n - 1, -m - 3*m = -4*n - 8 for m.
1
Let a(i) = 9*i**2 + 2*i - 2. Let h be a(1). Let z be (-2 + 1 + 3/h)*-3. Suppose -5*g - 2*u = -6*g + 5, z*u - 5 = -g. Solve -g*r + 31 = 3*o + 9, r = o + 6 for r.
5
Let x(q) = 3*q - 4. Let g be x(3). Suppose 4 = 8*v - 12. Suppose -4*s + 3 = -5*a, -3*a + g*a = v. Solve i + 12 = -s*n - n, 9 = -2*n - i for n.
-3
Let a = 608 - 608. Let w be (a/3 - 4) + 8. Solve 3*m - k - w = 1, -3*k = 2*m - 7 for m.
2
Let g(t) = 8*t - 4. Let m be g(1). Solve v + 4 = -4*h + 5*h, -4*v - h + m = 0 for v.
0
Let v = 3560 + -3554. Solve 5 = -5*u + v*l - 2*l, 4*u + 25 = -l for u.
-5
Suppose f - 2*q - 17 + 5 = 0, 0 = f + 5*q + 23. Let o(v) = -3*v + 24. Let m be o(f). Solve -2*a = -2*n, -3 = -5*n + 2*a - m for n.
-5
Let p = -256 - -259. Let f = -59 - -92. Suppose p*u = f + 36. Solve 3*t = 5*w + 14, 5*w + 5*t + u = -7 for w.
-4
Let y = -15574 + 15576. Solve 7 = 5*z + 4*b, -42 = 3*z - y*b - 33 for z.
-1
Let h = 60 - 56. Suppose -15 = -h*a + a. Let z be (2/6)/(a/60). Solve -4*p - 3*y + 9 = -p, -2*p = z*y - 14 for p.
-1
Let c = 61 + -56. Let m(u) = u**2 - 4*u - 6. Let t be m(7). Solve -c*k + 2*p - p = t, 4*k - 12 = -4*p for k.
-2
Let s be 6*(((-6)/(-9) - 6) + (-12)/(-2)). Solve s*j + 21 = -a, 0 = 4*a - 3*j + 13 - 5 for a.
-5
Let s = 92 - 32. Suppose -28*x = -25*x - s. Solve -4*i - x = 4*u, 3*i - 4 + 29 = -5*u for i.
0
Suppose 4*w - 9*w + 315 = 0. Let o = w + -112. Let f = 55 + o. Solve -3*m - 2*x = 6, x - f = 3*m - x for m.
-2
Let y(w) = 2*w**3 - 18*w**2 + 45*w - 110. Let a be y(7). Solve -4*j + o = -a*j - 5, 0 = j - o + 7 for j.
-2
Let o(c) = c**2 - 7*c + 6. Suppose w - 7*w - 294 = 0. Let h = w - -56. Let a be o(h). Solve -a = 2*k + 5*v - 4, 0 = 5*k + 3*v - 14 for k.
4
Let b be 62/8*(2 + 2). Let w = 60 + -24. Let f = w - b. Solve -7 = 5*i - 3*s, -f*i - 5*s + 3*s - 12 = 0 for i.
-2
Let y = 3613 - 3607. Solve -v = -5*x - y, -4*x + 3*v = -v - 8 for x.
-2
Suppose -2*n - 3*o + 24 = 0, -5*n - o + 4*o = -18. Solve -n = t - 2*b, -3*t - 3 = -10*b + 9*b for t.
0
Let b be -55*38/(-230) + 4/(-46). Solve 3*x - 11 = d, 5*d - 6 = 2*x - b for x.
4
Let d = -8 + 12. Let v = -37224 + 37228. Solve 9 = 5*a - d*h, -v*h = -5*a + 9*a for a.
1
Let k = -115 + 117. Suppose 0 = 21*q - 8*q - 65. Solve 4*b - 20 = 5*t, k*t + 0*b + b = q for t.
0
Let x be ((-95)/(-4))/((9/12)/3). Let f = x - 69. Let s = f - 23. Solve -4*c = -3*u - 20, 7 = -s*u + c + 2 for u.
0
Suppose 9 = 11*c + 97. Let n(p) = p**3 + 8*p**2 - 11*p - 84. Let x be n(c). Let b be (-4)/(-18) - (-16)/9. Solve -m = 4*d + 20, -m + x*d + 22 - b = 0 for m.
0
Suppose 0 = -4*d + 27948 - 27884. Let g be (1 + 1)/(-4)*-2. Solve 5*m + 4*q + d = 5*q, 0 = q - g for m.
-3
Let b = 30 - 8. Let d = 3 + -3. Let p be -3 - ((1 - -3) + -11). Solve -p*z + b = -5*m, 13 = m - d*z + 5*z for m.
-2
Let v be ((-272)/(-170))/((-3)/(-30)). Solve -h = -0*p - 5*p + v, 2*h - 16 = -2*p for h.
4
Let d be 3 - 657/6 - 9/(-6). Let f = -94 - d. Suppose 2*s - f = -3*i, 6*s - 10*s - 4*i = -16. Solve -h = m + 3 + s, -m + 4 = -h for h.
-4
Suppose 9*s + 134 = 45*s + 31*s. Solve 0 = 3*p - 4*d - 24, -39*p + 44*p - s*d - 26 = 0 for p.
4
Let l = 11132 + -11132. Solve -4*t - 2*b - 2 = l, 3*b - 26 = -23 for t.
-1
Let n = 108 - 103. Suppose -5*j = 3*y + 102, -y = -n*y - 16. Let u be 5/(30/j) + -1 + 13. Solve 5*c + u = k + 2*k, 0 = 3*c - 3*k + 9 for c.
0
Let o(q) = -153*q + 93. Let t be o(3). Let b = -361 - t. Solve -4*h = 5*a - 11, 2*h + a + 2*a - b = 0 for h.
4
Let h = -33 - -68. Suppose -2*p + 25 = 5*m, -4*p + h - 15 = 4*m. Let u = 20 + -16. Solve 2*c + u = c + 2*y, -c - 4 = -m*y for c.
-4
Let r(h) = 3*h**3 - h**2 + 9*h - 9. Let a be ((-1)/(4 - 3))/(-1). Let q be r(a). Solve -2*j + 9 = -3*z, -2*z = -4*j + q*j + 8 for z.
-1
Let p = -1 - -17. Let v be p/32 - (-31)/2. Let t be (-6)/(-4)*(v/3 - 4). Solve t*f = 4*l - 20, -2*l - l + 2*f + 15 = 0 for l.
5
Let v(w) = w**2 + 79*w + 158. Let u be v(-2). Solve 5*z - u*b = -27, 2*z + 18*b = 