e t(3). Sort 5, -5, z in descending order.
5, z, -5
Let s(g) = g - 1. Let o be s(-1). Suppose -3*h = -3*l, 0*h = -3*h + 5*l - 8. Sort o, h, -5 in descending order.
h, o, -5
Let a be 10*1/4*4/2. Suppose -8 = -4*b - 0*b. Put a, b, 1 in descending order.
a, b, 1
Let s(c) = 14 - c - 16 + 2*c. Let x be s(3). Let o(g) = -2*g. Let v be o(-1). Sort x, -5, v.
-5, x, v
Let y = 15 + -14.3. Let q = -0.2 + y. Sort 1/5, 1/4, q in descending order.
q, 1/4, 1/5
Suppose 0 = 3*i + i - 12. Suppose 4*f + 5*o + 23 = 0, 3*f + 13 = f - 3*o. Let s be (1/(-3))/((-1)/3). Sort i, f, s in ascending order.
f, s, i
Let b = -0.08 - -0.13. Let p = 2.05 - b. Put 0, 0.1, p in decreasing order.
p, 0.1, 0
Let d be 1*-2 + 20/11. Put -1/2, 2, d in descending order.
2, d, -1/2
Let h be (-3)/((-2)/(-40)*12/(-2)). Sort -4, 3, h in descending order.
h, 3, -4
Suppose -20 = -4*j - 12. Sort -6, j, 1, -3.
-6, -3, 1, j
Suppose 2*r = 3 + 3. Sort 5, 4, r in ascending order.
r, 4, 5
Suppose 4 = 11*p - 7*p. Sort 6, p, -5.
-5, p, 6
Let l be (75/(-10))/(3/4). Sort -4, 4, l, -2.
l, -4, -2, 4
Let n(t) = -3*t**2 - 1. Let o(x) = 2*x**2 + 2*x + 1. Let c be o(-1). Suppose 3*r - 2*r = c. Let d be n(r). Put -2, -5, d in increasing order.
-5, d, -2
Suppose -3*d - 4 = -2*d. Put -2, 4, d in increasing order.
d, -2, 4
Let b(o) = -o**2 + 9*o - 10. Let t be b(7). Sort 13, t, 5 in descending order.
13, 5, t
Let f = -71 + 70. Sort f, -2, 4 in decreasing order.
4, f, -2
Suppose -9 = -4*x - 1. Suppose -5*l = -0*u + u + 45, -2 = -l + 2*u. Let q = l - -6. Put x, -1, q in decreasing order.
x, -1, q
Let d = 75 - 75. Suppose 0*w - 4 = -2*w. Suppose 0 = 3*q + 5 - w. Put q, d, 2 in increasing order.
q, d, 2
Let l = -1 + 1. Let r(k) = -k**2 + 7*k + 1. Let g be r(7). Let j be ((-4)/10)/(2/(-20)). Put j, l, g in descending order.
j, g, l
Let k = -3.4 - 0.1. Let p = -1 + 5. Let t = p + k. Sort t, 3, -3 in increasing order.
-3, t, 3
Let a = 1.2 - 1.6. Let g = 4099/17 - 241. Put a, -0.5, g in increasing order.
-0.5, a, g
Let n = 361/72 - 44/9. Sort 5, -0.3, n in decreasing order.
5, n, -0.3
Let r = 1.1 - 0.6. Let b = 0.4 - r. Put b, -4, 2 in decreasing order.
2, b, -4
Suppose -2*q + 0*q + 48 = -4*l, 0 = -3*l - 5*q - 10. Let p be 24/l + (-2)/(-5). Put p, -3, 3 in decreasing order.
3, p, -3
Let k be (-9)/6 - (-3 - -3). Put 0.3, k, 2 in increasing order.
k, 0.3, 2
Suppose 5*r = o - 5*o + 30, 2*o + 3*r - 16 = 0. Put 0.5, o, -1/8 in ascending order.
-1/8, 0.5, o
Let i = 17 + -27. Let x be (18/i + 2)/1. Suppose -4 = -n + 2*c - 2, -n - 2*c + 2 = 0. Sort 1/8, n, x.
1/8, x, n
Let x = -22 - -18. Put x, 5, -1 in ascending order.
x, -1, 5
Let n = -136 - -137. Put -3/2, n, 1/2 in descending order.
n, 1/2, -3/2
Let g be 0 + (-12)/(-105) - 14/(-49). Put g, 1, 0.1 in decreasing order.
1, g, 0.1
Let n = 32 - 30. Put -1/5, 2/3, n in increasing order.
-1/5, 2/3, n
Let k = 0.1 - 0. Let z = k - 0. Let b = 1.6 + 3.4. Put -2/3, b, z in descending order.
b, z, -2/3
Let c = -17.2 - -17. Sort c, -8, -1 in descending order.
c, -1, -8
Let k = 0.6 - 0.6. Let x = 4 - k. Sort 2/7, x, -0.03 in ascending order.
-0.03, 2/7, x
Let j be 34/(-6)*30/(-10). Put j, 0.2, -4 in descending order.
j, 0.2, -4
Let v = 0 - 0.1. Let j = 13.7 - 14. Let h = v - j. Put -1, 5, h in increasing order.
-1, h, 5
Suppose -w - 5*x = -26, 0 = -0*w - 5*w - 3*x + 64. Suppose 4*i + 15 - w = 0. Sort 10, 0, i in descending order.
10, 0, i
Let l be (-165)/40 - (-3 - 1). Put 0, 3, l in descending order.
3, 0, l
Suppose 0 = 2*s + 2 + 6. Let d = 0.22 + -0.02. Let w = d + -3.2. Sort 2/3, s, w in increasing order.
s, w, 2/3
Suppose 2*q + 2*q + 4 = 0. Let w = -10 + 7. Let s(l) = l**3 - 4*l**2 + 5*l - 4. Let d be s(3). Sort w, q, d in decreasing order.
d, q, w
Let w = -734/7 + 105. Put w, 5, -2 in ascending order.
-2, w, 5
Let j be (-2)/(-72) + (-2)/8. Suppose 4*l - l + 3 = -4*z, 2*l + 6 = -4*z. Suppose t + 16 = -l*g, 0*t - 5*g = 2*t + 27. Put 1/4, t, j in increasing order.
t, j, 1/4
Let j = -0.95 + 0.55. Let g = 0 - 1. Put g, j, -0.2 in descending order.
-0.2, j, g
Let h = -16 + 23. Sort -1, -4, h in decreasing order.
h, -1, -4
Suppose -6 = -4*g + 6. Sort g, -4, 0.
-4, 0, g
Let i = 11 + -26. Let a be (0 - 12)/(i/20). Let t be ((-1)/(-2))/((-2)/a). Put 0.1, t, -0.4 in ascending order.
t, -0.4, 0.1
Let a(z) = -5*z + 5. Let c be a(2). Let f(k) = k**3 - 4*k**2 + 2*k + 1. Let d be f(3). Sort 5, d, c in descending order.
5, d, c
Let n(x) be the second derivative of -x**3/2 - x**2 + 11*x. Let q be n(0). Put 3, 5, q in ascending order.
q, 3, 5
Let r be -2 + -3 + 168/34. Sort r, 1, -4, -1 in decreasing order.
1, r, -1, -4
Suppose 4*d + 9 = 2*r - r, 4*d = 4*r. Suppose 0*z + 8 = 2*z. Put -4, z, d in increasing order.
-4, d, z
Suppose -6*w + 7*w + 19*w = 0. Sort 1, 5, 4, w in increasing order.
w, 1, 4, 5
Let w = 56.2 - 68. Let g = w + 12. Sort -1, g, -0.2 in decreasing order.
g, -0.2, -1
Let g = 12 - 9. Let v(p) = -4*p - 6. Let k be v(-3). Sort k, 1, g in decreasing order.
k, g, 1
Let n(g) = 4*g**3 - g**2 + g - 1. Let a be n(1). Let y = 7 - 3. Suppose 4*m = -4*x - 8, -m + 2*x = -y*m - 6. Sort 5, a, m in decreasing order.
5, a, m
Let y(v) = v - 3. Let i be y(6). Let k(r) = 5*r - 34. Let x be k(7). Put -2, i, x in decreasing order.
i, x, -2
Let d = -187 + 193. Sort -3/5, -1/3, -1, d in increasing order.
-1, -3/5, -1/3, d
Let d = 29 + -29. Sort d, -2, -4, 11.
-4, -2, d, 11
Let x = -7 + 2. Let l = -10 + 4. Let v = -5.6 - l. Sort -2, x, v.
x, -2, v
Let m = -21 + 31. Let s = -9 + m. Let d = 1 - 8/7. Sort 5, d, s in descending order.
5, s, d
Let b = -34 - -29. Put -2/11, b, -1/3, 0 in ascending order.
b, -1/3, -2/11, 0
Let a = 0 - 6. Let y(g) = -g - 8. Let n be y(a). Sort 4, 0, n in decreasing order.
4, 0, n
Suppose 7*d = 4*d + 15. Put -4, 2, d in decreasing order.
d, 2, -4
Suppose -3 = -4*y + 9. Suppose -2*i + y + 7 = 5*a, -3*i - 27 = -3*a. Let c = 1 + -1. Sort c, 4, i in decreasing order.
4, c, i
Suppose 0*h - 8 = -2*h - 2*j, -4*h + 2*j = -10. Let g = -344 + 345. Sort g, h, -3.
-3, g, h
Let v = 4.85 - -0.15. Put 0, v, -3/7 in decreasing order.
v, 0, -3/7
Let i be 6/4 - (-2 + 3). Let d = 1.91 + -1.51. Sort i, d, 4.
d, i, 4
Suppose 3*r + s + 14 = -0*r, 2*r = -4*s - 16. Let o(f) = 3*f + 1. Let x be o(1). Let k be 2/x + 10/4. Sort 4, r, k in increasing order.
r, k, 4
Suppose 2 = -3*r + r. Let g be (r - -2)*(-1 - 2). Suppose -4*j = -2*s + 28, 5*s + 2 = 22. Sort j, g, -4 in descending order.
g, -4, j
Suppose 2*x - 2*r + 31 = -7*r, -r + 1 = -2*x. Sort x, 3, 4.
x, 3, 4
Let i be (-15)/(-9)*(-4)/(-5). Sort -5, 0.6, i, -1 in descending order.
i, 0.6, -1, -5
Let z = -93 - -119. Put z, -1, -0.1 in descending order.
z, -0.1, -1
Let s = 11 + -15. Put -1, s, 5 in increasing order.
s, -1, 5
Let b(x) = -x**2 - 6*x - 2. Let a be b(-4). Let y be (8/a)/(2/(-3)). Put 3, y, -4 in descending order.
3, y, -4
Let c = -0.6 - -0.2. Let l = 86 - 85.1. Put c, l, 0 in descending order.
l, 0, c
Let y(k) = -k - 5. Let v be y(-6). Let d(u) = 2*u - 7. Let m be d(5). Let p be ((-8)/10)/((-1)/(-5)). Sort p, m, v in descending order.
m, v, p
Let w = 23 - 20. Let x(d) = d**3 - 6*d**2 - 7*d - 4. Let c be x(7). Put 2, w, c in descending order.
w, 2, c
Let s be (-6)/(-2) + (2 - 2). Suppose 3*t = 0, n + t = 19 + s. Let x = n + -45/2. Put x, 2, -3 in decreasing order.
2, x, -3
Suppose -65 = -4*o - 53. Sort -4, -2, o.
-4, -2, o
Suppose -1 = -4*t + 11. Let r be ((-6)/(-1))/(t/122). Let u = -1216/5 + r. Sort 0, 0.4, u in decreasing order.
u, 0.4, 0
Let s = 4.01 - 0.01. Let m = 0 - s. Let v = -23 + 20. Put m, 0.4, v in decreasing order.
0.4, v, m
Let q = 2 - 3. Let c = q + 0.9. Let x be ((-6)/15)/(9/(-5)). Sort -3, c, x.
-3, c, x
Let n = 1.4 - 0.4. Put -1/3, -5, n, 0 in descending order.
n, 0, -1/3, -5
Let r = 18 - 20. Sort -5, 1, r in decreasing order.
1, r, -5
Let w = -3 - 1. Let c be 12/16*(-1)/3. Let t = -217 - -1955/9. Put t, c, w in ascending order.
w, c, t
Suppose -z - 11 = -2*c, c + 2*z - 1 = 2. Sort 3, c, 1 in increasing order.
1, 3, c
Let r = 0.14 - 0.44. Sort -4, -2, r.
-4, -2, r
Let n(l) = 2*l - 17. Let x be n(7). Let b be ((-28)/(-42))/((-2)/(-15)). Sort x, b, 3 in ascending order.
x, 3, b
Suppose -5*y - a = -0*a + 4, 4*y - 20 = 5*a. Sort -1, y, -3 in descending order.
y, -1, -3
Let o = -199 + 1793/9. Suppose 0 = h + 2*h + 9. Let b be (h/2)/