Sort y, u, 13 in decreasing order.
13, y, u
Let n = 648 + -650. Let y(k) = k**2 + k - 5. Let j be y(0). Put n, j, -4 in decreasing order.
n, -4, j
Suppose -2*j + j = -2*d + 10, 7 = d - j. Suppose -4*l + 1 - 11 = 3*c, l - 9 = 5*c. Sort 0, d, c in increasing order.
c, 0, d
Suppose 1035*i - 72 = 1027*i. Sort -2, -0.04, i, 5 in decreasing order.
i, 5, -0.04, -2
Let j = 1/74 + -163/1110. Put -4/15, 3, j in descending order.
3, j, -4/15
Let g(k) = -6*k + 161. Let h be g(24). Put 0, h, 1 in ascending order.
0, 1, h
Suppose 4*k - k = 33. Let b(i) = 3*i + 2. Let n be b(-6). Let g = k + n. Put 4, g, -3 in increasing order.
g, -3, 4
Let t = -454/5 + 3158/35. Sort 0, -32, t, 0.01 in descending order.
0.01, 0, t, -32
Let q(k) = -2*k + 3. Let p be q(6). Let l = 10 + p. Suppose 3*o = 5*o - 4. Sort l, o, 5 in descending order.
5, o, l
Let r(h) = -h - 5. Let b be r(-3). Suppose -5*x + 5 = 2*c, 0*c - 2*x + 2 = -3*c. Suppose -4*i = -c*i + 20. Put b, i, 2 in decreasing order.
2, b, i
Let z be 4/30 - (-1030)/150. Let p be (z + -7)/((-6)/(-2)). Sort 1, p, 2.
p, 1, 2
Let v be (-5)/(-15)*(-12)/((-28)/(-7)). Sort 114, 0, v.
v, 0, 114
Let h = -230 + 230.6. Sort -1, h, -0.2 in increasing order.
-1, -0.2, h
Let x = -4 - -4. Let q = 20 - 30. Let z = q - -6. Sort x, -5, z in descending order.
x, z, -5
Let y = -0.9 + -0.1. Let x = 40.4 - 43.4. Put x, 1/5, y in descending order.
1/5, y, x
Let i be 3*4/(-3) - 4. Let z be -4*((-36)/i)/3. Let a be z/8 + (-34)/(-24). Sort a, -2, -4 in descending order.
a, -2, -4
Let i be (-2)/(-2) - 2022/42. Let x = i - -47. Put 1/3, x, 5 in decreasing order.
5, 1/3, x
Let d(t) = 7*t**3 - 24*t**2 + 8*t - 5. Let a be d(3). Sort 4, a, -3, 1/5.
a, -3, 1/5, 4
Let c = 1638 - 1637.973. Put -1, c, 0.4 in decreasing order.
0.4, c, -1
Let t = 1.57 - 64.57. Let w = 63.4 + t. Put 1/7, w, -4/5, -0.2 in decreasing order.
w, 1/7, -0.2, -4/5
Let z(g) = -g**2 + 3*g + 6. Let y be z(4). Suppose 0 = y*x + 49 - 1. Let l be (-4)/x*(-3)/(-4). Sort 2/7, l, -5 in increasing order.
-5, l, 2/7
Suppose -2*i - 9*f = -8*f - 3, -3*i - 5*f - 13 = 0. Sort 6, i, 0 in increasing order.
0, i, 6
Let l = -610 - -4883/8. Sort l, -5, -2/17 in descending order.
l, -2/17, -5
Let q = 84.24 + 3.36. Let c = 88 - q. Let o = -83 - -583/7. Put c, o, 1 in ascending order.
o, c, 1
Let s = -16 + 11.5. Let a = 1.5 + s. Let r be ((-180)/(-14))/(-3) + 38/133. Put a, r, -8 in descending order.
a, r, -8
Suppose 0 = -3*y + 6, -p + 2*y - 9 = -6*p. Let k be 3 + (p - 6 - 2). Sort 0, k, 2.
k, 0, 2
Let k be 15/6*(-35 - -1). Put -5, 0, k in descending order.
0, -5, k
Let h = -1868 + 1863. Let l = -1 + -3. Sort 2, h, l, 0 in increasing order.
h, l, 0, 2
Suppose l - 45*l = -44. Suppose p + 5*o + 6 = 0, -o - 58 = -2*p + 3*o. Let u be p/7 - 2/(-7). Sort -2, l, u.
-2, l, u
Let f = 88.6 + -89.6. Sort f, 5, -91.
-91, f, 5
Suppose 3*o - 5*g - 1 - 8 = 0, 0 = -4*g. Let b = 64 + -48. Let p be (-1 - b/(-12))/(-1). Sort 1/5, p, o in increasing order.
p, 1/5, o
Suppose 6*o - 10*o - 8 = 0, -2 = 3*w - 2*o. Put 63, w, -1 in descending order.
63, -1, w
Let p = 1137 + -1132. Put -2, -10, p, -5 in decreasing order.
p, -2, -5, -10
Let g = 81 + -72. Suppose g*d + 53 = 35. Put d, -4, -1 in descending order.
-1, d, -4
Let z(j) = -j + 4. Let t be z(0). Let n(q) = 9*q - 7. Let y be n(1). Put -4, y, t in descending order.
t, y, -4
Let p = 131/1425 + 1/75. Let q = -18 + 29. Let i = 6 - q. Sort i, 2, p in ascending order.
i, p, 2
Let q = -3975 - -43727/11. Let m = -2 - 0. Put q, 0.4, 0.5, m in ascending order.
m, q, 0.4, 0.5
Suppose 274 - 70 = 4*n. Let h be n + (-7 - -3) + 4. Let x be (h/68)/(3/2). Put -4, x, 0 in ascending order.
-4, 0, x
Suppose 6*m = 7*m. Sort 3, m, 14 in descending order.
14, 3, m
Suppose 51*p = 40*p. Sort 1, p, -0.4 in descending order.
1, p, -0.4
Let x(g) = g**3 + 19*g**2 + 28*g - 38. Let u be x(-6). Put u, -3, -4 in decreasing order.
u, -3, -4
Suppose 2*j = 10, 4*q - 3*j - 4 - 1 = 0. Let i = 291 + -289. Put -4, i, q, 6 in ascending order.
-4, i, q, 6
Suppose -4*s - 6 = 2*b, 8*b - 5*s - 7 = 10*b. Put b, 7, -6 in decreasing order.
7, b, -6
Suppose 3*i = 7*i + 8. Let y = -29 - -26. Let k be (-1 - 0)*(-9)/y. Sort k, i, -5.
-5, k, i
Let f = -8.342 - -0.342. Let x be ((-3)/2)/(10/4). Sort 3, f, x in increasing order.
f, x, 3
Let j = -279 + 276. Sort 5, 1, 39, j in increasing order.
j, 1, 5, 39
Let b(l) = -l - 2. Let a be b(3). Let s = -6618 - -6614. Put 3, s, 8, a in decreasing order.
8, 3, s, a
Let z = 140.5 - 8.5. Let p = -132.3 + z. Sort 0.14, p, -5.
-5, p, 0.14
Suppose t + 9 = -m, m - 6*m = -5*t + 5. Put -2, -9, m, -4 in decreasing order.
-2, -4, m, -9
Let j be 3/2 - (-7)/14. Suppose c = -j*c + 15. Suppose -c*z - 3 - 17 = 0. Sort z, 1, -5 in decreasing order.
1, z, -5
Suppose -4*z = -5*h - 5 - 6, -5*h - 14 = -z. Let n(g) = g**3 + 19*g**2 - 8*g + 245. Let f be n(-20). Put z, 2, f in increasing order.
z, 2, f
Suppose 18*n + 104 - 68 = 0. Sort 18, n, 5.
n, 5, 18
Suppose s - 6*s = 0. Suppose 3*q - q = s. Suppose -5*o + 0*r = -r - 8, 4*o + 3*r = 14. Put o, -2, q in descending order.
o, q, -2
Let u(i) = -2*i**2 - 17*i - 5. Let p be u(-8). Suppose p*o = a, -9 - 3 = -4*a. Put -5, o, 2, 0 in decreasing order.
2, o, 0, -5
Let k be 0 - -1*12/(-52). Let y = -22/39 - k. Sort 2, y, -0.9.
-0.9, y, 2
Let k = -7 + 9. Suppose -5*s = -k*j - 24, -j - 3*j = 5*s - 12. Let x be ((-18)/4)/((-3)/s). Sort -5, x, -4 in descending order.
x, -4, -5
Let f = 2.63 + -85.55. Let b = -75 - f. Let m = b - 8. Put m, -3, -0.5 in decreasing order.
m, -0.5, -3
Let r = -35.15 - -35.1. Sort 1/23, 0.4, -2/7, r in increasing order.
-2/7, r, 1/23, 0.4
Let j = -5252562/41555 + 2/8311. Let r = -126 - j. Let l = -8 - -6. Sort r, 7, l.
l, r, 7
Let o(t) = -t - 25. Let i be o(-18). Suppose 18 = 5*r - 3*l, 4*r - 23 = 5*l - 6. Sort i, 2, r in decreasing order.
r, 2, i
Let n = -4.4 - -6.3. Let m = -21.9 + n. Let u = m + 18. Sort -1/8, 2/19, u in descending order.
2/19, -1/8, u
Let z = 10 - 36. Let m = 53/2 + z. Let a = m + -2. Put a, 0, -1/2 in decreasing order.
0, -1/2, a
Let a = 777 - 8553/11. Let r(h) = -80*h + 319. Let i be r(4). Sort i, 1, a in descending order.
1, a, i
Let a(w) = -w**3 + 6*w**2 + 8*w - 10. Let b be a(7). Let p be 1/b - 14/(-6). Suppose -u = -1 + p. Sort -3, 1, u.
-3, u, 1
Suppose -3*y + 0*y - 3 = 0. Let d = 0 - 0.11. Sort d, y, -2 in increasing order.
-2, y, d
Suppose -143 = 11*j - 121. Sort j, -9, 1 in decreasing order.
1, j, -9
Let n be 32/112 + 22/70. Let k = -0.1 + 0.1. Sort n, k, -0.3 in descending order.
n, k, -0.3
Let h(k) = 2*k**2 + 35*k + 70. Let p be h(-15). Put 2, 49, p in ascending order.
p, 2, 49
Let u be 35/2*(-35)/25. Let l = -24 - u. Let k = -8 + 7. Sort k, l, -4.
-4, k, l
Let w = -143/3 - -47. Let u be ((-375)/18)/(2/(-3)). Let o = -65/2 + u. Sort o, w, 0.
o, w, 0
Suppose -172 = -4*s - 156. Sort s, 0, 19 in ascending order.
0, s, 19
Let c be 1 - (0/2 - 7). Let d(x) = -3*x + 1. Let g be d(-3). Let t(m) = -3*m + 33. Let i be t(g). Sort c, i, -1 in decreasing order.
c, i, -1
Let v = 50 + -67. Sort v, 0.3, -3/7, -2 in decreasing order.
0.3, -3/7, -2, v
Let i = -257 + 122. Let h be ((-6)/(-15))/((-3)/i). Let b = h - 22. Put b, -0.2, 4 in increasing order.
b, -0.2, 4
Let s = 0 - -16. Let u = -3 + s. Let l = -12.5 + u. Put -5, -2, l in ascending order.
-5, -2, l
Let b be -1 - (-4 + 1 + 5/1). Put b, -2, 16 in decreasing order.
16, -2, b
Let d be 2/3 - 175/(-21). Let a(p) = 11*p - 66. Let t be a(6). Sort t, d, -3, 2 in increasing order.
-3, t, 2, d
Let q = 468 + -466. Sort q, 12, 5, 4 in ascending order.
q, 4, 5, 12
Suppose -3 = 4*a - 59. Suppose a = 4*m + 2*r + 40, 0 = 4*m - r + 11. Suppose 0*k = -3*k - k. Put m, k, -5 in increasing order.
-5, m, k
Let k be -1 + (357/(-102) - (-121)/26). Sort 5, k, 8/3 in ascending order.
k, 8/3, 5
Suppose 4*y + y - 205 = 0. Let p = 39 - y. Sort p, 1, -1.
p, -1, 1
Let t = -710.058 - -710. Put 1, t, 2/5 in increasing order.
t, 2/5, 1
Let f(w) = -6*w - 5. Let k be f(-3). Suppose 0 = -r + 4*r - 5*s + 7, 3*r = -s - k. Let o be (-32)/6 + (-2)/(-6). Sort -3, r, o in increasing order.
o, r, -3
Let o = 5/407 + 382/2035. Put 1/8, 2, 7, o in ascending order.
1/8, o, 2, 7
Let b be 86/16 + (5 - 10). Let q = b - 49/88. Sort q, 1/11, 5 in descending order.
5, 1/11, q
Let d(k) = k**3 + 11*k**2 - 64*k + 12. Let