uppose 3*j - 3 = -0. Sort a, j, 0 in decreasing order.
j, 0, a
Let n = 1.027 - 0.827. Let p(g) = g**3 - 5*g**2 + 2. Let v be p(5). Sort v, -1/4, n in descending order.
v, n, -1/4
Let r = -4 - -7. Let x be (-18)/22 + 2/(-11). Let g be 1/(-3) - x/r. Put 2, 5, g in decreasing order.
5, 2, g
Suppose -69*z = 10*z + 395. Sort z, 10, -3, 22 in ascending order.
z, -3, 10, 22
Let z = -171 + 170.5. Let g = -0.7 - 4.8. Let r = z - g. Sort -2/9, r, 1/2 in increasing order.
-2/9, 1/2, r
Let c = 193 + -191. Let m = -0.084 - -0.094. Sort 3/7, c, 3, m.
m, 3/7, c, 3
Suppose -24 = -2*d - d. Let l = 20 - 18. Suppose -l*m + 5*a + 7 = 0, -2*m + a - 9 = m. Put d, m, 0 in decreasing order.
d, 0, m
Let x be 8/20*1/(-2). Put -2, x, 5 in decreasing order.
5, x, -2
Let c = 1.2 - 5.2. Put 0.1, c, -3, -2 in decreasing order.
0.1, -2, -3, c
Let u(q) = -q**2 - 1. Let k(a) = 11*a**2 + 4*a + 1. Let p(v) = -k(v) - 6*u(v). Let g be p(1). Suppose -7 - 8 = -3*f. Put 4, f, g in descending order.
f, 4, g
Suppose 48*z + 73 = -71. Suppose 18 = -5*d + 4*g + 65, -3*d + 3*g = -30. Put d, -4, z in decreasing order.
d, z, -4
Let p be ((-12 + 10)/4)/(-2). Let k = 0.1 - 0.2. Let s = 5.2 - 5. Put k, s, p in ascending order.
k, s, p
Let b = -0.34 - 0.06. Let l = b - 1.6. Let c be (-4)/(-14)*12/120*-5. Put c, 5, l in descending order.
5, c, l
Suppose 4*d = 5*i - 20, -d + 0 = 5*i - 20. Suppose 0 = 80*f - 90*f - 50. Sort i, f, 5 in decreasing order.
5, i, f
Let p = 69 + -41. Suppose -15 = 5*z, 21 = -m - 5*z + 8. Suppose 5*o + 1 = -m*n, -3*o - 3*n - 4 - 2 = 0. Sort o, p, 4.
o, 4, p
Let t(i) = i**3 - 5*i**2 + 5. Let a be t(5). Let x be ((-2)/1 + a)/((-4)/1). Sort 4, 7, 1, x.
x, 1, 4, 7
Let l = 29.49 + -29. Let z = 1.49 - l. Sort z, 0.02, 1/5, 0.4 in ascending order.
0.02, 1/5, 0.4, z
Suppose 8*t - 41 = 31. Suppose -t*n + 34 = -20. Sort n, -5, 3.
-5, 3, n
Let s be 15/(-12)*156/(-65). Sort s, 14, 1, -1 in descending order.
14, s, 1, -1
Let c be ((-1)/(-5))/(5/(-10)). Put -9, c, -30 in decreasing order.
c, -9, -30
Let b = -464 + 560. Sort b, -4, -1.
-4, -1, b
Let z = 2052 - 2052.5. Let x = 0.1 - 0.3. Put x, 1, z in increasing order.
z, x, 1
Suppose -a + 2 = 0, 11*w - 13*w + a = 0. Sort -5, -105, w.
-105, -5, w
Let f = 54 - 27. Let y = f + -26.97. Sort y, -4, -5.
-5, -4, y
Let o be ((-20)/(-25))/((-6)/(-15)). Let n be -1*(-4)/16*6/o. Sort n, -0.4, 0 in increasing order.
-0.4, 0, n
Let l = 0.0112 + 0.4888. Sort 0.02, 0, l in descending order.
l, 0.02, 0
Let o(l) = -2*l**2 - 7*l - 4. Let t be o(-4). Let d be ((-6)/t)/((-7)/84). Suppose c = 3*u - 4, -10*u + 12 = -3*c - 11*u. Sort 5, d, c in increasing order.
d, c, 5
Let j = 713 + -705. Sort 5, j, 2 in descending order.
j, 5, 2
Suppose 0 = -5*f - 3*j - 114, 5*j = 7*f - 5*f + 58. Let g be (f/(-20))/(9/(-30)). Sort 5, g, -2 in descending order.
5, -2, g
Suppose 63*h + 19 = 67*h + 5*p, 4*h = p + 1. Put 6, h, -4, 10 in increasing order.
-4, h, 6, 10
Let x = -4.91 - 0.09. Let m = 4 + x. Let a = 124 + -123.5. Put a, 0.4, m in decreasing order.
a, 0.4, m
Let f = 39 - 58. Let l = 22 + f. Let d = 3 + -1. Sort l, -4, d in descending order.
l, d, -4
Let k = 273 + -271. Suppose -6 = 2*b - 0. Sort k, 8, b.
b, k, 8
Let s = -798 + 797.5. Sort s, 3/2, -267 in decreasing order.
3/2, s, -267
Let c = -44.95 - 2.05. Sort c, 0, 2/17.
c, 0, 2/17
Let v = -8.6 - -9. Let f = 26.9 - 27. Put 5, v, f in increasing order.
f, v, 5
Let s = -1.2 - -1.3. Let c = -337/7 - -48. Put -1/5, s, c in ascending order.
-1/5, c, s
Let g be (-30)/(-6) + 1*-4. Sort g, -3, -8, 4.
-8, -3, g, 4
Let l = 8 + -13. Suppose 6*k = 190 - 196. Put k, l, 2 in increasing order.
l, k, 2
Let x = -4 + -5. Let a be -3 - (x/(-21) - 3). Let v = -2.1 - -0.1. Put -0.4, a, v in increasing order.
v, a, -0.4
Let m = -1 - 4. Let r be 20/12*(4 + -1). Let u(g) = g. Let b be u(r). Put m, -1, b in ascending order.
m, -1, b
Let v be -3 + (-21 - -3)/(-2). Suppose -7*u = -4*u + v. Let c be (-1)/(u - (-1 - 2)). Put c, -3, 4 in descending order.
4, c, -3
Let y be (-5 - -6)/(3/(-15)). Let w = 24 - 22. Suppose -2*k - 14 = -3*d + d, 0 = w*k + 3*d - 6. Sort k, 0, y in decreasing order.
0, k, y
Suppose 0*v - v - 5*g = 0, -5*g - 20 = -3*v. Suppose 2*b - c = 2*c - 11, -b + 17 = 3*c. Suppose 4*p + b - 1 = j, 0 = -5*p. Sort 4, v, j.
j, 4, v
Let j be (-1 + 3 + -3)*1*-13. Let u be j/(-7) - (1 + (-36)/42). Sort 0.01, u, 0, -2/7 in ascending order.
u, -2/7, 0, 0.01
Let f = -0.03 - -0.53. Let o = 0.86 - -1.64. Let b = o - f. Put 2/7, -4, b in decreasing order.
b, 2/7, -4
Let y be (-12)/(-16)*32/6. Suppose -12 + y = h. Put -2, 1, h in descending order.
1, -2, h
Let k(g) be the first derivative of g**4/4 + 8*g**3/3 + 7*g**2/2 - 4*g + 2. Let u be k(-7). Let h = 39 + -42. Sort 2, u, h.
u, h, 2
Let a be -3 - -4 - ((-96)/10)/(-6). Sort -3, a, 10, 1/2 in increasing order.
-3, a, 1/2, 10
Let q = 23.3 + -9.9. Let l = 0.4 - q. Put 0.5, 0.3, l in increasing order.
l, 0.3, 0.5
Let d be (-8)/(-3)*(-6)/(-4). Suppose q - 5*i + 0*i - 21 = 0, 4*q - 4*i - 4 = 0. Put -7, q, d in increasing order.
-7, q, d
Suppose 3*u - 16 = -u. Suppose 4 = 2*l + 2*l. Sort u, 5, l in increasing order.
l, u, 5
Let p = 2186 + -2186. Sort p, 2, -7 in decreasing order.
2, p, -7
Let i = 1294 - 1290. Put -4, i, 19 in increasing order.
-4, i, 19
Let w = 10/27 - 77/135. Sort -5, 2, w, -2/25 in ascending order.
-5, w, -2/25, 2
Suppose -32 = -4*i - 5*q - 2, -5*i = -3*q - 19. Let h be (i - 3 - 3)*-1. Let n(o) = o - 2. Let v be n(h). Put v, 5, 1 in descending order.
5, 1, v
Let l = -84002/75 + 1120. Sort l, -5, 5 in decreasing order.
5, l, -5
Let u = 87 + -610/7. Sort 0.3, u, 3 in increasing order.
u, 0.3, 3
Let c = -2.78 - -3.48. Sort -4, c, 4, 2.
-4, c, 2, 4
Suppose 3*n - 2*i = 23, -4*n + 2*i + 16 + 12 = 0. Suppose 0 = -4*a + 4*f, -n*a - 5 = -4*f - 0. Sort -1, a, -2 in increasing order.
a, -2, -1
Let g be (-4)/(((-64)/60)/4). Suppose -g*w = -13*w. Let k = 1 - 3. Sort w, 4, k in ascending order.
k, w, 4
Let d be ((-2)/(-6)*0)/(-2). Let v be d - -1 - 2 - 0. Let b = -11 - -8. Sort 3, b, v in descending order.
3, v, b
Let g be 15/(-4*(-5)/20). Suppose -20 = -10*k + g*k. Sort -3, 4, k in descending order.
4, -3, k
Let y = 1113 + -1108. Put y, 7, 25, 0.4 in decreasing order.
25, 7, y, 0.4
Let z(p) = -p**3 + 6*p**2 + 6*p + 6. Let i be z(7). Sort i, 1, -0.3, 2 in decreasing order.
2, 1, -0.3, i
Let i(h) = -h**2 - 5*h + 5. Let b(k) = -k**2 - 6*k + 5. Let x(p) = -3*b(p) + 4*i(p). Let d be x(-4). Sort -4, 18, d, -2 in descending order.
18, -2, d, -4
Let i = -11 + 15. Suppose 0 = -x + 5*l + 24, -4*x - 6*l - i = -l. Let r = x + 0. Sort 3, r, -5.
-5, 3, r
Let g be (1 - -1) + ((-33)/(-15))/(-1). Let j be (0 + 2)*(1 + 0). Sort g, j, -2 in increasing order.
-2, g, j
Let w be 1/3 - (-7)/(-9). Let d = -9596/13 - -738. Put 4, d, w in decreasing order.
4, d, w
Suppose -27*p = -26*p - 18. Let z be (-28)/6*p/(-21). Put 2, 0.2, z in descending order.
z, 2, 0.2
Let j = -1/1018 - -255/509. Sort j, 18, 0.
0, j, 18
Let u = -18.28 - -17.28. Let j = -0.02 + -2.98. Put j, -0.1, u in descending order.
-0.1, u, j
Let a = 109/793 - -1/61. Put -0.4, a, 2/79, 1 in decreasing order.
1, a, 2/79, -0.4
Let n(j) = -j + 24. Let h be n(-16). Let r = h + -34. Suppose -2*t - 2*w = 0, 3*w + 28 = 2*t - 2*w. Sort r, -4, t in ascending order.
-4, t, r
Suppose 9*y = 12*y - 9. Let v = -20 + 15. Put -2, y, v in decreasing order.
y, -2, v
Let s = 0.03 - 3.03. Let v(h) = h**3 - 4*h**2 - 2*h + 9. Let k be v(4). Let c = -1482 + 1485. Sort k, c, s.
s, k, c
Let d be 8/10*50/20 + 119. Sort -1, 0, 2, d in descending order.
d, 2, 0, -1
Let w = -1499.2 - -1499. Put 1, w, -1/8 in decreasing order.
1, -1/8, w
Let s = 150 + -153. Put 6, 5, s, -5 in descending order.
6, 5, s, -5
Let r = 9.1 - 5.2. Let a = r - 4. Put 0.5, 1, a in increasing order.
a, 0.5, 1
Let z = -128 - -124. Let o = -12 + 7. Sort -2/9, z, 1/5, o in ascending order.
o, z, -2/9, 1/5
Let a be 1028/771*6/(-4). Let x = -5 - -2. Suppose -z + 5*q + 11 = 0, -4*z - 3*q = -3*z + 13. Put x, z, a in descending order.
a, x, z
Let p = -71 + 76. Let w = 158/35 + -24/5. Sort w, 1, p.
w, 1, p
Let d = 0.3 + -0.4. Suppose 7*r - 84 = -0*r. Suppose 3*s = -0 - r. Sort d, s, 0.5.
s, d, 0.5
Let x = 134 - 135.7. Sort 1/4, x, -1 in ascending order.
x, -1, 1/4
Let a = -16 + 27. Suppose -2*l + 4*l = -2*d - 6, -