-0.2 in ascending order.
-7, -0.2, t
Let l(o) = o + 1. Let n be l(0). Suppose -8 - 8 = -4*w. Let k be (-24)/684 - (-55)/(-57). Sort w, n, k in ascending order.
k, n, w
Suppose -1 + 9 = 2*v. Suppose 0 = -4*d - v. Suppose 5*w + a = -29, -3*a = 3*w + 17 + 10. Sort 5, d, 1, w.
w, d, 1, 5
Let q = 22715 - 22714. Sort 45, 0.2, q, -1, -3/7 in decreasing order.
45, q, 0.2, -3/7, -1
Suppose 2*g + 106 = -3*l, -6*g - 3*l + 286 = -11*g. Put 1, -4, -5, g in descending order.
1, -4, -5, g
Let t = -7257 + 7280. Put t, -71, 3 in ascending order.
-71, 3, t
Let u be (-2)/(-4)*-10 - (10 + -13 - -2). Put -72, -3, u in descending order.
-3, u, -72
Suppose 2*r - 5*w - 14 = 0, 7*r = 2*r - 2*w - 23. Let i be (-10)/60*3*-6*2. Put i, 1, 4, r in descending order.
i, 4, 1, r
Let q = -692 - -691. Put 0, 1586, -5, q in descending order.
1586, 0, q, -5
Let m be 3/(-18) - 1/2. Let b = 30903 - 30907. Let t = 0 - 0.4. Sort b, 4, t, m.
b, m, t, 4
Let d = -3170/3 + 6341/6. Put -4, 2/7, d, -3/4 in decreasing order.
2/7, d, -3/4, -4
Suppose 5*d + 27 = 2. Suppose 4*b + 0*b = -5*a - 938, 5*a - 2*b = -956. Let g = a + 187. Sort g, -2, 1, d in increasing order.
d, g, -2, 1
Let p(r) = r**3 - 42*r**2 + 40*r + 31. Let q be p(41). Let b be (-16)/(-12)*15/q. Sort b, 19, 2, 4.
b, 2, 4, 19
Suppose -370 = 12*m + 4262. Let b = m + 388. Put -10, 5, b in decreasing order.
5, b, -10
Let w = 0.2 + -0.24. Let n = 296576 - 296576.4. Put 1/4, n, w in descending order.
1/4, w, n
Let g be 6*((-21)/(-27))/(-7)*-6. Let z(i) = i**3 + 10*i**2 - 9*i + 23. Let f be z(-11). Put f, 0, g, -1 in descending order.
g, f, 0, -1
Suppose g = -7*l + 12, 3*g + 19*l + 40 = 17*l. Sort 44, g, -3, -1 in ascending order.
g, -3, -1, 44
Let j = -1976 - -1969. Sort -1, 4, -4, j in decreasing order.
4, -1, -4, j
Let l(f) = -f**2 + 3*f - 2. Suppose 0*z - 1 = z + 4*i, -4*z + 17 = -5*i. Let n be l(z). Let u be 5/((n - 1) + -1). Sort 3, -1/2, u.
u, -1/2, 3
Suppose -5*t = -4*l + 51, -l - 5*t = l - 33. Let q = l + -9. Suppose y + 18 = 4*f, -4*y - 3 = -q*f + 14. Put 0, -2, f in ascending order.
-2, 0, f
Let n(r) = -r**3 + 26*r**2 + r - 24. Let c be n(26). Suppose -3*x + c*t = -7, x + 2*t + 9 = 2*x. Put 3, x, 73 in ascending order.
x, 3, 73
Let d(f) = 2*f**2 - 98*f + 71. Let h be d(48). Sort -4, h, -0.04, 0.1 in decreasing order.
0.1, -0.04, -4, h
Suppose -277*y - 1387 = 374*y - 85. Put y, 2, -5/12, 33 in ascending order.
y, -5/12, 2, 33
Let k(x) = x**2 + 39*x + 250. Let c be k(-31). Sort c, 5, 0, -78 in descending order.
5, c, 0, -78
Suppose -54*c - 64 = 98. Sort 1, -5, -96, c in ascending order.
-96, -5, c, 1
Let w be (-14)/(-5)*(-50)/20. Let r(a) = 2*a + 6. Let j be r(-6). Let o(q) = -14*q - 87. Let p be o(j). Put w, 0, -4, p in decreasing order.
0, p, -4, w
Suppose 0 = 97*f + 9*f + 212. Suppose -v + 3 = 5, -4*v - 20 = -3*h. Put f, h, 9 in decreasing order.
9, h, f
Let r be 2*2/4 + (-65)/26. Let f = -33 - -28. Let l be -2*(-1 + f + 4). Sort 5/3, r, l, -3/7.
r, -3/7, 5/3, l
Let f = 276 - 152. Let a = f - 151. Put 2, 0, a in increasing order.
a, 0, 2
Let l be 51/(-30) - 9/(-6). Sort l, 0.5, -2/23 in descending order.
0.5, -2/23, l
Let a = 0.00579 + 0.39421. Let i = 0.3 + -0.2. Let c = i + 0.9. Put 3/4, c, a, 3 in descending order.
3, c, 3/4, a
Suppose -4*r = -4*q + 8, 0 = -5*r - 0*q - 2*q - 10. Suppose 112 = -32*s + 365 - 189. Let o be 2 - (0 + 3) - -5. Put r, s, o, 3 in decreasing order.
o, 3, s, r
Let q be 528/(-77) + 7 - 15/7 - -1. Sort q, -4, 1, 239 in decreasing order.
239, 1, q, -4
Let y be 6*126/54 + -17. Let u(a) = -a**3 - 6*a**2 - 1. Let x be u(-6). Sort y, -71, x.
-71, y, x
Let h be 12/66 - (-2)/(-11). Let x be (1/(-1))/((-14)/14)*4*-1. Sort x, h, -5, -2 in increasing order.
-5, x, -2, h
Suppose 25*o = -75*o + 300. Let j = -126 - -66. Put -4, j, o in increasing order.
j, -4, o
Let d = -63 - -70. Let b = -43.6264 - -0.0264. Let p = b + 44. Sort p, d, 0.5 in ascending order.
p, 0.5, d
Let w be ((-16)/2)/2 + -1. Let i(l) = -l**3 + 9*l**2 - 4*l - 24. Let n be i(8). Let b be (15/50)/(6/n). Sort w, 5, b in increasing order.
w, b, 5
Suppose 0*k = -4*k - p + 1, -5*p - 20 = -5*k. Let v(o) be the first derivative of -7*o**2/2 - 178*o + 38. Let i be v(-26). Sort k, i, 6, 3 in decreasing order.
6, i, 3, k
Let y be (405/(-18))/15*(-7 + 5). Let k be (-4)/(-10) - (-21)/(-15). Sort -6, k, y, 5 in ascending order.
-6, k, y, 5
Let n be ((-18)/6)/((-296)/32 + 10). Let l be (3/3 - 1) + 3. Put l, n, -9 in ascending order.
-9, n, l
Suppose 3*l = s - 17, 3*s + 1 = -4*l - 0*l. Let w = 65492.4 + -65492.1. Sort l, -0.18, w, -5 in descending order.
w, -0.18, l, -5
Let z be (4/(-12))/((-2)/36). Let f(k) = -k**2 + 6*k + 5. Let l be f(z). Suppose 2*w - 5*r - 2 = 0, -3*w + 5*r = 3 - 1. Put w, l, 1, 7 in descending order.
7, l, 1, w
Let y(n) = n**2 + 5*n. Let z be y(-5). Suppose z = -s + 2 - 6. Let p(j) = 213*j - 216. Let a be p(1). Sort 3, 12, s, a in descending order.
12, 3, a, s
Let f = -340 - -449. Let g = f + -106. Let q = -4.05 - -0.05. Sort -0.2, g, 0.4, q in descending order.
g, 0.4, -0.2, q
Suppose -12*c - 789 = 939. Let r = c + 155. Sort 0, -0.4, r in increasing order.
-0.4, 0, r
Let j be ((-4)/50)/((-2)/10). Let w = 8045 - 1005631/125. Let v = w + 387/250. Sort -16, v, j in descending order.
v, j, -16
Suppose 1097*p - 1103*p - 30 = 0. Let t be 120/16*(-4)/(-6). Put p, t, 246 in decreasing order.
246, t, p
Let q(o) = o**2 - 10*o + 7. Let r be q(9). Let d = -4/613 - -1867/4291. Sort -3, d, r.
-3, r, d
Suppose q + 5 + 10 = 5*h, -10 = 4*q + 5*h. Sort -11, 2, q.
-11, q, 2
Let m = 56 - 38. Suppose -37*u - 70 + 128 = -16. Sort -5, m, u in decreasing order.
m, u, -5
Let o be ((-4)/(-12))/(2/(-24)). Suppose 225*v - 131*v + 114 = 132*v. Sort o, -5, v, -6 in ascending order.
-6, -5, o, v
Let r = -25.74 + 25.715. Put 0, r, -4, 1 in decreasing order.
1, 0, r, -4
Let k(h) = 12*h - 202. Let c be k(17). Sort c, 5, -8, 46.
-8, c, 5, 46
Let q = 398 - 451. Let i = q - -54. Sort -1, -34, i.
-34, -1, i
Suppose -249 = -3*u + 3*w, 0 = -3*w - 2*w + 30. Sort 2, u, -3, -4 in decreasing order.
u, 2, -3, -4
Let l be ((320/(-24))/(-8))/((-15)/18). Suppose w - 71 - 9 = 0. Suppose -i - w = -6*i. Put -3, i, l in ascending order.
-3, l, i
Let b = -15204 + 15205. Sort b, 34, -243 in ascending order.
-243, b, 34
Let w be (-18)/(-2) + -1 - (-3)/(-1). Suppose w*k - 2*c = -12, -4*c + 0*c - 36 = 5*k. Suppose -4*j = -5*j + 2. Sort -1, 4, j, k in decreasing order.
4, j, -1, k
Let x = 186 + 15. Let v = x + -196. Put v, 4, 8 in descending order.
8, v, 4
Let j be (-5)/4*10*(-114)/475. Sort -299, j, 8, -1 in descending order.
8, j, -1, -299
Suppose -6*y = -1 + 1. Suppose -4*c + c + 3*f + 12 = y, -2*f - 8 = -4*c. Let k = 1.26 + -1.76. Put 1/21, k, c in increasing order.
k, c, 1/21
Suppose 5561 = 5263*p - 5196*p. Put 2, p, 8 in ascending order.
2, 8, p
Let w = 914 - 951.3. Let c = w - -40.3. Put -2/15, c, -7 in increasing order.
-7, -2/15, c
Let i(x) = 3*x**2 + 106*x + 934. Let p be i(-18). Sort 225, 5, p in increasing order.
p, 5, 225
Let z(k) = -k**3 + 3*k**2 + 47*k - 141. Let p be z(3). Sort p, -1, -16, 1, -4.
-16, -4, -1, p, 1
Suppose 0 = -5*p - w + 417, -9*w + 4*w = 5*p - 405. Let g be (25/21 + -1)/(p/98). Sort g, 1, -2/5, -2.
-2, -2/5, g, 1
Let o = 18 - 11. Let x(c) = 3*c**2 - 65*c - 1545. Let n be x(36). Put -1, o, n, 2 in increasing order.
-1, 2, n, o
Let t = 43 - 42. Suppose 48 + 12 = -5*r. Sort r, 5, t in descending order.
5, t, r
Let n(i) = -1449*i + 8690. Let p be n(6). Let k = 1 + -6. Put k, 4, p in descending order.
4, p, k
Let p = -7813 - -7460. Let f = -55 + 57. Put 1, p, f in decreasing order.
f, 1, p
Suppose 13 = 3*l - 2*k - 39, 4*l + 3*k = 92. Suppose -2*y + 0*y = -4*b + 20, -b = -5*y - 86. Let m = y + l. Sort 5, 4, 1, m in descending order.
5, 4, m, 1
Let j = -211 + 229. Let g be 4 + 1 + j/(4 - 6). Sort g, -3, -5, 1.
-5, g, -3, 1
Let j(f) = -4*f - 7. Let m be j(-2). Let p be 3/4 - (m - (-5)/(-4)). Put p, -2, -49 in ascending order.
-49, -2, p
Suppose -22*g - 15 = -17*g. Let v be (-4 - -5)/(g/(-3)*1). Suppose 2*t = -h + v + 1, -h - t = 0. Sort 0.3, h, -1, 0.4 in decreasing order.
0.4, 0.3, -1, h
Suppose m = -5 + 1. Let l be (-60)/(-9) - 11/(-33). Let y be 2 + 156/(-21) + (-4)/l. Put m, y, -3, 0 in decreasing order.
0, -3, m, y
Let r = 0.9 - 0.6. Let i = 874 - 882. Sort