t s = 1 + 0. Put n, g, s in decreasing order.
g, s, n
Let x = -8746/37315 + -2/2195. Sort x, 0, -1/4 in decreasing order.
0, x, -1/4
Let y = -5 - -3. Let v be ((y - -3) + -2)*1. Let s be (-2)/((-1)/((-10)/4)). Put 3, v, s in ascending order.
s, v, 3
Suppose 0 = i - 10 + 12. Let t be 9/12 + (-2)/(-8). Sort i, t, 6.
i, t, 6
Let s = 0.38 - 0.41. Sort 2, s, 4 in decreasing order.
4, 2, s
Let u = -5 - -7. Let j be (-4)/6*(2 + -11). Suppose -u*v - j = v. Sort v, 2/7, 2/15 in increasing order.
v, 2/15, 2/7
Let g = -1 + 0. Let d(l) = l**3 - 11*l**2 - 13*l + 12. Let b be d(12). Let f = -6 - -4. Put b, g, f in decreasing order.
b, g, f
Suppose -8*s + 3*s = 5. Let o = 1 + s. Let k(h) = 3*h + 16. Let l be k(-7). Put o, l, 1 in decreasing order.
1, o, l
Suppose 0 = -z - 3*a - 9, 0 = 2*z - 2*a - 0 + 2. Put -1, z, -4 in decreasing order.
-1, z, -4
Suppose 3*q + 3*m = -m + 820, -3*m + 1374 = 5*q. Let w be 4/(-10) + q/(-60). Let c be 0*(1 - 0)*-1. Sort 5, w, c in increasing order.
w, c, 5
Let c(y) = y + 6. Suppose -4*t = t + 30. Let p be c(t). Put 1, -0.4, p in decreasing order.
1, p, -0.4
Suppose 13 = 5*c + 3. Suppose -2*x - c*x - q + 4 = 0, -3*q - 12 = 0. Sort x, -3, -1 in descending order.
x, -1, -3
Let i = 23 - 70/3. Let k = 1.97 - -0.03. Sort i, k, 4.
i, k, 4
Let h be 32/(-56) - (-4)/14. Sort -3/5, h, 7 in ascending order.
-3/5, h, 7
Let j be ((1 - 2)/(-2))/((-69)/230). Put 1, j, 1/2 in descending order.
1, 1/2, j
Let b(d) = -4*d + 20. Let v be b(6). Sort 7, v, 1 in decreasing order.
7, 1, v
Let t be -1*2/2 + 0. Let k = -2 + t. Let y = -1 - 4. Sort y, 1, k in ascending order.
y, k, 1
Let i be 8/(-12) + (-13)/(-24). Sort i, 3, -0.02 in descending order.
3, -0.02, i
Let y(z) = -z**3 - 8*z**2 + 2*z + 14. Let x be y(-8). Sort 5, -4, x in ascending order.
-4, x, 5
Suppose 10 = 2*a - 3*v - 9, -14 = 3*a + 4*v. Let s = 16 - 23. Sort 0, a, s in increasing order.
s, 0, a
Let f be (8 - 6) + 1 + -4. Let k be 5 - (-2 - -3 - 0). Suppose -25 = k*n + n. Sort f, -4, n in ascending order.
n, -4, f
Suppose -3*l = -3*z - 12, -z - 3*l = -6*z - 20. Put 9, 5, z in decreasing order.
9, 5, z
Let b = 1 + 2.2. Let l = -1.2 + b. Sort 0.1, l, -4 in descending order.
l, 0.1, -4
Let p = 2.1 - 2. Let o = 2.8 - 2.8. Sort o, p, 3.
o, p, 3
Let c(d) = -d**3 + 10*d**2 + 10*d + 16. Let m be c(11). Sort 1, 4, m in ascending order.
1, 4, m
Suppose -4*w + 22 = -i, 0 = i - 0*i - 3*w + 17. Let h(q) = 3*q + 5. Let a be h(i). Let b be (-6)/(-27) - (-2)/(-9). Put a, b, 1 in decreasing order.
1, b, a
Suppose a + 8 - 21 = 0. Let k = 9 - a. Put k, 0, 4 in descending order.
4, 0, k
Let u = 34 - 33.5. Sort -0.5, 0, u in descending order.
u, 0, -0.5
Let x = -29 - -17. Let q be x/105 - 6/21. Put 0.3, q, -0.5 in decreasing order.
0.3, q, -0.5
Let f = -9.5 + 9. Let u(x) = x**3 - 4*x**2 + x - 2. Let q be u(4). Let b be (11/(-5) + q)/2. Sort -3/8, b, f.
f, -3/8, b
Let x(o) = o**2 - 5*o + 5. Let r be x(5). Suppose 0 = 3*q + 4*i - 14, 4*q - 5*i = -6 - 27. Suppose -d - 12 = 3*d. Sort r, q, d in ascending order.
d, q, r
Let t be (-28)/(-4) + (1 - -3). Put 0.4, t, -1/5 in ascending order.
-1/5, 0.4, t
Let d = 0 - 0.2. Sort d, -3, -2/11.
-3, d, -2/11
Suppose -5*h - 8 + 8 = 0. Put -12, -4, h in ascending order.
-12, -4, h
Let c be (-27)/(-5) - (5 + (-92)/20). Put -2/11, 0.1, 1, c in ascending order.
-2/11, 0.1, 1, c
Let y(s) = 5*s + 100. Let k be y(-19). Suppose 4 = -2*z - z + a, z + 4*a = -23. Sort -2, k, z in decreasing order.
k, -2, z
Let p(z) = z**3 - 7*z**2 + z - 5. Let c be p(7). Suppose -4*v + 15 = 5*m, -4*m + c*m = 2. Sort -3, 0, v in increasing order.
-3, 0, v
Let p = 4 - 4.3. Sort -2/9, p, 3 in descending order.
3, -2/9, p
Let f = 11 + -9. Suppose 7 = f*a - 3. Sort a, -1, 0.3 in descending order.
a, 0.3, -1
Let k = 167 + -169. Put -3, -1, k in ascending order.
-3, k, -1
Let b(i) = i**3 + 2*i**2 - 6*i - 4. Let x be b(-5). Let m be 7/(-2)*28/x. Put -1, m, -2 in increasing order.
-2, -1, m
Let o = -0.3 - 2.7. Let i = o - -3. Sort 2/3, i, 2 in increasing order.
i, 2/3, 2
Let v(n) = n - 1. Let t be v(-2). Let s be ((-10)/4)/(t/6). Sort -3, -2, s in decreasing order.
s, -2, -3
Let o = 2.15 - 2.25. Let u = -0.05 + -1.95. Sort u, o, 0.3 in decreasing order.
0.3, o, u
Let w = -3 + 8. Let c be ((-2)/14)/((-12)/(-35204)). Let i = -419 - c. Sort i, 4, w in decreasing order.
w, 4, i
Suppose -3*a - 3*r + 11 = r, 5*a - 3*r = -30. Let c = 7 + -13. Let d be (-8)/c + (-4 - a). Sort d, -3, -1 in ascending order.
-3, -1, d
Let u = -0.3 - -0.3. Let q = 1.1 + -1. Sort q, u, 1 in descending order.
1, q, u
Let s be (-11)/(-2) - (-4)/(-8). Let n = 4 - 0. Put s, n, -1 in increasing order.
-1, n, s
Let x = -47 - -21. Let m = x - -31. Put 1, m, 2 in descending order.
m, 2, 1
Suppose -2*n = -10 - 30. Let o be 1 - 3 - n/(-12). Put -0.5, o, 2 in descending order.
2, o, -0.5
Suppose -h + 3*h + 4 = 0. Let k be (15 + -15)/(1*-1). Sort 5, h, k.
h, k, 5
Let d(o) = o**2 + o. Let h be d(4). Let u be (-5)/h + (-97)/(-4). Let c be (6/u)/((-14)/(-24)). Sort c, -1/5, 0.5 in ascending order.
-1/5, c, 0.5
Let h = 0.3 + -5.3. Sort 2, 0, -0.5, h in decreasing order.
2, 0, -0.5, h
Let h = 0.3 - 0.2. Let b(i) = i**2 + 6*i + 4. Let p be b(-3). Let c(d) = -d**2 - 6*d - 1. Let o be c(p). Put 1/11, h, o in increasing order.
1/11, h, o
Let p = -880/9 - -98. Let r = 0.03 + 0.57. Sort p, 0, r in ascending order.
0, p, r
Suppose x = 2*j - 3*x - 8, -2*j + 8 = -x. Put 2, j, -5 in decreasing order.
j, 2, -5
Let a = -4 - -9. Sort -1, 4, a in increasing order.
-1, 4, a
Suppose -j = -5*j - 4. Suppose 3*v + 14 = -h, 3*h + h + 23 = -v. Sort v, j, 5 in ascending order.
v, j, 5
Suppose -s + 24 = -4*s + 5*x, -s + 3*x - 12 = 0. Suppose 0 = 3*l - 71 + 65. Put l, 1, s in descending order.
l, 1, s
Let v be 4/14 + 133/49. Suppose -4 = -k + v*k. Let o be k + (42/(-4))/(-3). Put -0.1, -4, o in ascending order.
-4, -0.1, o
Let p = 0 - -4. Suppose -16 = -5*f + 14. Suppose w - 4 = 2*j, -w + 0*w = -3*j - f. Sort p, 5, w in decreasing order.
5, p, w
Suppose -4*y = -2*k + 12, 0 = k + 2*k - 4*y - 14. Let h(o) = -7 + 2*o**2 + 1 + 5*o - o**2. Let z be h(-6). Put 4, k, z in ascending order.
z, k, 4
Suppose 2 + 6 = -d. Let i be d/(-32) + (-11)/(-4). Sort i, 4, -2.
-2, i, 4
Suppose -4*s = -0*s - 12. Let j = 7.3 + -7. Let y be -2*(-3)/30 - 0. Sort j, y, s in increasing order.
y, j, s
Suppose -5*w + 5*s = -3*w + 21, 0 = 5*w - 4*s + 78. Let v be -2 - (w/3 + 4). Put v, 5, 4 in ascending order.
v, 4, 5
Let b(x) = -x**3 - x**2 + 10. Let f be b(0). Let r = f + -16. Let m be 2/(-12) + 5/r. Put 5, m, -3 in ascending order.
-3, m, 5
Let k(j) = -j**3 + 4*j**2 + 2*j - 4. Let w be (32/(-40))/((-1)/5). Let g be k(w). Sort g, -4, -2 in descending order.
g, -2, -4
Suppose 35 = 5*s + 4*b, b = s + 5*b - 23. Suppose 4*m - 4 = 4*g, -9 = 3*m + s*g - 0. Sort 2, 0, m in increasing order.
m, 0, 2
Suppose 5*j = -5*d - 175, 15 = -2*j - j. Let i be (-350)/d - (-1)/3. Let t = -8 + i. Sort 2/3, t, 0.2 in decreasing order.
t, 2/3, 0.2
Let v = 6.8 + -7. Let u = -41/5 + 159/20. Sort u, -3, v.
-3, u, v
Let c be (-10)/15*(-3)/2. Let x = c + -5. Sort x, 7, -5 in decreasing order.
7, x, -5
Let j be 38/(1*(-8)/28). Let a be 703/j + 2/7. Suppose 0 = 5*i + 3*f + 5, 5*f - 3 + 1 = 2*i. Put i, 1, a in decreasing order.
1, i, a
Let r = 14.8 + -15. Sort 2/7, -0.1, r.
r, -0.1, 2/7
Let p = -59 - -58. Let h be 4/(-10) - (-14)/10. Let a be -2*(-1)/h - 5. Sort 0, a, p in ascending order.
a, p, 0
Suppose -i = -3 + 4. Sort -3, -5, 4, i in decreasing order.
4, i, -3, -5
Let f = 10 + -6. Suppose -f + 5 = -a. Sort -5, -7, a in ascending order.
-7, -5, a
Suppose z - 5*z + 68 = 0. Suppose -7*j = -3*i - 2*j + z, -10 = -2*i + 3*j. Put i, 4, 0 in ascending order.
i, 0, 4
Let c = 14 + -8. Let i be (-3)/5*(-4)/c. Let q = 2.1 + -0.1. Sort i, q, -2.
-2, i, q
Suppose z + 5*h = 12 + 4, 2*z - 2*h = 20. Let a = z - 145/13. Let n be (-2)/(0 - 8/1). Sort a, -2, n in descending order.
n, a, -2
Suppose -s - 2*s - 5 = 4*i, 5*s + 5*i + 10 = 0. Suppose -5*n - 42 + 57 = 0. Sort -1, n, s in decreasing order.
n, -1, s
Let i be -1*2 + (-27)/(-1). Suppose -2*t = -7*t - i. Put 5, t, 1 in descending order.
5, 1, t
Let l be 2 + -4 - (-3 - 4/4). Suppose -2*m = -5*g - 10 - 15, -m = 5*g + 25. Put l, g, 0 in ascending order.
g, 0, l
Let n = 7.4 + -7. Suppose -3*g = -8*g. 