0.3. Put -4, a, l in increasing order.
-4, a, l
Let u be 1/(-2)*-4 - -2. Suppose 2*c = 2*k + u, -2*c = 4*k - 2 - 2. Sort 1, k, 4.
k, 1, 4
Let r = -1.4 - -0.4. Let d = r + 1.5. Suppose t = 4*t. Sort 2/7, t, d.
t, 2/7, d
Suppose -5*v + 2*h + 10 = h, -3*h = -v + 2. Sort -17, 1, v in decreasing order.
v, 1, -17
Let d be (-3)/(-6) - (-2)/(-4). Let q = 7 + -7.2. Put -0.4, d, q in descending order.
d, q, -0.4
Let g = -72 + 72. Put 2, g, -3 in descending order.
2, g, -3
Let l = -6.94 - 0.06. Let u = l - -8. Put u, -2, -0.3 in ascending order.
-2, -0.3, u
Let w = -37 + 38. Put 3, -5, w in ascending order.
-5, w, 3
Let t be -4 + 1 - 1*2. Let d(g) = g**3 + 6*g**2 + 3*g - 6. Let r be d(t). Suppose -2*f + 16 = 2*m, -2*f - 12 = -f - r*m. Sort -0.4, -3, f in increasing order.
-3, -0.4, f
Suppose -a - 24 = -4*a. Let d = 6 - a. Suppose 0 = 4*o - 6 + 22. Sort 0, o, d in descending order.
0, d, o
Let k = 63 - 77. Put -1, 4, k in decreasing order.
4, -1, k
Let m = -11 - -16. Let f = 2 + -4. Let l = f + 6. Put m, 1/2, l in decreasing order.
m, l, 1/2
Let o = -14 + 19. Sort -4, -2, o in ascending order.
-4, -2, o
Let t = -0.5791 + -0.0209. Let c = 5/11 - -1/22. Sort t, -3, c in decreasing order.
c, t, -3
Let b = -181 - -133. Sort -2, 2, b in ascending order.
b, -2, 2
Let r(u) = u**2 - 4. Let f be r(2). Put -3, f, -6 in decreasing order.
f, -3, -6
Suppose 4*n - 11 - 13 = -4*t, 2*n - 18 = -4*t. Put t, -5, -4 in descending order.
t, -4, -5
Let m = -10 + 5. Let k = m + 8. Suppose -4*c + 3*w = 0, -c - w = -2*w. Sort k, c, -4 in increasing order.
-4, c, k
Let g = 13 - 13.1. Sort 2, g, -0.5 in ascending order.
-0.5, g, 2
Let k = -2 + 1. Let w = k + 1.4. Suppose 2*m = -5*j - 1, -10 = -3*m + j + 3*j. Put -2, w, m in decreasing order.
m, w, -2
Let b be 119/245 - (-2)/(-10). Let o = 1 - 0. Sort 1/2, o, b in ascending order.
b, 1/2, o
Let d = 0.5 - -4.5. Put d, 7, 0 in decreasing order.
7, d, 0
Let j be 17 + 3/3*0. Suppose -5*z - l + 7 = 0, -5*l - 42 = -5*z - j. Let x(v) = v**2 - 3*v + 1. Let s be x(z). Sort s, -2, -3.
-3, -2, s
Let d = -58 + 55. Put -5, 5, d in descending order.
5, d, -5
Suppose -3*f - 2 = -2*f. Sort 0, f, 3/7 in descending order.
3/7, 0, f
Let h(z) = z + 2. Let r be h(-8). Let j = r + 2. Put 3, j, -1 in descending order.
3, -1, j
Suppose -v - 4 = -3*v. Suppose -22 = -5*y + 3. Sort 4, v, y in descending order.
y, 4, v
Let h be 2 + (17/(-5) - -2). Let x = 0.04 - 3.04. Sort x, h, -2/3 in decreasing order.
h, -2/3, x
Let v = -3 + 5. Let w = v + -1.94. Let c = -3.06 + w. Sort c, -3/2, -0.3 in descending order.
-0.3, -3/2, c
Let r(a) be the first derivative of a**3/3 + 7*a**2 + 2*a - 7. Let n be r(-14). Sort n, -3, 0 in decreasing order.
n, 0, -3
Let r = 9 - 5. Let n = -3 - -3.8. Let t = n - 0.6. Sort r, t, 0.06 in decreasing order.
r, t, 0.06
Suppose o = -2*o + 3*x + 9, 5*x + 15 = 0. Let p be o + 1 + (-12)/14. Put -1/3, -1, p in increasing order.
-1, -1/3, p
Suppose -n - 3*b + 15 = 0, -2*n + 5*b + 49 = -3. Suppose u = 2*s + 7, -s = 4*s + u + n. Let f be (1*-1)/((-1)/(-3)). Put -2, s, f in increasing order.
s, f, -2
Let w = -168 + 1173/7. Let f = 736.99 + -734. Let b = -0.01 - f. Put w, b, 2/3 in decreasing order.
2/3, w, b
Let o = 1 + 0. Suppose 2 = -4*d + 4*a - 3*a, -4*a - 8 = 0. Put d, 4, o in decreasing order.
4, o, d
Suppose -5*f - 3*y + 64 = 0, 3*f - 2*y - 1 = 26. Let l(q) = q - 16. Let c be l(f). Put 0, 4, c in decreasing order.
4, 0, c
Let t(x) = x**2 + 3*x - 4. Let s be t(-3). Sort 4, -1.4, s.
s, -1.4, 4
Let q = 13 + -23. Put 2, q, 5 in descending order.
5, 2, q
Let o = -2 - -5. Suppose o*q - 4*b - 35 = 0, -q - b = -0*q. Suppose -2*a + 10 = 0, a = 3*i - 3*a + 8. Sort -3, q, i in descending order.
q, i, -3
Let d = -0.03 + 0.23. Let y = 0.3 + d. Sort 2/5, -2, y in decreasing order.
y, 2/5, -2
Let m = 3 + -5. Let l be -1 + (m - 51/(-12)). Put -2/5, -5, l in decreasing order.
l, -2/5, -5
Let s = 97 - 96.9. Put 0.2, 2, -2, s in decreasing order.
2, 0.2, s, -2
Suppose 7 = -2*d - 3. Sort d, -4, -2 in ascending order.
d, -4, -2
Let b(d) = -d**2 + 2*d + 1. Let y be b(-1). Let w be (-36)/128*(-8)/6. Put -3, w, y in descending order.
w, y, -3
Let r(s) = -s**3 - 5*s**2 - 3*s + 3. Let u be r(-4). Suppose 4*t + 10 = 9*t. Suppose 4*c = 4*y + 4, 0*y + t*y + 22 = -3*c. Sort u, -3, y.
y, -3, u
Let f = 0.6 + -1. Suppose 4*i - 2 = 2. Put i, f, 5 in descending order.
5, i, f
Let z = 23 + -21. Put -5, z, 3, 4 in ascending order.
-5, z, 3, 4
Let c = -1.96 - 0.04. Let f = 115/6 + -19. Put -0.3, c, f in descending order.
f, -0.3, c
Let u = -14.9 - -15. Sort u, 4, 6/23 in descending order.
4, 6/23, u
Suppose 14 = v - 3*v. Let w(m) = 2*m + 9. Let i be w(v). Put 0.3, 5, i in increasing order.
i, 0.3, 5
Suppose -5*y + 32 = 2*p - y, -y + 2 = 0. Let q be p/(-72)*(0 - 8). Put -0.3, -0.03, q in increasing order.
-0.3, -0.03, q
Let k = 0.06 + 0.04. Put -2, -4, k in ascending order.
-4, -2, k
Let v be (4/6)/((-2)/3). Suppose -2*n - 3*g = -10, 3*n - 5 = 2*n - 4*g. Let t be (((-6)/(-8))/(-1))/((-6)/16). Sort n, v, t.
v, t, n
Suppose 4*t = -3*n + 15, -n - 15 + 1 = -5*t. Let l be 4/((3 - n)/40). Let k be l/25 - (2 + 1). Sort 0.5, k, 1 in increasing order.
k, 0.5, 1
Let y be (-40)/16*1/(-2). Let u = y + -27/28. Sort u, 0.3, 0.1 in descending order.
0.3, u, 0.1
Let j = -10.376 - 0.024. Let s = -10 - j. Sort 0.3, s, -2 in ascending order.
-2, 0.3, s
Suppose 2*y = -3*y - 15. Let s be 6/9*y/(-13). Sort s, 5, -0.2 in ascending order.
-0.2, s, 5
Suppose 0 = 4*d - 0*d. Suppose 0 = 7*n - 3*n. Suppose n = 3*w - 4 + 13. Sort d, 3, w.
w, d, 3
Suppose 3*d + i - 1 = -11, -2*d = -3*i + 14. Let c = 8 + d. Sort 1, c, -4.
-4, 1, c
Suppose 0 = 2*b + 5*n + 28, -5*b - n - 16 = -2*n. Suppose -d - 18 = 3*d + 5*i, 3*i = 6. Let x = d - b. Put 2, 1, x in ascending order.
x, 1, 2
Let n(y) = 15*y**2 + y + 1. Let f be n(-1). Sort 4, -5, f in ascending order.
-5, 4, f
Let a be (9/(-1863))/(2/4). Let y = a - -428/1449. Sort -2/5, y, 0.08 in increasing order.
-2/5, 0.08, y
Let m(s) = 2*s**2 - 2*s + 2. Let g be m(1). Let r(z) = -z + 6. Let h be r(6). Sort h, -2, g in increasing order.
-2, h, g
Let p = -1.6 - 6.4. Let d = p + 8.5. Sort 0, d, -1 in increasing order.
-1, 0, d
Suppose 0 = y - 4*c + 6, -15 = -5*y + 2*c + 3*c. Let s(f) = f**3 - 3*f**2 - 5*f. Let z be s(4). Sort z, -1, y in ascending order.
z, -1, y
Let j = 61442/28171 - -2/2561. Let q = j + -2. Sort 4, -5/4, q.
-5/4, q, 4
Suppose -5*l = 3*k - 1 - 2, 0 = 4*l - 12. Let n be 15*(8/(-5) - -2). Let p be (-6)/(-9) + 8/n. Put p, 4, k in descending order.
4, p, k
Suppose -5*y = 7 + 18. Let x be (-16)/(-10) + 4/10. Suppose x*f - 6*f = -16. Put y, f, 5 in decreasing order.
5, f, y
Let s = -73 - -71. Put s, 5/2, -0.2, 0.4 in descending order.
5/2, 0.4, -0.2, s
Let p = 2 - 3. Let m = -0.66 - 0.04. Let k = m + 0.9. Put 3, p, k in ascending order.
p, k, 3
Let r = -1.2 - -0.2. Let i = -4.5 + -6.3. Let w = -11 - i. Put w, r, 2 in ascending order.
r, w, 2
Let x be 1/4 - (-34)/(-8). Let c = 4 + x. Sort c, 1, -5 in increasing order.
-5, c, 1
Let t = 0 - 0.2. Let n = -30 + 28. Sort -2/15, n, t in decreasing order.
-2/15, t, n
Suppose -2*v + 4*n + 6 = 0, -2*v + 2*n + 5 = -n. Let k be (-1)/(-2)*(1 - v). Sort k, 5, 1 in descending order.
5, 1, k
Let f = -0.52 + 2.52. Let m = 3.4 - 3. Put f, m, 1 in decreasing order.
f, 1, m
Let n be ((-4)/(-6))/(2/(-3)). Let i be -4*(4 + -3)/4 + -20. Let p be i/(-27) + n + 0. Sort 1, p, 2 in decreasing order.
2, 1, p
Let g(a) = 6*a + 4*a**2 - 1 + 3 - 4*a**2 - a**2. Let z be g(6). Sort 4, z, 0 in decreasing order.
4, z, 0
Let g = 10 - 4. Let o be (-27)/63 - (-34)/14 - -2. Sort o, g, -1 in descending order.
g, o, -1
Let p(k) = k - 9. Let o be p(8). Sort -4, 5, o in decreasing order.
5, o, -4
Suppose -4*x + 5 - 1 = 0. Sort x, -5, 0.
-5, 0, x
Let d = 25 - 25.2. Let x be ((-3)/(-4))/(2/(-8)). Let c(u) = u**2 + u - 4. Let i be c(x). Put -5, i, d in descending order.
i, d, -5
Let t = 5 + -5.4. Let x = t - -4.4. Put -2, -2/19, x in decreasing order.
x, -2/19, -2
Let k(l) = -3*l**2 - 10*l - 1. Let w be k(-3). Sort -5, 4, w, -3 in descending order.
4, w, -3, -5
Let q be -13 + 3 + -6 + 1. Sort -1, q, -3.
q, -3, -1
Suppose 5*i = i + 12. Let y be 1/1 - (i - 2). Sort y, -5, 2 in decreasing order.
2, y, -5
Let c = -5.1 - 0.9. Put -0.2, -0.1, c, -1 in decreasing or