reasing order.
a, -2, 4, 8
Let a be (-10)/(-65) + 4 + (6 - 174251/(-91)). Sort a, -1, -2.
-2, -1, a
Let i(z) = z. Let g be i(4). Suppose -2*a - 9 = -g*v + 3*a, -4*v + 2*a = -6. Put 0, 40, -1, v in descending order.
40, v, 0, -1
Suppose -z - 4*x + 14 = 0, 4*z - x + 1 = 2*x. Suppose 2*t - 3 = 5. Suppose -3*l + 0*l - t*c = 9, 4*l + 11 = -5*c. Sort -4, z, l in increasing order.
-4, l, z
Let j be (-4)/(-2)*(14 - 5). Suppose 0 = 7*o + j - 25. Suppose 0*i - 5 = -i. Put i, -11, o, -5 in ascending order.
-11, -5, o, i
Suppose 0 = p + 4, 5*v + 0*p = p + 34. Suppose 12*x + 126 = 3*x. Let i = 18 + x. Sort i, 2, v in increasing order.
2, i, v
Let k = 5086 - 5067. Sort k, -3, 1, 5, -5.
-5, -3, 1, 5, k
Let i = 55 - 51. Let y be -1*(6/(-12) - -1)*0. Sort y, -65, i in ascending order.
-65, y, i
Let g(y) = 2*y**3 + 21*y**2 + 3*y - 18. Let l be g(-10). Suppose -31*j + l = -10. Let n = 3 + -4. Put j, -5, n, 12 in increasing order.
-5, n, j, 12
Suppose 39*l = 2*a + 41*l, -10*a - 5*l = 25. Sort a, -13, -29, 0.
-29, -13, a, 0
Let h = 2.93 - 3. Let g = 85606 + -85611. Sort g, h, -3/4, -3/5.
g, -3/4, -3/5, h
Let b = 2394 - 2393.6. Put b, 2, -1173 in ascending order.
-1173, b, 2
Suppose -9 = -h - 10 + 25. Put -3, 4, h, 5 in increasing order.
-3, 4, 5, h
Let s(g) = 10*g**2 - 833*g + 244. Let y be s(83). Suppose -8 = 4*b, 1 = -2*n + n - 3*b. Put n, 7, y, -3 in increasing order.
y, -3, n, 7
Let v = -14461.3 - -14461. Put -2/23, v, 0, 0.4, -1 in descending order.
0.4, 0, -2/23, v, -1
Suppose 7 = 12*k - 29. Suppose -5*x - 10 = -5*n, k*n - 4 = 2*x + 1. Sort n, -2/5, -1.5, -3/4.
-1.5, -3/4, -2/5, n
Let m = 0.4 - 16.5. Let b = -0.04 - -16.04. Let x = m + b. Sort 0.2, x, -15 in ascending order.
-15, x, 0.2
Let v = 4800 + -4802. Sort v, 0.5, 2, 5.
v, 0.5, 2, 5
Let r = 2 + -1. Suppose 4*k - s - 229 + 1 = 0, -216 = -4*k - 2*s. Let u be -5*(-10)/(-175) - 19/k. Sort r, 0.1, u in increasing order.
u, 0.1, r
Let n(g) = -829*g**2 - 8*g - 8. Let t be n(-1). Let b = -830 - t. Sort -7, -37, b.
-37, -7, b
Let p = 6685/3 + -2229. Sort p, 2.81, 1/6.
p, 1/6, 2.81
Let i = -9.42086 - -0.05186. Let q = 9.32 + i. Sort 4, q, 4/3 in increasing order.
q, 4/3, 4
Let k = -0.1 + -3.9. Suppose 37 = 162*r - 121 - 4. Sort r, 1/6, 0.1, k in descending order.
r, 1/6, 0.1, k
Let j be 1 + 0 - (-5)/(-3). Let f = -11.65106 - -7.65106. Let s = 1.1 + -1. Put j, s, -0.3, f in decreasing order.
s, -0.3, j, f
Suppose 11*c = -1556 + 170. Let h be (-10)/c + (-21)/(-27) + -1. Sort 2/7, 4, h, -2 in decreasing order.
4, 2/7, h, -2
Suppose 0 = 2*u - 0*u - 20. Let q(h) = -52*h + 426. Let s be q(8). Let l be (-5)/10*u + s. Sort l, -4, 15, -5 in decreasing order.
15, l, -4, -5
Suppose 2*y + 5 = -1. Let z be (23 - 30 - (-16)/2)/1. Put 3, y, z, -8 in descending order.
3, z, y, -8
Suppose -93*q - 119 = -24 - 2. Suppose g - 2*z + 1 + 5 = 0, -4*g = -5*z + 12. Put g, q, -7 in decreasing order.
g, q, -7
Suppose -3*w + 13 = 2*k, 15*k - 10*k - 4 = 2*w. Let m be k/(-10) - 132/(-110). Put 4, m, -5, -2 in descending order.
4, m, -2, -5
Let b(j) be the first derivative of -j**3/3 - 11*j**2/2 + 8*j - 60. Let v be b(-12). Sort 4, 0, v in ascending order.
v, 0, 4
Let s = 872.1 + -871.7. Sort -8/3, -22, s.
-22, -8/3, s
Suppose o - 5*v - 216 = 0, 4*v - 502 - 346 = -5*o. Sort 3, 2, 0, o, 1 in descending order.
o, 3, 2, 1, 0
Let r(k) = -5*k**3 - 26*k**2 - 19*k - 67. Let z be r(-5). Put z, -8222, -1 in ascending order.
-8222, -1, z
Let f = -1196.9 + 1196.9. Let l = -4 - -3.5. Sort f, 4, l in descending order.
4, f, l
Let k = -0.174328 - -0.474328. Let i = 163/6 - 27. Sort i, k, -1/9, 0.5 in decreasing order.
0.5, k, i, -1/9
Let p = -314723 + 314718. Let v(j) = -j**3 + 3*j**2 + 2*j - 2. Let o be v(3). Suppose -o*g + 6*n + 32 = 2*n, -5*n + 40 = 5*g. Sort g, p, 0.4 in ascending order.
p, 0.4, g
Let t be 4/(-6) + 19/(-3). Suppose 1124 = -375*y - 1. Put y, -11, 3, t in ascending order.
-11, t, y, 3
Suppose 80*r = 78*r + 926. Let h = r - 2313/5. Sort h, -5, -63, 0.5.
-63, -5, h, 0.5
Suppose -27*t + 24 = 5*k - 31*t, 10*t = -60. Suppose -5*u = -9*u - 176. Put k, 2, -1, u in increasing order.
u, -1, k, 2
Let k = -273 - -302. Let s = k - 29.1. Put -2/15, s, 11 in descending order.
11, s, -2/15
Let l be ((-672)/(-480))/((-1)/5) + (-27 - 0). Sort 0, l, 4, -2, 2 in descending order.
4, 2, 0, -2, l
Suppose 1 = 4*y - 3*i - 10, -2*i = 5*y - 8. Let j = -28 - -12. Sort j, -4, 5, y in increasing order.
j, -4, y, 5
Suppose 0 = 717*l - 653*l + 320. Sort 2, l, -13, 4, 0 in ascending order.
-13, l, 0, 2, 4
Suppose -12 = 3*t + j, -78*t + 4*j = -82*t - 32. Put -1, -23, 3, 2, t in ascending order.
-23, t, -1, 2, 3
Let y = -21231 - -21223. Let g = 5 - 4. Put y, 4, g in decreasing order.
4, g, y
Let c = 517.0345 - 0.0345. Let f = c - 469. Put f, 2, 0.4 in decreasing order.
f, 2, 0.4
Let v = 6.402 - 6.532. Put -0.5, v, -23 in descending order.
v, -0.5, -23
Let w be 5*((-10)/(-2))/1. Let p = -221/9 + w. Let b = -0.52 + 5.52. Put p, b, -0.02 in decreasing order.
b, p, -0.02
Suppose -2*k + 4*y + 24 = -0, -3*k - 5*y = -14. Suppose -7*r + k*r = -5*z + 14, -z = -2. Let q(f) = -f**3 + 6*f**2 - f + 8. Let s be q(6). Sort -1, 0, r, s.
-1, 0, s, r
Let b(u) = -28*u**2 + 136*u + 16. Let x be b(5). Sort -12, x, -2, 5.
-12, x, -2, 5
Let z = -2.4673 - 0.4327. Let i be (0 - 8/30) + 0. Let o = i + -2/5. Sort o, z, 1.
z, o, 1
Let c be 24/(-8) - 29/(-13). Let w = c - -124/195. Sort -2/17, w, -5 in decreasing order.
-2/17, w, -5
Suppose 0 = -s - 1 - 4. Let t be 652 - ((-4)/18 + (-100)/36). Let c = -648 + t. Sort c, s, 2.
s, 2, c
Let k = -13/88 + 3/11. Let w = -372 + 595. Let a = w + -220. Sort k, 3/5, a in decreasing order.
a, 3/5, k
Let y be (22/33)/(10/3). Let u(b) = b**3 + 4*b**2 - 6*b - 2. Let s be u(-5). Sort s, -1, y in decreasing order.
s, y, -1
Let v = -33060 + 33059. Let s = -1.8 + 0. Put s, v, 0 in ascending order.
s, v, 0
Let j be (63/28 - 7)/((-1)/(-4)). Let o(w) = 11 + 18*w**2 + 2*w**3 - w**3 - 48*w + 30*w. Let p be o(j). Put 2, p, -2, -3 in ascending order.
p, -3, -2, 2
Let u = -443 - -240. Let x = -207 - u. Sort x, -0.1, -2/9 in ascending order.
x, -2/9, -0.1
Suppose 9 = 19*t + 82*t - 5950. Sort t, 4, 5, 1/2 in ascending order.
1/2, 4, 5, t
Let a = 9703 + -9726. Put a, -18, -1 in descending order.
-1, -18, a
Let m(a) = 11*a**2 + 8*a - 4. Let i(l) = 5*l**2 + 4*l - 2. Let c(h) = 9*i(h) - 4*m(h). Let f be c(1). Put f, 31, 4 in descending order.
31, 4, f
Let s be (13 + 4105/(-310))*(-4)/(-5). Put -3, s, -4, 4 in descending order.
4, s, -3, -4
Let y be (-92)/138*((-2115)/(-6) + 0). Let p = y - -230. Sort 14, p, -1 in ascending order.
p, -1, 14
Let f = 3 - 2. Let d = 0.77 - 0.7576. Let o = 5.9876 + d. Put o, f, -1 in decreasing order.
o, f, -1
Let d = 2299 - 2362. Sort 2, d, -1, -3 in decreasing order.
2, -1, -3, d
Suppose 14*q = -43*q - 171. Let v = 2 + 2. Suppose 0*y = v*y - 8. Sort -2, q, 0, y in decreasing order.
y, 0, -2, q
Suppose 4*q = -p - 3*p + 36, -2*p - 3*q + 23 = 0. Suppose 4*h - s = -5*s - 12, -2*s = p*h + 16. Sort 41, h, -4.
h, -4, 41
Let u = -74 + 73.5. Let v = u - -0.7. Let q = 62/3 + -127/6. Sort 0.04, q, -3, v.
-3, q, 0.04, v
Let a = 669 - 680. Let l = -0.023 + -0.077. Put -2/5, l, a in descending order.
l, -2/5, a
Suppose 1 = w, r + 0*r = -w + 5. Suppose 4*q - 3*k - 21 = 5*q, -5*q = -2*k + 54. Let v = q - -9. Put r, v, 5 in descending order.
5, r, v
Let u = -0.1 - 3.9. Let w = u - -3.6. Let q be (-2 + (1 - 4))*22/10890*18. Put 1, q, w in increasing order.
w, q, 1
Let s(z) = 2*z**3 + z**2 - z + 4. Let g be s(3). Let a be (-59)/(-4) - (-16)/g. Let q be (-2)/a*21/14. Sort -1/10, q, -4/5 in descending order.
-1/10, q, -4/5
Suppose 0 = -356*y - 346*y + 681*y + 84. Sort -192, y, -4, -2 in decreasing order.
y, -2, -4, -192
Let z = -0.3685 + -3.6315. Let c = 3 + 2. Sort z, c, 0.1, 21/4 in descending order.
21/4, c, 0.1, z
Let g(f) = -3*f**3 + 28*f**2 - 2*f + 12. Let s be g(9). Suppose -18*c - 3 = -s. Let h(x) = -x**2 - 3*x + 6. Let d be h(-5). Sort d, c, 5 in descending order.
5, c, d
Let m = 0 + 11. Let y be 0/(3 + 0) + m. Suppose 179*v - 159*v + 3*z = -31, 4*z - 16 = 2*v. Put y, 5, v in increasing order.
v, 5, y
Suppose 4 = h, 118*l - 122*l = 3*h - 20. Sort -21, l, 8, 1, 4 in descending order.
8, 4, l, 1, -21
Suppose -3*p = -5*w + 1061, 2*w + 1033 = -6*p + 3*p. Let d