*b. Sort n, -5, b in decreasing order.
n, b, -5
Suppose -4*t = -12*t + 24. Let m = -1 + 1. Sort -3, m, t.
-3, m, t
Suppose 3*u + 3 = 3*w, 2*u - 6*u + 24 = 3*w. Let c be (15/(-6))/(25/(-20)). Put 3, c, w in descending order.
w, 3, c
Let s(y) = -y**2 + 5*y + 2. Let v be s(5). Suppose v*g - 4 = g. Let c be ((-2)/(-6))/(2/(-12)). Sort -0.1, c, g.
c, -0.1, g
Let k(s) = s**2 + s - 1. Let h(v) = v**3 + 9*v**2 - 3*v + 2. Let u(j) = -h(j) + 3*k(j). Let n be u(-7). Suppose 27 - 7 = -4*c. Sort c, -2, n in ascending order.
c, -2, n
Let i = -69 - -72. Sort -2, -5, i in decreasing order.
i, -2, -5
Let i be (-2)/10 + (-84)/(-20). Put i, -1, 6 in descending order.
6, i, -1
Let x = -195 - -195.333. Let d = x - 0.003. Let j = d + 0.07. Sort 2/19, j, -0.5 in descending order.
j, 2/19, -0.5
Let q = -0.1 + 0.1. Let c = -0.2 - q. Let i = -177.6 - -178. Sort 0.1, i, c in ascending order.
c, 0.1, i
Let z(b) = b**3 + b**2 - 3*b - 3. Let q be z(-2). Let v be -5*(-1 + 2)*1. Put v, 0.5, q in decreasing order.
0.5, q, v
Let k = 8 - 13. Put -4, k, 5 in descending order.
5, -4, k
Let z(b) = -b**3 + b. Let r be z(0). Let s be r*(-1 + 4/2). Let u be 2/(-3) - (s - 1). Put 0, u, -4 in descending order.
u, 0, -4
Let t(k) = -k**2 - 11*k + 38. Let w be t(-11). Sort 4, -2, w in increasing order.
-2, 4, w
Let o = -13 - -9. Let y(k) = -k**2 + 2*k + 3. Let n be y(3). Let r be (-52)/(-60) - (n - -1). Sort r, 0, o in decreasing order.
0, r, o
Let c = 29 - 30. Let y = 1 - -2. Sort c, -0.1, y.
c, -0.1, y
Let i be 2*(-3)/6 - 10/(-8). Put 3/4, i, -10/11 in ascending order.
-10/11, i, 3/4
Suppose 3*o = -o. Suppose -4*h - 3*t - 21 = o, -3*h + t = 6 - 0. Put 0, 3, h in decreasing order.
3, 0, h
Let m = 7.7 - 8. Let p = 9.02 + -0.02. Let i = p - 8.8. Put i, m, 4 in increasing order.
m, i, 4
Let t = 11 + -26. Let k = t - -10. Put 0.3, -1/3, k in increasing order.
k, -1/3, 0.3
Let f = 12 - 15. Sort f, 2, 1.
f, 1, 2
Let q be 17 + -20 - 0/(-2). Put -5, -33, q in decreasing order.
q, -5, -33
Suppose 7 = -l + 9. Suppose 4*c = -2*p + 6, -3*c = 2*c - l*p - 30. Sort -5, -2, c in descending order.
c, -2, -5
Let b(c) = c**2 - 11*c + 13. Let i be b(9). Suppose -6 = -4*w + 30. Put w, i, -2 in ascending order.
i, -2, w
Suppose -12 = -5*o - 2*d, 8 = -3*o - 4*d - d. Let b = -0.1 - -3.1. Sort b, -2, o in decreasing order.
o, b, -2
Suppose -2*y = -4 - 10. Suppose y + 17 = 2*r. Let w be (-4)/(-2) + (-32)/r. Put 0.3, -1, w in descending order.
0.3, w, -1
Let g = 12 - 19. Let l be (2/g)/((-6)/84). Sort -1, l, -8 in descending order.
l, -1, -8
Let n(u) = -u**2 - 8*u - 2. Let p be n(-7). Sort 3, p, -4.
-4, 3, p
Let l = 3 - 7. Let f be (-1842)/8 - (-5)/20. Let n be f/70 + (-2)/(-7). Put l, 1, n in increasing order.
l, n, 1
Let i = -2.8 + -8.2. Let d be (26/(-325))/(1/(-10)*-2). Put i, d, 3/7 in decreasing order.
3/7, d, i
Suppose d = 4*d + 6. Let f(q) = q - 1. Let u = 4 + -1. Let h be f(u). Sort 1, d, h in increasing order.
d, 1, h
Let l be (9 - 2) + 15/(-5). Sort l, 0.2, -4 in ascending order.
-4, 0.2, l
Let v = 11/2 + -21/4. Let r = -0.01 - 4.99. Sort v, r, 4/9 in ascending order.
r, v, 4/9
Let h = 22 - 17. Sort h, 2, -3 in increasing order.
-3, 2, h
Let k be ((-2)/4)/(2/(-12)). Let a be (6/(-15))/(4/5) - -2. Put k, a, 5 in increasing order.
a, k, 5
Let i be (8 - 5)*(-1)/(-3). Suppose -2*k - 8 = 0, -3*h + 0*k = 5*k + 14. Suppose 0 = 5*d + h + 3. Put d, i, -3 in decreasing order.
i, d, -3
Let l be 2/(-15)*(-12)/2. Suppose -c - 114 = 3*b, -b + 366 = -3*c - 2*b. Let n = c - -618/5. Sort 1/10, l, n in decreasing order.
l, n, 1/10
Let d = 10.76 + -1.16. Let k = 0.02 + -10.02. Let v = k + d. Put -0.1, -0.3, v in descending order.
-0.1, -0.3, v
Suppose -10*n = -36 - 14. Put -4, -2, n in ascending order.
-4, -2, n
Let p = 101/378 + 1/54. Let q = 9 + -13. Put 3, p, q in decreasing order.
3, p, q
Let d(w) = -w - 3. Let v be d(-5). Suppose 0*p - 63 = -5*h - 4*p, 5*p - 43 = -3*h. Let s = h - 8. Sort -2, s, v in increasing order.
-2, v, s
Let m = 22 + -17. Let c = m + -7. Let a = -2 - -5. Sort a, c, -4 in descending order.
a, c, -4
Let q = -7.8 - -8. Put q, 11, -0.2 in ascending order.
-0.2, q, 11
Let c = 0.11 - 4.11. Sort -1/3, 0.3, c in descending order.
0.3, -1/3, c
Let w be (-9)/30*8/(-12). Let n = 3 + -2. Put n, -0.3, w in decreasing order.
n, w, -0.3
Let d = 0.23 + -0.13. Put -0.3, d, 2 in decreasing order.
2, d, -0.3
Let v(j) = -3*j - 2*j**2 - 4*j**2 - 3 + 4*j**2. Suppose -4*q - 5*s = -s + 4, -s + 7 = -3*q. Let z be v(q). Sort -3, 1, z.
z, -3, 1
Suppose 0 = 2*n - 4*d + 2 + 6, -5*d + 40 = 5*n. Suppose -m = 2*m. Suppose 3*v - 17 = l - m*v, 3*l - n*v = -31. Put l, -4, 5 in descending order.
5, -4, l
Let t = 2243/9 - 249. Put 0.2, t, -5 in increasing order.
-5, 0.2, t
Let s be ((-2)/8)/((-2)/8). Suppose 0 = 2*p - s - 5. Let r = 25 - 76/3. Sort p, -0.4, r in ascending order.
-0.4, r, p
Let v(p) = -p + 4. Let l be v(0). Suppose 2*h - l*b - 1 - 5 = 0, h + b = -3. Let m = 5 + -2. Sort 2, m, h in increasing order.
h, 2, m
Let x = -0.07 + 0. Let s = -3.07 - x. Sort 4, 0.5, s in descending order.
4, 0.5, s
Let h be (6 + -3)*(-2 - -3). Suppose -7*p + h*p + 4 = 0. Put 0, -2/21, p in descending order.
p, 0, -2/21
Suppose -3*b + 2*j = -16, 0 = -b + 3*j - j + 12. Suppose -b*m + 2 = -2. Sort m, 5, -2.
-2, m, 5
Let p be (4/(-5))/((-7)/(-35)). Suppose 0 = 4*g - 0*g, 3*g - 1 = x. Sort p, x, 13.
p, x, 13
Let f = 72/11 + -626/99. Let x(p) = p**2 - 3*p. Let d be x(3). Suppose b - 5*r + 22 = d, 0 = 2*b + 2*r + 3 - 7. Sort 0.2, f, b in descending order.
f, 0.2, b
Let b = -0.08 + 0.25. Let n = 0.07 - b. Put -3, n, -4 in ascending order.
-4, -3, n
Let w(l) = l**3 + 9*l**2 + 14*l + 4. Let d be w(-7). Sort d, 3, -4.
-4, 3, d
Let a = -29/2 - -15. Sort a, -0.4, 2.
-0.4, a, 2
Let w be (-12)/8 - (-9)/6. Sort w, -2, -3 in decreasing order.
w, -2, -3
Let y be -4*(-1)/4*2. Suppose -4*n = y*t - 2 + 8, 5*n = -t. Let j = n - 0. Put 0.2, j, 4 in increasing order.
0.2, j, 4
Let t(i) = i**3 - 5*i**2 - 3. Suppose 4*n - 43 = -3*j, 4*n = -j + 15 + 18. Let m = 12 - n. Let s be t(m). Put s, 4, 1 in descending order.
4, 1, s
Let k be ((-3)/(-9))/(1/9). Suppose 0 = -3*l - l + 96. Suppose 3*f + 2*y - l = -7, -3*f + 5*y + 10 = 0. Sort 0.5, f, k in decreasing order.
f, k, 0.5
Let p = -72 - -431/6. Let b be 15/(-30) + 6/4. Let f be (-2 - b)*(-10)/(-6). Put p, 4, f in descending order.
4, p, f
Let n = -3388/61309 + 2/1657. Put -0.3, n, 2/3 in descending order.
2/3, n, -0.3
Let g(y) = 3*y - 8. Let s be g(4). Let b(i) = -i**2 - 3*i - 5. Let u be b(-3). Sort u, -4, s in increasing order.
u, -4, s
Let l = -20 - -24. Let z = 2 + -1. Let w = z - 1. Put -4, w, l in decreasing order.
l, w, -4
Let o(i) = -2*i**3 - 3*i**2 - 3*i. Let a be o(-2). Let k = 14 - a. Suppose 0 = -c - 2*c + 5*r + 5, c = 4*r + k. Sort c, -3, 2.
-3, c, 2
Suppose 2*o - 30 = 8*o. Sort 3, 1, o, -1 in descending order.
3, 1, -1, o
Let w be (0/3)/(-3 - -1). Sort w, -8, 2, -2.
-8, -2, w, 2
Let d be (-2)/(-6) + 25/15 + 1. Put d, -1/12, 1, 0.3 in increasing order.
-1/12, 0.3, 1, d
Let q be (-126)/(-8) - 2/(-8). Suppose 0 = -3*a + 3*s - 21, -4*a - q = -s + 6. Suppose v = 2*v - 3*p + 9, 4*p = -5*v - 7. Put -4, a, v in decreasing order.
v, -4, a
Let t = -10 - -7. Put t, 1/4, 4 in descending order.
4, 1/4, t
Let a be (-26)/5 - 7/(-35). Put 4, 2, a in increasing order.
a, 2, 4
Let a(c) = -c**3 - 6*c**2 + 2*c + 6. Let j be a(-6). Sort -4, j, -1 in ascending order.
j, -4, -1
Let a = 100 + -100.1. Put a, -6, 0.3 in ascending order.
-6, a, 0.3
Let h be (-3)/((-9)/(-4)*2). Let g = -41 + 85/2. Sort 1/6, h, g in descending order.
g, 1/6, h
Let t = -0.15 - 0.85. Let p(j) = -j - 1. Suppose 6*u + 9 = 3*u. Let b be p(u). Sort 3/5, t, b in decreasing order.
b, 3/5, t
Let i = -21 + 26. Put i, 2, 0.2 in decreasing order.
i, 2, 0.2
Let k = 85 - 86. Sort -5, k, -6, 3 in descending order.
3, k, -5, -6
Let r be (0/3)/(-2) + 0. Let u = -2 + r. Let f be 1/(-3) + u + 2. Put -5, 1, f in increasing order.
-5, f, 1
Let s = -2 - -6. Suppose 5*n - 1 = -s*a, a - 2*a - 2 = -n. Let x = a - -5. Sort x, 1, 0 in descending order.
x, 1, 0
Let f = 8 - 5. Let g be (-9)/(-7) + 2 + -3. Let o be 11/35 + 6*(-1)/10. Sort o, g, f.
o, g, f
Let v(x) = 3*x**2 + 2*x + 1. Suppose -3*l - 2 - 1 = 0. Let a be v(l). Suppose z = -a*z + 3. Sort z, 4, -5.
-5, z, 4
Let h 