/4. Put r, 1, t in descending order.
1, t, r
Let y(f) = -f**2 + 8*f - 3. Let b be y(7). Suppose 0 = 2*g + 2*g + 16. Suppose -4*x - 35 = -6*x + 5*n, 3*x - 4*n = 35. Put b, g, x in decreasing order.
x, b, g
Let o(r) = r**3 + 2*r**2 - 2*r + 2. Let t be o(-3). Let k be 0 - t - (3 + 2). Let n be (6/(-42)*-14)/((-4)/(-10)). Put n, k, -0.3 in decreasing order.
n, -0.3, k
Let z be (-3)/2*(-8)/12. Let n be 1 + 3/1*z. Let q(k) = -k**2 + 12*k - 2. Let y be q(12). Sort y, -3, n in decreasing order.
n, y, -3
Let k = -10 + 5. Put 1/2, k, -1 in descending order.
1/2, -1, k
Let m = 57 - 59. Put -3, 1, m, -12 in ascending order.
-12, -3, m, 1
Let f = 101.9 - 106.77. Let c = f - 0.13. Let g be 0 + 0 + (6 - 6). Put g, c, 2 in increasing order.
c, g, 2
Suppose 3*s = 4*k + 10, k + 0 = -1. Let t(n) = -n**2 - 5*n - 6. Let r be t(-5). Let g be (3/r)/(s/(-8)). Sort g, -4, 4 in ascending order.
-4, g, 4
Suppose -5*d + 41 = -24. Let m = d - 35/3. Put m, 1, 0.2 in ascending order.
0.2, 1, m
Let a = -23 - -21. Put -0.3, a, -1/5 in descending order.
-1/5, -0.3, a
Let j(f) = -f**3 - 6*f**2 + 7*f + 9. Let o be j(-7). Let w be 8/(-3)*o/(-6). Suppose 5*m - i = -22, -3*m + 1 = 4*i + 5. Sort 0, w, m in ascending order.
m, 0, w
Let i = -5.1 + -0.9. Let b = -6.4 - i. Sort b, 5, -3 in increasing order.
-3, b, 5
Let s = 1 - 1.4. Let i = s - 3.6. Put i, 1, -1/4 in descending order.
1, -1/4, i
Let r = 16 - 16.4. Let o = 2 + -2.2. Put r, -0.1, o in decreasing order.
-0.1, o, r
Let w be -3 + (3 - 3) - -1. Sort 3/7, 0, -0.3, w in descending order.
3/7, 0, -0.3, w
Let u = -0.3 + 0.8. Let y be 43/41 + 2 + -3. Let a = 92/205 - y. Sort a, u, -1/3 in decreasing order.
u, a, -1/3
Let r(g) = -g + 2. Let j be r(-3). Let a be -1*(2 + -1) - (9 + -9). Put j, -3, a in ascending order.
-3, a, j
Let i be 3/4 + (-60)/(-48). Suppose -4 = -2*o + 6. Let f = o + -10. Put i, 4, f in descending order.
4, i, f
Suppose -8*t = -4*t. Let z = -1.7 - -4.7. Sort -0.5, z, t.
-0.5, t, z
Let c be ((-6)/4)/(39/104). Sort 0, c, 1 in descending order.
1, 0, c
Let t = -11 + 16. Let w be (t/2)/((-2)/4). Let y be 4/3 + 4/6. Put w, 1, y in decreasing order.
y, 1, w
Let w = -0.2 - 0. Suppose 4*f + 2 = 3*s, -2*s + 6*f + 8 = 2*f. Let x be (s/(-4))/(54/(-8)). Sort 0.5, x, w in descending order.
0.5, w, x
Let w = 4 + -1.4. Let h = w + 0.4. Let t be (4/10)/(1/(-10)). Put t, -0.1, h in ascending order.
t, -0.1, h
Let z = -10 + 4. Sort -1, -3, 3, z in decreasing order.
3, -1, -3, z
Let h(t) = t**2 + t + 1. Let r be h(0). Put -9, r, -5 in ascending order.
-9, -5, r
Suppose f = x + 3*x - 37, 148 = -4*f - 4*x. Let q = f - -113/3. Let l = -1 + 0. Sort q, -4, l.
-4, l, q
Let w be (-12)/27*(-2)/(-4). Let k = 2 - 1.6. Let s = 41 + -122/3. Put k, w, s in descending order.
k, s, w
Let p be (-4)/(-6) - (-3)/(-45). Let k = 0.09 + 3.91. Suppose 0 = 2*c + 2 - 0. Put k, p, c in ascending order.
c, p, k
Suppose 0 = 3*w - p + 5 - 22, -w - 3*p - 1 = 0. Sort w, 3, 2, -6 in descending order.
w, 3, 2, -6
Suppose -4*g - 6 = -7*g. Suppose 0 = 4*o + 2*a - 14, -2*a = -2*o + 3*a + 25. Let d = -8 + o. Put g, -2, d in increasing order.
d, -2, g
Let a(d) = -d**2 + 9*d + 7. Let s be a(10). Sort -1, 0, s in increasing order.
s, -1, 0
Suppose 95*n - 28 = 81*n. Let g = -14 - -9. Sort n, g, 5 in increasing order.
g, n, 5
Let g(i) = 2*i**3 + i**2 - i - 1. Let b be g(-1). Let z = -5 - b. Sort 0.3, 0.2, z in increasing order.
z, 0.2, 0.3
Let p = 58.6 - 66. Let m = p - -1.4. Let n = -4 - m. Put n, -0.5, 0.1 in decreasing order.
n, 0.1, -0.5
Suppose -z = -3*z + 14. Let g = z - 4. Suppose o + 0*o - 6 = -2*v, -g*o = -v + 17. Sort -2, 5, o in decreasing order.
5, -2, o
Let j = -13.03 - -0.03. Let o = -13.4 - j. Put 1, -2, o in decreasing order.
1, o, -2
Let a be (-4)/(-16)*(-1 - -1). Put 3, a, -3 in decreasing order.
3, a, -3
Let s = 97 + -67. Suppose -7*j + 2*j = s. Let c = j - -8. Sort 3, c, -3 in decreasing order.
3, c, -3
Let q = 4 - 3. Let i be 1 - 22*q/16. Suppose 4*r = 2*y - 0*r, 5*y = -3*r - 26. Put y, 2/7, i in decreasing order.
2/7, i, y
Let b be (-2)/7*(-1)/2. Let o = -0.04 - 0.16. Put -0.1, o, b in descending order.
b, -0.1, o
Suppose 16 = 3*k + 1, 3*k = -3*v + 6. Sort v, -4, 1 in decreasing order.
1, v, -4
Let n = 28 - -46. Let f = n + -667/9. Let i = -0.6 + 0.2. Sort i, 0.5, f in decreasing order.
0.5, f, i
Let h(g) = -3*g**3 + g**2 - g**2 + 2*g**2 - 1. Let z be h(-1). Let q be (-2)/2 + 0 + 1. Sort -3, z, q in descending order.
z, q, -3
Let t = 422/5 - 4612/55. Put 0.3, -0.5, t, 5 in decreasing order.
5, t, 0.3, -0.5
Let s be 4*(-1 - (-2)/8). Let n = -1 - s. Suppose 4*h + 4 = -3*m, h + 4*m - 4 = -n*h. Sort 1, h, -5 in increasing order.
-5, h, 1
Let f = -1 + 3. Sort f, 1, 0.4 in decreasing order.
f, 1, 0.4
Let o be 3 + (6/(-2) - -3). Let a(m) = -m**3 + 4*m**2 - 2*m - 4. Let x be a(o). Sort 4, x, -5 in descending order.
4, x, -5
Let u be 4 - -5*(1 + -2). Sort u, 1, 2.
u, 1, 2
Let w = -22 + 20.9. Let j = w - -0.53. Let n = j - -0.07. Sort -0.3, n, 3 in ascending order.
n, -0.3, 3
Suppose 2*c - 5*z = -2 + 1, z - 11 = -5*c. Sort -3, 1, c in decreasing order.
c, 1, -3
Let v = 0.7 + -0.3. Put 4, 3/2, v in increasing order.
v, 3/2, 4
Let y(b) = b - 7. Let t be y(6). Sort -4, -5, 5, t in decreasing order.
5, t, -4, -5
Let m(n) = n**3 - 11*n**2 - 27*n + 17. Let s be m(13). Sort s, -13, -5 in ascending order.
-13, -5, s
Let i(f) = 2*f - 6. Let q be i(6). Suppose -3*v + 15 = -q*v. Let d(y) = y**2 + y + 2. Let m be d(0). Sort v, m, 0 in decreasing order.
m, 0, v
Suppose -c - 4*c + 10 = 0. Suppose -2 = c*u - 3*u. Let l be u/(-4)*4/2. Sort -4, 3, l.
-4, l, 3
Let n = -2 - -1. Let r be 0/(-2*n/(-2)). Let w be r/2 + 6 - 1. Put 1, -5, w in descending order.
w, 1, -5
Let s = -21 - -24. Let o(h) = h + 6. Let r(c) = 6*c + 31. Let p(u) = 11*o(u) - 2*r(u). Let d be p(8). Sort d, -0.5, s.
d, -0.5, s
Let r be 3/1 - (-10)/(-50). Let q = -3 + r. Put q, 2/9, 6 in decreasing order.
6, 2/9, q
Let z(m) = 17*m**2 - 4*m - 2. Let a be z(2). Sort 0.4, -2, a in increasing order.
-2, 0.4, a
Suppose b - 51 = -53. Put 4, 0.4, b in decreasing order.
4, 0.4, b
Let r = -46 + 56. Put -5, -4, -1, r in decreasing order.
r, -1, -4, -5
Let v = -13 + 8. Suppose -2*d - 5*l - 6 = 0, 5*d + 3*l = 4*d - 4. Suppose -3 = -3*c + o, -5*c + 4*c + 3 = -o. Put c, d, v in descending order.
d, c, v
Let i = -19 - -21. Sort -3, 5, i in increasing order.
-3, i, 5
Let r(n) = -n**2 - 3*n + 2. Let y be r(-4). Let a be (16/(-6))/((-2)/3). Sort y, -3, a.
-3, y, a
Let s = -1.7 - -1. Let u = s - -0.5. Put -2/11, -2/9, u in decreasing order.
-2/11, u, -2/9
Suppose -23*q + 22*q + 4 = 0. Suppose y = 4*y - 6, 0 = -q*f - 5*y - 2. Let z = -1 - -1. Put f, z, 3 in descending order.
3, z, f
Let r(d) = 5*d**3 - d**2 + d**3 - 4*d**3 - 4*d**3. Let c be r(-1). Sort c, 3, -4 in decreasing order.
3, c, -4
Let t = 8 - -9. Let v = 13 - t. Put 2, 0, v in ascending order.
v, 0, 2
Let g = 0.2 + -0.2. Let x = -100 - -100.1. Sort g, x, 2/11 in decreasing order.
2/11, x, g
Let g(k) = k**3 - 27*k**2 - 30*k + 60. Let i be g(28). Sort i, -4, -2 in increasing order.
-4, -2, i
Suppose -2*d + 2 = 6. Let r be d*9*(-2)/4. Let q be 6/(-33) + r/(-11). Put -5, -2, q in decreasing order.
q, -2, -5
Let u = 0.79 + -0.9. Let p = -0.39 + u. Put -3/7, -2, p in decreasing order.
-3/7, p, -2
Let v = -0.08 + -3.92. Let t = 0.538 + -0.038. Let c be 0 - (-1 + 30/26). Put t, v, c in decreasing order.
t, c, v
Suppose -2 - 82 = -4*j. Suppose -j = -3*d + 4*i, 4 + 2 = 3*d + i. Put -5, -1, d in increasing order.
-5, -1, d
Let x = 9.3 + -9. Sort -4, 11, x in decreasing order.
11, x, -4
Suppose -9*b = -11*b - 6. Sort 1, -2, b in ascending order.
b, -2, 1
Suppose 10 = 5*k - 10. Let a = -4 - -9. Sort k, a, -5 in ascending order.
-5, k, a
Let g = -8 + 15. Let q = 20/3 - g. Let m = -0.1 - -0.1. Sort q, m, -0.3.
q, -0.3, m
Let x = 0.19 - -11.81. Let m = -7 + x. Let d = 8 - m. Sort -4, d, 0.1 in decreasing order.
d, 0.1, -4
Let j be (-190)/70 + (-2)/7. Sort j, 5, 1/5 in decreasing order.
5, 1/5, j
Let g = 5.8 - 0.8. Let q = -8 + g. Put -2, 0.4, q in ascending order.
q, -2, 0.4
Let c = -0.07 - -0.14. Let p = -0.03 - c. Sort p, 0.5, -0.3 in ascending order.
-0.3, p, 0.5
Let w be (1 - 4)*(8 + -9). Let j(t) = t - 1. Let g be j(w). Let n = -2.1 - -2. Put g, n, -4/7 in decreasing order.
g,