in increasing order.
y, -0.3, 2/5, 1
Let b be ((-3)/90)/(4/(-16)). Let u = 27 + -27.04. Let x = u + 0.24. Sort b, 2, x.
b, x, 2
Let r = -2 - -3. Let b(y) = y**3 - 9*y**2 - 23*y + 9. Let v be b(11). Let s(k) = k**2 + 11*k + 21. Let o be s(v). Sort r, -2, o in increasing order.
-2, r, o
Suppose -4 = 1049*z - 1053*z. Let h = -4 + 0. Sort h, z, 3 in increasing order.
h, z, 3
Let z be ((-8)/(-6))/(188/705). Put -2, z, 7, 3 in decreasing order.
7, z, 3, -2
Suppose 2*g + 3 = 1. Let o be 39 - (4 - 4)/(-2). Let u = o - 35. Sort u, g, -5 in increasing order.
-5, g, u
Suppose 0 = -9*f + 6*f - 3. Let a be 2 - (0/2 - f). Sort 0, a, -7 in increasing order.
-7, 0, a
Let f(q) = -q**2 + 59*q + 4. Let t be f(59). Suppose 0 = -3*g - 3*m - m + 5, -3*g = -3*m + 9. Put t, g, -5 in decreasing order.
t, g, -5
Let r = -996.27 + 997. Put -3/4, r, 4, -4 in increasing order.
-4, -3/4, r, 4
Suppose -7*g + 863 = 681. Put -5, g, 1, 2 in decreasing order.
g, 2, 1, -5
Let x be (-570)/304 - (-4 + 1 - -1). Put -12/31, x, -5 in ascending order.
-5, -12/31, x
Let b be (-28)/(-49) - (-7914)/42. Sort 4, -2, b.
-2, 4, b
Suppose 0 = 7*a + 12 - 33. Put 4, 7, a, -1 in ascending order.
-1, a, 4, 7
Suppose 235*r = 226*r + 36. Sort r, -4, 31 in increasing order.
-4, r, 31
Suppose -37*w = 14*w + 51. Let v = -23 + 12. Sort v, w, 0.5 in increasing order.
v, w, 0.5
Suppose 5*h = -w - 0*h + 18, 0 = -2*w + 2*h - 24. Let t = w + 7. Put 5, 1, t, -1 in descending order.
5, 1, t, -1
Let t = 0.07 + 0.033. Let q = -0.003 + t. Put q, -15, 0.5 in increasing order.
-15, q, 0.5
Let m(d) = d**3 - 4*d**2 - 2*d + 5. Let v be 5 + (-3 + 1)/2. Let g be m(v). Let f be (-38 - -34) + (0/2 - 1). Put 3, f, g in descending order.
3, g, f
Suppose -5*f = -3*c - 10, 4*f + c = -0*c + 25. Suppose 0 = 4*h - 8, 2*h = f*q - 7 - 4. Let v = q - 5. Put -5, v, 1 in ascending order.
-5, v, 1
Let y(k) be the first derivative of k**2/2 + 16*k - 32. Let s be y(-11). Sort -1, 0, s in decreasing order.
s, 0, -1
Let r = 46 + 23. Let a = -71 + r. Sort -3, -0.1, a.
-3, a, -0.1
Let x be (7 - (-204)/(-30)) + (-618)/(-10). Sort x, 3, 2 in ascending order.
2, 3, x
Suppose -3*k + i - 3 = 0, 2*k + 11*i - 10*i - 3 = 0. Sort k, -2, -14 in descending order.
k, -2, -14
Let w = 65 - 67. Let i = -1.1 - 0.9. Let p = i - -1.9. Sort w, p, -4/9.
w, -4/9, p
Let d = 1.289 + -15.289. Put -2/11, d, 1 in ascending order.
d, -2/11, 1
Let d(b) = b**3 - 13*b**2 - 10*b - 51. Let y be d(14). Put -6, y, -2 in ascending order.
-6, -2, y
Let p(z) be the first derivative of -z**3/3 - 3*z**2 - 10*z - 24. Let n be p(-5). Sort n, -8, 3.
-8, n, 3
Let t = -36 + 41. Suppose -5*h + 3*k + 4 = 8, h - t*k = -14. Let n be (-1 - 0)*(3 - -1). Put -3, h, n in decreasing order.
h, -3, n
Let j = 151 - 212. Let a = j + 62. Sort a, 3/4, 0.1, -4 in ascending order.
-4, 0.1, 3/4, a
Let h = -82 - -83. Let c = -16 - -11. Sort 3, h, c in decreasing order.
3, h, c
Suppose m = 3*m. Suppose 2*k + m - 2 = 0. Let f = 32 - 36. Put k, f, -1 in ascending order.
f, -1, k
Let o = 9 + -8.76. Let j = -0.13 - -0.19. Let k = j + o. Put 0.4, k, -2/5 in increasing order.
-2/5, k, 0.4
Let g be (3/(-36))/((-3)/(-8)). Let j(t) = -t - 3. Let s be j(3). Let w(l) = -l**3 - 7*l**2 - 7*l - 5. Let u be w(s). Sort 7, g, u in increasing order.
g, u, 7
Suppose a + 0*a = 5*a. Sort -4, 627, a in ascending order.
-4, a, 627
Let y = -1827 - -1827.8. Sort -3/4, -2/3, y, 0.2 in ascending order.
-3/4, -2/3, 0.2, y
Let x = 2375 + -2373. Suppose -3*d = 5*g - 0*d - 3, 0 = g + 3*d + 9. Sort x, g, -12, -1.
-12, -1, x, g
Let u be 16 + -9 + ((-158)/(-22))/(-1). Sort 4, -2, 2/11, u in increasing order.
-2, u, 2/11, 4
Let l(c) be the second derivative of 0*c**4 + 0*c**3 - 1/2*c**2 - 1/5*c**5 + 0 - 10*c. Let w be l(-1). Sort 0, 5, w in decreasing order.
5, w, 0
Let i = 66 + -91. Let y = -29 - i. Sort y, -1, -3.
y, -3, -1
Let t = -4094 + 4093. Suppose -2*g - 17 = 3*b, 0 = -2*b - 4*g + 11 - 33. Sort -2, 0, t, b.
b, -2, t, 0
Let w = -0.07 + -7.93. Let u = 5 + w. Let s = 0.173 + -0.573. Put s, -5, u in increasing order.
-5, u, s
Let v = -78 + 81. Let z be 0/(-3 + -4 + v). Suppose -3*s - 4*i - 23 = 0, 5*i + 15 = -s - 0*i. Sort 4, s, z.
s, z, 4
Let z be (((-350)/15)/7)/((-26)/39). Sort z, -0.3, 14, 8/7 in decreasing order.
14, z, 8/7, -0.3
Suppose 4*h - 3*f = -8*f - 3, -5*h - 8 = 2*f. Suppose -2*s + 4 = -2, 4*n - 26 = -2*s. Sort 0, 8, h, n.
h, 0, n, 8
Let u = 2 + 0. Suppose -3*d - u*d = 0. Suppose -4*x + b = d, 4*x = 5*x + b + 5. Sort 0, x, 2 in ascending order.
x, 0, 2
Suppose 3 = -84*l + 87*l. Put l, -5, 4, 33 in ascending order.
-5, l, 4, 33
Let c = 14 - 14.4. Let y = 7 + -15. Let k = -7.9 - y. Sort c, k, 0.
c, 0, k
Suppose 0 = -t - 3*t - 32. Let l = 267 + -255. Suppose -2*b = 5*j + l, b = 3 + 1. Put j, -3, t in decreasing order.
-3, j, t
Let w(n) = 58*n + 188. Let t be w(-3). Sort 5/2, t, -0.1 in descending order.
t, 5/2, -0.1
Suppose -4*l - 4*f = -32, 0*l - 8 = 2*l - 4*f. Suppose -2*a + l*w = -36, -2*a - w = -0*a - 26. Let b = a - 11. Sort 0, -4, b in increasing order.
-4, 0, b
Suppose 0*h - 24 = -6*h. Suppose 15 = -p - h*p. Put -4, p, -5 in increasing order.
-5, -4, p
Suppose -16*u = 9 - 9. Sort -51, -5, 1, u.
-51, -5, u, 1
Let p be -3 - (-2 - (1 + -1)). Let l(d) = -d**2 - 9*d - 17. Let u be l(-6). Suppose 2*r + 0*r + 8 = 0. Sort r, p, u in ascending order.
r, p, u
Suppose 32*q = -6*q - 38. Suppose 4*l - 24 = 4*c, 0*c + 8 = -4*c. Put q, -9, l in ascending order.
-9, q, l
Let h = -2794 + 2794.13. Sort h, 7, 5.
h, 5, 7
Let w = -216 + 305. Suppose 4*x - 51 = 3*v, -w = 5*v + 3*x - 33. Let t = v + 15. Sort t, 0, -5 in descending order.
t, 0, -5
Let s be -1*(-2 - 0/1). Suppose 4*t - 5*k = -45, k + 30 = -5*t + s*k. Put -2, t, 0 in increasing order.
t, -2, 0
Let j = 308 - 143. Put 5, j, 0 in descending order.
j, 5, 0
Suppose -5*m = -461 + 416. Sort -3/5, m, -1/15 in increasing order.
-3/5, -1/15, m
Suppose -2*j = 2*w - 6 - 32, 1 = -j. Put 4, 0, w, -4 in ascending order.
-4, 0, 4, w
Let p = 4.392 + 0.608. Put p, 0.5, -1/14 in ascending order.
-1/14, 0.5, p
Let t = 44 + -37. Let p(z) = -3*z + 21. Let b be p(t). Let i(m) = -m**3 - m + 5. Let f be i(0). Put f, b, -1 in descending order.
f, b, -1
Let z = -3.85 + 4. Let a be (48/72)/(8/(-6) + 1). Sort 1/10, z, a in descending order.
z, 1/10, a
Suppose 2*w = 4*f + 10, -3*f - 4*w + 1 = 3. Let d(i) = i + 8. Let y be d(6). Let a be 7/y + 3/2. Sort f, -5, a in decreasing order.
a, f, -5
Suppose -5*d = 3*o + 28, 5*d + 0*d - o = -24. Let r be (d + 2)/(5 - (0 - -4)). Put 5, -5, r in decreasing order.
5, r, -5
Let c = -18.5 - -14. Let q = -0.473 + -0.027. Let d = c - q. Sort 3/4, d, 0.3.
d, 0.3, 3/4
Suppose 3 = -5*n - 2. Let i be (-414)/(-253) + (-36)/(-99). Put -3, -2, i, n in ascending order.
-3, -2, n, i
Suppose 5*t - 35 = -2*y, -5*y = 17*t - 12*t - 50. Let z be -2 - -6 - (-4)/(-2). Put 3, 4, z, y in increasing order.
z, 3, 4, y
Let l = -10604933/130 + 81576. Let j = l - -1/130. Let g(y) = 2*y - 26. Let f be g(12). Put 1/4, f, j in descending order.
1/4, j, f
Let h = -296 - -280. Sort 4, -4, h, -2 in ascending order.
h, -4, -2, 4
Let q be (-46)/69*-2*(-6)/(-32). Let z(l) = -l**2 - 4*l + 4. Suppose -5*w - 16 = -2*g, 3*g + 2*g + 10 = 0. Let s be z(w). Sort q, s, 5 in decreasing order.
5, s, q
Suppose 0 = 2*p - 3*z - 80, 8*p + 80 = 10*p - 2*z. Sort 4, 5, 10, p.
4, 5, 10, p
Let i be -1 + 2 - (7 - 1). Suppose 0*w - 456 = -8*w. Let m = 58 - w. Put i, m, 8 in ascending order.
i, m, 8
Let v = 0 + 1. Let g = 72 - 77. Sort v, 0.5, g in descending order.
v, 0.5, g
Suppose 0 = 6*y - 272 + 320. Sort 0, -5, y, 2 in ascending order.
y, -5, 0, 2
Suppose 5*j - 4*j - 10 = 0. Let q = j + -6. Suppose -v - q = v. Sort 3, v, -1/3 in descending order.
3, -1/3, v
Let a = 71.6 + -72. Let o = 5.4 + a. Put 0.4, 11, -5, o in decreasing order.
11, o, 0.4, -5
Let h(a) = a**2 - 31*a + 33. Let c be h(30). Suppose -5 = u + 5*d + c, u = 3*d + 8. Put 3, u, 1, 0 in decreasing order.
3, u, 1, 0
Let p = 48 + -50. Suppose -19*t + o = -16*t - 13, -5*t = 2*o - 18. Sort t, p, -4, -1 in ascending order.
-4, p, -1, t
Let s = 16657801/470 - 35442. Let m = 1/282 + s. Sort 0, 15, m.
0, m, 15
Let r be (86/30 - 1) + 2/15. Suppose r*v = -2*v - 12. Let c be (0 + 0)/(0 - -2). Put c, -2, v in increasing order.
v, -2, c
Let a = -21.427 + -0.073. Let 