 v = 17 - 13. Sort 5, v, -0.4 in descending order.
5, v, -0.4
Suppose -x + 8 = h + 4*x, 3*h + 3*x - 12 = 0. Let v(o) = -o - 11. Let p be v(-8). Put 4, p, h in decreasing order.
4, h, p
Let l = 47/20 + -11/4. Put 9, 0.4, l in descending order.
9, 0.4, l
Let q = -0.4 + -0.6. Let w = q - -1.4. Let v = -27/2 - -14. Sort -4, w, v in descending order.
v, w, -4
Suppose -10*r + 8*r + 2 = 0. Sort -11, 3, r in descending order.
3, r, -11
Let m = -1.075 - -0.075. Sort 3, 0.1, m, 1/4 in descending order.
3, 1/4, 0.1, m
Let d = 14.68 + -0.68. Put d, 0, 4 in descending order.
d, 4, 0
Suppose 4*y - y = -15. Sort y, -4, 2 in decreasing order.
2, -4, y
Suppose -5*d - 12 = -5*p - 8*d, -4*p - 12 = -3*d. Let i(k) = k + 5. Let x be i(p). Let z be -1*(1 - 0)*0. Put z, -4, x in increasing order.
-4, z, x
Let z = 1.26 - 1.22. Sort 1, z, -0.5 in descending order.
1, z, -0.5
Let p = 2 - -1. Let r(s) = -s**3 + 7*s**2 - 7*s + 2. Let f be r(6). Sort p, -1, f in ascending order.
f, -1, p
Suppose 0 = 2*y + 3*y, -s = y + 38. Sort -2, 1, s.
s, -2, 1
Let c = 6.2 + 0.8. Let q = c + -7.2. Sort 0, -4, q in descending order.
0, q, -4
Suppose 4*z - 384 = -3*h, 0*z + 144 = h - 4*z. Let t = h - 1187/9. Sort 5, t, -2/7.
-2/7, t, 5
Suppose -f + 2*f - 3*u - 10 = 0, 0 = 2*f + 4*u. Let i be (6/45)/(f/(-6)). Sort i, -0.4, -3 in descending order.
i, -0.4, -3
Let x = 37/70 - 3/7. Let t = 1/3 - 1/2. Let y = 117/8 + -787/56. Sort x, y, t.
t, x, y
Let a = 1.8 + 1.6. Let l = 0.04 + 0.36. Let z = a - l. Put -2/19, z, -3 in increasing order.
-3, -2/19, z
Let g be 17/(-4) - (-1)/4. Suppose -4*b + 4*i = 0, b - 3*b - 3 = -3*i. Sort g, 2, b.
g, 2, b
Let b = 0.29 + -0.3. Let x = b + 0.41. Let w = -15/2 - -7. Sort w, x, -1/4 in descending order.
x, -1/4, w
Let f = 21 - 23. Sort -4, 2, f in decreasing order.
2, f, -4
Suppose q + 30 = -q + 4*c, -3*c = q - 10. Let k = -51 + 47. Put 1, k, q in descending order.
1, k, q
Let m be (-4)/(-10) + (-2)/5. Let s be (0/3)/(-2) - m. Sort -2, s, 5.
-2, s, 5
Let u be (-30)/(-4)*(-16)/(-24). Suppose 12 = 3*f - 2*f + 4*s, u*f + 5*s = 30. Suppose 4*l + 2*q = -0*q - 26, 33 = -2*l - 5*q. Sort 2, l, f in descending order.
f, 2, l
Let g be (-32)/24 - 62/(-42). Let c(p) be the third derivative of p**5/60 + 5*p**4/24 + 2*p**3/3 - p**2. Let t be c(-5). Sort g, t, 0.1 in ascending order.
0.1, g, t
Suppose -15*c = -8*c. Sort 13, -1/6, 2, c.
-1/6, c, 2, 13
Let p be (-1)/(((-8)/6)/4). Let g be p*-2*(-8)/16. Suppose 0 = 2*q - t + 2, -t + 5 = q - 0. Put g, -3, q in ascending order.
-3, q, g
Let j be (-4)/(-6) + (-50)/(-6). Let w = j - 6. Suppose 0 = w*k + 15, -2*o - 7 + 22 = -5*k. Sort o, 4, 2.
o, 2, 4
Let o = -16 - -11. Suppose 0 = -4*r - 0*r + 4. Let b = -86 + 85. Put o, r, b in decreasing order.
r, b, o
Let h = 0.08 + -1.98. Let w = -2 - h. Suppose 25 = 5*v - 5*o, 3*v = 5*v + 3*o + 10. Put w, 4, v in increasing order.
w, v, 4
Suppose 0 = -3*k - 3*k + 12. Put k, 4, 0.4 in increasing order.
0.4, k, 4
Let y = -32 - -28. Sort y, -1/5, -16 in descending order.
-1/5, y, -16
Suppose 4 = 5*r - r. Put r, 5, -4 in increasing order.
-4, r, 5
Let z be 4/(8/(-26)) - 1. Let k be 4/z*35/75. Put -2/5, k, 4 in descending order.
4, k, -2/5
Let q(u) = u**2 + 3*u - 4. Let v be q(-4). Let l = v - -1. Let n = -18 + 15. Sort l, n, 5.
n, l, 5
Let v = 2.45 - -0.6. Let u = 0.05 - v. Let o = 0.76 - 0.56. Sort o, -0.3, u in descending order.
o, -0.3, u
Let t = -5 - -8. Let j = 85 - 79. Sort 0.4, t, j in decreasing order.
j, t, 0.4
Let s = 73 + -71. Put -1/29, s, 4 in descending order.
4, s, -1/29
Let o = -16 + 21. Suppose 0 = -4*m - 4 - 4. Let q be ((-2)/(-6))/(2/(-6)). Put q, o, m in ascending order.
m, q, o
Suppose -3*c + 6 = -15. Let o = 3 - c. Let b be 4/(-18) + 86/(-18). Sort o, b, 3.
b, o, 3
Let x = 29 + -28. Sort x, 4, -4 in increasing order.
-4, x, 4
Let h(u) be the second derivative of -u**4/4 - u**3/3 + u**2/2 + 4*u. Let o be h(1). Sort 0, 5, o in descending order.
5, 0, o
Suppose 2*f - 9 - 1 = 0. Let s = 7 - f. Let i = -1 - -1. Sort s, -4, i in descending order.
s, i, -4
Let a = 0.9 + -0.5. Let j = -15 - -15.5. Sort 5, j, a in decreasing order.
5, j, a
Let g = -0.6 - -3.6. Let l be (4/2)/(2/(-4)). Let h be 11/(-10) + (-2)/l. Sort g, h, 4/7 in decreasing order.
g, 4/7, h
Let g = 217 - 2385/11. Suppose 0 = -3*s + s - 2. Sort g, 0, s.
s, 0, g
Let j(d) = d**3 + 4*d**2 + d - 2. Let u be j(-3). Sort u, -1, 3 in increasing order.
-1, 3, u
Let y be (-5)/(-1) - (3 - 3). Suppose 2*r - 4 = 0, y*j - 4*r = -r - 11. Sort j, -0.5, -4 in ascending order.
-4, j, -0.5
Let c(z) = z**2 + 3*z - 6. Let k(o) = -o**2 + 5*o - 5. Let l be k(5). Let j be c(l). Sort 3, -3, j.
-3, 3, j
Let n be 2/(-3) + 20/21. Let t = 3 + 2. Let c = -5 + t. Sort c, n, 3 in decreasing order.
3, n, c
Suppose 4*r + 22 = -5*c, 5*c - 8*r + 4*r = 2. Sort -3, 4, c in decreasing order.
4, c, -3
Let x(a) = -a**3 - 6*a**2 + 6*a - 5. Let m be x(-7). Suppose -5*y + 7 - m = -r, 2*y = -5*r + 2. Sort -4, y, 2 in ascending order.
-4, y, 2
Suppose -2*c = 8, -u = -0*c + c + 2. Suppose -2*x - 3*x + 15 = u*n, 4*n = 20. Suppose -2*a - 6 = 2*b, -4*b - a = 2*a + 14. Sort x, b, -1 in descending order.
x, -1, b
Suppose -10*s - 41 = -31. Suppose u + 70 - 24 = 4*t, 4*t + u = 50. Let z = 7 - t. Sort -4, s, z in increasing order.
z, -4, s
Let x(o) = -o**3 + 3*o**2 + 3*o + 3. Let i be x(4). Let g = 3 - -2. Put 2, i, g in decreasing order.
g, 2, i
Suppose 5*a - 6*a = -7. Sort -2, 5, a in descending order.
a, 5, -2
Let x = 217 + -869/4. Let q(n) = -2*n**2 + 4*n - 2. Let m be q(2). Let p be 63/165 - m/(-10). Sort x, p, -0.3 in descending order.
p, x, -0.3
Let n = -7.7 + 8. Let k = 22/119 + -8/17. Put n, k, 0.5 in decreasing order.
0.5, n, k
Let o(z) = z**2 - 12*z - 33. Let w be o(14). Let d = 0 + 3. Sort 1, w, d in decreasing order.
d, 1, w
Let f = 14 - 9. Suppose 5*r - 2*l = 13, r - f*l = -r + 1. Put -0.3, r, 5 in increasing order.
-0.3, r, 5
Suppose -10*v = -8*v + 2. Let z be (-1 - -2 - 2)*v. Put 4, z, -5 in ascending order.
-5, z, 4
Let l(a) = -a**2 + 15*a - 55. Let g be l(10). Suppose 0 = -3*p - 0*p - 12. Put 4, p, g in decreasing order.
4, p, g
Let y(p) = p. Let d be y(8). Suppose 3*u - d*u = 0. Sort -1, u, 4 in decreasing order.
4, u, -1
Let k be 2*-1 - 32/(-17). Let g = 0 - -4. Let i = -5.3 - -5. Sort g, i, k in descending order.
g, k, i
Let v(k) = -2*k - 4*k + 4*k + k. Let b be v(-4). Let m = -3 + 3.3. Sort 0.1, m, b.
0.1, m, b
Let b be (-2 - 3)/(-1*1). Let h be ((-1)/2)/(3/36). Let y = -5 - h. Put b, -1, y in increasing order.
-1, y, b
Let s = -46 + 42. Let b(j) = 7*j + 8. Let i(a) = -4*a - 4. Let l(r) = 3*b(r) + 5*i(r). Let u be l(s). Sort -5, u, 4 in decreasing order.
4, u, -5
Let u(c) = c**3 - 2*c**2 - 2*c + 2. Let f be u(2). Sort 4, 10, f.
f, 4, 10
Suppose -6*t + 2*t = -12. Suppose -u - u - 25 = -5*q, -14 = u - t*q. Put u, -3, -2/21 in increasing order.
u, -3, -2/21
Let z be ((-2)/(-1))/(6/12). Let d = -1 - z. Put d, -4, 3 in decreasing order.
3, -4, d
Let j be (-6)/(-2)*(-12)/9. Suppose 24*m = 20*m. Put j, 4, m in increasing order.
j, m, 4
Let c(y) = -y**2 - 6*y - 7. Let k be c(-3). Sort k, 5, -20 in increasing order.
-20, k, 5
Let b = -11 + 12.2. Let u = 1 - b. Let m = 1949/7 - 278. Put m, u, -0.3 in decreasing order.
m, u, -0.3
Let y(j) = -2*j + 60. Let s be y(30). Sort -1, 4, s in decreasing order.
4, s, -1
Let w = -4 + 2. Let n be 3 - (1 - (1 + 1)). Let i = n + -8. Put 4, w, i in descending order.
4, w, i
Let h = -2.4 - -2.5. Put -1/6, h, 2/5 in ascending order.
-1/6, h, 2/5
Let n be 1/6*22 + 2/(-3). Put -5, 0, 1, n in decreasing order.
n, 1, 0, -5
Let v be (0 - -6)/(-7 + 6). Sort -2, v, -4/9 in increasing order.
v, -2, -4/9
Let c = 0.12 - 7.12. Let w = -9 - c. Put 4, 3, w in ascending order.
w, 3, 4
Let n = 0 + 0.4. Let b = 187.4 + -188. Sort n, 2, b in increasing order.
b, n, 2
Let u(c) = -c - 15. Let p be u(-20). Sort 4, 3, -2, p in decreasing order.
p, 4, 3, -2
Let p = -373/5 + 75. Sort p, 1/4, -2/5 in descending order.
p, 1/4, -2/5
Let k = 17195/12 + -1432. Let u = k - 5/4. Let x = -503/4 - -126. Sort x, -0.1, u in decreasing order.
x, -0.1, u
Let s = 3 - -15. Suppose -2*c = 8 - s. Sort c, 3, -3 in decreasing order.
c, 3, -3
Let q = -14 + 10. Sort 3, q, 1.
q, 1, 3
Let k be 20/(-10)*(-2 - 0). Let a be 3 + -2 - -1 - -1. Put -2, k, a in increasing ord