 = -2*h + w*m - 22, m = h - 1 for h.
-3
Suppose 0 = 3*t + 21, 5*d + 2*t = -437 + 448. Solve -4*n + 0*x + 3*x = 0, 0 = d*n + 4*x for n.
0
Let w be (-6)/(-8) + (-806)/8 + -4. Let g = -102 - w. Suppose g*f = 4*x + 24, f + x = 2*x + 7. Solve j + 6 = 3*q, f*q + 3 - 7 = -j for j.
0
Let o be 6/(-16) - (-9 + 413/(-56)). Solve 0 = -2*f - 3*v - 19, -4*v - o = 4 for f.
-2
Let q = 18 + -16. Suppose -3*x + 12 = k + 4, -q*x - 4*k + 2 = 0. Suppose 4*z - 2*y - 11 = x*z, 5*y = -20. Solve 6*s + 3*t = s - 13, -9 = z*s + 3*t for s.
-2
Suppose -2*p - 106 - 226 = 0. Let b = p - -173. Solve 3*x - 10 = -5*c + b, -x - 21 = -5*c for x.
-1
Suppose -21*b + 4 = -20*b. Let t be (-2)/13 - (-1200)/195. Let v be (-2)/(12/(-8)*2/t). Solve 2*o + 2*c - b = 5*c, -5*o = v*c + 36 for o.
-4
Suppose -45*n + 7*n = -456. Solve 3*q - 3 = 2*j + n, j - 20 = -4*q for j.
0
Let w = 5258 + -5256. Solve 22*o - 8 = -v + 24*o, w*v + 2 = -5*o for v.
4
Suppose 5*s + 5*f = -20, 2*s - 11 + 23 = -3*f. Suppose 24*w + 121 - 145 = s. Solve -g + w = 2*g + 4*v, -4 = 4*g + 4*v for g.
-5
Let s(c) = -80*c - 395. Let o be s(-5). Solve 4*d = o*k + 12, -12 = -5*k - 32 for d.
-2
Let g be (0 - -3) + (-2 - -1). Let y(j) = -7*j - 12. Let d be -12 + 7 - 9/(-3). Let q be y(d). Solve 4*v - q*w = -12, 4*w - 2*w + g = -3*v for v.
-2
Let n(d) = -d**2 + 12*d + 13. Let k be n(8). Suppose k*z - 5 = 44*z. Suppose r - 15 + 2 = -u, -u + z*r = -7. Solve 0 = 4*t + 2*w - u, t - 7*w - 14 = -2*w for t.
4
Let n = 902 + -525. Let y = n + -366. Solve -3*i + y = t - 6*t, 3*i - 4 = -2*t for t.
-1
Let x = 59 + -59. Suppose x = 9*r + 3*r. Solve 2*v + 6 = r, 2*g = g - 2*v - 9 for g.
-3
Suppose n + 42 = -5*u, -6 = n - 10*u + 6*u. Let l = 40 + n. Solve 3*x + l = 5*a, x + 5*a - 17 = 3*x for x.
-1
Let o be -8 - (-297)/36 - (-1378)/(-8). Let q = -170 - o. Solve -q*n = 3*j - 5, -4*n - 4*j = n + 5 for n.
-5
Let d = 3585 + -3580. Solve -d*g = -6*u + u + 30, g = -3 for u.
3
Let o = 2 + 0. Suppose -4*h + 5*h - 5*q = 495, 492 = h - o*q. Suppose 3*c - 17*c = -h. Solve 4*v + v = 4*u + c, 4*v - 37 = 5*u for u.
-5
Let p be (0 + -3 + 2)*1 - (-368)/92. Solve q = -2*z - p, -4*q - 2*z - 12 = -7*z for q.
-3
Suppose -p + g = -g - 794, -2 = g. Let w be p/90 + 1 + 21/(-27). Solve -3*z + 2*z + 3*r = w, 4*z + 16 = 2*r for z.
-3
Let l(a) = -7 - 64*a + 70*a + a**3 - 4*a**2 - 5*a**3 + 5*a**3. Let w be l(3). Solve w*q - 3*p = p, q - 3*p + 2 = 0 for q.
4
Suppose -116*g + 119*g - 3*c - 15 = 0, 3*c = -g + 29. Solve -2*b + 2 = -5*u, -4*b - 7 + g = u for u.
0
Let v = -37288 - -37288. Solve v = -2*m - 3*l + l, 6*m + 20 = -2*l for m.
-5
Let b(m) = -m**3 - 5*m**2 - 6*m - 6. Let h be b(-4). Let s = -5093 + 5096. Solve -5*q - 3 = -23, h*k - 16 = -s*q for k.
2
Let i be (-24)/(-9) - 3/(-9). Suppose 0 = -0*h + 3*h - 15. Let u be (0 - -14) + 481/37. Solve -4*z = -b - i - 10, h*b + u = z for z.
2
Suppose -y = 3*c - 8, 2*y - 5*y - 4 = -5*c. Let x be (2/(-9))/((-22)/(-15081))*-3. Let f = x - 450. Solve l + 2*p = -y*l + 5, 0 = 5*l + 3*p - f for l.
-1
Suppose 0 = 4*n - 1547 + 1507. Let l be (n/10)/(3/6). Solve -l*v - 3*a + 7 = 0, -6 = -v - 0*v - 4*a for v.
2
Let m be 0/13*-1*(-2)/(-4). Suppose -5*b = 4*v - 3, -4*b = -m + 4. Let x be (7 + -4)*28/21. Solve n = v*f - x*n + 11, -10 = 3*f - n for f.
-3
Suppose h - 5 = 0, -a + 227 = -h + 56. Suppose 2*p - 182 = -a. Solve -2*s - p*j = -16, 2*s + 18 = 4*s + 4*j for s.
5
Let v = 10 + -7. Suppose v*y - 5 = 7. Suppose 0 = -66*f + 69*f + 2*j - 10, 3*f - 11 = -j. Solve 0 = y*m - f*z - 28, m + 5 + 0 = -5*z for m.
5
Let i(f) = -9*f - 7. Let a be (-3)/9 + 665/(-21). Let j be ((-16)/a)/(3/(-2) + 1). Let s be i(j). Solve 5*c + 0*b - 5 = b, 0 = -4*c - s*b - 10 for c.
0
Suppose 4*y - 3 = 5*w, 3*w - 5*y + 14 + 6 = 0. Solve 25*h = 22*h - w*n - 19, 17 = -5*h - n for h.
-3
Suppose 0*r - 75 = -3*r - w, r + 5*w - 39 = 0. Suppose -40 = r*t - 29*t. Suppose 7 = -t*u + 39. Solve -u*p - 2*m + 16 = 0, 5*p - 4*p - 3*m - 4 = 0 for p.
4
Let p(m) = m + 2. Let q be p(0). Suppose -5*s + 2*s - 282 = 0. Let v = -93 - s. Solve -h + 3*h + 2*b = q, 0 = -h - 3*b + v for h.
1
Suppose -4*z + 2424 = 2*g - 5*g, 4*z = 0. Let a = -805 - g. Let k(q) = q**2 + 2. Let f be k(4). Solve -4*o - a*s + f = 4, o = s for o.
2
Suppose 0 = 104*k - 6*k - 13*k. Solve 6 = 4*s + 5*b, 2*s - 17*b + 13*b - 16 = k for s.
4
Suppose 0 = -5*q + 61 - 51. Solve 2*z + 10 = 5*f + 4*z, q*f = -4*z + 20 for f.
0
Suppose -2*v - 486 = -86. Let g = 213 + v. Solve 5*k + 2*z - g = 3*z, 4*k - 14 = -z for k.
3
Let d = -742 + 697. Let a be (-22)/(-99) - 935/d. Solve -y - 4*y = -w + a, -2*w - 6 = 2*y for y.
-4
Suppose 247 = 4*i - f, -5*i - 3*f = -245 - 68. Suppose 4*g + 34 = i. Solve -5*u = 3*m - 28, -5*m = 2*u - 22 + g for m.
1
Let d be ((26/4 - 6)/((-2)/28))/(-1). Solve -3*f - o + 3 = 0, -4*o = 3*f - d*f - 12 for f.
0
Let h be 0*(-1)/6 + 2. Suppose j = 3*j + 4*p, -4*j = 2*p - 12. Let w be (-10 - 12/j)*-1. Solve 2*t + w = a, -2*a - h + 4 = 2*t for t.
-4
Let b = 277 - 274. Suppose -7*x + 8*x + b = j, -3*j - 5*x + 17 = 0. Solve j*n + 4*c + 26 = 2*c, 25 = -5*c for n.
-4
Suppose 236*s - 229 - 277 = 438. Solve -h - 5 = 4*w - s, -4*h = -3*w - 15 for h.
3
Let d(z) = -4*z + 28. Let c be (-3)/(-2)*(8/3 - 0). Suppose -11 = c*w - 39. Let j be d(w). Solve j = -2*s + 4*i - 18, -5*s - 2*i = -i - 10 for s.
1
Let b be (-10*44/132)/(4/(-6)). Solve -36 = -5*c - 4*x - 7, -b*x = -c for c.
5
Let r(n) = 14*n**2 - 8*n - 5. Let o(c) = 22*c - 45. Let l be o(2). Let q be r(l). Solve -8*h = 3*f - 3*h - q, 0 = f - h + 5 for f.
-1
Suppose -2*j = -2*z + 22, 2*j - 7*j = z - 41. Suppose -55 = -z*u + 25. Solve u*i = -2*q - 4, -3*q + 4*q = 3 for i.
-2
Let o = 518 + -511. Suppose o*b - 69 = -27. Solve 2*j = -w - 10, 3*w - 4*w - b = j for w.
-2
Suppose 28*q - 339 - 445 = 0. Let f = 32 - q. Solve -2 = -4*m + f*z + 6, -m = -4*z - 8 for m.
0
Let f = -624 + 640. Let z be -4 + (-176)/(-18) - f/(-72). Solve 2*j = 6, -3*j = -z*v + 3*v - 15 for v.
-2
Suppose 4*y = 4*l + 8, -2*l = 2*y + 65 - 89. Solve 3*t + 6 = -n, l*n + 0 = -4*t + 3 for n.
3
Suppose -5*u + 0*u + 10 = h, 2*h + u - 11 = 0. Suppose 0 = 455*q - 7444 - 746. Solve -a - h*w + q = -5*a, -3*a = -5*w + 16 for a.
-2
Let c = 22533 + -22529. Solve -5*f + l = c, -5*l - 45 = 2*f - 38 for f.
-1
Let s = 88 - 88. Let x be s + -1*(0 - 0). Suppose x = -2*u - 3*d + 1 - 6, 5*u - 3*d = 40. Solve -l - o = -4*l + 6, -u*l + 30 = 5*o for l.
3
Let t be 6/7 - (-1 + 360/(-168)). Solve -106*y - t*i = -101*y - 4, 3*i - 2 = -4*y for y.
-4
Let n(d) = 6*d - 107. Let w be n(18). Let m = 14 - 2. Let a = 12 - m. Solve -3*v - o - w = -a, 11 = -5*v + 3*o for v.
-1
Suppose 160 = -75991*p + 76011*p. Solve -17*n + 21*n = p, y = 4*n - 9 for y.
-1
Let l(z) = z**3 + 1404*z**2 - 51*z - 2803*z**2 + 26 + 1423*z**2. Let j be l(-26). Solve j = 2*a + 2*q, -2*a - 3*q + 3 = -0*q for a.
-3
Let u be 40/6*(-8)/((-160)/465). Let t = 167 - u. Solve t = -0*v - v + 5*f, 5*v = f + 12 for v.
3
Let r(c) = 16*c**2 - 27*c + 13. Let a be r(1). Solve 4*y - 5*v = 4 + 27, a*y + 3*v + 1 = 0 for y.
4
Let o(v) = -v - 2. Let k be o(-4). Suppose k*x + 4*d = 20, -3*d = 3*x - 17 - 1. Solve -x*u + 14 = -2*z, 2*z - 4*u + 11 = -11 for z.
-3
Let a be ((-48)/(-30))/(-4) - (54/(-10) - 7). Solve 2 = a*z - 10*z - 2*u, -4*z - u = -14 for z.
3
Let g = -268 + 268. Solve g = z + m, 0 = -4*z - 2*m - m + 2 for z.
2
Let w be (-16)/(-40) - (-6)/(90/39). Solve -3*x = 3*h + w, 3*x = h - 12 + 1 for x.
-3
Let y(p) = -p**3 - 11*p**2 - 22*p + 4. Let u be y(-9). Suppose -5*z + u = -q + 5*q, -2*q + 30 = 5*z. Solve -4*x = q*m, 9 = 4*m - 7 for x.
-5
Let q be (-20)/15 + (-26)/39*-8. Solve x = -2*u + q*u - 7, 2*u = -3*x - 13 for x.
-5
Let a = -269 + 265. Let q be 7/7*(2 + 5 + a). Solve -4*f - 8 = -2*l, 2*f + 7 = -q*f + 4*l for f.
-3
Let p be (-259)/(-148) + (-1)/(-4)*1. Let z = p - -8. Solve -f + 6*c - 8 = 2*c, -z = f - 5*c for f.
0
Let a be (-5 + (-234)/(-54))*12/(-1). Solve 2*w + 16 = -27*t + 25*t, t - a = 3*w for w.
-4
Let i(q) = -25*q - 3. Let m(o) = 5*o + 4. Let v be m(-2). Let k be v/(-9)*12/(-8). Let j be i(k). Solve 2*z - 5*f + j = z, -5*z = -4*f + 26 for z.
-2
Suppose -7*h + 2918 = -421. Let p = h - 466. Solve -4*k - 15 = n, -6 - p = -5*n + 3*k for n.
1
Suppose -95*m = -2382 + 957. Solve -3*j = 3*g - m, 0*g - 11 = -4*g + 5*j for g.
4
Let x be (62/372)/(3/54). Solve 5*a + 9 = -3*q + 10*a, x