ng order.
-3/5, -3/7, x
Let i(c) = -c**2 + 15*c - 10. Let s be i(6). Let x = s + -14. Suppose x - 10 = 5*j. Sort j, -1/3, -4 in ascending order.
-4, -1/3, j
Let k(l) = l**2 - 12. Let b be k(-3). Suppose -17*t + 14*t + 9 = 0. Sort -5, b, 4, t.
-5, b, t, 4
Let a = -21 - -26. Suppose -a*b - 13 = 12, 2*j = 2*b + 38. Let i be (-44)/(-11) + (-48)/j. Put i, -3, -0.3 in descending order.
i, -0.3, -3
Let h be (-30)/(-20) + (-122)/20. Let y = 51/10 + h. Put 3, y, -3/7 in descending order.
3, y, -3/7
Let s be (4 + (-39)/6)*4/20. Put 2, s, -1 in descending order.
2, s, -1
Let y(g) = 4*g**2 - 26*g + 2. Let c be y(7). Put c, -4, -2, 0 in increasing order.
-4, -2, 0, c
Let s be (590/(-10 + 5))/(-2). Sort 3, 1, s, -1 in descending order.
s, 3, 1, -1
Let i = 46 + -11. Let x = i - 40. Sort 10, x, -3 in descending order.
10, -3, x
Suppose 193 = 43*k + 623. Sort 4, k, -8 in ascending order.
k, -8, 4
Let b be (-486)/(-540) + 2/(-2). Put b, -1, 0, 0.5 in descending order.
0.5, 0, b, -1
Suppose -v = 2*t + 13, 51*v - 56*v = 4*t + 41. Put 1, v, -9 in ascending order.
-9, v, 1
Let x(n) = -7*n**3 + 8*n**2 - 12*n + n**3 + 7*n**3 - 11. Let b be x(-9). Let z be (-1)/4 + (-4)/b. Put z, -2/9, 4 in increasing order.
z, -2/9, 4
Suppose 2*p - 20 = -2*p. Suppose 5*h - 2*o = 5, -2*o + 1 = 6*h - 5*h. Let n be (-2)/(-4)*(-8)/(-2). Sort n, p, h in descending order.
p, n, h
Let d(s) = s**2 + 6*s - 16. Let t be 3*20/6*(-8)/10. Let c be d(t). Sort -1, c, -4 in decreasing order.
c, -1, -4
Let v = 15/14 - 73/42. Put -1/27, v, 0.4 in descending order.
0.4, -1/27, v
Let w be (-33)/(-8) - 4 - 546/16. Sort 1, -3, w, 4 in descending order.
4, 1, -3, w
Suppose 5*d = -9 - 16. Let h be 52 - -4 - (0 + 2). Let f be h/(-13) - (-2)/13. Put f, -2, d in decreasing order.
-2, f, d
Let t = -20 + 81/4. Let i = -20 - -19.4. Let d = i + 1. Put d, -5, t in ascending order.
-5, t, d
Suppose d - 2*d = -5. Suppose 0 = 3*s - 2*c + 9, 5*s + d*c + 29 = -11. Sort -2, s, -1 in increasing order.
s, -2, -1
Suppose -18*r + 1092 = -25*r. Let m be (9/(-6))/(-3) - (-90)/r. Put 4, 0.4, m in decreasing order.
4, 0.4, m
Let z = 2.1539 - 0.1539. Let m = 0.45 - 0.05. Sort z, m, -3/5, 1/4 in descending order.
z, m, 1/4, -3/5
Suppose 2*g - 760 = -752. Let u be 6/(-66)*-27 - (g - 1). Let w be (-2)/4 + 5/18. Sort 2/7, u, w in descending order.
2/7, w, u
Suppose 2*u = -2*b - 20, 2*u = -u + 2*b - 55. Suppose 22*o + 3 = 21*o, 4*v - 15 = 5*o. Sort 0.1, u, v in decreasing order.
0.1, v, u
Let h = 60 + -56. Let o = h + -13/4. Let s = 28/117 - 6/13. Sort o, 2/7, s in descending order.
o, 2/7, s
Let h = 0.0662 - -1.9338. Let u = -0.2 + 0.1. Put -1/2, h, u in ascending order.
-1/2, u, h
Suppose 4*t = -12, h + 3*t = -0*h + 26. Sort 5, -3, h in increasing order.
-3, 5, h
Let u be (-4)/14 + -5 + 1930/385. Sort 13, u, -1/3 in ascending order.
-1/3, u, 13
Let v(f) = -8 - 3*f - 11 + 0*f - 3. Let k be v(-9). Suppose -5*h + 5*m = 0, -1 = 2*h + m - 2*m. Sort k, h, -2.
-2, h, k
Let j = -12592 + 12596. Let y = -12 + 3. Put y, 2, j in ascending order.
y, 2, j
Let m(t) = 40*t - 167. Let n be m(4). Let i(x) = x**3 + 7*x**2 + 7*x + 5. Let s be i(-6). Sort 2, s, n in ascending order.
n, s, 2
Suppose 4*w + 0*w = 68. Let f(t) = t**2 - 18*t + 22. Let j be f(w). Put 1, j, 2 in ascending order.
1, 2, j
Let i be 4/24 - (-46)/(-132). Let p = -3494 + 3491. Sort -0.3, p, 5, i.
p, -0.3, i, 5
Let d = 0.14 + 0.16. Let l = -1.3 + d. Let n = 53.7 + -54. Sort l, n, 3 in increasing order.
l, n, 3
Let l = -16 + 20. Suppose l*i + 3*a - 35 = 0, 5*a = 25 - 0. Put -10, 4, i, -4 in ascending order.
-10, -4, 4, i
Let y(l) = -l**3 - 21*l**2 - 40*l - 28. Let t be y(-19). Put 2, t, -2 in descending order.
t, 2, -2
Let s be ((-6)/26)/(3/(-2)). Let m = 282.58 - 0.58. Let i = -279 + m. Put s, -3, i in ascending order.
-3, s, i
Let j = 85 + -83. Let x = 0.8 - 0.4. Put x, j, 3, -1/4 in descending order.
3, j, x, -1/4
Suppose -10*h + 2071 = 2071. Sort 3, h, -14, 18 in ascending order.
-14, h, 3, 18
Let k = -43 + 42.7. Let v = -0.799 + -0.001. Put 1, k, v in descending order.
1, k, v
Let g = -0.4 + 0.8. Let k = -508 - -513. Sort -1/8, g, k, 0.2 in descending order.
k, g, 0.2, -1/8
Suppose -6*w - 13 = -7. Let q = -5 + 8. Sort q, w, -0.4 in descending order.
q, -0.4, w
Let f = -134.9 + 134.9. Put f, -7, 10 in increasing order.
-7, f, 10
Let v be (-3)/6 - (-231)/(-30). Let a = -31 - -39. Let h = v + a. Put h, 0.2, -2/5 in ascending order.
-2/5, h, 0.2
Suppose -710*i = -712*i - 10. Suppose 3*q - 2*u = -3*u + 14, -4*q = -4*u - 24. Sort i, -2, 4, q in descending order.
q, 4, -2, i
Suppose 0 = -3*p + 4*y - 50, -5*p + 2*y = -2*y + 70. Let u be p/(-4)*48/(-40). Sort -2, u, -5.
-5, u, -2
Let b be -5 + (-10 - 231/(-15)). Put b, 4, -72, 2/11 in decreasing order.
4, b, 2/11, -72
Let c be 6 - 0 - (-3 + 7). Let u = -38.1 + 38. Put c, 3/11, u in ascending order.
u, 3/11, c
Let l be (-1 + 0)*1 + 1. Suppose -6 = -3*x - l*x. Suppose -x*q - 9 = q. Sort q, -5, 0 in decreasing order.
0, q, -5
Let c be 3*(-126)/(-81)*9/21. Sort -1, 4, -5, c.
-5, -1, c, 4
Suppose 18*z - 17*z = -8. Let b be (z/(-40))/(3/9). Sort b, 0.3, -0.1 in decreasing order.
b, 0.3, -0.1
Let m = -175 + 24. Sort 3, -3, m in descending order.
3, -3, m
Let l(f) = -f**3 - f**2 - 3*f - 1. Let o be l(-2). Suppose 24 = -o*d - 3. Sort d, 5, -5, 4.
-5, d, 4, 5
Suppose -28 + 8 = 20*v. Put v, 101, -4 in descending order.
101, v, -4
Let v be ((-10)/(-4))/(2/4). Let c be -20 + (-6 - (-5 + 2)). Let z = -25 - c. Sort -4, z, v in decreasing order.
v, z, -4
Let h be (-29)/(-5) + (-100)/20. Sort -0.5, 0.1, h in descending order.
h, 0.1, -0.5
Let i = 37 + -31. Suppose -2*n = 6, -2*n - 102 = 4*s - 0*n. Let w be ((-4)/i)/(s/54). Sort -1/2, w, -0.3 in ascending order.
-1/2, -0.3, w
Let o be (0 + -2)/2 - -6. Suppose 2*w = -18*w - 100. Sort o, w, -3 in ascending order.
w, -3, o
Let t(s) = s - 4. Let n be t(3). Let r = 24.024 + -0.024. Let k = -24.4 + r. Sort -0.1, k, n in descending order.
-0.1, k, n
Let y = 1723 - 1723.07. Put -0.5, y, 1/27 in descending order.
1/27, y, -0.5
Let c(w) = 3*w - 57. Let o be c(18). Sort o, -1, -75.
-75, o, -1
Let l = -293 - -292. Put 4, -3, l, 0 in decreasing order.
4, 0, l, -3
Let t = -2 + -3. Let b = 3135 + -28213/9. Put t, -3, 7, b in descending order.
7, b, -3, t
Let a be 1/(-1) - (0 + -1) - 3. Let y be (a + 1 - 4)/(-2). Sort y, -3, -13, -4 in decreasing order.
y, -3, -4, -13
Suppose 39 = 5*i + 4. Suppose 1 = -5*g + 4*m - 19, -4*g - 5*m + 25 = 0. Put -4, 2, g, i in decreasing order.
i, 2, g, -4
Let v = -71 + 74.1. Let l = v + -27.1. Let b = l - -19. Sort -4/3, b, -0.4 in descending order.
-0.4, -4/3, b
Let m = 29.48 - 30. Let i = m + 0.32. Let c = 0.1 + i. Sort 2, c, -1/2 in descending order.
2, c, -1/2
Let v(c) = 2*c + 7. Let i be v(-6). Suppose 0*o - 6 = -o. Let u be ((-2)/o)/(1/9). Sort -2, i, u in decreasing order.
-2, u, i
Let n(l) = 10*l - 4. Let z be n(4). Let q = 36 - z. Let c = 1 + -3. Sort q, c, 5 in increasing order.
c, q, 5
Let c = -84 - -83. Put c, 1/2, 2 in increasing order.
c, 1/2, 2
Let j be (-3)/9*(-1 + -5). Suppose -4*c = j*f + 2, c = -c. Sort 3, f, -3 in descending order.
3, f, -3
Let t(a) = a**2 - 6*a + 4. Let w be t(6). Suppose -w*q - 6 = -6*q. Let o = 0.1 - -0.4. Sort -7, o, q in decreasing order.
q, o, -7
Let q be (-2 + (-1 - -1))/1. Let b be (2 - 1)*q/(-1). Suppose 5*w - 23 = 2*l, w - 2*l + 17 = -7*l. Sort w, -5, b.
-5, b, w
Let g = -42 + 42. Put g, -1, -27 in ascending order.
-27, -1, g
Let v(h) = -3*h + 10. Let r be v(15). Let l = r + 30. Suppose 5*o - 3*y - 31 = 0, 0 = -3*o + 2*o + 4*y + 13. Put l, o, -10 in increasing order.
-10, l, o
Let q = -149/28 + 39/7. Let k = -8.4 - -1.4. Sort 2/5, k, q, 3 in decreasing order.
3, 2/5, q, k
Let d = 1418 + -1404. Suppose -3*z - 4 = -4*g, -z - 3*z + 28 = 3*g. Sort d, -2, g in descending order.
d, g, -2
Suppose -52 = -2*o - 2*o. Let s = 7 - o. Let f(z) = -z + 11. Let i be f(11). Sort i, s, 3 in decreasing order.
3, i, s
Suppose -23*k + 130 = 3*k. Put -16, k, 1 in increasing order.
-16, 1, k
Let a be 59/(-177) - (-1)/3. Let y = 7 - 6.9. Sort 2, -2/13, a, y in increasing order.
-2/13, a, y, 2
Suppose -4*p + 10 = -6. Suppose 3*s = p*s. Suppose 4*b - 14 + 62 = s. Put 0.4, 2/11, b in descending order.
0.4, 2/11, b
Let p = -37/207 - 1/23. Let z = -31/258 - 2/43. Sort