 j, c
Let g be -1 + -1*(-6)/2. Let c = -22.2 - -15.3. Let z = c - -7. Put g, z, -3 in descending order.
g, z, -3
Let t(h) = -h**3 + 6*h**2 - 9*h + 6. Let l be t(4). Suppose 0 = 2*z + l*s - 12, 6*s - 8 = 2*z + 4*s. Sort -1, 4, z.
-1, z, 4
Let b = 33 + -35. Put -14, 5, b in decreasing order.
5, b, -14
Let o = -8 + 3. Sort 6, 0, o in decreasing order.
6, 0, o
Let r be (-8)/(-6) - 2/6. Let x(s) = -s**3 - 4*s**2 - s + 4. Let o be x(-3). Let u = 3 + -3. Put o, u, r in decreasing order.
r, u, o
Let x = -0.41 + 0.15. Let o = -0.24 - -0.2. Let j = o + x. Put 1/2, -2/3, j in descending order.
1/2, j, -2/3
Let k = -0.11 - 7.89. Let d = 11 + k. Suppose y = -5*z - y + 35, -15 = z - 4*y. Sort d, z, -0.3 in decreasing order.
z, d, -0.3
Let c(y) = 3*y - 28. Let q be c(10). Let r(t) = t**2 - 6*t + 3. Let a = 0 - -4. Let o be r(a). Sort o, q, 1 in ascending order.
o, 1, q
Suppose 15*t - 2 = 16*t. Sort 1, t, 2 in descending order.
2, 1, t
Suppose -i = -2*i + u - 4, 0 = -u. Put i, -3, 1 in decreasing order.
1, -3, i
Let z = 4.11 + -0.01. Let i = -3.9 + 4. Let g = i - z. Sort 0.5, g, -2/15 in decreasing order.
0.5, -2/15, g
Let r be (-24)/108 - 43/9. Sort 5, 4/7, 4, r in ascending order.
r, 4/7, 4, 5
Let f(n) = n**3 - 7*n**2 + 8*n - 7. Let g(z) = 2*z**3 - 14*z**2 + 16*z - 14. Let o = -6 - -9. Let a(s) = o*g(s) - 5*f(s). Let l be a(6). Sort -5, 1, l.
-5, 1, l
Let y(s) = -s - 2. Let z be y(-2). Suppose i + 3*i + 16 = z. Let l = 4 + -5. Sort l, i, -3 in increasing order.
i, -3, l
Suppose -3 + 15 = -2*j + 4*c, 0 = -2*j - 3*c + 23. Suppose j*y - 12 = -0*y. Sort -3, y, -5 in decreasing order.
y, -3, -5
Let z = -0.033 - 0.367. Sort z, -2/9, -0.5 in descending order.
-2/9, z, -0.5
Let i(t) = -2 - 4 + t + 2*t + t**2. Let j be i(-5). Sort 0, -5, j.
-5, 0, j
Let m be (3 - 6/(-2))/2. Suppose 0 = 2*b - 3*t - m, 0 = b + 3*b + 3*t + 3. Suppose 0 = 2*g, b*i + 5*g = 4*i. Sort -2, -6, i in increasing order.
-6, -2, i
Let b = -0.19 + 0.09. Let a = b - -0.3. Let p = -203/244 - -5/61. Sort p, 0.5, a.
p, a, 0.5
Let k be 16017/21 - (-2)/(-8). Let h = k - 763. Let w = 2/7 + h. Sort -5, -0.4, w in decreasing order.
w, -0.4, -5
Suppose -2*a = -5*a + 3. Let v be a/3 - (-93)/(-117). Let z = -44/39 - v. Put z, 2, -3 in ascending order.
-3, z, 2
Let f = 0.37 + -0.07. Let r = -4.05 - -0.05. Sort f, 5, r in ascending order.
r, f, 5
Let h = -0.3 + 0.4. Let l = h - 0.1. Let y = 0 - l. Put 0.5, 2, y in descending order.
2, 0.5, y
Let t = 1.3 + -5.3. Sort 3, -2/5, t.
t, -2/5, 3
Let k be 6/18 - 2/(-3). Sort 4, k, -0.3 in descending order.
4, k, -0.3
Let d = -1002.9 - -954. Let i = 46 + d. Let k = i + 3. Sort -5, 3, k in increasing order.
-5, k, 3
Let v be 0/((-8)/2 + 2). Let a be (700/(-1035))/5 + 4/18. Sort v, -0.3, a.
-0.3, v, a
Let r = -1/19 - 25/247. Put -3, -0.4, -1, r in ascending order.
-3, -1, -0.4, r
Let u be (-3)/9 - 20/(-6). Suppose f - 8 = -u*f - 4*p, f - 20 = 5*p. Let c = -1 + -1. Sort c, 2, f in decreasing order.
f, 2, c
Let v = 3 - 2. Let i = 63/2 + -33. Sort i, -4, v in descending order.
v, i, -4
Suppose 4*i + 2*p = 6*p + 8, -i + 5*p = 10. Sort -5, 4, i in increasing order.
-5, 4, i
Let i(x) = x**3 - 5*x**2 - 8*x + 8. Let v be i(6). Let t = 8/9 - 5/36. Put t, v, -2/9 in descending order.
t, -2/9, v
Suppose 0 = -b - 2 + 1. Suppose 0 = -3*n + 7 + 5. Suppose -5*l + 4*l = 5. Put l, b, n in decreasing order.
n, b, l
Let s = 2.7 + -3. Put 1/6, -1/10, s, -0.5 in decreasing order.
1/6, -1/10, s, -0.5
Suppose 4*m = 3*m - 5. Suppose 2 = -p + 2*p. Let r = p + m. Sort -0.5, -2/3, r in ascending order.
r, -2/3, -0.5
Let k be 27 + 2/(-1) + -2. Suppose 0 = -5*h + k + 2. Sort 3, h, 4 in descending order.
h, 4, 3
Suppose -5 + 6 = -s. Put s, 1, -3, 3 in ascending order.
-3, s, 1, 3
Let h(f) = f + 5. Let p be h(0). Sort -12, 3, p in increasing order.
-12, 3, p
Let k be -3 - -1 - (-1)/1. Sort 3, -3, k in decreasing order.
3, k, -3
Let a = -3.95 + 4. Let k = 0.25 + a. Let q = 0.6 - k. Sort q, -2, -5.
-5, -2, q
Suppose -z - 2 = -3*z. Let i = 6 + -2. Suppose -4*a + 4 = 2*x, 4*a + 19 = a + i*x. Sort z, 5, a in increasing order.
a, z, 5
Let n = 0.17 + -0.07. Let x be -2*1/((-3)/1). Put -2/15, x, n in descending order.
x, n, -2/15
Let r(v) = -4*v + 4. Let t be r(-4). Suppose 5 = -p - 2*c - 5, 5*p + t = -4*c. Suppose -4*u - 16 = 2*q, 3*u + 5*q + 25 + 1 = p. Sort u, 5, 4.
u, 4, 5
Let a be ((-4)/(-16)*-6)/((-3)/4). Sort a, -1, -2.
-2, -1, a
Let i = 1.89 + 0.11. Put -0.5, 0.6, i in increasing order.
-0.5, 0.6, i
Let i = -9 - -6. Let a be -1 + 6 + (0 - 1). Put -4, i, a in ascending order.
-4, i, a
Let l be (-2)/3 + (-190)/(-15). Suppose -l = g + 2*g. Put 1, g, -3 in decreasing order.
1, -3, g
Let o = -39 + 36. Let t(y) = y**3 - 4*y**2 - y. Let i be t(5). Suppose i = 4*q - 0*q. Sort q, -4, o in descending order.
q, o, -4
Let x = 26 - 29. Put 3, -5, x in descending order.
3, x, -5
Suppose j + 20 = 4*j - 5*t, -4 = j + t. Put j, 2/9, -0.08, 3 in ascending order.
-0.08, j, 2/9, 3
Let u be (1/(-3))/(75/18 - 4). Sort u, 6, 2, -1 in increasing order.
u, -1, 2, 6
Let p(o) = o**3 + 4*o**2 + o - 5. Let s be p(-4). Let y be 45/(-66)*(-12)/s. Let r = y - -41/33. Sort r, 2, -0.2 in decreasing order.
2, r, -0.2
Let a = 4.4 + -4. Let h be 10/(-4)*(-8)/10. Put a, -1, h in decreasing order.
h, a, -1
Let j be (3/9)/(2/(-6)). Let b be 1/(j + 3/6). Let d = -3 - -2. Sort d, b, -4.
-4, b, d
Let f = -2.07 + -0.13. Let u = f - -1. Let a = -3.8 + u. Sort 5, -1/9, a.
a, -1/9, 5
Suppose -j = 5*k - 4*j + 12, -2*j - 2 = 0. Let v(w) = w**2 + 5*w + 2. Let b be v(k). Let u = -262 + 257. Put u, b, 4 in increasing order.
u, b, 4
Let k be (5/5)/(5/3). Put 1, 3/2, k in decreasing order.
3/2, 1, k
Let g = 6 + -16. Let l be -1 - (g + 2)/2. Sort -5, l, 4 in decreasing order.
4, l, -5
Let q be (15/3 - 1)*2. Let d be (-4)/q + (-3)/2. Suppose 0*c - 5*c = p + 26, -4*p - c - 9 = 0. Put 3, p, d in descending order.
3, p, d
Let g(z) = 2*z**2 - 5. Let w be g(-3). Suppose -3*f + 2*f = 3*u + 1, w = 4*f - 5*u. Put -5, f, 0 in descending order.
f, 0, -5
Let g be 51/(-12) - (-1)/4. Sort g, -3, 5 in decreasing order.
5, -3, g
Let t = -0.1 - 0.9. Let o(a) = -3*a**3 - 1. Let i be o(-1). Let f be 6/(-4)*(-4)/57. Put i, t, f in decreasing order.
i, f, t
Let k = -7 + 9. Suppose 4*y + 2*o - 6 = -3*o, -y = 3*o - 5. Let x be (-6)/(y/((-4)/(-6))). Sort -1, x, k.
-1, k, x
Let h = 3 + -8. Put 4, 2/9, h in descending order.
4, 2/9, h
Let t(n) = n**3 + 2*n**2 - 3*n - 3. Let k be t(-3). Let w = 1 + k. Put w, 3, -1 in ascending order.
w, -1, 3
Let k = 47 + -51. Sort 5, -1, -0.1, k in increasing order.
k, -1, -0.1, 5
Let w be (8/50)/((-22)/5 - -4). Sort -4, w, -1, 0.4 in decreasing order.
0.4, w, -1, -4
Let s = 40 + -19. Suppose o + 4*o - s = -f, 2*f - 2 = -2*o. Sort 2, f, -3.
f, -3, 2
Let d = -0.15 - 1.25. Let f = d - -0.4. Let n be (-11)/(-6) + 2/(-4). Sort f, -0.1, n.
f, -0.1, n
Let i = -7 + 23. Suppose 16 = -5*r + 2*h, -2*r + 6*h = 2*h + i. Let a = -210 - -1473/7. Sort a, r, -5 in ascending order.
-5, r, a
Let k = 0.2 + 0.3. Let z = k - 0.5. Let m = z + 1. Sort m, -1/3, 0.4 in ascending order.
-1/3, 0.4, m
Let l be ((1 - 2)/(-1))/(21/(-6)). Sort 2, -2/13, l in descending order.
2, -2/13, l
Let p = 0.03 + -0.06. Put 2, 4/7, p in increasing order.
p, 4/7, 2
Suppose 0 = l + i + 2, -l - 3*i - 4 = -0. Let y = 0 + l. Let q be ((-10)/(-3))/((-8)/12). Put q, y, -4 in descending order.
y, -4, q
Let y = 17.94 + -1.34. Let g = y - 17. Put g, 1, -2 in descending order.
1, g, -2
Let s = -0.06 + 4.06. Let f = s - 9. Sort -1/8, f, 3 in descending order.
3, -1/8, f
Let x = -10 - -13. Sort 2/17, 1, x, 0.2 in descending order.
x, 1, 0.2, 2/17
Suppose 9*s - 4*s = 10. Sort 0, 1, s in descending order.
s, 1, 0
Let z = -74 - -72. Sort -1, 1, -5, z.
-5, z, -1, 1
Let s(g) = -g**2 + g + 4. Let y be s(3). Sort -5, 5, y, 3 in increasing order.
-5, y, 3, 5
Let j be -2 - 4/8*-2. Let g be (-1)/(0 - (-1)/7). Let m = -4 - g. Sort m, j, 2.
j, 2, m
Let s(c) = -c**2 - 14*c - 15. Let b be s(-13). Let d(m) = m**2 - m + 1. Let h be d(1). Sort -5, b, h.
-5, b, h
Let h = -3/157 + 492/1099. Let w be (3 + 69/(-18))*3*-2. Put h, w, -0.5 in ascending order.
-0.5, h, w
Let a = 12 - 60. Let l = 142/3 + a. Sort l, 0, -0.3.
l, -0.3, 0
Let d(x) = x**2 - 11*x + 5. Let v be 6 - 5/((-5)/4). Let z be d(v). Sort z, 3, -3 in des