-0.4
Let t = 10.6 - 11. Sort 1, t, -1.
-1, t, 1
Let r be (-1)/(-7) - 612/(-126). Let i be -4*(0 + -1 - 0). Sort r, i, -1 in ascending order.
-1, i, r
Suppose -3 = 4*j + 1. Let t be (0*2/4)/1. Suppose t = -2*r - 2*r + 12, 0 = 5*s - 5*r + 25. Sort 0, s, j in decreasing order.
0, j, s
Let z = -23 + 23.9. Let f = z - 4.9. Sort 0, 3, f in decreasing order.
3, 0, f
Let h = 0.36 - 0. Let d = h - -0.04. Sort 4, d, 1/4 in descending order.
4, d, 1/4
Let a = -2/661 - 4615/3966. Let f = 4/3 + a. Let v(g) = g - 6. Let h be v(5). Put 0.1, h, f in increasing order.
h, 0.1, f
Suppose -o - y + 2 = 0, 5*o + 0*y = -y - 6. Put -3, o, -4 in decreasing order.
o, -3, -4
Let n be 1*2/1*-2. Let k(t) = -t + 4. Let p be k(4). Put -2, p, n in increasing order.
n, -2, p
Suppose 5 = -4*b - 7. Let k = 22 - 18. Let v = b + k. Sort -5, v, -3.
-5, -3, v
Let v be -1*(2 - 2) + 4. Let s be (-2)/v + 5/2. Put s, -5, -1 in descending order.
s, -1, -5
Let d be ((-9)/3)/3 + 12. Let z = d - 13. Suppose -q - q = -10. Sort q, z, 3 in decreasing order.
q, 3, z
Let z = -6 + 5. Sort -21, z, 1 in descending order.
1, z, -21
Suppose -s = 4*r + 8 + 10, r - 5*s - 6 = 0. Put r, -1/5, -3 in decreasing order.
-1/5, -3, r
Let n(i) = -i**3 + 6*i**2 - 8*i + 12. Let c(d) = d**3 + d**2. Let x(r) = -2*c(r) - n(r). Let g be x(-9). Let m = -5 - g. Sort m, -5, 1 in increasing order.
-5, m, 1
Suppose -4*v - 4*o = -8, 4*v - 2*v - 4 = 2*o. Let i be v/5 - 36/(-10). Suppose 0 = 3*r + 2*a + a - 6, r = -i*a + 8. Sort -5, -1, r in descending order.
r, -1, -5
Let x(f) = -4*f**3 + 5*f**3 - 2*f**2 + f - 6 - 5*f**2 + 6*f. Let q be x(6). Sort 5, 2, q in decreasing order.
5, 2, q
Suppose x - 1 - 3 = 0. Suppose -4*q - 11 = -3*g, -3*q - 5 + 2 = 3*g. Sort -5, x, q.
-5, q, x
Suppose 0 = -l - l + 10. Suppose 16 = -3*z - 4*q, -4*q + 3*q - 4 = -l*z. Sort 4, -5, z in decreasing order.
4, z, -5
Suppose 0 = 8*u - 4*u + 16. Let a be ((-105)/(-6))/7*(2 - 0). Let c = -5 - 0. Put u, a, c in decreasing order.
a, u, c
Let z = 0.23 + -0.03. Put z, -1/4, 4 in descending order.
4, z, -1/4
Let x be (4/(-16))/((-4)/16). Let h = -0.1 - -0.1. Sort h, -0.2, x.
-0.2, h, x
Let n be 334/10 - (84/35 - 2). Sort n, -5, -2 in increasing order.
-5, -2, n
Let x be (-24)/(-10) - 4/10. Let g = 1 - 1. Sort -1, g, x in increasing order.
-1, g, x
Suppose -2*o + 1 + 1 = 0. Let q be 1 - o*(2 + -3). Suppose -6 = r - 5*s, 6*s - q*s = 5*r - 12. Sort 0, -1, r in descending order.
r, 0, -1
Suppose -4*q - 6*z - 47 = -z, 0 = -4*q + 4*z - 20. Let b be 2/q + 9/108. Sort 0, 3/8, b in increasing order.
b, 0, 3/8
Let a = 0.1 + -2.1. Let c = -27 - -31. Sort a, c, 1/5 in descending order.
c, 1/5, a
Let b(q) = -q**2 - 6*q + 7. Let v be b(-7). Sort -5, -2, v, -3 in descending order.
v, -2, -3, -5
Let x be 7/28 + (-74)/72 + 1. Put 0.03, x, 0.3, 0.2 in descending order.
0.3, x, 0.2, 0.03
Let f(h) = 5*h - 1. Suppose -3 = -0*x - 3*x. Let c be f(x). Let o be (4/(-60))/((-3)/9). Sort 5, o, c in ascending order.
o, c, 5
Let c(x) = x**3 - 7*x**2 + 5*x + 6. Let n be c(6). Suppose -2*h - 2 = -2*f, -7*h - 5*f - 9 = -5*h. Suppose -5*j - 35 = -15. Sort j, h, n in descending order.
n, h, j
Let b = -29 - -27. Put -0.3, 12, b in decreasing order.
12, -0.3, b
Let g(f) = f + 2. Suppose 1 = 3*q - 5. Let i be g(q). Sort i, 0, -4 in descending order.
i, 0, -4
Let b = 1.2 + 3.8. Sort 3, 4/7, b in ascending order.
4/7, 3, b
Let p = -1.2 + 0.2. Let n = -1 - p. Let t = -0.5 - n. Sort -2/9, 4, t in ascending order.
t, -2/9, 4
Suppose 0 = -0*c + 3*c + 9. Sort -1, c, -2.
c, -2, -1
Let c(m) = -m**3 + 7*m**2 - 6*m - 1. Let h be c(6). Let q = h + 1. Sort 2/5, 1, q in decreasing order.
1, 2/5, q
Let q = 28 + -27.8. Sort -10, -1/5, q in descending order.
q, -1/5, -10
Let q = -4.5 + 1.5. Let r = 3 + q. Put -0.1, r, 4 in increasing order.
-0.1, r, 4
Let m(y) = -y**2 + 5*y + 7. Let b be m(7). Sort -5, -3, b.
b, -5, -3
Let l = 72 - 77. Put -2/15, -0.01, l, -0.2 in descending order.
-0.01, -2/15, -0.2, l
Suppose -36 = 3*r - 3*d - 0*d, -12 = -3*d. Let a = 10 + r. Put a, -3, -5 in increasing order.
-5, -3, a
Let d = 1/83 + -337/415. Sort 2/5, -2, 0.5, d in increasing order.
-2, d, 2/5, 0.5
Let p = 133/2 + -66. Put 0, p, 10 in ascending order.
0, p, 10
Let n = 0.118 - 8.118. Sort 3, -1/4, n in decreasing order.
3, -1/4, n
Let x = 9 - 15. Let b = -4 - x. Suppose 4 = 4*t + 16. Put b, t, -4 in increasing order.
-4, t, b
Let v be 0 + -2 + 0 - -7. Let y be 5 + -6 + 3 + -7. Put v, -1, y in ascending order.
y, -1, v
Let h = -1 + 1. Let s = -14.9 + 1.9. Let w = 15 + s. Sort h, w, -0.4.
-0.4, h, w
Let c = 18 + -17.95. Sort 1/7, c, -2 in ascending order.
-2, c, 1/7
Let i(o) = o**3 + 3*o**2 + 3*o + 3. Let h be i(-2). Put -1/3, h, -5 in increasing order.
-5, -1/3, h
Let q(v) = v**3 - 2*v**2 - 3*v + 2. Let u be q(3). Let k be 4 + -3 + 5 - u. Put -2, k, 5 in ascending order.
-2, k, 5
Suppose -5*w = 2 - 17. Sort -13, w, 5 in increasing order.
-13, w, 5
Suppose -4*s + 3*h - 10 = 4*h, 3*h - 12 = 2*s. Let o = -7 + 8. Suppose -b + 2*b + o = 0. Sort 1, b, s.
s, b, 1
Let m(b) = 6*b - 34. Let s be m(6). Sort s, 1, 6, -1 in decreasing order.
6, s, 1, -1
Let g = -23 - -12. Let x = g - -9.1. Let j = -0.1 + x. Sort 3/2, j, 2 in descending order.
2, 3/2, j
Let x = -7.59 - -6.6. Let l = x + -0.01. Put -2/7, l, 0.3 in decreasing order.
0.3, -2/7, l
Suppose 12 = 4*o - o. Sort o, 7, -1, -4 in ascending order.
-4, -1, o, 7
Let q = -0.02 - -0.03. Let g = -0.99 - q. Let h = g + 2. Put -0.5, 5, h in decreasing order.
5, h, -0.5
Suppose 0 = 6*f - 17 - 1. Let m(c) = -c + 3. Let d be m(4). Put f, 4, d in descending order.
4, f, d
Suppose 10 = 6*c + 34. Suppose -3*t - 4 = -5*t. Put t, -5, c in increasing order.
-5, c, t
Let b be 11/(-3) + 1/(-3). Let i be 0 + 2/(-1) + -1. Put b, 5, i in ascending order.
b, i, 5
Let w = 128 - 1021/8. Sort -0.1, 4/5, w, -2/9 in decreasing order.
4/5, w, -0.1, -2/9
Let k = 2.6 - -0.4. Let f = 2.6 - k. Let n = -1 - -1. Sort n, -3, f.
-3, f, n
Let i be -2*2/12*3. Suppose -3*v + 2*v = 0. Let b(p) = -p - 3. Let k be b(v). Put 2, i, k in decreasing order.
2, i, k
Suppose -37*s - 108 = -64*s. Let k be 2 - 1 - 2*1. Sort k, -5, s in descending order.
s, k, -5
Suppose -8 - 2 = -2*t. Let h = t - 1. Suppose -2*y = -h*y + 10. Sort -5, 0, y in ascending order.
-5, 0, y
Suppose 4*q - 98 = 5*f, -q = 3*f - 10 + 62. Sort 2, -0.5, 1, f in decreasing order.
2, 1, -0.5, f
Let d = 4.87 + 0.13. Let g = 4.8 - d. Sort g, -5, 4 in descending order.
4, g, -5
Let f be (-1)/(-1 - 17)*4. Let d = 0.41 - 0.11. Put f, -0.4, d in decreasing order.
d, f, -0.4
Let x = 9 + -3.5. Let o = -0.5 - x. Let u = -3 - o. Put -2/3, 0.3, u in increasing order.
-2/3, 0.3, u
Let j be 58/18 + -3 + (-25)/(-9). Put 4, j, -4, -8 in decreasing order.
4, j, -4, -8
Suppose 3*a + a - 53 = 5*j, -2*j = -6. Suppose a = -3*t + 2. Put 3, t, -1 in decreasing order.
3, -1, t
Let u = -1 + -2. Let r be (u/(-20))/(6/(-5)). Suppose z + m = 0, 2*z - 4*m = 7 - 1. Put 5, r, z in increasing order.
r, z, 5
Let s be 3 + -2 + 6/(-8). Put 0.5, 2/3, s in ascending order.
s, 0.5, 2/3
Suppose 22 = 2*i + 3*n, 13 = 3*i + 4*n - 18. Suppose 5*q - q = 2*k - 20, i*q = -4*k - 12. Suppose 0*u - 10 = 2*u. Put u, 4, q in decreasing order.
4, q, u
Let o = 1.1 + -1. Let m = 14 + -8. Let j = m + -6.3. Sort j, o, 0.2.
j, o, 0.2
Let f = 6 + -2. Let o = -1/88 + 91/264. Sort -5, f, o.
-5, o, f
Let y(a) = -7682*a. Let c be y(1). Let p = -4179009/544 - c. Let t = p + -2169/3808. Put 2, t, 0.1 in decreasing order.
2, 0.1, t
Let q = 132 - 131.8. Put 0.09, -5, q in ascending order.
-5, 0.09, q
Let k be (0 + 1)/((-1)/(-4)). Let c = 1 - k. Suppose -5 = 5*d, -3*x - 20 = d - 4. Sort c, x, -1 in ascending order.
x, c, -1
Let f = -1 - -1. Suppose -3*u + 8*u = 10. Sort -3, u, f in ascending order.
-3, f, u
Let m = -0.4 - -0.34. Let w = -2.94 + m. Let q = 0.4 + 0.6. Put 2/15, w, q in decreasing order.
q, 2/15, w
Suppose -4*b + k = -b - 2, -2*b + 5*k - 3 = 0. Suppose -b = y + 2. Sort 0, -8, y in descending order.
0, y, -8
Suppose -v = -0*v. Suppose -x + 3 = 4. Let w be (x - 6/(-9))*3. Sort w, v, 4.
w, v, 4
Let k = 9323/684 - -220/171. Let l = -57/4 + k. Sort l, -1, -2.
-2, -1, l
Let z = -2 - -1. Let m be ((-1)/(-3))/(z/(-3)). Let a be (-16)/(-56)*7/1. Sort a, -1, m in decreasing order.
a, m, -1
Let v = 0.06 + -1.06. Let o = 