uppose 3*l + 37 = 16. Sort -5, o, l in decreasing order.
o, -5, l
Let n be 0/(-4 + 2 + 3). Suppose n*k = 3*k - 18. Let z = 11 - k. Sort z, -5, 1 in ascending order.
-5, 1, z
Let y = 1041/5 + -209. Let z = -51 + 50.7. Put y, -0.4, z in descending order.
z, -0.4, y
Let f = -86 - -85. Sort -4, f, -2, 2 in increasing order.
-4, -2, f, 2
Let d = 7 + -3. Let y = d + -5. Let q be 6/(-30) + 4/10. Sort q, y, 2/7 in decreasing order.
2/7, q, y
Suppose -2*g = -14 + 10. Let z be ((-2)/6)/(4/(-60)). Put -6, g, z in ascending order.
-6, g, z
Let m(s) = 1 - s**2 + 3*s**3 - 2 - s**3 + 3*s**2. Let k be m(1). Suppose 0 = k*v + 3*u, 3*u + 2*u = -3*v - 4. Put 4, -0.1, v in decreasing order.
4, v, -0.1
Suppose 12*j - 17*j = 20. Put j, 2, -1, 1 in decreasing order.
2, 1, -1, j
Let c(o) = -o**2 - 3*o + 4. Let q be c(-3). Let u = 35 - 34.7. Let j be -1 - ((-18)/8 + 1). Sort q, j, u in descending order.
q, u, j
Let i = -17 + 22. Sort 0.03, 3, i in ascending order.
0.03, 3, i
Suppose -2*c - x + 2 = -3*x, -2*x + 8 = 0. Put -2, c, 0 in increasing order.
-2, 0, c
Let z = -10213954/93 - -109829. Let w = z - -4/31. Put 4, -1, w in decreasing order.
4, w, -1
Let b(m) = -m**2 + 5*m + 4. Let s be b(5). Suppose 4*o + 2*g + 7 - 27 = 0, 4*o + 3*g = 18. Put o, s, -5 in ascending order.
-5, s, o
Let h = 10 - 14. Let n be (-345)/(-23)*(-2)/(-6). Put 1, h, n in decreasing order.
n, 1, h
Let t be 1/1 - 4/4. Suppose t = -s - 2 + 4. Suppose -n - s*n = -6. Sort n, -1, -3 in descending order.
n, -1, -3
Let b = -3.94 - -4. Let p = -3.06 + b. Let c = p - -3.1. Put -0.2, 0.4, c in decreasing order.
0.4, c, -0.2
Let m = -228 + 227.8. Let j = -0.5 - -3.5. Let w be (-13)/99 + (-4)/(-18). Put m, j, w in ascending order.
m, w, j
Suppose k - 2 = 6*k - 4*p, 6 = 2*p. Let m be (k/6)/((-2)/6). Put 0, 2, m in decreasing order.
2, 0, m
Let t = 0.026 - 20.026. Let a = -20 - t. Sort a, -1, 3 in decreasing order.
3, a, -1
Let o be (-60)/(-14) + (-12)/42. Let v = o - 3. Suppose 2*i - 20 = -4*h + 4*i, 0 = -3*h - i + 10. Sort h, v, -2.
-2, v, h
Let q = 0.03 + 0. Let j = -0.23 + q. Sort 0, j, 3/2 in decreasing order.
3/2, 0, j
Let i = 113/4 - 28. Let z = 0.35 - 4.35. Suppose -t = -2*t + 4. Put i, z, t in increasing order.
z, i, t
Suppose 10*m - 6 = 7*m. Let p be (-1 + 2)*(-1 - 0). Sort p, -2, m in decreasing order.
m, p, -2
Let l = -26630 - -17975236/675. Let q = l + 81284/675. Let m = 121 - q. Sort m, 1, 0.3 in decreasing order.
1, m, 0.3
Suppose 4*r - 9 = y - 4, 0 = 3*y + 15. Suppose -3*a = -5*a - 4, v - a + 1 = r. Suppose 3*z + 5 = 2. Sort 5, v, z in descending order.
5, z, v
Let q = -6 - -8. Sort q, -4, -0.1 in decreasing order.
q, -0.1, -4
Let i = -5 + 7. Suppose 0 = 6*u - i*u - 28. Let x = u + -6. Put -1, 5, x in decreasing order.
5, x, -1
Suppose k + 5*q = -1, 5*k + 56 = -4*q + 9. Sort -3, k, 1/2 in decreasing order.
1/2, -3, k
Let n = 542 - 143. Let v be -1 + (33670/12)/7. Let l = v - n. Sort -1, l, 0.1 in decreasing order.
l, 0.1, -1
Let q be -1 - 1/2*-6. Put q, 3, -5 in descending order.
3, q, -5
Let t = -3 + 3. Suppose 4*n + 5*r = r - 12, t = 3*n + 4*r + 13. Put -1, 3, n in increasing order.
-1, n, 3
Let n = -0.18 - -0.38. Let p = -0.13 - 4.87. Sort p, n, 3/2 in ascending order.
p, n, 3/2
Suppose 5*c - 28 = -0*n - n, 4*n - 3*c = -3. Suppose -n*j = 3*h - 0*j + 21, 0 = -4*h - 5*j - 33. Suppose -3*x + x = 0. Sort x, -5, h in decreasing order.
x, h, -5
Let i = -1.37 + -0.63. Sort 1/2, i, 1/6, -1/6.
i, -1/6, 1/6, 1/2
Suppose 4*b - 6 = l, -b - 3*l + 4*l = -3. Let g be (-1)/(b/2 + 0). Put g, -3, 5 in decreasing order.
5, g, -3
Let j be 3/(21/(-4)) + 0. Let y be (-66)/(-168) - 2/8. Put j, 1, y in decreasing order.
1, y, j
Let x = -104 - -934/9. Let p = 30 + -29.87. Let b = p + -0.03. Sort b, -2/5, x in decreasing order.
b, x, -2/5
Let p = 14 - 9. Let v = -3 + p. Put 0.2, -1, v in decreasing order.
v, 0.2, -1
Let u be 2/((-9)/(-21) + (-41)/14). Let v = -0.5 + 0.2. Sort v, -0.1, u in increasing order.
u, v, -0.1
Let q be (-10)/3*(-27)/15. Let x be (-16)/96 + 19/q. Sort -0.7, x, 2/7 in descending order.
x, 2/7, -0.7
Let i = 8.06 - 8.76. Let t = 0.08 + -3.08. Sort t, i, -4 in descending order.
i, t, -4
Suppose 4*h = 3*h + 2. Suppose -h*o = 2*o + 24. Let j be (-3)/(-6) + (-9)/o. Put j, -4, 3 in ascending order.
-4, j, 3
Let l be 16/(-3) - 1/(-3). Put -1, -16, 5, l in ascending order.
-16, l, -1, 5
Suppose 2*p + 3*j = -8 - 17, p = j. Sort 3, p, -1 in decreasing order.
3, -1, p
Suppose 6*s = 3*s + 6, 4*s = t + 6. Suppose 3 = -w + t*w. Sort -2, w, 2 in increasing order.
-2, 2, w
Let b = -1.89 - 102.11. Let c = b + 112.3. Let q = -8 + c. Sort 1, q, -0.5.
-0.5, q, 1
Let j be 261/(-45) - 8/(-10) - -4. Put -12, 1, j in increasing order.
-12, j, 1
Suppose -5*h - 16 = 3*d, 18 = 4*d - 3*h - 9. Suppose -3*u - 2*u + 4*r + 37 = 0, d*u + 3*r - 6 = 0. Let y = -2.5 + 2. Sort u, -0.4, y in increasing order.
y, -0.4, u
Let r = 1.31 + -1.81. Let w = -0.1 + 0. Let l = -5.6 + 6. Put l, w, r in descending order.
l, w, r
Let g = -0.95 - 0.05. Let r = -6 - g. Sort r, -0.5, 3.
r, -0.5, 3
Let q be 11 + -15 - -3*1. Sort -4, q, 4.
-4, q, 4
Let w be (0/(-1 - -3))/(-3). Let x = w + 4. Sort x, 3/4, 0.2 in increasing order.
0.2, 3/4, x
Let p = 0.2 - -2.8. Let o = -40 - -41. Suppose 5*f = -11 + 1. Sort o, f, p in descending order.
p, o, f
Let h be -1 + 4 - (-5 - -6). Suppose h*r - 2 = 6. Sort 2, r, -6.
-6, 2, r
Let f = 4 - 4.3. Let d be (4/(-6))/(6/9). Let l be (d + 0)*1 + -2. Put f, l, -4 in increasing order.
-4, l, f
Suppose 8*u = 5*u + 27. Put 5, u, 1 in increasing order.
1, 5, u
Let x = 7 - 6. Let z = -1.1 - -0.1. Let q = z - x. Put 1/10, q, -2/15 in decreasing order.
1/10, -2/15, q
Let y = -12 + 10. Sort y, 4, -2/9, -0.4.
y, -0.4, -2/9, 4
Suppose -4*d - 20 = 4*c, -d - 8 - 6 = 4*c. Suppose -3*o + 15 = 6. Sort -2, c, o in increasing order.
c, -2, o
Let k be (1*(10 - 2))/(-1). Let s = k - -13. Put 9, s, 2 in decreasing order.
9, s, 2
Let v = 7 + -7.6. Let t = 0.8 + v. Sort t, 4, 5 in decreasing order.
5, 4, t
Let n = -19 - -19.5. Put -2, -0.4, n in descending order.
n, -0.4, -2
Let n = -2/127 + 395/889. Let w = -4.4 - -0.4. Sort n, w, 1 in ascending order.
w, n, 1
Let c(u) = -6*u - 4. Let j be c(-4). Let w be (-8)/j - 4/(-5). Let n = 9 - 53/6. Sort -0.1, w, n in descending order.
w, n, -0.1
Suppose 0 = 4*t + 3*s, -s = -3*t + 2*s. Sort -5, 1, 3, t in increasing order.
-5, t, 1, 3
Let w be (88/28 - 3)*-1. Put 0.2, -2, w in ascending order.
-2, w, 0.2
Let l = 19/5 - 67/15. Let u = 10.89 + 0.11. Let k = 8 - u. Sort l, 3/2, k in descending order.
3/2, l, k
Suppose w + 9 = -4*r - 2, 21 = w - 4*r. Put w, 4, -9 in decreasing order.
w, 4, -9
Suppose 3 = -3*z - 0*z. Suppose -3*v - 15 = -2*w, 3*w = -0*v - v - 5. Let d = v + 1. Sort -2/13, z, d.
d, z, -2/13
Suppose 3*b - p = 2*p + 18, b - 3*p = 10. Let m be 1*((-4)/(-8))/((-3)/6). Sort b, -2, m in decreasing order.
b, m, -2
Let g = -2212/13 + 170. Let z be 2 + 823*(-3)/15. Let c = z - -162. Put -0.4, g, c in descending order.
g, -0.4, c
Let u = 7 - 12. Suppose 3*b + 9 = 2*x + 4*b, 3*b + 13 = 2*x. Put u, x, -0.2 in ascending order.
u, -0.2, x
Suppose 0 = 3*z + 50 - 8. Sort z, -3, -5.
z, -5, -3
Let j = 2 - 2. Let t be 2 + j + 0 + 2. Sort 2, -3, t in descending order.
t, 2, -3
Let r = 9.8 - 9. Let p = 0.8 - r. Put 2, p, 0.5 in descending order.
2, 0.5, p
Let l = -0.3 + -6.4. Let a = -8 + 1. Let s = a - l. Put s, -4, -0.1 in increasing order.
-4, s, -0.1
Suppose -7*o - 4 + 4 = 0. Let l be (1 - (2 + -2))*-2. Put l, o, -5 in ascending order.
-5, l, o
Suppose 3*i = 2*i - p + 3, -2*i + 22 = -2*p. Suppose 2*g - i = 13. Let v = g + -11. Sort v, -5, 0 in increasing order.
-5, v, 0
Suppose -4*c + 17 = 4*v + 1, 5*v = -4*c + 16. Let i be (1 + -2 + 1)*-1. Sort -2, c, i.
-2, i, c
Suppose 0 = 2*f - 0*f - 8. Suppose -s = 14*s + 75. Sort 2, s, f in decreasing order.
f, 2, s
Suppose 0*z + 2*z + 4 = b, 2*b = -z + 13. Suppose -4*v + b*v + 8 = 0. Put -3, v, -1 in descending order.
-1, -3, v
Let u = -0.5 - 2.5. Let a = -30 + 14. Sort a, u, -0.3 in descending order.
-0.3, u, a
Let d = 3.2 - 3. Let y = 0.2 + d. Sort -4, y, 0.3.
-4, 0.3, y
Suppose -5*y + c + 1 = 0, 5*y + 2 = 3*y - 2*c. Suppose y*t - 6 = 3*t. Put t, 1, 4 in decreasing order.
4, 1, t
Suppose 4*r - 4 = -3*p, 3*r + 0 = -3*p + 6. Let a = 5 - 3. Sort 0.2, p, a in d