0.3, i, 1 in ascending order.
-0.3, i, 1
Suppose 15 = 5*m - 2*m. Suppose 5*x - 30 = -4*k, -x = -m*k - 3*x + 29. Put k, -1, -3 in descending order.
k, -1, -3
Suppose -24 = -w + 17. Sort -5, w, 5.
-5, 5, w
Suppose -4*w + 8 = 0, -5*h - 3*w = -7*w + 23. Let t = -5 - h. Let z = 0.5 + -0.8. Sort z, -1, t in descending order.
z, -1, t
Let a = -5 + 4.8. Let z = -2 - -1.8. Let h = z - a. Sort -0.1, h, 1 in decreasing order.
1, h, -0.1
Let j be (1/(-3))/((-2)/6). Let i be ((-6)/2 + -1)*j. Sort i, 3, 0 in decreasing order.
3, 0, i
Let d be 52/(-10) + 2/10. Let x be 1*(3 + -6) - 6. Let n = d - x. Sort n, -5, -0.3 in increasing order.
-5, -0.3, n
Suppose 17 = 3*d + 11. Suppose 0 = -z + 5*o, -2*z - 10 = 5*o + 5. Sort z, d, -4 in increasing order.
z, -4, d
Let a be (2/(-12))/((-2)/(-80)). Let p = -6 - a. Let u = 1 - 1.4. Sort 4/7, u, p in decreasing order.
p, 4/7, u
Let u = 9 - 7. Put u, 3/5, -0.02 in decreasing order.
u, 3/5, -0.02
Let m = 6/103 + 285/412. Put 0.2, 1/4, 0.022, m in decreasing order.
m, 1/4, 0.2, 0.022
Let s(m) = -m + 6. Let a be s(5). Suppose 0*t = -3*t - 5*u - 17, 0 = u + a. Let q(v) = -v**2 + 8*v - 8. Let y be q(7). Sort t, y, 5.
t, y, 5
Let y = -2630/59499 - 22/601. Let p = 4/11 - y. Let z = 3.5 - 3. Put 5, p, z in descending order.
5, z, p
Let b be ((-2)/(-4))/((-11)/4). Let j = -52 - -52. Put j, b, -0.3 in decreasing order.
j, b, -0.3
Let d = -0.021 - -0.221. Let w be (6/(-20))/(-3)*-1356. Let s = w - -136. Sort d, 1, s in increasing order.
d, s, 1
Let s = -0.26 + -3.74. Let l be 2/(-12) - 2/(-4). Sort l, s, 4 in decreasing order.
4, l, s
Suppose 0 = 2*x - 6 - 4. Let v = 10 - x. Sort -2, 3, v.
-2, 3, v
Suppose -4*a = -11 - 1. Suppose 7*w = 3*w, f - a = w. Let u = -1 + -1. Sort u, f, -1 in descending order.
f, -1, u
Let o = 1.9 + -2. Let y = -7.5 - 2.5. Let j = y - -6. Put 0.3, j, o in increasing order.
j, o, 0.3
Let x be (-2)/4 + 2/(-4). Put 0, x, 4 in increasing order.
x, 0, 4
Let z = 164 - 159. Let r be (0 - 0 - -1) + -1. Sort r, 4, z.
r, 4, z
Suppose -4*k - 3 = -5*k + w, 2*k - 3*w = 6. Suppose 2*a - 6*a = -2*l + 16, l + 16 = -4*a. Let x be 1/(l + -3 + 2). Sort 2, x, k in decreasing order.
k, 2, x
Let t = 15 - 13. Put 4, 3, t in decreasing order.
4, 3, t
Let h = -1.2 - -1. Let n = 0.4 + h. Let r = 0.6 - n. Put -0.1, r, -2/9 in decreasing order.
r, -0.1, -2/9
Let i = 138 - 99.4. Let d = 34 - i. Let o = d - -5. Put 0.3, o, -0.4 in increasing order.
-0.4, 0.3, o
Suppose 3*u = 9*u + 42. Put -2, 2, u in increasing order.
u, -2, 2
Let q(x) = x**3 - 5*x**2 + 2*x - 5. Let v be q(5). Let k = 4 + -2. Sort -1, k, v.
-1, k, v
Let p(j) = 37*j**2 + 7*j - 3. Let m be p(5). Suppose 0 = 5*c - 0*w - 3*w + m, c + 195 = -3*w. Let f = c - -1342/7. Sort -0.1, 1, f in descending order.
1, -0.1, f
Suppose -4*v - 4 = -5*v. Let s = v - 2. Put s, -3, -2 in decreasing order.
s, -2, -3
Let t(g) = g - 11. Let a be t(7). Let w be (4/(-2) + 1)/1. Let h be (3/(-2))/(3/w). Put -2/11, h, a in decreasing order.
h, -2/11, a
Let t(c) = -c**2 - 7*c + 4. Let b be t(-6). Suppose b = 4*i + i. Put i, -3, -2 in decreasing order.
i, -2, -3
Let m = 2 - 2. Sort -1, -2, m in decreasing order.
m, -1, -2
Suppose m + y = 2*m - 3, 3*y = -2*m - 9. Put 2, m, 9 in descending order.
9, 2, m
Suppose h + 5 = -o + 2*h, -h = 2*o + 10. Let i = 0.05 + -3.05. Put -1/5, i, o in ascending order.
o, i, -1/5
Let i = 9 - 5. Suppose 4 = i*u - 2*h + h, -2*u + 4*h + 16 = 0. Suppose u = -5*v - 15 - 10. Sort v, 2, -1 in descending order.
2, -1, v
Let b = 29 + -19. Suppose -4*s + b = 30. Let h = -16 - -16.4. Put -4, h, s in decreasing order.
h, -4, s
Let q = -23 - -21. Put -4, q, 0 in descending order.
0, q, -4
Suppose 2*d = 2*t + d + 7, -1 = -t - d. Suppose -6*m = -2*m - 8. Sort m, -1, t in decreasing order.
m, -1, t
Let y be ((-35)/(-21))/(2/(-6)). Put y, 5, -4 in increasing order.
y, -4, 5
Let z be -1 - -1 - 160/(-12). Let f = z - 292/21. Let c be ((-1)/(-6))/(1/4). Sort c, f, 2/9 in descending order.
c, 2/9, f
Let k(r) be the first derivative of -r**3/3 - 3*r**2 + 5*r - 4. Let h(g) = -3*g**2 - 4*g - 3. Let n be h(-2). Let s be k(n). Sort 0.1, s, 1 in ascending order.
s, 0.1, 1
Let y(r) = r + 4. Let p be y(-6). Let a be 0*(-1)/(-4)*p. Suppose -m = -3*k - 8, -4*m - k - 24 = k. Sort -2, m, a in descending order.
a, -2, m
Let x(q) = q**2 + 8*q - 6. Let m be x(-9). Put 14, 1, m in ascending order.
1, m, 14
Let r be 82/(-14) - ((-4)/(-14))/2. Put 2, 1, -5, r in descending order.
2, 1, -5, r
Let r = 6 + -6. Suppose 2*h - 30 = 5*p, 4*h + p = -3*p + 4. Put h, -1, r in increasing order.
-1, r, h
Suppose 24 = -5*z + 4*p, -2*z - 21 = 2*z - 5*p. Let c be ((-2)/4)/(3/(-6)). Suppose x - 4 = c. Put -3, x, z in ascending order.
z, -3, x
Let z = 0.7 + -0.4. Let k = 0.2 + -0.4. Let s = k + -0.1. Sort s, -0.5, z in decreasing order.
z, s, -0.5
Let n be (1 - 0)*1*3. Let k(y) = y**2 - 3*y + 3 - 3*y + 4*y - 3*y. Let h be k(n). Put h, 1, 4 in descending order.
4, 1, h
Let d = 1 - -1. Put -1, d, -2/9 in ascending order.
-1, -2/9, d
Let m(v) = -v**3 - 2*v**2 - 1. Let n be m(-2). Suppose g + 9 = 2*c, 3*c + g - 5 = 6. Suppose -2*s + 2 = -c. Sort -4, n, s.
-4, n, s
Let k be -1 + (-10)/5 + -2. Sort 1, -0.07, k in ascending order.
k, -0.07, 1
Let s = 12/5 - 11/5. Let u = 3/181 + 4121/2534. Let p = -15/14 + u. Sort p, 4, s.
s, p, 4
Suppose 5*o = 0, 1 = -2*z + 4*o - 1. Put 0, 10, z in decreasing order.
10, 0, z
Let g = -14 - -5. Let y = 9 + g. Sort 1/2, 2, y in increasing order.
y, 1/2, 2
Let z be (4/14)/((-2)/(-14)). Suppose 0 = -d - 4, z*w - d - 18 = d. Sort w, -2, 2 in increasing order.
-2, 2, w
Let u = -0.052 + 3.052. Put -1/5, 1/4, u in increasing order.
-1/5, 1/4, u
Let n = -0.7 + 0.35. Let m = n - -0.9. Let c = m + -0.05. Sort -0.5, c, 2.
-0.5, c, 2
Let o be (-22)/55 - 44/(-85). Put -0.5, -0.1, o in decreasing order.
o, -0.1, -0.5
Suppose -76 + 8 = -2*s. Let v be s/6 + 2/(-3). Suppose -v*w + r = 15, -4*w - 3*r = -4 - 3. Put -3, 1, w in decreasing order.
1, w, -3
Let k = 14.3 + 3.7. Put k, 3, 1, 4 in descending order.
k, 4, 3, 1
Let k be (-6)/18 + ((-32)/6)/(-1). Sort k, -3, 0, 4.
-3, 0, 4, k
Let q = 36 + -33. Sort q, 2, -1, -1/7 in ascending order.
-1, -1/7, 2, q
Suppose 4 = -2*b + 38. Let w = b - 12. Sort w, 0, -4 in decreasing order.
w, 0, -4
Suppose 0 = l + 1 - 6. Suppose 3*q + v - 2*v = -5, 2*v = -4*q. Sort q, l, 4 in descending order.
l, 4, q
Suppose -7*g = -3*g - 44. Suppose 4*r + 2 = 6*r. Sort -1, g, r in decreasing order.
g, r, -1
Let c(t) = t**2 + 10*t - 7. Let v be c(-11). Sort -3, 3, v.
-3, 3, v
Suppose 0 - 18 = -6*r. Let j = 6 - r. Sort 2, 0, j in descending order.
j, 2, 0
Let t(n) be the first derivative of -1/4*n**4 - 3 + 0*n**2 + 2*n**3 + 2*n. Let c be t(6). Sort 3, 0, c in increasing order.
0, c, 3
Let z = -2 + 1. Let n(l) = l**3 + l**2 + l - 1. Let j be n(1). Sort z, 0, j in descending order.
j, 0, z
Let r(v) = v**3 + 5*v**2 - 5*v + 2. Let x be r(-6). Sort x, 1, 2.
x, 1, 2
Let p = 2 + 0. Let a be 2 - ((7 - p) + -1). Let q = a - -3. Sort 2, 5, q.
q, 2, 5
Let h(j) = j + 10. Let d be h(-11). Let s be 2/(-9) - (-16)/(-9). Let v be (0*(-3)/(-6))/s. Sort 4, d, v.
d, v, 4
Let k = -149 + 166.4. Let h = k - 17. Put 0, h, 0.1 in decreasing order.
h, 0.1, 0
Let p(l) = l + 6. Let f(s) = s + 1. Let b be f(-7). Let a be p(b). Sort 5, -1, a.
-1, a, 5
Let x = -9 - -15. Let t = x - 8. Let v = t - -1.8. Sort -1, -2, v in decreasing order.
v, -1, -2
Let g(f) = 8*f - 5. Let x be g(-10). Let y = x + 427/5. Sort 3/8, y, 3 in descending order.
3, y, 3/8
Let j be (38/16 - 0)*4. Let r = j + -10. Sort 2/11, r, -0.01 in decreasing order.
2/11, -0.01, r
Let c = 5.7 + -6. Let t = -5 + 8. Suppose t*s = -1 + 7. Sort -4/3, s, c.
-4/3, c, s
Let i = 1.9 - 1.84. Put i, -4/9, -0.5 in ascending order.
-0.5, -4/9, i
Suppose 6*p + 65 = p. Let m = p + 8. Suppose -1 - 7 = 4*t. Put 2/5, m, t in ascending order.
m, t, 2/5
Let o be -1*(3 + 24/(-9)). Suppose -2*f - 7 = -v, -7 = -0*f - f + 4*v. Put f, o, 1 in decreasing order.
1, o, f
Let p be (0*1/4)/((-2)/(-2)). Sort p, 5, 28 in decreasing order.
28, 5, p
Suppose 5*w = 3*w + 12. Let a be ((-9)/15)/(2/(-20)). Let h be 10/a + (-4)/w. Sort -0.2, h, 0.2 in decreasing order.
h, 0.2, -0.2
Let d = -2.93 + -0.07. Let b(k) = k**3 + 2*k**2 - 4*k - 1. Let q be b(-3). Suppose 3*i - 2*g - 7 = 0, -q*i - 10 = -4*g