 + 22 = -5*a, 0 = -4*a + 2*a + 4*t - 20. Let c be a/5 - (252/40)/(-7). Sort -1/2, -1, -3, c in descending order.
c, -1/2, -1, -3
Suppose 0 = -4*u - 3*b - 9, b + 2 + 1 = -5*u. Let q be (4 - u)*(-63)/84. Sort 5, q, 3, 4 in decreasing order.
5, 4, 3, q
Let r = -19 - -22. Let y be (r + 3)*(-10)/15. Sort 0, -3, y, 1.
y, -3, 0, 1
Let j(r) = -r**2 - 14*r + 16. Let p be j(-17). Let v = p - -38. Sort -3, 4, v in descending order.
4, v, -3
Let b be 4*3/30 + 14/(-10). Let c be b - ((-2)/(-3))/((-10)/30). Put 2, 5, c, 0 in descending order.
5, 2, c, 0
Let n = 0.8 + -5.8. Let r = n - 6. Let s = -12 - r. Put 2/5, 0.1, s in ascending order.
s, 0.1, 2/5
Suppose 13 + 1 = 14*y. Let i be -1*5/y - -4. Put 4, i, 2, 0 in ascending order.
i, 0, 2, 4
Let d = -10.948 + -0.052. Let j = -14 - d. Sort j, -10, 4.
-10, j, 4
Let g = -359.514 + 359. Let d = -0.114 - g. Let b be 0/(-1) - 2/8. Sort -3, d, b in increasing order.
-3, b, d
Let t = -8 + 5. Let b be ((-2)/4)/((-5)/30). Let g be (-4)/8*b/(3/4). Sort t, -6, g.
-6, t, g
Let i = 11 - 6. Suppose -14*g - 3 = -19*g + f, 13 = 3*g + 5*f. Put i, -4, g in ascending order.
-4, g, i
Let w be (-4)/(-10) + (-14)/10. Suppose q + 0*q = 2*b - 14, -9 = -b + q. Suppose -2*y + 12*j - 8*j = 0, 5*j = 5*y - 10. Put y, b, w in increasing order.
w, y, b
Let v = 164 + -167. Sort v, -2, -4, 5 in increasing order.
-4, v, -2, 5
Let x = -302 + 312. Put -0.2, 2/3, x in descending order.
x, 2/3, -0.2
Suppose k - 5 + 1 = 0. Suppose 6*t - 2*u + 4 = 4*t, -k*t = 5*u - 19. Let f be ((-5)/4)/(t/(-4)). Put f, -5, 15 in descending order.
15, f, -5
Let t be 8465/49335 - 2/6. Let h = t + 2/253. Sort h, -0.1, -5 in ascending order.
-5, h, -0.1
Let z = -83.3 - -79. Let v = z + 3.3. Put 16, v, 3/2 in ascending order.
v, 3/2, 16
Let n = -16/9 + 155/72. Sort 0.8, n, -4, 1/2 in decreasing order.
0.8, 1/2, n, -4
Suppose 7*l - 3*l - 12 = 0. Suppose 2*v = 4*v + 72. Let u = v + 48. Put 4, l, u in increasing order.
l, 4, u
Let d(j) = 10*j**2 - 88*j - 15. Let t be d(9). Sort -10, 3/4, t, -3 in ascending order.
-10, -3, 3/4, t
Let n = 1.2 + -1.2. Let r = -9131/70 - -793/14. Let o = r - -74. Sort n, o, 5 in increasing order.
n, o, 5
Let h = 129 - 86. Let k = h - 43.2. Let m = -0.6 + -2.4. Put k, -5, m in descending order.
k, m, -5
Let q be (1 - (2 - -1))*(-2)/(-4). Put 33, q, -4, 0 in decreasing order.
33, 0, q, -4
Let k(b) = -b**2 - 6*b. Suppose -5*j + 4*v = 26 - 1, 3*v + 25 = -5*j. Let t be k(j). Let p be t/3 + 2/(-3). Put p, 0, -5 in increasing order.
-5, 0, p
Let k = 13 + -12.8. Let r = 54 - 58. Sort k, r, 2/11 in decreasing order.
k, 2/11, r
Let u be (0 + 4/4)*-22. Let y = u - -20. Let c = -0.1 - -4.1. Put y, c, 0.2 in increasing order.
y, 0.2, c
Let q = -248.94 + 244. Let o = q - 0.06. Let r = -21/43 + -1/86. Sort o, r, -1/4.
o, r, -1/4
Let y = 256 - 250. Put 7, 2/7, y in descending order.
7, y, 2/7
Let a(q) = q**2 - q - 3. Let v be a(-3). Let g = -17 + v. Let m be (-8)/(-9)*(-4)/g. Sort 2, m, 0 in increasing order.
0, m, 2
Let b be (676/(-91) - -7) + (-1773)/(-21). Put 1/3, -2/19, b in decreasing order.
b, 1/3, -2/19
Let h(f) = -f**2 + 77*f + 5. Let g be h(77). Let i = 3 + -2. Sort -3, g, i.
-3, i, g
Let k = -921 - -921.1. Put 0.02, 0.3, k in decreasing order.
0.3, k, 0.02
Let q(s) = 45*s + 450. Let r be q(-8). Put 3, -1, r, -2 in descending order.
r, 3, -1, -2
Suppose -4*f + 4*u = f - 32, 0 = 3*f - 5*u - 14. Suppose -p + 5 = f. Let k = 8.83 - -0.17. Sort k, p, -5 in descending order.
k, p, -5
Let y(k) = 3*k - 3. Let s be y(3). Let p = s + 12. Let l = p + -20. Put l, -3, 3 in decreasing order.
3, l, -3
Let k = -4119 - -4114. Let v = -1 - -1. Put k, v, -38 in increasing order.
-38, k, v
Suppose -3*h = -2*v + 71, 5*h - 5 = -0. Put -2, 5, -5, v in increasing order.
-5, -2, 5, v
Let l be 1/(-2)*(-9 + 15). Let k(i) = 4*i - 6. Let x be k(4). Let a be 8/20 + 46/x. Put l, a, -5 in ascending order.
-5, l, a
Let m = -24.1 - -24.2. Let o be 38/7 - 3/7. Sort m, -22, -0.5, o in descending order.
o, m, -0.5, -22
Let z = -28 + 41. Let i = -11 + z. Sort -4, 0.3, i in decreasing order.
i, 0.3, -4
Let k = 5 + -2. Suppose -k*a - a + 26 = -2*v, -4*v - 12 = 2*a. Suppose d + 0*d = 0. Put v, 3, d in ascending order.
v, d, 3
Suppose 0 = 4*d - 12, 0 = 4*l - 6*d + 2*d + 12. Suppose -3*h + 12 = 0, l = -5*w - 3*h + 10 - 68. Sort w, 2/3, -4 in ascending order.
w, -4, 2/3
Suppose 15 = 140*f - 141*f + 5*d, 4*d = f + 13. Let h = 0 - -2. Sort f, -6, h in decreasing order.
h, f, -6
Let a = -2713 - -2711. Put a, -70, 3, -3 in decreasing order.
3, a, -3, -70
Let f be 1*2/4*(-97 - 1). Put -2/3, f, 0.5 in decreasing order.
0.5, -2/3, f
Let r = -1.703 - -1.303. Sort 0.1, 1, 0.8, r in decreasing order.
1, 0.8, 0.1, r
Let j = 441 - 442.5. Put 2/7, 1, j, 3 in increasing order.
j, 2/7, 1, 3
Suppose -38*i + 5 = -43*i. Suppose -3*c = -12, -4*l + 2*c + 22 + 42 = 0. Let y be (-12)/16 - l/8. Put i, -2, y in ascending order.
y, -2, i
Let f(h) = -h**3 + 8*h**2 - 16*h - 3. Let q be f(6). Sort -4, 0, q, -5 in increasing order.
q, -5, -4, 0
Let t = -27 - -41. Suppose -t = -7*i - 0*i. Let d = 1 + -1.2. Sort d, -4, i in descending order.
i, d, -4
Let p(z) = 9*z**2 - 3*z - 1. Let v be p(-1). Suppose 0 = -v*m + 14*m + 12. Sort m, 10, -1 in ascending order.
m, -1, 10
Let q = 38 - 39.7. Let b = 2.2 + q. Let y = -0.4 + b. Put 0.3, 2, y in descending order.
2, 0.3, y
Suppose -y + 1 = -4. Let g be (-2 - (-5)/2)*(4 - -8). Let v be (6 + (-33)/g)*(3 - 1). Sort y, 3, v in decreasing order.
y, 3, v
Let w(z) = 2*z - 1. Let q(v) = -v. Let u(s) = -5*q(s) - 2*w(s). Let c be u(-4). Let o be -5*(c/1 + 1). Sort -2, -3, o.
-3, -2, o
Let x = 2125 - 2122. Let a = -0.01 + 2.01. Sort a, x, -2/5 in descending order.
x, a, -2/5
Let s be (-74)/120 - 15/(-20). Let m = -11 - -12. Let y = m + -3. Sort s, y, 0.5 in ascending order.
y, s, 0.5
Let o = -2/227 + 512/6583. Let x = -52/87 - o. Let w = 1.1 - -2.9. Sort 2/17, w, x in descending order.
w, 2/17, x
Let i(p) = 18*p - 12. Let t be i(-6). Let r be 165/t - (-6)/16. Let g be -1*7/(-5) - 1. Put g, r, -2 in increasing order.
-2, r, g
Let d be 12 - (-40)/(8 - 12). Put 0, d, -2, 1/4 in increasing order.
-2, 0, 1/4, d
Suppose -56*g = 4*g + 240. Sort -8, g, 4, 12 in decreasing order.
12, 4, g, -8
Suppose 22 = r + 4*r + 3*b, 20 = 4*r + 3*b. Suppose -18 = 4*g + r*f, -2*g + 3*f = -3*g - 17. Let c be ((-1)/(2/(-2)))/1. Put -4, g, c in decreasing order.
c, g, -4
Suppose 0 = 4*i - 3*b - 121, -2*b = -5*i + 8*i - 112. Suppose 10 - i = -3*l. Sort 1, l, -3 in decreasing order.
l, 1, -3
Let t = -29 + 29. Let a = -5 - t. Suppose 2*g = -g - 12. Sort 5, g, a in increasing order.
a, g, 5
Let d = 2.42 - 1.92. Sort 0.01, 5, d.
0.01, d, 5
Let x be 3 - ((7 + -2)*-1)/(-1). Put -6, -0.5, x, 1/5 in descending order.
1/5, -0.5, x, -6
Let u = 119 + -31. Let d = -85 + u. Sort -0.2, d, -0.5, -0.1 in decreasing order.
d, -0.1, -0.2, -0.5
Let t = -236 + 9459/40. Let l = 3/40 - t. Let q = -0.9 - -1. Sort l, -1, q.
-1, l, q
Let y be 1 + 9/90*-4. Let q = -0.7 + 4.7. Let t be (-5 + 1)/(-2) + 0. Put q, y, t in ascending order.
y, t, q
Suppose 120 = 10*u - 8*u. Suppose 11*v + u = v. Sort v, -1, -3, 0 in ascending order.
v, -3, -1, 0
Let a = -58 - -58. Let d = 9.5 + -10. Sort d, a, 1, -6 in decreasing order.
1, a, d, -6
Let v be (4/2)/(1 + 0). Suppose -4*w + 12*w + 8 = 0. Sort w, 4, v in decreasing order.
4, v, w
Let i = -126.1 - -8.1. Let n = i + 125. Sort -2, n, 3/2 in ascending order.
-2, 3/2, n
Let j(x) = -x**3 - 6*x**2 + 6*x - 1. Let p be j(-7). Let m(i) = -i**2 - 354 + 3*i - 7*i + 370. Let t be m(3). Put 2, t, p in ascending order.
t, 2, p
Suppose 38 = -2*n + 110. Sort -3, -2, n.
-3, -2, n
Suppose 2*h + 13 = p - 0*h, 2*p + 4*h = -14. Let x(i) = 196*i - 779. Let w be x(4). Sort w, p, -3 in decreasing order.
w, p, -3
Suppose 19*r = 25*r - 318. Let m = -51 + r. Suppose -5*y = -0*y. Sort -3, y, m in decreasing order.
m, y, -3
Suppose 4*t - 3*t = 3. Suppose -t*g - 3*o = 2*o - 13, 15 = -5*g - o. Suppose z = -25 + 26. Put z, -3, g in decreasing order.
z, -3, g
Suppose 5*g + 0 - 65 = 0. Let y = g - 11. Sort 5, -4, y in decreasing order.
5, y, -4
Suppose 334*f - 351*f + 85 = 0. Sort 4/5, 2/103, f, 0.4 in descending order.
f, 4/5, 0.4, 2/103
Let j = -109.9 - -109.6. Sort 2/3, 16, j, 2/5 in descending order.
16, 2/3, 2/5, j
Let x = 2 - -