 in descending order.
5, z, -14
Let b be (1/3)/(7 + -2 + -4). Put -1, -5, 0.4, b in increasing order.
-5, -1, b, 0.4
Suppose -4*l + 7*i - 110 = 105, 2*l + 100 = -4*i. Put -1, -4, l in decreasing order.
-1, -4, l
Suppose -41*a = -36*a + j - 16, a - 2*j = 1. Suppose 3*u = u - 10. Put a, -4, u in decreasing order.
a, -4, u
Let k = -292 + 293. Put -0.3, k, -3.1 in ascending order.
-3.1, -0.3, k
Let z be 1 + 6/(-10) + (-22)/5. Let w be (-1)/((-2)/4*-1). Put 1, w, z in ascending order.
z, w, 1
Let o = 1196 + -1191. Sort -4, o, -6, -5.
-6, -5, -4, o
Let x = -490 - -559. Put -5, x, -1 in ascending order.
-5, -1, x
Let s = -0.04 - -0.29. Let b = s - 0.23. Let o = b + -0.42. Sort 4, 6, o in decreasing order.
6, 4, o
Let m be (6/(-14) + 0)/1. Let l = -1.67 - -2.67. Sort m, 2/21, l, -2/23 in descending order.
l, 2/21, -2/23, m
Suppose -3*l - 3*k = 12, 20 = -3*k - k. Let g = 59 - 32. Suppose t + 5*o - g = 0, 0*t + o + 5 = 5*t. Put -5, l, t in descending order.
t, l, -5
Suppose -16 = a - 3*b + 21, 0 = 2*b - 6. Sort 1, 0.4, a, 5 in decreasing order.
5, 1, 0.4, a
Let l = -10 + 55. Let p be ((-4)/18*l/60)/(-1). Put p, 3, -7 in ascending order.
-7, p, 3
Suppose -11*x + 2 = -10*x. Put 4, -3, x, 0 in decreasing order.
4, x, 0, -3
Let z = -78.5 - -78. Let s be (2 - 6) + (-100)/(-26). Sort z, 1, s, -1 in descending order.
1, s, z, -1
Let k = -1/473 - -475/946. Put -0.2, 34, k in increasing order.
-0.2, k, 34
Suppose g - 10*v = -9*v - 40, -g - 40 = 3*v. Sort -3, g, 0 in descending order.
0, -3, g
Let f(t) be the second derivative of -t**3/6 + 3*t**2 - 3*t. Let p be f(4). Let v be 2/(-13) - 108/(-26). Put 3, v, p in descending order.
v, 3, p
Let s(t) = -10*t + 8. Let o be s(1). Sort 44, 0, o.
o, 0, 44
Let h(v) = -v**2 - 18*v + 49. Let p be h(-20). Suppose 1 - p = -2*n. Sort n, -2, 3, -5 in descending order.
n, 3, -2, -5
Let r be (2/(-6) + 0)*51. Let t = r - -22. Let x be 2/(-3) + (-16)/(-6). Put x, t, 4 in decreasing order.
t, 4, x
Let d be 0 - 1 - 8/(-2). Suppose -15 = d*t, -3*k - 18 = k - 2*t. Let p(n) = -n**2 - 7*n. Let l be p(k). Put l, 2, 3 in decreasing order.
3, 2, l
Let v = 65 - 64. Sort v, 2/7, 5/4 in decreasing order.
5/4, v, 2/7
Suppose -2*y - 7*c = -4*c, 4*c = -4*y. Sort 5, 7, y, -5.
-5, y, 5, 7
Let j = -31 - -31.4. Let t = 0.8 - j. Sort t, -1/3, -3 in decreasing order.
t, -1/3, -3
Let c = -44 - -38. Let y be (6/(-54))/((-3)/c). Put y, -5, -18/7 in increasing order.
-5, -18/7, y
Let l = -5 + 19. Let u = 15 - l. Sort u, -5, -1.
-5, -1, u
Let i = -368 + 401. Sort -5, -3, 5, i in decreasing order.
i, 5, -3, -5
Suppose 0*w + 4*w - 392 = 0. Let d = w - 100. Sort -5, d, 4, -4.
-5, -4, d, 4
Let d be -2*10/(-3 - -1). Suppose -5 = d*p + 25. Sort 5, 1, p, -4 in descending order.
5, 1, p, -4
Let h be (22/484)/(2/((-4)/1)). Let j be (-2)/(-6) - (-17)/(-33)*1. Put -0.3, -5/4, h, j in ascending order.
-5/4, -0.3, j, h
Let r(v) = 10*v + 8. Let m be r(-2). Let j be (-1)/4*m/3. Sort -2, -4, -6, j in descending order.
j, -2, -4, -6
Let g(u) = u**2 - 7*u + 8. Let i be g(2). Put i, -3, -5 in descending order.
i, -3, -5
Let n(x) = x**2 - 6*x - 4. Let j be n(7). Let p = j + -5. Let s be -1*(-4)/(p + 4). Put 4, 5, s in descending order.
5, 4, s
Let m = 11 + -14. Let c(t) = -t**3 + 11*t**2 + 12*t + 11. Let d be c(12). Let x = d + -16. Sort 1, x, m in increasing order.
x, m, 1
Let q = 825 + -825.5. Sort -8, -0.1, 2, q in decreasing order.
2, -0.1, q, -8
Suppose -a = 2*a - 12. Suppose 7*u + 12 = a*u. Sort 2, u, -1 in decreasing order.
2, -1, u
Let v = 0 + 2. Suppose 4*g + 8 = -4*j, -2*j - 5 = 2*g + j. Let k = 194/15 - 40/3. Sort k, v, g in decreasing order.
v, k, g
Let w = 2 - -3. Let h(c) = -c**2 - 13*c - 7. Let m be h(-12). Suppose -2*v = -2*r - 10, -m*v - 7 + 20 = r. Sort -5, w, r.
-5, r, w
Let o be (5/1)/((-1)/27*-1). Let f be (-8)/(-10) + (-168)/o. Sort f, -1, -3, 1 in descending order.
1, f, -1, -3
Let f = 3.93 - 4.43. Sort f, 11, 0.5, 6 in descending order.
11, 6, 0.5, f
Let g = -66 - -65.05. Let r = 0.65 + g. Put 2, r, 0.07 in descending order.
2, 0.07, r
Let h be (-3 + 35/15)/((-4)/(-30)). Let y = 2.3 - 1.8. Put 1/3, y, h in descending order.
y, 1/3, h
Let r be 2*(-18)/(-60)*20/28. Put r, 0, -2, -4 in ascending order.
-4, -2, 0, r
Let k = 18 - 38. Let b = 20.1 + k. Let m = 0.3 - b. Put -4/5, m, 0.04 in descending order.
m, 0.04, -4/5
Let m be 102/(-136)*(1 - 3 - 2). Let l be 2/3*-9 - -3. Let k be -8*(10/4 + l). Sort -3, m, k in increasing order.
-3, m, k
Let q be 11 + (1 - 1 - 3). Suppose 6*a + 4 = -q. Put 3, -4, a in increasing order.
-4, a, 3
Suppose -g - 3 = u, -3*g + 1 = -5*u - 6. Let z be 9/2*g/(-3). Let w be (-1 - 2/(-3)) + 164/(-123). Sort -1/8, z, w.
w, -1/8, z
Let r be 4 - (3 + 14/4) - -3. Let m = 4 + -2. Sort m, -12, r in ascending order.
-12, r, m
Let g = 14 + -18.4. Let f = g - -0.4. Put 3, 4, f in decreasing order.
4, 3, f
Let j = 3 - -2. Let x be (-2)/(-4 + 36/8). Let h(u) = u**3 - 8*u**2 - 6*u - 30. Let c be h(9). Sort c, x, j in ascending order.
x, c, j
Let k(j) = j**2 - 13*j + 31. Suppose 3*t - 1 = 8. Let a be k(t). Suppose -2*y = 2*y. Sort -3, a, y.
-3, y, a
Let a(j) = 5*j**3 + 1. Let l be a(1). Sort l, -2, 2, 0 in descending order.
l, 2, 0, -2
Suppose 4*m + 2*v = -v + 311, 4*v = -4*m + 312. Let d(u) = 118*u + 14399. Let c be d(-122). Sort m, c, -3 in descending order.
m, c, -3
Suppose 0*b = 4*b - 72. Let n(k) = 6 + k**2 + 8*k + 3*k - 2*k - b. Let r be n(-10). Put r, -4, 2 in descending order.
2, r, -4
Let n(x) = -x**2 + 2*x + 30. Let s be n(0). Suppose 5*w = 30 + s. Let m be (-40)/w*(-12)/(-8). Put 5, 3, m in decreasing order.
5, 3, m
Let a = 33 - 31. Let z = a + -7. Put -0.4, -3, z in decreasing order.
-0.4, -3, z
Let f = 8 - 6. Let i be ((-5)/50)/((3/((-9)/(-3)))/4). Let b = 0.3 - 0.1. Put i, f, b in descending order.
f, b, i
Let k be (-6 - -3) + 7 + (-1 - 0). Suppose -h + 1 = -k. Sort -1, h, 5 in ascending order.
-1, h, 5
Let n = -25/106 + -3/212. Sort n, 2/7, 1, -5 in increasing order.
-5, n, 2/7, 1
Let l be 10/(-65) - (-252)/455. Sort 12, 4, -11, l in ascending order.
-11, l, 4, 12
Let s = 0 + -2. Let z be (-2 - s) + -2 + 0. Suppose -2*d - 4*j = 0, 0 = -3*j + 7 + 2. Sort z, -1, d.
d, z, -1
Suppose -6*p + 11*p = -r - 46, 3*r = -3*p - 18. Let s(d) = -d**2 - d + 7. Let t be s(-4). Let f = 1 + -2. Sort f, t, p in descending order.
f, t, p
Let j be 13 - 9 - (2 - -5). Let r = -5 - -1. Sort r, 4, j in descending order.
4, j, r
Let i(m) = m**3 + 18*m**2 + 17*m + 1. Let t be i(-17). Suppose 0 = -16*r - 7*r. Sort t, r, -3.
-3, r, t
Let r be 1 - (2 - (-2)/(-2)). Suppose -23*n + 30 = 4*k - 26*n, 4*n + 12 = -4*k. Sort r, -2, 1, k.
-2, r, 1, k
Let k(s) = s**3 - 15*s**2 + 12*s + 3. Let t be k(14). Let w = -28 - t. Sort w, 2, 0 in decreasing order.
2, 0, w
Let x(y) = y**2. Let r be x(2). Let u be 1/(-2) - 2*(-21)/(-12). Sort u, 3, r in decreasing order.
r, 3, u
Suppose 3*d - d - 3*w - 4 = 0, 0 = 2*d - 5*w + 4. Sort d, 4, 1, 0 in increasing order.
0, 1, 4, d
Let o = -731 + 733. Sort 2/9, o, 6 in increasing order.
2/9, o, 6
Let y be (-3)/12*0 + 5. Suppose y*o + 16 = o. Put -3, o, 1 in ascending order.
o, -3, 1
Let y = -3.03 - -0.03. Let s = 0.07 + 0.13. Let t be ((-12)/108)/(((-12)/(-9))/4). Sort s, t, y in descending order.
s, t, y
Let k = 0.25 + -1.85. Let g = k - 3.4. Sort g, -0.05, 0.4 in ascending order.
g, -0.05, 0.4
Let f(v) = v**3 + 6*v**2 + v + 7. Let z be f(-6). Sort 4, z, -17, -2 in descending order.
4, z, -2, -17
Let g be (9/(-32))/((-156)/(-1456)). Sort -1, g, -3, 4.
-3, g, -1, 4
Let a(s) = s**3 + 7*s**2 + 7*s + 5. Let g be a(-6). Suppose -24*n + 28*n = -v - 16, n = -3*v + 7. Sort g, v, 2 in ascending order.
g, 2, v
Let b = 0.12 + 0.38. Let y(w) = -2*w**3 + 8*w**2 + 12*w - 12. Let g be y(5). Put g, -0.5, b in increasing order.
g, -0.5, b
Let o be (8/(-12))/((-21)/(-126)). Suppose 12 = -4*z, 5*q - 2*q = 3*z. Let w = 12 - 17. Sort w, o, q.
w, o, q
Suppose -5*n = 39*n + 18*n + 62. Let s = 3.94 - 4. Let w = 0.34 - s. Put n, 2/9, w in descending order.
w, 2/9, n
Let n = 21 - 83/4. Let z = 5722 - 5719. Sort -0.1, 7, n, z in decreasing order.
7, z, n, -0.1
Let y(l) = 7*l - 7. Let n be y(2). Let x(t) = t**2 - 6*t - 2. Let v be x(n). Suppose 0 = 4*c - 4*k - 16, -23 = 3*c + 7*k - 3*k. Put c, 3, v in increasing order.
c, 3, v
Let d = -6546/15323 - 3/2189. Sup