n descending order.
y, -0.1, -5
Suppose 3 - 13 = -5*l. Put -8, l, -2 in decreasing order.
l, -2, -8
Let q = 8.953 + 0.047. Put 0.1, q, -2, 3/5 in increasing order.
-2, 0.1, 3/5, q
Let w = -2.969 - 0.031. Put w, 3, 3/2, -5 in increasing order.
-5, w, 3/2, 3
Suppose -4*q = z + 3*z + 36, -3*z = -3*q - 3. Let r be 2 + 3/((-6)/2). Suppose g - 2 = r. Sort 0, q, g in ascending order.
q, 0, g
Let c be (-48)/(-220) + 3/(66/4). Put c, -0.2, 0.02 in decreasing order.
c, 0.02, -0.2
Let o(i) = -i + 9. Let w be o(7). Let v be 1 + w - (2 - 2). Sort v, -5, -6.
-6, -5, v
Let z = -35 + 32. Put 2, 4, z in decreasing order.
4, 2, z
Let d = 15.4 + -14. Let m = -1.5 + d. Sort -5/6, m, -0.4 in descending order.
m, -0.4, -5/6
Suppose -4 = -0*s - 4*s. Suppose 2*x - 4*z = -16, -3*z + s + 5 = 0. Suppose 4*y + 11 = 3. Sort 1, x, y.
x, y, 1
Let v(t) = 2*t + 10. Let b be v(-3). Suppose 4*l + 19 = 5*h - 3, l + 11 = 4*h. Sort 2, b, l in descending order.
b, 2, l
Let b = 13 - 12. Let x = -3 + b. Put x, -5, 2 in increasing order.
-5, x, 2
Suppose -3*c = -0*c. Let x(w) = -1 - w**2 - 1 + 5. Let j be x(c). Put 2, -2, j in ascending order.
-2, 2, j
Let g = 4.98 + 0.02. Let f = -3 + -2. Let s = 8 + f. Sort g, s, -3.
-3, s, g
Suppose 4*p + 4 = -2*r, 3 - 7 = 2*r. Put 1, p, -3 in ascending order.
-3, p, 1
Let x be ((-60)/(-10))/(((-2)/1)/(-2)). Put -5, 2, x in decreasing order.
x, 2, -5
Suppose 0 = -4*i - 6 - 14. Suppose 0 = 3*o - 8*o + 10. Suppose o*r + 10 = -0*r, -2*q + 5*r = -31. Sort -4, q, i.
i, -4, q
Suppose -2*v + 4 = 2. Let r(o) = -4*o**3 + 1. Let w be r(v). Sort w, 2, 3 in descending order.
3, 2, w
Let r = -50.5 + 37. Let v = -14 - r. Sort v, -4, -3 in decreasing order.
v, -3, -4
Suppose -1 - 3 = -j, 2*j = -q - 10. Put q, 1, -5 in increasing order.
q, -5, 1
Let g = -61 + 63. Put g, 4, 1, -1 in descending order.
4, g, 1, -1
Suppose 2*p = -0 + 4. Put 6, p, -1 in increasing order.
-1, p, 6
Suppose 4*q + m = 3*q - 2, m + 17 = 4*q. Let u be 0 - (-1 + 2 - 2). Suppose j + n = -0*j + 8, 3*j + 4*n = 28. Put j, q, u in descending order.
j, q, u
Let s be 0/((-2)/4*-2). Suppose 0*a + a - 3 = s. Sort -2, a, 5 in descending order.
5, a, -2
Let x = -3.07 + 0.07. Let j = -2.5 - x. Put -2/5, j, 1/5 in descending order.
j, 1/5, -2/5
Suppose -25 = -5*r - 3*l, r - l + 2 = -1. Suppose r*s + 3*p = 7*p + 8, -3*p = 0. Sort -4, -0.4, s in increasing order.
-4, -0.4, s
Let r = -1 + 1. Let k = -0.2 - r. Let n = 4 - 4.3. Sort k, 5, n in increasing order.
n, k, 5
Let f be (-22)/6 - 4/(-6). Let d(b) = -b**2 + b - 7. Let y(j) = -2*j**2 - 8. Let i(m) = 3*d(m) - 2*y(m). Let w be i(-5). Put 0, w, f in ascending order.
f, 0, w
Let y be (-18)/42 + (-32)/7. Let f be y/(-4)*6/(-15). Sort -0.4, -0.3, f in descending order.
-0.3, -0.4, f
Let b(n) = n**3 - 4*n**2 - n - 19. Let o be b(5). Put o, 4, 2 in ascending order.
o, 2, 4
Let b = 1.2 + -0.2. Let l = 287/15 + -19. Sort l, b, 4 in descending order.
4, b, l
Let k(i) = -2*i**3 + 18*i**2 + 3. Let r be k(9). Let x = 0 + -1. Sort r, x, -3 in decreasing order.
r, x, -3
Suppose 0 = v - 5 + 2. Let w = -20 - -16. Put 2, w, v in ascending order.
w, 2, v
Suppose 3 = 5*d - 2*d. Let l be ((-4)/3)/(1/(-3)). Suppose -12 = -7*q + 3*q. Sort l, d, q in ascending order.
d, q, l
Suppose u = 3*w + 2, -3*u - u = 4. Let z be -1 - w/((-3)/(-15)). Sort z, -5, -2 in decreasing order.
z, -2, -5
Suppose -5*l - 19 = 3*i + 21, 0 = 2*i + 5*l + 35. Sort i, 2, 1.
i, 1, 2
Suppose 0*t + 4 = t. Let q = -1 - -3. Suppose -3*x + 4 = -q*u, -x = -u - 2*u - 6. Sort t, u, -4 in descending order.
t, u, -4
Let g = -144.5 - -145. Sort -5, -2/11, 1, g in decreasing order.
1, g, -2/11, -5
Let m = 9 + -9. Let f be (4 - 2)*(0 + -1). Let i = f - -5. Put -2, m, i in decreasing order.
i, m, -2
Let y(l) be the second derivative of l**5/20 - l**3/2 + l**2 - 2*l. Let j be y(2). Sort j, 3, -3 in descending order.
j, 3, -3
Let y = 81 - 79. Put -5, y, -0.4, 5 in descending order.
5, y, -0.4, -5
Let w = 23 + -23. Sort -0.4, 1/5, w in increasing order.
-0.4, w, 1/5
Suppose 0 = -12*k + 7*k. Let h(c) = -c + 2. Let n be h(0). Sort k, n, 5 in descending order.
5, n, k
Let j = 15 + -13. Let v = 2 + j. Suppose -3 = -c + u - 3*u, -3*c - 11 = -4*u. Put v, 0, c in ascending order.
c, 0, v
Suppose -u - 4*u = -10. Suppose -3*a = -0 + 18. Let c = a + 1. Sort -3, c, u in decreasing order.
u, -3, c
Let q(c) be the first derivative of -c**3/3 - 9*c**2/2 - 11*c - 6. Let r be q(-8). Sort r, -5, 4 in descending order.
4, r, -5
Suppose 0*d + 7 = 4*d - 5*i, 3*d + 5*i + 21 = 0. Suppose 2*z - 3*h = 19, 0 = -4*z - 3*h + 6*h + 29. Sort z, -5, d in descending order.
z, d, -5
Let z = 99 - 99. Put 4, 2, z in descending order.
4, 2, z
Suppose 2*v + 12 = -2*v. Let c = 3 + -3. Sort c, 4, v.
v, c, 4
Let a = 10 - 11. Let z = a + -4. Put -1, z, -4 in decreasing order.
-1, -4, z
Let k be (-1 + -1 + 1)*0. Sort -1, 1, k in increasing order.
-1, k, 1
Let o be 21/2*(-10)/15. Sort -3, 3, o.
o, -3, 3
Let z = 4717/18 - 262. Let c = -0.1 + -0.1. Sort -5, z, c in descending order.
z, c, -5
Let t = -141 + 146. Sort t, 2/15, 2/13, 0.5 in decreasing order.
t, 0.5, 2/13, 2/15
Suppose 6 = -3*t + o, -2*o + 3 + 2 = t. Let m = 24 - 29. Sort 0, t, m in decreasing order.
0, t, m
Suppose 5*a - 35 = -5*m, -2*a + 2 = -m - m. Sort -3, m, -8, -2 in descending order.
m, -2, -3, -8
Suppose 2*t + 1 = 3*k, -3*k + 11 = t - 2. Let j = -126 + 84. Let b be ((-2)/6)/(7/j). Sort b, 4, k.
b, k, 4
Let s(c) = -3*c**2 - c - 1. Let p be s(-1). Let m = p - -2. Suppose 14 = 2*u + 3*a, -2*u + 22 = 3*u + a. Put 1/2, u, m in descending order.
u, 1/2, m
Suppose 0 = 3*o - 15 - 0. Let s(l) = -2*l - 5. Let j be s(-4). Let v = 2 - j. Put -5, o, v in ascending order.
-5, v, o
Let i(s) = s**2 + 8*s + 4. Let k be i(-7). Let u = -4 - -2. Put -4, k, u in increasing order.
-4, k, u
Suppose -3*u - 11 = 2*d + 9, -8 = 2*u. Put -2, 2, 1, d in ascending order.
d, -2, 1, 2
Let t(w) = -w**2 + 5*w - 5. Let b be t(4). Suppose -4 = -3*n + 5. Suppose 0 = 2*h + n*h + 10. Sort h, b, 1.
h, b, 1
Let a(m) = -2*m**3 + 14*m**2 + 25*m - 2. Let n(h) = -h**3 + 7*h**2 + 12*h - 1. Let u(d) = -4*a(d) + 9*n(d). Let s be u(8). Let b = -3 + -1. Sort 1, s, b.
b, s, 1
Let a = 1.72 - 1.77. Sort -18, 5, a.
-18, a, 5
Let k(w) = -2*w + 8. Let t be k(3). Put 0, 1, -1, t in decreasing order.
t, 1, 0, -1
Let f be -1*25 + (1 - 4). Let g be (-596)/f - 2/7. Suppose 2*s - 4*b = s + g, b + 9 = 4*s. Put -2, 0.1, s in increasing order.
-2, 0.1, s
Let f be 6/(-2) + 1/((-40)/(-115)). Sort 40, 5, f in decreasing order.
40, 5, f
Let o(g) = -7 - g - 2*g**2 + 3*g**2 + 2*g. Let m be o(6). Suppose -3*a - 17 = -2*q + 8, m = -5*a + 2*q. Put a, -1, 3 in descending order.
3, -1, a
Suppose -3*q + 24 = 3*l, 3*q = 4*q + 4*l - 23. Suppose -3*f - q*m = 6, -5*m - 9 = -f + 5*f. Sort f, -0.5, 2.
f, -0.5, 2
Let c = -0.038 + -3.062. Let h = 3 - 2.9. Let v = c + h. Put -5, v, 1 in increasing order.
-5, v, 1
Let m = -3283/11 + 299. Sort -4/3, 1/3, m in descending order.
m, 1/3, -4/3
Let j = -1 - 2. Suppose 6*v = 3*v. Suppose v = 5*g - 3 - 7. Put 5, j, g in ascending order.
j, g, 5
Suppose 3*o = 7 - 1. Suppose 0*l + 50 = 5*l. Suppose -o*s + 7*s + l = 0. Sort s, -4, 1.
-4, s, 1
Let i be -4 - (1 + -1)/5. Sort -1/2, i, 0.2 in descending order.
0.2, -1/2, i
Let f = -171 - -168. Put 39, -0.3, f in decreasing order.
39, -0.3, f
Suppose -5*v - 15 = 0, -2*v = -4*n - 5*v + 7. Sort n, 1, 14 in descending order.
14, n, 1
Let h = -23.97 - -24. Sort -3, 5, h in decreasing order.
5, h, -3
Let d = -11 + 10.78. Let t = d + 4.22. Sort t, -3, 3 in ascending order.
-3, 3, t
Let y = -71 + 215/3. Let w = 2 - -1. Let v be 1/(20/(-68)) + w. Put y, v, -4 in decreasing order.
y, v, -4
Suppose 0 = -3*a + b - 5 - 3, 0 = -3*a - b - 16. Put -1, a, 3 in increasing order.
a, -1, 3
Let y be -4*7/112 - (-58)/8. Sort 4, -6, 0, y in ascending order.
-6, 0, 4, y
Let s be ((-5)/15)/((-3)/36). Put -1, 5, s in descending order.
5, s, -1
Let t(y) = -y**3 - y**2 - y - 1. Let s be t(-2). Let g(r) = -r**3 + 6*r**2 - 6*r + 2. Let u be g(s). Put -2, u, -1 in descending order.
-1, -2, u
Let k = -0.07 - 2.93. Let p = 25.8 - -3.2. Let o = 29.3 - p. Sort o, k, -0.3 in ascending order.
k, -0.3, o
Let i = -0.01 + -1.59. Let y = i + 1.65. Sort y, -1, 2/9 in ascending order.
-1, y, 2/9
Let s = -11.2 + 11.3. Put -3/5, -0.1, 