t b, v, -0.3 in descending order.
v, -0.3, b
Suppose -4*f - 5*c + 15 = 0, 0 = -3*f - 2*c + 3*c + 16. Let i = 15 - 13. Put 0, f, i in decreasing order.
f, i, 0
Suppose -2*y - 4 = -3*h, -h - 3*y = -0*y + 17. Suppose 5*p + 3*b - 8*b - 5 = 0, -2*p - 4*b = -26. Sort p, 2, h in decreasing order.
p, 2, h
Let u = 1 - 8. Let g = 9 - 5. Let s = u + g. Put -0.2, s, 0.3 in increasing order.
s, -0.2, 0.3
Suppose -5*p + 0*p = 0. Let m be (3 - 0)*(p - 1). Sort 5, m, 4 in ascending order.
m, 4, 5
Let b(z) = -z**3 + 2*z**2 - 1. Let x be b(1). Sort -3, -2, x in increasing order.
-3, -2, x
Let l be (-6)/12*(-2 - -2). Sort l, -2, -3.
-3, -2, l
Let k = 0.7 - 1. Let l = -737/9 + 7087/45. Let z = l + -76. Put k, -5, z in increasing order.
-5, z, k
Let a(g) = g**3 + 4*g**2 - 7*g + 5. Let y be a(-10). Let z = y + 53023/101. Let j = z + -91/505. Sort 1, j, 5 in descending order.
5, 1, j
Let s = 0.5 + -0.5. Let w = 1.6 - 1.7. Sort -3, w, s.
-3, w, s
Let r = 1489 - 7447/5. Let b = -0.45 + 0.05. Let t = -0.2 - b. Sort 0.3, t, r in increasing order.
r, t, 0.3
Let i = 549.1 - 589. Let y = i - -42. Let f = 2 - y. Sort f, 3, 0.5.
f, 0.5, 3
Let d = -1 - 0. Let x be 2 + (-6)/2 - -17. Suppose 0 = -u - f + 9, 0*u + 4*u = f + x. Put -2, d, u in decreasing order.
u, d, -2
Let a = -21 + 20.7. Put 1, -2, a in increasing order.
-2, a, 1
Let b be -1 + 1 + 4/(-6). Let m = -0.5 - -0.1. Let h = -9 - -8. Put h, m, b in descending order.
m, b, h
Suppose -3*s = -0*s. Let m = 0 - s. Let v be (-2)/9 + 68/(-18). Sort m, -2, v in ascending order.
v, -2, m
Let t = 0.7 - 1.7. Sort 4, 5, t, -0.3 in ascending order.
t, -0.3, 4, 5
Let g(w) = -2*w**2 + w - 2. Let t be g(-2). Let i = t - -7. Let r(f) = -17*f - 17. Let q be r(-1). Put 5, q, i in decreasing order.
5, q, i
Suppose 5*l + 0*i = -5*i - 15, -9 = -4*l + 3*i. Suppose -h + 11 = -3*a, 3*a = -4*h + h - 15. Put a, -1, l in decreasing order.
l, -1, a
Let w = 4 - 8. Let x(b) = -b**3 + b**2 + 2*b - 3. Let r be x(2). Let z be r*(-8)/(-18)*-3. Sort w, -2, z in ascending order.
w, -2, z
Suppose -1 = g - 4. Suppose 4 = -j - g*i, -5*i = 3*j - 0*i + 8. Sort j, 11, 4 in increasing order.
j, 4, 11
Let q(y) = y**2 + 5*y - 6. Let f be q(-6). Suppose -l + 4 - 1 = f. Suppose 0 = n + l*n. Sort n, -3, 4 in decreasing order.
4, n, -3
Let a = -9 - -7. Sort a, -1, 2.
a, -1, 2
Let n = -2 + -1. Let k be ((-1)/(-3))/(n/9). Put k, 3, -4 in decreasing order.
3, k, -4
Suppose -8*p - 20 - 12 = 0. Let g = 2 - 5. Sort -5, p, g.
-5, p, g
Suppose -56*j = -60*j + 20. Put j, -5, -26 in decreasing order.
j, -5, -26
Let u = -13/2 - -85/14. Sort 5, 2/5, u, -0.5 in decreasing order.
5, 2/5, u, -0.5
Let f = 0.76 + 0.03. Let i = 0.37 - f. Let c = i + 0.02. Sort 1/8, c, 1/10 in descending order.
1/8, 1/10, c
Suppose -10 = q - 0*j - 5*j, -3*q = -3*j + 6. Suppose -l + 2 = 3*y - 2, q = -l - 4*y + 7. Sort l, 4, 2 in increasing order.
l, 2, 4
Let s = -2 + 24. Put -3, s, -0.4 in decreasing order.
s, -0.4, -3
Let p = 13 - 10.5. Let b = p + -3. Let a = -1/204 - -413/1020. Put b, 3, a in increasing order.
b, a, 3
Let h(t) be the first derivative of -2/3*t**3 + 0*t + 3 + 0*t**2. Let s be h(-1). Sort 3, s, -3 in decreasing order.
3, s, -3
Suppose 0 = -4*a - 20, 2*v = -v + 2*a + 16. Suppose -6*j = 3*h - v*j + 7, 5*j = -2*h - 14. Let k = 2 - h. Sort k, 4, 5 in increasing order.
k, 4, 5
Let k = -14 - -10. Let g be 1*(-1)/(-2)*-2. Let d = g - k. Sort -3, d, 2 in descending order.
d, 2, -3
Let z = 16 - 15. Put z, -3, -2 in decreasing order.
z, -2, -3
Let l = 12 - 14. Put 5, l, -3 in descending order.
5, l, -3
Suppose 4*d - 8 = 2*j - 26, -2*j - 12 = 2*d. Let q = -1 + -13. Let r = -10 - q. Put 0, r, j in decreasing order.
r, 0, j
Suppose 5*a + 0 = 10. Let t(m) = m - 4. Let j be t(4). Sort a, j, -1 in decreasing order.
a, j, -1
Suppose 10*l + 12 = 14*l. Let w = -0.3 + 0.4. Sort l, w, -0.1 in decreasing order.
l, w, -0.1
Let o(r) = 2*r**2 - 5*r + 4. Let b be o(3). Let z be 2/b + (1 - 1). Let v = -20 + 21. Sort v, 4, z.
z, v, 4
Suppose -6*o = -3*o - 3. Let b be ((-35)/(-28))/(o/(-4)). Sort 2/3, 5, b.
b, 2/3, 5
Suppose 5 = 6*w - 19. Put -5, w, -2 in decreasing order.
w, -2, -5
Let g = 0.2 - 0.5. Let u = -0.1 + g. Let l = 1 + -3. Sort 4, u, l in descending order.
4, u, l
Let c = -3.8 - -2.7. Let v = -6.1 - c. Let f = -2.03 + 0.03. Put 3, f, v in descending order.
3, f, v
Let h be 2/(-9) + 0/1. Let n = 45/2 + -22. Put h, -5, n in increasing order.
-5, h, n
Suppose 6*v - 6 = 3*v. Suppose 2*n - 3*q + 10 = -7*q, -n + q = -4. Sort -4, n, v in increasing order.
-4, n, v
Let f(s) = -s**3 + 17*s**2 + 4*s - 31. Let c be f(17). Put 1, c, -5, 5 in ascending order.
-5, 1, 5, c
Let s(p) = 2*p**2 + 20*p - 7. Let c be s(-10). Put -5, c, 2 in increasing order.
c, -5, 2
Let u = -2.04 - -0.04. Let p = -0.2 + 2.3. Let k = u + p. Sort k, -3, 1/7 in decreasing order.
1/7, k, -3
Let m = -2.055 - -0.055. Put -0.2, m, -3 in decreasing order.
-0.2, m, -3
Let q = 14 - 23. Let d = q - -11. Let w = 1 - 3. Sort d, w, -3.
-3, w, d
Let z = -5/78 + 3/13. Put 2, -5, -3, z in descending order.
2, z, -3, -5
Let p be 1/3 - 203/(-21). Let j = 14 - p. Suppose 2*d - 1 = 1. Put j, 3, d in decreasing order.
j, 3, d
Let q = -82 + 103. Sort -1, 3, q in descending order.
q, 3, -1
Let a be 6/21*7/3. Sort 3, -3, a.
-3, a, 3
Let w be (-2)/6*3/10. Put 4, w, -7/5 in descending order.
4, w, -7/5
Let r be (63/(-14) - -5) + (-2)/8. Let o = 0 - -1. Let j = o + -5. Sort r, j, 5 in ascending order.
j, r, 5
Let c = -1 + 4. Suppose -5*j - 4*m = -95, c*j = 2*m + m + 30. Suppose 5*u = 5*y + 15 + 10, -5*y - 3*u + j = 0. Put -2, y, -5 in descending order.
y, -2, -5
Let m = -38 - -109/3. Sort 4, 1, -3, m.
-3, m, 1, 4
Suppose 37 = -b - 5. Let c be (-3)/12 - b/8. Suppose v + 3*v + 3*m + 15 = 0, -2*v - 5*m - 11 = 0. Put v, c, -2 in increasing order.
v, -2, c
Let w be (-2)/(-12)*-2*-6. Suppose -w*j = 6 - 4. Let o be (-4)/(-6) - 2/(-6). Sort o, -3, j.
-3, j, o
Let f be 0/((3 + 0)/((-6)/(-2))). Sort 3, 2, f, -5 in increasing order.
-5, f, 2, 3
Let f = 0 + 2. Suppose g = p, f*p - 25 = 7*p. Sort 0, g, -3.
g, -3, 0
Suppose 4*r = -3*k + 4 + 12, -16 = 5*k - 4*r. Let l(t) = -t**2 + 7*t - 1. Let h be l(6). Sort k, -4, h.
-4, k, h
Let f be (-6)/15 + (-68)/(-20). Suppose 5*x + 0*x = -5. Put f, 4, x in decreasing order.
4, f, x
Let r = 3.9 - -1.1. Let i = 7 - r. Let p = -17 - -12. Put i, p, -2/15 in increasing order.
p, -2/15, i
Let p be 0/((-1)/(2/4)). Let r = -12 - -14. Sort r, p, 3.
p, r, 3
Let c(x) = x**3 + 3*x**2 - 4*x. Let y be c(-4). Let i be ((-6)/5)/(2/(-5)). Let k = -1 - -6. Sort y, i, k in ascending order.
y, i, k
Suppose 0 = -4*o + 2 + 2. Suppose -3*g - 12 = 4*l, 5*g = 3*l - l - 20. Sort l, o, -1 in decreasing order.
o, l, -1
Let h = 3 + -2. Let s = -1.4 + h. Put -5, s, -0.2 in decreasing order.
-0.2, s, -5
Let m = 0.5 + -0.2. Sort -2/7, m, 2 in increasing order.
-2/7, m, 2
Let g(f) = 2*f**3 - 5*f**2 + 6*f - 3. Let i be g(2). Sort -4, i, 4, -3 in decreasing order.
i, 4, -3, -4
Let h be 9/18*-1*1/(-2). Sort 0.3, -4, h, 3.
-4, h, 0.3, 3
Let m = 0.1 + -0.3. Let i = -1.98 + 2. Sort 0, i, m in descending order.
i, 0, m
Let o be (-2*2/(-2))/(2/2). Suppose -j + 12 = -4*i + j, 4*i - 5*j + 6 = 0. Sort -3, i, o in descending order.
o, -3, i
Let u = 11 + -3. Let c = -5 + u. Put 4, 5, c in decreasing order.
5, 4, c
Suppose -s - 2 = 1. Put -4, s, -0.1 in decreasing order.
-0.1, s, -4
Suppose 7*m + 3 = 4*m. Let j = -7 + 4. Sort m, -5, j in increasing order.
-5, j, m
Let o be (1/2)/((-2)/(-48)). Suppose -5*l + 2*l = -o. Suppose q - l*q = -12. Sort 2, q, -5.
-5, 2, q
Let x = 19/6 - 185/66. Let b = -31/55 + x. Sort 3/5, b, 0 in descending order.
3/5, 0, b
Let z = 386905/6804 + -7/972. Let f = 57 - z. Put f, 0.1, -2 in ascending order.
-2, 0.1, f
Let w = 0.04 + -1.04. Let r = -1 - 4. Put w, r, 0.13 in descending order.
0.13, w, r
Let i = 0.6 - 0.1. Suppose 5*h = 2*h + 9. Sort i, h, 0.4.
0.4, i, h
Let f(c) = -2*c - 13. Let u be f(-9). Suppose 4*s + 0*s - 2*k = -12, -5*s + 4*k - 12 = 0. Sort s, u, -5 in decreasing order.
u, s, -5
Suppose 10 = -v + 4. Let l be (-33)/(-18) + (-1)/v. Put 5, l, -5 in descending order.
5, l, -5
Let b = 1 - 3.6. Let i = -3 - b. Put -5, i, -0.5 in descending order.
i, -0.5, -5
Suppose -11 = -f - 16. Sort -2, f, 0, -4 in descending order.
0, -2, -4, f
Let x be ((-