= -12. Put j, 3, 99, 5 in decreasing order.
99, 5, 3, j
Suppose -82*w = 86*w - 840. Suppose 0 = 3*k + 2 + 1. Sort w, -2, 0.4, k in decreasing order.
w, 0.4, k, -2
Let w = 0.1157 - 58.0157. Let r = w + 58.9. Let s(o) = o. Let d be s(-1). Put d, -0.5, r, 0.5 in descending order.
r, 0.5, -0.5, d
Let d = 1520.2 - 1735.2. Sort -3/5, d, -1.1, 2/15, 0.5 in increasing order.
d, -1.1, -3/5, 2/15, 0.5
Let v(p) = p**2 - 46*p - 212. Let c be v(49). Sort -1, -4, -3, 0, c in decreasing order.
0, -1, -3, -4, c
Let i = 3378.2 + -3378. Sort -0.1, i, 5, -16/13.
-16/13, -0.1, i, 5
Let u(y) = y**2 + 15*y + 11 - 3*y - 25*y. Let k be u(12). Put 8, k, 3 in descending order.
8, 3, k
Let t(j) = -j**3 - 2*j**2 + 4*j. Let i be t(-4). Let z = -11 + i. Let x(v) = v**3 + 3*v**2 - 31*v - 18. Let a be x(-7). Sort 4, a, 6, z.
a, 4, z, 6
Let x = -6 - -6.5. Let k = -119 + 133.5. Let m = k - 12.5. Sort x, 6, m in descending order.
6, m, x
Let d = 9.5 - 9. Let z = 9623 + -67363/7. Sort 0.4, d, -2, z in ascending order.
-2, z, 0.4, d
Suppose -3*v + 1 = -0*v + 4*q, 9 = 5*v + 3*q. Let k be (-932)/48 + v - 2. Let a = 75/4 + k. Sort -0.2, 5, a in decreasing order.
5, a, -0.2
Let y = -11257/3 + 3753. Sort y, -765, 1.
-765, y, 1
Let a = 2.63 - 0.24. Let o = 3546 - 3543.5. Let p = a - o. Sort 1, p, -3, -0.3.
-3, -0.3, p, 1
Let j(p) = -70*p + 3431. Let g be j(49). Sort 7, g, 0.3, -4/3, 5 in ascending order.
-4/3, 0.3, g, 5, 7
Let f = -7357 - -7356. Put f, -1/3, -0.006, -0.04 in ascending order.
f, -1/3, -0.04, -0.006
Let z be 10*((-132)/32 + 4). Let w = 2.747 + -3.047. Sort 4, z, w.
z, w, 4
Let j be (1/14)/(1/(-4)). Let s = -128934.9 + 128935. Sort 1/3, j, s, 2 in decreasing order.
2, 1/3, s, j
Let p be ((-2)/(-6))/((-22)/(-330)). Let r = -45 - -47. Sort -2, -4, p, r in descending order.
p, r, -2, -4
Suppose -6*b - 17*b + 1725 = 0. Suppose 37*q + 40*q = b*q. Let w = -15 - -7. Sort w, -3, q in descending order.
q, -3, w
Let p be (1206/670)/(1/(-5)). Put -51, p, -5, 2 in descending order.
2, -5, p, -51
Let d = -18.72 - -52.72. Put d, 0.3, -53 in descending order.
d, 0.3, -53
Let i = -2874 + 2873. Sort 24, -2/21, 2, i, 0.
i, -2/21, 0, 2, 24
Suppose 4*c + 6 = q, 2*c + 24 = -4*c - q. Let t be 23/(-138) - 7/(-12)*2. Put c, -6, 6, t in decreasing order.
6, t, c, -6
Let o = 1112 + -1111.8. Suppose 6*u - 74 = 4*u. Put o, -5, u in increasing order.
-5, o, u
Let k be (546/6)/7 + -17. Sort k, -38, 3, -2 in descending order.
3, -2, k, -38
Suppose -5250 = -9*g + 2*g. Let c be 3 + -451*5/g. Let m = c - 293/1050. Sort -9, 3/4, m.
-9, m, 3/4
Suppose -2*k - 17 = 5*g, -5*k - 2*g = 42 - 52. Sort -599, 1, k in descending order.
k, 1, -599
Let a = -3 - 0. Suppose 0 = 2*m + i - 6, -4*m + 3*i - 2 = -6*m. Suppose -2*y = -2*q - 6, 4*y - 4*q + 13 = -5*q. Sort m, a, 2, y.
a, y, 2, m
Suppose -46*b = -13*b + 1848. Let q be (-5)/(-3) - b/(-21). Sort -21, q, 2 in descending order.
2, q, -21
Let k be (-128 + 129)*(-1 + 2/2). Put k, 68, -5 in increasing order.
-5, k, 68
Suppose h = -c + 105, -5 = -4*h + 3*h. Let m = -97 + c. Sort -9, 2, m.
-9, 2, m
Let g be 70/8 + (-3)/4. Suppose 3*s = -3*q + 12, 2*q + 0*q = -s + g. Let d = -5 + 2. Sort d, 2, q in descending order.
q, 2, d
Suppose -8*v + 10*v - 18 = -2*d, 2*v - d - 9 = 0. Suppose 0 = o + 2*a + v, 2*a + 15 = -3*a. Sort 5, 8, o, 3 in decreasing order.
8, 5, 3, o
Suppose -50*j = -46*j + 5*l - 38, 0 = 5*j + 5*l - 55. Let k = -32 - -31. Put k, j, -0.2 in increasing order.
k, -0.2, j
Suppose -q - 4*t = 15, -2*q - 4*t - t = 24. Let y = q + 8. Let n = -0.53 + 10.53. Sort n, y, 3.
y, 3, n
Let d be ((-3)/2)/(7/2 - 3). Let a be (0 - d)*(28/(-7) - -5). Sort a, -3, 1, -2 in decreasing order.
a, 1, -2, -3
Let x = -67 + 67. Suppose -z - 22 = -38. Suppose z = -27*t + 35*t. Put 1, x, 4, t in decreasing order.
4, t, 1, x
Suppose 5*f - 1 = -j, 5*f + 0*f + 2*j = 2. Suppose 2 + f = -n. Let o = -0.0751 - -0.0751. Put -4, o, n in descending order.
o, n, -4
Let k = -4.14 + 197.14. Let d = k + -189. Put 0.3, 5, d, -0.01 in ascending order.
-0.01, 0.3, d, 5
Let z(l) = l - 17. Suppose -8*q = -12*q + 56. Let h be z(q). Let p be -6*(-6)/(-36) + 6. Put p, -4, h, -2 in increasing order.
-4, h, -2, p
Let z = 4.5 - 3. Let b be ((-4)/(-70))/(4/20). Let p be ((-16)/4)/(-4) + 1. Sort b, z, p in descending order.
p, z, b
Let h = 3750 + -3725. Put h, 4, 0, 5 in decreasing order.
h, 5, 4, 0
Let o be (12/16)/((-1)/(-4)). Suppose o*n + 2*r - 6 = r, 3*n = 4*r - 9. Put n, -108, -1 in decreasing order.
n, -1, -108
Let x = 30 + -20. Let f be x/(-85) - ((-128)/884)/(-4). Put 3/4, f, 0.062 in descending order.
3/4, 0.062, f
Let j be 12 - (1 + (-714)/(-70)). Put 0.4, -0.21, -4, j in decreasing order.
j, 0.4, -0.21, -4
Let w = -84 + 758/9. Let x = w + -46/45. Let v = 74.6 + -74. Put v, -0.3, x in descending order.
v, -0.3, x
Suppose -d + 1 + 4 = 0. Let m(w) = -192*w - 13059. Let x be m(-68). Sort -1, d, x in increasing order.
x, -1, d
Let s be (-2)/(1*(-2)/3). Let v = 17166 - 17168. Put -5, s, 0, v in decreasing order.
s, 0, v, -5
Suppose 2*k = 7*k - 5. Let x = 71.058 - 70.878. Sort 0.2, k, 0, x in descending order.
k, 0.2, x, 0
Let x = -1471.3 + 1471. Sort x, -0.139, -3, -2.
-3, -2, x, -0.139
Let o(p) = p**2 - 114*p - 716. Let h be o(-6). Sort -54, h, -7 in increasing order.
-54, -7, h
Let a = 20798 - 20811. Sort a, 0, 1, -46, 3 in increasing order.
-46, a, 0, 1, 3
Let z = -2416 + 2415.7. Let t = -0.7 - -0.5. Sort 0, 8, z, t in ascending order.
z, t, 0, 8
Let b(r) = r**3 - 5*r**2 - 15*r + 73. Let q be b(5). Sort -0.5, 5, q, 70, -0.2.
q, -0.5, -0.2, 5, 70
Suppose 0 = 10*a - 252 - 1008. Suppose 2*l - 59 = u - 60, -3*l = 5*u - 5. Sort a, l, -2 in decreasing order.
a, l, -2
Let i = 2.4 + -2. Let w = 92.9 + -95. Sort i, 0.2, w in descending order.
i, 0.2, w
Let v be (8 - (14 - 6))/(-1). Let r be (-2)/4*(1 - 11). Suppose 0 = 4*x + o - 8, r*x - 17 = -2*o - o. Sort x, v, -5, -4.
-5, -4, v, x
Let w(f) be the first derivative of 2*f**2 + 99*f - 67. Let l be w(-25). Let q(i) = -2*i**2 - 8*i - 5. Let k be q(-5). Put k, l, 5 in decreasing order.
5, l, k
Let b(y) = 474*y - 2355. Let t be b(5). Sort 10, t, 4, 1 in decreasing order.
t, 10, 4, 1
Suppose 20*y = 6654 + 2306. Let x = y - 2242/5. Let o = 0.4 + -0.9. Put o, -4, x, 1 in ascending order.
-4, o, x, 1
Let x = 1779 - 1732. Sort 4, 0, x, -6, 2 in decreasing order.
x, 4, 2, 0, -6
Suppose 3 = -2*q + 5*z, 0 = z - 1. Let n(u) = -12*u - 210. Let h be n(0). Let s be h/(-63) - (-4)/6. Sort s, -6, q in ascending order.
-6, q, s
Let q = -0.111 + 0.111. Let g = -5 + q. Let v = 1.6 + -0.6. Put 0.3, g, 6/13, v in decreasing order.
v, 6/13, 0.3, g
Let w = 4 - 2.1. Let i = 1.1 + w. Let o = -30643/9 + 3405. Put o, i, 0 in increasing order.
0, o, i
Let u = 30845 + -30860. Sort 5, -5, u.
u, -5, 5
Let i be (-4)/(-2) - 7/1. Let z = 669073 + -669073. Put i, z, -1, 6 in increasing order.
i, -1, z, 6
Let t = 36.69 + 5.31. Let c = -584 + 585. Put c, t, -1/4 in increasing order.
-1/4, c, t
Suppose 0 = -225*s - 231*s + 435*s + 42252. Put s, 0.3, -1 in ascending order.
-1, 0.3, s
Let x = 3115 - 3113. Put x, 4, 136, 3/2 in increasing order.
3/2, x, 4, 136
Suppose 0 = 5*t - 2*t + 18. Let a = -22 + 23. Let j(h) = h**3 - 8*h**2 - 7*h - 19. Let k be j(9). Put a, t, k in ascending order.
t, k, a
Let c(p) = -14*p - 311. Let k be c(-22). Sort -1, 4, k, 64 in ascending order.
k, -1, 4, 64
Let y be 35/(-105)*(2 - (-20)/5). Sort -47, -61, y in decreasing order.
y, -47, -61
Let p(g) = g**3 - 17*g**2 + 50*g + 20. Let o be p(13). Let a = 337/5 - 68. Sort a, o, -2, -1/2 in descending order.
-1/2, a, -2, o
Suppose 0*o + 10 = -2*o. Suppose -42 = -10*t + 8. Suppose -4*k - 2*p = -3*k + 14, 3*k + p = -27. Put 4, o, t, k in decreasing order.
t, 4, o, k
Let m(l) = -11*l - 2. Let f(i) = -7*i - 1. Let a(d) = -7*f(d) + 5*m(d). Suppose -916 = -21*p - 937. Let v be a(p). Put 1, -3, -5, v in decreasing order.
v, 1, -3, -5
Suppose -2*f = 3*l + 29, -30 = 4*f + 4*l + 22. Let t be 7/((-35)/f) + -31. Let r = 32 + t. Put r, -7/2, -3 in ascending order.
-7/2, -3, r
Let q = 1028.9 + -1030. Put 0.16, 0, q, 0.1 in increasing order.
q, 0, 0.1, 0.16
Let r = -174 - -169.4. Let k = r + 4.2. Put k, 5, -3, -4 in increasing order.
-4, -3, k, 5
Suppose -17*a = -2*i + 65, 3*a - 7*i + 11*i = 19. Let w = -20 + 13. Sort w, 1, a in descending order.
