= 0.7 - t. Let l be ((-2)/4)/((-2)/16). Put 3, k, l in descending order.
l, 3, k
Suppose -4*l = l + 65. Let z = l - -25/2. Let m = -1 - 1. Sort -3, z, m in decreasing order.
z, m, -3
Let l = 5 + 0. Let m = -3.3 - -3. Put 2, l, m in ascending order.
m, 2, l
Let u = 4 - 2. Suppose -4 = 3*m - k, 6 = -4*m + 5*k - 3. Sort m, u, -3 in descending order.
u, m, -3
Suppose 5*g = -3 - 7. Put g, 1, 3 in decreasing order.
3, 1, g
Suppose -4*b + 5*v = -11 - 21, -3*v = 4*b. Let p = b - 2. Put p, 3, -2 in decreasing order.
3, p, -2
Let i be (-10*1)/((-4)/2). Sort i, 0.3, 2/13 in descending order.
i, 0.3, 2/13
Let a = 7 - 5. Let v = -1 + a. Put 0.1, v, -3 in decreasing order.
v, 0.1, -3
Suppose 0 = 4*h + 5*k + 9, -15 = -4*h - k - 4. Suppose 4 = -2*q - 2*q. Sort 1, q, h in increasing order.
q, 1, h
Let o be (-13)/11 + (-2 - -3). Sort 0, -1, o.
-1, o, 0
Let a be -6*-4*5/(-40). Let f = 4 - 2. Sort a, -4, f.
-4, a, f
Let v = 4.3 + -2.3. Put -0.3, v, -0.4 in decreasing order.
v, -0.3, -0.4
Let x = -0.45 + 0.05. Let k(h) = h**3 + h**2 + h - 1 + 3*h + 3*h**2. Let u be k(-3). Sort u, -1/6, x.
u, x, -1/6
Let i(g) = -g**2 - 5*g. Let c be i(-5). Let s(z) = -z**3 + 3*z**2 + 3. Let n be s(3). Sort n, -5, c in decreasing order.
n, c, -5
Let i = -0.72 + 0.02. Let d = i + 0.5. Sort 0, d, 0.3 in increasing order.
d, 0, 0.3
Suppose 3*i + 1 = u + 4*i, -5*u - 3*i = -13. Let c be -1*4/2*1. Let d = c - -6. Sort 1, d, u.
1, d, u
Let h = 2 - 3. Let j(w) = -w**2 - 10*w - 10. Let d be j(-6). Let k be (-2)/d*(-1 - -3). Put k, h, 1 in decreasing order.
1, k, h
Suppose -k = 2*k + 9. Let d be (5/10)/((-3)/6). Let b = 3.94 - -0.06. Put k, b, d in increasing order.
k, d, b
Let b = 99 + -889/9. Let q = -0.13 + 1.23. Let s = 0.1 - q. Sort b, 5, s.
s, b, 5
Let s be (-3)/(-2)*(-5)/5. Let u = -1 - s. Put u, -2/7, 4 in ascending order.
-2/7, u, 4
Let v = 10 + -1. Let w be (v/(-15))/(3/15). Sort 2, 3, w in increasing order.
w, 2, 3
Suppose 2*s - 7 = 3*z - 0*z, -3*s = -3*z - 9. Suppose -s*x = x. Let l = 0 - 4. Sort x, 3, l in decreasing order.
3, x, l
Suppose 4*h - 4*d + 0 = -4, -3*h + 5*d = 13. Suppose 6 = -5*f - 4, 2*k + f + 8 = 0. Put k, h, -2 in descending order.
h, -2, k
Let u(m) = m**2 - m - 2. Let g be u(-2). Suppose 0 = -5*t - 2*s + 37, -5*s - 13 = -2*t - g*s. Suppose 8 = 4*k - 8. Put t, 2, k in ascending order.
2, k, t
Let p be -2 - 15/(-3) - -1. Suppose 4*g + 10 = 2*y - 0*g, -4*g + 8 = 4*y. Sort p, y, -1 in descending order.
p, y, -1
Let t be 0 - -1*1 - -2. Let v(h) = 2*h**2 + 10*h - 8. Let o be v(-8). Let p = 119/3 - o. Sort p, 0.1, t in ascending order.
p, 0.1, t
Let d be -20 + (0 + 0 - -2). Let n be (-29)/9 + (-4)/d. Suppose z = -0*g + g + 1, 2*z = 3*g. Sort g, 5, n in decreasing order.
5, g, n
Suppose 4 = -18*f + 20*f. Sort f, 4, -5, 12 in increasing order.
-5, f, 4, 12
Let q(z) = 2*z + 8. Let k be q(-5). Sort -3, -1, -9, k in descending order.
-1, k, -3, -9
Let h = 3 - 3. Let t = -3 - h. Let u be (-4)/(-6) - (-17)/t. Put -2, 3, u in descending order.
3, -2, u
Let i be 2/(-10) + 20/(-25). Sort i, -2, -3.
-3, -2, i
Let t = -0.02 + -2.98. Let c = -0.028 + 5.028. Put t, -0.4, c in ascending order.
t, -0.4, c
Suppose 4*l - 14 = -18. Suppose 3*q - 7 = 26. Suppose 1 = -4*d - q. Sort d, l, 3.
d, l, 3
Let m = 22 - 23. Sort m, 5, -4 in descending order.
5, m, -4
Let a = 1 - 3. Suppose 4*n + 81 = -b, b + 7*n = 2*n - 85. Let f = b - -327/5. Sort -0.5, a, f in ascending order.
a, -0.5, f
Let f be 36/(-8)*(-8)/6. Let b = -7 + f. Put b, -7, 3 in increasing order.
-7, b, 3
Let b(o) = o**3 + 9*o**2 + 8*o + 5. Suppose 2*x = -s - 2*x - 12, -3*s + 2*x = 22. Let t be b(s). Sort t, 0, 2 in decreasing order.
t, 2, 0
Let b be (-143)/198 - 4/(-18). Put -0.1, -3, -0.4, b in decreasing order.
-0.1, -0.4, b, -3
Let a(r) = r**3 - 10*r**2 + 8*r + 13. Let g be a(9). Suppose -10 = 5*v + 3*b, 5*b = -2*v - 2*v + 5. Sort 5, v, g in ascending order.
v, g, 5
Suppose 0 = -4*f + 5*k + 42, -f + 2*f - 16 = 4*k. Suppose -o = -2*b - 9, -o = b - 5*o + f. Put -1, 3, b in decreasing order.
3, -1, b
Let s be 3/((-90)/4)*(-12 - -9). Sort 1, 2/3, s in increasing order.
s, 2/3, 1
Suppose 12 = 2*f - 5*f. Let r(i) = -i**2 - i + 2. Let p be r(2). Let n(s) = s**3 + 3*s**2 - 6*s - 5. Let w be n(p). Sort f, -1, w in decreasing order.
w, -1, f
Let c = 11 - 5. Sort c, 0.1, 3.
0.1, 3, c
Let n = -2.36 + 0.26. Let w = -1.1 - n. Put -2, -0.5, w in increasing order.
-2, -0.5, w
Let z = 4 + 0. Let o = -2 + 5. Let v = -1 + o. Put z, -2, v in decreasing order.
z, v, -2
Let j be -1 - (1/3 - 1). Let v = -8 - -7. Let p = v + 1.5. Put 2/7, p, j in descending order.
p, 2/7, j
Let y = 5.51 - 0.51. Put -4/3, -2/9, 1/2, y in descending order.
y, 1/2, -2/9, -4/3
Let y = 0.1 - 0.2. Let d be 2/(-9) - (-58)/18. Let o = 1136/9 + -126. Sort y, o, d.
y, o, d
Let v(k) = k**3 + k**2 - k. Let c(g) = 7*g**3 - 5*g**2 - 18*g - 4. Let d(q) = -c(q) + 6*v(q). Let j be d(12). Put j, -3, 2 in descending order.
j, 2, -3
Let p = 26 + -24.6. Put p, -3/4, 3/4 in increasing order.
-3/4, 3/4, p
Let q be (1/(6/(-30)))/(-1). Put -5, q, 2, 1 in decreasing order.
q, 2, 1, -5
Let x(r) = 2*r + 3. Let t be x(-3). Let k = -26 + 28. Let a(o) = -4*o - 1. Let j be a(1). Sort j, t, k in decreasing order.
k, t, j
Let g be 2/(-2) - (-1 + -1). Let v = g + -5. Let l be (-1 - -1) + 3*-1. Sort v, 2, l in descending order.
2, l, v
Let p = -0.55 - -0.05. Let g = -1 - p. Sort 0, g, -4 in decreasing order.
0, g, -4
Let l(x) = x + 10. Let w = 98 - 63. Suppose -3*r - w = 2*r. Let q be l(r). Put q, -3, -1 in increasing order.
-3, -1, q
Let w(g) = g**3 + 5*g**2 - 5*g - 6. Let s be w(-5). Suppose -s = -4*b - 7. Sort -3, 1, b in increasing order.
-3, 1, b
Suppose 5*m = 24 + 1. Let u(x) = -6*x - 1 - m*x**2 - 2 + x**3 + 0*x**3. Let a be u(6). Sort a, 0, -5 in increasing order.
-5, a, 0
Let u(f) = f**3 - 5*f**2 + 4*f - 1. Let q be u(3). Let t be 1 + -1 - q/(-21). Put 0.1, 5, t in decreasing order.
5, 0.1, t
Let h = -0.36 + -0.04. Let l = -30 - -94/3. Sort h, -0.1, l in descending order.
l, -0.1, h
Suppose 25*t - 24*t = 5. Let o(c) = 3*c. Let b be o(-1). Put b, 2, t in descending order.
t, 2, b
Let v = 30 - 23. Put 4, v, -1/2 in ascending order.
-1/2, 4, v
Let j = -2 - -2.04. Let f = 4.04 - j. Let w = -4.3 + f. Sort -0.5, w, -5/2 in decreasing order.
w, -0.5, -5/2
Suppose 2 = j + 6. Sort 3, j, -5.
-5, j, 3
Let a = -2.4 + 2. Let n be (-1)/(0 - 2/2). Sort a, n, -3.
-3, a, n
Suppose -7 = 2*i - 3*x, 2*x = -5*i + 3*x - 24. Sort i, 2/3, 0.2 in decreasing order.
2/3, 0.2, i
Suppose 0 = -2*z + 8 + 12. Suppose 0 = 4*s - 20, 2*c + 2*c - 2*s - z = 0. Put -3, -2, c in descending order.
c, -2, -3
Let f = 3 + -1. Let q = -7 + f. Let o = 8 + q. Put -1, 0, o in ascending order.
-1, 0, o
Let z be ((-15)/25)/1*(-10)/2. Sort z, 5, -2 in increasing order.
-2, z, 5
Let g be (0 - 2)*(-2)/10. Put g, -2, -3 in descending order.
g, -2, -3
Let n = 32 + -35. Sort -0.4, 0, n, 3/7 in increasing order.
n, -0.4, 0, 3/7
Let o = 0.3 - 2.3. Let h = o + -3. Let s = 0.0983 - -0.1017. Sort 4, h, s in increasing order.
h, s, 4
Let s(f) = -2*f**2 + 14*f + 5. Let t be s(7). Suppose 2*l + 2 = -0. Sort l, -4, t in descending order.
t, l, -4
Let m = 35 - 34. Sort m, 0.5, 1/4 in increasing order.
1/4, 0.5, m
Let j(m) = m**3 + 4*m**2 - 2. Let v be j(-4). Let r(c) = -c**3 - 4*c**2 - c - 2. Let x be r(-4). Suppose 4 = x*u - 0. Sort -5, u, v in descending order.
u, v, -5
Suppose 0 = -2*w + 4*u - 20, u + 0 = 4. Suppose -3*r + j = -17, -j - 4*j = -2*r + 7. Let b be (4/(-5))/(r/(-15)). Put b, 5, w in decreasing order.
5, b, w
Let y be (2/21)/((-93)/(-217)). Let z = 0.2 + -2.2. Put -0.5, z, y in descending order.
y, -0.5, z
Let m be -6 - (8/4)/(-2). Sort 4, 5, m in descending order.
5, 4, m
Let f = -31 - -34. Put -2, -5, f in ascending order.
-5, -2, f
Let u(o) = o**3 - 8*o**2 + 8*o - 2. Let c be -7*-2*(-1)/(-2). Let x be u(c). Suppose -2*s = 0, 3*k - 2*k - 4*s = -3. Sort -5, k, x in descending order.
x, k, -5
Suppose -5 = z - i, -z - 21 = -i - 4*i. Sort -6, 4, z.
-6, z, 4
Suppose 3*o - 117 = 3*s, 2*s + s + o + 97 = 0. Sort -1, -5, s in ascending order.
s, -5, -1
Let j = 5 - 6. Sort j, -4, 5.
-4, j, 5
Suppose 0*w + w - 4*w = 0. Put -3, w, -5 in decreasing order.
w, -3, -5
Let w = 23 + -22. Put 5, w, 3, 0 in increasing order.
0, w, 3, 5
Let x(m) = m**3 + m**2