s, -14 in ascending order.
-14, s, 1
Let w = -1075 - -1080. Sort -3.4, -3, w, -1 in increasing order.
-3.4, -3, -1, w
Let g = 6 + -11. Let s = 0.96 - 0.56. Put 0, g, s in descending order.
s, 0, g
Let q = -254 + 1217. Let v be ((-16)/24)/(5/q). Let d = v + 128. Put 0.5, 3, d in decreasing order.
3, 0.5, d
Let s(r) = r**3 - 5*r**2 + r + 23. Let i be s(3). Put 13, 2, i in decreasing order.
13, i, 2
Suppose 3*b - 15 = 0, 2*a + 0*b = 4*b - 24. Let y = 37 - 37. Put a, 10, y in increasing order.
a, y, 10
Let h = -1499 - -1499.2. Let f = 157/355 + -3/71. Put f, 0.5, h in descending order.
0.5, f, h
Suppose 60 = -0*k - 15*k. Put k, -1, 24, 0 in descending order.
24, 0, -1, k
Let h = 1 + -21. Let j = -19.56 - h. Let i = 0.06 + j. Sort 3/8, -0.1, i in descending order.
i, 3/8, -0.1
Suppose m = -v + 3, -2*v + 0*m = -m + 6. Put v, -8, 3 in ascending order.
-8, v, 3
Let z = -349 - -354. Put z, 4, -11 in ascending order.
-11, 4, z
Let a(m) = -2*m**2 - 16*m - 12. Let i be a(-7). Sort 0, 1, i in decreasing order.
i, 1, 0
Let x = 167 + -162. Suppose -5*l + 5 = -x*m, -4*l = 5*m - 0*l - 13. Put 6, 0, m in increasing order.
0, m, 6
Let h = -285 + 288. Put h, 1, 2 in ascending order.
1, 2, h
Let p(w) = 22*w + 91. Let t be p(-4). Sort -1, -4, t, -14 in decreasing order.
t, -1, -4, -14
Let n = -0.018 + -6.082. Let t = 1.1 + n. Let f = t - -10. Sort f, -3, 4 in decreasing order.
f, 4, -3
Let x be -1*(-1)/2*0. Suppose -2*l = -8, -93*d + 4*l - 6 = -95*d. Suppose 6 = q + 2*q. Sort d, q, x.
d, x, q
Let j = 0 + 0. Let v be (-30)/(-20)*440/(-33). Sort -1, v, j in decreasing order.
j, -1, v
Let w be -6 + 3 - -3*5. Suppose 4*r = b + 4, 3*r - r + w = -3*b. Put b, 11, 4 in decreasing order.
11, 4, b
Suppose -2*t = -v, 4*v + 4*t - 17 + 41 = 0. Sort -36, -2, v, -1 in decreasing order.
-1, -2, v, -36
Suppose -3*j = -9*j + 18. Suppose 0 = -j*g + 8*g - 5. Put g, -5, -14 in increasing order.
-14, -5, g
Let i = 23 + -45. Let k = -32 - i. Let c(o) = o**2 + 4*o - 5. Let v be c(-5). Sort k, v, -0.4 in increasing order.
k, -0.4, v
Let j(f) = -f**3 + 5*f**2 + 2*f - 4. Let l be j(5). Let y be ((-27)/l)/(6/(-4)). Sort 0, y, -5.
-5, 0, y
Let r = -157/3 - -52. Let z = 64/77 - 6/11. Put 2/3, z, r, -0.3 in descending order.
2/3, z, -0.3, r
Let t be (-3 + 2)*72/1128. Sort -5, -4, t, -1/2 in decreasing order.
t, -1/2, -4, -5
Let m = -2.77 - -0.77. Sort -2/27, m, 0 in ascending order.
m, -2/27, 0
Let z(l) = -l**3 + 2*l + 1. Let w be z(-1). Let b = -0.066 + -0.534. Let i = 2.89 + 0.11. Sort w, i, b in descending order.
i, w, b
Let j = 84 + -196. Let h = -114 - j. Sort 3, h, -1, 1/2.
h, -1, 1/2, 3
Let a = 101 + 19. Suppose 4*p + a = 2*p. Let n be (-4)/(-10)*50/p. Sort n, -5, -4/3 in increasing order.
-5, -4/3, n
Suppose 0 = -x - m, 0 = -4*x - 4*m + 9*m + 45. Let c = -3 + 12. Put x, c, 4 in descending order.
c, x, 4
Let o = -90.858 + -0.142. Let l = o + 88. Sort 1.3, l, -4.
-4, l, 1.3
Let j = -0.9 - -5.9. Let c = -98 - -100. Let l be -2*(2 + -3 - -3). Sort j, c, l in increasing order.
l, c, j
Suppose 2*b - 92 = -4*i, 6*b - 5*b - i = 55. Sort -1, 2, -4, b in descending order.
b, 2, -1, -4
Let z = -0.1 + -6.9. Let t = z + 7. Let r = 71 + -72. Sort r, 6/11, t.
r, t, 6/11
Let k be (31/4)/((-33)/12) - -3. Sort 10, k, -3 in decreasing order.
10, k, -3
Let q(p) = -p**2 - 5*p - 3. Let n be q(-3). Let a be 9*(0 - 1/n). Let z be 0 - 0 - -1*2. Put z, -2, a in decreasing order.
z, -2, a
Let x be (-3)/1*2/(-6). Suppose 3*o - 10 = -5*f, -f + o - 2 = -4*f. Let v = -1 + 1. Put x, f, v in ascending order.
f, v, x
Let k = -0.2 + 0.15. Let b = -13667 - -13670. Sort -5, k, b, -0.2 in increasing order.
-5, -0.2, k, b
Let q(d) = -4*d - 1. Let y be q(-1). Suppose 0 = 8*t - 26 - 14. Put t, y, 8 in ascending order.
y, t, 8
Let c = -449 + 446. Let w = -2.26 - -1.9. Let o = w + -0.04. Put -2, c, o in descending order.
o, -2, c
Let w(u) = -2*u**3 - 22*u**2 + 25*u + 9. Let x be w(-12). Suppose 5 = -2*c - 3*h, 3*c + 2*c - 35 = 2*h. Sort x, -4, c in decreasing order.
c, x, -4
Suppose -23*l = -21*l - 8. Sort l, -1, -16 in descending order.
l, -1, -16
Let m = -0.6 - -0.9. Let k = m - 14.3. Let r = -15 - k. Sort -1/6, r, -4 in descending order.
-1/6, r, -4
Let f = 0.57 + -0.5. Let y = 0.37 - f. Sort -10, y, -2 in decreasing order.
y, -2, -10
Let v = -566 - -565.855. Sort 0, -4, v.
-4, v, 0
Let s(h) = -7*h**3 - 2*h**2 + 1. Let b be s(-1). Suppose -b*v + 2*v = 0. Suppose v = 2*n + 6, -5*l + 3 = -n - 10. Put l, -3, 0 in decreasing order.
l, 0, -3
Let o = -477.7 + 478. Sort -3/7, -7, o, 0.2.
-7, -3/7, 0.2, o
Let w be (1795/35)/((-6)/(-7)). Let x = 60 - w. Put x, 10, -3/4 in increasing order.
-3/4, x, 10
Suppose 3*o = -2 + 11. Suppose -5 = -5*m - u + 5, o*m - 6 = u. Let l = 7 - m. Sort 2, 0, l in decreasing order.
l, 2, 0
Let h be ((-12)/(-27))/1*(-12)/8. Let s = -1.7 + 4.7. Put 0.1, 2/9, s, h in increasing order.
h, 0.1, 2/9, s
Let x = -5.35 + 1.35. Put x, 2/5, 0.2, 1/70 in decreasing order.
2/5, 0.2, 1/70, x
Let j = 501 + -507. Put -0.3, j, 24 in descending order.
24, -0.3, j
Let z = 399 - 395.66. Let n = 0.34 - z. Let d = -8.6 - -9. Put n, d, 5 in descending order.
5, d, n
Let d be (-1 - -1804)*2/22 + 0. Let v = d - 164. Sort -0.5, v, 1 in descending order.
1, v, -0.5
Let n = -0.245 - -0.045. Let y(o) = -o**3 - 5*o**2 + 5*o - 3. Let g be y(-6). Suppose i + g*i + 21 = r, 3*r + 22 = -5*i. Sort n, i, 5 in decreasing order.
5, n, i
Let m be 2 - 4*3/(-6). Let j be (12/(-10))/(15/(-50)). Suppose -j*n - 13 = -9. Sort -3, n, m.
-3, n, m
Suppose -3*r = j + j - 16, j - 15 = -5*r. Suppose -r*i = -3*h + 2*i - 20, -5 = -h - i. Put 1/2, -0.1, h in decreasing order.
1/2, h, -0.1
Let q = -132.8 + 131. Let k = -0.26 + 1.36. Let x = q + k. Sort 2, x, -0.4 in ascending order.
x, -0.4, 2
Let w = -494 + 496. Sort 42, 1, 0, w in increasing order.
0, 1, w, 42
Let k = -2 + 1. Suppose 0 = 178*a - 175*a + 15. Put k, a, 0 in descending order.
0, k, a
Let a = -126 - -127. Put 0, a, -1/97 in descending order.
a, 0, -1/97
Suppose 0 = 38*u - 258 + 68. Sort 22, u, -6 in decreasing order.
22, u, -6
Suppose 1 = 2*s - 3*q - 9, q = 0. Put 10, -2, s in descending order.
10, s, -2
Let v(w) = w**2 + 20*w + 15. Let b be v(-20). Suppose 0 = 4*d - b - 9. Sort d, 2, -5 in ascending order.
-5, 2, d
Let w be (-10 + (-1035)/(-108))*2. Sort w, 1/2, 2 in decreasing order.
2, 1/2, w
Suppose 2*d = -2*d + 40. Suppose 2*w - d = -0*w. Let m(x) = 29*x**2 + 232*x. Let o be m(-8). Sort -3, o, w.
-3, o, w
Suppose -5*q - 2 = -6*q. Let v be (3 + q)*(-8)/(-180). Put -4, v, 3 in increasing order.
-4, v, 3
Let b be (66/(-231) - 68/(-42)) + 0. Sort -3, 0, b.
-3, 0, b
Let f(u) be the first derivative of u**3/3 + 9*u**2/2 + 11*u + 13. Let h be f(-8). Put h, 14, -1 in descending order.
14, h, -1
Let m = -7 - -11. Let n = -78 - -69.8. Let c = 8 + n. Sort c, m, -1 in decreasing order.
m, c, -1
Let v = -26 - -29. Let i be -3 + 90/v*4/12. Put 1, 4, i, -3 in descending order.
i, 4, 1, -3
Let d(k) = -10*k - 3 + 12*k + 1 + 4 + k**2. Let a be d(-2). Suppose 0 = -2*l + 5*i + 19, 2*l - 5*i + a*i = 13. Put -5, -2/3, l in increasing order.
-5, -2/3, l
Let c = 12 - 12.2. Let v be -21 - -18 - (-58)/20. Put c, -0.4, v in increasing order.
-0.4, c, v
Let d = -0.6 + 0.5. Let r be ((-1)/12)/((-50)/160). Let s = 7/5 + r. Put d, -2, s in ascending order.
-2, d, s
Suppose 5*l - 2*a + 6 = 3, 6 = -3*l - 3*a. Let q be 3/(-12) - (-11)/(-4). Sort l, 2, q.
q, l, 2
Let z = 1041 + -5204/5. Sort 0, 3.5, 1/2, z in decreasing order.
3.5, 1/2, z, 0
Let l = -12.6 - -13.6. Let y be 10/20 - (-23)/2. Suppose 4*o + a + y = 0, o - 3 = 2*o - 4*a. Put 2/11, o, l in descending order.
l, 2/11, o
Let c = 4 - 0. Suppose c*k = -2*a - 6, k = 3*a - k - 15. Suppose j + 1 = a. Put -2, j, -5 in ascending order.
-5, -2, j
Let q = -69 - -38. Let y = -28 - q. Sort 0.3, -5, y.
-5, 0.3, y
Let q be 2/(-1) - (-12)/48. Put q, -1/7, 3/8 in descending order.
3/8, -1/7, q
Let g be 1 - (3 + 27/(-15)). Let y = -2/15 + g. Let b be 10/(-15) + (0 - 1). Sort -2, y, b in increasing order.
-2, b, y
Let o = 2.052 - -0.048. Let a = -14.1 + o. Let t = a - -12.04. Sort -0.2, -0.1, t in decreasing order.
t, -0.1, -0.2
Let d = 0 + 2. Let u be (-2 - -3) + -4 + -2. Sort u, d, 0.
u, 0, d
Let d = 1.6 - 2. Let t = 28 + -22. Suppose 0 = k + 1 + t. Sort k, 0.5, d in ascending 