order.
5, 1, q
Let v = 133 + -129.06. Let a = v + 0.06. Let s = a + -3. Put 4, 2, s in descending order.
4, 2, s
Suppose -4*f + 1 = 13. Let l = 66 + -71. Sort 3, l, f in increasing order.
l, f, 3
Let n be (9/6)/((-2)/20). Let q = -10 - n. Let b = 3 + -2. Put q, b, 4 in decreasing order.
q, 4, b
Let r = -0.03 + 0.43. Let n = 104 - 109. Sort r, n, -1/6 in decreasing order.
r, -1/6, n
Let f(y) be the first derivative of y**3/3 - y**2 + y + 1. Let z be f(3). Put -0.3, -2/15, z in decreasing order.
z, -2/15, -0.3
Let p = 35/51 + -6/17. Sort p, 0.4, 0.11.
0.11, p, 0.4
Let n be (2/3)/((-2)/3). Let h = -43 + 43.4. Sort h, n, -0.2 in increasing order.
n, -0.2, h
Suppose 2*q + 2 + 0 = 0. Let u = -3.4 - -3.8. Put u, q, 2 in ascending order.
q, u, 2
Let f(w) = 6*w - 50. Let h be f(9). Put -1, 5, -2, h in ascending order.
-2, -1, h, 5
Suppose -j + 0*j - 3 = 0. Let r be 4*1 - j/(-3). Let i be -7 + (-1 - 0) + 5. Sort r, i, 5 in decreasing order.
5, r, i
Let c be (4/(-12))/(1/(-9)). Let i(v) = v**3 + 5*v**2 - 7*v - 2. Let p be i(-6). Let u = -46 + 95/2. Sort u, c, p in decreasing order.
p, c, u
Let k(b) = b**2 + 11*b - 11. Let d be k(-12). Let t(y) = y + 11. Suppose -36 = -2*s + 6*s. Let i be t(s). Sort 4, d, i.
d, i, 4
Let x be (-1)/7*2 - 0. Suppose -3*b + 16 - 4 = 0. Let d be (-10)/b*(-1 - 1). Sort -4, x, d.
-4, x, d
Let i = -4 + 7. Put -0.5, 0.4, i in descending order.
i, 0.4, -0.5
Let r = -43 + 69. Put r, 5, 0.1, 2 in descending order.
r, 5, 2, 0.1
Suppose 8*r - 5 = 3*r - 5*k, k - 17 = -5*r. Let h = 2 + 1. Sort r, -1/6, h in decreasing order.
r, h, -1/6
Let r be (15/25)/((-2)/10). Put -2, r, 4 in ascending order.
r, -2, 4
Let a = -22 + 38. Suppose -7*w = -3*w + a. Sort -2, 4, w in descending order.
4, -2, w
Suppose -5*r + 10*r + 3*x = -9, 0 = 5*r + 5*x + 5. Suppose l - 4*t = 14, -4*l + t - 4*t - 1 = 0. Sort r, l, 5 in ascending order.
r, l, 5
Suppose 8 + 4 = 3*r. Let c be r/10 - (-264)/(-385). Put -0.2, 0.2, c in increasing order.
c, -0.2, 0.2
Let n(h) = h**3 + 6*h**2 - 7*h + 2. Let j be n(-7). Let o = 0.04 - 0.14. Let l = -0.4 + o. Put l, j, 1 in increasing order.
l, 1, j
Suppose 2*u - 1 = -i, -5*u - 28 - 2 = -4*i. Suppose 2*l = 6*l. Sort l, -5, u in decreasing order.
l, u, -5
Suppose 0 = -3*c - 4*y + 12, -2*c + 4*y - 5 = 7. Sort 4, c, -16 in ascending order.
-16, c, 4
Let y(w) = -w**2 + 3*w + 25. Let o be y(7). Put 0.4, -0.2, 1, o in ascending order.
o, -0.2, 0.4, 1
Let y = -0.15 + 0.1. Let a = y + 6.05. Let k = a - 9. Put k, 2/9, -4 in decreasing order.
2/9, k, -4
Let k = 1 - -4. Suppose -g = -k*g. Suppose -3*d + 4*d = 2. Put g, d, 5 in increasing order.
g, d, 5
Let j = 1.5 - 1.2. Put j, -4, -1 in descending order.
j, -1, -4
Suppose -2*k = 5*d + 27, -10 - 10 = 4*d. Sort k, 2, 6 in decreasing order.
6, 2, k
Let r(n) = -13*n + 22. Let s be r(2). Sort s, -3, -2/3 in ascending order.
s, -3, -2/3
Suppose 3*a = 2*a - 2. Let d = 15 - 20. Put d, -1, a in decreasing order.
-1, a, d
Let f = 14.2 + -14. Let y be 3*-1 - (4 - 4). Sort -2/11, y, f in descending order.
f, -2/11, y
Let g(z) = z**2 - 6*z + 2. Let u be g(6). Sort 5, u, -3 in increasing order.
-3, u, 5
Let z be (-2)/5 - 6/(-15). Let u = -6 - -8. Put u, z, -3 in increasing order.
-3, z, u
Suppose p + 3 = -0*p - 3*x, -2*x - 2 = 4*p. Sort 5, -4, p.
-4, p, 5
Let d = 86 + -86. Put -14, -2, d in ascending order.
-14, -2, d
Let i = -0.6 - -0.3. Let t = -1663/5 - -333. Put i, t, 4 in increasing order.
i, t, 4
Let c = -12 - -13. Let r = -9 - -14. Let v = 0 + r. Sort -5, v, c in descending order.
v, c, -5
Let s = 16 - 13. Put 1.4, 3/5, s in descending order.
s, 1.4, 3/5
Let i(d) = 2*d - 14. Let y be i(7). Put -0.1, y, -1, 1/7 in decreasing order.
1/7, y, -0.1, -1
Let p be 3/(-9) - (-4)/(96/14). Put 0.1, p, 0, 1/8 in descending order.
p, 1/8, 0.1, 0
Let q(h) = -h**3 + 5*h**2 + h - 1. Let b be q(5). Put -1, 1, b in increasing order.
-1, 1, b
Let v = 1.5 - 0.9. Let p = 0.6 - v. Sort 2/9, 0.3, p.
p, 2/9, 0.3
Suppose d = 6*d + 3*i + 30, 4*i = 5*d - 5. Sort 1, d, -6, -2.
-6, d, -2, 1
Suppose 6*y = 3*p + 2*y - 9, 0 = 3*p + 2*y + 9. Put p, 3, 1 in ascending order.
p, 1, 3
Let t = 4.1 + -4. Let h = -3 + 4. Let b be 10/25*(-15)/12. Put t, b, h in decreasing order.
h, t, b
Let a be (12/3)/1 + -1. Suppose -5*x = 14 + 6. Sort -1, x, a in decreasing order.
a, -1, x
Let z be (-11)/(-7) - (0 - -1). Let n = 1.3 + 2.7. Let t = -0.1 + 0.2. Sort n, z, t.
t, z, n
Suppose -z = -4*m + 6 + 1, 4*z = 4. Let r be (-4)/6*(-30)/4. Suppose -6 = -r*b + 19. Put b, 3, m in descending order.
b, 3, m
Let i = -44 - -28. Sort -2, i, 5 in decreasing order.
5, -2, i
Suppose -2*v = v. Suppose -3 + 6 = 3*h. Sort v, h, 3 in ascending order.
v, h, 3
Let g be (-40)/(-12)*(-6)/(-4). Suppose 6*d - 4*h = 2*d + 36, 0 = 3*h + 15. Suppose 5 = -g*u, d*b - 3*u + 5*u = -10. Sort b, 0.3, -1 in decreasing order.
0.3, -1, b
Let y = -106 + 109. Let f be ((-12)/(-9))/((-2)/(-3)). Suppose g + f = -3. Sort -2, y, g in increasing order.
g, -2, y
Let c = 7 + -12. Let t be (2/(-3))/(26/117). Sort c, -1, t in increasing order.
c, t, -1
Let j = 7.7 - 8. Put j, -1, 0 in ascending order.
-1, j, 0
Suppose 3*r = -4*w - 26, 0 = 3*r - 2*r + 4*w + 22. Let g be (r/3)/(2/(-3)). Suppose 3*j + 2*c = 4, 2*c - 28 = 5*j - 8. Sort -4, j, g.
-4, j, g
Suppose 5*u = 8*u + 15. Let h(x) = x - 4. Let w(j) = -j**2 + 8*j - 6. Let v be w(6). Let r be h(v). Sort u, r, 4 in decreasing order.
4, r, u
Suppose -v - 58 + 25 = -4*w, 5*w - 4*v = 33. Let p be (-5 - -4)*2/w. Let b(x) = x - 13. Let q be b(11). Sort p, q, 5 in ascending order.
q, p, 5
Let n = -0.16 - -0.16. Sort n, 0.5, -2 in decreasing order.
0.5, n, -2
Suppose 0 = -r - 1. Put r, 4, 0 in descending order.
4, 0, r
Suppose -4*n + 5 = -3*n. Suppose n*k - 5*u - 50 = 0, -3*u + 0 - 2 = k. Let v = -2 + k. Sort -5, v, 0.2 in increasing order.
-5, 0.2, v
Let q = -4 - -3. Let c = -15 - -15. Sort 3, q, c in decreasing order.
3, c, q
Let d be (8/(-24))/(-1*5/1). Put -0.4, -3/2, d in descending order.
d, -0.4, -3/2
Suppose -3*c + 4*s + 53 = 0, -2*s - s = 15. Let l = -16 + c. Sort -2, l, -3 in ascending order.
l, -3, -2
Suppose 5*d = 4*r - 2, 0 = 4*r - 2*d + 5 - 1. Let a(x) = -x**3 + x + 6*x**2 - 3 + 6*x**2 - 5*x**2. Let u be a(7). Put -3, r, u in decreasing order.
u, r, -3
Let z be -2 - 3/(18/(-16)). Let h = 0.6 - -0.4. Sort z, h, -6/11 in decreasing order.
h, z, -6/11
Let q = 1/12 + -11/36. Sort 1, -6, q in descending order.
1, q, -6
Let k = -0.6 - -0.3. Put k, -5, -0.5 in increasing order.
-5, -0.5, k
Let z = -181/1365 - 2/195. Put z, -3, -4 in increasing order.
-4, -3, z
Suppose 2*s + 0 = -4. Let y be (5/10)/(1/(-8)). Sort y, -1, s in descending order.
-1, s, y
Let x = -8 - -5. Let u = x + 0. Sort 0.4, u, 1/6.
u, 1/6, 0.4
Let y(s) = -2*s**3 + s**2 - 1. Let l be y(1). Suppose -2*x = -7*x. Let c = -7 + 11. Put c, x, l in decreasing order.
c, x, l
Let r = -413 + 418. Suppose 0 = -5*w + w. Sort 3, w, r in decreasing order.
r, 3, w
Let v(f) = -f + 3. Let w be v(0). Let g be 7/9 + (-4)/(-18). Let n be (1 + 0)/(-5*g). Put 1/3, n, w in decreasing order.
w, 1/3, n
Let k = 0.024 + -4.024. Sort -0.1, -6/7, k, 0.2 in descending order.
0.2, -0.1, -6/7, k
Let d = -23 + 11.5. Let a = d + 11. Let o = 0.2 + 0. Sort a, o, -0.1.
a, -0.1, o
Suppose -1 = -4*q + 19. Let y = -723/5 + 145. Sort q, -2/3, y in increasing order.
-2/3, y, q
Let a be (-6)/5*(-20)/8. Let o = 221.06 + -217. Let c = -0.06 + o. Sort 4/7, a, c in ascending order.
4/7, a, c
Let v = 7.6 + 1.4. Let t = -8.7 + v. Sort t, 0.1, -0.3 in decreasing order.
t, 0.1, -0.3
Let k = 1294/9 - 144. Put 1, 0.3, k in increasing order.
k, 0.3, 1
Let i(r) = -3*r + 4. Let h be i(-6). Suppose v - 8 = -x, -10 + h = v + 2*x. Let o = -3/83 + 187/581. Put 0.03, o, v in increasing order.
0.03, o, v
Suppose 0 = r - 2 + 1. Let l = -0.1 - -0.3. Sort l, r, 0.8 in increasing order.
l, 0.8, r
Suppose -9 = t - 4*t. Put -9, t, -5 in ascending order.
-9, -5, t
Suppose 3*d + 4 + 5 = 0. Sort -7, -5, d in descending order.
d, -5, -7
Suppose -9*m + 12 - 3 = 0. Sort 91, m, 3 in increasing order.
m, 3, 91
Suppose -2*d + 3 = -5*n - 9, -3*d = 2*n + 1. Put -1, -5, d in decreasing order.
d, -1, -5
Let u = 28 + -25. Sort u, -0.1, -4 in descending order.
u, -0.1, -4
Let c be 1/(-1 - 0/(-2)). Let q = 6 - 2. Let j(k) = 2*k**3 - 2*k**2 - 2*k + 1. Let 