). Sort -5, m, c.
-5, c, m
Let r = 8.0975 + -12.0732. Let o = r + -0.0443. Let w = o + 4. Sort -0.2, 0, w in ascending order.
-0.2, w, 0
Let f = -24.981 + -0.019. Let n = -24.8 - f. Sort -2, n, 2/17 in ascending order.
-2, 2/17, n
Suppose -4*o - 2*u - 10 = 0, -o + u = -u + 15. Let h(c) = c**2 - 6*c - 1. Let s = 10 - 4. Let g be h(s). Put -4, o, g in ascending order.
o, -4, g
Let n = -6.3 - -1.3. Let l be (-2)/(-10) + (-55)/(-100). Sort l, 2/9, n in descending order.
l, 2/9, n
Suppose -12 - 3 = 5*g + 2*k, 0 = -4*k. Let z be ((-20)/(-6))/((-2)/g). Sort z, 0, -2 in descending order.
z, 0, -2
Let u be (26 + -2)*9/18. Put u, 3, -3 in decreasing order.
u, 3, -3
Let a = -1.2 - 1.8. Let z = 5.47 + -0.27. Let r = z - 5. Sort a, -0.4, r in decreasing order.
r, -0.4, a
Let m(s) = -s**3 - 2*s**2 + 4*s + 1. Let h be m(-3). Let a(c) = 2*c - 9. Let k be a(6). Let w be 5*-1*k/5. Put 1, w, h in increasing order.
w, h, 1
Suppose -b - 3*w + w - 5 = 0, -3*w - 15 = -b. Suppose -5*s + 2*p = -26, 5*s = s + 3*p + 25. Sort 5, b, s in descending order.
5, s, b
Let u be -3 - (738/(-8) - -3). Let g = 87 - u. Sort 0.3, 2/3, g in descending order.
g, 2/3, 0.3
Let r be (-1)/(-11*2/4). Sort r, -5, 3/4.
-5, r, 3/4
Suppose 2*y = y + 3. Let g be (-140)/(-144) + (-2)/9. Sort -3/8, g, y.
-3/8, g, y
Let k = 3.35 - 0.35. Sort k, 0.05, 4, 0 in increasing order.
0, 0.05, k, 4
Suppose 4*y = -53 - 43. Let n be 38/8 + (-6)/y. Let u = -6 + 10. Sort u, n, 2 in descending order.
n, u, 2
Let p = -3 + 4. Let z be 1/(p - 12/15). Suppose b + 2*o - z = 0, -6*o + 15 = 3*b - 3*o. Sort 1, b, 4 in ascending order.
1, 4, b
Suppose -18*y - 12 = -21*y. Put -2, 3, y, -29 in decreasing order.
y, 3, -2, -29
Let j = -0.29 - 3.71. Let u = -0.9 - 0.1. Let k = u - -1.4. Put j, k, 2/3 in descending order.
2/3, k, j
Let r = -120 + 123. Put -29, -3, r in ascending order.
-29, -3, r
Let q = -6.4 - -8.44. Let a = -0.04 + q. Put a, -3/7, 0.3 in descending order.
a, 0.3, -3/7
Let z be 5/(-525) + 1 + 17/(-15). Let t(c) = -c**3 + 7*c**2 - 5*c - 3. Let a be t(6). Let d be -1*((-2)/3 + 1). Put d, z, a in decreasing order.
a, z, d
Let j(v) = v**2 - 11*v + 5. Let i be j(10). Suppose -2*c = -c - 5. Suppose -2*k + 3*k = 2. Put c, k, i in ascending order.
i, k, c
Let b = 91 - 92. Sort -3, 0.5, -5, b in descending order.
0.5, b, -3, -5
Suppose 0 = l + 5*h, 4*l + 3*h + 4 = -13. Suppose 3*k + 2*q - 20 = -k, -k - q = -6. Suppose 25 = -4*f + 5, 2*y + k*f = -20. Sort l, 1, y.
l, y, 1
Let z = 7 + -2. Suppose -z*q + 6*f - 9 = 2*f, 2*q = -5*f + 3. Sort q, -5, -2.
-5, -2, q
Let v be (-1)/11*(0 + -6). Let c = -3 + 3.3. Let a = c - 0.2. Put a, v, 0 in descending order.
v, a, 0
Let c = -10.8 - -10.4. Sort 1, 0.5, c, -5 in increasing order.
-5, c, 0.5, 1
Suppose 129 - 42 = 3*o. Suppose 3*l - 3*a - o = a, 0 = 4*l - 3*a - 41. Suppose -h + 2*u + l = 0, 0*h - 5*h = u. Sort h, 3, -2 in descending order.
3, h, -2
Let s be 3*(-7)/((-567)/6). Let j(r) = -r + 2. Let d be j(-2). Sort -4, d, s in descending order.
d, s, -4
Let p(n) be the third derivative of n**4/12 + n**3/6 + 2*n**2. Let h be p(-2). Sort -0.1, -4, h.
-4, h, -0.1
Let d = -14 - -16. Sort -3, 1, d.
-3, 1, d
Let y = -228 - -224. Let z(u) = u**3 - 6*u**2 - 3. Let m be z(6). Put y, m, -10 in increasing order.
-10, y, m
Suppose -2*t - g = 10, -g + 4*g + 14 = -2*t. Let x(f) = -3*f**3 - 2*f**2 - f. Let w be x(-1). Let h(u) = u - 1. Let i be h(-4). Put w, i, t in decreasing order.
w, t, i
Let i be 54/(-10) + (-6)/(-15). Let h = i + 3. Sort -4, h, -5.
-5, -4, h
Suppose 3*o + 2*o + 2*g = -55, g = 0. Put 2, o, -1, -2 in decreasing order.
2, -1, -2, o
Let s = 7 - -1. Suppose -5*c - 4*d + 32 = 0, -2*c + c + 4*d = s. Suppose -c*r - 16 = 4. Sort -3, 2, r in ascending order.
r, -3, 2
Suppose 3*u - 2*a - 1 = 1, -a = -2. Suppose 0 = 4*i - 4, u*c - c = 3*i + 2. Sort -1/3, 3, c in decreasing order.
c, 3, -1/3
Let b = -2 + 1.5. Let u = 2 - -1. Let h = 41 - 124/3. Sort h, u, b in decreasing order.
u, h, b
Let x(j) = -6*j**3 - 2*j**2 + 3*j + 2. Let g(d) = -6*d**3 - 2*d**2 + 3*d + 1. Let u(s) = -4*g(s) + 3*x(s). Let p be u(1). Sort -4, -5, p in ascending order.
-5, -4, p
Let i be (-4)/26*(-2)/(-2). Let f = 7 + -8. Let w = f + 4. Sort w, 3/2, i in ascending order.
i, 3/2, w
Suppose 2*r - 2*k = 2*k + 14, -5*r + 3*k = -28. Suppose 4*p + r = 5*p. Let l be ((-1)/5)/(2 + -1). Sort 0.4, p, l in descending order.
p, 0.4, l
Let f be (-2)/16*(-3)/(-1). Let x = -3 + 1. Let a = x - -3. Put f, a, 0.4 in ascending order.
f, 0.4, a
Suppose g - s + 12 = -3*g, 4*s + 20 = -g. Put g, 1, -2 in increasing order.
g, -2, 1
Suppose -5*k + 2*k + 3 = 0. Suppose -b = -h + 7, b - 3*h + k = -14. Let y be -3 - (-1)/((-3)/b). Sort -3, 4, y in ascending order.
-3, y, 4
Let p be -1 + 2 + -23 + 4. Let d be 2/(-72) + 4/p. Sort d, 0.3, -0.3.
-0.3, d, 0.3
Let t(v) = v**3 - 5*v**2 + 3*v - 10. Let s be t(5). Sort s, -66, 4 in decreasing order.
s, 4, -66
Let r = -47 + 43. Sort 0, r, 4.
r, 0, 4
Let a be 2/6 - (-5 + (-40)/(-12)). Sort 4, a, -2, 3 in ascending order.
-2, a, 3, 4
Let j = -532 + 529.27. Let o = j - 0.07. Let t = o + 0.8. Sort t, -0.1, -4 in descending order.
-0.1, t, -4
Let m = -11.8 - 3.2. Let k = m + 19. Let l be ((-8)/30)/((-6)/(-15)). Sort l, -0.3, k.
l, -0.3, k
Let t = 4 + -6. Put 4, 3, t in decreasing order.
4, 3, t
Suppose 5*m = 2*m - 4*y, -m = y - 1. Let q be ((-6)/m)/((-5)/(-10)). Sort q, 0, -1 in descending order.
0, -1, q
Let d be -3*(28/(-12) - 2*-1). Put d, -0.2, -2/13 in descending order.
d, -2/13, -0.2
Let u be 4*-2*(-4)/(-8). Put 3, 1, u in ascending order.
u, 1, 3
Let h = -0.29 + 0.49. Let f = -6.6 + 6. Let t = f + h. Put -0.2, 4, t in descending order.
4, -0.2, t
Let s = -0.32 + 0.62. Sort 6/5, -3, 1/4, s.
-3, 1/4, s, 6/5
Let v = 26 + -25. Put 7, 3, v in increasing order.
v, 3, 7
Let n be (-80)/(-14) - 12/(-42). Suppose n*v - 4 = 5*v. Let u = 2 - 3. Put 3, u, v in ascending order.
u, 3, v
Let q = 3 - 7. Suppose 0 = y + 3*y - 16. Let f be (0 + 8 + -4)/2. Put q, y, f in increasing order.
q, f, y
Let v = -131 + 133. Sort 4, 5, -3, v in decreasing order.
5, 4, v, -3
Let x = 0.04 + -3.04. Let i = x - -1. Let r = -3 - i. Sort 4, -3, r in descending order.
4, r, -3
Let x = -0.01 - 1.99. Let h = 5 - 8. Let y(s) = s**3 - 5*s**2 - 7*s + 2. Let w be y(6). Sort x, h, w in increasing order.
w, h, x
Let a be 8/(-60) + 84/(-45). Sort -20, a, -3 in increasing order.
-20, -3, a
Let f = -0.31 - -0.01. Let d = f - -0.8. Let b = -0.276 - 0.124. Put 3, b, d in ascending order.
b, d, 3
Suppose -2*i + 0*i = 10. Let z = 10 + i. Suppose -5 = -0*o - 5*o. Sort 2, o, z in ascending order.
o, 2, z
Suppose 0 = -14*x + 15*x - 4. Sort -5, x, 13 in increasing order.
-5, x, 13
Let m be (16/10)/((-12)/(-30)). Suppose -m*l - 15 = l. Suppose 4*q - 8 = -3*t, 2*q + 2*q - 40 = 5*t. Put t, -1, l in increasing order.
t, l, -1
Let n = 156 - -858. Let c be 1/6*1956/n. Let d = c - -2/169. Put -4, d, -0.3 in ascending order.
-4, -0.3, d
Let h = 5.8 + -9.3. Put h, 2, 3/7, 2/3 in decreasing order.
2, 2/3, 3/7, h
Let w be 4456/831*4/16. Let l = 2/277 - w. Sort l, -5, 3/4 in decreasing order.
3/4, l, -5
Let d = -20 + 19.6. Let x = 9 - 7. Let t = -1 - x. Sort d, t, 3/4 in decreasing order.
3/4, d, t
Let d = 5 + -2. Let z(w) = -w**2 + 10*w - 1. Let q be z(10). Put -5, d, q in descending order.
d, q, -5
Let l(o) = 3*o**2 + 2*o + 1. Let h be l(-1). Suppose 0 = -v + 1 - h. Suppose 3*q + 2*q = 10. Sort -2, v, q.
-2, v, q
Let w = -24 + 12. Let g be (-2)/(-36)*(-8 - w). Sort -1, g, 2 in decreasing order.
2, g, -1
Let v be 23/36 + 3/(-4). Sort 5, 0.4, v in increasing order.
v, 0.4, 5
Let c = 127/35 - 24/7. Let j be 5/(-60)*18/4. Sort c, -4, j.
-4, j, c
Let n = 107/78 - 20/13. Let u = 1/103 - -96/721. Sort n, -0.1, u in decreasing order.
u, -0.1, n
Suppose 4*o = j - 2, -j - 3 = -2*o - 5. Let u(w) = -w. Let b(f) = -f + 1. Let q be b(-4). Let l be u(q). Put o, l, 4 in descending order.
4, o, l
Suppose 5*t = 5, -1 = -3*m + 2*t + 12. Sort m, -3, 2.
-3, 2, m
Let k = 1 + 1. Let o = -12 + 17. Put o, k, -3 in descending order.
o, k, -3
Let r = -1 + 3. Sort -3, r, -1 in descending order.
r, -1, -3
Let t be 4*(-4 + (-105)/(-20)). Sort -2/21, t, 4 in decreasing order.
t, 4, -2/21
Let n = 3 + 3. Let d be (-1)/n + (-23)/(-30). Put d, 2, -1/5 in decreasing order.
2, d, -1/5
Let f be 