e -4*r - 7 = -5*i, 20 = -4*r + 8. Sort -3, i, 5, d in decreasing order.
5, i, -3, d
Let v = -10/33 + 16/33. Let j(s) = 3*s - 15. Let z be j(11). Let y = 18 - z. Sort y, v, -2 in descending order.
v, y, -2
Let p = 2.7 + -18.7. Let u = -10 - p. Let b = u - 6.1. Sort b, -0.2, -2/9.
-2/9, -0.2, b
Let z be (128/96)/(2/3). Sort 13, z, 4.
z, 4, 13
Let x = 0.904 - -4.096. Put 35, -2, 4, x in ascending order.
-2, 4, x, 35
Let u = -303 + 304. Sort 0.07, -5/3, 1/2, u in ascending order.
-5/3, 0.07, 1/2, u
Let b = -0.16 + -0.14. Suppose 3 + 3 = 2*q. Suppose -5*k + 20 - 57 = q*d, -3*d - 27 = 3*k. Sort -2, k, b.
k, -2, b
Suppose 28*t - 33*t = 5. Let c(b) be the first derivative of b**4/4 - 2*b**3 - 4*b**2 + 5*b - 2. Let n be c(7). Put -4, t, n in decreasing order.
t, n, -4
Let z be (-1)/2 + (-95)/(-38). Suppose 3*l - 3 = 2*c, -1 = 2*l + z*c + 7. Sort 3, l, -25 in descending order.
3, l, -25
Suppose 0 = 5*a + 3 - 13. Suppose a*u + 6 = 3*r - u, 2*r + 26 = -4*u. Sort 4, r, 0 in ascending order.
r, 0, 4
Let u = 0.13 + -0.2. Let n = u - -0.47. Let y = 2/171 + -59/171. Sort -3/7, y, n in decreasing order.
n, y, -3/7
Let g = -13.26 - -13. Let a = 0.16 + g. Let x = a + -0.2. Put -1, 4, x in increasing order.
-1, x, 4
Let u be (8 + -13 + 3)*2/4. Let t be u/(-2) + 21/(-6). Put 1, t, 5 in descending order.
5, 1, t
Let y be (1 - 2 - -5) + 0 + -106. Let v = y - -97. Sort v, 0, -1 in decreasing order.
0, -1, v
Let p(b) = 5*b + 30. Let z be p(0). Let i = 35 - z. Sort 2/15, i, 1 in ascending order.
2/15, 1, i
Let i(k) = -2*k. Let n be i(-6). Let c = 53 - -27. Let m be (88/c + 3/(-5))*2. Put 2/3, n, m in increasing order.
2/3, m, n
Let r = -524.99 - -525. Put 0.5, -9, r in descending order.
0.5, r, -9
Suppose -58*m = -47*m - 55. Let y = 0.378 - -0.022. Put -4, m, y in descending order.
m, y, -4
Suppose -5*b + 25 = 2*p, 4*p + 25 = p + 5*b. Sort p, 3, -1, 2 in decreasing order.
3, 2, p, -1
Let x be (-2)/(-16) + (-4)/32 + 5. Suppose -2*u - 1 + 3 = -3*h, 18 = 2*u + 5*h. Sort 0, u, x, -1 in ascending order.
-1, 0, u, x
Suppose -43*r + 45*r + 114 = 0. Put -3, 4, r in increasing order.
r, -3, 4
Let u = 156 - 158. Let s(i) = 8*i**2 - i + 1. Let p be s(1). Let h be (8/5)/(p/20). Put u, -3, h in descending order.
h, u, -3
Let g = -35 + 53. Let x = g - 89/5. Let d = -14 + 8. Sort 0, x, d in decreasing order.
x, 0, d
Let h be (-3)/(-12)*(-16)/(-12). Sort -0.3, h, 246 in descending order.
246, h, -0.3
Let o be 6*2/(-4) - 1. Let a = -125 - -123. Sort a, -3, 5, o in descending order.
5, a, -3, o
Suppose -2*z + 4*q - 2 = 0, 3*z + 5*q + 0*q - 30 = 0. Let r be 1*(2/(-9) + 10/45). Suppose 4*a - 5*a - z = r. Sort 0, 5, a.
a, 0, 5
Suppose 4*v = 4, 3*k - 6*k = -3*v + 3. Sort -5, 2, k, -1 in descending order.
2, k, -1, -5
Suppose 5*m + 73 = -4*x, 5*x = 2*x - 4*m - 56. Let z = x + 8. Suppose -3*k = -4*u - 18, -k - u - 13 = 4*u. Put 5, z, k in decreasing order.
5, k, z
Let a = 22.08 - 21.9. Put -2, 2, a in increasing order.
-2, a, 2
Let t = 12.2 - -1.3. Let b = t + -13. Sort b, 4, -0.5 in descending order.
4, b, -0.5
Suppose -4*t = -4*p, 3 = -5*p + 3*p + 3*t. Let l be (4/14)/(2/28). Sort -8, l, p, -1 in descending order.
l, p, -1, -8
Let j = 45 - 44. Sort -3, 4, j.
-3, j, 4
Let g be (-1)/1 - (32 - 33). Suppose -q - 3*q + 16 = 0. Put 0.1, q, g in descending order.
q, 0.1, g
Let k = 17 + -14.4. Let f = 0.1 - k. Let q = f + 3.5. Put q, 0, 4/7 in descending order.
q, 4/7, 0
Let w = 9/20 - 1/4. Let t = 33289/24 - 1388. Let x = t - 3/8. Put w, -3, x in increasing order.
-3, x, w
Let m = 377 - 378. Put -0.5, m, 0.05 in descending order.
0.05, -0.5, m
Suppose -5*c + 3*f = -27, 0 = -5*c - 5*f - 12 + 7. Put 4, -5, -100, c in descending order.
4, c, -5, -100
Suppose -11*t + 10 = -13*t. Let n = -3.1 + 3. Let k = n - 0.9. Put 1/3, t, k in increasing order.
t, k, 1/3
Suppose 2*f - 6*f - 3*v - 53 = 0, -2*f + 5*v - 7 = 0. Let d = f + 13. Suppose p - 4*q = -2, 3*p - d*p = 3*q. Sort 1, -5, p in decreasing order.
p, 1, -5
Let l(o) = -4*o**2 - 2*o - 1. Let q be l(-1). Let s = -4.756 + -0.204. Let y = 0.04 - s. Sort 0, q, y.
q, 0, y
Suppose -5 = -3*s - 2. Let c be (-14 - -14)/(2 - s). Suppose c = n + 1 + 2. Put -4, n, 5 in ascending order.
-4, n, 5
Let j = -1130.8 + 1130. Let q = 0.5 - 0.4. Put -1, j, q in increasing order.
-1, j, q
Suppose -26*a + 406 = -19*a. Let w = -47 + a. Sort -4, 2, w.
-4, 2, w
Let i = -116.38 + 115. Let r = 0.9 - i. Let y = r - 0.28. Sort -1, 2/5, y in ascending order.
-1, 2/5, y
Let k = -5 + 6. Let g = 0.015 + -0.415. Sort g, -1/3, k in decreasing order.
k, -1/3, g
Let h = 14 + 1. Let q = h - 11. Sort 0, 1/4, q, -2/3.
-2/3, 0, 1/4, q
Let x = 490 + -488. Sort 3, -3, x.
-3, x, 3
Suppose -114 = 3*b - 0*b. Let k be (-1)/((-12)/b) - -4. Sort -2/7, -4, k in descending order.
k, -2/7, -4
Suppose -4*r + 4*c = 0, 0*r - 3*r + 25 = 2*c. Let b(x) = x**2 - x - 2. Let o be b(0). Let s be ((-18)/30)/(o/10). Put 4, s, r in decreasing order.
r, 4, s
Let c = 3 - 1. Suppose c*v + 0 + 2 = 0. Suppose 0 = 4*b - 3*t - 11, -24 + 21 = b + 5*t. Put v, 5, b in descending order.
5, b, v
Let q(p) = 78*p**3 + p**2 + 2*p + 2. Let v be q(-1). Let x be 1/(-1) - v/7. Sort -5, 4, x.
-5, 4, x
Let x(y) = y - 3. Let j be x(5). Suppose u + 4*u + 4*z + 5 = 0, 2*u + j*z = 0. Let k = 58 + -61. Put -2, k, u in decreasing order.
-2, k, u
Suppose -7*h - 23 + 65 = 0. Let t(q) = -2*q**3 + 4*q**2 - 2*q. Let j be t(2). Let x = -9 - j. Sort 1, x, h in decreasing order.
h, 1, x
Let b be 2/((-8)/(-12) - (0 - 0)). Let f = 668 - 420. Let t = -1733/7 + f. Put t, b, -1 in decreasing order.
b, t, -1
Let r = -1.6 - 0.4. Let w = -15871/6 - -107773/42. Let m = 79 + w. Put 1/4, m, r in decreasing order.
1/4, m, r
Suppose 0 = -4*c + 11 + 1. Suppose -14*w + c = -13*w. Suppose 2*y - q - w = 0, -2*y - 3 = -2*q - q. Sort -3, 4, y in decreasing order.
4, y, -3
Let o be (-4 + 3 + 13)*3/12. Suppose -6*p - 6 = -o*p - 4*q, 0 = -q. Put -5, 2, p in increasing order.
-5, p, 2
Let x be 6/(-4)*2/(-12). Let i = -12.3 + 13. Let n = i + -0.5. Sort n, 0.5, x.
n, x, 0.5
Suppose a + 1 = 2*a. Let u = 76199/1149 - -6/383. Let y = 67 - u. Put a, y, -1 in decreasing order.
a, y, -1
Let l be ((-1)/(-1) - 0)*-6. Suppose -41*k + 13 = -192. Sort -2, k, -1, l in descending order.
k, -1, -2, l
Suppose 2*n = -2*d + 4, 3*d - 4*n + 8 = d. Let a(z) = z**2 - 13*z + 24. Let s be a(11). Sort -1/3, d, s.
-1/3, d, s
Suppose 192 = 23*c - 19*c. Suppose -4*w + c = -2*i, 0 = -5*w + 5*i - 4*i + 66. Sort w, 4, 2 in descending order.
w, 4, 2
Let y = -5 + 2. Let o = 14 - 32. Let t = o + 21. Sort t, y, -2 in decreasing order.
t, -2, y
Let s = 22 - 19. Suppose -7*c + 40 = -15*c. Sort s, c, 2 in increasing order.
c, 2, s
Let c = 124 - 80. Let s = c + -30. Put s, 0, -3 in ascending order.
-3, 0, s
Let w be 8/(-12) - 4/(-6). Let y be (-40)/15*(-1 - (-5)/2). Sort 3, 2, w, y.
y, w, 2, 3
Let m be (24/(-20))/((-7)/70). Suppose -11*k - k - m = 0. Sort 8, k, -3, 1 in ascending order.
-3, k, 1, 8
Let t = -0.8 + 1. Let p = 7.4 + 16.1. Let v = p - 23. Sort t, 0, v in increasing order.
0, t, v
Suppose 7*t - 19 = -47. Let g = -12 + 7. Let m be (3/(-2))/(3/6). Sort t, m, g in decreasing order.
m, t, g
Let r = 1347 + -1343. Suppose -4*w + 3 = -9. Sort 13, w, r in ascending order.
w, r, 13
Let o be (-6)/(2 + 1)*1. Let k be -2 + 1 + 35 - 2. Suppose 4*x = -5*c + 3, 4*x - 3*c - 11 = -k. Put 5, x, o in decreasing order.
5, o, x
Let s = -34 + -58. Sort -5, s, 2 in descending order.
2, -5, s
Let d(c) = 8*c**2 + 2. Let g be d(-3). Let h = -153/2 + g. Let u = -13 - -9. Sort h, u, 5 in decreasing order.
5, h, u
Let y = -35.4 + 35. Let h = -0.1 - -0.6. Sort h, y, -4/7.
-4/7, y, h
Let k = -30 + 30. Suppose k*m = -m + 4. Sort -6, m, -2.
-6, -2, m
Let f = 0.007 - 0.007. Put f, 2, -9, -4 in increasing order.
-9, -4, f, 2
Let g(m) = m**3 + 9*m**2 + 8*m - 1. Let l be g(-8). Suppose -2*h - 2*x + 2 - 6 = 0, 12 = -3*h - 5*x. Sort 2, h, l in ascending order.
l, h, 2
Let b = 13 + -19. Let z = 89 + -85. Let k = b + z. Sort 3/2, k, -1.
k, -1, 3/2
Suppose 0 = 3*y - 3 - 3. Suppose 86*m - 80*m = 0. Sort y, m, 5 in decreasing order.
5, y, m
Let i = -0.3 + 0.7. Suppose -3*j - 3*r = -21, 20 = 4*j + r + 1. Put -5, i, j in decreasing order.
j, i, -5
Suppose 4*v = 77 - 5. Let s = -22 + v. Sort s, 0.3, -5/4 in increasing order.
s, -5/4, 0.3
Let l