 in decreasing order.
3, t, a
Let o = -10 + 7. Let v = o + 2.5. Sort 5, v, 1/7 in descending order.
5, 1/7, v
Let a = 5793 + -17525/3. Let u(f) = f**3 - 6*f**2 - 4*f. Let h be u(4). Let w = a - h. Sort 0, -4, w in descending order.
0, w, -4
Suppose 12 = -2*r + 14. Sort 4, -1, r, 6.
-1, r, 4, 6
Let q = 17 - 11. Let j = q + -5. Suppose 2*b = 4*x + 12, 0*x + 2*x + 3*b - 2 = 0. Sort 5, j, x in decreasing order.
5, j, x
Let k be (3 - (8 + -4))/1. Let w(c) = -c - 1. Let u be w(-3). Sort k, u, -5 in ascending order.
-5, k, u
Suppose b = 5*b - 8. Suppose b*v = -1 - 3. Suppose 4*k - k + 5 = -2*n, 15 = -5*k - 2*n. Put 3, k, v in ascending order.
k, v, 3
Let q be 30/(-8)*(-2)/10. Put q, -5, -0.1 in ascending order.
-5, -0.1, q
Suppose -9*n + 12*n = 63. Let h be (3 - n/6)*-2. Sort 0, 4, h.
0, h, 4
Let x be ((-3)/(-2))/(5/2). Let l = 172 + -170. Sort x, -4, l.
-4, x, l
Let o = -25.6 - -30.6. Let g = -1.9 + 2. Sort -0.05, g, o in decreasing order.
o, g, -0.05
Let v be 1/(-6) - 0/1. Put v, -5, -1 in decreasing order.
v, -1, -5
Let r(m) = m**3 + 4*m**2 + m - 1. Let h be r(-3). Suppose -4*v - h = 7. Sort -4, -2, v in increasing order.
-4, v, -2
Let y = -19 - -55. Let u be 10*(-3)/y - -1. Sort 2, u, -4.
-4, u, 2
Let u(j) = -j**3 + 5*j**2 - 3*j - 3. Let p be u(4). Let d(f) = 2*f**2 + 4*f - 1. Let i be d(-3). Suppose 3*o = o. Put o, p, i in increasing order.
o, p, i
Let u(w) = w - 5. Let p be u(0). Let s(r) = r**2 + 4*r - 3. Let v be s(p). Suppose 2*x + v = -6. Sort 2, 0, x.
x, 0, 2
Suppose 13*v - 4 = 12*v. Let x be -1 - v/(40/(-6)). Sort -2, 0.1, x in decreasing order.
0.1, x, -2
Let n be 5/(-7)*24/60. Put n, -1/5, 0, 2 in decreasing order.
2, 0, -1/5, n
Suppose -4*t + 2*i + 22 = 0, 21 = -3*i + 6. Let u = -95.6 + 96. Put u, t, 0.1 in decreasing order.
t, u, 0.1
Let d = 4 + -5. Put 2, 0, d in descending order.
2, 0, d
Suppose -2*m - 7 = q, 2*m = -2*q + 7*q + 23. Suppose k + 0*k = 5. Let c(t) = -2*t + 5. Let w be c(k). Sort -0.4, m, w in descending order.
-0.4, m, w
Suppose -4*y = -y. Put y, 3, -5 in decreasing order.
3, y, -5
Let k = -7 - -6. Let s be -1 - -1 - (-3 - k). Let x be -2 + 1 - 1/(-3). Put x, s, -3 in descending order.
s, x, -3
Suppose -8 = 2*l - 2*d, l + d = 5*d - 16. Suppose l*c + 4*c - 32 = -4*a, 2*a = 3*c + 1. Sort 3, 1, a in increasing order.
1, 3, a
Suppose 4*r + 3 = 23. Let c be (0 - (1 + -2))*0. Suppose -g + 4*g = c. Put g, 4, r in ascending order.
g, 4, r
Let m = -8 - -13. Sort -2, m, 1, 4 in descending order.
m, 4, 1, -2
Let b be (1/3)/((-18)/(-1014)). Let l = -19 + b. Put l, -3, -5 in increasing order.
-5, -3, l
Suppose 4*f = 34 - 14. Put 4, f, 1 in ascending order.
1, 4, f
Suppose 2*d - 39 = -29. Let t be 9/10 + 1/(-2). Put d, -3, t in ascending order.
-3, t, d
Let q = 28 + -42. Put -2, -5, q in decreasing order.
-2, -5, q
Let i = 1 - 1. Suppose 0*p + 28 = 5*r - 4*p, -p = -3. Suppose 0 = -r*u + 9*u - 5. Sort i, u, -5 in decreasing order.
u, i, -5
Let c = -0.7 + 0.4. Let a = c - -0.5. Let f be 2/(-2) + 10/6. Put f, 2/11, a in decreasing order.
f, a, 2/11
Suppose -5*y = -3*s + 37, 0*s = 4*s - y - 21. Suppose 13 = 4*u - 5*l, s*l = -2*u - 0*u - 26. Sort u, 2, -5.
-5, u, 2
Let s = 0 - 0. Suppose s = 6*j - 3*j + 12. Sort j, -3, 2 in increasing order.
j, -3, 2
Let j be ((-1)/(-1))/(6/(-2)). Let c = 6 - 4. Suppose -c*h - 3*h - 15 = 0. Sort 0.3, j, h.
h, j, 0.3
Let g = 4.9 + -5.37. Let k = g - 0.03. Sort -0.4, k, -2/3 in descending order.
-0.4, k, -2/3
Let g be (0 - 4/(-4))*6. Suppose -4*m = 4*h + 22 - g, 5*h + 25 = 0. Put m, 0, 5 in decreasing order.
5, m, 0
Let t(y) = 3*y - 4. Let c be t(-4). Let k = 11 + c. Sort -4, k, 1 in increasing order.
k, -4, 1
Suppose -16 + 4 = -3*h. Let a = -1 - 2. Sort -4, h, a in increasing order.
-4, a, h
Let k = -33 + 33. Sort 0.7, k, 2/9, 4 in increasing order.
k, 2/9, 0.7, 4
Let j be -2*(-3)/6*8. Suppose 0 = -3*q - q - j. Sort 4, q, 0 in increasing order.
q, 0, 4
Let t = 9 + -6. Sort 1, t, -2.
-2, 1, t
Let s = 50 - 52. Let x be -1*(-26)/12 - 2. Put s, 0.3, x in descending order.
0.3, x, s
Suppose -h - 2*p = 2, 3*h - 2*p = h + 14. Suppose 0*i = h*i. Sort i, -1, 5 in descending order.
5, i, -1
Suppose 3*l = -3*w - 39, -3*l - 2*w - 62 = l. Let j = l + 16. Sort 0.2, j, 0.
j, 0, 0.2
Suppose 4*r + 15 = -p, 5*r = 5*p - 2 - 48. Suppose 0 = -4*n + 5*b - 3*b + 26, -4*b - 4 = 0. Let f = 4 - n. Sort p, 3, f in increasing order.
f, 3, p
Let o be (-33)/(-7) - (-8)/28. Let p(r) = 2*r + 1. Let u be p(2). Suppose 8 = -4*b - j, u*b + 11 - 1 = o*j. Put b, 5, 3 in decreasing order.
5, 3, b
Let j(t) = t**3 + 15*t**2 + 14*t - 5. Let c be j(-14). Sort 3, c, -1 in decreasing order.
3, -1, c
Let s = 4 - 4.1. Let o = 0.1 + -0.6. Let h = -0.1 - o. Sort 1, s, h.
s, h, 1
Let j(z) = -z**3 + 3*z**2 - 4*z + 4. Let c be j(2). Let m = -0.6 + -2.4. Let x = m - -5. Sort x, c, -0.5.
-0.5, c, x
Suppose -5*n + 3*n - 4 = 0. Sort 5, n, 3 in decreasing order.
5, 3, n
Let b(s) = -s**3 - 7*s**2 + 7*s - 6. Let z be b(-8). Put -2/13, z, -46 in descending order.
z, -2/13, -46
Let l(v) = v**2 + 2*v - 1. Let k be l(-3). Let x be ((-39)/(-5))/((-3)/15). Let d be (-123)/x - 10/65. Put k, d, -4 in increasing order.
-4, k, d
Let w = 91 - 91. Sort -5, -1, -4, w in decreasing order.
w, -1, -4, -5
Let v = 0.7 + -3.7. Let k = -3.48 - -4. Let r = -0.12 + k. Put v, r, -5 in ascending order.
-5, v, r
Suppose 0 = -5*t - 3*s - 28, -5*t - 9 = -4*s + 12. Put -35, t, 0 in decreasing order.
0, t, -35
Let d = 0.2 + -0.3. Let r = 3/14 - -27/70. Sort r, 0.2, d in increasing order.
d, 0.2, r
Let s = -0.111 + 5.111. Sort 1, -1, s, 17 in decreasing order.
17, s, 1, -1
Let l be 9/(45/(-4))*-1. Sort 0, l, -1/4 in descending order.
l, 0, -1/4
Let u = -7.3 + 7.8. Sort u, 2, 3, -1/7 in decreasing order.
3, 2, u, -1/7
Let t be (-6)/10 - 169/(-40). Let s = t + -39/8. Let r = -1 + 0.8. Put s, 0.2, r in decreasing order.
0.2, r, s
Let i = 29 + -259/9. Let v = 0.9 - 0.7. Sort i, v, 5 in descending order.
5, i, v
Let g = 94 + -473/5. Let x be (-3)/(-2)*(-4)/4. Sort x, g, -5 in decreasing order.
g, x, -5
Suppose 0 = 4*g + 4, 0*g - g = 4*a - 19. Suppose k - 1 = 3. Sort -3, k, a in increasing order.
-3, k, a
Let n be 0/(1 + 0 + -2). Let c be -4 + n*3/3. Suppose 3*q - 1 = 3*p + 5, 5*p + 3 = -2*q. Sort c, q, 2.
c, q, 2
Suppose -4*h + 2*s + 0*s = 16, -4*s + 24 = -4*h. Let l = 0.094 - 4.104. Let d = l + 0.01. Sort h, d, 4.
d, h, 4
Suppose 3*x - 3*j = 6, 6 = -2*x - 3*j + 5. Sort x, -14, 3 in increasing order.
-14, x, 3
Let i be (-6)/(-20)*(-175)/(-42). Sort i, -7/4, -5.
-5, -7/4, i
Let d = 678.9 + -721. Let w = d + 44. Let h = w - 2. Sort h, -3, -1/2 in increasing order.
-3, -1/2, h
Let k = 0 - -0.5. Let u = k + -0.3. Let l = 0.3 - 0.5. Put -2/5, u, l in descending order.
u, l, -2/5
Let d = 37 + -6. Let i be 5/2*(-13)/(-1). Let l = i - d. Sort l, 1, 0.01 in increasing order.
0.01, 1, l
Let u = 15 + -8. Let f = 11 - u. Let l = 6 - 9. Sort l, f, 5 in decreasing order.
5, f, l
Let n = -12 - -27. Suppose -2*l + n = l. Sort l, -4, 1.
-4, 1, l
Let y = 61 + -64. Sort 4, y, 12, 2 in descending order.
12, 4, 2, y
Let x = -31 - -31. Sort -3, 2/11, x in increasing order.
-3, x, 2/11
Suppose 0 = -3*x - 4*c + 20, x - c + 2 = -3. Let f be (-1 - (-3 - 0))/1. Suppose h + f = -x. Sort h, 5, -4 in descending order.
5, h, -4
Let o = -0.68 + 0.23. Let r = -4 + 4.05. Let v = o - r. Put 1, v, 4 in decreasing order.
4, 1, v
Let j = 188 - 191. Sort j, 2, 40 in increasing order.
j, 2, 40
Let p = -0.403 + -0.097. Suppose -i + u - 2*u = -7, 3*u = 4*i. Sort i, p, -0.1.
p, -0.1, i
Let g = 31/5 + -61/10. Put -3, 1, g in decreasing order.
1, g, -3
Let c be 2 - (4 + 3 + -6). Put c, 4, 3 in increasing order.
c, 3, 4
Let k = -0.26 - -0.06. Let p = 11/30 - -3/10. Put p, 1, k in ascending order.
k, p, 1
Suppose 2*i + 4*q - 32 = 0, 0 = -4*i - 4*q + 3*q + 36. Suppose 2*w - 5*f - i = 0, 0*w - 3*f = 2*w - 8. Put w, 3, -1 in decreasing order.
w, 3, -1
Let n be 3/9*-2 - 17/(-3). Sort 3, -4, n.
-4, 3, n
Let s = -3.9 + 4. Let q(u) = 19*u - 2. Let g be q(2). Suppose 3*k = -2*c + 7, 5*k - 4*c - g = k. Sort k, s, -0.5 in decreasing order.
k, s, -0.5
Suppose 4*s + 1 = 3*x - 2, -2*x - 2*s + 16 = 0. Suppose x*r + 20 + 20 = 0. Let t be (-2)/r - (-44)/(-48). Sort 2/11, 0, t in decreasing order.
2/11, 0, t
Let w = -8 - -6. Let z = w - -2.5. Let n be 19