der.
p, -0.3, m
Suppose -10 = -5*p - 0. Let r be -1*(-5176)/36 + (-4)/(-18). Suppose -146*o + 10 = -r*o. Sort o, 0, p, -5 in descending order.
o, p, 0, -5
Suppose -13 = -o + 7. Let x(g) = -2*g**3 - 59*g**2 - 21*g + 228. Let i be x(-29). Sort i, 3, o in decreasing order.
o, 3, i
Let h be (2 - 1 - -2) + -23. Suppose -10*j + 5*j = 4*k + 19, -4*j - 12 = 0. Sort h, 0, k, -3 in decreasing order.
0, k, -3, h
Suppose 4*i + 5*u - 41 = 0, 24 - 4 = 4*u. Let l = 11227 + -11229. Put i, 0.5, l in increasing order.
l, 0.5, i
Let n = -57 + -3. Suppose 325*q = 310*q - 885. Let z = q - n. Sort z, 3, -5, -19 in ascending order.
-19, -5, z, 3
Let m = 11670 - 11634. Sort 0, 10, m in ascending order.
0, 10, m
Suppose -2*z + 2 = 0, -82 = -5*d + 4*z - 6*z. Suppose 5*r = 7*r - d. Suppose -6*i - r = -2*i. Sort -1, -5, i in increasing order.
-5, i, -1
Suppose 0*w + 20 = -5*w. Suppose 3*y - 4*z = -10, -4*y = -0*z - 4*z + 16. Let m be y*(-1)/2 + -3. Put w, m, -5, 1 in increasing order.
-5, w, m, 1
Suppose -9 = 3*c + 3. Suppose 359*r - 4*k = 360*r - 57, -3*r - k + 149 = 0. Sort c, -2, -3, r in decreasing order.
r, -2, -3, c
Let t be 24/(3 - (-16)/(-6)). Let k be (-8)/(-6) + (-2)/(-3). Put t, -2, k in increasing order.
-2, k, t
Let t = 0.1442 + -10.1442. Sort t, -85, -2 in descending order.
-2, t, -85
Let u(x) = -22*x + 1691. Let d be u(77). Let w be -1 + 2 - (-2)/1. Sort -1, d, 4, w in decreasing order.
4, w, -1, d
Let i = 0.3158 + 0.0842. Sort 2, -8, i, 9/4.
-8, i, 2, 9/4
Suppose 3*g - 5*r - 6 = 0, 0*g + 4*r - 10 = -5*g. Suppose -2*l = -5*l + 6. Let q be (-1)/l + 70/20. Put -5, g, q in ascending order.
-5, g, q
Let y = -2 + 0. Let d = 5514.9 + -5515. Sort y, d, 10, 0.5 in descending order.
10, 0.5, d, y
Let s = 8027 + -8026.98. Put s, 3, 55 in decreasing order.
55, 3, s
Let g(h) = -76*h + 74. Let q be g(1). Put -131, q, 2 in decreasing order.
2, q, -131
Let y(t) = 97*t + 1840. Let o be y(-19). Sort 5, 4, -4, o, -7 in descending order.
5, 4, o, -4, -7
Let a be 20/64*2/(-10)*-2. Suppose 21*n - n + 40 = 0. Sort n, -4/5, 0.5, a in ascending order.
n, -4/5, a, 0.5
Let j = 2.942 - -4.058. Put j, -0.4, 71, 0.2 in descending order.
71, j, 0.2, -0.4
Let k = -0.08577 + 0.28577. Let n(s) = -s + 7. Let q be n(9). Put 2/9, 5.6, q, k in increasing order.
q, k, 2/9, 5.6
Let t = -8901 - -8889. Sort -7, t, 4, 5, 2 in decreasing order.
5, 4, 2, -7, t
Let b = -15 - -20. Suppose 16*y - 270 = 6*y. Let z = y + -45. Sort z, b, -5, -0.3 in increasing order.
z, -5, -0.3, b
Let a = 2.49 - -0.01. Let x = 1741 - 1225. Let k = -517 + x. Sort 0.3, 3, a, k.
k, 0.3, a, 3
Let x = 221.7 + -221.71. Sort -0.6, 2, x, -1, -0.2 in decreasing order.
2, x, -0.2, -0.6, -1
Let u be ((-2)/10)/(28/(-1260))*-1. Sort -5, u, -37.
-37, u, -5
Let z = 3.39 + -4.2. Let r = z - -0.71. Sort -0.4, -0.05, 0.3, r.
-0.4, r, -0.05, 0.3
Let q = -7221 + 7221.5. Let w = -0.086 - 0.011. Put 2, w, q, -1 in increasing order.
-1, w, q, 2
Let t = 2563129/1254 - 38341/19. Let g = 155/6 - t. Sort -0.4, 20/7, g, 4/5 in decreasing order.
20/7, 4/5, g, -0.4
Suppose 5*y - y = 40. Suppose 5*g = -y - 25. Let d(f) = f + 5. Let r be d(g). Sort 2, r, -2/9 in decreasing order.
2, -2/9, r
Let m(b) = 14*b**2 + 121*b + 156. Let r be m(-7). Put r, 5, -1, -30 in increasing order.
-30, r, -1, 5
Let j = 0.09094 - -0.00906. Sort j, -202/11, 3.
-202/11, j, 3
Suppose -5*h - o = -12, 7*h - 9*h - 4*o - 6 = 0. Put -8, h, 4, 1 in increasing order.
-8, 1, h, 4
Suppose -3*a - 4*u = -121, 31*a + 51 = 32*a - 4*u. Sort a, -3/8, -0.3, 0, -0.1 in ascending order.
-3/8, -0.3, -0.1, 0, a
Let g(k) = -k**3 - 44*k**2 - 83*k + 46. Let f be g(-42). Sort f, 0, -1 in increasing order.
-1, 0, f
Suppose 0 = -2*b + 25 - 19, 2*d = 4*b + 90. Suppose 12 - d = 13*q. Put 49, -2, q in ascending order.
q, -2, 49
Let k = -2050 + 2123. Sort k, 0, -9 in increasing order.
-9, 0, k
Let h(u) = u**3 - 35*u**2 + 24*u + 352. Let f be h(34). Put 3, 5, f in ascending order.
3, 5, f
Suppose -105*x + 132*x + 135 = 0. Let n = -18 + 13. Let l = n - -7. Put x, 0.5, l in ascending order.
x, 0.5, l
Let j = 7696 - 7692. Put 0.4, j, -0.15, 2.7, -5 in descending order.
j, 2.7, 0.4, -0.15, -5
Let l = 572837/9 + -63790. Let x = l + 142. Let c = -9.1 - -9. Sort -5, x, c in descending order.
x, c, -5
Let i = 93127 - 93117. Let p = 5 + -2. Put i, -1, 0.3, p in increasing order.
-1, 0.3, p, i
Let n be (-4 + (1 - -3) - 2) + 0. Let l be ((-34)/(-5) + -6)/n. Put -2, -5, -4, l in increasing order.
-5, -4, -2, l
Let s = 2717 - 2721. Sort 0, 0.3, -1.48, s, 1 in decreasing order.
1, 0.3, 0, -1.48, s
Let n = -203.4 + 180. Let l = 23 + n. Sort -2, 0.3, l, 5 in decreasing order.
5, 0.3, l, -2
Let h = -13.31 - -15.31. Put -4, 0, h, 37 in decreasing order.
37, h, 0, -4
Let b = 63 + -11. Suppose 2*v + 145 = -4*p + v, 5*v - b = p. Let u = p + 47. Sort -1, u, 0, -3.
-3, -1, 0, u
Let s = 6907 + -75979/11. Sort s, 331, 1/5 in ascending order.
s, 1/5, 331
Let c(l) = l**3 + 28*l**2 + 199*l + 107. Let i be c(-16). Put 143, -4, i in descending order.
143, -4, i
Suppose -6*i + 0*i + 12 = 0. Let r be (i + -1)/(-1 - -2)*11. Suppose 24 = 5*q - r*q. Sort -5, 5, 3, q in increasing order.
-5, q, 3, 5
Suppose -112*z + 8*z - 416 = 0. Let n = 0 + 2. Sort 8, z, n.
z, n, 8
Let w be 1298/177*(4 + 2). Suppose 57*b = w*b + 65. Put b, 11, -3, -2 in ascending order.
-3, -2, b, 11
Let c be (-17548)/10 + (-11)/55. Let i be -4*(-3)/(-21) - c/(-420). Sort i, -3, 2.
i, -3, 2
Let z be (6/4)/((-3)/8). Let h(d) = 1276*d + 14038. Let q be h(-11). Let w be 16/(-2)*(-3)/(-4). Sort 1, q, w, z in descending order.
q, 1, z, w
Let m = -2.3531 + 5.3531. Sort -2/5, m, 3/5, 131 in descending order.
131, m, 3/5, -2/5
Suppose 0 = -14*a + 10*a + 8. Suppose -a*c = -c + 4. Suppose -249 = -2*r - 247. Put -3, r, 3, c in descending order.
3, r, -3, c
Let v be (-31)/(-4) - 1/(-4). Suppose 2*y - 157 - 71 = -5*l, 2*l - 216 = -2*y. Let m = y - 102. Sort v, 4, m in descending order.
v, 4, m
Suppose 5*c = 3*p + 234 - 81, -6*p - 306 = 2*c. Suppose -2*t + 2 = 12. Put t, -3, p, -4 in descending order.
-3, -4, t, p
Suppose 176*a + 134 = 178*a. Let l = a - 65. Let u be (-2 + 3)*5/(-1). Put 0, -2, u, l in decreasing order.
l, 0, -2, u
Let p = -1 - -3. Suppose 20 = -3*s + 8*s - 5*k, 0 = -4*s - 5*k + 52. Let m be 2/4 - s/(256/56). Put -4, -0.01, p, m in decreasing order.
p, -0.01, m, -4
Let u(t) = -t**3 - 11*t**2 + t + 15. Suppose 5*k + 29 = -4*d, 4*k = -0*d - 4*d - 24. Let w be (k - -3)*33/6. Let b be u(w). Put b, -1, 10 in descending order.
10, b, -1
Let z(f) = -18*f + 23. Let o be z(1). Suppose -12*w = -20*w - 40. Sort 1, 123, o, w in descending order.
123, o, 1, w
Let r be 2 - (-5 - (2 - 1 - 3)). Let k(g) = -2 - 6*g - 3*g**2 + 4 + g**2 + r*g. Let l be k(1). Put 5, l, -3 in descending order.
5, l, -3
Let i be 13*2 + 0 + 2. Let a(t) = 2*t**2 + 5*t - 7. Let b be a(5). Suppose 76*l - 59*l = -b. Sort 5, l, i in ascending order.
l, 5, i
Let w(l) = 49*l + 201. Let f be w(-4). Suppose 0*u = -2*u - 2. Let i = 1 + u. Put -1, i, 4, f in decreasing order.
f, 4, i, -1
Let q be -2 + 3 + 2 - (-1 - -2 - 4). Sort 3, -6, q, -4, -5 in decreasing order.
q, 3, -4, -5, -6
Let m = 117.62 - 118.62. Sort -0.2156, m, 5.
m, -0.2156, 5
Let o be ((-10)/(-8))/(3/180). Let y = o - 79. Let j(p) = p**2 - 2*p + 2. Let v be j(2). Sort 5, v, -1, y in decreasing order.
5, v, -1, y
Let r(l) = l**3 - 3*l**2 - 37*l + 127. Let p be r(4). Sort -2, 30, 7, p.
p, -2, 7, 30
Let i = -9235 + 9244. Sort 0, 3, -4, i, 8 in ascending order.
-4, 0, 3, 8, i
Let b = -12.47 + 13.47. Sort -0.3, 4.3, b, 1/2, -4.
-4, -0.3, 1/2, b, 4.3
Let c be ((-1)/5)/(3/18). Let d = 0.206 - 7.106. Let n = -0.1 + d. Sort 2/19, c, -3/2, n in increasing order.
n, -3/2, c, 2/19
Let s be (1285/(-15))/(1/2). Let v = 169 + s. Put 3/2, -1, -15, v in increasing order.
-15, v, -1, 3/2
Let q(j) = 3*j**2 - 2*j - 80. Let w be q(-6). Suppose -4*d + 24 = 5*l, 4*d + w = 4*l - l. Sort l, -6, 0 in descending order.
l, 0, -6
Let r = -1539/286 - -115/22. Put 2/37, r, -0.6, 0.2, 1/3 in descending order.
1/3, 0.2, 2/37, r, -0.6
Suppose 2*r - 14 = x, -2*r - 2 = -5*x - 4*r. Sort x, -0.1, -4, -309 in decreasing order.
-0.1, x, -4, -309
Let z be (-1 - 55/25 - -2) + (-9)/(-5). Sort z, -0.1, 3, -5, 1 in descending order.
3, 1, z, -0.1, -5
Let l(o) = o**3 - 7*o**2 + 14*o - 41. Let i 