ecreasing order.
8, 0.4, d
Let m = 269/5 - 54. Let l(k) = -2*k**2 + 48*k + 3. Let i be l(24). Put 0.1, m, i in descending order.
i, 0.1, m
Let f = 8 - 6. Suppose -7 = -30*b + 113. Put f, b, 5 in descending order.
5, b, f
Let t = 6 + -7.8. Let d = t + 0.8. Let y = 0.1 + 0.3. Sort y, 0, d in ascending order.
d, 0, y
Let o be 1 - (-3)/6*6. Suppose -5*r + o*b - 5 = 0, -r + 22 = -2*r + 5*b. Sort -1, r, 5 in decreasing order.
5, r, -1
Suppose 5*u = 6*u. Let d be 3*-1*(-2)/(-2). Let a be d/2 - 5/2. Sort -1, u, a in increasing order.
a, -1, u
Let b = 0.9 + -1.3. Let g = 33 - 18. Let q be (-10)/22*6/g. Put b, q, -5 in descending order.
q, b, -5
Suppose 0 = -147*p + 142*p - 20. Let a(k) = -k**3 + k**2 + k - 2. Let u be a(0). Put u, p, 5 in ascending order.
p, u, 5
Let t = 104 + -106. Put 3, t, -10 in descending order.
3, t, -10
Let c = -2/7 + 13/21. Put 4, -3, c in decreasing order.
4, c, -3
Let a = -0.04 - 0.36. Let v = 56.1 + -55.8. Let l = -0.1 - -0.3. Sort a, v, l.
a, l, v
Let u = 13 + -9. Suppose d = -8 + 1. Let y = 2 + d. Sort u, y, -1 in decreasing order.
u, -1, y
Let k be 7/3 + (-3)/9. Suppose k*f - 7*f + 10 = 0. Suppose -i = 4*c - 21, -5*c = f*i - 9 - 21. Put c, 3, -1 in descending order.
c, 3, -1
Let j(w) = -3*w - 40. Let d be j(-13). Sort 0, d, -4, 5 in decreasing order.
5, 0, d, -4
Let z = 8 - 8. Sort 2, z, -1.
-1, z, 2
Let j be (-2)/(-2)*(-5)/10. Sort j, -0.4, -0.3 in ascending order.
j, -0.4, -0.3
Suppose -l = -5*v + 23, 12 = 2*v + 3*l - 2*l. Suppose -v*c + 17 = b, 2 = b + 4*c - 12. Let s be (1/1)/(b/10). Put 4, s, -5 in descending order.
s, 4, -5
Suppose -4 + 1 = -z, -4*z + 6 = -3*i. Suppose -i*c + 35 = 5*l, 0 = -2*l - c + 3 + 12. Suppose -l*p - 12 = -p. Sort p, 3, 0 in increasing order.
p, 0, 3
Let a be (-8)/6 + (-4)/(-2). Let n = 0.5 - 0.3. Let t = -1/4 - -3/4. Sort t, a, n.
n, t, a
Let d = -11.8 + 12. Put 4, d, -3, -5 in decreasing order.
4, d, -3, -5
Suppose -5*x + 4*j - j + 25 = 0, -2*x = -3*j - 10. Suppose -2*i = -5*n + 11, -i - 17 = -5*n - 4. Sort -5, i, x in increasing order.
-5, i, x
Suppose z = -2*z - 2*s - 19, 3*z = -s - 14. Sort -4, z, 6, -1 in descending order.
6, -1, z, -4
Let b be -4 - (0 + 0) - -6. Let j = 0.25 - 0.2. Let i = -0.45 + j. Sort i, b, -1.
-1, i, b
Let w = -20.6 + 18. Let z = w - -3. Let k = z - 0. Sort -1, k, 3 in ascending order.
-1, k, 3
Let f = 11 - 7. Put -5, f, -4 in descending order.
f, -4, -5
Let h = 6 - 8. Let o = 5 - 2. Suppose 10*g = 5*g + 5. Put o, g, h in ascending order.
h, g, o
Let w = 16 + -15.5. Sort 3, w, -0.3 in increasing order.
-0.3, w, 3
Let m = 7.82 + 0.18. Let w = -16 + 19. Let z = w - m. Put z, -0.5, 3/5 in ascending order.
z, -0.5, 3/5
Let w(v) = -2*v**3 - 2*v**2 - v + 2. Let n be w(-2). Suppose n = 3*x + 3. Suppose g - 7 = -f - 0*f, -4*f = g - 22. Sort x, -3, g in decreasing order.
x, g, -3
Let j = -15 - -25. Suppose 3*m = -2*m + j. Let h be -1 - (-1 + 2)*-1. Sort m, -2, h in decreasing order.
m, h, -2
Suppose 0*u - 5 = -5*u. Suppose 4*l - 10 + 0 = -5*n, 0 = -3*l + 5*n + 25. Let f be 258/(-90) - (-2)/(-15). Put u, l, f in descending order.
l, u, f
Let y = -1.48 + 0.48. Sort y, 0.2, 2, -5 in decreasing order.
2, 0.2, y, -5
Let k(q) = q**3 + 7*q**2 - q - 3. Let z be k(-7). Sort -7, z, -2 in decreasing order.
z, -2, -7
Let c(h) = -h**3 - 9*h**2 - 8*h + 5. Let f be c(-8). Suppose 0 = 2*n - 0 - 22. Suppose -2*k + 4*p + 10 = 0, 5*p + n = 3*k + k. Put k, f, 0 in ascending order.
k, 0, f
Let c = -67 - -80. Put -0.4, 0, 2/15, c in ascending order.
-0.4, 0, 2/15, c
Suppose 2*w + 21 = -5*w. Sort w, 2, -5.
-5, w, 2
Let g = -7 - -5. Let v = g - -7. Put 1, 3, v in descending order.
v, 3, 1
Let m be (-1)/(4 - 7 - 42/(-15)). Put m, -1, 2 in decreasing order.
m, 2, -1
Let h = -2.4 + 2. Put -0.1, -2/9, -0.2, h in ascending order.
h, -2/9, -0.2, -0.1
Suppose -5*d + 3 = 3*j + 23, 0 = 4*j + 20. Put 5, d, 8 in increasing order.
d, 5, 8
Let v = 75 - 70. Sort -3, v, 0 in descending order.
v, 0, -3
Let x be (-3)/(-2)*(-32)/12. Suppose -4*b + 2*h = -20, -5*b - 4*h + 30 = -9*h. Put x, b, 0 in increasing order.
x, 0, b
Let q be -4*2*1 - (-24 - -21). Put q, -7, 5 in ascending order.
-7, q, 5
Let b be (-4)/(-2) - 2/1. Put -3, b, 2 in descending order.
2, b, -3
Let r = 49 + -35. Suppose 3*n - 3*m + m = r, 3*m = -4*n + 13. Suppose 4*y - 3*t + 8 = 0, -6*t + 2*t - 41 = 5*y. Sort n, y, 5 in descending order.
5, n, y
Let y = -2.7 - -3. Let k = 0.1 - y. Put k, -3/2, 2/11 in descending order.
2/11, k, -3/2
Let d(i) = i**3 + 10*i**2 + 9*i - 4. Let x be d(-9). Let v be (-1)/2 - x/6. Let p = 34/7 - 89/14. Put v, -5, p in decreasing order.
v, p, -5
Let c = 94 + -94.2. Put -14, 0.5, 1, c in increasing order.
-14, c, 0.5, 1
Let f be (-1)/(1*(-2)/(-5 + 1)). Put 15, f, -1 in descending order.
15, -1, f
Let v = -209 + 1466/7. Put v, -4, 0.1 in increasing order.
-4, 0.1, v
Let l = 630.07 + -635. Let m = -0.07 + l. Let a = 5.4 + m. Put a, 1/7, -1 in decreasing order.
a, 1/7, -1
Let z = -92 + 92.24. Put z, 4, 0.4 in decreasing order.
4, 0.4, z
Suppose -s - 2 = 0, 0 = -0*y + 3*y - 5*s + 5. Sort 5, y, 4.
y, 4, 5
Let c = 0.81 + -0.71. Suppose -10 = 2*d - 0*d. Sort 5, c, d in increasing order.
d, c, 5
Suppose -18 = -3*q - 3*v, -q - 5*v + 19 = 3*q. Let p = 8 - q. Put -4, p, 1 in decreasing order.
1, p, -4
Let r = 105/2 + -51. Sort r, -0.4, -3, -1 in descending order.
r, -0.4, -1, -3
Suppose -5*l + 3*h = 14, 0*h = 5*h + 10. Sort 0.4, l, 4.
l, 0.4, 4
Let h = -0.6 + 2.6. Let w = 7 - h. Let k = -5 - -7. Put k, w, 4 in increasing order.
k, 4, w
Let s be (10 - 1) + (-9 - -5). Let x be (0 + 1)*(-1)/5. Let i = -25/3 - -9. Sort i, x, s in descending order.
s, i, x
Let h be 2*1 + (3 - 6). Sort h, -4, -1/7 in descending order.
-1/7, h, -4
Suppose 2*q + 100 = -3*q. Let f be ((-2)/q)/(1/(-4)). Put 0, 2, f in decreasing order.
2, 0, f
Let y = 3 + -2.1. Let s = -0.4 + y. Put 2/9, -0.1, s in descending order.
s, 2/9, -0.1
Let j be 2/(-8)*2*-10. Suppose 3*b = 3*l - 7*l, 0 = j*l + 2*b. Let y be 0 + (-1)/1 + 0. Sort y, 1, l in decreasing order.
1, l, y
Let c(x) = -x**2 + 3*x + 5. Let h be c(4). Sort 2, -4, h, 3 in increasing order.
-4, h, 2, 3
Suppose -4*s + 27 = -5*x - 2*s, 0 = -x - 2*s - 3. Let h = 15 + -19. Sort x, h, 1 in decreasing order.
1, h, x
Let s = -10 - -15. Suppose 0 = -2*w + 4*w - 4. Sort w, 4, s.
w, 4, s
Let k = 679/4 + -169. Let s(m) = -m - 1. Let y be s(2). Put k, y, 0.4 in decreasing order.
k, 0.4, y
Let s(g) = -8*g**3 + 2*g**2 + 2*g + 1. Let m be s(-1). Let u be m/(-12) + 2/2. Put u, 3, -1 in descending order.
3, u, -1
Suppose k + 14 = -2*k + 5*n, -k + n = 2. Let f be 1/((-2)/(-3))*90/27. Sort f, 4, k in descending order.
f, 4, k
Let n(b) be the third derivative of b**5/30 - b**4/12 - b**3/6 - 2*b**2. Let s be n(-1). Let q be (2 + 0)/2*5. Sort s, 2, q.
2, s, q
Suppose -7*l - 132 = -153. Let t = -1.1 - 3.9. Put t, l, -0.3 in ascending order.
t, -0.3, l
Let w(s) = s**2 + 4*s - 22. Let q be w(-7). Put -2, q, 0 in descending order.
0, q, -2
Let w = 0.14 + -0.2. Sort 0.2, w, 1/4.
w, 0.2, 1/4
Suppose 3*v = -v. Suppose 9*g - 33 + 42 = 0. Put g, v, 5 in descending order.
5, v, g
Let s = -4543/15 - -303. Let v = 0.13 + 0.07. Put -4, s, v in descending order.
v, s, -4
Let t = 0.133 + 0.367. Sort t, -5, -1, 2/17 in decreasing order.
t, 2/17, -1, -5
Let l be (-11)/(-20) - 14/(-70). Let n = -0.6 + 0.1. Sort n, l, -5 in decreasing order.
l, n, -5
Let f be (3/2)/((-3)/(-6)). Suppose f*y + 2 = y. Let d = 12 + -9. Sort 1/2, d, y in descending order.
d, 1/2, y
Suppose 2*w + 4*i - 12 = 5*i, -2*w + 28 = -5*i. Suppose -w*x + 15 = 7. Sort -1, 3, x in ascending order.
-1, x, 3
Let l = -3 + 6. Sort 6, l, 5 in decreasing order.
6, 5, l
Let z(d) be the first derivative of d**3/3 + 3*d**2 - 7*d - 1. Let t be z(-7). Let x = -1.8 - -2. Sort x, -2/9, t in descending order.
x, t, -2/9
Let i = 4 - 3.6. Suppose -x + 1 - 2 = u, -u = -2*x - 17. Let s be ((-2)/x)/(4/(-9)). Sort -2/5, s, i in ascending order.
s, -2/5, i
Let l = -77 + 53. Let d = l - -20. Sort 2/5, -1, d.
d, -1, 2/5
Let a = -9 - -11. Let c be a*1 + (-12)/(-4). Let x = c + -8. Sort -4, x, 4 in ascending order.
-4, x, 4
Let x be 2/(-6) - (-196)/(-42). Put 8, x, 0 in increasing order.
x, 0, 8
Let n = 18 - 18. Put 2, n, -5 in decreasing order.
2, n, -5
Suppose 4 = d - b, 0 = d - 3*b + 2 - 4. Put 1, -3, -1, d