.
-3, -1, u
Let b = -0.1 - 0.1. Let n(i) = i**3 + 9*i**2 + 8*i - 4. Let q be n(-8). Let a be (-1)/3 - q/(-6). Sort -0.4, a, b.
a, -0.4, b
Suppose 0 = -3*u + 11 - 2. Suppose -12 = v + 3*i, -v + u*i + 7 + 11 = 0. Suppose 4*z - 5 = -3*s, 0*z = 4*z + s + 1. Put -2, v, z in increasing order.
-2, z, v
Let c = -9 - 0. Let q(t) = t**2 + 10*t + 6. Let d be q(c). Sort d, -5, -2.
-5, d, -2
Let d = -0.46 + -0.04. Sort d, 2, -5 in ascending order.
-5, d, 2
Let y = 0 - -5. Let l = 307/3 - 101. Let x = -50 + 49.7. Sort y, x, l.
x, l, y
Let b be (-194)/(-10) + (-4)/10. Let z be (-9)/6 + b/10. Put -2/9, z, 1 in ascending order.
-2/9, z, 1
Let h be (-2 - (-5 - -11))*(-2)/(-12). Let n = 7.86 - -0.14. Let v = -6 + n. Put v, h, 1/4 in decreasing order.
v, 1/4, h
Let z be (-16)/24*3/(-2). Put z, -1/4, 3 in decreasing order.
3, z, -1/4
Let c = -1/30 - -13/30. Put -3/10, c, -2 in ascending order.
-2, -3/10, c
Let c = 22 + -11. Suppose 0 = -5*p - 4 - c. Sort p, 5, 4 in descending order.
5, 4, p
Suppose 9 = -5*w - 6. Let m be (-30)/(-9)*3/2. Sort w, m, -5 in decreasing order.
m, w, -5
Let v = -572/527 + 30/31. Put 0.1, v, -4 in descending order.
0.1, v, -4
Let y = 0.94 - 1. Sort 0.3, y, 4 in increasing order.
y, 0.3, 4
Let k be -1*((-110)/(-120) - 4/6). Sort 13, -0.2, k in ascending order.
k, -0.2, 13
Let g = -4 - -1. Let z = g + 5. Put -5, 0, z in decreasing order.
z, 0, -5
Suppose 12 = 3*t - 3*x, 0 = 4*t - t + x. Let l be 8/5 - (-16)/40. Put l, -1, t in increasing order.
-1, t, l
Let g(s) be the second derivative of 0 + 3/2*s**2 + 1/12*s**4 + 3*s + 5/6*s**3. Let k be g(-3). Put 1, k, 5 in decreasing order.
5, 1, k
Let t = -20 + 16. Let p be (-3)/2*8/6. Sort t, p, 8.
t, p, 8
Let u = -4.8 + 4.4. Let r = -74/33 - -7/3. Let o = 0.4 + 0.1. Put u, o, r in descending order.
o, r, u
Let s = 7.7 + -8. Let i = s - -0.2. Let n(h) = -h**2 - 5*h + 3. Let b be n(-5). Put i, b, 0.2 in increasing order.
i, 0.2, b
Let t(y) = y**3 + 2*y**2 - 3*y - 3. Let z be t(-2). Suppose 34*g - 5 = 33*g. Put g, z, 4 in decreasing order.
g, 4, z
Suppose 0 = -a - 2*i - 4, -2*i - 22 = -4*a - 58. Sort -4, -2, a in descending order.
-2, -4, a
Let k = 29 + -32. Sort k, -0.1, 1, -0.2.
k, -0.2, -0.1, 1
Let j = -12.4 + 1.4. Let l = -0.3 - -2.3. Put l, j, 3 in ascending order.
j, l, 3
Suppose 0 = -18*b + 13*b + 20. Suppose n - 2 + 1 = 3*d, 2*d - 21 = 5*n. Sort b, d, 1 in ascending order.
d, 1, b
Suppose -6 = -r - 2*a, -4*r = r + a + 6. Let m = -6 + 5. Let y = m - 4. Sort y, r, -2/11 in decreasing order.
-2/11, r, y
Let p = 0.03 - -3.97. Let h = -0.3 + 0.2. Let a = 1 - 1.2. Sort a, h, p in ascending order.
a, h, p
Let u = 8.1 - -0.9. Let v = u - 8. Put 0.1, -2/9, v in decreasing order.
v, 0.1, -2/9
Suppose 0 = 2*p + 2, -s + p = 2*p + 3. Put -5, -4, s in decreasing order.
s, -4, -5
Suppose 0 = 5*y - 5*c + 11 - 31, -5*y + 3*c = -22. Suppose 0*b + b + 1 = -y*x, 4 = 4*x + 2*b. Sort 4, -5, x in decreasing order.
4, x, -5
Let m(b) = -b - 4. Let w be m(-7). Sort 0, w, -3, -4.
-4, -3, 0, w
Suppose 2*x = x + 2. Let q = x + 1. Suppose 2*f + 4*d - 13 = 9, -5*d = q*f - 28. Sort 5, -4, f.
-4, f, 5
Let g = -1.07 - 2.93. Sort g, 2, 0 in ascending order.
g, 0, 2
Let t(g) = -2*g + 2. Let j be t(4). Sort 3, j, -3.
j, -3, 3
Let s = 0.15 + -0.35. Sort 0.2, s, -0.4 in ascending order.
-0.4, s, 0.2
Let z be 122/8 + 2/(-8). Suppose i + 5*k + z = -0, 3*i - 9 = 3*k. Put -4, i, -2 in descending order.
i, -2, -4
Let b be 6/(-2) + 126/45. Suppose 0 = 2*t, 7*z = 4*z - 3*t - 15. Let s be z/(-7) + 0 - 1. Sort s, 4, b in decreasing order.
4, b, s
Let v be ((-135)/(-36))/(1/(-4)). Sort 5, v, 2 in descending order.
5, 2, v
Suppose -3*c - 2*m + 0*m = 11, -5*m = -3*c - 4. Let h = 30 + -34. Put 4, c, h in descending order.
4, c, h
Let q(z) = 12*z**2 + 1. Let a be q(1). Suppose 5 = 3*u - a. Put -0.5, u, -2 in descending order.
u, -0.5, -2
Let j(u) = u + 7. Let b be j(-6). Let r(z) = z**2 + 2*z - 1. Let x be r(b). Sort -4, -1, x in descending order.
x, -1, -4
Let a = -118 - -120. Sort 11, 4, a.
a, 4, 11
Suppose -4*m = k + 10, -3*k = m - 3*m + 2. Let g be k - (-5 + 0 - -1). Let r = 2 - g. Put -1, r, 5 in decreasing order.
5, r, -1
Suppose s = -k - k - 12, s = 2. Let c = -2 - k. Suppose -12 = -3*x - x. Sort x, 1, c in increasing order.
1, x, c
Let g be (-14)/(-6)*(1 - 5/7). Sort g, -6, -0.2 in decreasing order.
g, -0.2, -6
Suppose -2*b - 2*b - 24 = 0. Let n = 4 - 8. Let y = b - n. Sort y, -4, 5 in increasing order.
-4, y, 5
Suppose -3*w - 4 = 5. Let x(s) = s**3 - 4*s - 4 + 0 + 0*s**2 + 2*s**2. Let d be x(-3). Put -4, d, w in descending order.
d, w, -4
Let d be 3 + 1 + (2 - 3). Sort d, 5, -7 in ascending order.
-7, d, 5
Suppose j - 3 = i + 1, j + 3*i = -16. Let d = 5.01 - 5. Let y = 0.41 - d. Put y, j, -0.3 in descending order.
y, -0.3, j
Let u be 1/(-4)*(-5 - -6 - 5). Let b be (1/(-2))/((-2)/(-4)). Sort b, -3, u in descending order.
u, b, -3
Let a be (-48)/(-22) - (-6)/(-33). Let y = -8.8 + 9. Sort a, y, 1 in ascending order.
y, 1, a
Let a = -4 - -3. Suppose -2*s = 2*s - 5*j + 72, -5*s - j = 61. Let v = s + 13. Put v, 3, a in ascending order.
a, v, 3
Let z = -5 + 8. Suppose 0 = 2*j + 2*j + 12. Let i be j*((-6)/(-9))/(-1). Sort z, i, 5 in decreasing order.
5, z, i
Let d = -1 - -2. Suppose -d - 7 = -2*l. Sort 2, 0, l in decreasing order.
l, 2, 0
Let d = -103 - -512/5. Sort 2, d, 3 in ascending order.
d, 2, 3
Let t(d) = 2*d - 20. Let h be t(13). Put -5, -2, h in descending order.
h, -2, -5
Suppose 0*u = u - 5. Sort u, 2, 0 in ascending order.
0, 2, u
Let q = 3 + -1. Suppose 8*n - 35 = 5. Sort n, q, -0.06 in ascending order.
-0.06, q, n
Let n = -4.5 + 5. Sort 0, n, 5 in decreasing order.
5, n, 0
Suppose 0 = -g + 2*g + 7. Sort 3, g, -4.
g, -4, 3
Let m = -0.3 - 2.7. Let f = -58 - -51.7. Let q = f - -6. Sort m, q, -1 in decreasing order.
q, -1, m
Let i = -29 - -19. Let r = 166/7 + -3140/133. Put r, 0.4, i in decreasing order.
0.4, r, i
Let w = 1.4 - 1.1. Let o = -0.1 - w. Sort o, 3, -0.3 in decreasing order.
3, -0.3, o
Suppose 4*s - 32 = -3*v, -22 = -v - 3*s - 3. Let q = -0.02 - 4.98. Sort v, -10, q in ascending order.
-10, q, v
Let s = 5.8 + -4.8. Sort -1/4, -3, s, 0.1 in decreasing order.
s, 0.1, -1/4, -3
Suppose 5*o - 33 - 47 = -n, 4*n + 32 = 2*o. Let j(r) = r**3 - 15*r**2 - 16*r + 2. Let z be j(o). Sort 5, -1, z.
-1, z, 5
Let d = 144 + -144.4. Let h = -0.5 + -2.5. Put 0.3, h, d in decreasing order.
0.3, d, h
Let c be ((-2)/(16/12))/(3/(-6)). Put c, -1, 4, 5 in decreasing order.
5, 4, c, -1
Let w = -27 - -24. Sort w, 3, -5, 1 in descending order.
3, 1, w, -5
Let p be (2/(-4))/((-1)/6). Let v = 36 - 32. Suppose 3*z - v*z = -2*n + 4, -4*n = -4*z. Put p, z, -2 in decreasing order.
z, p, -2
Let t = -0.13 + 1.53. Let o = 0.6 + t. Put 5, o, -1 in increasing order.
-1, o, 5
Let w = 0 + 3. Suppose 5*m + 4 = -5*g - 1, 0 = -5*g + 4*m - 5. Let u = g + -2. Put 5, w, u in increasing order.
u, w, 5
Let g(j) = j**3 + 3*j**2 - 3*j + 3. Let b be g(-4). Suppose 0 = 5*h - h. Put b, 8, h in increasing order.
b, h, 8
Let i = -33 - -32.9. Sort i, 1/5, 2/11 in descending order.
1/5, 2/11, i
Suppose -4*c + 17 = 1. Let l = -49 - -49.23. Let f = 0.07 + l. Put f, c, 2 in decreasing order.
c, 2, f
Let l = -71 - -65. Let d be 2*-1*(-10)/4. Put l, 0, d in increasing order.
l, 0, d
Suppose 5*n = -7 + 2. Sort -4, -5, n.
-5, -4, n
Let p(i) = -10*i + 77. Let r be p(13). Put -3, r, 4 in decreasing order.
4, -3, r
Suppose -4*k = -k - 15. Put -2, k, 4 in ascending order.
-2, 4, k
Suppose -5*d - 45 = -4*m, 3*d + 3*m = -2*m - 27. Let b be (-2 + d/(-2))/(-1). Let n = -13/6 - b. Sort 1/4, n, 1 in decreasing order.
1, n, 1/4
Let w be (-9)/36*8/14. Put -4/7, w, -5, -0.4 in descending order.
w, -0.4, -4/7, -5
Suppose -3 = -s + q - 9, -29 = 4*s - 5*q. Sort -5, -61, s, -3 in decreasing order.
s, -3, -5, -61
Suppose z - 4*b = 0, -5*z = -5*b + 3*b. Let q = z - 0. Sort 2, -2, q in descending order.
2, q, -2
Let i be (-15)/(-15)*1*-4. Let y be 1/4 + (-39)/12. Sort y, 2, i in decreasing order.
2, y, i
Let b(v) = -v**3 - 6*v**2 + v + 8. Let f be 178/6 + 2/6. Suppose 6*j + f = j. Let r be b(j). Sort -5, r, 5 in descending order.
5, r, -5
Let y be ((-6)/60)/(4/(-5)). Sort y, 0.16, 1/2.
y, 0.16, 1/2
Let n be 50/(-14) + 9/(-21). Let a = -2 - 1. Suppose -2*g - 2 = 8. Sort n, g, a in descending order.
a, 