 increasing order.
i, -3, 3
Let v be -5 - -8 - 6/1 - -8. Put v, -2, 7 in ascending order.
-2, v, 7
Suppose 6*d - 16 = -46. Sort -1, d, -3 in ascending order.
d, -3, -1
Suppose 3*i - 7*i = 4. Let z(y) = 2*y**3 + 2*y + 1. Let m be z(i). Put -4, -1, m in decreasing order.
-1, m, -4
Let c = 62 - 247/4. Sort c, 0.3, 4 in ascending order.
c, 0.3, 4
Suppose 0*u = u. Suppose 0 = 4*f - u*f - 2*v - 18, -5*f + 30 = 5*v. Put f, -5, 1 in decreasing order.
f, 1, -5
Let f = -198.01 + 195. Let u = 0.01 + f. Let p = u + 2.8. Sort p, 2/13, 3 in descending order.
3, 2/13, p
Let d = 0.09 - -0.03. Let q = -0.08 - d. Sort q, -2, -3 in descending order.
q, -2, -3
Suppose 5*t + 8 = 3*t. Sort -5, t, -1 in decreasing order.
-1, t, -5
Let r = -8.9 - 0.1. Let h = r - -9. Put -5, h, -2 in descending order.
h, -2, -5
Let q = 5 - 11. Sort q, 4, -3 in decreasing order.
4, -3, q
Let b = -5 - -8. Let g = -7 - -12. Put g, b, -2/5 in decreasing order.
g, b, -2/5
Suppose 4*m - 3*i = 26, -4*i = -4*m - 2*i + 24. Sort 1, -4, m.
-4, 1, m
Let y = 2.94 + 0.06. Let c be (-2)/14 + (-174)/203. Sort -2, y, c.
-2, c, y
Suppose -r = -5*u + 7, 0*u - 3*r + 15 = 3*u. Suppose 6*z - z - 2*q + 35 = 0, -z = q. Sort 1, u, z in ascending order.
z, 1, u
Let c = -17.431 + -0.069. Let g = c - -18. Put -0.1, g, -2 in descending order.
g, -0.1, -2
Let i = 1.03 - 8.03. Sort i, 5, -0.05 in decreasing order.
5, -0.05, i
Suppose -3*v - 8 + 20 = 0. Sort 14, 3, v.
3, v, 14
Let u be (-201)/513*(-3)/(-2). Let h = u - -27/19. Put -1/3, -4, h in ascending order.
-4, -1/3, h
Suppose 5*n = -0*n - 5. Let h = -4 + 24. Suppose 5*v + h = 5*g, -v = -3*v - 3*g + 2. Sort -3, v, n.
-3, v, n
Let r(y) = y - 2. Let n be r(-3). Let k be 2/5 + 144/15. Suppose -2*w = 3*w + k. Sort w, n, 1.
n, w, 1
Let i = -11 - -17. Suppose -3 = -3*r + i. Sort r, -3, 4 in increasing order.
-3, r, 4
Let w(y) = -y**2 + 13*y + 1. Let b be w(13). Put -4, -6, b, 3 in increasing order.
-6, -4, b, 3
Suppose 4*n = 8 - 24. Suppose 4*i + 4 = -0. Sort i, -7, n.
-7, n, i
Let i(u) = u**3 - 4*u**2 + 6*u - 6. Let c be i(3). Sort -5, 2, c.
-5, 2, c
Suppose 2*x = -0*x + 8. Suppose 0 = 5*d - 1 - 9. Sort d, 5, x in decreasing order.
5, x, d
Let o = -1223/7 - -175. Sort o, -0.06, -0.1, -5 in decreasing order.
o, -0.06, -0.1, -5
Let o = 6 - 5.7. Let z be -2*(-2)/4 + -1. Let m = 2.4 + 0.6. Sort m, o, z in decreasing order.
m, o, z
Let y = 20 - 19.91. Let l = -2 + 2.3. Put y, -0.4, l in ascending order.
-0.4, y, l
Let g be 18/(-12)*4/(-57). Put -5, -2, g in ascending order.
-5, -2, g
Let p = -19 + 21. Let m be (-84)/15 - (-4)/(-10). Let u = m - -4. Put u, 3, p in decreasing order.
3, p, u
Let x be ((-20)/14)/(2/(-7)). Sort 4, x, -4, 3 in descending order.
x, 4, 3, -4
Let g = 0.4 + -12.4. Let c = g + 13.6. Let r = 2 - c. Put -4, r, 3 in descending order.
3, r, -4
Let z = -27 - -29.99. Let k = z - -0.01. Sort k, 1, -1.
-1, 1, k
Let p(y) = y**2 + 5*y + 4. Let f be p(-4). Sort f, -3, 4, -4 in increasing order.
-4, -3, f, 4
Let t = 0 - 5. Suppose 8 + 4 = -3*a. Put 3, a, t in decreasing order.
3, a, t
Let z(q) = q**3 + 7*q**2 - 18*q + 3. Let m be z(-9). Put 5, -2/5, 1, m in ascending order.
-2/5, 1, m, 5
Let h be (-10 - -10)/(0 + -3). Suppose -3*u - 9 = v, h = -2*v - u + 2*u + 10. Put -3, -4, v in increasing order.
-4, -3, v
Suppose 16*q = 15*q + 16. Put 4, 3, 5, q in ascending order.
3, 4, 5, q
Suppose 6*f = f. Sort 1, 2, f in decreasing order.
2, 1, f
Let x = -13.5 + 14. Let w = -3 + 3.1. Put -1, w, x in ascending order.
-1, w, x
Let u = 2 + -4. Let l = u - 2. Let i = 76 + -72. Put l, i, 5 in ascending order.
l, i, 5
Let b = -3 - -7. Suppose 0 = b*l - 8 + 28. Sort l, 3, 2 in ascending order.
l, 2, 3
Let d be (-6)/(-7)*((-336)/9)/(-8). Put 3, -6, d in decreasing order.
d, 3, -6
Let p(k) = k - 3. Let u be p(5). Let n = u - 8. Let y(d) = d**2 + 7*d + 4. Let j be y(n). Sort j, 1, -4 in ascending order.
-4, j, 1
Suppose -6*y - 12 = -2*y. Put -2, 5, y in ascending order.
y, -2, 5
Let d(n) = -2*n**2 + 11*n + 7. Let j be d(6). Put -3, j, 4, 8 in increasing order.
-3, j, 4, 8
Let h(g) = -2*g**3 - 5*g**2 - 5. Let n be h(-3). Put n, -4, -10, 3 in increasing order.
-10, -4, 3, n
Suppose 0 = -w + 1, -4*y - 5*w + 213 = -4*w. Let a = y - 5. Let i be a/(-9) + (-1)/(-3). Put 1, -2, i in decreasing order.
1, -2, i
Let i(b) = -b**2 + b + 6. Let q be i(3). Suppose 3*k + 3 = y, 4*y + 0*k = -2*k - 16. Put 3, y, q in descending order.
3, q, y
Let q = 0.1 + -2.1. Let m(r) = -r**2 + 8*r - 7. Let f be m(6). Sort -2/5, f, q in descending order.
f, -2/5, q
Let v(x) = x**2 - 9*x + 12. Let g be v(8). Suppose a - 1 = g. Suppose -k = -2*k + a. Put -4, 0, k in descending order.
k, 0, -4
Let h = 6 + -5.9. Sort h, 5/7, -2/5.
-2/5, h, 5/7
Let g = -11 + 8. Suppose -24 = -0*v - v - 4*z, -2*v + 5*z - 17 = 0. Put v, 2, g in descending order.
v, 2, g
Let d = -3 - -5. Suppose 0 = -h - 0*h + d. Put h, -4, -3 in decreasing order.
h, -3, -4
Let o be (-4)/(-2 + 2 + -1). Suppose -3 = -o*c - 19. Let x = -38/105 - 5/21. Put c, x, -3 in increasing order.
c, -3, x
Let o be ((-8)/6)/((-70)/(-30)). Put o, -2, 5/6 in ascending order.
-2, o, 5/6
Let k = -195 + 196. Sort -1, 9, k in decreasing order.
9, k, -1
Suppose 9*n - 8*n + 1 = 0. Sort 3, -2, 0, n in increasing order.
-2, n, 0, 3
Suppose 0 = -4*j + 3*g - 6, -3*j + 5*g - 10 = -0. Suppose 0 = -c + 3 - 0. Let s be j/(-1 + c + -4). Sort -5, -1, s in increasing order.
-5, -1, s
Suppose y = -0*y - 5. Let k = y + 6. Suppose -4*b - k = -13. Sort 2, 1, b in descending order.
b, 2, 1
Let x = 0.01 - -0.09. Let a = -4 + 6. Sort a, x, 1 in decreasing order.
a, 1, x
Let w = 7 + -2. Let a(r) = -r**3 + 5*r**2 - 6. Let i be a(w). Let v be -3 + 2 + i + 2. Sort v, 3, -3.
v, -3, 3
Let z(a) = -a**3 - 6*a**2 - 7*a - 1. Let i be z(-5). Let w = -5 + i. Suppose -4 - 17 = -3*k + 2*h, 6 = -2*h. Put -1, w, k in increasing order.
-1, w, k
Let j = 0.317 + -0.117. Sort -0.5, 2, 1/3, j in increasing order.
-0.5, j, 1/3, 2
Let p(j) = -j**3 + 5*j**2 + 2*j - 6. Let z = -12 - -17. Let h be p(z). Suppose l = -0*l + 5. Sort l, 3, h in increasing order.
3, h, l
Let r be 2/(-6) + (-52)/(-12). Sort r, -3, -5 in decreasing order.
r, -3, -5
Let w = 0 + 0. Let o = w + -2. Suppose 4*b - 7 = 5*n + 3, 6 = 3*n. Sort o, b, 4.
o, 4, b
Let s be 3/4 - 2/(-8). Let o be ((-1)/s + 1)/(-1). Let w = 1 + 1. Sort w, o, -4 in increasing order.
-4, o, w
Let q be (-3)/2*(-6 + 8). Suppose -4*r + 7*r = 0. Suppose 4*c + 2 + 2 = r. Put c, q, -2 in ascending order.
q, -2, c
Let r = 54.7 + -52. Let n = -2.9 + r. Put 3, -5, n in ascending order.
-5, n, 3
Let r be 15/75 + (-2)/10. Let q = 0 - -1. Put q, r, -2 in decreasing order.
q, r, -2
Let j = 35 - 32. Sort j, -1/6, 1 in decreasing order.
j, 1, -1/6
Suppose -x = -0*x - 1. Let l be 7 + 2/(-4)*6. Put x, l, -2 in decreasing order.
l, x, -2
Let h = 1 + -10. Suppose 13 - 3 = -5*q. Sort 3, q, h in descending order.
3, q, h
Suppose -a = 4*d - 8*d + 17, d = -2*a + 2. Let f be 2/((12/(-22))/(-3)). Let m = f - 8. Put m, d, 0 in decreasing order.
d, m, 0
Let i = 4 - 4. Let d = i + 0.2. Put d, -6, 5 in increasing order.
-6, d, 5
Suppose w - 3*w + 29 = -5*n, w - 2*n - 12 = 0. Put w, -0.1, -0.09 in increasing order.
-0.1, -0.09, w
Let c = -9 - -6. Put -4, 4, c in decreasing order.
4, c, -4
Suppose 4*i - 12*i + 32 = 0. Sort 1, 3, 0, i.
0, 1, 3, i
Let n(v) = -v**2 - 11*v - 15. Let h be n(-10). Let t = -0.2 + 0.2. Put h, t, -1 in ascending order.
h, -1, t
Let g = 18.83 + 0.07. Let s = -21 + g. Let n = s - -2. Sort n, -2, 2 in increasing order.
-2, n, 2
Suppose -h + 2 = 3*b + 3, -h = 4. Sort 3, b, -0.4, -0.5 in descending order.
3, b, -0.4, -0.5
Let r = -79 + 79. Sort 0.3, -4, -0.3, r.
-4, -0.3, r, 0.3
Let o(j) = -j**3 - 2*j**2. Let v be o(-2). Let p = 2 - v. Suppose -2*q = p*c - 2, -4*q - 2*c + 1 + 5 = 0. Put q, 5, -0.3 in descending order.
5, q, -0.3
Suppose 4*p + 4 = 3*p, 0 = 2*s - 4*p - 40. Sort s, 5, 2.
2, 5, s
Let j(f) = f**2 - f + 1. Let p be j(0). Sort 0, -4, p in descending order.
p, 0, -4
Let o = 17 - 14. Put -3, o, -5 in decreasing order.
o, -3, -5
Let y be 2*(-1 + (-6)/(-4)). Let d be (3 - (2 - 1))*y. Let p = 6 - 10. Sort p, d, -5 in decreasing order.
d, p, -5
Let u be (2 + 1)*(-10)/6. Let r(l) = -l**2 + 15*l + 1. Let m be r(15). Sort u, m, 1/2 in decreasing order.
m, 1/2, u
Suppose -2*s - 