-4 in increasing order.
-4, x, 1
Suppose -5*k + 8*k = 0. Put 1, k, -3 in descending order.
1, k, -3
Suppose -3*u - 5*d = -3, 3*u - 3 + 0 = -d. Let q = u - -1. Sort 4, 0, q in decreasing order.
4, q, 0
Suppose 0*d + 3*f + 24 = 2*d, 4*f = d - 22. Suppose m + 3*n - 10 = 0, -n + 20 = 3*m + d. Suppose -m*p + 6 = -6. Sort 0, 2, p in descending order.
p, 2, 0
Let a = -0.21 - -9.21. Let k = a - 10. Sort k, 1, -0.3.
k, -0.3, 1
Let f(k) = -2*k + 1. Let d be f(-2). Suppose y + y + 4*p = -10, 0 = -y + 3*p + 10. Sort d, 2, y in increasing order.
y, 2, d
Let l be (22/4)/(1/(-2)). Let n = -11 - l. Sort -2, n, 1 in descending order.
1, n, -2
Let r = 0.5 - -0.5. Let q = r - 0. Sort 4, -3/7, q in decreasing order.
4, q, -3/7
Let x = 11 - 31. Let o = x + 19.9. Put o, 0, 1/4 in descending order.
1/4, 0, o
Let m be (1 - 1)*6/12. Let w(f) = f - 4. Let z be w(4). Let x be 3 - (z - (-1 - -2)). Sort x, 3, m in descending order.
x, 3, m
Let g(i) = -i**2 + 7*i - 3. Let t be g(5). Let l = -8 + t. Sort 1, 3, l in ascending order.
l, 1, 3
Suppose 4*v = 5*j + 7, -j = -3*v - 3*j + 11. Let x = 8 + -13. Sort v, x, -0.1 in descending order.
v, -0.1, x
Let h be 2/3*(5 + 83/(-16)). Put 3/7, h, -5 in descending order.
3/7, h, -5
Let o be (-46)/11 - (-10)/55. Put o, 1, 3 in increasing order.
o, 1, 3
Suppose 0 = 4*s + 20 - 56. Sort 1, 0, s in descending order.
s, 1, 0
Let h be (36/24)/(1/2). Let t be 12/(-42) + (-33)/7. Put h, 1, t in increasing order.
t, 1, h
Suppose 7*v = 26 + 9. Sort 17, -2, v.
-2, v, 17
Suppose b - 12 = 5*x, -5*b + 3*x + 27 = 11. Let t be 1/b*-2 - -1. Let m = 1.8 + -0.8. Sort m, -3, t.
-3, t, m
Suppose 14 = -2*u + 10. Sort -5, u, -1 in increasing order.
-5, u, -1
Let d be 16/(-65) + 6*7/(-273). Put d, -2/3, 17 in decreasing order.
17, d, -2/3
Let r = 3.4 - 1.4. Sort r, -1/5, 4/3.
-1/5, 4/3, r
Let z = -29 + 29.1. Let b be 16/4 + 27/(-7). Put z, b, -2 in ascending order.
-2, z, b
Suppose -4 = 4*t + 8. Let w = -5 - t. Let q be 75/(-25) + (-3)/((-3)/(-2)). Put q, w, 5 in descending order.
5, w, q
Let z be (-1 + 3)*(-3 - -1). Let v be ((-2)/(-36))/(2/z). Put v, 2, -1 in descending order.
2, v, -1
Let b(m) = -m**2 + 11*m - 14. Let a be b(6). Let d be 28/6 - a/24. Put 10, 0, d in descending order.
10, d, 0
Suppose 5*g - 6 = 2*g. Suppose g*w = 5*w - 3. Sort w, -1, 2 in decreasing order.
2, w, -1
Let g = 0.1 + -0.2. Let u = 77 + -80. Put g, 1/2, u in ascending order.
u, g, 1/2
Let j be 4/14 + 46/(-14). Sort -4, 0, j.
-4, j, 0
Let y = -178 + 246. Sort 3, 2, y in decreasing order.
y, 3, 2
Suppose -4*m + 30 = 2*m. Sort 4, -6, m in increasing order.
-6, 4, m
Suppose -8 = -f + 2*c - 0, f - 4 = c. Suppose 15 = -f*i + 5*i. Let w = 2 + -6. Sort i, 1, w in descending order.
i, 1, w
Let a = 5.9 - 28.9. Let z = a + 27. Put -0.5, z, 5 in decreasing order.
5, z, -0.5
Suppose -7*d = -8*d + 5. Sort d, 4, -3 in descending order.
d, 4, -3
Let h be -3 + ((-2)/6)/((-3)/18). Sort h, -5, 3, 0.
-5, h, 0, 3
Let g = -23 - -26. Let z = -2 + 0. Let r = 2 + z. Put r, -5, g in descending order.
g, r, -5
Let y = -13 + 4.8. Let l = 9 + y. Let f = l - 1. Sort 2, -1/6, f in descending order.
2, -1/6, f
Let x(n) = n**3 + 5*n**2 + 6*n + 3. Let d be x(-4). Let m be (4/d)/((-2)/(-10)). Sort 3, -3, m in decreasing order.
3, -3, m
Let u = 0.002 - 0.002. Sort 4, -2, u in descending order.
4, u, -2
Let a = -81/112 + 10599/2576. Let s = 1390/437 - a. Let x = s + 31/57. Sort -0.4, x, 0.2.
-0.4, 0.2, x
Let a = 9 - 14. Let y(o) = o**3 - o**2 - o - 2. Let k be y(2). Let m = k + a. Sort 3, m, 5 in descending order.
5, 3, m
Suppose -20 = -13*g + 9*g. Suppose -l + 5*l = 0. Suppose -3*y - 8 = -p - 6*y, l = 4*p - y + 20. Sort p, -5, g in increasing order.
-5, p, g
Let w = -74.7 + 75. Let u(s) = s**2 + 3*s - 5. Let d be u(-4). Put w, -4, d in descending order.
w, d, -4
Let i be (5/2)/1 - 3. Sort i, -2/5, 4 in ascending order.
i, -2/5, 4
Suppose 5*t - 12 = c, 0*t - 4*t + 8 = 0. Let w = 669 + -674. Put -3, c, w in ascending order.
w, -3, c
Let t = 0.9 + -1. Let j = -0.6 + 0.1. Sort j, t, -1.
-1, j, t
Let h be 26/(-10) - 4/10. Let s be (1 - -2)*6/36. Sort -2, h, s in decreasing order.
s, -2, h
Suppose -5*l = -4*q + 5 - 31, -3*q - 9 = -2*l. Let d = l + -11. Let v = -22 + 23. Sort 3, d, v in descending order.
3, v, d
Let a(z) = 16*z**2 - 9*z - 24. Let c(v) = 3*v**2 - 2*v - 5. Let q(g) = -2*a(g) + 11*c(g). Let t be q(6). Let f = 0.5 - 0.2. Put f, t, -5/4 in descending order.
t, f, -5/4
Suppose 0 = i + 2. Suppose 6 - 14 = -2*y. Suppose y*b - 4*n = -0*b - 8, -2*n = -b. Put b, i, 4 in descending order.
4, i, b
Suppose -c - c = -2, -3*q + 3*c = -501. Let b be 2/(-5) - q/(-395). Let a = -176/711 + b. Put 2/7, -0.4, a in ascending order.
-0.4, a, 2/7
Let i(p) = p**3 + 7*p**2 + 9*p + 13. Let m be i(-6). Sort 4, m, 2/11 in descending order.
4, 2/11, m
Let i = -57 + 61. Put -0.1, -2/13, i in ascending order.
-2/13, -0.1, i
Let j(p) = -p**2 + 5*p - 3. Let g = -15 - -18. Let z be j(g). Sort z, -2/5, -1/4 in decreasing order.
z, -1/4, -2/5
Suppose 7 - 3 = -4*h. Sort h, -2, 1 in decreasing order.
1, h, -2
Let t = -42 + 43. Sort 0, t, -2.
-2, 0, t
Let s = 11.2 - 11. Put -0.2, -1, s in increasing order.
-1, -0.2, s
Suppose -b = -2*b - 2*h - 7, -b + 13 = -2*h. Let c(v) = -4*v**3. Let j be c(1). Put j, -1, b in decreasing order.
b, -1, j
Let j(y) be the third derivative of -y**5/60 - 3*y**4/8 - 5*y**3/3 + y**2. Let d be j(-7). Sort 1, d, -7 in decreasing order.
d, 1, -7
Let g be -6*(-4 - 22/(-6)). Sort -4, 4, g in increasing order.
-4, g, 4
Let k = 6.2 - 6. Let w = -12.3 - -13. Let q = w - 1. Sort -0.5, q, k in decreasing order.
k, q, -0.5
Let a = -187/780 - 2/195. Sort -2/3, 3, -0.4, a.
-2/3, -0.4, a, 3
Suppose 4*t + 10 = 2*o, -4*o = t - 2*t + 8. Let p = -8 + 13. Sort p, -3, t in ascending order.
t, -3, p
Let t = 2 - 1.76. Let f = -0.06 - t. Let v be -2*(-2 + 11/5). Put 4, v, f in decreasing order.
4, f, v
Let o = 3 + -2. Let c = -0.03 - 0.97. Sort 3/4, o, c.
c, 3/4, o
Let z be (2/(-32))/(6/12). Sort -1.3, -0.5, z, -1 in ascending order.
-1.3, -1, -0.5, z
Suppose -3*o = 4*v + 7, 4*o = 7*o - v + 17. Sort o, 0, 2 in descending order.
2, 0, o
Let z = -3.701 - 0.359. Let y = -0.06 - z. Put y, 1/3, 3/5 in decreasing order.
y, 3/5, 1/3
Let j = 2.3 - 2. Suppose -2*l - 2 = -0*l. Put j, l, -4/7 in decreasing order.
j, -4/7, l
Let d = 5.1 + -4.7. Sort 4, -1, d, -2/7 in decreasing order.
4, d, -2/7, -1
Let h be -2 - (-5)/(10/8). Let j(i) be the second derivative of -i**4/12 + 5*i**3/6 - i**2 + i. Let l be j(2). Sort -4, l, h.
-4, h, l
Let r = 26 - 24. Put 2/23, -0.5, r in decreasing order.
r, 2/23, -0.5
Suppose -j = -3*x + 3*j + 68, -3*j = 4*x - 99. Put x, -3, -1 in decreasing order.
x, -1, -3
Let u = 2.5 + -0.5. Let y = -0.7 + 0.8. Sort -3/5, u, y in descending order.
u, y, -3/5
Let v = 0.04 - -0.08. Let d = v - -0.78. Let l = 0.1 + d. Put l, 4/3, -2/13 in increasing order.
-2/13, l, 4/3
Let m be (-14)/49 + 9/7. Let g be 3*-1*(2 - m). Sort g, 5, 3 in ascending order.
g, 3, 5
Suppose v - 20 - 9 = -5*g, -5*v = 4*g - 40. Put v, 1, -4, 0 in decreasing order.
v, 1, 0, -4
Let q be (-4)/(-5)*25/2. Let u be 48/22 + q/(-55). Put u, -2, -1 in increasing order.
-2, -1, u
Suppose 0 = 4*i - 2*a - 2, a + 4 = -3*i - 7. Put 2, 0, i in increasing order.
i, 0, 2
Let r = -50 + 51. Sort -0.1, 1/5, r.
-0.1, 1/5, r
Let q = 16 + -21. Put 4, q, -2 in increasing order.
q, -2, 4
Let s be 4/(-6) + (-30)/(-18). Sort s, 0, 5 in decreasing order.
5, s, 0
Let z be (8/6)/(2/21). Let g = 9 - z. Put g, 1, 2 in descending order.
2, 1, g
Suppose -4*r = 5*y - 13, -2*y + 14 = -2*r - 2. Let n = -31 - -58. Suppose -5*b - 7 = -n. Sort b, r, 1 in ascending order.
r, 1, b
Let u = -24.2 + 28. Let f = u + 1.2. Sort f, 2, -5 in ascending order.
-5, 2, f
Let u be 4/(-19)*2/4. Let m be (-74)/(-21)*(-3)/(-24). Let w = m + -4/21. Put u, w, 0.2 in increasing order.
u, 0.2, w
Suppose 7*q = 2*q - 5. Put 4, q, 2 in decreasing order.
4, 2, q
Let m be (-30)/36 - 4/(-6). Sort 1/2, m, 0.1 in ascending order.
m, 0.1, 1/2
Let u = -2 + 4. Let d be 5/((-3 + 1)/u). Sort -3, -1, d in decreasing order.
-1, -3, d
Let x = 16 - 28. Sort x, 0, -3 in descending order.
0, -3, x
Let s(b) = b**2 + 6*b + 3. Let p be s(-6). Suppose -p*v = 2*k - 25, -2 + 7 = 4*k - 3*v. Suppose -2*t = -0*t + 2. Put 2, t, k in decreasing or