order.
n, 0.5, 0.4
Let g(t) = t + 10. Let q be g(-5). Suppose 0 = 5*w - 0 - 30. Put q, 2, w, -4 in decreasing order.
w, q, 2, -4
Suppose -152 = 22*g - 42. Put 2, 3, 12, g in ascending order.
g, 2, 3, 12
Suppose -3*t - 14 = -32. Let f = 0.34 + -0.13. Let u = -0.09 - f. Put t, -1/4, u in decreasing order.
t, -1/4, u
Let i = -6 - 9. Let f = i - -19. Let n = -1 - 0. Sort -3/5, n, f in descending order.
f, -3/5, n
Let j = 136 - 138. Sort -5, j, 3, 1 in ascending order.
-5, j, 1, 3
Let x = 163 + -327/2. Sort 46, x, -3.
-3, x, 46
Let l(c) = c**3 - 5*c**2 + 11*c - 31. Let z be l(4). Let j = 2.96 - -0.04. Sort -2, z, j in decreasing order.
j, -2, z
Let y = -708 - -6373/9. Let v = -0.6 + 1. Sort -10, y, v in descending order.
v, y, -10
Let c = -145 - -149. Sort 1/221, 0, c.
0, 1/221, c
Let u be 2*(10 + 276/(-24)). Let d(w) = w**3 - 2*w**2 - w - 2. Let m be d(3). Suppose k - 17 = -3*b, 26 + 10 = m*b + 4*k. Sort b, u, -1 in decreasing order.
b, -1, u
Let l = -2/17 + -13/34. Let d = 970 - 958. Sort l, -2/9, -1/4, d in increasing order.
l, -1/4, -2/9, d
Let u = 726 - 724.2. Sort -2/9, u, 0.
-2/9, 0, u
Suppose -3*m = 3 - 18. Let j be ((-5)/(15/9))/(17/(1615/57)). Put j, 2, 4, m in decreasing order.
m, 4, 2, j
Suppose 5*w - 7 = 4*m, 5*w + 2 = m - 0. Let k = -0.02 - 0.38. Let y = -0.6 + 2.6. Sort y, k, m in decreasing order.
y, k, m
Let f = 362 - 355. Let y(b) = 2*b - 23. Let r be y(9). Sort 1, r, f in descending order.
f, 1, r
Suppose 14 = 2*z + 5*w, -20 = -5*z - 0*z - 5*w. Suppose 9*r + 4*u - 28 = 5*r, 2*u = -5*r + 23. Let y be 1/2 + 124/8. Sort z, y, r.
z, r, y
Let h be 34/(-51) + 5/3. Let w be 15/(-6)*(-20)/425. Sort h, w, -3 in ascending order.
-3, w, h
Let j(s) = 5*s**2 + 17*s + 4. Let u(r) = -11*r**2 - 35*r - 9. Let c(l) = 13*j(l) + 6*u(l). Let b be c(11). Let t = -17 + 22. Sort 1, b, t in decreasing order.
t, 1, b
Let r be ((-2)/(-4))/(2/(-8)). Let j = -20 - 15. Let q = -30 - j. Put q, 10, r in descending order.
10, q, r
Suppose 0 = -4*y - 4*v - 328, -5*v + 2*v = 2*y + 162. Let c = -82 - y. Suppose 0*m + 9 = -4*n + m, 2*n + 7 = 3*m. Sort -1, n, c.
n, -1, c
Let v be (-4)/(-14) - 33/(-7). Let s = 403 + -408. Sort v, 0, s.
s, 0, v
Let c = -8 + 13. Suppose 2*l = l + t - 1, -30 = -9*l - 4*t. Put -4, c, l, 3 in descending order.
c, 3, l, -4
Suppose 4*h - 10 = -2*r, r + 0*r = 2*h - 11. Let a = h - 4. Let d be (-6)/(-7)*(355/40 + -8). Sort a, d, 0.4 in decreasing order.
d, 0.4, a
Let m = -2338/5 - -468. Sort m, 4, -0.02, 3.
-0.02, m, 3, 4
Suppose 3*w - 123 = -132. Sort w, 3, -2, 5 in descending order.
5, 3, -2, w
Suppose -41 = -5*s + 4*h, -12*h = 5*s - 11*h - 21. Put 19, s, -1 in increasing order.
-1, s, 19
Let b = 22 + -14. Let f be (b/10)/(4/(-10)). Let i be 1*4/(1 + f). Sort i, 0, 4 in decreasing order.
4, 0, i
Let f = -10 + 9. Let m = 2/573 - -758/1719. Let y = 125/4 + -31. Put m, y, f in decreasing order.
m, y, f
Let z = 88 + -45. Let n = z - 49. Put 3, 0, n in decreasing order.
3, 0, n
Suppose -f - 1 = -3. Let y be (-186)/38 - (-60)/(-13110)*23. Sort f, y, -3, 4 in increasing order.
y, -3, f, 4
Let p = 611/3 - 2447/12. Sort p, -3, 1.
-3, p, 1
Let q be 3*12/(-9) + -127. Let j = 1178/9 + q. Let s = -0.16 - 0.04. Sort s, j, -1 in ascending order.
-1, s, j
Let m = 128 + -129. Suppose 3*l - 12 = 6. Sort m, 4, l in increasing order.
m, 4, l
Let v be (-15)/(-66)*((-72)/30)/3. Put -1, v, -5 in ascending order.
-5, -1, v
Let t = 136 - 145. Let c(b) = b**3 + 8*b**2 - 9*b + 5. Let s be c(t). Sort s, 3, 4, 6.
3, 4, s, 6
Suppose -2 = 61*k - 60*k. Let t(x) = -2*x**2 - x + 1. Let w = 1 - 3. Let g be t(w). Sort k, g, 1 in ascending order.
g, k, 1
Suppose -15 = -5*i - 5*f, 2*i - 16 = 5*f - 2*f. Suppose 3*d = 4*r + 5*d - 20, -2*d = -4*r + 20. Suppose 2 = r*x + 12. Put x, i, 4 in decreasing order.
i, 4, x
Suppose 958*l = 950*l - 24. Let y = -122/15 + 22/3. Put y, l, 1 in descending order.
1, y, l
Let u = 280 + -282. Put -3, -1, u, 5/4 in ascending order.
-3, u, -1, 5/4
Let x(b) = b**3 + 13*b**2 - 15*b - 8. Let j be x(-14). Suppose -j = -2*w - 0. Sort w, 5, 4 in increasing order.
w, 4, 5
Suppose -5 = -2*b - 3*b. Sort 2, b, 5, 164.
b, 2, 5, 164
Let v = 2 + -3. Let x be 2 - (-1 + 2)*2. Suppose 3 = 3*g - x*g + 3*o, 2*g - 3*o - 7 = 0. Put v, -3, g in increasing order.
-3, v, g
Suppose -3*k + 3*k = 4*k. Put -20, -4, k in decreasing order.
k, -4, -20
Let c = -85 - -33. Let r = c + 52.1. Suppose -5*x + 3*x = -10. Put x, -4, r in decreasing order.
x, r, -4
Let u(f) = f - 7. Let b be u(7). Let i = -3167 + 3170. Put 4, b, i, -4 in decreasing order.
4, i, b, -4
Let u(o) = -o**3 + 42*o**2 + 88*o - 3. Let s be u(44). Sort -1, 46, s, 3.
s, -1, 3, 46
Let i = -1473 - -1468. Sort -1, i, -12 in decreasing order.
-1, i, -12
Suppose -2*q = -3*r - 4 + 9, 4*q - r - 5 = 0. Let s be 214 - 215 - 2/(2 + -4 - -4). Sort q, -5, s.
-5, s, q
Let y = 31 + -24. Let g = 6 - y. Let s = 6 - 3. Sort s, g, -5 in decreasing order.
s, g, -5
Let v be ((-2)/7)/(2/(-2)). Let w be 9/25*115/69. Let t = 3 + -3.04. Sort t, w, v in decreasing order.
w, v, t
Let l = 35 + -26. Suppose -5*f + 4*n + l = 0, -3*f - 2*n + 19 + 4 = 0. Sort -1/4, f, -20.
-20, -1/4, f
Let m(w) = w - 3. Let b(p) = -2*p - p**2 + 6*p + 5 + 4. Let f be b(5). Let u be m(f). Sort 8, u, -1 in ascending order.
-1, u, 8
Let z(j) = -j**2 + 11*j - 6. Let c be z(10). Suppose 0*y = -c*y - 56. Let f = y - -17. Sort 2, -3, f in descending order.
f, 2, -3
Suppose -230*f + 226*f + 16 = 0. Put 25, 3, f, 5 in decreasing order.
25, 5, f, 3
Let y = -98 - -68. Let k = 29.6 + y. Let m = -11 - -8. Put k, m, -1/2 in descending order.
k, -1/2, m
Let v = -1133/9 + 126. Let m = -23 - -45/2. Let f = -7/10 - m. Sort f, v, -1 in increasing order.
-1, f, v
Let p = 44 - 45. Put p, -9, 8 in descending order.
8, p, -9
Let o(u) = -u**3 - 13*u**2 - 35*u + 5. Let z be o(-9). Sort z, -3, 14 in increasing order.
z, -3, 14
Let q = -0.11 - -55.11. Let c = 50 - q. Sort 5, c, 3/5 in decreasing order.
5, 3/5, c
Suppose -57*k - 5 = -5. Let d = -2 + 2.4. Put -1, d, -3, k in decreasing order.
d, k, -1, -3
Let u = 490.2 + -490. Sort -1, u, -290 in descending order.
u, -1, -290
Let q = 136.8 + -120. Let c = 17 - q. Let w = -0.09 + -0.61. Sort 3, c, w in increasing order.
w, c, 3
Let j(y) = -y - 3. Let t be j(-7). Suppose -t*x - 5 = -9*x, -2 = -5*r - 2*x. Let m = 4 + -6. Put r, m, -3 in increasing order.
-3, m, r
Let i be 4 - -1 - (2 - 2). Suppose -2 - 18 = -5*o + i*v, 2*v - 10 = -4*o. Suppose -n = -3*q + 1 - 0, -q + 11 = -3*n. Put n, o, 5 in descending order.
5, o, n
Suppose 0 = -5*l + 3*j + 5 + 15, -j - 7 = -2*l. Let d be (-16)/(-20)*l*1. Let r = -0.08 + 0.38. Sort -4, d, r in increasing order.
-4, r, d
Let b = 0.409 + 0.191. Sort 8, b, 0.3 in increasing order.
0.3, b, 8
Let z = -0.08 - -0.03. Put -6/7, -3/10, z in decreasing order.
z, -3/10, -6/7
Suppose 5*z - 8 = a + 30, 3*z = 4*a + 220. Let h = a + 60. Suppose 3*t + 13 - 4 = 0. Sort h, 4, t in descending order.
4, h, t
Let x(y) = y**3 + 3*y**2 - 3*y + 2. Let r be x(-4). Let h = -64 + 67. Sort 1, r, 2, h in descending order.
h, 2, 1, r
Let q = 53.2 + -40. Let a = 14 - q. Let f = 1 - a. Put f, 4/5, -4 in decreasing order.
4/5, f, -4
Let f = -6 + 5. Let z(q) = 5*q. Let k be z(1). Put f, -6, k in descending order.
k, f, -6
Let w = 2.621 - 2.421. Put 0, -9, -30, w in increasing order.
-30, -9, 0, w
Suppose -3*o = -2*o - 5. Let c(l) = l**2 - 8*l + 6. Let v be c(o). Let w = v - -12. Put 0, w, 1 in increasing order.
0, 1, w
Let s = 0 + 0.1. Let t = 0.24 + 3.06. Let o = t - 2.3. Sort o, s, -4 in descending order.
o, s, -4
Let s = -924.14 + 933. Let m = s + 0.14. Let f = m + -5. Sort 1/12, -3, f in descending order.
f, 1/12, -3
Let k = 2731 + -2731.1. Let w = 9.7 + -0.7. Sort k, -6, w in decreasing order.
w, k, -6
Let j be (-23)/7 + (-14)/(-49). Suppose 0 = 5*g + 427 - 427. Sort j, -1, g in increasing order.
j, -1, g
Let i(q) = -12*q - 57. Let z be i(-5). Let n = z - 9. Sort n, 11, -5 in decreasing order.
11, -5, n
Let y be 14 - 3 - 1 - -3. Let q = 12 - y. Sort -2, q, 1 in increasing order.
-2, q, 1
Let r be 59*(0/3 - (2 - 3)). Sort -4, r, 6, -3 in ascending order.
-4, -3, 6, r
Let c(h) = -2*h**2 - 16*h - 11. Let a be c(-7). Put 78, a, -5, 2 in descending order.
78, a, 2, -5
Suppose 6 - 62 = 4*o. Let z = o + 17. Let w be ((-4)/(-40))/((-8)/10). So