order.
t, -3, -5
Suppose -5*f = 2*r + 237 + 36, 0 = -3*f - 4*r - 175. Let d = 479/9 + f. Sort d, 1/4, 4.
d, 1/4, 4
Suppose 4*x - 6 = 18. Let y be (-18)/4 + -4*x/(-48). Put y, 1, 4 in ascending order.
y, 1, 4
Let n be -9*1/8 + 1. Let t = -4.04666 - -0.04666. Sort 1/3, n, t, -3/4.
t, -3/4, n, 1/3
Suppose s - 12 = 14. Let h = s + -29. Suppose -3*q = -q - 14. Sort q, -4, h in descending order.
q, h, -4
Let t(h) = -4*h**3 + 4*h**2 - h + 3. Let o(w) = -w**3 + w**2. Let i(a) = -5*o(a) + t(a). Let b be i(2). Put -2, -4, -3, b in increasing order.
-4, -3, -2, b
Let x = -65/22 - -38/11. Put 2/7, x, -0.3 in increasing order.
-0.3, 2/7, x
Let r = -2.5 + 0.5. Let k = -2640 + 2640.2. Put 5, r, k in descending order.
5, k, r
Let p = 6 - 11. Let v be -1*((-10)/12)/p. Let g = 10939/2 + -5469. Put 1, g, v in ascending order.
v, g, 1
Let m be 3 - (0/3 - -3). Let w(x) = x**2 - 2*x + 9. Let f be w(m). Let r be (-5 - -4)*(-3)/f. Put -4, r, -2 in decreasing order.
r, -2, -4
Let i = 14 - 14. Suppose i = 2*s + 31 - 33. Sort -4, -1, s in decreasing order.
s, -1, -4
Let z = -513 - -516. Sort z, 1, -16 in decreasing order.
z, 1, -16
Let h = -0.784 - 0.216. Sort 40, -4, h in decreasing order.
40, h, -4
Let p be 12*9/270*-5. Sort p, 9, 24 in decreasing order.
24, 9, p
Let t be ((-1469)/226)/(2*2/(-8)). Let z = 11.8 + -12. Let s = 6.3 - 6. Put t, s, z in descending order.
t, s, z
Let f = 20.5 - 18. Let m = f + -2.7. Sort m, 0.4, 0.02 in increasing order.
m, 0.02, 0.4
Let f = -0.1 + -0.4. Suppose 40 + 8 = 2*h. Sort -4/7, f, h, -1/4 in descending order.
h, -1/4, f, -4/7
Let d = 86.3 - 82. Let p = 4 - d. Put 1, 3, p, 0.2 in decreasing order.
3, 1, 0.2, p
Let y = -4.037 - -0.037. Let f = -0.17 + -7.83. Let j = f - -8.4. Sort -2, y, j in descending order.
j, -2, y
Let p = 759 - 1517/2. Sort p, -20, 1 in descending order.
1, p, -20
Let a(v) = v**2 + 15*v + 28. Let f be a(-13). Let r be 10/20*1/f*-3. Sort r, -7, 4 in ascending order.
-7, r, 4
Let y = 3.1 + 0.9. Let i be 102*(-4)/(-32)*2. Let a = 253/10 - i. Put y, a, 0.4 in descending order.
y, 0.4, a
Let b = -25.1 + 25.1. Suppose u - 20 = -3*u. Suppose -4*v - 10 = -u*k - 1, 5*v - 45 = -5*k. Sort v, b, 5 in increasing order.
b, v, 5
Let w = -99/10 + 103/10. Sort 2/13, w, 3, -3 in decreasing order.
3, w, 2/13, -3
Suppose 0 = 2*l + 6, -9 = -3*j - 0*j + 2*l. Let v = 65/261 + -4/29. Put -0.1, v, j in descending order.
j, v, -0.1
Let x = -344 - -333. Sort x, -1/7, 1/4 in decreasing order.
1/4, -1/7, x
Suppose 4*a + 2646 = 2650. Put 9, a, 5 in ascending order.
a, 5, 9
Suppose -2*x = 5*o - 2 + 4, -3*o - 3 = 3*x. Let h(i) = i**3 + 6*i**2 - 1. Let m = 9 - 15. Let d be h(m). Sort 1, d, o in increasing order.
d, o, 1
Let h = 499 - 612. Put -3, 0, h in ascending order.
h, -3, 0
Suppose -32*a + 5*a = -54. Sort 1, -9, -5, a in increasing order.
-9, -5, 1, a
Let y = 18 + -20. Let d = y + 0. Sort -5, -0.4, d in decreasing order.
-0.4, d, -5
Let o = -513 + 516. Put -11, -5, o in increasing order.
-11, -5, o
Let i = -46.2 - -45.5. Sort -2, 1/4, i in increasing order.
-2, i, 1/4
Suppose -1 - 11 = -3*o. Let f be ((-6)/(-10))/((-1)/(-5)). Suppose -3*y = -z + 17, -3*z - 11 = -z + f*y. Put z, -3, o in ascending order.
-3, z, o
Let w = 1 + 0. Suppose -10*g + 38 = -2. Suppose 2*n - g*f = 2, 5*n - 4*n - 5*f = 16. Sort w, 4, n in descending order.
4, w, n
Let z = 3.72 - -0.38. Let l = -0.17 + 0.07. Let k = z + l. Sort k, -3, -4 in increasing order.
-4, -3, k
Let c = 13360 - 467668/35. Let l be 2/(-3) + (-31)/21. Let d = l - c. Sort d, -3, -2 in descending order.
d, -2, -3
Let m(f) = f**3 + 2*f**2 + 2*f + 3. Suppose 5*v + 7 = -t, 11 = -3*v + 2*t - 1. Let a be m(v). Let x(w) = w + 8. Let p be x(-7). Put 3, a, p in descending order.
3, p, a
Let i = 1308 - 1222. Put 2, i, -3, -1 in decreasing order.
i, 2, -1, -3
Let p = -325 - -324.95. Sort 26/3, p, 0.2 in descending order.
26/3, 0.2, p
Let h(n) = -2*n**2 - 75*n - 422. Let m be h(-7). Suppose -x - 1 = 4*a, 3*a + 3 = -2*x + 1. Let b = 3 - x. Sort b, m, -1.
-1, b, m
Suppose -5*c = 5*n, -c + 0*c - 16 = 5*n. Sort 3/2, c, 6/7.
6/7, 3/2, c
Suppose -7*g + 34 + 120 = 0. Sort 0.4, -3, 2/17, g.
-3, 2/17, 0.4, g
Let d(j) = j**3 - 27*j**2 - 27*j - 16. Let f be d(28). Sort f, 0.5, -6.
-6, 0.5, f
Let h(r) = r**3 - 3*r**2 - 14. Let n be h(4). Let d(c) = -c**3 - 9*c**2 + 23*c + 15. Let j be d(-11). Sort -36, n, j, 5.
-36, n, j, 5
Let z(y) = y**2 + 6*y - 17. Let l be z(-8). Sort 7, -2, 2, l in ascending order.
-2, l, 2, 7
Suppose -3*t + 3*w + 8 - 2 = 0, -5*w - 4 = t. Suppose 0 = -5*i + 12 + 8. Sort 3, i, t in descending order.
i, 3, t
Suppose -2*g + 20 = 3*g. Suppose 4*l = 3*l - g. Let s = 1 + l. Put s, -2, 2 in increasing order.
s, -2, 2
Let s = 353 + -355. Sort -0.1, -1, 4, s.
s, -1, -0.1, 4
Let b = -135 - -135.369. Let d = 0.061 + b. Let s = 0.13 - d. Sort 1/6, -0.5, s.
-0.5, s, 1/6
Let d = -3/196 + 419/1764. Let j be (-1)/3 + (-741)/(-9). Let y = j - 408/5. Put d, y, -0.1 in descending order.
y, d, -0.1
Let y(x) = x + 6. Suppose 3*j = -3*o - 0*j - 9, o = 3*j + 9. Suppose o = 3*t + 2*t + 20. Let b be y(t). Put -8, b, 3 in decreasing order.
3, b, -8
Suppose -8*l = -3*l - 40. Let u = l + -10. Let t(b) = b**2 + 3*b + 5. Let o be t(0). Put 3, o, u in decreasing order.
o, 3, u
Suppose 993*g - 350 = 986*g. Put -5, g, -4 in decreasing order.
g, -4, -5
Let r = 44 - -31. Let b = r - 75.1. Put -2/5, b, -3 in increasing order.
-3, -2/5, b
Let t = -36 + 183/5. Sort 3, 2, t in descending order.
3, 2, t
Let w = 10.2 + -12.5. Let z = 2.7 - w. Sort 0.4, 4, -2/19, z in ascending order.
-2/19, 0.4, 4, z
Let g = 43 - 15. Let c = g - 47. Let f = 17 + c. Put 5, 4, f in descending order.
5, 4, f
Let z be 8/(-52) + (-50)/13. Let j = z - -16. Let y be ((-6)/(-28))/((-6)/j). Put -5, 3/4, y in decreasing order.
3/4, y, -5
Let a = -0.5 + 15.5. Let x = 1 + a. Let q = 17 - x. Sort -4, 4, q.
-4, q, 4
Let j(g) = g**3 + 10*g**2 + g + 13. Let s be j(-10). Let a be 2/(-3)*s/12. Put -4, a, 0.1, 3/7 in descending order.
3/7, 0.1, a, -4
Let y = 9.026 - 0.026. Let m be 4/(-3)*(2 + -5). Sort y, 0.1, m in increasing order.
0.1, m, y
Let u(y) = -2*y**2 + 13*y + 11. Let v be u(9). Let s = -29 - v. Sort -3, s, -5, 10.
-5, -3, s, 10
Suppose -2*x - 9 = -5*x. Suppose -4*d - x = 1. Let w(r) = -r**2 + 7*r + 4. Let o be w(8). Put d, o, 0 in descending order.
0, d, o
Let x(l) = -l**2 + 7*l + 8. Let i be x(6). Suppose -j = 11 - i. Put 4, -6, j, 1 in ascending order.
-6, 1, j, 4
Let o = -1.8 - 13.2. Let m = -16 - o. Let k = -5.1 - -0.1. Sort m, 1/4, k in descending order.
1/4, m, k
Let h = -4287 - -4280. Let r = 0 + -4. Put r, h, -2/5 in descending order.
-2/5, r, h
Let k = 156.3 + -156. Let m = -22 - -21.94. Sort k, m, 0.5, -4 in decreasing order.
0.5, k, m, -4
Let q be 7 - 21 - -9 - 10/(-2). Sort q, -1, 2, 5 in ascending order.
-1, q, 2, 5
Suppose 4*t + g + 26 = 0, -t - 39 = 4*t - 2*g. Let s = t - -12. Let b(u) = u**3 - 6*u**2 - 2*u + 7. Let w be b(6). Sort 0, w, s in ascending order.
w, 0, s
Let v = -95.7 - -99. Let g = -5.3 + v. Suppose -d = -3 - 1. Sort d, g, -0.4 in ascending order.
g, -0.4, d
Let i be (-1719)/764*(-2)/(-6). Let j = 0.35 - 0.3. Sort i, -2/9, j, -1 in decreasing order.
j, -2/9, i, -1
Let t = 1 + -1. Let i = -1 + 6. Suppose i*j - j - 8 = 0. Sort 1, j, t in ascending order.
t, 1, j
Let y(t) = -t**3 + 4*t**2 - 3*t. Let d be y(3). Suppose d = -f + 4. Let v be (0 - -1)/1*1. Put -5, v, f in decreasing order.
f, v, -5
Suppose -z = -2*z + 5*b - 3, -3*z - 9 = -5*b. Let l = 2180 + -2188. Sort -2, z, l in descending order.
-2, z, l
Suppose 0 = -4*z + 3*u + 16, -5*z + 0*z - 5*u = -20. Suppose z*t - 2 = 10. Sort -4, 6, t in increasing order.
-4, t, 6
Let v = -1.1 + -37.9. Sort 5, v, -1.
v, -1, 5
Let j(y) = -3*y**2 + 11*y - 13. Let q be j(1). Sort q, -14, -2, 0 in increasing order.
-14, q, -2, 0
Let o(z) = -z**3 - 14*z**2 + 16*z + 37. Let g be o(-15). Let f = g - 25. Sort -1, f, -2 in decreasing order.
-1, -2, f
Suppose 0 = -5*t - 2*y - 19, 3*t + 7 = 2*y - 14. Let a be (2 - 20/8)*(-6 + 8). Put a, -3, t in increasing order.
t, -3, a
Let c(y) be the third derivative of y**5/60 + y**4/4 - y**3/3 + y**2. Let n be c(-6). Suppose 17*r + 95 = 10. Sort r, 1, n in increasing order.
r, n, 1
Suppose 0 = 30*u - 6*u + 19*u. Put u, 0.1, -40 in decreasing order.
0.1, u, -40
Let