Suppose 7*r - 10 = 2*b + 2*r, 2*r = 0. Put 5, 0, b, p in decreasing order.
p, 5, 0, b
Let u(x) = -2*x + 16. Let i be u(6). Suppose -4*m + 2*p - 4 = 0, -3*m = p - i*p. Let d = 60 + -54. Put m, 4, d in increasing order.
m, 4, d
Let r = 15 - 12. Suppose -s - 5*w = -33, -5*s - 6*w + 9*w = 59. Let f(i) = i**2 - 2*i - 1. Let v be f(2). Sort s, -5, r, v in ascending order.
s, -5, v, r
Let x = -3424 + 3321. Let u be 1 + (-11)/3 - (19 + -20). Put x, u, -4/7 in ascending order.
x, u, -4/7
Suppose 118*p + 78*p = -62*p. Let j = 1 + 0. Sort -4, j, p, -7 in ascending order.
-7, -4, p, j
Let v = 357 - 367. Let d be (v/4)/((-1)/14*-7). Put -1, d, -11 in descending order.
-1, d, -11
Let i = -182 + 388. Let l = -206.108 + i. Put 2, l, -2/7 in decreasing order.
2, l, -2/7
Let h be -8 + (8 - (-30393)/63). Let r = 482 - h. Sort 3, r, -1/14.
r, -1/14, 3
Let y = 456.46 + -5.46. Let p = y - 454. Let s be (-112)/230 + 2/5. Put p, 0.2, s in decreasing order.
0.2, s, p
Let y(x) = -3*x**2 + 2*x - 2. Let q be y(2). Suppose 4*d - 4 = 5*h, -4*h + 20 = h. Let n be (17/5 + -4)*(-20)/d. Sort q, -4, n in descending order.
n, -4, q
Let v = -3143 - -3491. Sort v, 4, -4, -1.
-4, -1, 4, v
Let r = 3276 + -3228. Sort 3, 0.07, -0.5, 1, r in descending order.
r, 3, 1, 0.07, -0.5
Let d = -3 + 1. Let y(o) = -2*o**2 + 75*o - 386. Let q be y(6). Let z = -6 + 2. Sort z, d, q in descending order.
d, z, q
Suppose -16*d + 20*d + 140 = 0. Let g be ((-8)/(-56))/((-1)/d). Sort 1, -5, g in increasing order.
-5, 1, g
Let k(q) = -8*q - 59. Let l be k(-10). Suppose 4*x + l = 29. Let g be (9/6)/(1/(-4)). Sort 1, g, x in increasing order.
g, 1, x
Let x(n) = 166*n - 1. Let a be x(-1). Let i = a + 166. Sort -6, 0, i, 4 in descending order.
4, 0, i, -6
Let f be 112/(-539) + 4/(-11). Sort f, 1, 2/17, 0.4 in descending order.
1, 0.4, 2/17, f
Let m(i) = i**2 + 5*i + 3. Let z be m(-2). Let b be (-828)/(-18)*(0 - -7). Let u = 327 - b. Sort z, 0, -8, u in decreasing order.
u, 0, z, -8
Let x be 40599/(-144) - (15/(-80))/(-3). Let j = -5 + 0. Put j, -1/3, x in decreasing order.
-1/3, j, x
Suppose -33 = -2*w - 25. Suppose 8 = -w*a + 4. Let c be (0 - (3 + a))/((-2)/(-4)). Put 1, -1/5, -2, c in decreasing order.
1, -1/5, -2, c
Suppose 174*z - 103*z = -147 + 5. Put 1, z, 26, -1/3, 5 in descending order.
26, 5, 1, -1/3, z
Let m(a) = a**3 + 102*a**2 - 538*a + 10. Let w be m(5). Sort 3, w, -4, -322 in ascending order.
-322, w, -4, 3
Let s = -2730 + 1882. Let i = s - -844. Let l(n) = -n - 1. Let t be l(-3). Sort i, -5/4, t in ascending order.
i, -5/4, t
Let w = -132.3 - 2.7. Let k = 134.9 + w. Let b(u) = u**2 - 9*u + 5. Let r be b(8). Put k, r, -5, -4/13 in decreasing order.
k, -4/13, r, -5
Let h(v) = -60*v + 535. Let m be h(9). Sort 2/7, -1/31, -2, m in ascending order.
m, -2, -1/31, 2/7
Let z = 305 - 307. Let x be (6 + -1)/30 - (-1)/z. Let k be (3/2)/((-42)/8). Sort 1/2, -0.4, x, k in decreasing order.
1/2, k, x, -0.4
Let n = 38 - -58. Let z be ((-8)/n)/(1/(-3)). Put z, 1, 6 in increasing order.
z, 1, 6
Suppose 3*j - 3 = 2*j. Suppose 0 = j*d - 3, -18 = -2*x - 4*d - 0*d. Suppose 0 = 3*l - 1 + x. Sort l, -4, 4 in decreasing order.
4, l, -4
Let t = 3502 - 3503. Put 3, t, 1, 0.5, -2 in ascending order.
-2, t, 0.5, 1, 3
Suppose -2*t + 648 = -2*w, -w = -4*t - 3*w + 1284. Let m = -327 + t. Sort m, -4, 64 in ascending order.
m, -4, 64
Let i = 12688 - 38792/3. Let h = 241 + i. Let w = 0.4 - -0.1. Sort -6/11, w, -0.3, h in decreasing order.
w, -0.3, -6/11, h
Let c = -223 + 219. Let n(a) = -a**3 - 8*a**2 + a - 3. Let p be n(c). Sort -1, 4, p in decreasing order.
4, -1, p
Let c(w) = 7*w**2 + 8*w + 2. Let o be c(-6). Suppose 212*p - o*p - 18 = 0. Put 0, p, -20, -3 in descending order.
p, 0, -3, -20
Let i = 4.079 - -0.921. Put -5/6, i, -165 in decreasing order.
i, -5/6, -165
Suppose -14 = -w - 19. Let a be 16/(-40)*w + -5. Put 0, a, 2/59 in increasing order.
a, 0, 2/59
Let n = 1.6 - 7.6. Let o = -266.06 + 264.06. Put 0.4, n, o in increasing order.
n, o, 0.4
Let q = -78.53 + 78.93. Sort -19/6, 0.2, q, -0.5 in descending order.
q, 0.2, -0.5, -19/6
Suppose -391*n + 0 = -392*n + 5. Suppose 0 = 4*j - 1 - 11. Sort n, j, -2 in increasing order.
-2, j, n
Suppose 5*o + 28 = 5*x - 12, 2*x - o - 14 = 0. Let a be ((-13 - -5) + x)*2/(-12). Sort 5, a, -4, -2/17 in ascending order.
-4, -2/17, a, 5
Suppose 6 = o + 1. Suppose -g = -2*v - o - 2, -2*g = -v - 20. Suppose l + 30 = g*l. Put l, -8, 1 in descending order.
l, 1, -8
Let f = 3.97646 + 0.02354. Sort 0.29, 0.3, f, -2/65 in descending order.
f, 0.3, 0.29, -2/65
Suppose 2064*a - 5*s = 2061*a - 34, 30 = -5*a + 5*s. Let d = -36 - -21. Put a, 1, d in decreasing order.
a, 1, d
Let b be 4/(-84)*12 - (-8)/(-84). Put -0.2, 394, b, -4 in increasing order.
-4, b, -0.2, 394
Let p = 0.00104 - 0.13204. Let i = -2687/15 + 179. Put 1, i, 2/3, p in ascending order.
i, p, 2/3, 1
Let t = -36.047 - -0.047. Let r = -165.4 - -129. Let y = r - t. Sort y, 0.5, -2/9 in descending order.
0.5, -2/9, y
Let y(f) = 6*f**3 - 42*f**2 - 14*f + 25. Let z be y(7). Sort -3, 0, 4, z, 15 in decreasing order.
15, 4, 0, -3, z
Let o(u) = -u**3 + 10*u**2 + 2*u - 4. Let r be o(10). Suppose 4 = r*l - 17*l. Sort 48, -5, l in descending order.
48, l, -5
Let c = 50.8 + -334.8. Let a = c + 284.4. Sort a, -0.1, -5, 0 in ascending order.
-5, -0.1, 0, a
Let c(d) = -d**2 - 41*d - 58 - 46*d + 88*d. Let u be c(0). Let k = 56 + u. Sort 2, k, -4, 3 in descending order.
3, 2, k, -4
Let v = -196.48 + 158.48. Let r = -18 - -19. Sort -0.4, r, v in increasing order.
v, -0.4, r
Let l be 2/(-15) + 4296/36. Let n = 120 - l. Let x = -0.6 + 0.3. Sort n, 3, x in ascending order.
x, n, 3
Let g = 1 - -8. Suppose 3*z + z - 3*k - g = 0, -3*k = 5*z - 18. Suppose -12 = -4*j, -2*j + 4 = 8*n - 6*n. Sort 1, z, n in decreasing order.
z, 1, n
Let l be (-23 + 24)*(-1 + -1). Sort 0.4, -2/13, 11, l, 3/7 in ascending order.
l, -2/13, 0.4, 3/7, 11
Let b = -4140 - -4148. Put 16, b, 4, -13 in descending order.
16, b, 4, -13
Let i be 5 + 0*(-4)/(-12). Let f(a) = -3*a**2 - 43*a - 56. Let y be f(-13). Sort 0, y, i.
y, 0, i
Let n(m) = -3*m**2 + 1040*m + 5275. Let r be n(-5). Let q be 4/(-6)*(-6)/232. Sort q, r, 4, -3/5.
-3/5, r, q, 4
Let o = 195/4 - 50. Let q = -93777 + 93775. Put o, q, 0.2, -14 in descending order.
0.2, o, q, -14
Let t = -9 - -22. Let h = t + -12. Let k(p) = -p**3 - 5*p**2 - 4*p - 24. Let w be k(-5). Put h, w, 4 in ascending order.
w, h, 4
Let z = -14457 - -14459. Put 4, 0, 1, -447, z in descending order.
4, z, 1, 0, -447
Let n be (124/(-77) - (-18)/99)*-7. Let l be -1 + ((-45)/n - -5). Put l, 20, 3 in descending order.
20, 3, l
Let p = 127.1 + -123. Let y = p + -4.5. Put -1/4, y, -0.5 in ascending order.
-0.5, y, -1/4
Suppose o - 4 = 0, 4*o + 10 = 4*z + 14. Put -5, -46, 8, z in decreasing order.
8, z, -5, -46
Suppose -508*o = -1195 - 329. Suppose -4*t = t + 10. Sort t, o, 4, 9 in descending order.
9, 4, o, t
Suppose -4*f - 18 = -18. Let d be 28/(-33) - (-24)/132. Let r = 0.07 - -0.03. Put r, -6/7, d, f in descending order.
r, f, d, -6/7
Let t be -4 - (-420)/3 - -2. Suppose 143*s + 15 = t*s. Sort s, 11, -1 in descending order.
11, -1, s
Let j be (-15 + 8)/((-5)/(30/(-3))). Sort -5, j, 8, 4 in ascending order.
j, -5, 4, 8
Suppose 78*p - 110 = 73*p - 3*q, 5*q = -2*p + 25. Sort p, -0.2, 3/4 in decreasing order.
p, 3/4, -0.2
Let y(w) be the first derivative of w**2/2 + 81*w - 162. Let g be y(-16). Sort -4, g, 3 in increasing order.
-4, 3, g
Let c = -2 - 5. Let p(d) = -d**2 + 3*d + 24. Let z be p(-4). Let i = -0.7 + 0.6. Put c, z, i in increasing order.
c, z, i
Let w(j) = j**3 + 2*j**2 - 6*j + 11. Let h be w(-4). Suppose 0 = 3*d + h*t - 3, -t + 8 - 3 = 0. Sort -3, 5, 6, d.
d, -3, 5, 6
Let n be 0 - (-2 + 13 + -7 + -1). Sort 697, n, -5 in descending order.
697, n, -5
Let r be 239 + -255 - -17*1. Put 3, 0, -1, r in decreasing order.
3, r, 0, -1
Let s = -724 + 796. Let f be 3/(s/(-40)) - (-1)/(-3). Sort 26, 0, f, -3 in ascending order.
-3, f, 0, 26
Let c = 3.94 + 2.26. Let w = c - 1.2. Let l = -3 - -4. Sort w, l, 0.1.
0.1, l, w
Let z be (-5 - -5)*(-4)/8. Let o be z - (4 + 12/(-3)). Suppose -14*k + k - 26 = o. Put k, -3, -4, 13 in decreasing order.
13, k, -3, -4
Let q be (3 - 2)/(1 + (-12)/14). Suppose 6*a - q - 11 = 0. Suppose 3*v - 8*v - 3*p + 9 = 0, -2*v = -a*p - 12