Let a = -59 + 60. Sort i, a, 0 in ascending order.
i, 0, a
Suppose 0 = -7*y + 41 - 62. Sort 4, y, 5.
y, 4, 5
Let y = 120/781 - -2/71. Put -5, y, -0.5, 65 in descending order.
65, y, -0.5, -5
Let n be (-34)/(-10) - (-4)/(-10). Suppose -9 = 13*w - 61. Suppose n*b - 4*z = -b - 8, -3*b = -w*z + 8. Put 5, b, -3 in ascending order.
-3, b, 5
Suppose v - 3 = 2. Let s = 475 + -479. Put -3/2, s, v in increasing order.
s, -3/2, v
Suppose -3*j + 76 = 2*p - 58, 3 = 3*p. Let z = 48 - j. Let x be ((-1)/(-2) + -1)*6. Sort z, x, -5 in decreasing order.
z, x, -5
Suppose 0 = 12*t - 2*t + 260. Let c = -29 - t. Put 3, -4, c, 5 in descending order.
5, 3, c, -4
Let f be 2/(-7) - (-1377)/189. Put -2/3, -4, f, 1 in decreasing order.
f, 1, -2/3, -4
Let z(l) = l**3 + 2*l**2 - l + 4. Let r be z(-3). Let w(q) = -q**3 - 34*q**2 - 33*q + 5. Let c be w(-33). Sort 4, 3, c, r.
r, 3, 4, c
Suppose -14 = -5*h + 2*h + v, h + 3*v = -2. Put -3, h, 3, 1 in ascending order.
-3, 1, 3, h
Let z(a) = -23*a + 50. Let r be z(2). Sort 2, -66, r, -5 in ascending order.
-66, -5, 2, r
Suppose -2*f + 9 = 5*r, r + 0*r + f = 3. Suppose 5*u + 0*u - 31 = 4*w, 0 = -4*u - 5*w - 8. Suppose u*n - 17 = 3*q + 13, 4*n - 2*q - 30 = 0. Sort n, r, -4.
-4, r, n
Let x = -1.45 + 2.04. Let s = -0.45 - -0.46. Let f = s + x. Sort f, -5/3, -2/19.
-5/3, -2/19, f
Let r = -69.1 + 95. Let g = -26 + r. Put -2/3, g, -2/9 in decreasing order.
g, -2/9, -2/3
Suppose 4*p - 5*j - 62 = 0, 47 - 3 = 4*p + 4*j. Sort p, 5, 7 in ascending order.
5, 7, p
Suppose -5*l = -2*l - 12. Let d = l - -7. Suppose -4*x + d + 9 = 0. Put -2, x, 2 in increasing order.
-2, 2, x
Let h(w) = -w**3 + 13*w**2 + 14*w + 1. Let o be h(14). Put 0, -4, -3, o in descending order.
o, 0, -3, -4
Suppose 0*a + 5*m + 66 = -a, 2*m + 174 = -4*a. Let h = -44 - a. Sort h, 4/3, -5 in decreasing order.
4/3, h, -5
Let p = -26 + 29. Let b be 1/(6/4 - 1). Sort b, p, -4 in descending order.
p, b, -4
Suppose 51*y = 52*y - 14. Let d = -20 - -45. Let t = y - d. Put -3, 2, t in descending order.
2, -3, t
Let y = -182 - -912/5. Put 2, -5, 2/17, y in increasing order.
-5, 2/17, y, 2
Let b = 148/329 - 1/47. Let l = -7 - -4. Sort b, 2/5, 1, l.
l, 2/5, b, 1
Let m be (1156/(-24))/(-17) - 3. Let u = -0.2 + -10.8. Sort m, -0.2, u in ascending order.
u, -0.2, m
Let k = 87 - 82. Suppose 0 = -4*r + 5*u + 22 - 12, 2*r = k*u. Suppose t + 5*x + 14 = 3*x, -x = -5*t - 15. Put r, t, -5 in descending order.
r, t, -5
Suppose f - 2*h - 12 = -f, -3*f = 5*h - 42. Put -5, 0.1, f in decreasing order.
f, 0.1, -5
Let r be (-2 - 0) + (-1)/1. Let a(n) = n**2 - 11*n + 29. Let d be a(7). Put d, 4, r, 2 in decreasing order.
4, 2, d, r
Let x = 3.8 - -2.2. Let s = -29.1 - -29. Sort 5, x, s in decreasing order.
x, 5, s
Let p = 46 + -45.6. Sort -3/2, p, -16, 0.3 in descending order.
p, 0.3, -3/2, -16
Let y be (-4)/(-1) - 4 - 2. Put 5, y, -4/3, 2 in decreasing order.
5, 2, -4/3, y
Let n be (-8)/12 - ((-145)/25 + 5). Sort 0, 0.1, n, -3 in descending order.
n, 0.1, 0, -3
Let f = 1048 - 1048.5. Let m = 0.1 - 0.1. Sort f, 3, m.
f, m, 3
Suppose 47 - 159 = -8*w. Let b(r) = -r**2 + 12*r + 19. Let u be b(w). Put u, -1, -3, -5 in descending order.
-1, -3, -5, u
Suppose 5*q = q - 2*l - 6, 23 = -2*q + 3*l. Suppose -3*m = -5*a + 8 - 1, 3*m = -2*a - 14. Let k = 310 - 315. Put a, k, q in ascending order.
k, q, a
Suppose o + 1 = m, 14 = 5*m - 0*m + 4*o. Suppose -3*g + m*g + 3 = 0. Suppose -g*n = -8*n + 5, -p = -3*n + 6. Put p, 2, 1 in increasing order.
p, 1, 2
Suppose 0 = 5*c + 4*f - 778, 3*f = 2*c - 2*f - 298. Let p = -141 + c. Sort -5, p, 5.
-5, 5, p
Let k(o) be the first derivative of -o**2/2 - 4*o - 12. Let g be k(-4). Sort g, 4, -0.2.
-0.2, g, 4
Let v(q) = 2*q**3 - q**2 + q - 2. Let h be v(2). Suppose 0 = 5*n - 7*n + h. Let g be 10 + -2 + n/(-2). Sort -7, g, -5 in increasing order.
-7, -5, g
Let q = -1/14 - 11/42. Let z = 1282 + -1279. Sort z, -3/8, q.
-3/8, q, z
Let r = -15319/11 - -1392. Put -0.3, 1/8, r in descending order.
1/8, -0.3, r
Let j be (-3)/(-2)*10*28/(-210). Put -3, -4, 4, j in ascending order.
-4, -3, j, 4
Let h(m) be the third derivative of -m**5/60 + m**4/4 - 2*m**3/3 - 5*m**2. Let u be h(4). Let i = 1.6 + -1.6. Put i, u, -0.5 in decreasing order.
u, i, -0.5
Let t = -162 + 167. Sort -5, t, 6, 0.
-5, 0, t, 6
Let u = 3 - 6. Put -2, u, -1 in decreasing order.
-1, -2, u
Let c = 411 + -415. Suppose 0 = -4*h - 0*h - 4*a - 4, 0 = h - a + 1. Put -2, 5, h, c in ascending order.
c, -2, h, 5
Let x be (-72*10/(-40))/(0 - 2). Put 1, x, 5 in descending order.
5, 1, x
Let l = 470 - 472. Sort -468, l, 3 in decreasing order.
3, l, -468
Let f = -131 + 131.1. Put 5, 0, 0.08, f in ascending order.
0, 0.08, f, 5
Let i(z) = -z**3 - 12*z**2 - 20*z + 2. Let n be i(-10). Suppose g = n*g - 2. Sort -2, g, -5, 3.
-5, -2, g, 3
Let v = 12 + -19.4. Let k = v + 7.7. Sort k, -5, -6.
-6, -5, k
Suppose y = -4*w - 7, -8*w = -3*y - 3*w + 30. Let i be (-2)/6*-3 - 3. Sort y, -5, i in decreasing order.
y, i, -5
Let u = -36/5 + 458/65. Let k = -43.96 + 43. Let f = 0.04 - k. Put f, 0.2, u in ascending order.
u, 0.2, f
Let u = 130.879 + -130.8. Put -0.5, u, -0.4 in decreasing order.
u, -0.4, -0.5
Let y(v) = 3*v**2 + 8*v + 6. Let a be y(-3). Let o(z) = -4*z + 34. Let k be o(a). Sort k, -0.1, 3, -1 in descending order.
3, -0.1, -1, k
Let r = 28.49 - 31.29. Sort r, -1/4, -4 in descending order.
-1/4, r, -4
Suppose -9*u + 23 = -157. Suppose -2*r - 5*c = -20, -2*c + u = -r + 3*c. Sort r, 2, 12.
r, 2, 12
Let j be 3 + (10/(-18))/(9/45). Let l be (-32)/55 + 10/25. Put l, j, 2/11, 0.4 in increasing order.
l, 2/11, j, 0.4
Let u be -1 + ((-4)/2 - -2). Let f be 8/(-1) + 1034/94. Sort 4, u, 5, f in increasing order.
u, f, 4, 5
Let t be 68/12 - (-16)/12. Suppose -2*p = o - t, 4*p + 0*o - 9 = -o. Suppose f - 9 = 4*f. Sort p, f, 3 in descending order.
3, p, f
Let g = -42/11 - -95/22. Let r = -1.3 + 0.9. Put r, 0, -5, g in increasing order.
-5, r, 0, g
Let g = -16 - -16. Suppose w + 0*w = g. Suppose 4*n - 6 - 10 = w. Sort 3, n, 2 in ascending order.
2, 3, n
Let d be 8/10 - (21 + 954/(-45)). Sort d, -1, -21, -2 in descending order.
d, -1, -2, -21
Suppose 4*d - 2*d = 0, 0 = r + 5*d - 3. Let z = r + -4. Sort -2, z, 8.
-2, z, 8
Let p = 0.53 + -0.33. Let v = 0.05 + 4.95. Let w be ((-16)/(-14) - 2) + 1. Put w, v, p in decreasing order.
v, p, w
Suppose 5*x + 60 = -2*w - 5, 2*w + 32 = -2*x. Let p(g) = -g**3 - 10*g**2 + 11*g - 2. Let f be p(x). Sort 2, f, 5, -1 in decreasing order.
5, 2, -1, f
Let l = 0.02 + -0.92. Let j = 2.9 + l. Sort -5, 8/7, j.
-5, 8/7, j
Let q = 8 - 7.24. Let n = 0.16 - q. Sort -0.3, n, 2/13 in decreasing order.
2/13, -0.3, n
Let b = -160 + 168. Put b, -2, -5 in decreasing order.
b, -2, -5
Let b = -13 - -15. Suppose -b*o + 3*v - 23 = 0, 2*o - 4*v - 5 = -29. Let z = o - -12. Put z, -3, 0 in decreasing order.
z, 0, -3
Let q be (-12 - -1) + 2/2. Let g = q + 7. Suppose 2*k = 2*p + k - 1, -4*k = 2*p - 6. Sort p, -2, g in descending order.
p, -2, g
Suppose -360 = -13*x + 25*x. Sort x, -1/2, 0.2, 2.
x, -1/2, 0.2, 2
Let v be (-6)/21*1/(-2). Let w = -1038 + 1040. Put v, -2, w, -5 in descending order.
w, v, -2, -5
Suppose -5*r + 5*t + 10 = 0, 4*r - 10 = -5*t + 25. Suppose -2*g = 6, 2*k - 9 = -0*k + r*g. Sort 4, -7, k, -1 in descending order.
4, -1, k, -7
Let k = -613 + 612.9. Put 26, 0.4, k, 0.5 in descending order.
26, 0.5, 0.4, k
Let u = 441 + -440. Suppose -2*w = 2*w + 16. Sort w, u, -3 in increasing order.
w, -3, u
Let w be 153/102*(8/2 + -2). Sort -5, w, 4, -23 in ascending order.
-23, -5, w, 4
Suppose -8*o = -15*o + 84. Suppose o*w = 9*w. Sort 4, -3, w, -2 in descending order.
4, w, -2, -3
Let l = -54304 - -435483/8. Let k = 29 - 160. Let j = l + k. Sort -6, j, 3 in descending order.
3, j, -6
Let y be (-24)/(-18)*(-6 + 0). Let p(u) = -2*u - 12. Let b be p(y). Suppose 3*g - 5*n = 2*g - 21, -b*g + 4*n = 4. Sort g, 0.4, 0 in ascending order.
0, 0.4, g
Let d = -47 + 27. Suppose 503*o - 499*o + 12 = 0. Sort 0.1, o, d in ascending order.
d, o, 0.1
Let d be (-8)/16*(-3 - 7/(-2)). Sort -3/8, -12, d, 0.5 in increasing order.
-12, -3/8, d, 0.5
Let r be (-39)/10 - -3 - (-6)/8. Let k = 16201/40 - 405. Let s = r + k. Put -5, -1, s in descending order.
s, -1, -5
Let a = 1 - 3. Let t = -62 - -58. Let c(b) = -5*b - 38. Let l be c(-7). Sort l, a, t in ascending order.