 order.
-2, 1/2, i
Let t = -0.8 - -1.1. Let d = -3.2 - 0.8. Sort -2/13, d, t in decreasing order.
t, -2/13, d
Suppose -8 = 5*l + 2. Let i(s) = -s + 4. Let a be i(7). Let x be ((-2)/(-4))/(1/(-2)). Put a, l, x in descending order.
x, l, a
Suppose 0 = d + 5*q - 10, 3*d - 3*q = 2*d - 14. Let h = d + 3. Suppose 6*b - 8 = -2. Sort b, h, -4 in ascending order.
-4, h, b
Let k(d) = d**2 - 8*d + 4. Let z be k(8). Suppose -i - 4 + 22 = 4*b, -z*i + 5*b - 12 = 0. Suppose 4*l + 19 = -i*t + 3, -3*l + 4*t + 10 = 0. Sort -1, l, -4.
-4, l, -1
Let c = -0.27 - 0.19. Let g = 0.04 - c. Let u = -0.5 + 0.2. Sort g, u, 1 in ascending order.
u, g, 1
Let b(r) = 7 - 2 - 2*r + 8. Let a be b(9). Put 1, 3, a in ascending order.
a, 1, 3
Let u = -7 - -5. Let t = 2 + -4. Let c be (0 - (t - -2))/(-1). Put -5, c, u in decreasing order.
c, u, -5
Suppose 0*t + t + 26 = -g, -t = 3*g + 20. Sort 1, 2/3, -0.5, t in increasing order.
t, -0.5, 2/3, 1
Let a(j) = -j**3 - 9*j**2 + 10*j + 4. Suppose 3*k = l + 13, -4*k = 2 - 6. Let p be a(l). Put p, -2, 2 in increasing order.
-2, 2, p
Let v(i) = i**2 - 4*i + 2. Let p be v(4). Let a = -2 - -6. Sort 0, p, a in decreasing order.
a, p, 0
Let v = -0.98 - -2.98. Sort v, 2/7, 4, 3/4 in increasing order.
2/7, 3/4, v, 4
Suppose 0 = -2*u + 3 - 7. Let x be -7 - ((u - -4) + -4). Let n(v) = -v**2 - 6*v - 1. Let p be n(-5). Sort x, -1, p in ascending order.
x, -1, p
Suppose 5*f + 1 - 11 = 0. Suppose f*i = -0 - 10. Suppose 2*p - 4 + 0 = 0. Sort p, i, 1 in increasing order.
i, 1, p
Let q(x) = x + 1. Let l be q(-3). Let h = -52 - -57. Sort h, -1, l in descending order.
h, -1, l
Let g = -6 - -5. Let s = 2.03 - 2. Let y = 0.37 + s. Put -4/5, g, y in decreasing order.
y, -4/5, g
Let p = 105 + -523/5. Let o = 0 + 0. Sort o, 4, p in descending order.
4, p, o
Let i = 3.8 - 0.8. Let p = -2 - i. Let s be (-14)/(-44) - 4/(-22). Put 0.2, p, s in descending order.
s, 0.2, p
Suppose 3*o - 4*m - 3 = 0, -3*o + 9 = m - 9. Sort 8, o, -5, -2 in increasing order.
-5, -2, o, 8
Let r be (-16)/(-56) + (-26)/(-7). Let k = -2 + 3. Put k, -1, r in ascending order.
-1, k, r
Let l be ((-3)/(-18))/(2/8). Let b = -2/15 - 7/60. Let f(p) = 3*p - 14. Let h be f(5). Sort b, l, h in decreasing order.
h, l, b
Let q(j) = j**2 - 1. Let s be q(2). Suppose -4*h - 14 + 6 = 0. Put 0, h, s in decreasing order.
s, 0, h
Let r(f) = -f**2 - 5*f + 1. Suppose 5*d + 29 = 4. Let l be r(d). Put l, -3, 3 in ascending order.
-3, l, 3
Let z be (6 + (-56)/10)/((-2)/(-10)). Let h = -1 - -4. Put 14, z, h in decreasing order.
14, h, z
Let y = -11 + 9. Sort 3, 4, y in decreasing order.
4, 3, y
Let m = 64 + -129/2. Sort m, 1/3, -5, 4 in ascending order.
-5, m, 1/3, 4
Let l = -3 - 1. Suppose -d - 2*d = 4*m - 21, m = -3*d + 12. Let q be 4/(-6) - (m + -4). Put q, -0.2, l in descending order.
q, -0.2, l
Suppose 0 = r + 3 - 7. Let q = -7 - -8. Suppose -c - 4 = -q. Sort c, r, -2.
c, -2, r
Let x(a) = a**3 + 9*a**2 + 7*a - 7. Let n be x(-8). Sort -1, n, 6.
-1, n, 6
Suppose 5*s + 7 - 32 = 0. Suppose 6*w - 33 = 2*x + w, -s*x - 5*w + 5 = 0. Sort 3/2, x, -3/4 in ascending order.
x, -3/4, 3/2
Let g(j) = j**3 - 8*j**2 + 8*j - 4. Let x be g(7). Sort -3, x, 4.
-3, x, 4
Let v = -1.5 - -1.5. Put v, -1/4, 2 in ascending order.
-1/4, v, 2
Let d = -3 - -3. Suppose -5*k + 6 = -3*p, d = 4*p - 3*k + 2*k + 8. Sort 0.3, -2/7, p.
p, -2/7, 0.3
Let k(w) = -w**2 + 4*w + 43. Let t be k(9). Sort t, -4, 23, 0 in ascending order.
-4, t, 0, 23
Let n = 0.05 + -0.45. Let w = 11.1 + -12. Let a = n - w. Sort 3, a, -0.4 in increasing order.
-0.4, a, 3
Suppose -g + 2*g - 61 = -4*v, 19 = v + g. Let o be 23/(-7) + 4/v. Let y = 3 + o. Sort 5, 3, y.
y, 3, 5
Let l be 2/(-3) + (-2)/6. Let v be (-1 - 2 - l) + -3. Sort -4, v, 0.5 in descending order.
0.5, -4, v
Let x = 2.4 + -2. Let l = -16 + 10. Let o = -6.5 - l. Put 4, o, x in descending order.
4, x, o
Let w be ((-5)/(5/(-2)))/(-2). Let x = w - -4. Suppose -16 = 4*d, 0 = -4*u - d + 4. Sort u, -2, x.
-2, u, x
Let b(f) = -3*f + 11. Let w be b(4). Sort w, 3, 0 in descending order.
3, 0, w
Let x = -184 + 1290/7. Sort 0, x, 0.3 in increasing order.
0, x, 0.3
Suppose 12*l + 10 - 22 = 0. Sort -22, l, -5 in increasing order.
-22, -5, l
Let u(h) = -h**2 - 18*h + 5. Let p be u(-18). Put p, 1, -5, 2 in ascending order.
-5, 1, 2, p
Let i = -17/6 + 97/30. Sort -3, -4, i in increasing order.
-4, -3, i
Let z be (-9)/(-24)*4 - 5/4. Sort 1, z, -4/5, -5 in decreasing order.
1, z, -4/5, -5
Let h = 11 - 7. Let r be 0 - (2 - (-1 - 0)). Let m be (r/5)/(4/20). Sort -4, m, h in ascending order.
-4, m, h
Let w be (-1 + 2)*-1 + -2. Let g be 2/1 - (-1 + -2). Suppose -g*v = -2*v - 12. Sort w, v, 3 in decreasing order.
v, 3, w
Let t be (41/246)/((-1)/(2/3)). Sort 26, t, -0.1 in descending order.
26, -0.1, t
Let g be 1/4 - 19/(-4). Suppose -16 = -4*w + 2*k, w + 0*w = -3*k + 4. Let v = 3 - w. Put v, g, 2 in increasing order.
v, 2, g
Let o(x) = -x**2 + 6*x - 6. Let u be o(4). Suppose 0 = 3*d + 6*r - 5*r - 8, -12 = -d - 5*r. Let k be 1 - (-2 - -1)*d. Sort u, 0, k.
0, u, k
Let r = -3.93 + -0.07. Sort r, 1/7, -3 in ascending order.
r, -3, 1/7
Suppose -2*i - 6 = -2*x, -2*i - 2*x = -2 + 12. Sort i, 1, -1 in descending order.
1, -1, i
Suppose 0*v = -4*v - 28. Let n = 189 + -187. Sort v, -1, n in increasing order.
v, -1, n
Let a be -1 - (-14 + 6 - -5). Suppose -2*w + 25 = 3*w. Put w, -4, a in decreasing order.
w, a, -4
Let w be (6/4)/((-36)/(-96)). Let b be (-3 - (w + -6))*1. Put -2, b, -3 in ascending order.
-3, -2, b
Let o = 79/80 + -3/16. Let a = o + -27/40. Put -4/7, -3, a in descending order.
a, -4/7, -3
Let o = -4.4 - 1.6. Let v = -6.5 - o. Put 5/3, -3, v in ascending order.
-3, v, 5/3
Let n(p) = -2*p**2 + 5*p - 2. Let f be n(2). Put -0.4, f, -5, 4 in descending order.
4, f, -0.4, -5
Let w = 22 - 15. Sort -2, 3, w.
-2, 3, w
Let o be -3*-1*4/6. Let t be (-6)/(-8) - (-52)/16. Let a(j) = j**2 - 4*j + 1. Let l be a(t). Sort o, l, 0 in ascending order.
0, l, o
Let t = -8 + 7.94. Let p = t + -2.94. Sort -0.3, -3/5, p in ascending order.
p, -3/5, -0.3
Suppose 2*s - 4*s - 4 = -4*l, 5*s = 20. Suppose 0 = b + l*b + 8. Let a(o) = o**3 - 5*o**2 + 2*o + 4. Let z be a(4). Sort z, b, 0 in ascending order.
z, b, 0
Let o = -184/3 - -62. Sort o, -0.1, -0.3, 1.1 in descending order.
1.1, o, -0.1, -0.3
Let j = -10 + 6. Let t = j - -7. Suppose 2*m = 3*m - t. Sort m, -3, 1 in increasing order.
-3, 1, m
Let l = 3.3 - 3.4. Put l, -2/9, 2 in decreasing order.
2, l, -2/9
Let g(s) be the first derivative of -s**4/4 - 3*s**3 - s**2/2 - 4*s + 3. Let h be g(-9). Suppose -4*f - 11 + 3 = 0. Put f, -1, h in increasing order.
f, -1, h
Let y be (-80)/(-45) - (-2)/9. Suppose -5*t - 3*q = y*q - 40, t - 4*q + 7 = 0. Sort t, 4, -2 in increasing order.
-2, 4, t
Let k = -4.5 + 7.5. Put 0.3, k, 0.5, -0.3 in decreasing order.
k, 0.5, 0.3, -0.3
Let u be 2/2 + -1 - -2. Let n = u - 5. Put 3, 1, n in decreasing order.
3, 1, n
Let c(y) = -3*y**2 - 3*y - y + 5*y - 1 + 6*y**2. Let i be c(1). Sort 1, i, -4 in descending order.
i, 1, -4
Let z = -65.51 + 65. Let n = 0.11 + z. Sort -5, 1/4, n in ascending order.
-5, n, 1/4
Let q be (-4 + 3)*1 + 3. Put 5, -5, q in descending order.
5, q, -5
Let b = -10 - -5. Let w = -124 - -126. Put b, w, -4 in descending order.
w, -4, b
Suppose 0 = 18*z + 19 + 17. Let k(j) = -j**2 + 3*j + 4. Let a be k(4). Sort a, -2/11, z in decreasing order.
a, -2/11, z
Suppose -l - 3 = -2*l. Let j be -1*(-3)/((-522)/249). Let r = -2/29 + j. Put r, -0.3, l in decreasing order.
l, -0.3, r
Let d = 0.2 + -0.1. Let b = 113.4 + -113. Sort 0.5, b, d in descending order.
0.5, b, d
Let g = -6 - -6. Suppose -2*v = 3*v - 25. Let u = 10 - v. Put u, g, -4 in ascending order.
-4, g, u
Let q be (-6)/(-20) + 2/(-10). Let r = 1 + -12. Let b = r + 12. Put -0.2, b, q in descending order.
b, q, -0.2
Let a(t) = t**3 + 2*t**2 - 2*t - 3. Suppose 0 = 5*s + 5*f, 4*f = -2*s - 0*f + 4. Let x be a(s). Put -3, -0.4, x in ascending order.
-3, -0.4, x
Let w = -39.79 - -40. Let s = 0.21 - w. Put s, 0.3, 0.5 in decreasing order.
0.5, 0.3, s
Let d = 25/63 + -1/9. Let z = -0.2 + -0.8. Put d, z, -5 in increasing order.
-5, z, d
Let o(c) = -c**3 - 17*c**2 + 20*c + 42. Let w be o(-18). Suppose 3*a + a = -12. Sort 3, a, w.
a, 3, w
Let n(f) = -f**2 - f - 1. Let s be (-8)/(-36) - 75/(-27). Suppose 5*x - 2 - 8 = 