ppose -5*t = -c - 1. Sort -1, t, 1/6 in increasing order.
-1, 1/6, t
Let c = 1.2 + -10.2. Let h = -11 - c. Sort 0, h, -0.5 in descending order.
0, -0.5, h
Let n = -0.3 - -0.2. Let f be (2/(-3))/((-8)/(-334)). Let u = f - -28. Put u, 0.1, n in increasing order.
n, 0.1, u
Suppose 0*g + 4*g - 4 = -4*b, 4*g = 4*b - 20. Sort 0, 3, 4, g in descending order.
4, 3, 0, g
Let n = -2.2 + 1.8. Let m = 0.4 + n. Sort -1, m, -0.5 in decreasing order.
m, -0.5, -1
Let f = -21 - -14. Put -3, f, 0 in increasing order.
f, -3, 0
Let c be (2/2*-4)/1. Let z = 11.6 - 12. Sort -3, c, z in decreasing order.
z, -3, c
Let s = -23.04 - -23. Sort -2, 0.2, s.
-2, s, 0.2
Suppose 2*w = -2*w + 16. Suppose -w*y - 2 = 14. Put -1, -3, y in increasing order.
y, -3, -1
Suppose -3*o = -c + 6*c, 3*o - 3*c + 24 = 0. Suppose -5 = 4*b + 7. Sort 2, b, o.
o, b, 2
Let g = -0.6 - -2.6. Let j = -2.6 + g. Let z = -2.6 - j. Sort z, -0.4, -4 in decreasing order.
-0.4, z, -4
Let r = -29 + 20. Let f = r - -8. Put 0, -3, f in descending order.
0, f, -3
Let x be (9 + -11)*1/(-8). Let f = 44 + -87/2. Sort -2/17, x, f.
-2/17, x, f
Let f(c) = -c**3 + 6*c**2 + 6*c + 6. Let t be f(7). Let o(p) = 2*p. Let g be o(t). Suppose 0*q - 5*q + 10 = 0. Put q, g, 4 in increasing order.
g, q, 4
Let u = 0.18 - -0.12. Sort -0.4, -14, 4, u.
-14, -0.4, u, 4
Suppose 1 = -f + l - 2, f = 2*l - 8. Suppose -2*m + 22 = 3*m + 2*z, 0 = 4*m + f*z - 18. Let x be (-9)/(-12)*1/(-3). Put m, -3, x in increasing order.
-3, x, m
Let x = -17 + 37/2. Suppose 0 = 2*l - 4*l + 16. Let p(b) = -2*b + 12. Let q be p(l). Sort q, x, -1/3 in decreasing order.
x, -1/3, q
Let c = 255/7 - 21144/581. Let i = 353/7470 - c. Let j = i + 59/90. Sort -2/5, j, -2 in increasing order.
-2, -2/5, j
Let i = 0 - -0.4. Let l be (-2 + (-14)/(-6))*-1. Let a = 1.3 + -2.3. Sort a, l, i in decreasing order.
i, l, a
Suppose -2*f = -5*q - 45, 2*f - 5*q = -4*q + 41. Suppose 4*m + m = -f. Put m, 0.2, 5 in increasing order.
m, 0.2, 5
Let x be (-16)/(-30)*(-6)/(-8). Let j = -11 - -15. Put x, j, -0.3 in descending order.
j, x, -0.3
Suppose -2 = k + 2. Let u(n) = 2*n**2 - 3*n + 3. Let z be u(2). Sort 1, k, z in increasing order.
k, 1, z
Let m be 2*(-3)/18*-3*-4. Let z be (-12)/91 + (-4)/(-14). Sort m, z, 2/3 in decreasing order.
2/3, z, m
Let k be 2/6*(-9)/24. Let z = -1/15 + 47/30. Put z, k, -1 in decreasing order.
z, k, -1
Let o(x) = -2*x**2 - 5*x + 1. Let z be o(-5). Let c be 2/8 - (-102)/z. Let y(p) = -2*p**3 - p. Let d be y(-1). Put d, c, -3 in decreasing order.
d, -3, c
Suppose -3*z - 5*b = -2*b - 21, -1 = -3*z + b. Let t be (-2)/(-4) - 1/3. Sort t, 0.1, z in descending order.
z, t, 0.1
Suppose 0*d - 15 = -5*d. Suppose 4*r + r = 0. Let a be (r + -8)*(-2)/4. Put d, a, -4 in descending order.
a, d, -4
Let m(v) = 2*v**2 - 28*v - 11. Let a be m(15). Put -2, a, 3 in descending order.
a, 3, -2
Suppose -4*r - 3*n + 20 = 0, 2*n + 10 = 2*r - 2*n. Let m(a) = -a**2 + 4*a + 5. Let y be m(r). Suppose -3*j = -y*j. Sort -5, 4, j.
-5, j, 4
Suppose -3*l + 0*l = -9. Let u(y) = y**2 - 8*y + 2. Let a be u(8). Suppose 3*x = 3*m - 15, 0*x = 5*m - 2*x - 13. Sort m, a, l in descending order.
l, a, m
Let w be -6*5/40*8/9. Put -3/8, w, 3, 0.3 in decreasing order.
3, 0.3, -3/8, w
Suppose -3*v + 3 = -0*v. Let w = 22 + -25. Sort -4, w, v in ascending order.
-4, w, v
Let o be (-19)/42 + (-4)/(-14). Let g = 4.64 + -0.64. Sort o, g, 1 in increasing order.
o, 1, g
Let s(a) = 2*a - 16. Let y be s(8). Sort 4, -2, y in decreasing order.
4, y, -2
Let g = -26 + 36. Let l = -0.08 - 4.92. Let z = g + l. Sort -4, -1/7, z in ascending order.
-4, -1/7, z
Suppose 4*b + 8 = 0, -5*g - 54 = -3*b - 0*b. Let r be (-3)/g - (-79)/4. Suppose -r = -10*l + 5*l. Sort -5, -4, l in ascending order.
-5, -4, l
Let h = 398 + -5968/15. Put -2, -18, -0.1, h in increasing order.
-18, -2, -0.1, h
Suppose 33 = -36*k + 25*k. Sort -5, 2, -2, k in decreasing order.
2, -2, k, -5
Let t = 17.05 - 17. Sort t, 2, -3 in decreasing order.
2, t, -3
Let f = 44 + -38. Suppose 0 = 2*j - 12 + 4. Put j, f, 2 in increasing order.
2, j, f
Let x be (2 + 2)/(-4)*0. Put -5, x, 5 in decreasing order.
5, x, -5
Let f = -1.7 + 1.2. Sort f, 1, 0.2 in ascending order.
f, 0.2, 1
Let w be (-8)/(-3)*63/28. Sort w, -4, 0 in decreasing order.
w, 0, -4
Let x = 0.2 + -0.33. Let r = x - 0.07. Let y = -2.6 - -0.6. Put y, -1/2, r in ascending order.
y, -1/2, r
Let y be (-3 + 4)/(-2 + 1). Sort 5, y, -2 in decreasing order.
5, y, -2
Let i(j) = 3*j**3 + j**2 + j + 1. Let f be i(-1). Put 1, 0, f in decreasing order.
1, 0, f
Suppose -5*x = -5*p - 30, -6*p - 21 = -5*x - 4*p. Sort 2/5, x, -1.
-1, 2/5, x
Let d(o) = o**2 + 14*o + 16. Let w be d(-12). Sort 4, w, -4.
w, -4, 4
Suppose 0 = 5*r - 10 - 5. Suppose r - 1 = c. Put c, -3, 3 in descending order.
3, c, -3
Suppose -c = -3*c - 4. Suppose 2*h + 10 = 0, 3*h = 3*y - 0*h - 27. Put -1, y, c in ascending order.
c, -1, y
Let u(x) = -x**2 + 4*x + 8. Let r(n) be the second derivative of n**4/12 - n**3 - 5*n**2 - 2*n. Let f be r(8). Let l be u(f). Sort l, 2, 0 in decreasing order.
2, 0, l
Let q be 45/27*(-3)/8. Put q, -0.1, 3 in descending order.
3, -0.1, q
Let w = 1 + -2. Let u be (3/(-6))/((-4)/24). Let g be 3 + (-15)/u + -3. Put w, 0, g in decreasing order.
0, w, g
Let q = 0.07 + 4.93. Let f = -81 - -565/7. Sort q, f, 8 in decreasing order.
8, q, f
Let b = -5.28 + 0.28. Sort b, -0.4, -4 in increasing order.
b, -4, -0.4
Let v be (-10)/(-3)*(-9)/(-5). Suppose 4*y + 5*a = 37, 0 = -3*y - 0*y + 4*a - 11. Let z be y + (-2)/(v/9). Sort 1, z, -2 in descending order.
1, z, -2
Suppose k - j = -k - 20, 3*k + 20 = 4*j. Let z = k + 17. Put 3, -1, z in descending order.
z, 3, -1
Suppose 3*o + 15 = 0, 2*c + 7 = -2*c - 3*o. Put -0.3, c, -4 in descending order.
c, -0.3, -4
Let f(j) = -j**3 + 3*j**2 + 6*j - 2. Let w be f(4). Let g = w + -38/7. Put -5, -0.1, g in increasing order.
-5, -0.1, g
Let a = 0.266 + -0.066. Put 2/7, -4/13, a in decreasing order.
2/7, a, -4/13
Let m(d) = -d**2 + 0*d**2 + 0*d**2 - 4 - 7*d + 0. Let p be m(-6). Put p, -1/6, 4 in descending order.
4, p, -1/6
Let v = 9.6 + -13.5. Let l = 2.2 + v. Let t = l - 0.3. Put -2/7, -1, t in descending order.
-2/7, -1, t
Let y = -62 - -57. Put y, 15, 0, -1 in increasing order.
y, -1, 0, 15
Let c = 94 + -93.7. Sort 7, c, 1 in increasing order.
c, 1, 7
Suppose 16 = -3*p + 4. Sort -2, p, -1 in increasing order.
p, -2, -1
Suppose -4 = 2*v, -2*s - 3*s + 3*v - 14 = 0. Let d = -3 + -1. Let o = s - d. Put o, -1, -2 in ascending order.
-2, -1, o
Let n(j) = -j**3 - 2*j**2 + 3*j + 2. Let y be n(-3). Suppose 0 = -r + y*r. Let m(x) = x**3 - 11*x**2 + 9*x + 5. Let o be m(10). Put 3, r, o in descending order.
3, r, o
Let k = 4 + -3.4. Let u = -0.54 + k. Let d = -2.06 + u. Sort d, -1/2, -3.
-3, d, -1/2
Suppose -1 + 21 = 4*h, h = -5*x. Let k = x + 4. Sort k, 4, 5 in decreasing order.
5, 4, k
Let r(i) = -i**3 + 18*i**2 - i + 21. Let c be r(18). Let w = 5 - 6. Put -7, c, w in descending order.
c, w, -7
Suppose -5*c - 3 = -8*c, 2*k = 4*c - 18. Put -3/7, k, -0.4 in ascending order.
k, -3/7, -0.4
Suppose m - 6 = -2. Let p = -109 + 104. Sort 5, p, m in decreasing order.
5, m, p
Let a = -0.5 - -6.5. Let j = -5 + a. Sort -1/3, j, 2 in descending order.
2, j, -1/3
Suppose 0 = g - 1. Let v be (24/((-3)/(-1)))/g. Let x be (2/4)/((-2)/v). Put x, 2, 5 in decreasing order.
5, 2, x
Let l(o) = -4*o - 3. Let s be l(-3). Suppose -4*t = 0, -3*z + s*t = 4*t. Let q be (-4)/10 + (-72)/20. Sort z, 3, q.
q, z, 3
Suppose 15 = -0*g - 5*g. Let i = -2 + g. Sort -1, i, 3 in increasing order.
i, -1, 3
Let a = 480 - 480.4. Let j = 1.2 - 0.2. Let w be -1*4/22*1. Sort j, w, a.
a, w, j
Suppose -2*o + 5*k = 1 - 3, -k - 4 = -4*o. Let j(r) = r - 7. Let w be j(8). Let n be -4 + w + 2 - 2. Sort 4, o, n in ascending order.
n, o, 4
Let o be 2 - (0/3 + -2). Suppose 0 = 5*g + 5*c + 45, -2 = -g + 3*c + 5. Let j = g - 0. Sort o, j, 1.
j, 1, o
Let o be 24/(-20)*(-10)/4. Put -4, 4, o in descending order.
4, o, -4
Suppose -6*d - 6 = 12. Let v(b) = -2*b - 1. Let i be v(-2). Sort d, i, -2 in descending order.
i, -2, d
Suppose -5*w + 27 = -4*p + 5, -3*p - 9 = 0. Suppose -w*j - 3*j - 5*r = -30, 3 = 3*r. Put -4, 0, j in descending order.
j, 0, -4
Let g be (8/(-10))/(1/5). Sort g, -9, 1 in decreasing order.
1, g, -9
Let t = 4 + -6. Let q be 1 - (0 + 1) -