t in ascending order.
t, i, 4
Suppose 0 = -5*i + 8*i - 6. Suppose 0 = -i*x - 3*u + 21, 4*u + 5 = 5*u. Suppose 0*a - 20 = -x*a - 2*m, 5*a - 8 = 3*m. Sort a, -3, 0 in decreasing order.
a, 0, -3
Suppose 19 = -10*p - 1. Let k = 0.5 + 3.5. Let j = 90 + -451/5. Put j, p, k in ascending order.
p, j, k
Let p = -191 + 195. Sort 3, -2, -3, p.
-3, -2, 3, p
Let l(a) = a**3 - 28*a - 11. Let n be l(-5). Sort 1, 7, -4, n.
-4, 1, n, 7
Let n = 158 + -159. Put -0.3, n, 1/4 in increasing order.
n, -0.3, 1/4
Let u be (-22)/(-8) + (-1)/(-4). Let n = 469 - 469.1. Let l be (-2)/(-9) + 44/99. Sort u, n, l in ascending order.
n, l, u
Let q = -2 - -3. Suppose 189 = -21*j + 63. Let x be 9/2*4/(-24). Put j, x, q in descending order.
q, x, j
Let r = -1.16 - 0.82. Let j = -0.02 + r. Let o = 0.048 - 0.448. Put o, 0.4, j in decreasing order.
0.4, o, j
Let y = 4 - 4.16. Let n = 8 + -6. Sort n, y, 0.4.
y, 0.4, n
Suppose 0 = -5*s + 3*y + 16, 2*s + 2 = y + 3*y. Suppose -f + 3 = -2. Suppose -4*z + f*q - 14 = 0, q = -z - 3*q + 7. Put 2, s, z in increasing order.
z, 2, s
Let q = 0.461 - -0.039. Put -1/2, q, -0.3, -87 in descending order.
q, -0.3, -1/2, -87
Suppose -3*o + 17 = -4*a, -3 = 2*a + 5*o + 12. Sort 3, -29, 4, a in ascending order.
-29, a, 3, 4
Let i be (-2)/(10/30*1). Put -1/18, i, 0 in decreasing order.
0, -1/18, i
Let m = -2 + 1. Let o be m/2 - 1/(-2). Let u(j) = -j**3 + 38*j**2 + j - 34. Let v be u(38). Put o, -2, v in descending order.
v, o, -2
Let b be (3*(-4)/(-12) - 8) + 5. Sort b, 1, -17 in descending order.
1, b, -17
Let s(c) = c**3 + 4*c**2 - 2*c - 4. Let x be s(-4). Let t = 2/52617 - 210478/263085. Put 1, -2/5, x, t in ascending order.
t, -2/5, 1, x
Let z = -1830 + 1813. Put z, 1, 5 in decreasing order.
5, 1, z
Suppose -5*b + 10*i = 5*i + 255, -4*b = -i + 216. Put -5, 3, b in increasing order.
b, -5, 3
Let c = 64 - 59. Let x(i) = 0 - i**3 + 2 - 4. Let u be x(0). Put u, c, -1 in decreasing order.
c, -1, u
Let l(a) = a**3 + 4*a**2 - 2*a - 2. Let h be l(-4). Put h, -1, 5, 15 in descending order.
15, h, 5, -1
Let i be (5 - 6)*-2*(-4)/(-8). Sort -1, 4, 5, i in descending order.
5, 4, i, -1
Let v be (((-15)/(-2))/3)/((-140)/(-1232)). Sort v, 2, -4 in increasing order.
-4, 2, v
Let g be -6 + (0/(-5) - -2). Let i be (-4)/(-6) + 1/3. Sort i, -5, 10, g in ascending order.
-5, g, i, 10
Let h(z) = -5*z - 7*z**2 + 16*z**3 + 2*z**2 + 2 + z - 17*z**3. Let n be h(-4). Sort -0.1, n, -1 in decreasing order.
n, -0.1, -1
Let f = 7 - 3. Suppose -4*o + f*r + 2 + 26 = 0, r + 2 = 0. Suppose -2*c = -o*n, 2*n - c = -2*n - 3. Sort 4, -5, n in increasing order.
-5, n, 4
Let o = -5.6 - -5.4. Let l = 1543/2555 + -2/511. Let j = 64 + -574/9. Sort j, o, l in descending order.
l, j, o
Suppose 0 = -h - h. Let i(y) = 2*y**2 - 57*y + 170. Let b be i(25). Put h, 4, b in descending order.
4, h, b
Suppose 0 = -17*r + 2*r + 75. Let j(u) = u + 2. Let x be j(0). Suppose x*w - 1 = w. Sort r, w, 0.
0, w, r
Let c = 0 + 0. Suppose -3*n - 3 - 20 = 5*o, -6 = 2*o - 2*n. Sort c, o, 2 in decreasing order.
2, c, o
Let w = -11 - -17. Let u = -430/77 + 63/11. Sort 4, u, w, 2 in decreasing order.
w, 4, 2, u
Let t = -1.02 + 0.62. Sort -0.1, t, -2/65 in descending order.
-2/65, -0.1, t
Suppose k + 7 = 8*k. Let w = 91 + -87. Put k, w, -1, -5 in increasing order.
-5, -1, k, w
Let p = 874 + -876. Suppose g - 4*c - 14 - 2 = 0, 0 = 3*g - c - 4. Let m be (4*(-2 + g))/(-2). Put 2, m, p in decreasing order.
m, 2, p
Let j(g) = -69*g**3 + 2*g**2 + 2*g + 1. Let r be j(-1). Let x = r + -71. Put x, -5, -3, -2 in ascending order.
-5, -3, -2, x
Let o = 3 - 2. Suppose -37 = -3*t - 5*z, -4*z = -10*t + 5*t. Let c = 434 - 439. Sort c, t, o.
c, o, t
Let p be (-1 - -1) + (1 - 3). Suppose -7*u + 9*u = q - 16, -3*u - 34 = -4*q. Sort q, p, 5, -1.
p, -1, q, 5
Let j = 1.7 + 0.3. Let d = -21.8 + 20.8. Put j, d, 0.4 in decreasing order.
j, 0.4, d
Let v = 2.27 + -11.37. Let r = v + 9. Put -5, -2, r in decreasing order.
r, -2, -5
Let j(n) = -n**3 - 7*n**2 - 14*n - 102. Let q be j(-7). Put 12, q, 3, -3 in descending order.
12, 3, -3, q
Suppose 0 = -3*x - 3. Suppose 112*j = 101*j - 55. Sort -4, -6, j, x in decreasing order.
x, -4, j, -6
Let j = 1.7 + -0.7. Let f = j + -0.8. Put -5, f, -1/8 in decreasing order.
f, -1/8, -5
Let n = -2.04 - -0.04. Let y = -250 + 249.5. Sort n, 5, y, -3.
-3, n, y, 5
Suppose 9 = -19*c - 48. Sort -146, 2, c in decreasing order.
2, c, -146
Let y = 2655/8 - 332. Put -3/8, y, 1/11 in ascending order.
-3/8, y, 1/11
Let b be ((-1)/(-3))/(2/6). Let s(i) = -107*i + 537. Let x be s(5). Sort -3, x, b in increasing order.
-3, b, x
Let b be 0 - (2/4 + 126/(-36)). Sort b, 4, -97 in ascending order.
-97, b, 4
Let m(b) = b**3 + 14*b**2 + 17*b + 4. Let w be m(-13). Let r = 49 + w. Put r, -1, -5 in ascending order.
-5, -1, r
Let s = 11.88 + 0.12. Let t be 2*((-1)/(-6))/(-10 + 11). Sort s, 2, t in ascending order.
t, 2, s
Suppose 1 = r + 2*c, 3*r + c - 4 = 6*r. Sort r, 1/8, 0.4 in increasing order.
r, 1/8, 0.4
Suppose -3 - 2 = 5*h, 5*w + 3*h - 2 = 0. Suppose 2*f - 3*v = -6, -2*f + 2*v = -3*f + 11. Let c be (-2 + 8/6)*f. Sort c, w, 5 in decreasing order.
5, w, c
Let k be 8/(-6)*(-15)/10. Sort k, -19, 4 in descending order.
4, k, -19
Let p = 2.2 + -0.2. Let r = -0.1 + 1. Sort -5, p, r in decreasing order.
p, r, -5
Let t = 15 + -10. Let r = 233 - 234. Put 2, t, r, 1 in decreasing order.
t, 2, 1, r
Let f be (-1 + 4)/((-3)/39). Let p = -36 - f. Suppose 0 = -k + 2*k. Put p, k, -2 in decreasing order.
p, k, -2
Suppose 5*q - 6*g + 19 = -8*g, 0 = -3*g - 6. Sort 5, q, 1, 4 in increasing order.
q, 1, 4, 5
Suppose -2*z + 6*z = -0*z. Suppose 0 = -2*v - 5*y - 5, 5*v + 2*y + 3*y - 10 = z. Put v, -5, -4 in ascending order.
-5, -4, v
Suppose 5*w - 17 - 8 = 0. Let q = 21 + -25. Let h be (q + 2)/(-12) + 0. Put w, h, -2/5 in ascending order.
-2/5, h, w
Let t be 12/(-8)*(-48)/9. Suppose t*s - 5*s - 15 = 0. Sort s, 2, 0.3, -1 in ascending order.
-1, 0.3, 2, s
Let f = 971/4491 - -3/499. Put -1/2, -0.6, f in ascending order.
-0.6, -1/2, f
Let c(o) = -o**2 + 11*o - 1. Let t be c(11). Let i be (-2)/(-3)*105/14. Sort 4, i, t, 3 in increasing order.
t, 3, 4, i
Let j = 55 + -54.999. Let o = 5.001 - j. Put 4, -1/9, o in decreasing order.
o, 4, -1/9
Let j(g) be the second derivative of -g**5/20 - 5*g**4/12 - g**3 + g**2/2 + 5*g. Let r be j(-3). Put r, -10, -3 in ascending order.
-10, -3, r
Let c = 2.122 + -1.922. Put -5, -0.6, c, 7 in increasing order.
-5, -0.6, c, 7
Let i = 1829 - 1834. Put i, 112, 1 in increasing order.
i, 1, 112
Let b be 42/8 - (-6)/8. Suppose q + 3*q = -k - 5, 0 = -4*k - 2*q - b. Let u be (k + 2)*(3 - 1). Sort -2, u, 5 in descending order.
5, u, -2
Let l(a) = a**2 - 7*a + 1. Suppose 0*h + 7 = h - d, 3*d = -h + 3. Let s be l(h). Let w be (10/4 + 0)*36/(-30). Put -1, w, s in descending order.
-1, w, s
Suppose 36 = -2*q + 11*q. Put 102, q, 5 in descending order.
102, 5, q
Suppose -4*n + 8 = -3*g + 6*g, -5*g = -5*n - 25. Suppose 0 = 2*h + 2*h + h. Suppose -5*w - 14 = 5*j + 6, 5*j - 3*w + 12 = h. Sort 1, n, j in ascending order.
j, n, 1
Let x be 6/2*10/3. Let j = x - 10. Suppose j = i - 5 + 4. Sort i, -4, 4 in increasing order.
-4, i, 4
Let n = -5.1 - -0.1. Let a = -0.25 - -0.2. Put 0, a, n in ascending order.
n, a, 0
Suppose -6 = 5*m - 2*m. Let c be (2/(-3))/((-2)/(-3)). Let z be (-3 + -2)*-1*(-4)/(-5). Sort z, m, c in descending order.
z, c, m
Let x(d) = d**2 + 6*d - 163. Let g be x(-16). Put 0, 476, g in ascending order.
g, 0, 476
Let h(x) = -x**2 - 3*x + 6. Let l be h(-3). Sort 3, l, -3.
-3, 3, l
Let f = -74 - -73.95. Let i = 11 + -12. Let z = -0.5 - i. Put z, f, -1 in decreasing order.
z, f, -1
Let p = -19 + 19.66. Let c = -2.22 - p. Let z = c - 0.12. Put 1/3, -0.5, z in ascending order.
z, -0.5, 1/3
Suppose 0*i + 2*w = 3*i + 106, 0 = -i + w - 37. Let u = 38 + i. Put -4, -3, u in decreasing order.
u, -3, -4
Let u be (-7 + (0 - -3))*3/6. Put 8, -3, u in ascending order.
-3, u, 8
Let d = 3.376 + -0.376. Put d, 2, 2/7 in ascending order.
2/7, 2, d
Let v be (47/1192)/((-2)/12). Let p = v - 2/149. Let j = 537/4 - 133. Put j, p, 2 in increasing order.
p, j, 2
Let d = -61 + 66. Suppose 0*i + 35 = 2*i + d*w, 5*i - 4*w - 5 = 0. Put 1, -2, -10, i in descending order.
i, 1, -2, -10
Let v = 182 + -180. Suppose 3*p + 1 + 5 = 0. Let m = 25 + -24.9. Put m, p