 order.
0, x, t
Let k = 113 + -111.79. Let j = k - -0.19. Let v = 2.4 - j. Sort 2, v, 6 in descending order.
6, 2, v
Let h = 21.95 + -0.95. Let k = -1.2 - 18.8. Let u = h + k. Sort -0.2, u, 0.3 in descending order.
u, 0.3, -0.2
Let m(n) = n**2 - 32*n - 33. Let j be m(33). Put -0.4, j, -3/4 in ascending order.
-3/4, -0.4, j
Suppose 8 - 24 = -4*r, 3*l - 2*r = 10. Suppose 3*n = 2*i - 6, 3*i = 3*n + 5*i + l. Sort 4, 3, n, -4.
-4, n, 3, 4
Let t = 221 + -218. Sort t, -0.18, -2, -5 in decreasing order.
t, -0.18, -2, -5
Let g = 974.5 - 974. Put g, 8, -0.1, 3 in ascending order.
-0.1, g, 3, 8
Let h = 8 + -5. Let z(o) = -o**2 + 4*o - 2. Let i be z(h). Suppose -9*a = -27 - 0. Sort i, a, -1.
-1, i, a
Let m = -9805.071 + 9800. Let g = m - -0.071. Put g, 2, 3, 1 in ascending order.
g, 1, 2, 3
Suppose 3*b - 6*b - 3 = 0. Suppose -3*l - 6 = n - 0*l, 2*n = 4*l + 18. Put 1, b, n in decreasing order.
n, 1, b
Suppose -3*u = -0*u + 2*y + 9, -5*u = -2*y + 31. Sort u, -4, -12 in decreasing order.
-4, u, -12
Suppose 2*i + 33 + 31 = 0. Sort 1, i, 4.
i, 1, 4
Let p = 130 - 131. Put -2, -7, 4, p in decreasing order.
4, p, -2, -7
Let u be 4/32 + (-22)/176. Sort -21/4, u, -4, -1 in decreasing order.
u, -1, -4, -21/4
Let o = 1.3 - 1.18. Put -7, o, -0.3 in decreasing order.
o, -0.3, -7
Let w(c) = 2*c - 12. Let q be w(6). Let x(z) = z**3 - 13*z**2 + 11*z + 16. Let i be x(12). Let f be ((i - 3) + q)*0. Sort 2, f, 1 in descending order.
2, 1, f
Let q = 8 + -5. Suppose 0 = -o - q*o - 16. Suppose -2*h + 3*t = 16, 0 = -4*h + h + 3*t - 18. Put 1, h, o in decreasing order.
1, h, o
Suppose -8*b = -4*b + 4. Let y be (1/1)/(-2*(-4)/16). Let u be y*-2*(-3)/12. Sort b, 5, u in ascending order.
b, u, 5
Let x = -1.51 + 0.51. Sort 1/4, -2, x, -3/2 in decreasing order.
1/4, x, -3/2, -2
Let k(t) = -t**3 + 12*t**2 + 26*t + 29. Let z be k(14). Sort -5, 9, z in decreasing order.
9, z, -5
Let k = 872 + -866. Sort 3, 3/7, k, 2 in decreasing order.
k, 3, 2, 3/7
Let z = 0.12 + 4.88. Let s = 46 - 47. Let n be (-3 - s)/(2/4). Put z, -1, n in descending order.
z, -1, n
Suppose 3*o + 3*n + 0 = 3, -19 = -4*o + n. Let z be ((-14)/o)/7*-6. Sort -4, z, 5.
-4, z, 5
Let r = -819 + 823.972. Let h = -0.028 - r. Sort -0.1, -2/25, h in increasing order.
h, -0.1, -2/25
Let j(t) be the third derivative of t**4/6 + t**3/6 - 3*t**2. Let a be j(1). Suppose 3*b = 3*i - 15, -2*i + 5 = -8*b + 7*b. Sort -3, b, a in decreasing order.
a, -3, b
Suppose 0*g + 4*g + 12 = 0. Let p = 0.1 + -0.1. Let f = 0 - p. Put g, 0.4, f in descending order.
0.4, f, g
Let t(x) = -2*x**3 + 6*x**2 - 2*x - 1. Let n be t(2). Sort 1, -2, 2, n in decreasing order.
n, 2, 1, -2
Let a(j) = -j - 1. Let l be a(-7). Suppose -f - 3 = x, 7 = -3*x + f - 10. Put -3, 2, l, x in increasing order.
x, -3, 2, l
Let r = -76 + 76.45. Let w = r + 0.55. Sort w, 0, 3/2 in ascending order.
0, w, 3/2
Let p = -0.032 + 3.032. Put 2, 1, -1, p in increasing order.
-1, 1, 2, p
Let s be (-3)/(0 - (8 - 7)). Sort -5, -18, s, -11.
-18, -11, -5, s
Let j = 3.2 - 2.7. Suppose -15 = -0*v - 3*v. Sort j, 2/13, -2/23, v in descending order.
v, j, 2/13, -2/23
Let d be ((-3)/6 - (-2)/4)/5. Sort -4, 4, -11, d in descending order.
4, d, -4, -11
Let n = -21.3135 - -0.0135. Let j = n + 21. Suppose 3*y = 4*a + 29, -a + 0*a + y = 8. Put j, a, 2/13 in increasing order.
a, j, 2/13
Let r = -11 + 11.2. Suppose 7 = 4*b + 2*w - 77, 2*b - 42 = 3*w. Let t = 19 - b. Sort 2, r, t in descending order.
2, r, t
Let i = -2.5 - -2. Let t be ((216/(-10))/3 - -2)*5. Let z be (-6)/10*t/(-39). Sort i, z, 0.1 in ascending order.
i, z, 0.1
Let q = 18 + -27. Let i be ((-1)/(-1))/((-1)/q). Let n = -11 + i. Sort 3, 0, n in increasing order.
n, 0, 3
Let l be ((-8)/(-20))/((-4)/(-120)). Let o be 183/l + (-2)/8. Suppose -6*d + d = -o. Put 0, -2, d in decreasing order.
d, 0, -2
Let n(t) = -t**3 + t**2 - 2*t + 3. Let p be n(0). Sort p, -12, -3, 5.
-12, -3, p, 5
Let t(i) = -i**3 + 16*i + 3. Let y be t(-4). Sort -5/6, -1, -1/3, y.
-1, -5/6, -1/3, y
Let n(k) = -k**2 - 20*k + 21. Let x be n(-21). Let t(z) = z**3 - 8*z**2 + 7*z - 1. Let h be t(7). Put -5, h, -3, x in ascending order.
-5, -3, h, x
Suppose 3 = 2*m + 9. Let f = 26 + -23. Suppose g = -4*a - 2, f*g - 2*a = 7*g - 6. Put -4, m, g in descending order.
g, m, -4
Let g = -74 - -75. Let r = -18 + 35/2. Sort g, 0.04, r, 3 in descending order.
3, g, 0.04, r
Suppose 75 = -22*p + 31. Sort 3, -3, p, 0 in decreasing order.
3, 0, p, -3
Suppose s = -1, -2*s = -f - 0*f + 25. Let i = 30 + -3. Let t = f - i. Sort -5, 3, t in ascending order.
-5, t, 3
Let l be (-35 + 3 + 0)*(2 - 4). Let s = -64 + l. Sort -5, -7, s.
-7, -5, s
Let n be 16*(3 + -2) + -1. Suppose 2*k - 5*k = -n. Sort 4, k, 22.
4, k, 22
Suppose -3*i = 4*p + 29, 3*i + p + 11 = i. Let a(j) = -j**2 - 3*j - 3. Let b be a(i). Sort 1, b, -1.
b, -1, 1
Suppose -5*h - 44 - 6 = 0. Let g = -45 + 48. Let a be g/((-6)/(-4)) + -5 + -2. Sort a, -3, h in descending order.
-3, a, h
Let h be (-2)/8 - 124/(-1152). Let m = h + 1/32. Let d be -1*(-24)/6 + (-17)/5. Sort m, 3/7, d in decreasing order.
d, 3/7, m
Let z(p) = p**3 + 5*p**2 + 4*p - 1. Let q = -22 - -18. Let l be z(q). Put 3, 4, l in descending order.
4, 3, l
Let d = -0.15 - 6.85. Let a = -57.1 - -57.1. Let n = 15 + -13. Sort d, n, a in increasing order.
d, a, n
Suppose -12 = -k - 7. Sort 6, k, 4, 3 in descending order.
6, k, 4, 3
Let f be ((11 - 9)*-1)/((-1)/(-2)). Put 4, 3, 1, f in decreasing order.
4, 3, 1, f
Let y = 0.331 - -0.669. Put 3/4, -7/15, y in descending order.
y, 3/4, -7/15
Let t(w) = w**2 - 4*w - 9. Let x be t(7). Let q = 16 - x. Sort 5, q, -8 in descending order.
5, q, -8
Suppose 2*t - 4*n = 30, 0 = -t + 3*n + 21 - 5. Let a = -223/455 + 4/65. Let x = 0.358 + -0.858. Put a, t, x in increasing order.
x, a, t
Let j = 5 + 9. Let u(n) = 2*n**3 - 29*n**2 + 14*n + 7. Let b be u(j). Suppose -2*f - 5 = 3. Sort b, 5, f in decreasing order.
b, 5, f
Let l be 48/(-144) + 5/(-3). Sort l, -5, 2, -11.
-11, -5, l, 2
Let k be (1 + 6/(-9))*0. Sort k, 3, -329 in decreasing order.
3, k, -329
Let t = 97 + -54. Let f = t + -31. Let p = -12 + f. Sort 3, p, -4 in descending order.
3, p, -4
Suppose -93 = 4*t - t. Let a = -542 + 539. Sort t, -4, a in descending order.
a, -4, t
Suppose 0 = -5*d + 5*z - 5, 6*d + 4*z - 12 = 8*d. Sort -2, d, 3, 33.
-2, 3, d, 33
Suppose 5*m = -4*d + 16, -3*m + 6*m + 4*d = 16. Let c be m + -2 + (-255)/(-17). Let n be (7 + 4/(-2))/1. Sort 2, n, c.
2, n, c
Let i be ((-10)/(-30))/((-1)/(-6)). Sort i, -43, 5.
-43, i, 5
Let y = 202 - 200. Let r be (0 - 1) + 2 + -1. Let a = 1 - 0. Sort r, a, y in decreasing order.
y, a, r
Let b be (-38 - -35)*(-1)/(-30)*2. Let a = -31 + 95/3. Sort a, b, 0.12 in ascending order.
b, 0.12, a
Suppose 0 = -5*r - z + 80, -2*z + 9 = -2*r + 29. Let i = -374 - -378. Sort i, r, -0.5 in descending order.
r, i, -0.5
Let g = -2221 - -2220.93. Let n = 2.9 + -3. Put 0, n, g, -0.5 in descending order.
0, g, n, -0.5
Let r = -1.6 + -3.4. Sort 4, -2, 1/3, r in ascending order.
r, -2, 1/3, 4
Let v = 270 - 272. Sort 2/3, -77, v in ascending order.
-77, v, 2/3
Suppose -3*z + 16*z + 26 = 0. Sort 1, -23, z in descending order.
1, z, -23
Let f be (-78)/(-26) - (-1 - -2). Suppose -f*r - 240 = 6*r. Sort 2, r, 0, 4 in descending order.
4, 2, 0, r
Suppose -3 = -3*r + 4*h - 20, 0 = -5*r - 4*h - 39. Put 5, r, 2 in decreasing order.
5, 2, r
Let s(z) = z**3 + 26*z**2 + 66*z - 67. Let y be s(-23). Put y, 3, -7, -1 in descending order.
3, y, -1, -7
Suppose 0 = 7*r + 3*r - 10. Put -33, r, 5 in descending order.
5, r, -33
Suppose 3*l + 19 = c, l - 3 = -c - 4. Sort l, 1, -567.
-567, l, 1
Let m(z) = -z**2 + 13*z - 7. Let d be m(12). Suppose -2*u = -t - 2*t + 15, -5*u = -2*t + 21. Sort d, u, 2, 0.
u, 0, 2, d
Let g be 18/5 - (-8)/20. Let h(y) = y**3 + 13*y**2 + 9*y - 16. Let j be h(-12). Suppose g*l + l - j = 0. Put 1, l, -5 in increasing order.
-5, 1, l
Suppose -62*r = -s - 60*r + 18, 0 = 3*s - 2*r - 46. Put s, -3, 0 in decreasing order.
s, 0, -3
Let k be (-7)/(-2) + 15/(-10) - 3. Suppose 8*a = 9*a. Sort a, k, -5 in descending order.
a, k, -5
Let n = 1343 - 1347. Put n, 2/7, 2/13, -18 in decreasing order.
2/7, 2/13, n, -18
Let t = 144.55 - 138. Let v = t - 6.6. Let b = 1 - 0.5. Put -0.3, v, b in descending order.
b, v, -0.3
Suppose -4 = -4*b + 2*b. Let u(g) = 7*g**2 + 4*g - 