 12, a in ascending order.
a, -0.8, -0.1, 12
Let r = 41 - 41. Suppose t - 8*t = r. Suppose p + t = -2*v - 6, 0 = v + 2*p - 3. Sort -4, 10, v.
v, -4, 10
Let n be (-8)/10 + 1 - 3024/(-180). Put n, 1, -4 in increasing order.
-4, 1, n
Let j(l) = -l - 5. Let u be j(-8). Let z(p) = -p**2 - p + 21. Let g be z(4). Sort g, 0.1, u, -7 in decreasing order.
u, g, 0.1, -7
Let p = -0.4 + 27.4. Let v = -23 + p. Let s = -4.04 + v. Sort -3, 0.1, s in decreasing order.
0.1, s, -3
Let f be -1*3/(-3)*3. Let g be ((54/(-4))/(-1))/(3/(-6)). Sort f, -2, g in ascending order.
g, -2, f
Let m be 2 - (1 - (-13)/11). Let x = -0.76 + -72.84. Let z = x - -74. Sort -5/2, z, m in ascending order.
-5/2, m, z
Suppose -r + 4*b = -8, 5*b - 7 = -3*r + 17. Let f = 26141 + -26146. Sort f, r, 0, 1 in decreasing order.
r, 1, 0, f
Let h be 52/(-26)*3/8. Sort 0.13, 5, h, 5/4.
h, 0.13, 5/4, 5
Let k be 6/(-15) + (-231)/(-15). Let u be (-9)/(-27) + 1 + (-26)/k. Sort -0.01, 3, -5, u.
-5, u, -0.01, 3
Let y(c) = c - 2. Let i be y(3). Let j be -9 - -9 - i*-44. Suppose -4*t = -0*t + j. Sort -3, t, 3 in descending order.
3, -3, t
Let c(n) = n**2 + 22*n + 118. Let l be c(-9). Put l, 43, -5 in increasing order.
-5, l, 43
Suppose 2*s = -5*w + 22, 2*s - 4*w + 9 + 5 = 0. Sort s, -29, 5, -2 in increasing order.
-29, -2, s, 5
Let i be (-1)/1 + 1 + 1. Let m(j) = -2*j**3 + j**2 + 2*j + 12. Let v be m(0). Put 2, i, v in ascending order.
i, 2, v
Let w = -3604/7 + 514. Sort 4/13, 5, w in decreasing order.
5, 4/13, w
Let h(u) = -u - 1. Let x be h(0). Suppose -46*p + 131 = -99. Sort x, 3, p, -6 in ascending order.
-6, x, 3, p
Suppose -3*v + 98 = -85. Suppose 2*r = -5*o - 68, o + 3*o - 5*r + v = 0. Let z = o - -15. Put z, 5, 4 in ascending order.
z, 4, 5
Suppose 8 = 3*i - 1. Suppose 0 = -i*v + 10 + 5. Suppose -7*m - 2 = q - 3*m, 8 = -4*q + 2*m. Sort v, 2, q in descending order.
v, 2, q
Suppose 10 - 25 = -15*w. Let s be 20/(-30) - (-11)/18. Put -0.1, s, w in descending order.
w, s, -0.1
Suppose -7 = -y + a, 2*y + 4*a = 4*y - 20. Suppose 0 = k - 2*k - y. Let s be -10*((-14)/k - 3). Sort 4, s, 5.
s, 4, 5
Suppose 5*c - 5 = u, 3*u - 33 = -4*c - 2*u. Sort 0, c, -2, 3.
-2, 0, c, 3
Let n be ((-152)/(-760))/(1/(-5)). Put n, 5, 2, -34 in descending order.
5, 2, n, -34
Let l be 28/(-6) + 2/(-6). Suppose 2*y - 8 = -0*y. Suppose -6*z - 8 = 10. Sort y, l, z in descending order.
y, z, l
Suppose -2*p + 14 = 2*b, -p - 18 = -19*b + 15*b. Sort -20, p, -3 in descending order.
p, -3, -20
Let p be (4 - 39)/5 - -12. Sort -332, -5, p, -1/4 in ascending order.
-332, -5, -1/4, p
Let o be ((-6)/(-9))/(12/(-54)). Let q = 7 - o. Suppose 5*a - 7*a - q = 0. Sort a, 5, 4 in descending order.
5, 4, a
Suppose -30*u + 32*u = -4. Sort u, 11, -3 in descending order.
11, u, -3
Suppose 0 = 2*m + m + 30. Let y = 14 + m. Let d = -505 - -506. Sort -1, d, y in decreasing order.
y, d, -1
Let q = 9 + -7. Let x be q - -4 - (-18)/(-6). Sort x, -4, -21 in decreasing order.
x, -4, -21
Suppose -2*n - 2 = -0. Let w(b) = -b**2 + 4*b + 2. Let g be w(4). Let p be (-3 + -3 - -6) + (-6 - -2). Put p, g, n in descending order.
g, n, p
Let k = -2.15 - 6.95. Let v = k - -5.2. Let z = v + 0.9. Put -0.2, -5, z in descending order.
-0.2, z, -5
Let p(h) be the second derivative of h**3/6 - 7*h**2/2 - 5*h. Let o be p(9). Suppose t = -5, -o*i - 4*t = -6 + 26. Sort 3, i, -0.6 in increasing order.
-0.6, i, 3
Let q(c) = c**2 - 4*c + 3. Let b = 6 + -1. Let f be q(b). Let d be f/(-15)*(-5)/20. Sort -3, d, -4.
-4, -3, d
Let r = -538/315 - 23/35. Let w = r + 15/7. Suppose 0 = h + h + 8, -3*l = h + 1. Put w, 0.5, l in descending order.
l, 0.5, w
Let u(a) = -2*a**3 - 4*a**2 - a + 2. Let m be u(-2). Let l be (-1)/(m/12) - -15. Let b = -11 + l. Sort -5, b, -4.
-5, -4, b
Let u = 44 + -39. Suppose -2*l - 1 = 5*i - 16, -2*i + u = l. Suppose -4 - 2 = -3*y. Put y, l, -4 in descending order.
y, -4, l
Let i be (-7 + 7 + -6)/2. Let g = 0 + 2. Let t(c) = -2*c - 1. Let h be t(g). Put i, h, 2 in descending order.
2, i, h
Suppose r - 3*i + 6*i = 16, 0 = 5*r - 5*i. Let g be 18 - 4313/190 - 3/10. Sort -3, 2, r, g.
g, -3, 2, r
Let k(f) = -f - 5. Let o be k(-8). Suppose -x + 7 = -2*b, -12 = 3*x + o*b + 2*b. Put -2, x, 0 in increasing order.
-2, 0, x
Let j be 0/((-5 - -2)/(-3)). Put -7, j, -10 in descending order.
j, -7, -10
Let m = -2382 + 11911/5. Put -57, m, 5 in descending order.
5, m, -57
Let t = 0.0164 - -0.1836. Sort t, -4, 3/7, 14 in descending order.
14, 3/7, t, -4
Let c(f) = 5*f - 3. Let t be c(2). Suppose 0 = -n + 8 - 3. Suppose -5*o + 25 = 0, 0*o = 5*z + n*o. Sort t, z, 5.
z, 5, t
Let m be 4/(-6)*(-6)/(-10). Let c = 4.6 + -4.8. Let v = -23 + 31. Put m, v, c in descending order.
v, c, m
Let a(y) = y**3 - 11*y**2 + 2*y - 20. Suppose 2 = -5*h + 57. Let p be a(h). Put p, -17, 5 in descending order.
5, p, -17
Let p be (-78)/(-15) - 1/(-30)*-6. Put -1, p, -18 in ascending order.
-18, -1, p
Suppose 1 = -4*x + 17. Let m(h) = -h**3 - 51*h**2 - 519*h - 50. Let f be m(-37). Put x, f, 0 in ascending order.
f, 0, x
Let s be (-18)/(-1)*(7 + -6). Suppose -3*u + 18 = 2*l, 0*u + 3*u - s = 2*l. Put 2, 1/5, 0.3, u in increasing order.
1/5, 0.3, 2, u
Let t be (25 + -29)/(1 - 0). Put 4, t, 6 in increasing order.
t, 4, 6
Let w = 416 - 416. Put w, -2, 1, 53 in decreasing order.
53, 1, w, -2
Let b = 0.5607 + -0.0607. Put 12, b, 0.4 in increasing order.
0.4, b, 12
Let i(t) = -2*t - 22. Let q be i(-10). Let b be (0 - 1) + (q - (-329)/105). Sort b, -18, 5, -3 in decreasing order.
5, b, -3, -18
Let m be 3*((-20)/12)/(-1). Put 1/2, 7, 3, m in decreasing order.
7, m, 3, 1/2
Let r = -507 - -506.976. Put 3, 4, r, 2/7 in increasing order.
r, 2/7, 3, 4
Let f(g) = g**3 + 21*g**2 + 21*g + 18. Let l be f(-20). Sort -7/3, -4, 0.1, l in decreasing order.
0.1, l, -7/3, -4
Suppose -2*j = -h - 6 - 2, -4*h - 4*j = 44. Suppose 35 = 5*m - 5*y, -43*m + 8 = -47*m - 5*y. Put 4, m, h in decreasing order.
4, m, h
Let h = 17 - 18. Let v = h + 4. Let t = -11 - -16. Sort v, -3, t in decreasing order.
t, v, -3
Let m(n) = -4*n. Let g(z) = z**2 - 8*z + 8. Let d be g(7). Let x be m(d). Let k = -20.943 + 20.443. Put x, 2, k in descending order.
2, k, x
Suppose -3*f = -g + f - 10, -5*g - 2*f + 60 = 0. Sort -4, 1, -5, g.
-5, -4, 1, g
Let s be (-5)/(-20)*4*-1. Let k be -1 + s/3*-1. Sort k, 2/9, -1/2 in descending order.
2/9, -1/2, k
Suppose 0 = 50*d - 86*d + 396. Put -2, d, -44 in decreasing order.
d, -2, -44
Let o = 709 - 704. Put -1, o, 2/5, 4/5 in descending order.
o, 4/5, 2/5, -1
Suppose 2*n = x + 8, 4*x - 2*x - 2*n + 8 = 0. Let v be -1*x*(-2)/(-4). Suppose 2*o = -2*j, v = -3*j - 0*j - 12. Put o, -8, 1 in decreasing order.
o, 1, -8
Let a(y) = y**3 + 8*y**2 - 8*y. Let g be a(1). Suppose -2*q - q + 9 = 0. Sort g, -17, q.
-17, g, q
Let y = -20.9 + 21. Let a = 21 + -12. Let n be ((-1)/2)/(3/a). Put n, y, -2/7 in descending order.
y, -2/7, n
Suppose -14 + 5 = -9*a. Sort 1/2, a, -1/2, 2/11 in decreasing order.
a, 1/2, 2/11, -1/2
Let h be 1 - ((-24)/6 - (-1 + -3)). Sort 3, 2, h.
h, 2, 3
Let r = -487 + 486. Sort r, 2/5, 10/3 in decreasing order.
10/3, 2/5, r
Let i = 30371/20 - 6789/5. Let s = i + -160. Put 5, s, 0.2, -0.3 in increasing order.
-0.3, 0.2, s, 5
Let p = 163 - 163.5. Sort 5, -0.9, -5, p.
-5, -0.9, p, 5
Let j = -48 - -50. Suppose 5*m + 4*n + 23 = 0, 3*m + 15 = -4*n - j. Put 4, m, 0, -5 in decreasing order.
4, 0, m, -5
Let y = -76 + 60. Let j be (5 - (-114)/(-24))*y/22. Let g be ((-5)/3)/(1/3). Sort j, g, -0.4 in ascending order.
g, -0.4, j
Let l = -7151 - -7148. Suppose o - 2*o - 59 = -4*k, 5*k + 131 = -4*o. Sort o, 0, l.
o, l, 0
Let b be (-2)/(((-14)/21)/(2/2)). Suppose -3*h + b*v - 4*v - 14 = 0, 21 = -4*h + v. Sort -21, 4, 2, h in ascending order.
-21, h, 2, 4
Let s be (-4 + (-221)/(-26))/((-2)/4). Sort s, -10, 3 in descending order.
3, s, -10
Let f be 1/3*-1*(-30)/(-35). Sort -0.1, 0.4, -1, f in ascending order.
-1, f, -0.1, 0.4
Let n = -0.06 + -24.94. Let h = n - -19. Put -1/2, 5, h in ascending order.
h, -1/2, 5
Suppose 3*k = -k - 8. Suppose -2*o - 15 = 5*x, 0 = 37*o - 39*o + 2*x + 20. Sort k, o, 3, 2 in increasing order.
k, 2, 3, o
Let u = -1.1 + 5.1. Let o = -468 - -469. Sort o, 2/17, u in increasing order.
2/17, o, u
Suppose -14*r + 125 = -9*r. Suppose -8*q = -3*q - r. Sort -3, -5, q in descending order.
q, -3, -5
Let q be ((-18)