 -12. Sort o, g, -0.09 in decreasing order.
-0.09, g, o
Let d(b) = 16*b + 19*b + 10*b + b**2 + 3 - 49*b. Let n be d(2). Sort 5, n, -6 in increasing order.
-6, n, 5
Suppose -17 + 32 = 5*u. Let a be 5 - (u*1)/(0 - -1). Let k = 0 + 0. Sort -4, a, k in descending order.
a, k, -4
Let p(t) = -t**3 + 4*t**2 + 6*t - 3. Let i be p(5). Let w be (-1)/((-3)/12*2) - 3. Put -2, 3, w, i in descending order.
3, i, w, -2
Let a = -5.5 + 4. Let d = -5.5 + a. Let x = d - -10. Put x, 0, 2 in descending order.
x, 2, 0
Suppose k = o + 5, 40*k = o + 38*k. Sort 5, -1, -5, o.
o, -5, -1, 5
Let g = -204 + 200. Sort 1/6, g, -1/8, -2/35 in decreasing order.
1/6, -2/35, -1/8, g
Suppose 2*a = 30 - 6. Suppose 7*g - 5*g = a. Let k be (-6)/(-14) + g/(-14). Sort -5, -1, k.
-5, -1, k
Suppose 5*f + 0 = 10. Let v = -133 + 132. Sort f, v, -0.09, -5.
-5, v, -0.09, f
Suppose g = -3*q + 4 + 3, -2*q + 2*g = -10. Put 0.06, -1/6, 5, q in ascending order.
-1/6, 0.06, q, 5
Let y = -10 - -20. Let g = y + -1. Let z = g + -5. Sort z, -3, -0.4 in decreasing order.
z, -0.4, -3
Let r = 14 + -11. Suppose -3*c - 7 = -r*b - 1, 5*c + 2*b - 11 = 0. Sort -3, c, -1 in descending order.
c, -1, -3
Let s = 1.7 - -14.3. Let b = 0.16 - 14.16. Let g = s + b. Put -2/3, g, 0.5 in descending order.
g, 0.5, -2/3
Let b = 109 + -108.6. Put -0.4, 1, b, 1/3 in increasing order.
-0.4, 1/3, b, 1
Let d = -0.34 - -0.04. Let g = 0.4 + d. Let f = -144 + 143.9. Put -0.2, g, f in descending order.
g, f, -0.2
Let p = 6.12 - 0.12. Let u = 6.4 - p. Let a = 15.63 + -10.63. Put a, u, -1 in decreasing order.
a, u, -1
Let m = 1 + -5. Suppose 0 = 5*j - 33 + 8. Sort j, m, 4.
m, 4, j
Let h = 113.8 + -114. Let n(j) = 3*j + 1 + 4 - 6 + 2. Let v be n(-1). Sort 2/7, v, h.
v, h, 2/7
Let x = 2.95 + -2.85. Suppose 3*t + 2*t = -35. Put x, t, 2/5, 0 in descending order.
2/5, x, 0, t
Let q = -10.75 - -14.8. Let g = 0.95 + q. Put g, -5, -1, 2 in descending order.
g, 2, -1, -5
Let a be (4 - (-79 - 1)) + -2. Let u = -87 + a. Put 0, u, 9 in descending order.
9, 0, u
Let j(o) = 2*o. Let f be j(7). Let s = 4.03 - 0.03. Sort f, -0.4, s in descending order.
f, s, -0.4
Let k be 6/336*-470 + (-2)/(-8). Let a = k - -8. Sort a, 2/7, -1.
-1, a, 2/7
Let l(q) = 7*q**2 - q - 5. Let d = -11 + 4. Let j(r) = -8*r**2 + 2*r + 5. Let c(f) = d*l(f) - 6*j(f). Let b be c(-5). Sort -5, b, -0.4.
-5, -0.4, b
Let t = 20.58 + -21.58. Sort -5, 100, t, -1/2 in increasing order.
-5, t, -1/2, 100
Let a be (-15)/(4/4)*(-1 + -4). Suppose 2 = -h, 2*i + 5*h - 7 + a = 0. Put i, -3/5, 1/8 in descending order.
1/8, -3/5, i
Let g be 17/((-119)/14) - 0. Sort g, 11, -1, 6 in ascending order.
g, -1, 6, 11
Let d = 35 + 15. Let z = -47 + d. Put 2, -0.2, 5, z in decreasing order.
5, z, 2, -0.2
Let t be (-2)/8 - (2 + -2). Let g = -7500 - -7469. Put -1, t, g in increasing order.
g, -1, t
Let d = 6237/8 + -780. Sort 2/7, 71, d, -0.4 in descending order.
71, 2/7, d, -0.4
Let f = 8.05 + -0.05. Let j = f + -16. Let v = j - -7.5. Sort 1, -3, v in increasing order.
-3, v, 1
Suppose 4*n = -2*n - 24. Let x be 1/((-3)/1 + (-11)/n). Suppose -3*q = 3*o - 9, 1 = -q - 5*o + 4. Sort 1, x, q in decreasing order.
q, 1, x
Let y(c) = -c**3 + 6*c**2 - 5*c. Let h = -24 + 29. Let v be y(h). Suppose -8 = 5*o - 3*z - v*z, 0 = o - 2*z - 4. Sort -5, o, -6 in increasing order.
-6, -5, o
Let y = -1 + 4. Suppose 3*h - 39 = -5*a, 6*a = 8*a - 6. Suppose -y*c + c = -h. Sort c, 10, -1 in ascending order.
-1, c, 10
Let h = -34 + 97. Suppose 15*p = h - 18. Let a = -2 + 3. Put 2, p, a in decreasing order.
p, 2, a
Let k be (5/15)/((-1)/(-3)). Suppose -2*o - 6 = 0, -h + 4*o + 8 = -2. Sort k, h, -3, 2 in ascending order.
-3, h, k, 2
Let x = 481 - 478. Let b = 142 - 1835/13. Let a = -79/78 + b. Sort a, x, -1/3 in decreasing order.
x, a, -1/3
Let o be (-1)/3 + (-20)/(-6). Let c = o - 18. Let w = -11 - c. Put 2, -5, w in decreasing order.
w, 2, -5
Let a(y) = -13*y + 112. Let i be a(9). Put -92, 5, 1, i in descending order.
5, 1, i, -92
Let g = 337 - 333. Sort -101, 2, g in descending order.
g, 2, -101
Let i(z) = -z**2 - 4*z - 3. Let r be i(-4). Let y be ((-5)/10 + 0)/(2/4). Put r, 1, y in decreasing order.
1, y, r
Suppose 93*h - 15 = 88*h. Suppose 7*i = 25 + h. Let c = -1 + 2. Sort i, c, -1 in ascending order.
-1, c, i
Suppose -4*i + 9*i = 55. Suppose y + 15 = 11. Put i, -2, y in descending order.
i, -2, y
Let m = -218 + 217.5. Sort -0.6, -5, m.
-5, -0.6, m
Suppose -83*m + 747 = 4*u - 80*m, 757 = 4*u + 5*m. Put -5, 2, u in increasing order.
-5, 2, u
Let i = 3 + -24. Let g = -27 - i. Put g, 4, -2 in increasing order.
g, -2, 4
Suppose -3*i - 3*l + 27 = 0, -3*i = 2*i - 2*l - 10. Suppose 17*o - 20*o = 9*o. Put o, i, 24 in descending order.
24, i, o
Suppose 10 = -g + 4*q + 9, -3*q = 5*g - 18. Put g, 28, 5 in decreasing order.
28, 5, g
Let l = -2 + 10. Suppose -3*w - d = -38, 0*d = 2*w - 2*d - 20. Suppose -4*y = -2*i + w, i + 4*y = 2*i - 8. Put l, -3, i in ascending order.
-3, i, l
Let f = -0.8 - -2.1. Let k = f + 3.1. Let u = 0.6 + k. Sort 0.3, 12, u in increasing order.
0.3, u, 12
Suppose -6*r = -10*r + 64. Suppose 3*b + 8 + 4 = 5*v, 0 = 4*b + v + r. Let f be (-3)/2 + (-14)/b. Sort -5, f, 5 in ascending order.
-5, f, 5
Let q be 0 + (-3 - 0/(-2)). Let k(t) = 3*t - 10. Let r be 10/(4*1/2). Let f be k(r). Sort 2, f, q in descending order.
f, 2, q
Let h = 1/2 - 7/16. Let r(d) = d**3 + 9*d**2 - 9*d + 5. Let w be r(-10). Sort -2, h, w in descending order.
h, -2, w
Let k = 34 - 24. Let f = -10.3 + k. Let n = -0.3 - -0.4. Sort -6, n, f in descending order.
n, f, -6
Suppose -5*p = s, -2*p - 4 = -2*s + 8. Let a = -7 + -3. Let l be (1/a)/((-9)/18). Put s, 0.1, l in decreasing order.
s, l, 0.1
Let n(l) = -l**3 + 2*l**2 + 4*l + 1. Let x be n(-3). Let v = 36 - x. Sort v, -5, 0 in increasing order.
-5, 0, v
Suppose 0 = 2*x - 4*z - 10, 3*z + 18 = -5*x + 3*x. Let y be (-2)/x + 152/(-282). Let t = -23/188 - y. Sort 1/3, 3, t.
t, 1/3, 3
Suppose 155*j = 157*j - 4. Put 9, -4, j, 0 in decreasing order.
9, j, 0, -4
Let s be 12/28 - 3/7. Suppose s = 6*n + 18 - 0. Put n, 2, -4 in ascending order.
-4, n, 2
Suppose 4*p - k - 15 = 0, 431*p + 4*k = 430*p + 25. Sort 18.2, 4, -0.2, p in decreasing order.
18.2, p, 4, -0.2
Let g = -1.872 - -2.372. Sort 4, 136, g in decreasing order.
136, 4, g
Suppose -2*y - 35 = -9*y. Let l = -0.98 + 1. Let b = 3.98 + l. Put y, -4, b in increasing order.
-4, b, y
Let y(q) = q**2 + 2. Let m(b) = -b**3 + b**2 + b + 2. Let d be m(2). Let c be y(d). Suppose -4 = -0*p + c*p. Sort p, -4, 1 in decreasing order.
1, p, -4
Let k = 14.8 - -0.2. Let i = 3 - k. Put 0.2, i, 2/5 in ascending order.
i, 0.2, 2/5
Let n be (-15)/(202 - 22) - (-23)/(-12). Put 5, 4, n, 16 in decreasing order.
16, 5, 4, n
Let a(p) = -p**3 - 7*p**2 + 3*p + 1. Let y be a(-8). Let c = y + -43. Sort 0, -3, c in ascending order.
-3, c, 0
Suppose 0 = -4*s + r + 402, -3*s + 2*r + 178 = -126. Suppose s = 7*y - 2*y. Let m be -5 - (-2 + -2 + -1) - 0. Sort y, -1, m.
-1, m, y
Let h = 18494 - 18495. Let z be 10/(-12) + 2/(-4). Sort z, 2, h.
z, h, 2
Let x = 29 + -25. Suppose m = -2*f + 17, 4*f - 49 = -f + x*m. Suppose -4*a - f = -7*a. Put 5, a, -1 in descending order.
5, a, -1
Suppose m + 4 = -a, -10 = -0*m + m + 4*a. Let j be (m - 1) + 82/24. Let l = j + -11/12. Put -3/8, l, -1 in descending order.
-3/8, l, -1
Let s be ((-24)/(-4))/(-3) - 0. Put 396, 1, s in decreasing order.
396, 1, s
Let f = -1 + 6. Suppose 5*d + 4*s = 0, -d - 3*s + 14 = -f*s. Let r be (-5)/d*28/(-70). Sort r, 8, 1 in decreasing order.
8, 1, r
Suppose 0 = 2*b - 4*q - 10, -3*b - 2 + 12 = -5*q. Suppose -4*c - 3*y + 11 + 12 = 0, -3*c = y - 11. Sort c, b, 1, 6.
b, 1, c, 6
Suppose -6 = 3*g, 3*n + 2*g = 7*n. Put 18, 3, n, 0 in descending order.
18, 3, 0, n
Suppose 0 = 5*g - 0 - 20. Suppose -g*d - 4 = -4*q, -2*d + 10 = 3*q + q. Let k be (3/(-9))/((-2)/30). Put -3, d, k in increasing order.
-3, d, k
Suppose -2*x = 5*o + 18, -5*o + 27 = -2*x - x. Let b = x - -9. Suppose 3*c + r = 1 - 0, 3*c = 5*r - 23. Put b, c, -5 in descending order.
b, c, -5
Let h(o) = 100*o - 102. Let l be h(1). Let a be 39/(-4) - 2/8. Put 1, a, l in decreasing order.
1, l, a
Let y be (-2)/8*(-10 - (-10 + -4)). Put -16, y, 1 in ascending order.
-16, y, 1
Let t be ((-12)/(-8))/((-6)/16). Suppose -2*p + v = -14, -3*p - 2*v + 17 = 2*p. Put t, 4, p in incr