 in decreasing order.
t, 5, 0, -2
Suppose -2*z + 8 = 0, 3*t + 4*z = -7 - 13. Let k be (-40)/15*9/t. Let g = 0.1 - -0.2. Put k, g, 4 in decreasing order.
4, k, g
Let i = 4 + -4. Let v(x) = -x**3 - x**2 - 1. Let a be v(0). Let q(z) = z**3 + 4*z**2 - 7*z - 5. Let d be q(-5). Sort i, d, a in decreasing order.
d, i, a
Suppose 0 = 3*b - 2*b + 2*i, -5*b = 5*i - 5. Let t = -3 + b. Let f(n) = -254*n - 12951. Let p be f(-51). Sort p, t, -5 in increasing order.
-5, t, p
Suppose -2*z = z. Let v be -1*3/6*-4. Let i be 2 + ((-2)/(-1))/v. Sort z, -4, i.
-4, z, i
Let v = -1514.1 + 1515. Sort -0.6, v, 3 in descending order.
3, v, -0.6
Let m(i) = i**3 - 9*i**2 + 9*i - 4. Let d be m(8). Let t be 2/d + 33/(-6). Let y(r) = -2*r**2 - r + 5. Let j be y(0). Put -3, t, j in decreasing order.
j, -3, t
Let z be 4*((-3)/(-6) + -1). Let b(k) = -2*k + 4*k**2 + k**3 - 3 - 4 + 4. Let c be b(-4). Sort 3, c, z in increasing order.
z, 3, c
Let f(c) = 12*c - 44. Let j be f(4). Let w(p) = p**2 - 6*p + 3. Let x be w(5). Let a be -4 - (-1 + x) - 0. Put j, a, 1 in increasing order.
a, 1, j
Let t be (12/(-54))/((-1)/6). Let d be (-6)/(-2) - 2 - -5. Let x be 22/d - 3/1. Sort 0, x, t in descending order.
t, x, 0
Suppose -4*w = 8*w. Sort -4, w, -2, 2.
-4, -2, w, 2
Let a(v) = v**3 - 8*v**2 + 4*v + 10. Let y be a(8). Suppose b + 2*b = y. Let f = b + -25. Put f, -1, -3 in increasing order.
f, -3, -1
Let m(h) = h**2 + 10 + 7*h + 2 - 8. Let u be m(-6). Suppose -r - 4*r = 15. Put -1, r, u in increasing order.
r, u, -1
Let a = 5/183 - 1252/427. Let f = 18/7 + a. Put 0.3, f, 2/23 in ascending order.
f, 2/23, 0.3
Let l = -3.07 + 0.07. Let s = 6 + -6.6. Let y = 701/5 + -141. Put y, l, s in decreasing order.
s, y, l
Suppose -z - 4*z = -10, 3*z = 4*g - 6. Sort 7, 5, 4, g in ascending order.
g, 4, 5, 7
Let v = -8 - -33. Let i = v - 28. Let g = -13 + 14. Put g, 2/3, i in increasing order.
i, 2/3, g
Let z = -34.76 + 28. Let f = z - -6.7. Sort 1, -2/5, f.
-2/5, f, 1
Suppose 9*k - 16 = 5*k. Let p be 2/(-76)*k*(-5)/5. Put p, 0.2, -0.5 in increasing order.
-0.5, p, 0.2
Let r be (-12)/8*-6 + -1. Let l = -5 + r. Suppose -5*m + 4*b - l = 5*b, 5*m - b + 7 = 0. Put m, 5, -3 in descending order.
5, m, -3
Suppose 0 = 9*j - 88 + 34. Sort j, -2, 0.
-2, 0, j
Let h(w) = -w**2 - w + 15. Let o be h(0). Suppose 18 - o = -i. Let r be 28/6 - i/9. Sort r, 4, -9 in descending order.
r, 4, -9
Let j = 252.2 + -249.2. Sort -3, 1, -4, j.
-4, -3, 1, j
Let t = 0.8101 - 0.0101. Put t, -22, 0.1 in descending order.
t, 0.1, -22
Let m = -102.2 + 101.3. Sort 15, -2/3, m.
m, -2/3, 15
Let k = 26 + -31. Suppose 3*v + 13 = -4*f, 2*v - 17*f + 13*f + 2 = 0. Sort -14, v, k.
-14, k, v
Let t = -19 - -14. Let i = 3 - 2. Let n = -76/3 - -25. Sort i, t, n in decreasing order.
i, n, t
Let j be 286/1573 - 3/11. Let y be ((-2)/(-8))/((-10)/(-1)). Let p = y - 5/8. Put p, j, 2/13 in decreasing order.
2/13, j, p
Let m(c) = c**3 - 17*c**2 + 34*c - 60. Let q be m(15). Put -83, q, 0.4 in decreasing order.
0.4, q, -83
Let n be (1 - 0) + 2 - 1. Let v be (-41)/(27/18 + 2/(-1)). Let q be v/26 - (-9)/(-3). Sort -4, n, q.
-4, q, n
Let h be (14 - 10) + -2 + -3. Put 13, h, -5, 15 in ascending order.
-5, h, 13, 15
Let x = 63 + -67. Suppose 5*y - 3*l - 4 = 0, -3*y - l = 2*y + 8. Let p be -2 - (-1 - (0 + y)). Put p, 1, x in ascending order.
x, p, 1
Suppose s + 14 - 23 = 0. Suppose 10*f - 2 = s*f. Sort 14, f, 3 in increasing order.
f, 3, 14
Suppose 0 = -17*g + 13*g - 8. Put g, -5/7, 3/2, 0 in descending order.
3/2, 0, -5/7, g
Suppose 3*y + 76 = -35*y. Sort 103/4, y, 1 in ascending order.
y, 1, 103/4
Suppose 71 - 41 = 15*l. Let c(w) = w**2 - w - 1. Let v be c(-1). Put l, -2, v, 5 in decreasing order.
5, l, v, -2
Let l = -0.24 + -0.16. Let h = -36 + 35.952. Let y = 3.048 + h. Sort y, l, -5.
-5, l, y
Let d = 407 - 207. Suppose 2*h + d = -3*h. Let c be (-24)/h - (-23)/(-5). Put 0, 4, c in descending order.
4, 0, c
Let x = -276.9 + 277. Put -0.05, x, 2, -1/8 in decreasing order.
2, x, -0.05, -1/8
Let b(a) = 49*a**2 - 11*a - 6. Let u be b(2). Put 3, -4, u in decreasing order.
u, 3, -4
Suppose 0 = 4*s - l + 2, -l - 31 + 40 = 3*s. Let j(v) = -v**2 - 5*v + 4. Let n be j(-6). Put s, 6, n in ascending order.
n, s, 6
Let d = -8 + 10. Suppose 0 = 7*o - d*o - 15. Suppose u = o*u. Sort 3, 4, u in ascending order.
u, 3, 4
Let b = -70 + 76. Sort b, 11, 1, -1 in increasing order.
-1, 1, b, 11
Let u = -5 + 0. Suppose -13*v = 3*n - 11*v + 15, 3*v + 24 = -5*n. Put -1, n, u, 16 in decreasing order.
16, -1, n, u
Let q(m) = 3*m**3 - 5*m**2 - m + 11. Let i be q(2). Put i, -5, 0 in increasing order.
-5, 0, i
Let x = -87 - -62. Let g = -29.6 - x. Let q = -1.6 - g. Sort -1/8, q, -1 in increasing order.
-1, -1/8, q
Suppose -56*r = -61*r + 4*d - 8, 4*d = -5*r + 8. Let h be 5/(-2)*(2 + 0). Let m = -1 + 5. Put h, m, r in increasing order.
h, r, m
Let b = -484 + 460. Put -0.2, b, 5 in descending order.
5, -0.2, b
Suppose 5*y - l = -3 - 89, y + 4*l + 10 = 0. Sort -5, 3, y, -4 in descending order.
3, -4, -5, y
Let d = -533/6 + 89. Let y be 105/100 + -5 + 3. Let w = 3/4 + y. Sort -1/6, w, d in ascending order.
w, -1/6, d
Let j = -423 - -420. Sort 0, -1, j, -2 in decreasing order.
0, -1, -2, j
Let a = -0.12 + 0.22. Let h = a - -12.9. Sort h, 4, -1, -0.4.
-1, -0.4, 4, h
Let d(f) = f**2 + 2*f - 5. Let r be d(2). Put 1, -6, r in decreasing order.
r, 1, -6
Let b be (-874)/(-966) + (-4)/(-42). Put -3, b, -1, 3 in descending order.
3, b, -1, -3
Let i = 156 - 156. Let n = -0.06 - 0.08. Let w = n + 1.14. Put w, -1, i in decreasing order.
w, i, -1
Suppose 55 = -2*q - 3*j, 3*q - 30 = -2*j - 110. Let w = -22 - q. Let a be 2 + 4*(-9)/6. Sort w, a, -2 in descending order.
w, -2, a
Let r be 72/30 - 6/(-10). Suppose 0*q - 5*q - 4*a = 18, r*a - 4 = 5*q. Let l = 7 + -5. Sort l, q, 4 in decreasing order.
4, l, q
Let l(q) = -q**3 - 2*q**2 - 3*q - 3. Let h be l(-2). Let k = 4 - h. Put 5, k, -6 in decreasing order.
5, k, -6
Let b(g) = g**3 - 4*g**2 + 4*g - 8. Let k be b(3). Put -11, 7, k in descending order.
7, k, -11
Suppose 2*p + 0*p - 2*r = -32, p - 4*r + 25 = 0. Suppose -4*s - 5*k - 18 = 0, s + k = 4*k + 4. Put 4, p, s in descending order.
4, s, p
Let p = 9.89 - -0.11. Let w = 0.136 + -1.396. Let f = w - -0.26. Put -3/4, p, f in descending order.
p, -3/4, f
Let t = 2097 - 2129. Put 8, 3, t in decreasing order.
8, 3, t
Let s be 0/(-2 + 1 + 0). Let g be 1 - (-3 - -7) - (-3 - -1). Sort s, g, 3.
g, s, 3
Let f = 4 + 2. Let s = 34.1 + -34. Sort 1/3, f, 2/5, s in decreasing order.
f, 2/5, 1/3, s
Let z = -6743 - -6739. Let u be 9/7*(-3)/9. Sort -2.7, z, u.
z, -2.7, u
Let w = -1431 - -9998/7. Sort 1, w, 2/3, 0.3.
w, 0.3, 2/3, 1
Let r be (8/(-10))/((-6)/45). Suppose -3*g = -2*g - r. Suppose c = 5*m + 8, -7*c + 3*c + 2*m + 14 = 0. Sort c, g, 0 in decreasing order.
g, c, 0
Let f = 5 + -5. Suppose -2*a = -33 - 23. Suppose 0*m + 4*m = -2*y - a, 4*m = -5*y - 40. Put -2, m, f in descending order.
f, -2, m
Let x be (-35)/7*(-6)/10. Sort x, 1, 40 in decreasing order.
40, x, 1
Let m = -0.8 - -0.3. Suppose -7 = 3*d + 2*w, -8*d + 5*w - 45 = -3*d. Put m, -4, d in descending order.
m, -4, d
Let d = 26 + 6. Let t = 36 - d. Put 2/5, t, -5, 1 in descending order.
t, 1, 2/5, -5
Let s = 0.5 + -3.5. Let m = 15.582 + 0.018. Let x = m - 16. Sort x, -0.5, s in descending order.
x, -0.5, s
Let g = 412976/5 + -82864. Let a = 270 + g. Put 5, -0.3, a in increasing order.
-0.3, a, 5
Let s = 5.9 + 2.1. Let k = 7.97 - s. Let q = k - 0.17. Sort q, -0.1, 3 in decreasing order.
3, -0.1, q
Let o(q) = -q**2 - 19*q + 54. Let y be o(-22). Let s = y - -19. Sort s, 2, -3 in descending order.
s, 2, -3
Let g = 6.1 + -2.4. Let w = -3.5 + g. Put -1/2, w, -1 in ascending order.
-1, -1/2, w
Let b = 29 + -158. Let k = 1162/9 + b. Let o be 10/(-4)*56/(-35). Sort o, 0, k in increasing order.
0, k, o
Let c be (1/(-2))/(2/(-8)). Suppose -19 = 10*j + 1. Let q be j*(18/4 - 2). Put q, 4, c in ascending order.
q, c, 4
Let o be (2 - -3 - -2)/(2/1). Sort -4, 4/3, o, -5 in increasing order.
-5, -4, 4/3, o
Suppose 8*y = -14 + 46. Sort -3, y, -4, 5.
-4, -3, y, 5
Suppose -4*b + 28 = -2*c - 0, -3*c + 5*b - 37 = 0. Sort -5, c, -71 in decreasing order.
c, -5, -71
Let i = 1629 + -1628.99. Put i, 4, -5, -3 in descending order.
4, i, -3, -5
Let h = -42 + 21. Let i(f) = -f**3 + f**2 + 7*f