w*v, -n*h - v = -1 for h.
1
Let u be 5 - 1 - (-30)/(-15). Solve -m + 31 = 5*y + 11, -u*m + 2*y + 4 = 0 for m.
5
Suppose 22*r - 17*r - 340 = 0. Suppose -4*s + 9*s - i = 158, -2*s = 2*i - r. Let p = 64 - s. Solve -4*q + 5*a = -0*q + 36, 0 = -3*q + 5*a - p for q.
-4
Let l(t) = t**2 + 4*t + 13. Let s be l(-6). Suppose 23*k - s = 18*k. Solve -3*f + 10 = -d, 3*f = k*f - 4 for d.
-4
Suppose -64*w + 112 + 325 - 117 = 0. Solve -15*b + 17*b = 3*p - 7, 3*p = b + w for p.
1
Let v(s) = s**2 - 16*s - 2. Let z be v(6). Let g = z + 67. Solve g*i - 3*l - 6 = 0, 0 = -4*i - l - 6 + 21 for i.
3
Suppose -4*w + 3*w = -5. Suppose 2*q + 13 = l + 5*q, w*l + q = 23. Solve -y = -l, y - 3*y - 1 = 3*u for u.
-3
Let j = 747 - 797. Suppose -3*i + 5*d + 158 = 4*d, 3*d + 6 = 0. Let s = j + i. Solve 2*m + s*g = -0*m - 4, -3*m = 5*g + 4 for m.
-3
Suppose -68*b + 1 = -74*b + 5*z, 3*b = 2*z + 2. Let u = 20 + -17. Solve m - 2*v = -1 + 7, -u*v - 4 = -b*m for m.
-2
Let r(u) = -49*u + 147. Let a be r(3). Suppose 2*t = -y - 2 + 6, 5*y + 10 = a. Solve -9 = -0*o - o - t*w, 4*w = -4*o + 20 for o.
3
Let m(k) = -30 - k**2 + 34*k + 1 - 28 - 4. Let s be m(32). Solve 2*d = w + s, 5*w + d - 4*d - 6 = 0 for w.
3
Let y = 1 - -1. Let d be y/(-6) - 28/(-3). Let a(x) = -7*x**2 - 13*x + 5. Let z be a(0). Solve -p - c = -d + 2, -z*p = -4*c + 1 for p.
3
Let l be 9010/2380 + (-6)/(-28) + -1 + 11. Solve 0 = 4*m + y + 11, -4*m - l - 7 = -y for m.
-4
Suppose -5*n - 2*g = g + 99, 2*n + g = -40. Suppose -140 = -5*o - 5*q, -14 = -4*o - 2*q + 96. Let v = o + n. Solve 0*a = 4*a - w + v, -5*a - 8 = -w for a.
-2
Suppose -2*h - f = 0, 3*h = 5*f - 36 + 75. Solve h*r + 3*k = 15, -3*k - 6 = -10*r + 6*r for r.
3
Suppose 4*w + 3*m = 34 + 11, 3*w - 3*m = 60. Suppose -7*d - w*d = -88. Solve -5*b - 2*a - 21 = 0, -b + d*a = 2*a + 9 for b.
-5
Suppose -13*o = -8*o - 280. Suppose -58*l = -o*l - 10. Let q(f) = -30*f. Let y be q(-1). Solve -5*b = 5*t - y, -2*t - 7 = -4*b + l for b.
4
Let s = -6466 - -6471. Solve 37*q - 38*q - s*j + 28 = 0, -5*q - 5*j = -40 for q.
3
Let g(r) = 5*r**2 + 402*r + 1313. Let f be g(-77). Solve 6*m + 6*t - 4*t - f = 0, -2*t + 9 = m for m.
-1
Suppose -15*s + 12*s = -3*i + 42, 0 = 2*i + 2*s - 28. Let t be (-3)/(-4) - 91/(-28). Solve 0*m + t*m + i = 2*d, 2*d + 2 = -4*m for m.
-2
Let i be ((-4)/(-2))/((-6)/(-30)). Suppose 4*t = 3*y + 24, 13*t - 2*y - 17 = i*t. Solve -5*v = t*l, 5*l = -0*v - 2*v + 19 for v.
-3
Let l = 1631 + -1629. Solve l*h = -2*i + 14, -24 = -4*i + 37*h - 40*h for i.
3
Suppose 2*w + 2*o - 794 + 768 = 0, 0 = -5*w + 3*o + 9. Solve -q - 3*z + 1 = 0, 0 = -15*z + 12*z + w for q.
-5
Let k be 15/1*(-3 + (-115)/(-25)). Suppose 0 = 8*p - 4*p - k. Solve -2*g = 3*b + 1 - 2, -3*g + p = 3*b for b.
-3
Suppose -2*b - p = 2, 5*b - 4*p = -p - 27. Let j be (8/b)/((-95)/(-15) - 7). Solve 6 = 2*w + j*z, -w + 5*z - 1 = -4 for w.
3
Suppose -4*s + 0 = -5*y - 3, 0 = -5*s - 3*y + 13. Let n be s/(-9) - 611/(-117). Solve 4*b - 3*d = -28, -d + n = -3*b - 11 for b.
-4
Let l(z) = z**3 - 35*z**2 + 174*z + 40. Let j be l(29). Solve 5*m + 50*p = 55*p - j, -2*m + 4*p - 22 = 0 for m.
-5
Suppose 3*a + s - 43 = 0, 0 = 5*a - 11*s + 15*s - 60. Let b be -4 + (-4)/(a/(-20)). Solve -o + 4 = -3*p, o = 2*o - b for p.
-1
Suppose 0 = 20*k - 17 - 23. Solve v = -k*j + 7, 2*v + 2*j - 41 = -35 for v.
-1
Suppose -12*z + 37 = 1. Let f = 2562 + -2562. Solve -4*i - z*d = f, -i = -3*d + 7*d for i.
0
Let t be (-60)/(-55) - (-1026)/209. Solve -4 = 4*j + 4*r, r + 2*r + t = -4*j for j.
-3
Let w be (-90)/(-24) + -4 + (-54)/(-24). Solve -3*g + 9 = d, w*d = -3*d + g - 19 for d.
-3
Suppose 322 - 297 = 5*c - 2*h, -3*h = c + 12. Solve u - c*z = -3, 3*u = -2*z + 30 - 17 for u.
3
Let t(m) = -120*m + 492. Let c be t(4). Solve -3*g - w - c = 0, -6*g + 2*w - 6 = -2*g for g.
-3
Suppose -3*g - 90 + 252 = 0. Suppose -11*u + g = 10. Solve -u*b = -b + 2*a + 8, -5*a = 4*b + 20 for b.
0
Let t = -84 - -209. Suppose 115 = -5*h + t. Solve h*j - 2*o + 9 = o, 6 = 4*j + 2*o for j.
0
Suppose -9*q - 2745 = -333. Let c = -264 - q. Solve c = 2*l, 2*o + 3*l - 6 = -0*l for o.
0
Suppose 272*t - 3112 + 757 = 115*t. Solve -17*w - r = -t*w - 2, 3*w - r = 13 for w.
3
Suppose -58*c = 47*c - 315. Solve -5*m - c*n - 21 = 0, 2*m = 5*n - 5 + 9 for m.
-3
Let l = 81 + -3. Suppose -8*r - l = -34*r. Solve -5*h = r*t + 6, 0 = -5*t + 2*h - 6*h + 3 for t.
3
Let o = 314 - 314. Suppose o = -w + 6*w - 10. Let r(y) = 3*y - 1. Let f be r(2). Solve -f*h - t = -w, 0*h = -h + t - 2 for h.
0
Let h be (-2 + (-14)/(-4))/(27/36). Let i be h + 2/(3/(-1 + -2)). Suppose 2*x - 3*t - 9 = 0, -2*t = -i*x + x - 1. Solve -4*w - j - 5 = -2, 3*j = -x*w - 9 for w.
0
Let w = -19503 - -19523. Solve -9*b = -12*b - 2*z - 2, -4*z - w = -2*b for b.
2
Suppose 4*h - 81 = 5*a - 42, 3*a = 4*h - 33. Solve -3*q + 9 = 3*u - h*u, 3*u - 4*q = -10 for u.
-2
Suppose 3*j - 2 = 10. Suppose -5*c + 27 = 3*b, 3*b - 7*b = -j*c - 4. Suppose -5*r = 5*h - 7*h + 18, 4*r = -2*h. Solve 0 = 5*m - c*y + 24, 2 + 10 = h*y for m.
-3
Let m be 0/(-1) + 6 + -53. Let i = -44 - m. Suppose 0 = 3*c + 2*w - 32, -i*w = -3*c + 2*w + 46. Solve -5*r + 30 = 5*u, 0*r - 4*r + c = u for u.
4
Let x(q) = -q**3 + 57*q**2 - 165*q + 166. Let o be x(54). Solve o*j = -4*i + 4, -4*i + 3 = -17*j + 20*j for j.
1
Let z be ((-123)/5)/(-3) + (-6)/30. Suppose 4*s = -p + 10, 18 - z = 5*p. Solve -7*q + 3*q + s*w = 16, -q = -3*w - 1 for q.
-5
Suppose 26*h = 25*h + 2. Let p(g) = -11*g + 26. Let y be p(h). Solve y*m = 5*u - 20, -3*u = 2*m + 2*m - 12 for m.
0
Let r(t) = -2. Let p(f) = f + 17. Let k(w) = 2*p(w) + 10*r(w). Let x be k(-6). Solve j - x = 0, 3*j + 1 = 3*b - j for b.
3
Suppose -4*k - a = 164, 4*a + 110 = 4*k - 7*k. Let o(w) = 2*w**3 - 12*w**2 + 11*w - 21. Let s be o(6). Let m = k + s. Solve 0 = -z - 4, m*v - v - 3*z = 6 for v.
-3
Let v be (-20)/(-6)*(30/20 - 0) - 0. Solve w - 2*l - 3 = -4, -v*l = -15 for w.
5
Suppose x = -0*x + 7. Suppose 0*o = x*o. Solve -i - 2*q + 14 = o, -q + 2 = -3 for i.
4
Suppose -4*v + 2*v - 2 = 0, 3*c + 5*v = -17. Let i be ((-84)/(-54))/(-7) + c/(-18). Suppose a - 2 = -i*a. Solve 3*l = -4*m + 3*m, 0 = -a*m for l.
0
Let k = 33956 + -33806. Solve -h + m = 4, h - 4*m = 137 - k for h.
-1
Suppose 5*w + 3*g - 94 = 0, -2*g - 5 = -1. Solve -4*o - w = 30*b - 34*b, -3*o + 5*b = 25 for o.
0
Suppose -i = -46*r + 51*r - 15, -2*i = -10. Solve 0 = 2*x + r, 0 = g + g + x - 1 for g.
1
Suppose 11*l - 145 = -40 + 159. Solve -10*c = -13*c + 3*r + 24, 4*c - 2*r - l = 0 for c.
4
Suppose 17*s - 14*s = 5*o - 37, -2*o = s - 6. Solve 0 = -o*z + 25, 2*r + 21 - 1 = 4*z for r.
0
Suppose -3*d - 1 = -5*y, -7*y - 17 = d - 12*y. Suppose -5*j - 5*i + 105 = 0, 3*j + 103 = 8*j + 4*i. Solve -5*w - 7 = 4*o + d, -j = -4*w + 3*o for w.
1
Let q = 5360 - 5357. Let a = -12 + 15. Solve a*u + 8 = -2*w, -q*u = u + 16 for w.
2
Suppose -t - 847 = b, -5*b + t - 3408 = -b. Let o = b - -853. Solve 7*v - o*v - 3*i + 12 = 0, -3*v + 3*i - 12 = 0 for v.
0
Suppose -2*y = -814 + 764. Suppose c = y - 20. Solve z - 31 = -5*a - 6, -15 = z - c*a for z.
5
Suppose -11*r + 9*r - 5*j + 37 = 0, -4*j = -5*r + 10. Solve 8*s = 3*l + r*s - 8, l = 4*s + 16 for l.
0
Suppose 6 = -4*m - 2*o, m + 9 = -174*o + 172*o. Solve b - m = -3*c, -39*c + 5*b = -43*c - 6 for c.
1
Let z = -28 - -32. Suppose 8*s = -z*s + 240. Let x be ((s/12)/5)/((-5)/(-75)). Solve -b + x*g + 19 + 5 = 0, -4*b + 32 = -4*g for b.
4
Let j be (-1 - -3)/(29/(-58)). Let o(g) = g**3 + 6*g**2 + 18*g + 41. Let t be o(j). Solve -4*i = 4*y + 12, -y - 4*i - t = 17 for y.
2
Let x be (-4 - 32/(-6))*3. Let n = -2511 + 2520. Solve 2*m = -j - 0*m + 5, 3*j = -x*m + n for j.
-1
Let x(d) = 19*d**2 - 679*d + 679. Let a be x(1). Suppose -v - 3*g + 5*g - 4 = 0, 2*g = -v + 12. Solve z - v*k = 16, 2*k = z + 5*k + a for z.
-4
Suppose 0 = 3*i + 2*j - 59, -i - 4*j + 34 = i. Let a(f) = 2*f - 34. Let y be a(-6). Let h = y + 48. Solve 0 = -4*v - k - h*k + i, -4*k + 3 = -3*v for v.
3
Suppose -101*a + 1267 = -1359. Solve -3*i - 13 + 5 = 4*w, -2*w = -4*i + a for w.
-5
Suppose -584 = 4*u - 596. Solve u*o = -3*x, -51*x - 25 = -49*x - 3*o for x.
-5
Let o(m) = 2*m**2 - 2*m - 4. Let g be o(4). Suppose -2*f + z - 5*z = 14, 4*z = -g. Solve -2*x = -3*j - 16, x - 6 = f*j + 5 for x.
5
Let v(j) = -17*j - 105. Let b be v(-6). Let l be 2/(-2) + b/(-1). Solve -3*f - 2*f + 5 = 0, -5*m = -l*f - 