Solve q = -4*b + 20, 5*q - 2*b = 4*q - z for q.
0
Suppose -1 = -2*s + 3*s. Let m be 4 + s/(-2)*-4. Let c be -1*(12/(-9)*3 + 1). Solve -c*b + 2*v - 5 + m = 0, 0 = -4*b - v - 15 for b.
-3
Suppose -38*v = 119*v. Solve 3*b + 3*u - 6 = 0, v = -b - 3*b - 2*u - 2 for b.
-3
Suppose 86*o = 9*o + 196*o - 238. Solve 15 = -3*f + o*i, -4*i = 3*f + 2 - 5 for f.
-3
Let y = -31545 + 31549. Solve -1 = -5*g + k, -9*g + 3*k = -y*g + 7 for g.
1
Suppose -6 = -4*g + g. Suppose -g*w = -0*w + 6, -i = 2*w + 6. Let r be (7 - 4) + i + 2. Solve 0 = -r*j + 4*y + 7, y + 0*y = 2*j - 4 for j.
3
Let u(v) = v**3 - 7*v**2 - 495*v + 3008. Let l be u(6). Solve 2*d - q - 8 = 0, 0 = l*d + 2*q + 3 + 1 for d.
2
Suppose 8*a - 2*a - 37 - 11 = 0. Solve -3*d = -3*w, -6 = 5*d + a*w - 71 for d.
5
Suppose -219*o = 3*p - 216*o - 6, -4*p + 5*o + 125 = 0. Let d be (-36)/8*2/(-3). Solve -3*y + 3 = -3*h, 2*y + d*h - p = -y for y.
3
Let p(m) = m**3 + 34*m**2 - 37*m - 68. Let y = -164 + 129. Let t be p(y). Solve -2*j + u - 2 = -t*u, 5*u = 4*j + 4 for j.
-1
Let x(t) = -t**3 + 5*t**2 + 8*t - 2. Let k be x(6). Suppose -48 = 16*s - 4*s. Let a be (-160)/32*s/10. Solve 0*h + 5*h + k = -r, h + 13 = a*r for h.
-3
Suppose 29*j - 14662 = -13995. Solve -p + 13 = 3*r + 24, r - 5*p - j = 0 for r.
-2
Let x be 3 - (192/(-5) - 16/(-40)). Let u = x + -36. Suppose 0*g = -g + u*s + 25, 3*s + 7 = -g. Solve 0 = -4*z + 3*j + 8, -3*z - 2 + 37 = g*j for z.
5
Let h = 123 - 120. Suppose h*x + 3*g = 5 + 13, g + 6 = 2*x. Let r = -9 + 26. Solve 2*s + 8 = 5*o - 9, -5*s + x*o = r for s.
-1
Let m = 5483 + -5478. Solve -m*g + 3*r = -18, 3*r + 5 = -2*r for g.
3
Suppose 0 = -118*q - 65 + 222 + 197. Solve -n + 2 = 4*d + 10, -3*n - q = 5*d for d.
-3
Suppose 0 = h - t - 51, 0 = 3*h - 2*t - 2*t - 157. Suppose -10*x + h = 7. Solve -2*w + s + 19 = -2*s, x*w - 17 = -s for w.
5
Let m = 6 - 39. Let p = m - -45. Suppose -d + 24 = 5*d. Solve -z = -c + z, -d*z - p = -5*c for c.
4
Suppose -9*w - 2*w + 55 = -0*w. Solve 45 = 4*m - 5*b, -w*m + 4*b = -30 - 15 for m.
5
Suppose -4*b + 25*x = 20*x - 5, -2*b - 4*x = 4. Solve 2*u + c - 4 + 2 = 0, -4*u - 3*c + 2 = b for u.
2
Let l be (-9331)/(-1953) + 4/18. Solve -q + 23 = 5*h, 12 = 4*q + 9*h - l*h for q.
-2
Suppose u + 4*j = 52, 2*u = 7*j - 2*j + 169. Suppose -u + 80 = 4*g. Let m = 20 - 3. Solve 0 = 3*w + 2*c - m, 3*w + g*c = -3*c + 20 for w.
5
Suppose 0*j + 2*q + 15 = 5*j, 5*q = -j + 30. Suppose -5*g - 5*c + 5 - 15 = 0, -22 = -j*g + 3*c. Solve 2*l - 5*t - 20 = -3*l, 3*t + 8 = g*l for l.
4
Let d(t) = -4*t**2 - 170*t - 872. Let h be d(-6). Solve 62 - 68 = -5*g - k, 0 = 4*k - h for g.
1
Let p = -945 + 964. Solve -25 = -3*q + 5*a, -5*q + p = -2*q - 2*a for q.
5
Let t = 0 + 2. Let z be (-2 + 2)/(3 - 1). Suppose -41*x - 142*x = 112*x. Solve x = -q - t, -b - 2*q - 3 = -z*b for b.
1
Let y = 36482 + -36479. Solve -y*g - 52*x + 23 = -56*x, -2*g - 2*x - 8 = 0 for g.
1
Let k be 168/(-36)*135/(-210). Let f be (-6)/(-9) - 25/(-3). Suppose -2*b - 9 = 5*h, 0*b + 4*h = -b - f. Solve 5*u - 17 = -b*w, -k*w + u + 5 = 3*u for w.
-1
Let g = 15861 + -15858. Solve -g*i = 5*m + 35, -5*i - m - 22 = 7 for i.
-5
Suppose 782 = -46*i - 0*i + 966. Solve -k + 8*m = 3*m - 10, -8 = 3*k + i*m for k.
0
Suppose -4*p + 3*t = -0*p - 72, p - 29 = -2*t. Suppose p = -14*x + 21*x. Solve 2*g + 16 = 4*n, -n - 4 = -x*n - g for n.
3
Let c be (64 + -6 + 4)*1. Suppose -2*b - 4*d = c, 2*d - 19 + 137 = -4*b. Let p = b + 34. Solve l = -l + p*x + 20, -5*l + x + 4 = 0 for l.
0
Let u = -6252 - -6255. Let r be 3*4/12 + 3. Suppose -7*m + 8*m = r. Solve 27 = m*q + 3*h, 2*q + u*h - 3 = 18 for q.
3
Suppose 169*u - 1028 - 1765 = -934. Solve -4*o = 3*a + 3, -u*o + 6*a = -15*o - 6 for o.
0
Let i be 677/25 + 4 - (-88)/(-1100). Solve -4*f = 4*m - 11 + i, 15 = -5*m for f.
-2
Let p = -38 - -51. Suppose -j + 60 = -p*j. Let f be (3 - j/((-20)/8))*4. Solve -f*h = -4*o - 11 - 17, 0 = 4*o - 5*h + 32 for o.
-3
Suppose -27 = -h + 4*f, 2*h + 9*f = 4*f - 24. Solve -4*z = 5*w - 15, -9 = 4*w + h*z - 4*z for w.
-1
Suppose 41*t - 11*t = -19*t. Solve -4*j + 2*r + 20 = r, -4*j + 4*r + 32 = t for j.
4
Let t(w) = -2*w**2 - 26*w + 16. Let z be t(-12). Let p = -30 + z. Solve a + 3*a = -2*i - 20, 5*a - 5*i + p = 0 for a.
-4
Let a be (-2)/(-4 + -3 + 6). Suppose -5*m + 28 = -2*l, a*m + m - 24 = 2*l. Let v be (l + -49)*1/(-2). Solve -2*r + 0*r = 3*y - 7, -v = -5*r + 4*y for r.
5
Let c = -19 - -25. Suppose c*i - 36 = -3*i. Let f be 1 + -5 + i + 4. Solve f*k - 27 = -3*u - k, -3*k = -3*u + 3 for u.
4
Let k(j) = 8*j + 4. Let v be k(-9). Let o = v + 75. Let c = -37 - -39. Solve -3*m + o*t + 25 = 3*t, 5*t + 14 = -c*m for m.
3
Suppose 5*n = 2348 + 612. Suppose n = 5*m + 592. Solve -5*b + 3*s - 11 - 24 = m, -5*b = 2*s + 10 for b.
-4
Suppose j + 3*i = -46 + 38, 6*j - 85 = i. Solve -j = 2*f + g, 0 = 4*f + 4*g + 6 + 26 for f.
-5
Let u = 8841 - 8840. Solve 3*c - 15 = 0, -u = 4*l + c - 14 for l.
2
Let i be (9/15*13)/(6/10). Solve 5 = h, 5*h - i = 2*c + 2*c for c.
3
Suppose -y - 2*y = -0*y. Let m(v) = -v**2 + 47 - 4*v + y*v**2 + 15*v. Let z be m(14). Solve z*k + 8 = 4*u, 0 = -3*u - k + 4*k + 6 for u.
2
Suppose -10*b - 12770 = -12790. Solve -b*x + 5*j - 70 + 60 = 0, j = -3*x + 19 for x.
5
Let g(q) = q**3 + 3*q**2 - 12*q - 5. Let r be 5 + (-112)/21 + (-28)/6. Let y be g(r). Solve -2*j = 0, 4 - 1 = -b + y*j for b.
-3
Suppose -14*g + 10*g = 3*m - 59, -19 = -2*g - 5*m. Let d(h) = 8*h - 131. Let u be d(g). Solve -u*f = 3*i - 10, 29 = -5*i + 4 for f.
5
Suppose 28*z - 624 = -9*z - 67*z. Solve 0 = z*n - 2*n - 4*v + 16, 2*v = 8 for n.
0
Let p(k) = -28*k**2 - 2*k + 2. Let a be p(-2). Let j = a + 98. Let z be (-8)/(-2) - j/(0 - 4). Solve -6*w + 3*m = -z*w + 19, -5*m + 27 = -2*w for w.
-1
Let u(c) = 5*c - 2 + 17 + 10. Let i be u(-5). Solve i = v + 3*w + w - 2, 4*v - 5*w = -13 for v.
-2
Let c = -277 + 217. Let d = -48 - c. Solve 2*o - 2*n = d, 3*o + n + 1 = 7 for o.
3
Let a = -1526 - -1530. Solve 2*y = -2*s, 0 = -a*y + 9*s - 11*s for y.
0
Let x(s) = -s**3 + s**2 - 16. Let b be x(0). Let g = -9 - b. Suppose z + g = 4*a - 60, -2*a = 5*z - 61. Solve -p + 16 = -3*p + 5*v, -3*p + a = 3*v for p.
2
Suppose -22*a + 120 = -28*a. Let x be (16/a)/(10/275). Let c = x + 46. Solve 4*o - 18 = 3*u - 2*u, 4*o + 2*u = c for o.
5
Suppose -11*q - 3*q = 6*q - 80. Solve 3 = 4*k + f, 0*f + q = k - 3*f for k.
1
Suppose 2*u = 5*c - 24 - 12, -3*u - c = -14. Solve 2*k + u*d - 9 = -3, d + 1 = 0 for k.
4
Suppose 14*n - 31*n = -119. Let q = n - 1. Solve -2*j - 2*p = -q, 5*j + 3 - 26 = 3*p for j.
4
Suppose -10*j + 10 = -0*j. Suppose -s = -1 - 0, 2*k - 5*s = -j. Solve y + 3*y + k*q + 2 = 0, 4*y + 5 = -5*q for y.
0
Suppose 4*r = 5*x - 40, 15 = 9*x - 4*x + r. Let z be 4/(-72)*-6 + 25/15. Solve 3*n = -z*n + k, x*n - k = 1 for n.
-1
Suppose 0 = -2*q, -4*n + 400 = -0*q + 5*q. Let f = -82 + n. Solve 0 = -5*x - 25, o + 0*x = 4*x + f for o.
-2
Let l(q) = -109*q + 2402. Let z be l(22). Solve -2*d - 37*t = -38*t - 10, -z*d - 5*t - 8 = 0 for d.
3
Let h(b) = -862*b - 12068. Let k be h(-14). Solve 0 = -3*p - 5*x - 12, k*x = -3*p - x for p.
1
Let q(o) = o**3 - 10*o**2 + 11*o - 16. Let v be q(9). Suppose -5*c - 9 = 3*h, 0 = -4*h - 2*c + 1 + 1. Solve h*y - 4*n = -22, 0 = -y - v*n + 5 for y.
-3
Suppose -4*q - 66 = 2*q. Let b(i) = -i**3 - 9*i**2 + 23*i + 13. Let z be b(q). Let s be (z/(-4))/((-3)/30). Solve -19 = -3*t - 5*l, -s*t + 2*t - l = -11 for t.
3
Let o be 6/((2/3)/2). Suppose 0 = 16*h - o*h + 4. Suppose 0*d - d - 3*m = -12, -5*m + 48 = 4*d. Solve -3*a + d = -p, -5*p = -4*a + 18 - h for p.
0
Let b be ((-2)/8)/((-3)/12). Suppose -2*c + b = -c + o, -3*o = -3. Solve i + 18 = -4*p, c = -2*p - 5*i - 17 - 1 for p.
-4
Let s be -43 - -38 - 1676/2. Let z = s + 863. Solve 5*n = 0, 9*c = 4*c + n - z for c.
-4
Suppose -12 = 4*y, -x + y = -4*y - 17. Let s(h) = 3*h**2 + 0*h**x + 0 - 1 - 2*h**2. Let w be s(1). Solve 4*p + 3*t - 4 = w, -2*p + 32 = 2*p - 4*t for p.
4
Suppose 0 = 11*k - 15*k - 28. Let x be 32/56 + (-31)/k. Solve 16 = 3*h + 2*f, 5*f - x = 5*h + 2*f for h.
2
Suppose 37 = 5*y + 217. Let s = 38 + y. Let g be (-2)/(-3) - (s - (-57)/(-9)). Solve 0 = -g*j + j - 5*h + 40, 4*j + 4*h - 36 = 0 for j.
5
Let d = -54 - -53. Let t(p) = 4*p + 6. Let l be t(d). Solve 5*j - 2*j - 3 = w, 2 = l*w + 2*j for w.
0
Let m = -16 - -66. Suppose 3*h - 5*h + m = 0. Solve 5*r + h = 0, 