t a, u, -3 in decreasing order.
u, -3, a
Let n = -217 - -156. Let u = n - -59. Put u, 7, 13 in increasing order.
u, 7, 13
Suppose 4*u = -2*p + 131 - 159, -2*p - 32 = 3*u. Put -3, 14, 3, p in increasing order.
p, -3, 3, 14
Suppose 0 = 2*n - 5*t - 18, -5*n + 4*t = -2*n - 20. Let w = -1.5128 - -1.1128. Sort n, w, 0.01 in descending order.
n, 0.01, w
Suppose 0 = 528*a - 525*a - 597. Let s = a - 201. Sort -59, -1, s in decreasing order.
-1, s, -59
Let w be 2 - (2 + -7)/5. Let p be (-2)/9*3/(-4). Put w, -26, 0.3, p in descending order.
w, 0.3, p, -26
Let f = -2424 - -2421. Sort f, 1, -35 in descending order.
1, f, -35
Let d be -10 + 5396/285 + -8 + 2/30. Let o(x) = -2*x**2 + 9*x + 10. Let u be o(7). Sort u, d, -2/11.
u, -2/11, d
Let k = -0.0332 - -20.1332. Let a = k - 22.1. Sort -1/3, a, 4, -0.01 in descending order.
4, -0.01, -1/3, a
Let d = 5.475 + -5.525. Sort -0.3, 0.3, 4, d in ascending order.
-0.3, d, 0.3, 4
Suppose 24 = 5*v + 19*v. Sort v, -24, -2, -5 in increasing order.
-24, -5, -2, v
Let n = 0.4974 + -4.4974. Suppose -4*i + 7*i - 6 = 0. Sort 4, -3, i, n in descending order.
4, i, -3, n
Let t be (-152)/(-76)*4/14. Sort -4, t, 0.241.
-4, 0.241, t
Let s be (-52)/(-8) - 1/(-2). Suppose -2*l + 9 = o, -5*l - s = -5*o - 22. Suppose -2*r + l - 7 = z, 4*r + 24 = 4*z. Sort 1, z, 2 in decreasing order.
z, 2, 1
Let c = 2 - 1.5. Let w = 0.978 + -0.578. Let n = -0.97 - -1. Put c, w, n, 2 in descending order.
2, c, w, n
Suppose -3*u + 5*y - 11 = 0, -u - 9*y = -12*y + 5. Let m = -17/96 + -5/32. Put m, u, 2/5 in descending order.
2/5, m, u
Let g be (1*4)/((252/(-27))/14) + -11. Sort -2, g, 5, -3, -1 in ascending order.
g, -3, -2, -1, 5
Let h(t) = -97*t**2 + 1064*t + 35. Let z be h(11). Sort 1, z, 11 in ascending order.
1, z, 11
Suppose 286 - 113 - 137 = 9*z. Put z, 0, -3, 1, 20 in descending order.
20, z, 1, 0, -3
Let t = 21377 - 21372. Let o be 4/14 + 32/(-63). Sort o, -2/5, -3, t in descending order.
t, o, -2/5, -3
Suppose 0 = 3*m + m. Suppose 3*z = 5*l + 37, -4*l + 2*l - 5*z = 21. Let r be 2/(-2*(-1)/l). Sort r, -2, m, 5.
r, -2, m, 5
Let u be (2/2)/(-17 - -20). Sort 4, -4, 14, -2, u in decreasing order.
14, 4, u, -2, -4
Let o = -5469 + 5469.4. Suppose 0 = 2*b - b - 5, v + 25 = 5*b. Put -4/3, o, -0.3, v in decreasing order.
o, v, -0.3, -4/3
Let x = 0 - 0.01. Let r be (4365/16005)/(1/11). Sort x, 1/4, r, 0.5 in increasing order.
x, 1/4, 0.5, r
Suppose -233*v - 16 = -249*v. Sort v, 3, -4, 4 in ascending order.
-4, v, 3, 4
Let m be 225/9*1/3. Let n = -17/2 + m. Let j = -179 - -179.08. Put j, 0, n, 5 in descending order.
5, j, 0, n
Let b = -3553807/5 + 710761. Let d be (-5)/(-6) - (0 - -1). Put -0.2, -5, b, d in decreasing order.
d, -0.2, b, -5
Suppose -1341*j + 1305*j = 36. Sort 1, j, 2, 3, -8 in descending order.
3, 2, 1, j, -8
Let i = 196401 - 196408. Let y be (-6)/8 + 2/(-8). Sort 1/7, -2, y, i in descending order.
1/7, y, -2, i
Let p = 528701 + -6876556/13. Let i = p - -265. Let n = -23.05 - -23. Sort i, n, -1 in decreasing order.
i, n, -1
Let g = 723 - 722.7. Put g, -5, -11 in decreasing order.
g, -5, -11
Let u = 31 - 16. Let b be (-5)/u*2*-1. Let v = 0.1 + -1.1. Put -2, b, v in decreasing order.
b, v, -2
Let j = -4 - -3. Let x = 0.367 - 0.315. Let c = x + -0.352. Sort j, c, 5, 3 in decreasing order.
5, 3, c, j
Let c = -314.47 + 53.47. Sort -5, 0.4, c in decreasing order.
0.4, -5, c
Let i(p) = -70*p + 1534. Let h be i(22). Put h, -30, -0.1 in descending order.
-0.1, h, -30
Let k be (2/(-6) - 1/(-3))/2. Suppose 0 = -5*m + j + 58, -3*m - j - 14 = -52. Let w be m/10*3/9. Sort w, 4, k in decreasing order.
4, w, k
Let l(g) = g**2 - 10*g + 25. Let x be l(6). Let w = 50 - 40. Suppose -o - 2*n - 51 = -w, 6 = -3*n. Put o, x, 5, -5 in descending order.
5, x, -5, o
Let u = 2203 + -2203. Sort -5, 0.09, -3/8, 4, u in ascending order.
-5, -3/8, u, 0.09, 4
Let o = 966 - 939. Let n be (-15)/o*9/45. Let p be 2/(-15) - (-2)/6. Sort 2/17, p, n in descending order.
p, 2/17, n
Suppose 62*k - 67 = 119. Sort -34, 4, -5, k in decreasing order.
4, k, -5, -34
Let z = -1 - -5. Let m = -7576 + 7576. Sort m, z, 0.05.
m, 0.05, z
Let o = -14077 + 14078. Put -2, -5, o, 26 in ascending order.
-5, -2, o, 26
Let t = 63540 + -63536. Let x be (-5)/3 - 2/(-3). Put 0.45, t, x, 2 in ascending order.
x, 0.45, 2, t
Let a = -490.5 + 491. Let g = 26 - 22. Sort -1, g, 6/17, a.
-1, 6/17, a, g
Let c = -3979.2 + 3979.1. Put -0.3, 3, -25.5, c in decreasing order.
3, c, -0.3, -25.5
Let t = -97.865 + 98. Let b = -63.535 + t. Let c = b - -63. Sort c, -2/9, 0, 0.5 in descending order.
0.5, 0, -2/9, c
Let u = -0.5 + 0.3. Let s = 547.79 - 545.79. Sort 0, 1/4, u, s in ascending order.
u, 0, 1/4, s
Suppose 4*o = -5*p + 29, -o - 1 = -3*p + 13. Let q = -4 + o. Let g = -307079/84 + 43865/12. Put g, 0.16, q in increasing order.
q, g, 0.16
Suppose -13*n = -14*n - 9*n + 90. Sort 3/5, n, 0.08, -5, 5.
-5, 0.08, 3/5, 5, n
Let b = -23.3 - -27.3. Let u(v) = -v**2 + 5*v + 14. Let c be u(6). Let l = c + -5. Sort 5, -1/4, b, l in decreasing order.
5, b, l, -1/4
Let b = 25876/5 + -5175. Sort 2/7, -5, 4, 0, b in ascending order.
-5, 0, b, 2/7, 4
Suppose 0 = 3*r - h + 10, -110*r + 109*r - 18 = -4*h. Put 4, 6, r in ascending order.
r, 4, 6
Let y be (8 - 7)/(17 + -12 + -12). Put 1/6, y, -108 in ascending order.
-108, y, 1/6
Let c be 7 + -5 + (-10)/6. Let h(i) = i**2 + 27*i + 129. Let m = -392 - -386. Let a be h(m). Put 1, 1/5, a, c in ascending order.
1/5, c, 1, a
Suppose 0 = -3*i - 23 + 8. Sort -1, -76, i in ascending order.
-76, i, -1
Let h(l) = -l**2 + 14*l - 35. Let u = -340 + 350. Let i be h(u). Sort -10, 0, i in ascending order.
-10, 0, i
Let f = 2.6695 - 2.7695. Let y = 1.1 + -1.4. Sort 1/15, y, f in increasing order.
y, f, 1/15
Let w = 3122 + -3127. Put 5, 0, w, 4, 213 in descending order.
213, 5, 4, 0, w
Suppose 80 = -42*t - 38*t. Sort 0, t, 5, -2.
-2, t, 0, 5
Let y = 3503.92 - 3504. Sort 39, 3, y, 1 in decreasing order.
39, 3, 1, y
Let j = -35/59 + 363/413. Put 0.04, 13, j, -1 in decreasing order.
13, j, 0.04, -1
Let f = 0.1 + 0.1. Let t = -744 + 743.8. Suppose 0 = -40*u + 38*u. Put t, f, -0.1, u in descending order.
f, u, -0.1, t
Let b(y) = -37*y - 2504. Let g be b(-68). Put g, 2, -3 in decreasing order.
g, 2, -3
Let r = 4697 + -4700. Sort 38, r, -12.
-12, r, 38
Let j = 0.831 + 464.869. Let w = 466 - j. Sort w, 11, -0.4.
-0.4, w, 11
Let s = 92 + -89. Suppose j + s*j = -4*j. Suppose -3*y + 0*y + 15 = o, 3*o + y = 13. Sort o, -2, 4, j in descending order.
4, o, j, -2
Let p(b) = -b**3 + 12*b**2 + 13*b - 3. Let l be p(13). Let m be ((-282)/12)/(l/6). Let c = -45 + m. Put 5, c, 2/9 in increasing order.
2/9, c, 5
Suppose -9*n + 5*n + 10 - 30 = 0. Put -39, -6, n in descending order.
n, -6, -39
Let c(v) = -v**3 + 84*v**2 + 3*v - 254. Let s be c(84). Let a(g) = -3*g - 5. Let b be a(-3). Sort 3, b, s, 8 in ascending order.
s, 3, b, 8
Let f = -4.98 - 0.02. Let v = -1886751/2 - -943371. Sort f, -5/4, 1/4, v.
f, v, -5/4, 1/4
Let j(x) = -x - 4. Let a be j(-7). Suppose 0 = 5*d - d - a*v + 9, 3*d - 6 = -2*v. Let b = 10 + -14. Sort -1/6, -3, b, d in decreasing order.
d, -1/6, -3, b
Let u = 683 + -662. Suppose 3*n - 28 = -5*l, 4*l - 19 = -0*n + n. Put u, l, 1, 2 in increasing order.
1, 2, l, u
Let x(o) = o**3 + 37*o**2 + 256*o + 416. Let q be x(-6). Suppose 5*n + 336 + 383 = 3*z, -3*z = -9. Put n, 1, q in ascending order.
n, q, 1
Let u = -272.3 - -272. Put -5, u, -4 in increasing order.
-5, -4, u
Let p(l) = -52*l**2 + 1. Let x be p(-1). Let k = 282 - 224. Let f = k + x. Sort -5, f, -3, 0.
-5, -3, 0, f
Suppose -o - 9*o = -20. Suppose o*l = 5*w + 6, 4*l - w + 2 = 32. Let k be l/3 + (-2)/3. Put k, 4, 5 in descending order.
5, 4, k
Let r = -11.1 - -2.2. Let w = 3 + r. Let j = 6.4 + w. Sort 2/5, -5, j, -0.1.
-5, -0.1, 2/5, j
Suppose -5*j - 4*d + 16 = 0, 2*j + 8*d + 4 = 9*d. Suppose j = -l - g + 5*g + 15, -12 = 3*g. Sort 2, l, 19.
l, 2, 19
Suppose -y = -6 - 1. Let g = -87 - -83. Let a be ((-4)/g)/(2 - 3). Put a, -2, y in increasing order.
-2, a, y
Let l(b) = -7*b**2 - 4*b + 2. Let u(z) = z**3 - 10*z**2 + 14*z + 12. Let i be u(8). Let t be l(i). Let g = 471/5 + t. Sort 0.4, g, 1 in increasing order.
g, 0.4, 1
Let b = 265/7 + -38. Suppose 3*a = u + 217, 227 = 3*a - 8*u + 12*u. Let c = 217/3 - a. Sort 0.2, b, -0.01, c in decreasing order