2/(-592). Sort m, 4, a in descending order.
4, m, a
Let t be (-1 - -3) + (-1)/(13/(-234)). Let j(v) = v - 11. Let a be j(8). Sort a, 1, t in descending order.
t, 1, a
Suppose -4*z = -1 - 3, -3*z + 11 = f. Suppose f = 3*l + 2. Suppose 4*a + 20 = 0, 6*a = -3*b + 3*a - 24. Put l, b, 4 in increasing order.
b, l, 4
Let a be ((21/4)/(-1 - 40/(-16)))/1. Sort a, -0.3, 73 in descending order.
73, a, -0.3
Suppose -10 = -5*p + 10*z - 12*z + 7*z, -z + 1 = 0. Let d = 547/231 + -25/11. Let c be (-1)/(-4)*(-4)/(-3). Sort d, p, c, 0.4.
d, c, 0.4, p
Let x(k) = 2*k**2 + 131*k + 670. Let n be x(-60). Sort n, 0.1, 15/14 in increasing order.
0.1, 15/14, n
Let u = -104/59 + 239/236. Sort -4, 0.2, 48, u in ascending order.
-4, u, 0.2, 48
Let l = 3.5174 + -3.4174. Sort 0.3, l, -0.3, -2/11, 3 in decreasing order.
3, 0.3, l, -2/11, -0.3
Suppose 9*l = 14 + 13. Let f(u) = u**2 - 2*u - 1. Let q be f(-1). Suppose -4*o - 24 = -2*p, 3*o - p + 22 = -o. Put -1, o, q, l in decreasing order.
l, q, -1, o
Let w be (-2*4)/4*14/(-2). Let s be (63/w - 4)*(-12 + 2). Let v(d) = 2*d**2 + 5*d - 4. Let f be v(-4). Sort 0, f, s in decreasing order.
f, 0, s
Suppose -3*c - 2*v = -0 + 1, 4*v = -20. Let n be c/(-18) - (-62)/12. Suppose -1221 = -10*q - 1211. Put -5, n, q, -2 in decreasing order.
n, q, -2, -5
Let n be (-2 - -2)/(16 - 19). Sort -17, -1/9, -0.4, n in ascending order.
-17, -0.4, -1/9, n
Suppose 116*a = 118*a + 6. Let q = 370 + -375. Put 6, q, a in decreasing order.
6, a, q
Let z(v) = 36*v + 587. Let s be z(-16). Put 1, -68, s in decreasing order.
s, 1, -68
Let a = 1.18 - -2.82. Let n = 5 - a. Put -8, -0.3, n, -5 in increasing order.
-8, -5, -0.3, n
Let y = -24.538 - -18.538. Sort 56, -14, 5, y in descending order.
56, 5, y, -14
Suppose 23*d - 512 = 101*d - 200. Sort -456, 1/4, 2/3, d, -2 in decreasing order.
2/3, 1/4, -2, d, -456
Suppose -704*o - 184*o = 1039 - 151. Let a(z) = -z + 3. Let r be a(3). Put o, -0.3, r, -3 in decreasing order.
r, -0.3, o, -3
Let m be (-50)/125 + 7/(140/288). Sort -13, m, -5 in decreasing order.
m, -5, -13
Suppose 23418 = 20*g + 23918. Put 5, g, 6 in decreasing order.
6, 5, g
Let q(p) = p**3 - 12*p**2 - 11*p - 28. Let w be q(16). Let f = w - 819. Let z(t) = -10*t**3 - 2*t**2 + 1. Let d be z(-1). Put d, 5, f, 4 in increasing order.
f, 4, 5, d
Suppose -21*p = -30 - 54. Put -2/23, 3, 2/17, p, -0.02 in descending order.
p, 3, 2/17, -0.02, -2/23
Let p = 183.621 + 0.379. Let d = p - 185.2. Sort d, 0.4, 5 in descending order.
5, 0.4, d
Let a = 8443.1 - 8443. Let g = 214/3 - 70. Put 0.5, g, 1/7, a in descending order.
g, 0.5, 1/7, a
Suppose -t - 1 = g, -9 = -t + 94*g - 97*g. Sort t, 225, -5.
t, -5, 225
Let a = 7240.9 + -7241. Sort a, 542, -5, 3, 1/3 in decreasing order.
542, 3, 1/3, a, -5
Let d = -32 - -3. Let v = -276078 + 276079. Sort v, 3, d in increasing order.
d, v, 3
Let l = 0.6592 - -0.0408. Suppose 4*x + 0 = -3*f - 5, -4*f = -4*x - 12. Put l, x, -4 in decreasing order.
l, x, -4
Let a = -15/8 - -29/24. Let b = -60 - -60.29. Let u = b + 4.71. Put -0.3, 2, a, u in descending order.
u, 2, -0.3, a
Let w be (158/(-2370))/(4/20). Sort w, -0.01, -4/7, 1/3, -0.7 in ascending order.
-0.7, -4/7, w, -0.01, 1/3
Suppose 0*z - 4*z + 8*z = 0. Let c(t) = -t**2 - 11. Let v be c(z). Let d = v + 6. Sort 3, d, 1 in ascending order.
d, 1, 3
Let a(z) = 3*z - 2. Let c be 2*(-2)/8*-2. Let p be a(c). Let l be (p/7)/(42/49). Put 0.5, -2/3, 0.1, l in increasing order.
-2/3, 0.1, l, 0.5
Let v be (-4)/7 + (-864)/(-42). Suppose -5*r - 16 = -t + 5*t, 0 = 4*r - 5*t - v. Suppose 2*s + 3*f = -0*f - 5, 4*s + 4*f = -8. Put -2, s, r in decreasing order.
r, s, -2
Let n(u) = -u**2 + 9*u + 10. Let v be n(9). Let s be (-10)/(-320)*(-12 + 8). Let b = -9 - -6. Put s, -5, v, b in ascending order.
-5, b, s, v
Suppose -11*b + 86 = -10*b - 44*b. Sort b, 0.1, 5.
b, 0.1, 5
Let w = 4.85362 + 0.14638. Sort -148, 4, w, 3 in descending order.
w, 4, 3, -148
Let j(m) = -30*m + 2. Let t be j(7). Let f = -212 - t. Put -2, f, 2, 33 in decreasing order.
33, 2, -2, f
Suppose 2*t = 5*t - 6. Suppose i = p - t, -p + 0*i = 2*i - 2. Let g be (2/(-4))/((-1)/p) + 1. Sort 1, -2, g in decreasing order.
g, 1, -2
Let t = 7056 - 7052. Sort -0.5, t, 0.3, -214 in ascending order.
-214, -0.5, 0.3, t
Let f = -504 + 505. Let h = -10.13 - -10. Let x = h + 0.43. Sort x, 1/2, f in ascending order.
x, 1/2, f
Let w be (-508 + 508)/(1 + 1 + -1 + -4). Put w, -4, 6, -21 in decreasing order.
6, w, -4, -21
Let g = 13.902 - 13.644. Sort 0, g, 5 in descending order.
5, g, 0
Suppose -69*b + 39*b + 73255 = -7*b. Sort 5, 2, b in decreasing order.
b, 5, 2
Suppose 25 + 5 = -5*t. Let a be (10 - 1)*t/18. Suppose f + 5*b = 4*b + 4, -5*b = -2*f + 43. Sort f, -0.1, a in ascending order.
a, -0.1, f
Let x = -2735.7 + 2734.7. Let j be 2 - 3 - 0 - -57. Let p = j - 278/5. Sort p, x, 11 in ascending order.
x, p, 11
Suppose -21*a + 16 = -19*a + 2*f, -2*a + 4*f = -46. Sort a, -13, 3 in decreasing order.
a, 3, -13
Let x = -879 - -881.809. Let k = x - -0.191. Sort -3, k, 0 in increasing order.
-3, 0, k
Let b = 15.013 + 137.987. Put 2, 4, 7, b in increasing order.
2, 4, 7, b
Let d = -9912/305 - -161/5. Let l = 6/61 + d. Sort -2, -4, l in descending order.
l, -2, -4
Let d be 4/(-57)*(-2 - 93/(-6)). Let i = d + 91/76. Let q = -2.2 + 2.6. Sort -4, -5, i, q in ascending order.
-5, -4, i, q
Let u be 2/6*255/(-425). Put u, -3.8, -6/25 in decreasing order.
u, -6/25, -3.8
Let u(j) be the first derivative of j**3/3 - 9*j**2 + 83*j + 139. Let h be u(9). Put -14, h, 0 in descending order.
h, 0, -14
Let j be -5*2/(-1)*2. Let x(b) = 7*b - 130. Let h be x(19). Suppose h*z - 2*i + 3 = -4, i - 6 = 4*z. Put z, -3, 1, j in descending order.
j, 1, z, -3
Let d = -1776 + 1771. Put -7, 4, 1, d in descending order.
4, 1, d, -7
Let o = -13 + 12.5. Suppose -3*u - 9 = -2*z, -10*u + z = -9*u + 4. Let s be u + (5 - 90/21). Sort 1/5, s, -0.1, o in decreasing order.
1/5, -0.1, s, o
Let c = 18.82 - -0.18. Let x = c - 19.5. Let t = 2878/7 + -409. Sort -0.3, t, x in decreasing order.
t, -0.3, x
Suppose 5*w - 16 = w. Suppose 101*p - 106*p = o + 57, -84 = 4*p + 4*o. Put p, -3, w in decreasing order.
w, -3, p
Let m be -3 + (-50)/(-16) + 1065/120 + -10. Sort 2, m, -4/7, 1, 0.1.
m, -4/7, 0.1, 1, 2
Suppose 1 - 41 = 10*k. Let q be 11/((-154)/(-6)) - (-132)/(-14). Let a be 3 + -2 + 1/1. Put q, k, a in decreasing order.
a, k, q
Let a = 9 + -12. Sort 2, 24, 8, a in descending order.
24, 8, 2, a
Let d(s) = -s - 1. Let c be d(1). Suppose 2*v + n - 9 = -4, -4*v + 43 = 5*n. Put 5, v, c, 0 in descending order.
5, 0, c, v
Let v be (-9 - 111/(-12)) + (-54)/(-8). Let t be 4/8 - 10/(-4). Suppose -t*h - 10 = -8*h. Put h, v, -1 in descending order.
v, h, -1
Let k = -0.19407 - -0.19407. Sort -222, -18, k, 4 in descending order.
4, k, -18, -222
Let u(m) = 12*m**2 + 73*m + 2. Let r be u(-6). Let g(b) = b**3 - 19*b**2 + 15*b + 49. Let v be g(18). Put -105, r, v in decreasing order.
r, v, -105
Let a = 97 + -325. Let g = 232 + a. Put 1, g, 0, -1/2 in decreasing order.
g, 1, 0, -1/2
Suppose 5*b + 13 = -r, 4*r - 7*b - 17 = -4*b. Suppose -3*a = r*a - 20. Let v = -1 + 1. Sort a, 3, v, -2.
-2, v, 3, a
Let i = 62 - -4. Let k = i - 263/4. Let d = 0.7 - 0.4. Put 4, k, -3, d in increasing order.
-3, k, d, 4
Suppose 3*j - 4 = 4*k - 34, -5*k + 15 = 0. Suppose 30 = -5*p, -6854 = -2*x + p - 6844. Let d be 24/(-9)*18/12. Put -3, x, d, j in decreasing order.
x, -3, d, j
Let w be 72/(-40) - 13/(455/(-133)). Sort 3, w, 7, 5 in decreasing order.
7, 5, 3, w
Suppose -12*b + 226 = 394. Sort 4, 3, 2, b, -5 in decreasing order.
4, 3, 2, -5, b
Let z be (3 - ((-3 - -2) + -7))/(-1). Let q(o) = -2*o**2 + 7*o + 522. Let d be q(18). Sort -5, z, 1, d in descending order.
1, d, -5, z
Let q be (-8)/2*(-7)/42*1. Let h be (-90)/(-36)*2/(-10). Sort -4, q, h, 2/5 in descending order.
q, 2/5, h, -4
Let t = 6 + 28. Let c be ((-4914)/(-280))/27 + -1 - (-4)/(-80). Put -1/7, c, t, 4 in increasing order.
c, -1/7, 4, t
Suppose 3*t = -2*t - 5. Let d be (6/9 - 0) + (-9)/(-61 - -34). Put -3, t, 9, d in ascending order.
-3, t, d, 9
Let j be (15 - (-1991)/(-132))*4. Sort j, -2/37, -7 in descending order.
-2/37, j, -7
Let q = 89 + -93. Suppose 2*n - 5*f - 143 = 0, 3*n + 7*f = 12*f + 202. Sort q, n, -2, -0.1.
q, -2, -0.1, n
Suppose 0 = -737*d + 743*d - 6. Put -515, 