4 in descending order.
4, a, 2/7
Let t = 1 + 2. Let w be (6/4)/(t/8). Sort 3, -4, w in descending order.
w, 3, -4
Let g be 0 + -3*2/6. Put 10, 3, g, 4 in descending order.
10, 4, 3, g
Let b be (-12)/(-24)*(-1 + 1). Let w be ((-1)/(-3) + b)*-15. Sort w, -4, -3 in increasing order.
w, -4, -3
Suppose -4*a - 5*z = -40, -3*z - z + 36 = 4*a. Suppose 44 = 5*o - o. Put -1, o, a in descending order.
o, a, -1
Let d(f) = -6*f**3 + f. Let q be d(1). Let h = 6 - 7. Sort 1, q, h in decreasing order.
1, h, q
Let f(d) = -d**3 + 8*d**2 - 8*d + 2. Let w be f(7). Put 2/5, -2/3, w in decreasing order.
2/5, -2/3, w
Let o be (-2 + 3)/(2/18). Suppose -3*u = o + 6. Sort u, -4, -3.
u, -4, -3
Let v be (1/2)/((-3)/2). Let l = -3.1 - 1.4. Let p = 5 + l. Put p, v, -3 in decreasing order.
p, v, -3
Let v = 11.27 + -11. Let c = v + 0.03. Let u = 2.3 - c. Put u, 1, 0 in descending order.
u, 1, 0
Let g be (12/(-15))/((-1)/5). Let j = 17.3 + -17. Sort j, g, -3/8.
-3/8, j, g
Suppose -2*z = -c + z, 4 = 2*c - 2*z. Let r(f) = 4*f**2 + f + 2. Let t be r(-1). Put 1, t, c in descending order.
t, c, 1
Let o = 8 - 9. Let b be 2*o*6/4. Put 3, b, -4 in decreasing order.
3, b, -4
Let j = 18 - 19. Suppose 0 = -4*c - 8, -2*a + a + 4*c + 14 = 0. Let x(w) = w - 1. Let v be x(a). Sort j, v, 0 in decreasing order.
v, 0, j
Let d = 2 - 4. Let g be (-2 + 0)/(-2) - d. Let o = 3 + -1. Put g, -1/2, o in descending order.
g, o, -1/2
Let n(c) = c + 5. Let u be n(-7). Let q be (1 - 0)*(-1 + 4). Put u, q, 4 in increasing order.
u, q, 4
Suppose -31 = 5*g - 16. Sort g, 2, 3 in ascending order.
g, 2, 3
Let a be (20/(-15))/(78/27). Sort -1/4, -0.2, a.
a, -1/4, -0.2
Let f(o) = 1. Let a(h) = h + 7. Let v(t) = a(t) + 4*f(t). Let c be v(-8). Sort 0, c, -4 in descending order.
c, 0, -4
Let n = 0.1 - -5.9. Let h be ((-4)/(-12))/((-14)/(-6)). Sort h, n, -3 in increasing order.
-3, h, n
Suppose q = 5 - 6. Sort -2/5, -0.3, q.
q, -2/5, -0.3
Let n be (-1 - 1) + 22/8. Let k be (2/5)/(8/(-212)). Let w = -11 - k. Sort w, 4, n in ascending order.
w, n, 4
Let q = 43 + -38. Sort 0, -2/9, q in ascending order.
-2/9, 0, q
Suppose -8*p = -3*p. Suppose p*z - z - 5 = 0. Sort -3, 5, z in decreasing order.
5, -3, z
Let i(x) = x**2 + x + 11. Let p be i(0). Sort -2, p, 3 in increasing order.
-2, 3, p
Let o = -54 + 51.07. Let x = -0.07 + o. Put -2/5, 2, x in increasing order.
x, -2/5, 2
Let r = -246/7 + 35. Suppose -1 + 16 = 3*x. Suppose -x*g - 6 - 4 = 0. Sort r, -1/4, g.
g, -1/4, r
Let d = 0.1 - -0.2. Let x be 3 - (-7 - (-192)/19). Put d, x, -0.2 in descending order.
d, x, -0.2
Let j be (-44)/70 + 2/10. Put -5, j, -1/6 in ascending order.
-5, j, -1/6
Suppose 2 = -3*o + 14. Suppose 0 = n - 3. Suppose 3*v = -n - 3. Put v, o, 0 in increasing order.
v, 0, o
Suppose 3*p = -3*x + 6, -5*x - 16 = -2*p - x. Suppose 7*q = 10*q + 12. Put -3, q, p in descending order.
p, -3, q
Suppose -5 = -6*h + 25. Put -1, h, 0, -21 in descending order.
h, 0, -1, -21
Let a = 10 + -6. Suppose 0 = a*o - 14 + 34. Suppose -4*d = -9*d - 3*b - 12, -19 = 5*d - 4*b. Sort 2, d, o in ascending order.
o, d, 2
Suppose n - 28 = 3*t - n, -2*t - 37 = -5*n. Let j = t + 8. Let w be -4*(-6)/16*-2. Sort w, j, 1 in ascending order.
w, 1, j
Let i = -0.9 + 1. Sort i, -3, -1 in descending order.
i, -1, -3
Let g be -2*((-27)/6 + 3). Let l(t) = t**2 - 4*t + 3. Let m be l(g). Put 2, m, 4 in decreasing order.
4, 2, m
Let u = 0.071 - 0.061. Let x = -153 - -150.99. Let v = x + u. Sort v, 0.1, 5 in ascending order.
v, 0.1, 5
Suppose -3*t + 8 = 2. Let o be (-1)/((-21)/9 + t). Put -0.4, o, -0.3 in increasing order.
-0.4, -0.3, o
Let v(t) = 5 + t**2 - 4 + 11*t - 2*t**2. Let o be v(11). Put -2, o, 2 in decreasing order.
2, o, -2
Let y = 1 - 1. Let j(f) = -f**3 + 11*f**2 - 2*f + 2. Let o be j(11). Let k be ((-15)/o)/((-10)/(-8)). Put k, 3, y in increasing order.
y, k, 3
Suppose -3*g - 5 = -2*g. Let o(u) be the third derivative of -u**5/60 - u**4/3 - 5*u**3/3 + 4*u**2. Let l be o(-7). Sort 5, l, g in decreasing order.
5, l, g
Let p = -0.34 - -0.04. Let w = 0.2 - -0.3. Put -3, w, p in descending order.
w, p, -3
Let q be (-3 + (-28)/(-6))/((-3)/(-9)). Sort 2, -5, -4, q in ascending order.
-5, -4, 2, q
Let s = -0.1 + 1.1. Suppose 3*a - 7*a - 20 = 0. Put a, s, 0.4 in decreasing order.
s, 0.4, a
Suppose -b = -11 - 0. Suppose -8*n = -b*n - 18. Sort n, 3, -5 in decreasing order.
3, -5, n
Let r be (-1)/3*0 + -5. Let c = 6 + r. Sort -2, c, -5 in decreasing order.
c, -2, -5
Let f = -3 + -1. Let p = -90 - -87. Put p, 0, f in ascending order.
f, p, 0
Let l(q) = -q**2 + 5*q + 6. Let d be l(6). Suppose 3*v + v + 2*w = 6, 4*v + 4*w - 12 = d. Sort -2, -6, v in ascending order.
-6, -2, v
Suppose 3*r + 1 = 7. Let g(x) be the first derivative of x**4/4 - x**3/3 + x - 1. Let a be g(r). Put -2, a, -1 in descending order.
a, -1, -2
Suppose 0 = -t - 2*t + 6. Let q be 2/(-5) + (-23)/5. Put t, -3, q in decreasing order.
t, -3, q
Let y be (-1)/(-1) + 2 + 0. Suppose -r + 10 + 1 = 3*j, -j = -3*r + y. Sort 1, r, -3 in decreasing order.
r, 1, -3
Suppose 0 = 2*u + 4*y - 2, -u + 6*y - 3*y - 4 = 0. Let o(k) = k**3 + 4*k**2 - 2*k - 4. Let s be o(-4). Sort s, -5, u.
-5, u, s
Let d = 9 + -47/5. Put d, -0.02, 0.1 in increasing order.
d, -0.02, 0.1
Let p = 0.06 + -0.16. Put 2, 5, p in descending order.
5, 2, p
Let o = -7 - -5. Let u be (1 - 0)*(1 - o). Put 0, 4, u in ascending order.
0, u, 4
Let j be (0 - 3)/(0 + 1). Put -6, 5, 2, j in descending order.
5, 2, j, -6
Let u(b) = b - 10. Suppose d + 4*v + 49 = 4*d, d = -v + 14. Let f be u(d). Sort -5, -8, f.
-8, -5, f
Let j be -3 - (-33)/6*2. Let x be (-20)/(-3) - j/12. Suppose -x + 3 = -3*u. Put -1, -4, u in ascending order.
-4, -1, u
Let v be 7 + (-2)/(-4)*4. Let r be 3/v - (-16)/(-3). Put r, 3, -2 in descending order.
3, -2, r
Let r be (1 - 4) + 70/25. Sort -5/3, r, -5 in descending order.
r, -5/3, -5
Let s = 13 - 12. Put 2, s, -4 in ascending order.
-4, s, 2
Let h = -1.3 - -1.1. Let l = 15 - 6. Let k = -14 + l. Put 0.4, h, k in increasing order.
k, h, 0.4
Suppose -13 + 1 = -2*c. Sort -2/3, c, 2 in increasing order.
-2/3, 2, c
Let q = -20 - -17. Suppose 9*l - 4*l = 15. Put q, 4, l in increasing order.
q, l, 4
Let k(x) = -6*x**3 - x**2 - 2*x - 1. Let l be k(-1). Let w be (-2)/l*(-9)/(-2). Put 1, -1/3, w in ascending order.
w, -1/3, 1
Let j = -236/7 + 34. Sort 4, j, 0.
0, j, 4
Let s be (2/18)/(15/30). Sort 6/25, s, -1.
-1, s, 6/25
Let k be (-9)/((15/(-2))/5). Let w = k - 12. Let o be (-5)/(-15) - (-20)/w. Sort 1, -4, o in decreasing order.
1, o, -4
Let t = -35 - -36. Sort 0, t, -47.
-47, 0, t
Let l(o) = -o**3 + 6*o**2 + 3. Let k be l(6). Let f(t) be the third derivative of t**4/12 - 4*t**3/3 + 2*t**2. Let w be f(6). Put w, k, -4 in descending order.
w, k, -4
Suppose 0 = -3*d - 0 - 12. Let c(b) = -b**2 + 7*b - 6. Let v be c(6). Put v, 5, d in descending order.
5, v, d
Let v = -0.4 + -5.6. Sort 5, -0.4, v.
v, -0.4, 5
Suppose -2*i + 4*i = 28. Suppose 2*h - 2*b = -0 + i, 3*h - 6 = -2*b. Put -9, -4, h in descending order.
h, -4, -9
Let t be (0 + (-3)/14)*-2. Let h = 1.3 + -3.3. Let r be (-12)/10*(-1)/2. Put r, t, h in increasing order.
h, t, r
Suppose 0 = 2*f - 5*f + s + 74, 4*f + 4*s - 88 = 0. Suppose 0 = -2*p - 2*j, -6*p + j = -p + f. Sort p, -2, -1 in ascending order.
p, -2, -1
Suppose x - 14 = -5*l, -3*l - x - 6 = -16. Put -15, -3/5, l in descending order.
l, -3/5, -15
Let j = -0.1 + 0.6. Suppose x = -3*w + 17, -x = 3*x - 4*w + 12. Suppose -g - x*c = 5, 3*g + 2*g - 31 = 4*c. Sort g, j, 0.
0, j, g
Suppose -2*y - 2*h + 13 = 3*y, 12 = 3*y - 3*h. Suppose -2*n = 3*r - 13, -r = y*n - 0*r - 9. Sort -1, n, 5.
-1, n, 5
Let k = -73.1 - -73. Sort -0.11, 1, k in descending order.
1, k, -0.11
Let k(q) = q**2 + 5*q + 3. Let z be k(-3). Suppose o + 0 = 4. Sort o, z, 5 in ascending order.
z, o, 5
Let s be 14/(-21) - (-1)/(-3). Sort 0, -3, -2, s in decreasing order.
0, s, -2, -3
Let f be 2476/(-140) + (-3)/5. Let p = -18 - f. Let g = 5 + -7. Put p, -0.4, g in increasing order.
g, -0.4, p
Let b(f) = 2*f**2 + 5*f - 12. Let z be b(-4). Sort 3, 2/33, 2, z in increasing order.
z, 2/33, 2, 3
Suppose 3*p - 5 = -23. Let q be p*((-8)/(-3))/4. Let s = -6 - -4. Put s, -5, q in ascending order.
-5, q, s
Suppose -k - 3*l = l + 5, -4 = -4*k - 4*l. Suppose -3*p = -p + 5*g + 13, -4*g - 8 = p. Put k, -14, p in desce