 - -0.5. Sort 0, b, u in descending order.
b, 0, u
Let q = -9/7 + 43/28. Sort -0.5, q, 3 in decreasing order.
3, q, -0.5
Let d(v) = v + 9. Let h be d(-3). Let z(j) = -3*j + 14. Let q be z(h). Sort -3, -1, q in ascending order.
q, -3, -1
Let f = -10.1 - -10.5. Put f, 4, -2 in increasing order.
-2, f, 4
Let q be -4*7/4 - (-1 + -3). Let g be (3/10)/((-4)/10). Put g, q, 0.4 in ascending order.
q, g, 0.4
Let r be (-1)/1*(-2 + -2). Let v be 19/(-7) + r/(-14). Let a be (-1)/12*v/(-2). Sort -3, -2, a.
-3, -2, a
Let s(w) = w**2 + 8*w + 6. Let t be s(-9). Suppose 4*m + 2 = 2*o - 4*o, -3*m + 4*o = -t. Sort -3, m, -1.
-3, -1, m
Let k = 0.9 + -0.4. Let o = 0.42 - 0.22. Put k, o, -0.2 in decreasing order.
k, o, -0.2
Suppose -2*g - 17 = -13. Put 0.3, 1, g, 3 in increasing order.
g, 0.3, 1, 3
Let p = -4 + 4.2. Let y = 0.1 - 0.1. Put p, y, -4 in descending order.
p, y, -4
Let m be (3/4)/(2/8). Suppose 0 = f - 6*f + 20. Sort -3, f, m.
-3, m, f
Let d = 0.97 - 1.37. Sort 1, -7, d in decreasing order.
1, d, -7
Suppose 0*p - 4*t + 15 = 5*p, 5*t - 9 = -3*p. Suppose -5*i + i + 12 = -h, -h - 2*i + 6 = 0. Sort h, p, -3.
-3, h, p
Suppose 19*d = 78 + 112. Sort -3, 3, d, -4 in descending order.
d, 3, -3, -4
Suppose -s + 40 = 7*s. Put -19, 3, s in descending order.
s, 3, -19
Let c = 3.3 + -2.3. Put c, 0.13, -0.3, 2/25 in decreasing order.
c, 0.13, 2/25, -0.3
Let i = 65/3 + -21. Sort -1/7, i, -5 in ascending order.
-5, -1/7, i
Let b = -88 - -141. Let d = -42931/4 + 10786. Let r = d - b. Sort -0.2, r, 3/2.
-0.2, r, 3/2
Let a = -3 - -2.5. Let l = -0.8 - a. Sort -3, l, 0.2 in ascending order.
-3, l, 0.2
Suppose 0 = -2*y + 6 - 0. Let t(p) = -1 + 0 - 7 - 3*p + 4*p. Let l be t(10). Put y, l, 5 in increasing order.
l, y, 5
Let b(g) = g**2 - g + 2. Let y be b(0). Let f be (-1)/(1 - (-3)/(-2)). Suppose -f*u = -7*u + 15. Put 1, u, y in descending order.
u, y, 1
Suppose -4*z - 15 = -39. Let r(o) = 3 - z + o - 10. Let w be r(9). Sort w, 1, -3.
w, -3, 1
Let z = -224/143 - -18/13. Let x = 0.4 - 0.3. Put -3, x, z in decreasing order.
x, z, -3
Let g be (6/4)/((-24)/(-32)). Suppose 17 = 5*f + g. Sort 0, f, 5.
0, f, 5
Suppose 10*y - 12*y = 0. Sort y, -5, 10.
-5, y, 10
Let b be (-8)/(-4) + 34/(-14) + 0. Sort b, 0.5, -10 in descending order.
0.5, b, -10
Let c = 0.77 - 0.67. Sort -1, c, -3.
-3, -1, c
Let s = 991/11 + -90. Let z = 5.4 - 5. Let h = -0.6 - z. Sort 2/5, h, s in descending order.
2/5, s, h
Suppose 0 = -2*n + 4*i + 28, 3*n - 1 = -i + 27. Suppose -8 = -z - 3. Let p = z - n. Put 5, p, 1 in decreasing order.
5, 1, p
Let g = 0.09 - 1.09. Sort 1/2, 6, g.
g, 1/2, 6
Let s = 5 + -9. Let o(t) = -t**2 - 4*t + 7. Let a be o(-6). Put 1, a, s in decreasing order.
1, s, a
Let m = -3 - -7. Let h = 11 + -7. Suppose 0*q - 2*g = q - 3, h*q - 2*g = 2. Put q, -3, m in descending order.
m, q, -3
Let h be 1/(1/(0 - 1)). Let d be (15/(-12) - h)*-1. Let i = -1 - -1. Sort i, d, 2/3 in increasing order.
i, d, 2/3
Suppose 4*v + 12 + 0 = 0. Let n = v - -2. Let y = n + 4. Sort 0, y, 1 in descending order.
y, 1, 0
Let b = -5/3 - -1/6. Let c = -2 + 1.8. Sort b, 4, c.
b, c, 4
Let c(d) = -2*d**2 + 12*d - 4. Let a be c(6). Let w = -12 + 17. Sort a, 4, w in descending order.
w, 4, a
Let f = 17 + -7. Let j be (-16)/(-8) + f/(-6). Let r = 0.35 - 0.05. Sort r, 2, j in ascending order.
r, j, 2
Let x = -2 + 7. Sort 0, x, 10 in descending order.
10, x, 0
Let f = 0 - -2. Let c be 3/2*(-48)/(-9). Let l be 2/c*(-2)/4. Sort 2/9, f, l in decreasing order.
f, 2/9, l
Suppose -3*u = -u - 2*k - 8, u = 3*k + 8. Let c = 0 + u. Sort c, 4, 0 in increasing order.
0, c, 4
Suppose 0 = -10*x + 5*x - 280. Let t(b) = 2*b + 6. Let v be t(-4). Let y be (v/(-4))/(7/x). Sort y, -5, 4.
-5, y, 4
Let l = -1.029 - -0.029. Sort -0.3, -0.1, l, 4 in increasing order.
l, -0.3, -0.1, 4
Let a = 15 - 15.1. Put 2/5, 1, a, -4 in descending order.
1, 2/5, a, -4
Let o = 892.01 - 897. Let r = o + 5. Let k = 4.99 + r. Sort -4, -1, k.
-4, -1, k
Suppose -7*w - 15 = -2*w. Let t be 1 + (0 - 6/w). Suppose 6*k + 4 = 2*k. Sort t, k, 2 in increasing order.
k, 2, t
Suppose 2 = 6*a - 4*a, -1 = 3*y + 5*a. Let s be (y/(-3))/(10/75). Let v = 7 - 6. Put -1, v, s in decreasing order.
s, v, -1
Let k be -5 + 1 - (-126)/27. Sort k, -0.1, 2.
-0.1, k, 2
Let j be 14/12 + (-7)/42. Put j, -2, 5 in ascending order.
-2, j, 5
Let i be (-1)/(-2)*2/(-6). Let y = i - 1/6. Let m = 4 + -6. Sort m, 1, y.
m, y, 1
Let i = 85 - 77. Sort i, 0, -2, 5 in ascending order.
-2, 0, 5, i
Let f(i) = -i**2 - 8*i - 3. Let g be f(-8). Sort g, 0, 5 in increasing order.
g, 0, 5
Let h = -63 + 89. Suppose -t = 2*p - 1 + 2, -4*t + 2*p = -h. Put -3, t, -2 in ascending order.
-3, -2, t
Let v = 34 + -20. Let r = v + -11.8. Let p = r + -2. Put -4, p, 0.5 in decreasing order.
0.5, p, -4
Let k = -15 + 3. Let v = 6 + k. Put 0, v, 5 in descending order.
5, 0, v
Suppose 107*n = 102*n + 25. Put 3, n, -5, 1 in descending order.
n, 3, 1, -5
Let c = 4.5 - -3. Let p = -8 + c. Sort p, -2/19, 0.2.
p, -2/19, 0.2
Suppose k + 2*w = -0*w + 2, 5*k - 2*w + 2 = 0. Suppose -5*h - 5*j + 15 = k, 2*j + 0*j = 3*h + 16. Sort 4, -5, h in ascending order.
-5, h, 4
Suppose -2*j + 4*m = -2, 0*j + 5*m + 25 = -2*j. Let f be -5*((-33)/15 - -2). Sort -4, f, j.
j, -4, f
Let p be (-7 - -7)/(2/(-2)). Suppose p = 2*z - 2*n + 2, z - 2*n - 14 = 3*z. Let h = 2 + -4. Put z, 2, h in descending order.
2, h, z
Let o = 27 + -27. Sort 1, -7, o in descending order.
1, o, -7
Let o(a) = -a**2 - 1. Let q be o(-1). Let l(s) = s**2 - 8*s + 15. Let d be l(6). Sort q, 1, d in descending order.
d, 1, q
Let c(h) = h**2 + h. Let m be c(1). Put m, 3, -4 in descending order.
3, m, -4
Let a = 0.1 - 0.1. Let d = -8 + 12. Suppose -d*q - p = -3*p + 4, -3*p - 15 = q. Sort 3/5, q, a.
q, a, 3/5
Suppose 0 = -3*p + 9, -5*p - 2 = -2*m - 27. Sort m, -1, -11 in decreasing order.
-1, m, -11
Suppose -23 = -4*c + h, 2*c + c = 5*h + 30. Sort c, -5, 4 in ascending order.
-5, 4, c
Let s = 0.8 - -2.2. Let u = 0.13 + -3.53. Let l = u + s. Put -2, 1, l in ascending order.
-2, l, 1
Let v = 21 - 15. Let o = v + -11. Let q = 5.1 + -0.1. Sort q, 3/5, o in descending order.
q, 3/5, o
Suppose -5*o = -k - 16, 4*o + 4*k = 24 + 8. Suppose -2*y + 4 = q, 6*y = -2*q + y + 10. Sort -3, o, q in ascending order.
-3, q, o
Let g be 2/7*(-15)/10. Sort -0.3, 0.5, g in decreasing order.
0.5, -0.3, g
Let b(f) = -f**2 + 10*f - 21. Let v be b(6). Sort v, -4, 1, -2.
-4, -2, 1, v
Let v = -31 + 36. Let j be 2/5*(-3)/2. Put 1/4, v, j in ascending order.
j, 1/4, v
Let k be -6*-1*(-6)/(-9). Suppose -3*o + 8 = -1. Suppose -o*l + l = 10. Sort -3, k, l in increasing order.
l, -3, k
Suppose 2*f + 3 = l + 12, 0 = f - 3*l - 12. Suppose -3*y - y + 3*j - 2 = 0, 0 = y - j. Let s be (f/(-1) - y)/(-1). Put -0.3, s, 0.1 in decreasing order.
s, 0.1, -0.3
Suppose 2*o = 15 - 3. Let d be o/(-3)*(-3 + -1). Let u be (d/5)/((-6)/(-15)). Put 0, u, -1 in ascending order.
-1, 0, u
Let r = -0.086 - -4.086. Put -3, 0.4, 5, r in decreasing order.
5, r, 0.4, -3
Suppose 3*m + 4 = -2. Let i be (6/m)/(-3) - 6. Sort -1, i, -4.
i, -4, -1
Suppose -3*n + 8 = -1. Sort 2, -3, -4, n in descending order.
n, 2, -3, -4
Suppose -5*c = -6*t + 3*t - 30, -34 = -3*c + 5*t. Let d be (-13)/c + 2/6. Let o(f) = -2*f + 1. Let y be o(3). Sort 5, d, y.
y, d, 5
Let d(f) = 2*f - 7. Let l be d(5). Put l, 4, 5 in increasing order.
l, 4, 5
Let s = -1 - -3. Put -3, s, 3 in increasing order.
-3, s, 3
Let r = -3/17 - 25/51. Suppose 5*o = 837 - 162. Let w = o - 677/5. Put w, r, -2 in ascending order.
-2, r, w
Let l = -61/4 + 15. Let s = -6.7 - -7. Let o = -0.39 + -0.01. Sort o, s, l in descending order.
s, l, o
Let t = 38 - 26. Let o be 15/4 + 3/t. Suppose 3*q - 15*q + 60 = 0. Sort o, q, -3 in increasing order.
-3, o, q
Let m = -52 + 49. Sort m, 10, -1 in descending order.
10, -1, m
Let k = -20 + 11. Let t = k - -8.7. Sort 0.4, t, -5.
-5, t, 0.4
Let p = 0.95 - 4.95. Put p, 13, 3/4 in decreasing order.
13, 3/4, p
Let x = -3.06 - -0.06. Let v = -0.1 - -0.45. Let m = v + 0.05. Put m, x, 2/7 in ascending order.
x, 2/7, m
Let s(x) = 2*x - 8. Let n = 10 - 4. Suppose -c + n = -0*c. Let y be s(c). Sort -2, 1, y in decreasing order.
y, 1, -2
Let h(s) = -2*s - 13. Let m be h(-6). Put -4, 8, m in increasing order.
-4, m, 8
Let n be 6/(-4)*1*2. Suppose -8*t + 2*t = -24. Sort n, 1, t in incr