 -0.2, 1/2, u in decreasing order.
u, 2, 1/2, -0.2
Let d = -42 + 47. Let n be (-14 + d)*2*1/6. Put 0.5, n, 1/4, -5 in increasing order.
-5, n, 1/4, 0.5
Let l = -3.4 + 3. Suppose 5*v - 8*v - 3 = 0. Let z be 10/15 - v/(1 - -2). Sort l, z, 2.
l, z, 2
Let w = -7 + 3. Let r(v) = -v**3 - 4*v**2 + 3*v + 9. Let y be r(w). Suppose -2*x = 3*i, 2*x - x - 4*i = 11. Sort y, x, 0 in decreasing order.
x, 0, y
Suppose 3*q + s = 3, 5*q - 5 = 4*s + s. Put 9, -3/2, q in decreasing order.
9, q, -3/2
Let j(z) = -1. Let q(x) = x - 16. Let u(n) = -2*j(n) + q(n). Let v be u(9). Suppose -4*a - 3 = -a. Put -4, a, v in descending order.
a, -4, v
Suppose 18*v - 12 = 20*v. Sort -3, v, 1.
v, -3, 1
Let c = 2.73 + -2.83. Put -2, c, 2/7, -0.2 in increasing order.
-2, -0.2, c, 2/7
Let y(q) = 2*q**3 + 7*q**2 - 2*q - 30. Let n be y(-3). Sort -5, 0, -3, n in descending order.
0, -3, -5, n
Let j = -83 + 83. Suppose 2*k - 8 + 12 = j. Sort 21, k, -5.
-5, k, 21
Suppose w = 5, 3*y + 12 = 5*w - 4. Suppose y*f = -0 + 6. Suppose 29 = -2*a + 37. Put f, a, 3 in increasing order.
f, 3, a
Let j = 5 + 0. Suppose k - 5*n - 14 = 0, -4*k = -3*k - 4*n - 10. Let b be j/(-30)*(-8)/k. Sort -0.1, b, 6.
b, -0.1, 6
Let b = 1766 - 1764. Sort -1, 5, b, -5.1.
-5.1, -1, b, 5
Let v = 346 - 2075/6. Sort 5, v, -7 in descending order.
5, v, -7
Let p be (-1)/(6/4*2/(-9)). Sort -4, p, 5, -2 in decreasing order.
5, p, -2, -4
Let i be 2/(-6)*1/(-1). Let b be ((-1)/(-2) - 0/(-7))*-1. Let o = -2 - -1.94. Put i, b, o in increasing order.
b, o, i
Suppose -4*u + 6 = -u. Let k be 0*((-48)/(-32) - (1 + 0)). Suppose -a - 3*b + 1 = 3*a, 3*a + 3*b = k. Sort 5, a, u in ascending order.
a, u, 5
Let x = 1469 + -13222/9. Suppose 0*i - 20 = 4*i. Let b = 0 + i. Put x, 0.3, b in increasing order.
b, x, 0.3
Let m = -796.97 + 797. Put -17, -0.2, m in increasing order.
-17, -0.2, m
Let z be (-240)/836 - (-16)/152. Sort 2, z, 17 in ascending order.
z, 2, 17
Suppose 0 = -2*c + 2*h - 4, -4*h = c - 3*c. Sort 3, c, -5 in decreasing order.
3, c, -5
Suppose d - 4*d = o - 5, 4*o - 5*d - 20 = 0. Suppose 3*n + 10 = 2*n + 2*b, -2*n - 3*b - 6 = 0. Sort o, -1, n, -4 in ascending order.
n, -4, -1, o
Suppose 0 = -z + 3, -9 = -d + 36*z - 38*z. Put -11, d, -1/5 in increasing order.
-11, -1/5, d
Suppose -16 = 4*x + 2*q, q = -4*x + 4*q - 6. Suppose 5*f = -0*f. Put x, -5, f in descending order.
f, x, -5
Let m = 0.61 + 29.39. Let k = m - 33. Put -1/11, k, 2, 4 in descending order.
4, 2, -1/11, k
Let f be 2/(-14) + 1395/63. Let s = f - 25. Let a be s*((-20)/12 + 2). Sort a, 2/21, -0.4.
a, -0.4, 2/21
Suppose 0 = -9*b + 2*b + 35. Suppose -b*n = -9*n. Sort -1, 2, 5, n in increasing order.
-1, n, 2, 5
Let x(k) = 2*k**2 + k - 52. Let z be x(5). Put z, 5, -3, 0 in descending order.
5, z, 0, -3
Let z = -0.57 + 0.87. Let c = -0.1 - 1.9. Sort z, 0.4, c, -3/8 in decreasing order.
0.4, z, -3/8, c
Let m(k) = 6*k + 107. Let i be m(-18). Put -20, i, -4, 5 in decreasing order.
5, i, -4, -20
Let l = 4.5 - 4. Let c = 1558.98 + -1559. Put -1, l, c in descending order.
l, c, -1
Let w = 177 + -155.31. Let i = 0.31 + w. Put i, 3, -1 in decreasing order.
i, 3, -1
Suppose 10 = -5*v, 3*v - 8 = -k - 6. Suppose -k*j - 60 = 12*j. Put -5, j, 3 in descending order.
3, j, -5
Let b(p) = p**2 + 7*p + 4. Let i be b(-6). Suppose -4*j = 4*o + 536, -j - 78 = 5*o + 576. Let t = o - -130. Put -3, t, i in descending order.
t, i, -3
Let i = 343 + -14065/41. Sort 2, -3, 6, i in increasing order.
-3, i, 2, 6
Let z be 2/(-3) - 4/(-6). Let j be (-3)/(-14)*4 + 1312/(-224). Sort z, 5, 3, j in ascending order.
j, z, 3, 5
Let h(v) = v**3 + 6*v**2 + 5*v - 2. Let q be h(-5). Let z be 2 + (-4 + -1)*4/10. Suppose z = 4*l + 1 + 19. Sort q, 4, l.
l, q, 4
Let s = 417 - 422. Suppose -5*j + 5*w = 20, 4*j = 2*j - w - 20. Let d be j/(-28) + 52/14. Put s, 1, d in decreasing order.
d, 1, s
Let j = 893 - 9825/11. Sort -1.2, j, -0.2, 10 in descending order.
10, j, -0.2, -1.2
Let i = -180 + 180.4. Let s = -3 + 4. Sort s, i, 5 in increasing order.
i, s, 5
Let z = 355 + -354. Put z, -1, 35, 0.1 in ascending order.
-1, 0.1, z, 35
Let n = -24 - -23.5. Sort 3, 1/6, 4/3, n in increasing order.
n, 1/6, 4/3, 3
Let p be 1/2 - 490/20. Let v be (6/(-44))/(p/32). Put 0.04, v, 0.5 in increasing order.
0.04, v, 0.5
Let v be 4/3 + 0*(-3)/(-6). Put 6, -4, v in decreasing order.
6, v, -4
Let l = -30 + 28. Let n be ((-2)/6)/(l/12). Sort n, 1, -3 in increasing order.
-3, 1, n
Let s be ((-14)/7)/(2/(-6)*1). Suppose 5*d = -s*d - 33. Sort 2, d, 1, -4 in increasing order.
-4, d, 1, 2
Suppose 0 = -2*o - 0*o - 32. Let v be (2 + o + 1)*1. Let l = 15 + v. Put 1, l, 4 in decreasing order.
4, l, 1
Suppose -773 - 143 = -4*t. Let s = t + -2517/11. Sort s, 0.5, -8/3.
-8/3, s, 0.5
Let v = -313 + 307. Suppose 2*m = -2*m - 8. Sort m, -4, v in descending order.
m, -4, v
Let l(u) = 4*u - 51. Let c be l(29). Let k = c - 67. Sort 2, k, 1, -1 in descending order.
2, 1, -1, k
Suppose 14 = 2*d - a, -14*a + 28 = 4*d - 13*a. Put 5, -20, d in descending order.
d, 5, -20
Suppose -3*a + 2*a = -4*m - 13, -4*a = 4*m + 28. Put a, 0, 1 in descending order.
1, 0, a
Let r(d) = d**2 - 8*d - 3. Let s be r(6). Let u = -12 - s. Let v = -9 + 7. Sort 5, v, u in descending order.
5, u, v
Suppose i = 4*s - 8, 3*s + 2*s - 10 = 3*i. Let j be 162/14 + (-28)/49. Sort -5, s, 1, j in decreasing order.
j, s, 1, -5
Let d be 4/2*(-3 + (-196)/8). Put -4, -0.4, d in decreasing order.
-0.4, -4, d
Let f = -0.6 + 1. Let j = -0.2 - -1.2. Let g = -1465/9 + 163. Sort g, f, j in increasing order.
g, f, j
Suppose -5*p - 32 = -9*p. Suppose p*z - 6 = 10. Put 4, -5, z in descending order.
4, z, -5
Let i = -263 + 266. Put -3, 7, i in descending order.
7, i, -3
Let t = 6 - 4. Let l = 3 + -10. Let g be (175/(-20))/l*4. Sort t, g, 4 in ascending order.
t, 4, g
Let j(a) = a**2 - 49*a + 505. Let i be j(34). Let d = 3.6 + -4. Sort d, 0.4, i, -2 in ascending order.
i, -2, d, 0.4
Suppose -21*f - 72 + 9 = 0. Put -7, f, 43 in decreasing order.
43, f, -7
Suppose 2*c + 11 = s, -3*s = -c - 0*s - 18. Let x be 1 + 5/((-5)/c). Suppose -x*j = -5*d - 27, 2*j - 6 = 5*j. Put d, 4, -1 in descending order.
4, -1, d
Suppose 5*t = -4*y - 19, -5*y - 1 + 11 = -5*t. Sort y, 2, 1.
y, 1, 2
Let d be 3*((-6)/9 - 0). Let o be (8 - 438/54)*9. Put 0, o, d in descending order.
0, o, d
Suppose 3*l + 3*y = -15, 15 = -l - 4*y + 1. Let u = 8 + -1. Let w = l + u. Put -3, w, 1 in decreasing order.
w, 1, -3
Suppose -a + 2*a - 4 = 0. Let t be (4/10*4)/((-2)/(-15)). Suppose 38 - t = 13*q. Put a, q, -2 in decreasing order.
a, q, -2
Let m(c) = c**2 - 32*c + 89. Let q be m(29). Let t = -78 - -77. Put q, 1, -3, t in ascending order.
-3, t, 1, q
Let d = 3368 + -3373. Sort -2, 65, -1, d in ascending order.
d, -2, -1, 65
Suppose -y - 3*y + 48 = 0. Suppose 2*n + 3*l - y = 0, -2 - 3 = n - 4*l. Let x be (-65)/(-40) - 2 - (-9)/24. Put -2, n, x in descending order.
n, x, -2
Let p = 0.2 - 0.1. Let b = 26 + -25.8. Sort b, p, 2/5.
p, b, 2/5
Let b be (-5335)/(-225) + (-6)/10. Let i = b - 23. Let a = 177/4 - 44. Sort a, i, -0.5.
-0.5, i, a
Let i be (3/(-4))/(105/40). Let l = -200 - -204. Put -0.4, i, l in decreasing order.
l, i, -0.4
Let s(k) = -k - 47. Let x be s(-59). Put 3, x, -9 in decreasing order.
x, 3, -9
Let k be ((224/12)/(-7))/(2/3). Sort -24, k, 3, 4.
-24, k, 3, 4
Let q = 0.058 + -0.038. Put q, 0.5, -9 in descending order.
0.5, q, -9
Let r be 16/10 + (-579)/965. Sort r, -1, 3, -15 in ascending order.
-15, -1, r, 3
Let s be (-3 - -2) + (-20 - -24). Let o be 2/5 + 12/(-5). Sort s, o, -3, -4 in descending order.
s, o, -3, -4
Let l(w) = 3*w**2 + 4*w + 3. Let r be l(-4). Let h = r - 29. Let i(o) = -o - 3. Let z be i(-3). Put h, -4/7, z in ascending order.
-4/7, z, h
Let d = -104 + 103.19. Sort 0.1, d, 4/7 in ascending order.
d, 0.1, 4/7
Suppose 0 + 4 = f. Suppose 0 = 4*q + 4*h - 84, 2*q - 11 = f*h + 7. Suppose 4*a + 4*g - 5 = -q, -a + 3*g + 17 = 0. Sort -1, a, 5 in increasing order.
-1, a, 5
Let a = -8 - -5. Let c = -0.2 - 0.7. Let k = c - -1.2. Sort k, a, -2 in decreasing order.
k, -2, a
Let s = 24.9582 + 0.0418. Sort s, 2/3, -3/8, 0 in decreasing order.
s, 2/3, 0, -3/8
Let t = 71 - 67. Put 2, t, -1/4, 2/5 in descending order.
t, 2, 2/5, -1/4
Let m = 2.78 + 2.22. Sort -0.4, 11, m in decreasing order.
11, m, -0.4
Suppose -729 = 2*m - 725. Let g(a) =