 order.
q, -1, 0, 2
Let w(j) = -j**2 + 7*j + 6. Let y = 6 - -2. Let o be w(y). Sort o, -9, -1 in decreasing order.
-1, o, -9
Let d(q) = 6*q**3 - 2*q - 1. Let c be d(-1). Let n = -14 - -11. Sort c, n, 1 in decreasing order.
1, n, c
Suppose -5*l + 32 = 7. Let c(h) = -10*h - 4. Let z be c(-1). Sort l, z, -2 in descending order.
z, l, -2
Let y be (-2)/14 - (-3104)/(-224). Put y, -3, 3 in increasing order.
y, -3, 3
Let w = -0.45 - -0.32. Let u = w + 1.13. Put 4, u, 2/11 in increasing order.
2/11, u, 4
Let p be 2 - (0/(-2))/(-1). Let n(t) = -5*t**2. Let q be n(1). Put 3, q, p in increasing order.
q, p, 3
Suppose 4*y = 2*s - 10, 0 = -3*y - 0*y + 2*s - 10. Suppose y = -k + 2. Let u be (5/((-135)/(-6)))/((-8)/12). Put 1/6, u, k in ascending order.
u, 1/6, k
Let h = -70 - -69.8. Sort 1, h, -4/7 in decreasing order.
1, h, -4/7
Let t = -2 + 1.9. Put 0.1, 2/9, t in ascending order.
t, 0.1, 2/9
Let t be 1/1*5/25. Sort -5, -2/5, 0.5, t in descending order.
0.5, t, -2/5, -5
Let d be (6 + -3)/(6/(-4)). Put 2, d, 0, 1 in descending order.
2, 1, 0, d
Let b = -15 - 7. Let q = -22.3 - b. Sort -2, q, 2 in ascending order.
-2, q, 2
Let w(p) = p**2 - p - 5. Let v be w(0). Let y = 179 + -180. Sort 2, v, y.
v, y, 2
Let c be ((-10)/(-35))/(4/(-6)). Let b = 0.3 - 0.1. Put b, -3, c in ascending order.
-3, c, b
Let a = -1.6 - -1.2. Sort 0.2, 4, a.
a, 0.2, 4
Let x(r) = 2*r**3 + 2*r + 2. Let p be x(0). Put 4, -4, -5, p in descending order.
4, p, -4, -5
Let i = -3 + 6. Suppose 2*n + i*n + 25 = 0. Let q(y) = y**3 - 16*y**2 + 28*y - 2. Let b be q(14). Sort n, 3, b.
n, b, 3
Let x = -30 + 25. Sort -23, 5, x.
-23, x, 5
Suppose -3*b + 3*a = -30, -3*a = b + 7 + 3. Let p be (-1)/(1/(-6)*-2). Put p, b, 4 in descending order.
b, 4, p
Suppose -4*o = -0*o. Suppose i - 5*i - 4*x = -20, -9 = -3*x. Sort i, 2/7, o in descending order.
i, 2/7, o
Let l = -3.6 - -7.6. Sort -2/25, l, -0.5.
-0.5, -2/25, l
Let k = -79 - -82. Sort 4, k, 0 in ascending order.
0, k, 4
Let u = -12.8 + 8.8. Put -5, -3/4, u in descending order.
-3/4, u, -5
Let w(l) = 2*l**2 - 9 - 3*l**2 - 4*l - 4*l. Suppose -8*c + 7*c - 7 = 0. Let r be w(c). Sort r, 1, 5.
r, 1, 5
Let i be (-702)/(-144) + 7/(-8) + 1. Suppose 5*x - 2 = 3. Sort x, i, -3 in increasing order.
-3, x, i
Suppose -3*i - i + 20 = 0. Sort -2, 1, i.
-2, 1, i
Suppose -14 = -4*t + 10. Suppose t*v = 3*v. Suppose -4*s + 5*m + 31 = v, -3*s - m + 5 + 4 = 0. Put -2, s, 2 in increasing order.
-2, 2, s
Let r = 0 - 5. Let m be (3/4)/(r/(-4)). Let b be (9 - 10)/(-1*7). Put b, 0.3, m in descending order.
m, 0.3, b
Let n be 1*(-4 + 8)/4. Sort n, -3, -5 in ascending order.
-5, -3, n
Let y = -0.3 - -0.47. Let g = -0.03 - y. Sort g, 0, -2 in descending order.
0, g, -2
Suppose 13 = t + z, -2*t + 34 = 2*z + 2*z. Sort -3, 3, t in descending order.
t, 3, -3
Let z(w) = w**3 + 8*w**2 + 7*w - 4. Let s be z(-7). Sort s, 2, 3/5.
s, 3/5, 2
Let l = -2.2 + 2. Let n = -124.73 - -129. Let i = n + -0.27. Put l, 2/5, i in descending order.
i, 2/5, l
Suppose -15 = -5*d, 3*z - d - 2 - 7 = 0. Let o be ((-1)/2)/(4/(-8)). Suppose -2*g = u - o - 1, 4*u - 2 = -2*g. Sort z, g, -5 in increasing order.
-5, g, z
Suppose -8 + 12 = h. Let i = -5.02 - -0.02. Sort i, -4, h in decreasing order.
h, -4, i
Let s be (-5)/(-6) + 11/(-66). Let h = 0.9 - 5.9. Sort h, s, 5 in decreasing order.
5, s, h
Suppose 7*b - 2*b - 3*m = 21, 2*b - 4*m = 14. Put 0, -5, 2, b in descending order.
b, 2, 0, -5
Let l = 57/122 + 2/61. Let d be 2/(5/(30/(-4))). Sort -2/3, l, d in descending order.
l, -2/3, d
Suppose 0*l - l = -1. Let a(r) = -11 + 7*r**2 + l + 4*r**3 - r - 3*r**3. Let f be a(-7). Sort 2, f, 1 in ascending order.
f, 1, 2
Suppose 3*g + 3*a - 15 = 0, -5*g + 12 = 2*a - 7. Put -3, 2, g in ascending order.
-3, 2, g
Let m = 10.7 + -11. Put 2/17, -1, m in decreasing order.
2/17, m, -1
Let t = 33 - 47. Let o be 2 + 7/(t/12). Sort -1, 5, o in decreasing order.
5, -1, o
Suppose 0 = o + 5, -3*o = 5*z - 98 - 27. Put 0, z, -2 in ascending order.
-2, 0, z
Let n(v) = -v**2 - v + 1. Let q be n(0). Let i = 5 - q. Let w = -4 + i. Put w, -3/2, 0.3 in ascending order.
-3/2, w, 0.3
Let a = 0.17 - -3.13. Let l = 1 - 1.3. Let d = a + l. Sort -1, d, -0.5 in descending order.
d, -0.5, -1
Let d(c) = -c**2 + 3*c - 3. Let n be d(0). Sort -29, n, 2, 1 in increasing order.
-29, n, 1, 2
Suppose -4*b - 2*w = -32, 0*b + w = 3*b - 14. Let g = 4 - b. Sort -4, g, -3 in ascending order.
-4, -3, g
Let n = -12 + 29. Let v = -17.4 + n. Sort 1, 5, v.
v, 1, 5
Let i = -116 + 17. Let o be 40/i + (-4)/(-22). Sort -4, 4, o.
-4, o, 4
Let c = -52 + 53. Suppose 2*x - 1 = 9. Put x, -4, c in decreasing order.
x, c, -4
Let r be (-17)/9 - (9 + -11). Let g = -1 - -4. Sort r, g, -0.1.
-0.1, r, g
Let m(y) = -y**2 - 6*y. Let a be m(-6). Suppose g + g - 6 = a. Put g, -3, 0 in decreasing order.
g, 0, -3
Let a be (-3 - 20/(-6))*3*-1. Put a, 22, -2 in decreasing order.
22, a, -2
Let m = 2.6 - 3. Let q = 0.8 - 3.8. Put 3, m, q in increasing order.
q, m, 3
Let c = -1/10 - 7/30. Put -0.5, 5, c in increasing order.
-0.5, c, 5
Let k = 71 + -71.3. Sort 2, 3, 1/2, k.
k, 1/2, 2, 3
Let y = -6 - -10. Let b(o) = -o - 7. Let w be b(-8). Let u be w + 2 - (y + -2). Sort 2/3, 3, u.
2/3, u, 3
Suppose -d + 5*y - 24 = 0, y = -5*d - 4*y. Suppose -v = 4*q + 2*v - 50, v - 24 = -2*q. Let t = -7 + q. Sort d, 3, t in decreasing order.
t, 3, d
Let u(k) = 2*k**2 + k + 4. Let a be u(0). Suppose 0 = -j + 3, a*c + 2*j + 0*j - 22 = 0. Sort 2, c, 0 in descending order.
c, 2, 0
Suppose 13*a + 4 = 9*a. Let l(v) = v**3 - 9*v**2 + 8*v - 2. Let q be l(8). Sort a, q, 1 in descending order.
1, a, q
Let i(o) = -5*o + 1. Let g be i(1). Let n(w) = w - 12. Let j be n(7). Let f be ((-3)/1 + 4)*j. Put 2, g, f in ascending order.
f, g, 2
Let y = -0.05 - 0.15. Let g(q) = 2*q - 1. Let w be g(3). Sort w, y, 1/6.
y, 1/6, w
Let o = -4 + 0. Let f = 6.7 - 0.7. Let p = 9 - f. Sort p, o, 2/3 in decreasing order.
p, 2/3, o
Let z(h) = -h**3 + 7*h**2 - 5*h - 3. Let p be z(6). Let j = 10 + -15. Suppose 11*w - 16*w + 10 = 0. Sort w, j, p in decreasing order.
p, w, j
Let y be (-1)/((-4)/8) + -4. Let n(z) = z**2 + 4*z - 1. Let p be n(-2). Sort 3, p, y in ascending order.
p, y, 3
Let q = -24 - -23.97. Put 0, 4, q in descending order.
4, 0, q
Let b be (-13)/3 - 4/6. Suppose -3*t - 4 = l, 3*t = -2*l + 2*t + 7. Sort l, -4, b.
b, -4, l
Let h = 7 + -7.4. Let u = 0.9 + h. Put -0.1, u, 5 in decreasing order.
5, u, -0.1
Let t = 0.7 + -1. Let h = -3 - -1. Let d be (-45)/12 - (-6)/8. Sort h, t, d.
d, h, t
Let r = -2 + 6. Let u = 51 - 55. Sort 0, r, u in increasing order.
u, 0, r
Let f = 3 + -6. Let k be (45/10)/1 + (-2)/(-4). Sort -2, f, k in ascending order.
f, -2, k
Let t = -47 + 42. Put 3, t, -2 in descending order.
3, -2, t
Suppose -2 - 7 = -3*t + j, -j + 5 = 4*t. Let i = t - 3. Suppose -b - 5 = -3*z - 3, -2*b - z = -10. Put b, -5, i in decreasing order.
b, i, -5
Let v(z) = z. Let b be (15/(-6))/((-1)/(-2)). Let u be v(b). Let j = 64 - 60. Sort -4, u, j in descending order.
j, -4, u
Suppose 6*x - 26 + 56 = 0. Let n = -29/3 + 10. Put -1, x, n in increasing order.
x, -1, n
Let k = 556/35 - 114/7. Sort k, 0.5, 2/7 in decreasing order.
0.5, 2/7, k
Let z(c) = c + 1. Let i be z(-4). Put 2, -2, i, 8 in decreasing order.
8, 2, -2, i
Let n be (-9)/6*(-32)/12. Suppose -n*s - 2*z = 22, -2*s = -3*s - 4*z - 16. Sort 2, 3, s.
s, 2, 3
Let z be 2/4*-3*(-4)/(-48). Sort z, 2/11, -4 in descending order.
2/11, z, -4
Suppose 0 = 4*x - 8*x. Put x, -2, 4 in ascending order.
-2, x, 4
Suppose 0*z - 3*z = h, 5*h + 3*z = 24. Suppose -x = h - 11. Sort -2, 3, x in descending order.
x, 3, -2
Let n = -15 - -25. Let d = n + -8. Sort d, 0.3, -0.2 in decreasing order.
d, 0.3, -0.2
Let b be (-12)/(-10) + 4/(-20). Sort b, -3, 4 in ascending order.
-3, b, 4
Suppose -t = -2 - 1. Sort t, -1, 5 in ascending order.
-1, t, 5
Let q(u) = u**3 - u**2 - 7*u + 3. Let t be q(3). Sort t, -5, 2, 4 in descending order.
4, 2, t, -5
Let b = 4.74 - -0.26. Sort b, 5/4, -5 in decreasing order.
b, 5/4, -5
Let s(z) = -z + 6. Let w be s(8). Let u = 29 + -33. Put w, 0, u in increasing order.
u, w, 0
Let z = -3.962 + -0.038. Suppose 14 = 4*j - 2*j - 4*k, -2*j - k - 1 = 0. Put 6/7, j, z in descending order.
j, 6/7, z
Let w = -5 + 7. Let p = -3 + w. Let f = p + 4. Sort 3/5, 4, f in ascending order.
3/5, f, 