= -75 - -72. Sort a, i, -1 in descending order.
-1, a, i
Let l = -82 - -572/7. Sort 3, l, -0.1 in decreasing order.
3, -0.1, l
Let f(d) = -d**2 + 7*d + 3. Suppose 3*l - 3*u = -12 + 33, 0 = u. Let i be f(l). Sort -4, 0, i.
-4, 0, i
Let r = 3 + 1. Let i be 1 - 6*6/(-2). Suppose 6 = -5*t - i. Sort r, -1/5, t.
t, -1/5, r
Let b(n) = n**2 - 7*n + 3. Let u be b(7). Suppose 0 = -4*a - u*q - 18, -3*q - 5 = a - 2*q. Sort 2, a, -4.
-4, a, 2
Let d = -6.049 + -0.001. Let t = 6 + d. Let h = -2.05 - t. Sort h, -3, -0.3 in ascending order.
-3, h, -0.3
Suppose 4 = r + 2*o, 0*r - 5*r + 3*o = -7. Suppose 5 = -c + 1. Put c, -2, r in decreasing order.
r, -2, c
Suppose -5*b - 20 = 5*s, -9 = -3*s - 5*b - 31. Put -4, 2, s, 5 in descending order.
5, 2, s, -4
Suppose 0 = -3*t + 7*t. Sort -1, 0.3, t in decreasing order.
0.3, t, -1
Let x = -0.31 - -0.21. Sort -0.4, x, -4 in ascending order.
-4, -0.4, x
Let r(i) = -2*i - 3. Let u be r(-2). Suppose u + 19 = -5*p. Let l = 20 + -17. Sort 5/3, p, l.
p, 5/3, l
Let g be ((-4)/(-10))/(3/150). Suppose 0*p = 4*p - g. Put 0, 4, p in decreasing order.
p, 4, 0
Let k be 60/(-25) + 1 + 1. Sort -3/4, 0.1, 3, k.
-3/4, k, 0.1, 3
Let r be 8/(1 - -1) - 1. Suppose 5*c = r*c - 10. Put 4, 5, c in descending order.
5, 4, c
Let i = -11 - -8. Put 1, -1, i in decreasing order.
1, -1, i
Let o = 2 - -4. Sort 5, 0, o in decreasing order.
o, 5, 0
Let c = 4 - 7. Let z(v) = v**3 - v + 1. Suppose -6 = q + 2*q. Let l be z(q). Put 4, c, l in increasing order.
l, c, 4
Let l = 0.511 - 0.211. Let y = -8 - -5. Sort l, 4, y.
y, l, 4
Let k(g) = -55*g**3 + 2*g + 1. Let n be k(-1). Suppose -n = -2*u - 14. Suppose w - u = 6*w. Sort 3, -1, w.
w, -1, 3
Let l = 0.01 - -4.99. Let b = -4 + 9/2. Sort 0.3, l, b in increasing order.
0.3, b, l
Let c = 3.4 - -0.6. Let r = c + -6. Let v = 6 + r. Put -0.06, v, -2/11 in decreasing order.
v, -0.06, -2/11
Let g(a) = 2*a**2 + 37*a - 33. Let h be g(-19). Sort 3, h, 2 in increasing order.
h, 2, 3
Let y(r) = -r**2 - 15*r + 12. Let m be y(-16). Sort -1, m, -5 in ascending order.
-5, m, -1
Let n be (-112)/(-70) - 2/(-5). Suppose -4*u - 4*h + 24 = u, -n*h = -5*u + 18. Put 8, -5, u in decreasing order.
8, u, -5
Let a(f) = f**3 + 3*f**2 - 5*f - 1. Let n be a(-4). Suppose 5*g = -12 - n. Suppose -3*d = -14 + 5. Sort g, 2, d.
g, 2, d
Let a = -390 + 5852/15. Sort -0.3, a, 0.21 in descending order.
0.21, a, -0.3
Suppose -4*d + 8*d = 4. Let i = 3 - d. Suppose 0 = 2*f - k - 8, -3 - 18 = -5*f + 2*k. Sort -4, i, f.
-4, i, f
Suppose 3*m = -5*d + 14, 0*m + 4*d = -3*m + 13. Suppose 3*x - 16 = -x. Suppose -11 - 9 = -x*l. Put l, 1, m in descending order.
l, m, 1
Let x = -12/7 + 170/91. Put 0, 2/9, x in ascending order.
0, x, 2/9
Let l = -3.92 - 0.08. Let n = 21 - 20. Put l, n, 1/2 in increasing order.
l, 1/2, n
Suppose -l = 2*l - 12. Suppose x = 0, 1 = l*u - x - 3. Sort 4, u, -2 in descending order.
4, u, -2
Let g(w) = w**2 - 11*w - 3. Let p be g(11). Sort 0, -2, p.
p, -2, 0
Let v be 5*(-1 + 1 - 1). Let a(k) = k + 4. Let w be a(v). Put w, 2, -5 in increasing order.
-5, w, 2
Let l(c) = -2*c - 4. Let z be l(-6). Let y be 1/(-3)*(1 + z). Let t = 2/13 + -19/39. Put 1, t, y in ascending order.
y, t, 1
Let i(z) = z**2 + 13*z + 11. Suppose 0 = -2*m + 4*m + 24. Let q be i(m). Sort q, -4, 2.
-4, q, 2
Suppose 4*m - 2*r = 40, 5*m - 7 = -3*r + 21. Let g be m/(2 - 0) - 0. Put 0, -4, g in decreasing order.
g, 0, -4
Suppose 3*j = i + 14, -3*j - 2*j = -2*i - 24. Sort 2, -1/5, j in descending order.
j, 2, -1/5
Let b(p) = -p + 2. Let u be b(1). Sort u, 4, 2, -2 in decreasing order.
4, 2, u, -2
Suppose 0 = r + 4*r - 20. Let l = -27 + 25. Put l, r, -3 in ascending order.
-3, l, r
Let c = -0.02 + -3.98. Let z = 1.32 - 0.32. Sort -3, c, z in increasing order.
c, -3, z
Let m = -1589/6 + 264. Sort m, 2, 4 in ascending order.
m, 2, 4
Suppose i + 3 = -2, -y = -i - 1. Let f be 3*(-1)/(-6)*-4. Sort 3, f, y.
y, f, 3
Let d(i) = -3*i**3 + 7*i**2 + i + 0*i**3 + 2*i**3 + 0*i - 4. Let y be d(7). Let k = 0 + 0. Sort k, -5, y in decreasing order.
y, k, -5
Let u(g) = -g**3 + 6*g**2 + 10*g - 20. Let r be u(7). Sort r, -7, -4 in increasing order.
-7, -4, r
Suppose -31 - 13 = -11*b. Put -3, -25, b in descending order.
b, -3, -25
Let k be (3/(-2))/((-27)/198). Suppose k*o = 13*o. Put 6, 5, o in decreasing order.
6, 5, o
Let p = 38 + -37.92. Put -2/7, -4, p in increasing order.
-4, -2/7, p
Let p = 5 + -4.7. Let u = 3 - 4. Put p, u, 1/5 in decreasing order.
p, 1/5, u
Let v = -3.93 - 0.07. Let f = 1 - -1. Let p = -55 + 54.9. Sort p, v, f in descending order.
f, p, v
Let f = -6.4 - -6. Let l = f - -0.4. Let j be 3/1*1/(-7). Put -0.2, l, j in decreasing order.
l, -0.2, j
Let c = 4 + -6. Let g = 2/9 + 13/63. Sort 0.2, c, g.
c, 0.2, g
Let m = 3/58 + 89/522. Suppose -2*i = -i + 9. Put m, i, 0.3 in decreasing order.
0.3, m, i
Let i(f) = -f**3 + 5*f**2 + 4*f + 10. Let q be i(6). Sort -5, q, 0 in ascending order.
-5, q, 0
Suppose -p = -4*p + 3*v - 3, 2*v - 5 = -p. Let m(w) = -w**2 - 3*w + 2. Let j be m(-3). Let c be 2*(-2 + 9/j). Sort -1, c, p in ascending order.
-1, p, c
Let t = -4 - -2. Let r be (26/(-104))/(2/(-8)). Sort -1, r, t in ascending order.
t, -1, r
Let k = 0.22 - 5.22. Let u(c) = c - 1. Let h be u(-3). Let a be h/2*3/(-9). Put a, k, 0.3 in increasing order.
k, 0.3, a
Let v be (-6)/2*(6 - 1). Let w = v - -23. Sort -5, w, -2 in increasing order.
-5, -2, w
Let u = -5.84 - 0.16. Let b = -11 - u. Let p = -0.4 + -0.1. Sort p, -3, b.
b, -3, p
Let b = -2.4 + 2.2. Let z = b - -0.11. Put z, 2, -0.3 in increasing order.
-0.3, z, 2
Let z = 27 + -24. Sort 4, 0, 5, z.
0, z, 4, 5
Let k = 32 - 35. Sort k, 3, -5.
-5, k, 3
Let z(s) = s**3 - 4*s**2 + 2*s - 4. Let t be z(4). Suppose -f + 0*c - t*c = 47, -2*f + c - 85 = 0. Let q = -475/11 - f. Sort 4, q, -0.1.
q, -0.1, 4
Suppose 2*k + 5*q - 25 = 0, -2*k + 4*q - 32 = -6*k. Let w = -52 + 51. Put 4, k, w in ascending order.
w, 4, k
Suppose 15 = 3*w + 2*c, 3 = w + 5*c - 2. Sort 2/9, 3, -0.5, w in descending order.
w, 3, 2/9, -0.5
Let c be 1 + (1 - 2) - -2. Let l(f) = f**2 + 9*f + 10. Let v be l(-8). Suppose d + 13 = -2*b, v*b - d = -b - 12. Put b, c, 0 in decreasing order.
c, 0, b
Let g = 13 - 11. Sort 5, -5, g in descending order.
5, g, -5
Let x be 0 - ((-26)/(-12) + -2). Let h = -0.07 + -2.93. Let f = 3 + h. Put f, 0.1, x in increasing order.
x, f, 0.1
Let f = -1 - 3. Let k = -9 - f. Let l = -26 + 23. Sort k, 3, l.
k, l, 3
Suppose -3*m + 12 = -0, 3*m = -2*v + 8. Suppose -5*d + 9 = 24. Let q(i) = i**3 - 2*i**2 + 4*i - 16. Let f be q(3). Put v, d, f in ascending order.
d, v, f
Let o = -1.9 - -2. Let a = o + 0.9. Put -5, -1, a in decreasing order.
a, -1, -5
Let t = 0.1 + -0.1. Let h = 0.58 - 0.18. Put t, h, 0.3 in increasing order.
t, 0.3, h
Let m = -16.5 - -15.5. Put 3, m, 7 in decreasing order.
7, 3, m
Let v(r) = r - 7. Let l be v(10). Let u(t) = -4*t**2. Let b be u(-1). Let k = -6 - b. Sort k, l, 4 in ascending order.
k, l, 4
Let n = 1.4 - -0.6. Suppose 22 = 5*s - 2*o, 3 = 2*s - 4*o - 9. Put -3/7, n, s in ascending order.
-3/7, n, s
Suppose 87*c - 4 = 83*c. Put c, -2, -5, -3 in decreasing order.
c, -2, -3, -5
Let m be ((-2)/3)/(-2) - -1. Let b = -12 + 10.7. Let f = b + 6.3. Sort m, 1/5, f in descending order.
f, m, 1/5
Suppose -3*f = -19 - 38. Suppose t + 3*w + w + 8 = 0, -w + f = -5*t. Let z be -4*(-9)/42*1. Put 5, t, z in ascending order.
t, z, 5
Suppose 5*r = r - 2*f - 12, -5*r = -5*f. Let p be (r/(-4))/((-7)/(-14)). Sort -2, p, 4 in decreasing order.
4, p, -2
Suppose -5*p + 3*v + 5 = -2*v, 2*p + 19 = -5*v. Put -3, p, -1 in descending order.
-1, p, -3
Suppose 99*i - 102*i = 3. Suppose 13 = 5*w - 2*w - b, 5*b = -5*w + 35. Put w, i, -3 in descending order.
w, i, -3
Suppose 7 = 4*w + 19. Put 3, w, -1 in increasing order.
w, -1, 3
Let b(o) = 2*o + 41. Let r be b(-23). Sort -1, r, 3, 5 in ascending order.
r, -1, 3, 5
Let x be 12/(-24)*(-1 + -3). Suppose i - 5*f = -5, -6 = -x*f - 2. Sort 4, i, -1 in descending order.
i, 4, -1
Let f = -3.8 + 3.4. Sort 3/10, 0.5, f in decreasing order.
0.5, 3/10, f
Let l be ((-160)/(-25) - 6)/((-2)/10). Sort l, -9, 0, -1 in decreasing order.
0, -1, l, -9
Let q(j) = j**3 + 9*j**2 + j + 8. Let u be q(-9). Let x = 0 + u. Sort -2, -4, x.
-4, -2, x
Let c = 212 - 194.1. Let i = 18 - c. Sort i, -2/3, 0 in increasing order.
-2/3, 0, i
Le