 Put t, -0.5, a in decreasing order.
a, t, -0.5
Let b = -11 + 12. Sort 2/15, b, -5.
-5, 2/15, b
Suppose 11*u + 32 = 3*u. Let s be 4/(-6)*(-9)/(-3). Sort 1, s, u.
u, s, 1
Let m = 4.06 - 4. Let z = -16.44 + 17. Let n = m - z. Put 5, -5, n in increasing order.
-5, n, 5
Let w = 29.5 - 29. Put 0.3, -1/2, w in descending order.
w, 0.3, -1/2
Suppose -5*c = -0*c + 4*x + 10, 4*c - 4*x = -44. Let h(z) = z**2 + 7*z + 1. Let p be h(c). Let s be (-6)/8 + (-19)/(-4). Sort 3, s, p.
p, 3, s
Suppose -3*g + 3 = 2*a + a, 5*a = -2*g - 10. Let z be ((-4)/(-6))/(8/24). Suppose -5*k + 6 = 5*r - r, 0 = -5*k - 2*r - z. Put k, a, 5 in descending order.
5, k, a
Let g = -0.082 + 0.412. Let d = 6 + -6.03. Let k = d + g. Sort -4, -2/3, k in descending order.
k, -2/3, -4
Let r be (1*(-1)/3)/(182/(-84)). Sort 0.4, r, 0.3 in ascending order.
r, 0.3, 0.4
Let h = 16 - 10. Suppose -j + h*j = -15. Suppose -m = -2 - 1. Put j, m, 4 in ascending order.
j, m, 4
Suppose -5*r = -14 - 1. Let u be 0/(-2 + 2 + 2). Put u, -5, r in ascending order.
-5, u, r
Let g = -2 + 2. Let h be (-6)/(-10) + 10/25. Sort g, h, -5 in decreasing order.
h, g, -5
Let q = 6 + -6.27. Let r = q + -0.13. Put 1, r, 5 in decreasing order.
5, 1, r
Suppose 0*u + 8 = -u. Let v(p) = 2*p + 11. Let d be v(u). Let t = -8 - d. Sort 0, t, 2.
t, 0, 2
Suppose l = 4*l - 213. Let t = l + -43. Let v = -141/5 + t. Sort -2/9, v, 0 in ascending order.
-2/9, v, 0
Let o(l) = l**3 - 3*l. Let c be o(3). Let a be c/5 + (-2)/(-5). Put 5/3, 1, a in decreasing order.
a, 5/3, 1
Let k = 7.5 - 7.8. Put -18, k, 1/5 in increasing order.
-18, k, 1/5
Suppose 3*c - 5*b = 34, 4*c + 0*b - 34 = b. Suppose 5 = -7*x + c*x. Sort 0, 3, x in decreasing order.
x, 3, 0
Let p = -0.5 - -2.5. Let o = 1 + p. Let u = -1 + 0.9. Sort u, 5, o.
u, o, 5
Let v be (3/(-8) - 0)*-155. Let i = -58 + v. Sort 3, i, 0.1 in descending order.
3, i, 0.1
Let k = 23 - 37. Sort -0.2, k, -3/2.
k, -3/2, -0.2
Let u be (-2)/1 - (-2 + 2). Let s(t) = t - 7. Let b be s(5). Let j be -3*(-2 - b/6). Sort u, 0, j in decreasing order.
j, 0, u
Let p = 4.3 - 4. Let l = -0.4 - -4.4. Sort -2, l, p.
-2, p, l
Suppose 0 = -2*p, 4*j - 9 - 11 = -4*p. Suppose -j*s - 5 = -6*s. Put -4, 4, s in descending order.
s, 4, -4
Let b(v) = -5*v + 1. Suppose 3*w + 1 = 4. Let p be b(w). Let g be 0/((-2)/2 + 2). Sort 3, g, p in ascending order.
p, g, 3
Let y be (4 - 5) + (-7)/(14/(-4)). Put y, -4, 4 in descending order.
4, y, -4
Let z(g) = -g**3 - 7*g**2 - 10*g - 1. Let r be z(-5). Let a(v) = v**3 - 4*v**2 + 5*v - 3. Let y be a(3). Sort y, 4, r in increasing order.
r, y, 4
Let n = 42.7 - 43. Sort n, -2/13, 5 in descending order.
5, -2/13, n
Let p(k) = k**2 - 2. Let z be p(0). Sort 0, z, 2.
z, 0, 2
Let g = 270 - 1346/5. Let y = 71/4 + -17. Let l = 3.7 + 0.3. Sort y, l, g.
y, g, l
Let j = -3 - -2.6. Suppose -6 - 2 = -2*l. Sort -5, l, j in increasing order.
-5, j, l
Suppose -3*v + 4*v + 2*q = -7, -2*v - q = 2. Put -0.5, 1/11, v, 0.4 in increasing order.
-0.5, 1/11, 0.4, v
Suppose f + f = -36. Sort f, -2, 4 in decreasing order.
4, -2, f
Let d(t) be the second derivative of -t**5/20 - t**4/12 - t**3/6 - t**2 - 5*t. Let a be d(0). Sort a, 4, 5 in decreasing order.
5, 4, a
Suppose 3*n + 2*n = 2*s + 22, -2*s - 8 = 2*n. Let w = s + 2. Put w, 1, 3 in ascending order.
w, 1, 3
Let n = -5/22 + -3/11. Let w = n - -1/6. Sort w, 3, 1/9 in increasing order.
w, 1/9, 3
Let m(l) = l**2 - l - 1. Let s be m(-1). Suppose 0*f + s = -f. Let v be (1/2 + 0)*0. Put v, -2, f in decreasing order.
v, f, -2
Let w = -187 + 190. Sort 0.1, 4, w, -5 in increasing order.
-5, 0.1, w, 4
Suppose -92*i = -94*i - 10. Let n = -1 - 0. Put n, i, 2/3 in ascending order.
i, n, 2/3
Let y = 86 + -90. Put 1, y, 6, 3 in ascending order.
y, 1, 3, 6
Suppose 21 = f - 4*r, f = 2*r + 14 + 1. Suppose 18 = -3*t + f*t. Put t, -2, 1 in descending order.
t, 1, -2
Let l be (-4)/2 - 0/(-3). Suppose -4*q = 2*j + 2*j - 84, -5*q = -5*j + 65. Suppose 0 = -2*d - 2, -o - 3*o = d + j. Put o, 2, l in ascending order.
o, l, 2
Let i = -4 + 6. Suppose i = -3*m - 1. Put 1, m, 2 in descending order.
2, 1, m
Let c = 508/1295 + 2/259. Put c, 4, -0.5 in ascending order.
-0.5, c, 4
Let j = -0.19 - -4.19. Sort 0.4, 0.3, j in increasing order.
0.3, 0.4, j
Let j = 1 - -1. Let c be (-2)/2*(j + -1). Sort c, -5, 1.
-5, c, 1
Let t be (-50)/(-10)*6/10. Put t, -3, 4 in decreasing order.
4, t, -3
Let u = 59 - 298/5. Suppose 13 + 7 = -2*y + 4*b, 4*y - 5 = -b. Put 1/5, u, y in ascending order.
u, y, 1/5
Suppose 4*y + 5 = 2*m - 9, 5*m - 21 = -4*y. Put -4, m, 1 in decreasing order.
m, 1, -4
Let z = -0.98 - -0.58. Sort 0.1, z, 0.4 in descending order.
0.4, 0.1, z
Let f(b) = -b**3 + 5*b**2 - b. Let o be f(5). Let z = 5 - 7. Sort 4, z, o in decreasing order.
4, z, o
Let u(d) = d**2 - 4*d + 3. Let g be u(5). Suppose 2*m = 4*c - g, 10 - 2 = -c + 3*m. Suppose 2*y + 2 = c*y. Sort -2, 0.3, y.
-2, 0.3, y
Let n = 0.6 + -1. Put n, -1, -2/11, 0.4 in descending order.
0.4, -2/11, n, -1
Let l = 3 + -1. Let v = -240 - -3122/13. Put 5/2, v, l in ascending order.
v, l, 5/2
Let d = 1 + -1. Let w = 2 + d. Suppose f + 12 = -w*f. Put -5, 2, f in increasing order.
-5, f, 2
Let n = -217909/154 + 1415. Let u = -1237/770 + n. Let l = u + 46/35. Put 0.3, -1, l in increasing order.
-1, l, 0.3
Let n(m) = -m**3 - 16*m**2 - 16*m - 18. Let u be n(-15). Put 2, 1/7, u in ascending order.
u, 1/7, 2
Let o = 5.97 + -1.04. Let u = 0.07 + o. Let w be ((-2)/(4 - 2))/6. Put u, 1/4, w in descending order.
u, 1/4, w
Let k = -16 - -15.9. Let x be (1 + 8/(-14))*-1. Sort x, -0.3, k in increasing order.
x, -0.3, k
Let v(w) be the third derivative of -1/12*w**5 + 0*w**3 - w**2 + 0 + 0*w + 0*w**4. Let c be v(-1). Put -1, c, 0 in decreasing order.
0, -1, c
Suppose -3*h - 15 = -4*p + 11, 5 = -p - 5*h. Sort 4, p, 0.5 in increasing order.
0.5, 4, p
Let j = -8 - -17. Sort j, -2, -1 in descending order.
j, -1, -2
Let k = 48 - 67. Let c = k + 19. Let r = -83/3 + 341/12. Sort r, 1, c in decreasing order.
1, r, c
Let m be 5/(-10) + (-12)/8. Sort m, 1, 0.4 in ascending order.
m, 0.4, 1
Suppose 0 = n - 2*n + 4. Let s be 4/18 - (-24)/(-108). Let y = -3 + 5. Put n, y, s in descending order.
n, y, s
Let f = 12 - 8. Let p = 88/3 + -30. Let g = 101/15 + -27/5. Put f, p, g in ascending order.
p, g, f
Let c = 3.01 + -0.01. Let y be (-1)/(-2) + 9/(-2). Put y, c, -0.03 in descending order.
c, -0.03, y
Let w = 10 + -10. Suppose w = r - 0*r - 3. Let u be (-3)/12 + 15/(-4). Put -5, u, r in descending order.
r, u, -5
Suppose -7 = -3*c - i, 0 = 2*c + c + 2*i - 2. Suppose 4*b = -3*y - 7, 6*y - 2*y + c*b + 4 = 0. Let o = 12 - 13. Sort y, -2, o in descending order.
y, o, -2
Let w = -6 - -4. Let i be (-23)/(-84) - w/(-8). Let a = i - 47/210. Put 1/3, a, 1/4 in decreasing order.
1/3, 1/4, a
Let t = -713/5 + 142. Sort 0.1, t, 4, -4 in ascending order.
-4, t, 0.1, 4
Let c be 8/(-6)*9/(-30). Let n be ((-2)/(-24))/((-195)/416). Let l = c + n. Put 5, -5, l in descending order.
5, l, -5
Suppose 2*p + p = 0. Let v(m) = -m**3 + 3*m**2 + 1. Let n be v(3). Let f be (n/(-3))/(3/(-36)). Put p, 5, f in ascending order.
p, f, 5
Let y = 17/2 + -9. Put 4, y, 0 in ascending order.
y, 0, 4
Let d = -970/2223 - 2/247. Let j = -2.1 + 0.1. Let x = j - -3. Put -0.3, d, x in ascending order.
d, -0.3, x
Suppose -j + 0*z + 4*z + 10 = 0, 2*z = -3*j - 12. Suppose 7 = -5*o - 8. Put -1, j, o in descending order.
-1, j, o
Suppose -5*g - 5 = 5. Put g, 9, -5 in descending order.
9, g, -5
Let p = 14 + -9. Suppose 0 = -p*r + 7*r. Let x = -0.4 - 0. Sort -0.2, r, x in decreasing order.
r, -0.2, x
Suppose 15 + 15 = -6*o. Let a(y) = y + 1. Let q be a(-1). Suppose -u = -q*u. Sort o, u, -3 in descending order.
u, -3, o
Let h(s) = s + 5. Let p be h(-2). Sort 3/5, p, 4 in decreasing order.
4, p, 3/5
Let p = -0.39 - -0.39. Let l be (1 + 0)*(-1)/5. Sort p, l, 3 in descending order.
3, p, l
Let u = 158 - 159. Let d = -0.5 + 0.9. Sort d, 2/3, u in ascending order.
u, d, 2/3
Let q(i) = -i**3 - 14*i**2 + 14*i - 10. Let d be q(-15). Suppose d*k = 2*k. Let s be 16/(-3) + 2/6. Sort -1, s, k.
s, -1, k
Let v(t) = -7*t + 13. Let q be v(2). Sort q, 0.2, 2/9 in decreasing order.
2/9, 0.2, q
Let f = 4 + -9. Let y = -24 - -36. Let t = y - 14. Put f, 2, t in descending order.
2, t, f
Suppose -3*a + 4 = -2*x - 13, -4*a + 5*x + 32 = 0. Let 