t
Suppose -3*d - u - 14 = -2*d, 4*d + 56 = u. Put 0, -3, d in decreasing order.
0, -3, d
Suppose 0 = -3*a - 2*a - 4*g - 71, -3*a + 4*g = 17. Let d = a - -13. Sort d, -0.4, 3.
-0.4, d, 3
Let d = 5.6 - 6. Let r = -43/76 + 6/19. Sort -2/7, d, r.
d, -2/7, r
Let l = 0.02 + -0.42. Let u = 28 + -31. Put u, l, -2 in decreasing order.
l, -2, u
Let r be (-33)/216 + 2/(-9). Let s be (0 - 2)/4*1. Put r, s, -1/4 in decreasing order.
-1/4, r, s
Let x = 0.3 + 0.7. Let j = 1/227 + 451/681. Sort x, 1/2, j in descending order.
x, j, 1/2
Let i(t) = t**3 - 7*t**2 + 5*t + 1. Let v be i(6). Suppose -6*x + 0 + 12 = 0. Put v, x, 0 in increasing order.
v, 0, x
Let m = -2 + 1.9. Let l = 11 - 10.7. Let h = m - l. Sort 2/7, h, 1/5 in increasing order.
h, 1/5, 2/7
Let j = -82 - -80. Let b(t) = 0 + 2*t**2 + 0 - t**3 - 2*t. Let a be b(2). Put j, 4, a in descending order.
4, j, a
Let z = -12 + 8. Let q be (9/21)/((-6)/z). Let h = 11 + -15. Sort 0.1, h, q.
h, 0.1, q
Let i = -88 - -93. Sort 1, i, -4 in increasing order.
-4, 1, i
Suppose 3*g + 8 = -0*g + 5*o, 3*o = -5*g + 32. Sort -1, g, 0.5.
-1, 0.5, g
Let f = -1332 + 930. Let d = 1590/163 + 574772/1467. Let t = f + d. Put 5, t, 1 in decreasing order.
5, 1, t
Let h be (1/(-2))/(1/2). Suppose -3*y + 4*g - 4 = 0, 5*g + 4 = y - 2. Sort y, h, -5.
-5, y, h
Suppose 4*f - 4*m = -4, 3*m - 1 - 8 = 0. Let t(c) = -2*c - 1. Let r be t(1). Let h be (r/30)/(1/(-2)). Put f, -0.1, h in ascending order.
-0.1, h, f
Let q be 14/(-8) - (-2)/(-8). Suppose -2*b = l - 7, -5*l + 3 + 4 = 3*b. Suppose 4*a = k - 9, b*k = 4*a - 3 + 27. Put -4, a, q in increasing order.
-4, q, a
Let i = -3.998 - -0.098. Let g = i + 4. Sort 4, 1, g.
g, 1, 4
Suppose 3*k + 29 = -5*s + 13, -k + 13 = -2*s. Suppose j + k = 5*w, -j - 6 = -2*w + j. Put 1, 3, w in descending order.
3, 1, w
Suppose -3*k - 2*k = -15. Put -1, k, 2/11 in increasing order.
-1, 2/11, k
Let g = -0.03 + -3.97. Sort g, 0.5, -1 in increasing order.
g, -1, 0.5
Let j(k) = -k**3 - 9*k**2 - 7*k + 13. Let b be j(-8). Sort b, -2, 1, 7 in descending order.
7, b, 1, -2
Let a(r) = -r**3 - 2*r**2 + 2*r + 2. Let j be a(-3). Let z = j - 6. Sort z, 5, -2 in increasing order.
-2, z, 5
Suppose 9*s - 3*s - 24 = 0. Sort s, 1, -1.
-1, 1, s
Let r = 1.94 + 0.06. Let h = 1.5 - 1. Sort -3, h, r.
-3, h, r
Let t = -175/828 - 1/92. Sort 3/2, t, 0.1 in increasing order.
t, 0.1, 3/2
Let n = -234/5 - -47. Let p = 60 + -58. Sort n, 5, p in descending order.
5, p, n
Suppose -31 = 6*f - 1. Sort -8, 5, f in increasing order.
-8, f, 5
Let s be (1/(-9))/(1 - 2). Sort s, 0, 0.1.
0, 0.1, s
Suppose 0*i = -u - 2*i, 0 = -2*u + i. Sort 3, 4, u in descending order.
4, 3, u
Let d(z) = -10 + 2*z - 4*z + 0*z. Let i be d(-7). Suppose 7 = 5*x - k, 0 = 2*x - 5*x + i*k + 11. Sort x, 0.2, 3 in decreasing order.
3, x, 0.2
Suppose i - z + 6 = 4*i, 4*i - 4*z - 8 = 0. Let n = 1 + i. Suppose 0 = -x + 2*x - 4. Sort x, -3, n.
-3, n, x
Let c = 137/6 + -23. Put c, 1, -4 in ascending order.
-4, c, 1
Let b = -8 - -8. Suppose 5*j = -b*j. Let k be (7/(-56))/((-2)/(-12)). Put k, 1/5, j in increasing order.
k, j, 1/5
Let n = -0.11 - 0.01. Let g = -0.38 + n. Put -3, 0.4, g in increasing order.
-3, g, 0.4
Let v be 3/1*-1 + 7. Sort 1/4, v, 1 in increasing order.
1/4, 1, v
Let m be 35/28 + 2 + -3. Sort 6, 3, m.
m, 3, 6
Let s(k) = k**2 - 3*k. Let v be s(2). Let f = v - 0. Suppose -4 = 2*c - 4*c. Put f, c, 5 in decreasing order.
5, c, f
Suppose o - 6*p + p = 0, -5*o + p - 24 = 0. Let u(t) = t. Let v be u(3). Let c = -3 + 2. Put v, c, o in descending order.
v, c, o
Suppose -2*s - 5 = -1. Let i be 14/(s - -1) + -2. Let j = i - -11. Sort j, 3, 4.
j, 3, 4
Suppose 0 = -3*j - 5 - 1. Suppose 5*d + 3*l = -18, 0 = 5*d + 3*l + 2*l + 20. Put 5, d, j in decreasing order.
5, j, d
Let n(x) = -x**2 - 4*x - 4. Let l be n(-2). Suppose l*t + t = -4. Put t, 3, -1 in descending order.
3, -1, t
Suppose 0 = -w - 0*w. Suppose 0 = -k - w*k - 1. Sort 4, 3, k.
k, 3, 4
Let q be 125/390 - 4/26. Let p = 6 - 14. Let s = 3 + p. Sort -2, q, s in decreasing order.
q, -2, s
Let a be (-16)/(-6) - 2/(-6). Let u(b) = -b**2 + 4*b. Let d be u(2). Suppose d*c = -3*o - 35, 5*c - c - 5 = 5*o. Sort c, a, 4.
c, a, 4
Let k be -2 - (-4)/3*3. Let l(q) = 4*q**2 + q + 1. Let b be l(-2). Suppose 5*w + b = k*w. Sort -3, 4, w in descending order.
4, -3, w
Let i = 0.29 - -3.71. Put -0.5, i, 2 in ascending order.
-0.5, 2, i
Suppose 4*m + m - 5 = 0. Sort 3, -1, m, 5 in ascending order.
-1, m, 3, 5
Let d(h) = h**3 + 3*h**2 - 3. Let g be d(-3). Let j(y) = 2*y**2 - y + 1. Let z be j(1). Let t be (-3)/z*(-2)/(-3). Sort g, 4, t in descending order.
4, t, g
Suppose -4*c - 25 = -c + 2*v, 5*c + 3*v = -42. Let g be 4/18 + (-43)/c. Put g, -2, 4 in decreasing order.
g, 4, -2
Suppose -4*q = -5*l - 248, 2*l - 102 = -3*q + 61. Let o = 225/4 - q. Sort -4, o, -0.4 in ascending order.
-4, o, -0.4
Suppose -2*s = -5*s - 915. Let t = s - -3357/11. Let j = 0.23 - 0.03. Put j, -2, t in decreasing order.
j, t, -2
Let z = -14 + 18. Sort -4, 0.4, z in increasing order.
-4, 0.4, z
Let u be -3 + 3 - 6/51. Let c(k) be the third derivative of k**4/24 + 2*k**3/3 - 2*k**2. Let n be c(-5). Sort u, -0.4, n in decreasing order.
u, -0.4, n
Let a = 16 + -16.4. Sort a, -1, -1/2.
-1, -1/2, a
Let n = 25 + -27. Let l be ((-6)/(-9))/(n/5). Let i be ((-2)/(-12))/((-2)/(-8)). Put l, i, -1 in ascending order.
l, -1, i
Let o = 0.6 - 0.66. Let v = o - 0.04. Put -2, v, 1 in ascending order.
-2, v, 1
Suppose 7*z - 2*z = -5. Let l be (-2 + 6)*z/(-2). Sort l, 3, 5 in decreasing order.
5, 3, l
Let m = -20 + 9. Let q = -6 - m. Sort q, 3, -2/7 in increasing order.
-2/7, 3, q
Let c(r) = r**3 - 3*r**2 - r - 2. Let d be c(4). Sort 1, 4, d in decreasing order.
d, 4, 1
Let u be 1/1 + (4 - 2). Let z be 2 - (6/u)/(-2). Suppose -2*w - 14 = -5*y - z*w, 0 = -4*y + 2*w + 14. Put y, -5, 1 in decreasing order.
y, 1, -5
Let n be 14/(-15) + (-2)/(-6). Let z(t) be the third derivative of t**5/60 - t**4/4 + 2*t**3/3 - 3*t**2. Let y be z(6). Put n, -3, y in decreasing order.
y, n, -3
Let d be (-6090)/432 + (-2)/(-9). Let j = d + 14. Put j, 1/10, 1 in descending order.
1, j, 1/10
Let u = -31 + 30. Put 3, -8, 4, u in ascending order.
-8, u, 3, 4
Let p = -38 - -14. Let i be (4/(-6))/(4/p). Suppose 4*z = i*u - 16, -u - 3*u + 11 = -3*z. Sort -6, z, 3.
-6, z, 3
Let s = 0 + -4. Let l = s + -6. Let t = -14 - l. Put t, 4/5, 1 in increasing order.
t, 4/5, 1
Suppose -2 = -2*m, 2*z - 3*m = -6*m + 11. Suppose 5*n + 6 = -2*f + 1, z*f + 1 = -n. Put 2, f, -4 in decreasing order.
2, f, -4
Suppose 5*f = -t + 30, 0 = 4*t + t + f - 30. Let x = -4 + t. Sort -3, -1, x in increasing order.
-3, -1, x
Let w be 10/(-3) + 4*(-5)/(-60). Let t be ((-2)/((-1)/(-1)))/(-2). Put t, w, -2 in decreasing order.
t, -2, w
Suppose -f - 2 = -2*f. Sort 1, 2/17, f in ascending order.
2/17, 1, f
Let q = 3.9 - 18. Let d = 14 + q. Put 0.5, -1/5, d in decreasing order.
0.5, d, -1/5
Let o be 6/((-3)/(-6)*1). Let u = o - 13. Sort 1, u, -4 in descending order.
1, u, -4
Let x be (-2)/3 - 1/3. Suppose -n + 1 = -0. Sort n, x, 5 in ascending order.
x, n, 5
Let y = 0.06 - -0.06. Let q = -0.42 + y. Sort q, 5/2, -4 in ascending order.
-4, q, 5/2
Let b be ((-1)/3)/((-14)/84). Suppose b*r - 7 = -5. Put -5, 0, r in increasing order.
-5, 0, r
Let s = -30 - -121/4. Sort -4/3, -2/7, s, -1.
-4/3, -1, -2/7, s
Suppose 4*o + o = 5*t - 15, -2*o = -5*t + 18. Put 2, -3, t in decreasing order.
t, 2, -3
Let o = 1.1 - 4.1. Let x = 2/289 - 1170/2023. Put o, 3, x in increasing order.
o, x, 3
Let u(p) = -2*p - 3. Let y = 11 + -8. Let b(g) = g + 1. Let o(w) = y*b(w) + u(w). Let n be o(-1). Put 0, n, 1 in decreasing order.
1, 0, n
Let q be 6/(-9)*30/4. Suppose h = -3*j - 25, 3*j + 4*h = 5*j + 12. Let n be j/24*6/q. Sort -0.2, -3, n in increasing order.
-3, -0.2, n
Let n = -161 + 481/3. Suppose 5*k + v = 1, 5*v - 2*v = k - 13. Put n, -1, k in increasing order.
-1, n, k
Let y be 4/(3/(-9) + 1). Let r(l) = l**2 - 6*l + 1. Let w be r(y). Sort -1, w, 2.
-1, w, 2
Let c(y) = -y**2 - y + 27. Let x be c(0). Put -4, x, 2 in decreasing order.
x, 2, -4
Suppose 0 = 3*d - 3*v + 36 + 84, 4*v = -3*d - 155. Let m be d/(-27)*(-3)/(-1). Let w = 2 - 2. Put w, m, 4 in descending order.
m, 4, w
Suppose 0 = 3*w + 4*v + v - 25, 3*w - 5 = 5*v. Sort 0, 4, w in increasing order.
0, 4, w
Let t = -