 = -z. Sort 0.1, 0.2, a in descending order.
a, 0.2, 0.1
Let u(y) = y**2 - 10*y + 11. Suppose 4*m - 2*x = 9*m - 34, -6 = 2*x. Let l be u(m). Sort 1, 3, l in decreasing order.
3, 1, l
Let r = 5 + -1. Let d = 0.133 + -0.233. Sort 0.2, r, 3/7, d in increasing order.
d, 0.2, 3/7, r
Let b = 8.4 - 8.1. Sort 2, b, -3, -1/7.
-3, -1/7, b, 2
Let k(g) = -g. Let h(i) = 4*i - 11. Let n(s) = h(s) + 6*k(s). Let t be n(-8). Suppose -o - 1 = 4*v - 4*o, v - 17 = -t*o. Put -2, v, -5 in descending order.
v, -2, -5
Let v = 161 - 113. Let f = v + -58.7. Let c = 11 + f. Sort -2/7, -6, c in descending order.
c, -2/7, -6
Let b = 0.012 - 0.032. Let q = -7 - -1. Let k = 4 + q. Sort b, 0, k in increasing order.
k, b, 0
Suppose 0 = -2*f + 8, -2*z + 16 = -f + 4*f. Suppose -3*r - 35 = -d - 0*r, 3*d = -2*r + 94. Let a = 29 - d. Sort a, z, 5 in decreasing order.
5, z, a
Suppose 7*z - 2*z = -50. Let u be (-4)/10 + (-4)/z. Let l = -968 + 967.6. Put u, -1/6, l in decreasing order.
u, -1/6, l
Let a(f) = -2*f + 30. Let b be a(15). Suppose c + 4*c + 5*u - 45 = b, 0 = -5*c + 4*u. Suppose -10 = 4*n - 2. Put -6, n, c in increasing order.
-6, n, c
Suppose -2*l + 17 = m + 4*m, 12 = 4*m. Sort -1, l, 25 in decreasing order.
25, l, -1
Let b(t) = -7*t - 1. Let o be b(-3). Suppose -4*r = r - o. Suppose -4*y + 8 = -r*w - 0*w, 0 = -4*w + 12. Put y, -1, -2 in ascending order.
-2, -1, y
Let m be (6/(-18))/(((-8)/9)/8). Suppose -g + 1 = 4*w, -2*w = -5*g + w + 5. Put g, m, -5 in descending order.
m, g, -5
Let y = -30.9 - -31. Suppose -v = -2*t + 11, -2*t = -2*v - 11 - 5. Sort 4/9, y, v in decreasing order.
4/9, y, v
Let a = 0.6 - -17.4. Let t = -117 - -225. Let l be 2/18*t/24. Sort -3, a, l in increasing order.
-3, l, a
Let o = 202 + -205. Put o, 5, -1, 0 in ascending order.
o, -1, 0, 5
Let k = 16.3 - 15.8. Put -2, k, 27/5 in decreasing order.
27/5, k, -2
Let d be (-501)/(-45) + (-4)/30. Suppose -9 - 1 = 5*t, 4*v - 14 = 5*t. Sort v, d, -4 in increasing order.
-4, v, d
Let s = 407 + -403. Sort 0.15, s, -5/7.
-5/7, 0.15, s
Let z = -1343 + 2029. Sort z, 2, -2 in increasing order.
-2, 2, z
Let h(b) = 2*b**3. Let t be h(-1). Let s = 0.26 - 0.06. Let z = -0.3 - s. Put z, t, 4 in decreasing order.
4, z, t
Suppose 4*w + i = 2*i - 24, -4 = i. Let u = -785 - -785. Sort u, w, 2 in descending order.
2, u, w
Let u = 248 - 253. Sort -30, u, 3 in decreasing order.
3, u, -30
Let i = 61.6 - 62. Suppose -s = 5*d + 13, -s + 6 = 2*s. Sort -0.07, d, i in ascending order.
d, i, -0.07
Let z = -3091 - -3091.3. Put 0.2, 4, z, -0.53 in increasing order.
-0.53, 0.2, z, 4
Let n = 24.325 - 0.325. Sort 0.5, -5, n, 5.
-5, 0.5, 5, n
Let p be (8/14)/((-12)/(-42)). Suppose 0 = v + p, 5*d - 3*v - 36 = 2*d. Suppose 2*g + d = -0. Put 4, -1, g in increasing order.
g, -1, 4
Let l = 3.004 + -0.004. Sort -1/3, -6, -0.2, l in ascending order.
-6, -1/3, -0.2, l
Let h = -3.8 - -0.8. Let c = 1328 + -180607/136. Let y = c + -413/680. Sort 0.2, y, h in decreasing order.
0.2, y, h
Let o be (-4)/(-6) - 40/(-12). Let c(v) = -24*v + 696. Let p be c(29). Sort o, p, -3.
-3, p, o
Let z = 0 - 3. Let g = 0 + z. Let p = -7488/7 - -1070. Put -4/7, g, p in increasing order.
g, -4/7, p
Let x = -16 - -31. Suppose 2*c + 2*c + x = 5*r, 2*r = 6. Suppose c*n = 2*n - 8. Put 2, n, 0 in ascending order.
0, 2, n
Let y = 2 - 1. Suppose -52*b = -61*b - 45. Sort y, -72, b in ascending order.
-72, b, y
Let p = -2468/9 - -274. Put p, 0.3, 0.2 in increasing order.
p, 0.2, 0.3
Suppose 65*y + 194 = -32*y. Sort -5, 3, y, 2 in descending order.
3, 2, y, -5
Suppose 2*z - 4 = 0, 2*s - 3*z + 14 - 18 = 0. Let v = -7 + 2. Sort v, s, -3.
v, -3, s
Let b(n) = -2*n + 14. Let g be b(5). Suppose -r = g - 1. Sort 4, r, -2 in descending order.
4, -2, r
Suppose -5*j = 3*q - 11, -q + 3*j = 8*j - 7. Sort q, 1, -195 in descending order.
q, 1, -195
Let d be (-54)/6 + (1 - -1). Suppose -1 + 3 = m. Put -1, -3, d, m in descending order.
m, -1, -3, d
Suppose a - 3*l = 87, -201 = -2*a - 8*l + 5*l. Sort 0, a, 5, -2 in decreasing order.
a, 5, 0, -2
Suppose -59 = -5*j - 109. Let k = 75 - 73. Sort k, -4, 0, j.
j, -4, 0, k
Let s = -172 - -249. Let g = s - 82. Sort 17, g, -2 in descending order.
17, -2, g
Suppose 5*v + k = 38, 0 = -5*v - k + 5*k + 23. Let l be v/(-14)*8/1. Put 1, l, -5 in decreasing order.
1, l, -5
Suppose -3*g + 66 = 3*m, -2*m + 3*m + 58 = 3*g. Let d = g + -9. Sort d, 1, -2 in ascending order.
-2, 1, d
Let w = 599/7 - 85. Let x be 4/(-3)*(-3 + -3). Let y be -1 - (x/(-6) + 0). Put y, 0.1, w in descending order.
w, y, 0.1
Let a = 889 - 884.028. Let v = a + 0.028. Put -0.2, 2/3, -2, v in descending order.
v, 2/3, -0.2, -2
Let x = 543/442 + -15/17. Let d = 187 + -2433/13. Let g = x - d. Sort g, 0, 1/4 in descending order.
g, 1/4, 0
Let j be (-4 - -2 - -8) + -6. Sort j, -2/7, 9 in descending order.
9, j, -2/7
Suppose 2 = z - 2. Suppose 21*g + 6*g + 135 = 0. Sort 0, -3, g, z in descending order.
z, 0, -3, g
Let l(k) = k**3 - 12*k**2 - 51*k + 82. Let p be l(15). Put 12, -4, p in descending order.
12, -4, p
Let f = 40 - 46. Let m be ((-2)/f)/((-4)/(-84)). Sort -5, -1, m in decreasing order.
m, -1, -5
Let j = 503 + -491. Put 1/3, j, 2, -0.5 in descending order.
j, 2, 1/3, -0.5
Let c be ((-196)/(-42))/((-997)/(-51) - 1). Let z = c - 3/43. Sort -3/7, 0.1, z, 12 in ascending order.
-3/7, 0.1, z, 12
Let k be 10/(-4)*(-1 - -3). Let m be 1/((3/5)/(33/11)). Suppose m + 7 = 2*b - 2*t, -4*t = 4*b - 16. Sort -3, k, b in descending order.
b, -3, k
Let x = -3.1 + 17.1. Put x, 0.4, 3 in ascending order.
0.4, 3, x
Let j = -127/3948 + -1/282. Sort -1, 0, j.
-1, j, 0
Suppose 0*z + 4 = -5*b - z, -3*z = 5*b + 12. Let n be (b/(-2) + 1)*-7. Suppose 248 = -31*w - 31*w. Sort 2, w, n in ascending order.
n, w, 2
Let w = -0.7 + -3.3. Let r = -3.1 + -13.9. Let z = r + 19. Sort z, w, -1/6 in descending order.
z, -1/6, w
Let s(k) = k**3 - 5*k**2 + 7*k - 15. Let w be s(4). Suppose d - b - 3 = 0, 0*d - 4*b + 12 = 2*d. Sort d, 1, w.
w, 1, d
Suppose 0 = -5*z + 2*z - 18. Let a(f) = -f. Let l be a(z). Let j be 1/6 + 5/l. Sort -4, j, -1.
-4, -1, j
Let j = -24.29 - -24.09. Sort -1/2, j, 5 in ascending order.
-1/2, j, 5
Let x be (-2)/8 + 1*303/(-36). Let d = x + 17/2. Put d, 3/4, 2 in decreasing order.
2, 3/4, d
Let c = -10 + 27. Let g = c + -12. Let x = g + -4. Sort x, 2, 0.3 in decreasing order.
2, x, 0.3
Suppose -4*g - 5*p + 17 = 0, -g + 5*p - 31 = 2*g. Suppose -13 = 4*y - 1. Put g, 3, y in ascending order.
y, g, 3
Let k = 263 - 262. Put k, 8, -3, 5 in descending order.
8, 5, k, -3
Let l(o) = o**2 + 16*o + 43. Let r be l(-13). Put r, -2, 0, 2/19 in ascending order.
-2, 0, 2/19, r
Let g = 319 - 322. Sort g, 3, 2 in decreasing order.
3, 2, g
Let y = -1363 - -1365. Put -4, y, 0.4, -13 in descending order.
y, 0.4, -4, -13
Let w = -58 + 54.9. Put 0.5, -5, w in descending order.
0.5, w, -5
Let j be (-10)/(-16) + 0 - 54/(-144). Put j, 18.9, 4/3 in decreasing order.
18.9, 4/3, j
Let x(a) = -a**3 - 5*a**2 + 10*a + 23. Let l be x(-6). Suppose -m + 5 = -0*m. Sort m, -3, 1, l.
-3, l, 1, m
Let i = -192.3 - -192. Sort -5, -1, i, -0.01 in ascending order.
-5, -1, i, -0.01
Let l = -2.3 + 2. Let x = -162.6 - -162.1. Sort l, 0, x, 1/2 in ascending order.
x, l, 0, 1/2
Let t be 1 - (4 + 3 + -5). Let x = -312 - -310. Sort 17, t, 1, x.
x, t, 1, 17
Suppose 55*x - 63*x = -120. Sort x, -4, 4, 5 in ascending order.
-4, 4, 5, x
Let f be 3 + (-80)/28 + (-44)/14. Sort f, -0.1, -0.4, -1 in ascending order.
f, -1, -0.4, -0.1
Let t = 471 - 476. Put t, 0, 7, 3 in increasing order.
t, 0, 3, 7
Let g be 6/(-12)*(-3)/(3/4). Suppose 0 = -3*q + 2*q - 5*h + 14, 5*q - 3*h = 42. Let b = -15 + q. Sort 3, g, b in descending order.
3, g, b
Let n = -0.063 - -7.463. Let t = n + -7.8. Sort t, 0.1, -0.2, -3 in decreasing order.
0.1, -0.2, t, -3
Let u = 5.1 - 0.1. Let h = 4.7 - u. Let p = -28 - -29. Sort h, p, -5/4.
-5/4, h, p
Suppose 490*p - 14 = 497*p. Put 2, -15/8, p, 4 in descending order.
4, 2, -15/8, p
Suppose -2*c - 34 = -26. Put 2, -8, c, 0 in ascending order.
-8, c, 0, 2
Let u = 61/116 + -8/29. Put 2, 0.04, u, -5 in increasing order.
-5, 0.04, u, 2
Let i = -3 + 7. Let o(k) = k**2 - k - 30. Let d(c) = -c + 1. Let p(s) = -2*d(s) + o(s). Let u be p(-6). Sort 3, i, u in increasing order.
u, 3, i
Suppose 3*p - 5*n = 28, 11*p = 7*p - 2*n - 6. Let l(i) = 3*i - 1. Let x 