rder.
y, a, -4
Let c(g) = -g**2 + 3*g - 1. Let t be c(4). Let z = 19 + -22. Put 1, t, z in ascending order.
t, z, 1
Suppose p = 4 - 3. Put p, 3, 0, 4 in increasing order.
0, p, 3, 4
Suppose -3*i + 2 - 8 = 0, -4*q - 3*i = -6. Put q, -2, 0 in ascending order.
-2, 0, q
Let u = 53 - 54.94. Let p = u + -0.06. Let i be ((-5)/20)/(20/64). Sort i, 0.2, p in decreasing order.
0.2, i, p
Let m(b) = -b**3 + 4*b**2 + 4*b + 2. Let l be m(5). Suppose 2*g = 4*u + 3*g - 214, 168 = 3*u - 3*g. Let f be (-3)/u + 4/18. Put l, -2/7, f in ascending order.
l, -2/7, f
Let z = -4 - -2. Let o be (-86)/(-30) - (-16)/360*3. Sort 5, z, o in descending order.
5, o, z
Let d be (-18)/14 + 4/14. Let i(y) = y + 1. Let j be i(3). Suppose 4*k - 16 = -j*h, h + k = 6*k + 10. Put h, -3, d in descending order.
h, d, -3
Let v be (-2 - (1 + -2)) + -7. Let u be -13 + (-2 - (-1 - 3)). Let h = u - v. Sort 2/3, h, 0.4 in descending order.
2/3, 0.4, h
Suppose 0*r + 5 = 5*r. Suppose 4*x + 1 = -3. Put r, -3, x in descending order.
r, x, -3
Let w = 0.02 - 3.02. Let o = 7 + w. Let l = -20 - -17. Put l, o, -2/13 in ascending order.
l, -2/13, o
Let m = -3 - 2. Let c = 29 + -28. Put -4/9, m, c in decreasing order.
c, -4/9, m
Let k be (-4)/10 - (-92)/80. Let m = 30 - 24. Sort m, k, -1/2.
-1/2, k, m
Let s be 2/6 - (-26)/(-6). Let g be -10*(-2 - (-3)/2). Sort s, -2, g in descending order.
g, -2, s
Let i = 3 - 8. Let c be ((-2)/(-3))/(7/3). Let t be ((-1)/(-14))/((-10)/(-35)). Sort t, c, i.
i, t, c
Suppose -5*k = -8*k + 9. Sort -5, k, -2/65 in decreasing order.
k, -2/65, -5
Suppose -2*f = 5*n + 1 - 11, -4*f = -4*n - 20. Suppose 11 = -n*t - t. Put 3, t, 0 in decreasing order.
3, 0, t
Let s = 0 + 2. Suppose z - 4 = s. Let n(w) = w**2 - 8*w + 8. Let t be n(z). Put -3, 1, t in descending order.
1, -3, t
Let i = 16 - 19. Sort i, -0.4, 5 in descending order.
5, -0.4, i
Let c = -0.6 - -0.1. Let l = -0.07 - 0.23. Put c, -5, l in increasing order.
-5, c, l
Suppose -5 = 3*w + 4. Put 1, w, 0 in decreasing order.
1, 0, w
Let c be 5*1 - (2 + -2). Suppose -c*l = -5*q + 3*q - 16, -4*q = 5*l + 2. Suppose -31*o + 24*o = -35. Sort o, q, -4 in descending order.
o, q, -4
Let c = 5 - 9. Let h = c - -3.6. Sort 4, h, -5 in decreasing order.
4, h, -5
Let s be (-2)/(-6) + (-5)/(-3). Put -1, s, 4 in decreasing order.
4, s, -1
Let f = -12 + 14. Sort 0, -0.3, f in decreasing order.
f, 0, -0.3
Suppose -y = 3*y. Let q = -4 - y. Put q, -2/13, -0.5 in descending order.
-2/13, -0.5, q
Let t = -0.1 + 0.3. Let s be (0 + (-4)/56)*4. Sort t, s, -0.2 in decreasing order.
t, -0.2, s
Suppose -5*g = -2*g + 12. Suppose -2*u + 2*h = 16, 0 = 3*u - 8*u - 5*h - 10. Suppose 4*n = -4*p - 0*n, 5*p + 3*n + 6 = 0. Sort u, p, g.
u, g, p
Suppose -d + 12 = -n - 3*n, -5*n = d + 24. Let c be (-4)/10 + 17/5. Put c, n, -5 in increasing order.
-5, n, c
Let r(m) = -m**2 - 9*m - 8. Let y be r(-8). Sort 1, y, -5 in decreasing order.
1, y, -5
Let k(a) = -a**2 - 4*a + 5. Let p be k(-5). Let x = -7.5 + 7. Put p, x, 0.4 in decreasing order.
0.4, p, x
Let d(r) = -2*r + r - 4 + 0*r. Let a be d(-7). Let u be (-2)/(-9) - 6/27. Put u, -1, a in ascending order.
-1, u, a
Let l be 2 - (2 + (-2 - 0)). Suppose -w = l*w + 9. Suppose 3*y - 18 = -3*r, -4 + 17 = 3*y + 2*r. Sort y, -1, w in descending order.
y, -1, w
Let q = -14 + 20. Put -4, -2, q in ascending order.
-4, -2, q
Suppose -4*z + 5*m = 3 - 2, -3*z = 4*m - 38. Sort 2, -5, 3, z.
-5, 2, 3, z
Let k = -42 - -43. Sort 2, 0.5, k in descending order.
2, k, 0.5
Let y be (-52)/(-8) - (-2)/4. Let a(l) = -l**3 + 6*l**2 + 8*l - 4. Let k be a(y). Put -3, -4, k in increasing order.
-4, -3, k
Suppose -7*m + 10*m = 0. Let w be (0 + -1)*(-5 + 3). Sort m, -2, w.
-2, m, w
Let r = 6 - 10. Let g = -1.5 - -2. Let v = -7.02 + 0.02. Sort v, r, g in ascending order.
v, r, g
Let k = 2.7 - 2.2. Let z = 0.1 - 0.5. Put z, -1, k in descending order.
k, z, -1
Let k(x) = x**3 - 22*x**2 + x - 23. Let v be k(22). Sort -2, 27, v in increasing order.
-2, v, 27
Let x = 7.6 + -8. Let u = 1.02 - 0.12. Let w = u - 1. Put w, 1, x in descending order.
1, w, x
Let x = -8 + 10. Sort 5, 0, x in decreasing order.
5, x, 0
Let t(k) = -2*k - 2. Let f be t(-2). Sort 1/4, -5, 6/11, f.
-5, 1/4, 6/11, f
Suppose 5*d + 18 = -c - 3, c - 24 = 4*d. Let q be (-1 + 1)/1 + -3. Sort q, c, -1 in decreasing order.
c, -1, q
Let b(h) = h + 2. Let j(z) = 2*z. Let t be j(2). Suppose -2*r = 12 - t. Let w be b(r). Sort -5, w, 1 in increasing order.
-5, w, 1
Suppose 5*s + 22 - 2 = 0. Let o be (0 + 0/(-2))/2. Sort o, s, 3.
s, o, 3
Let n = 0.5 + -0.8. Let t = 2.8 + -2.52. Let c = t - 1.28. Put n, 1/3, c in ascending order.
c, n, 1/3
Let p = 81 - 86. Put -1, -2/3, p in descending order.
-2/3, -1, p
Let d(y) = y**3 + 4*y**2 - 7*y - 6. Let t be d(-5). Let v(u) = u**3 - 7*u**2 - u + 4. Let i be v(7). Sort i, t, -4 in decreasing order.
t, i, -4
Let r(v) = -v**3 + v**2 + v - 1. Let f be r(2). Let y = f + 6. Suppose 4*k - 15 = k. Put k, y, 0 in descending order.
k, y, 0
Suppose -1 = k - q, 3*k + 2 = 4*q + 1. Sort k, 3, 1 in descending order.
3, 1, k
Let q = 2.97 - 3.1. Let f = q - -0.03. Put -2, -3, f in decreasing order.
f, -2, -3
Suppose 0 = -5*m - 4*v + 21, 0*m - m + 3*v = 11. Sort m, -11, 2 in decreasing order.
2, m, -11
Suppose 5*q - 101 = -g, 0 = 2*q - 5*g - 40 - 22. Let p be 2/(-4) + q/(-6). Put -3, p, -2 in descending order.
-2, -3, p
Let v = -1 + 3. Let w be ((-16)/v + -2)/2. Sort w, 0.1, -1.
w, -1, 0.1
Suppose 0*h + 5*i + 75 = 5*h, 2*i = -3*h + 40. Suppose -3*j - h = 5*u - 4*j, 0 = 5*u + j + 16. Put u, -4, 0 in increasing order.
-4, u, 0
Let r = -5.1 - -1.7. Let d = r - -1.4. Put -1/3, d, -4 in descending order.
-1/3, d, -4
Let k = 12 + -17. Let b be (-3 - -1) + k + -2. Put b, -5, -4 in descending order.
-4, -5, b
Let h = 18/11 + -206/99. Sort -0.2, h, -1, 3 in descending order.
3, -0.2, h, -1
Suppose 0 = y - 4*n + 8, n - 2 = 2*y - 0*y. Suppose g - 2*g + 2*v - 2 = 0, y = 2*g + 4*v - 20. Suppose -g*p + 1 = -3*p. Sort -4, p, -2 in descending order.
p, -2, -4
Let u be -3 + 14*(-4)/(-8). Sort u, 5, 1.
1, u, 5
Suppose 0 = -6*i + 8*i - 6. Sort i, 33, 2, -0.2.
-0.2, 2, i, 33
Let r = -5 + 2. Let m = 2.7 - 6.81. Let k = 0.11 + m. Put -2/13, k, r in ascending order.
k, r, -2/13
Suppose -10 = -5*x, 2*x + 6 = 2*s + 4*x. Suppose 3*m = 5*n + 2, n + 14 = 2*n + 3*m. Sort -4, s, n in ascending order.
-4, s, n
Let n = 0.6 + -0.7. Let d = 1 + 4. Let y be 10/18*2/d. Put -2/9, n, y in increasing order.
-2/9, n, y
Let z = -10.7 - -10.7. Put 2, -4, z, -5 in descending order.
2, z, -4, -5
Let y = 15 + -15. Sort 4, y, 2 in increasing order.
y, 2, 4
Let q = 2.8 - 1.8. Sort q, -0.5, 5 in descending order.
5, q, -0.5
Suppose 2*b + 5*t = -0*b + 6, 4*b - 12 = -5*t. Suppose -4*s - 5 = -25. Sort s, -4, b in increasing order.
-4, b, s
Let r be 86/22 - (-14 + 18). Sort 1, r, 1/3 in increasing order.
r, 1/3, 1
Suppose 0 = 2*o - 4*o. Let z be 2*2*(-1 - o). Put z, 0, -3 in descending order.
0, -3, z
Let i = 3 + -2.6. Suppose -b = 4*b - 80. Let g be (b/528)/((-2)/6). Sort g, i, -5 in ascending order.
-5, g, i
Let t = -27/2 + 12. Let f = -64 - -6. Let c = 292/5 + f. Sort t, c, -1/3 in descending order.
c, -1/3, t
Let w = -28 + 26. Put -0.3, 1/2, w in descending order.
1/2, -0.3, w
Let c = 15 + -12. Let m be 6*(-1 + (-2)/(-6)). Sort -1, m, c.
m, -1, c
Let b = -9581/3 - -3165. Let i = -899/12 - b. Let g = i + 46. Put 2, 1, g in ascending order.
g, 1, 2
Let i = -2.1 + 1.9. Sort 4/3, i, 0.1 in increasing order.
i, 0.1, 4/3
Let f = -86 + 85.72. Put 2, -4, -0.3, f in decreasing order.
2, f, -0.3, -4
Let f be 6/33 - (-3 + (-105)/(-33)). Put f, 3/5, -2/15, 5 in ascending order.
-2/15, f, 3/5, 5
Suppose -16 = -4*c - x, 4*c - 7 = 5*c + 3*x. Let h = -30 - -20. Let f = h + c. Put 1, f, 3 in descending order.
3, 1, f
Let z = 4.7 - 0.2. Let p = z - -0.5. Put 2, -0.2, p in decreasing order.
p, 2, -0.2
Let t = -8 + 8. Sort -13, t, -3/4 in ascending order.
-13, -3/4, t
Suppose -14 = 2*m - 2*y, 0 = m - 2*y - 3*y + 27. Let h = 10 + -6. Sort h, 2, m in descending order.
h, 2, m
Let f(k) = -k**2 - 4*k + 7. Let a be f(-5). Let g(x) = 4*x + 0*x + 0*x + x**a - 4. Let n be g(-4). Put n, -1, 1 in descending order.
1, -1, n
Let z = 1.1 + -0.8. Let x = 0.3 + 0.7. Put x, 2/7, z in decreasing order.
x, z, 2/7
Let w = -0.3 + 19.1. Let u = -19 + w. Put