, -179
Let h = 309 + -262. Suppose 0 = -10*z + h - 7. Suppose -4*k - 3 = 1. Put -2, k, z, 2 in increasing order.
-2, k, 2, z
Let b = 2251 - 2248. Sort 0.04, -2, b, 1/4 in descending order.
b, 1/4, 0.04, -2
Let k be (-625)/(-175) + (-6)/(-14). Let b(f) = -4*f - 65. Let r be b(-15). Sort 3, 5, k, r in increasing order.
r, 3, k, 5
Let q be (-2)/4 + 2/(-4). Let d(i) = 3*i**2 + 648*i - 4000. Let u be d(6). Put u, q, -12 in descending order.
q, u, -12
Suppose 0 = 86*j + 594 - 250. Sort -1, -13, 5, 7, j.
-13, j, -1, 5, 7
Suppose -31*a - 40*a - 238 = 401. Sort -1, a, -2 in decreasing order.
-1, -2, a
Let k = 19.8479 - 19.81. Sort 3, k, -3 in decreasing order.
3, k, -3
Let y = 34477/3 + -137875/12. Let h = 1 + -1.1. Sort h, 1/2, y in decreasing order.
y, 1/2, h
Let a(c) = c + 7. Let v be a(-4). Let t(j) = 4 + 13*j**2 + 25 - 10*j**3 - 12*j + 11*j**v + 0*j. Let p be t(-14). Sort p, -4, -1 in decreasing order.
p, -1, -4
Let m(s) = -44*s + 2. Let q be m(-1). Suppose -53*v = -q*v - 203. Put v, 0, 3 in decreasing order.
v, 3, 0
Let v(f) = 1164*f - 1160. Let d be v(1). Put -1, 1220, d, 0, 2 in descending order.
1220, d, 2, 0, -1
Suppose -15*g = 7*g + 31*g + 106. Sort -0.0156, g, -3 in decreasing order.
-0.0156, g, -3
Suppose y - 5*h = -1, -222*y = -218*y - h - 53. Put 2, 8, y in decreasing order.
y, 8, 2
Let t = -2/10457 + 10463/31371. Sort 15, t, -0.17 in descending order.
15, t, -0.17
Suppose m - 12 = -3*m. Let z be 4*5/5 + -219. Let u = z - -1503/7. Put m, u, -0.23 in decreasing order.
m, -0.23, u
Let k = 8 + -12. Let m = 2.37565 - 4.37565. Put m, k, -86 in descending order.
m, k, -86
Let y = -64 - -64.5. Let f = 0.57 - y. Suppose -2*r + 6 = r. Sort f, r, 5 in increasing order.
f, r, 5
Let s(u) = -228*u + 8888. Let z be s(39). Let m = -0.003 + 0.203. Let c be (-2)/15 - 4/6. Put c, 0, z, m in ascending order.
z, c, 0, m
Let c = -6.4 + -1.6. Let o = c + 5. Let w = -9082.8 + 9083.2. Put o, w, 2 in ascending order.
o, w, 2
Suppose 0 = -6890*x + 6875*x + 60. Put -4, 5, x, -1 in increasing order.
-4, -1, x, 5
Let r be 30/26 - 146/949. Let c(s) = -12*s**2 - 2*s + 1. Let g be c(1). Put 0, -2, r, g in increasing order.
g, -2, 0, r
Let v = 1124/9 - 125. Let f(w) = -w**3 + 24*w**2 + 25*w + 16. Let x be f(25). Suppose 5*o - x = 3*m, -17 = 2*m - 5*o + 2. Sort v, 0.2, 1, m in increasing order.
v, 0.2, 1, m
Suppose x + 14 = 8*x. Let u(w) = 4*w**2 + 21*w + 2. Let d be u(-5). Sort -1, x, d, 4.
d, -1, x, 4
Suppose -u + 50 = 9*u. Sort 0, -3, 10, u.
-3, 0, u, 10
Suppose -39*s - 21*s - 21*s - 324 = 0. Sort 7, -0.4, s, -9.1, -0.5 in descending order.
7, -0.4, -0.5, s, -9.1
Let x = -0.01 - -0.038. Let d = x - 0.098. Let h = d + 2.17. Put 2, h, 1 in ascending order.
1, 2, h
Let j(r) = 5*r**2 - 5*r - 301. Let m be j(0). Sort -4, m, 4, 5, 2 in decreasing order.
5, 4, 2, -4, m
Let n = -0.228 + 0.2415. Let c = 4.9865 + n. Sort 3/4, c, -2, 2/3 in decreasing order.
c, 3/4, 2/3, -2
Let r = 4.1 + 8.9. Let z = r + -12.48. Let x = -0.48 - z. Sort -0.1, x, 1 in descending order.
1, -0.1, x
Let j = -66 - -70. Let b(f) = 11*f**2 + 44*f + 2. Let r be b(-4). Suppose -r*x = 2*x - 8. Sort -13, x, j.
-13, x, j
Let g = -166 + 21. Let s = g - -143. Put s, 1/7, 3/5 in increasing order.
s, 1/7, 3/5
Suppose -36*b = -40*b + 152. Let p = b - 22. Suppose 4*z + p = -4*c, -5*z = -4*c + 19 + 19. Put -4, z, 4 in ascending order.
z, -4, 4
Let v(g) be the first derivative of g**2 - g - 1. Let c = 281 + -281. Let q be v(c). Sort q, 1/5, -0.1.
q, -0.1, 1/5
Let s = -5296 + 15902/3. Put s, 1/6, 10 in descending order.
10, s, 1/6
Let c = -1285 - -1258. Sort 1, c, -2, 13 in descending order.
13, 1, -2, c
Let f = -11.178 - -11.578. Sort -192, f, -0.1, 2/9 in ascending order.
-192, -0.1, 2/9, f
Let h = 0.0942 - -0.0858. Put 7, h, 3 in descending order.
7, 3, h
Let o = -958 + 953. Sort 1, o, 35, 2 in descending order.
35, 2, 1, o
Let s be (10/(-8) + -1)*-4*(-694)/(-2082). Sort s, -6, 12.
-6, s, 12
Let d be ((8 - (-85)/(-10))*0)/(-1). Let t = -0.06 + -1.94. Sort t, -5, d.
-5, t, d
Suppose -3*y - 8*f = -4*f + 2, -2*f = 3*y + 4. Let m(v) = -v**3 - 5*v**2 + 4*v - 2. Let p be m(-5). Put p, y, -5 in descending order.
y, -5, p
Let z = 5 + 7. Let x = 2053 + -2052.5. Let y be 2 - (-1)/((-3)/18). Sort y, -3, x, z in increasing order.
y, -3, x, z
Suppose -c + 71 = -3*j + 73, -9 = 2*c - j. Put c, 5, -3, -47 in descending order.
5, -3, c, -47
Let s be ((-3)/(-5))/((-78)/(-390)). Suppose 0 = -2*c - 8 + 2. Suppose -2*z = -6*z - 4. Sort z, 1, c, s in ascending order.
c, z, 1, s
Suppose 0 = 3*b + 2*v + 1651, -12*b = -8*b + 4*v + 2208. Put 0, 5, b in increasing order.
b, 0, 5
Let q be 25*1/(-12) - 28/(-21). Let m = 0.1 + -0.05. Suppose p + 24*p = -11*p. Sort p, q, m in descending order.
m, p, q
Let k = -25 - -135. Let n = -110.04 + k. Sort -0.3, n, -2, -4.
-4, -2, -0.3, n
Suppose 17 = 4*k - 5*c, 0 = 3*k - 4*c - 17 + 4. Let n = 54 - 37. Suppose 54 + 14 = n*i. Sort 0, k, -5, i in ascending order.
-5, 0, k, i
Let j = 9 - 6. Suppose 4*k + j = 5*a, -3*a - 4*k = -5*k - 6. Let m = 496 - 488. Sort a, m, 0 in descending order.
m, a, 0
Let f = 2510 + -2505. Put f, -4/27, 1/7, 0.02 in descending order.
f, 1/7, 0.02, -4/27
Let b = -406 - -318. Let k = -135 - b. Put 0, -5/2, k, 0.4 in ascending order.
k, -5/2, 0, 0.4
Suppose 4*a - 66 + 133 = 5*w, -a - 4 = 3*w. Let x be -1 - (0 + -1) - 2. Sort 7, 2, x, w in ascending order.
x, 2, w, 7
Let x = 0.141 - 0.041. Let b be (-34)/(-17)*(-10)/(-4). Sort x, -1/4, b, -0.3 in increasing order.
-0.3, -1/4, x, b
Let q = -177 - -177. Sort 0.1, q, 4 in descending order.
4, 0.1, q
Suppose p + 4*k + 27 = 0, -k = 63*p - 58*p + 21. Sort 18, 9, p in increasing order.
p, 9, 18
Let r(j) = j**3 - 10*j**2 - 45*j + 73. Let v be r(13). Put 0, -369, 1, v, 3 in ascending order.
-369, v, 0, 1, 3
Let n = -10154 + 10154. Put 1, 642, n in descending order.
642, 1, n
Let l = -13 + 6. Let i be 7 + l + (1 - -67). Let x(o) = -o**3 - 15*o**2 + o + 10. Let t be x(-15). Put 5, t, i in ascending order.
t, 5, i
Let v be (-104)/(-65)*(-15)/18. Sort 3, -2/7, v, -0.4 in decreasing order.
3, -2/7, -0.4, v
Let h = 0.68 + -0.95. Let r = 1.78125 - 2.78125. Put r, h, -2/5 in ascending order.
r, -2/5, h
Let u be 8 - 2 - (-15 - -141). Let q be ((-5)/15)/(8/u). Sort q, -2/9, -5 in ascending order.
-5, -2/9, q
Let g(i) = 15*i - 1317. Let b be g(88). Sort 5, -3, -30, -10, b in ascending order.
-30, -10, -3, b, 5
Let b = -31358 - -31355. Sort 0.2, b, 12, -0.004.
b, -0.004, 0.2, 12
Suppose 25 = j + 2*a + a, 0 = a - 3. Suppose -2*v - 34*l + 37*l = -6, v = 2*l + 5. Sort 4, j, v in decreasing order.
j, 4, v
Let v be -9*3/18*(64/(-24) - 8). Let a(u) = -4*u. Let q be a(1). Put 3, q, v in decreasing order.
v, 3, q
Let s be (-4)/(-7)*4067/(-42). Let i = s - -54. Let f be 0 + 5 + -2 + 9 + -9. Put -1, f, i in ascending order.
i, -1, f
Suppose -110*w + 5 = -2*n - 113*w, -2*w = 6. Suppose -22*x - 5*o + 45 = -17*x, n*x - 2*o - 2 = 0. Sort -2, x, 1, -3 in increasing order.
-3, -2, 1, x
Let n be 5*(-12 - 8)/20. Put 1, 23, -1, n in decreasing order.
23, 1, -1, n
Let h = -1.21 + -4.69. Let l = -387 - -390.9. Let k = h + l. Sort 0.2, k, -3/2.
k, -3/2, 0.2
Let i = -2890 - -2789. Sort i, -4, -1 in descending order.
-1, -4, i
Let o(z) = 3*z**2 - 5*z - 1. Let w be o(2). Let k be 7/(-1)*(w - 10). Let n = k - 62. Put n, -4, -15 in descending order.
n, -4, -15
Let p be (0/(-5) - 46/(-6))*24. Let x = -190 + p. Sort -5, 2, -3, x.
x, -5, -3, 2
Let l = 66850 + -66847. Let q be ((-3)/((-6)/44))/(-1). Sort l, -0.1, q.
q, -0.1, l
Suppose -6*t + t - 5*i = -55, 4*i + 84 = 4*t. Let d = -11 + t. Let b = 5143 + -5141. Sort -17, 3, d, b in increasing order.
-17, b, 3, d
Let c = -0.10787 + -0.09213. Let i be 1*(12/(-26))/2. Let q = -2 + -2. Put q, c, i in descending order.
c, i, q
Let a = -10304 - -10296. Suppose -2 = -v - 3*d, 3*d - 5*d - 12 = -2*v. Sort a, -6, v, -5 in decreasing order.
v, -5, -6, a
Suppose 10*y = -5*y - y - 16. Put 0, -4, 5, -8, y in descending order.
5, 0, y, -4, -8
Let k = 80305 - 481835/6. Let z = 14 + -43/3. Sort 0.059, z, k, -0.1 in decreasing order.
0.059, -0.1, z, k
Let w be 94 - ((3 - 1) + 2). Suppose -w*q = -89*q + 5. Suppose 2*a = -3*a + c + 2, 0 = -4*a - 5*c + 19. Put q, 19, a in descending order.
19, a, q
Let o = 1844/12429 - -102/1381. Let z = -6.1 - -2.9. 