 Sort t, -1, -4 in descending order.
t, -1, -4
Let b(p) = p - 11. Let c be b(9). Let z be 7 - (0 - c)/(-2). Suppose 0 = 4*t + 4*f + z, 0 = 4*t + 2*f + 7 + 5. Put t, 1, 14 in decreasing order.
14, 1, t
Suppose 7595 = -36*w + 7883. Let q(i) = -i + 1. Let o be q(5). Put w, o, -8 in increasing order.
-8, o, w
Let r = -401/92 + 14/23. Let x = 27/8 + r. Sort -4, 2, x, 3 in decreasing order.
3, 2, x, -4
Let z(k) = -29*k**2 - 347*k + 16. Let a be z(-12). Sort a, -25/9, -3, -5, -2/11 in decreasing order.
a, -2/11, -25/9, -3, -5
Suppose -5*j - 34 = 11. Let a be ((-3)/2)/((-219)/(-216) - 1). Let c = a + 112. Put c, j, -1 in descending order.
c, -1, j
Let t = 341/4865 - 9/695. Sort 3/7, -1, 2/7, -0.3, t in descending order.
3/7, 2/7, t, -0.3, -1
Suppose -5*o = -4 + 19. Let c(g) = g + 3. Let d be c(-3). Let b(j) = 2*j**2 - 40*j + 100. Let q be b(3). Sort o, d, 1, q.
o, q, d, 1
Let r = 19.4 + -3.6. Let p = r + -16. Let c be (-2)/(-8) + 0/((-7)/7). Sort c, p, -0.1 in decreasing order.
c, -0.1, p
Let l be (-3)/27*(-7 + 1/1). Let k = 12.917 + 0.083. Let n = k - 11. Put -4, -1, l, n in decreasing order.
n, l, -1, -4
Let o = -8 - -6. Suppose -12*v = 19*v - 0*v. Sort -5, v, o, 16.
-5, o, v, 16
Suppose 33 = d + a, 2*d + 162 = 7*d + 2*a. Let f = -28 + d. Let p(n) = -4*n + 13. Let z be p(f). Put 3, z, -5 in ascending order.
-5, z, 3
Suppose 3 - 6 = u. Let v be (-2)/(2/(-21) + 285/(-315)). Suppose -2*c + 3*y - 10 = 2*y, -v*c - 4*y = 0. Put u, c, -13 in increasing order.
-13, c, u
Let q = 745 + -1215. Let v = 465 + q. Put -6, v, -4, 1 in ascending order.
-6, v, -4, 1
Let w be (-153)/18 + 2/4. Let q(a) = a**3 + 6*a**2 - 16*a - 3. Let r be q(w). Let v be ((-6)/15)/((-2)/(-20)). Put -7, v, r in ascending order.
-7, v, r
Let m be (-16)/132*3516 + (-2)/(-11). Put -2, -4, m in ascending order.
m, -4, -2
Let q be 10 + (-767)/104 + 2 + 38/(-16). Let j = 6 - 6. Sort -2, j, q in decreasing order.
q, j, -2
Let m = 1540 + -1540. Put 10, 4, -10, m in decreasing order.
10, 4, m, -10
Let r be 2 - -4*(-8)/18*(-27)/(-36). Put 6, 1/2, 1.9, r in decreasing order.
6, 1.9, r, 1/2
Let o be 2 + -5 + 4 + 2. Let b(u) = -u**3 - u**2 + 3*u + 5. Let r be b(-2). Let v be (4/6)/(r + (-11)/o). Put 3/7, 0.5, 0.6, v in decreasing order.
0.6, 0.5, 3/7, v
Let v = 11/6 - 4/3. Suppose 2*r - 6*r = 5*t - 882, -3*r = t - 183. Let g be (29/t)/((-2)/(-4)). Sort v, g, -0.5 in ascending order.
-0.5, g, v
Let f = -9852 - -9851. Put f, 2/13, 5, -0.1 in ascending order.
f, -0.1, 2/13, 5
Suppose 10*x - 179 + 155 = 4*x. Sort -5, -2/5, x, -1, 1/4 in increasing order.
-5, -1, -2/5, 1/4, x
Let q be (-42)/189*15/5. Sort -1, 0.023, q in ascending order.
-1, q, 0.023
Let h be ((-2)/(-10))/((-24)/20). Let r be (-28)/((-588)/(-63)) - -1. Sort h, r, -1, 5.
r, -1, h, 5
Let d(o) = o**2 + 10*o - 508. Let r be d(18). Sort -727, 0, r in increasing order.
-727, r, 0
Let p(k) = -184*k - 47660. Let g be p(-259). Suppose 2*s - 24 = 4*l, 2*l + s - 5*s + 24 = 0. Let b be (6/4)/((-3)/l). Put g, b, -3, -14 in descending order.
b, -3, g, -14
Let p = 846 + -852. Let m(n) = 3*n + 2. Let s be m(-1). Sort -3, p, s in descending order.
s, -3, p
Suppose 0*x = 5*t + 3*x + 2, -3*x = -3. Let s be 1/((0 - t) + -2). Let f be (-2 - 0)/((-76)/(27 - 103)). Put 1, -5, f, s in decreasing order.
1, s, f, -5
Let c be (3450/125 + -27)*(-3)/9. Let p = -0.4 - 2.6. Put c, p, 1, 5 in ascending order.
p, c, 1, 5
Let t be 3/2*(-4)/3. Let h = t - -2. Let r be (-2522)/(-97) + 311/(-12). Sort -4, h, -5, r in ascending order.
-5, -4, h, r
Suppose -b - 3*x = 4, 0*x + 20 = -5*b - 3*x. Let c = 0.1 - -0.3. Let k = -1.59804 - -1.39804. Put b, k, c, 0.06 in increasing order.
b, k, 0.06, c
Let d be (0/(-18) - (-1)/(-2))*(36 - 16). Sort -4, d, 28, 0 in descending order.
28, 0, -4, d
Suppose 0 = 195*m - 265*m + 140. Suppose 0 = -5*q + 5, -5*q + 1 = -y - 5. Sort -3, m, y, 8 in ascending order.
-3, y, m, 8
Let f(l) = 104*l - 3844. Let t be f(37). Let n be 9/(-6)*(0/(-5) - -2). Put n, 132, t in ascending order.
n, t, 132
Let u = 961 - 967. Sort u, 15, 0.1, 2 in descending order.
15, 2, 0.1, u
Let z(f) = -3*f + 11. Let r be z(5). Let s(d) = 157*d + 1888. Let a be s(-12). Put a, r, 2, -27 in descending order.
a, 2, r, -27
Let h = -0.08 - 0.22. Suppose 0 = -15*r + 12001 - 12031. Let p = -3 - -3.2. Sort p, h, 4, r in descending order.
4, p, h, r
Let i(d) = d**2. Let u(j) = -8*j**2 - 10*j + 11. Let w(n) = 5*i(n) + u(n). Let b be w(1). Sort -4, b, 1, -4/7 in decreasing order.
1, -4/7, b, -4
Suppose -5*i + 0*i = -10. Let w = -845184 - -845171. Put 4, w, 5, i in decreasing order.
5, 4, i, w
Let z be (-122)/(-183)*9/21. Sort 5/7, -2/13, z, 2/11 in descending order.
5/7, z, 2/11, -2/13
Suppose -4*w + 50 = w. Suppose 10 = -2*m - 5*v, -11*m + 13*m - 26 = 4*v. Let p = w - m. Sort -1, p, -17 in decreasing order.
p, -1, -17
Let a(q) = -2*q**2 + 12*q. Let u be a(6). Let m be (-4 + u + 3)*2. Let n = 7.9 + -2.9. Sort -1/2, n, 3, m in increasing order.
m, -1/2, 3, n
Let u be ((-88)/(-11))/(-8 - (-8 - -2)). Let f be (10/(-15))/((-4)/408). Sort u, 3, f, 4 in decreasing order.
f, 4, 3, u
Let a be (1/(-1))/(-4)*-1. Let v = -21.4 + 71.2. Let k = 51.8 - v. Put k, a, 11, 4 in decreasing order.
11, 4, k, a
Let i = -50596 + 50159.09. Let l = i - -437. Let u be (2/10)/((-4)/(-5)). Sort l, 5, -1, u.
-1, l, u, 5
Let v = 6.976 + 0.024. Let j = 26 + -24. Suppose m - 4 = -2*p + 2, 2*m = -p. Put m, v, j in descending order.
v, j, m
Let g = 6 - 11. Let u = 60 - 114. Let s = u + 55. Put 0.2, -1/5, g, s in decreasing order.
s, 0.2, -1/5, g
Suppose 0 = -5*u + 4*o - 243, 10*u - 14*u = o + 165. Sort 1, -5, u, 2, -9 in ascending order.
u, -9, -5, 1, 2
Let k be (-1)/(-4)*(-3 + -4 + 3). Let s = 2 - -2. Suppose s*u - 3 - 1 = 0. Put k, -5, 4, u in descending order.
4, u, k, -5
Let i = -0.8 - -1. Let a be (-28 - -26)*(-78)/4. Let g(n) = -n**3 + 38*n**2 + 37*n + 76. Let x be g(a). Put i, x, 2 in descending order.
2, i, x
Let g(j) = 4*j**3 - j. Let v be g(1). Suppose 0 = -2*k + 3*y + 11, y = -0*y + 1. Let i = -157 + 162. Put v, i, -3, k in ascending order.
-3, v, i, k
Let s be 6/(2/1) + -21. Let x = s - -18. Let j(r) = r**3 + 5*r**2 + 4*r - 4. Let p be j(-4). Sort x, p, 17.
p, x, 17
Let i = 43 - 47. Let v = 90 + -85. Put v, -27, 0, i in decreasing order.
v, 0, i, -27
Suppose 4*a + 14 = 3*n - a, -5*n = 5*a - 10. Let r = 6 - n. Let o = -24467 - -24471. Put -13/5, r, -0.4, o in decreasing order.
o, r, -0.4, -13/5
Suppose 1 = -0*x - x. Let w be (-4)/(-8)*8 + (-1 - -11). Let i(m) = -5*m + 73. Let k be i(w). Put 0, k, x, 5 in descending order.
5, k, 0, x
Let c be 2/(-10)*(-10 - 6500/(-648)). Sort -3, c, -0.16 in decreasing order.
c, -0.16, -3
Let f(i) = 170 + 169 - 337 - 8*i - 2*i + i**2. Let t be f(10). Suppose -4*z = -3*g, 0 = -3*g - 0*g. Sort t, z, 3 in descending order.
3, t, z
Let r(h) = -h**3 + 21*h**2 - 29*h - 167. Let d be r(19). Sort 2, -5, d, -8 in descending order.
d, 2, -5, -8
Let f(r) = r**2 - 19*r - 67. Let w be f(22). Let y be w - 4 - (-4 - -3). Let u be (-1)/5 + 74/(-5). Sort -5, y, u in decreasing order.
y, -5, u
Let w = -288.91 - -289.11. Sort w, -1/2, 195/2.
-1/2, w, 195/2
Let w be (-6)/(-16) - -1*29/8. Suppose 4*v - 4*t - 20 = 16, 2*t + 42 = 5*v. Let c = 9 - 12. Sort 5, v, c, w in decreasing order.
v, 5, w, c
Suppose 2*y - n - 4 = 0, 17 = 3*y + 2*n - 10. Suppose 0 = -b + 3*g - 6, 5*b = -0*g - g + 18. Suppose m = b - 1. Sort -5, m, -1, y in ascending order.
-5, -1, m, y
Let f = 21.29 + 0.71. Let p = f + -71. Let j = p + 48.7. Sort j, -5, 2/3 in descending order.
2/3, j, -5
Suppose 576 = 185*i - 191*i. Let f be 4 - (i/(-4))/6. Let j be (-4)/(-6) - (-56)/(-12). Put j, -1, f in decreasing order.
f, -1, j
Let g = 0.05 - -0.45. Let a = -0.538 + -3.462. Put 0.4, a, g, -2 in descending order.
g, 0.4, -2, a
Let f(b) = -3*b**3 + b**2 - 1. Let w be f(1). Let d = -0.0498 - 53.9502. Let j = -53.8 - d. Sort w, -1, j in ascending order.
w, -1, j
Let v = -56 - -61. Let y(j) = 4*j**2 - 10*j + 10. Let l be y(1). Let f = -6 + 4. Sort v, l, -5, f in descending order.
v, l, f, -5
Suppose 56*i = 48*i + 64. Suppose -17 = -3*v - w, -4*v - 3*w + i*w - 9 = 0. Let m be 16 + 3 + -1 + -1. Sort m, v, 5 in decreasing order.
m, 5, v
Let k = -4 - -7. Let q = -982 + 934. Sort q, 3/5, k.
q, 3/5, k
Let t = 5 - 21/4. Let v = 186.762 - 187. Let 