t u = -7 + 12. Suppose -u*a + 24 = -2*a. Suppose 3*m - a = 4. Put 3, m, 2 in descending order.
m, 3, 2
Let m = -12.7 + 13. Put m, 0.04, 0 in decreasing order.
m, 0.04, 0
Let v(u) = 6*u + 23. Let p be v(-3). Let j be (-8)/10*(3 + 2). Sort 3, j, p in descending order.
p, 3, j
Let r = -32.1 + 32. Put 1, 5, r in descending order.
5, 1, r
Suppose 22 = -4*t + 3*d, -10 - 2 = 4*t + 2*d. Let g = -9 - -4. Put 5, g, t in increasing order.
g, t, 5
Let f(l) = -l**3 + l**2 + 7*l - 4. Let b be f(3). Put -2, -5, 2, b in descending order.
2, b, -2, -5
Suppose -3*z = -z. Suppose 1 = -k - 2*x - 0, -3*k + 3*x - 3 = z. Sort 4, k, -5.
-5, k, 4
Suppose -4*c - 4*q + 8 = 0, 0 = -q - 2*q + 6. Suppose 3*l = -4*u + l + 22, -3*l - 2 = -u. Put c, 1, u in ascending order.
c, 1, u
Let x = 7 - 5. Let z = -2.3 + x. Put z, -4, 1 in ascending order.
-4, z, 1
Let c = -0.399 + 0.299. Suppose -4*v = 5*k - 1, 0*v - 5*v + 11 = 3*k. Put c, 5, v in descending order.
5, v, c
Let u = -17/117 + -1/13. Let r = u - -13/18. Sort -5, r, 0.2.
-5, 0.2, r
Let f be (-44)/(-10) + 4/(-10). Suppose -3*l - f = -16. Let d = 0.023 - 1.023. Put 2, l, d in decreasing order.
l, 2, d
Let o = -21/8 - -97/40. Let t = 117.1 - 125. Let y = t + 8. Put -4, o, y in decreasing order.
y, o, -4
Suppose 3*c - 7*c + 28 = 0. Let s = c - 8. Sort -5, 3, s in decreasing order.
3, s, -5
Let v = 5 - 4.2. Let r = v + -0.8. Sort -5, r, -2.
-5, -2, r
Suppose -17 = 4*y - 5*g, 3*y - 1 = 2*g - 12. Put 4, -1, y in decreasing order.
4, -1, y
Let z = -2 + -5. Let b = z + 4. Sort b, -0.1, 4 in decreasing order.
4, -0.1, b
Suppose 0*j = -5*j - 3*p + 87, -95 = -5*j + 5*p. Suppose 2*g + 14 = -4*a, g - 3*g - 5*a = j. Sort 5, g, 2 in decreasing order.
5, 2, g
Suppose -3*n = 5 - 2. Put -2, -1/3, n in ascending order.
-2, n, -1/3
Let u(g) = g**2 - 5*g + 3. Let n be u(6). Suppose 4*c + 7 = -n. Sort c, 4, -7 in descending order.
4, c, -7
Let a(r) = 5*r**3 - r**2 + r - 1. Let h be a(1). Suppose -2*p - 2*y - h = -4*p, 5*p - y = 22. Let z be -3*10/24*4. Sort z, 3, p.
z, 3, p
Suppose 0 = -v - 1, y = 3*y - 4*v + 6. Sort y, -4, -3.
y, -4, -3
Let g be (10/(-90))/((-2)/24). Put -2/3, -2, g, 1/4 in descending order.
g, 1/4, -2/3, -2
Let q(a) = 22*a**3 - a. Let n be q(1). Suppose 0 = -i + 3*l + l + n, 3*i = -l - 2. Suppose 0 = -3*v + 14 + i. Put 1, -3, v in ascending order.
-3, 1, v
Let h = 5 + 1. Let z = -6.5 + h. Put z, -4, 1 in increasing order.
-4, z, 1
Let o = -0.3 - 0.1. Sort 0.3, o, -3.
-3, o, 0.3
Let u = -60/7 - -127/14. Sort u, 4, 11 in decreasing order.
11, 4, u
Let o = -50/731 + 8/43. Put -2, -0.1, o in decreasing order.
o, -0.1, -2
Suppose 5*p + 9 = 3*f + 28, 0 = -2*f - 4*p + 2. Let k be f/2 - (-63)/14. Suppose 3 = m + 2*m. Sort m, k, -3 in decreasing order.
k, m, -3
Let k(x) = x**2 - 7*x + 5. Suppose 5*i - 10 = 0, n - 16 = -n - 2*i. Let z be k(n). Let a = 1 + 4. Sort a, -5, z in ascending order.
-5, z, a
Suppose 0 = 3*q - 0*q + 12. Let y be (5/q - -2)*-4. Let n(j) = 2*j - 63. Let v be n(29). Sort v, y, -4 in descending order.
y, -4, v
Let l = -2 - -2. Let t = l - 0.1. Let q be ((-14)/35)/((-8)/30). Sort t, 2/11, q in increasing order.
t, 2/11, q
Suppose 0 = -5*a + 5*y + 25, -a - 2*a = -2*y - 11. Let o be 3/2*(-32)/(-12). Suppose 5*i = w + 29, -o*w + 3*i - 27 = -w. Put w, a, 3 in increasing order.
w, a, 3
Let w = -2.2 + -0.8. Let m = w - -2. Let i = 1.2 + m. Put 5, i, -5 in decreasing order.
5, i, -5
Suppose -3*f = -0*f + 12. Suppose 0 = z - 19 + 13. Suppose -z = -2*r + 2*q, 5*r + 4*q = 2*q + 1. Put 3, r, f in increasing order.
f, r, 3
Let l = 24/59 - 2/295. Let m = 0.05 - 3.05. Put m, l, -1 in descending order.
l, -1, m
Let z = -90 + 85. Let p(y) = y - 3. Let t be p(-4). Sort 0.3, z, t.
t, z, 0.3
Let k = 12 + -29. Let t = -17.3 - k. Put 0, t, 3/5 in increasing order.
t, 0, 3/5
Let r = -32 - -36. Sort -4, 1, r.
-4, 1, r
Let p(g) = g - 4. Let y be p(8). Let k = -111 + 111. Put k, -5, y in descending order.
y, k, -5
Suppose -4*h - 13 = w, 31 - 4 = -3*h + 5*w. Let q be 1 - 1 - (-6 + 4). Put h, q, -5 in descending order.
q, h, -5
Suppose -9*f + 3 = -10*f. Sort -4, -1, f in descending order.
-1, f, -4
Let b = 0.072 - 3.072. Put -5, b, -1, -0.1 in decreasing order.
-0.1, -1, b, -5
Suppose 3*j - j = -8. Let b = -5 - -2. Let d(h) = h**3 + 4*h**2 + 2*h. Let z be d(-3). Sort j, b, z in decreasing order.
z, b, j
Let j(w) = 27 - w**2 - 27 - 5*w. Let o be j(-5). Put 1, -3, o in descending order.
1, o, -3
Let o be ((-20)/125)/((-2)/(-5)). Sort o, -2, -0.1 in decreasing order.
-0.1, o, -2
Let l = 21 - 28. Put -0.1, -5, l, -1 in increasing order.
l, -5, -1, -0.1
Suppose -4*j - 6 = -2. Let v(s) = -3*s**3 - s**2. Let h be v(j). Let y = -4 - -9. Sort -5, y, h in decreasing order.
y, h, -5
Let g = -50 + 52. Sort g, -5, 4, -0.5.
-5, -0.5, g, 4
Let x = 54 - 54. Sort 5, x, -2 in descending order.
5, x, -2
Let v(k) = k**2 - 8*k + 3. Let i be v(8). Let y be i/(-6) - 1/(-2). Put -3, y, -5 in decreasing order.
y, -3, -5
Suppose 9 + 0 = -3*f. Sort 5, f, 4.
f, 4, 5
Let b = -2 - 10. Let h be (-46)/12 - (-2)/b. Sort h, 0, -3.
h, -3, 0
Let c = -4 + -1. Let v = 0.2 + -0.2. Let z = v - -0.2. Sort c, z, -3/4.
c, -3/4, z
Suppose -6*l - 21 = y - 2*l, 0 = y - l - 4. Sort -3, y, 5 in descending order.
5, y, -3
Let c be (4/(-8))/(30/8). Let b = 23/5 + -19/5. Let f = 4 + -4.1. Put f, c, b in descending order.
b, f, c
Let n = 70 + -66.12. Let o = n - -0.12. Sort 0.5, 0.3, o in descending order.
o, 0.5, 0.3
Let p = 24 - 20. Sort -0.5, p, -1/4 in ascending order.
-0.5, -1/4, p
Suppose 0 = -d - d + 8. Suppose -2*k - 4*u - 6 = 0, 3*k + u + 11 - 2 = 0. Suppose -t - 4*t + 15 = 0. Sort d, t, k in descending order.
d, t, k
Let o(v) = -3*v + 2. Let w be o(2). Sort w, 3, -5.
-5, w, 3
Let b(p) = -2*p**2 + 36*p - 2. Let d be b(18). Let u(q) = q**3 + 4*q**2 + 2*q + 4. Let g be u(-4). Let l = 6 + g. Sort l, d, 3/2 in increasing order.
d, 3/2, l
Let a = 3 + -1. Suppose -12 = -2*c + 2*j, -3*c + 5*j + 3 = -7. Let t be ((-4)/(-8))/(c/8). Sort t, 4, a in ascending order.
t, a, 4
Let t be -3*4/(1*-24). Put -4, 1, t in increasing order.
-4, t, 1
Let z = 6 - 3. Let j be 1 - 21/9 - (-2)/(-3). Sort j, z, 1.
j, 1, z
Let k = 1 - -2. Suppose -y + 2*n - 9 = 3, -4*y = k*n + 4. Put y, 1, 3 in increasing order.
y, 1, 3
Suppose -3*f - 3*l = 3, 2*l + 3 - 9 = 0. Put f, 2, -5 in descending order.
2, f, -5
Let u(d) = d - 9. Let r be u(16). Let q = 3 - r. Put q, -1, 5 in ascending order.
q, -1, 5
Let w = 1.7 - 1.2. Let t = -78 + 391/5. Sort 1/7, t, w.
1/7, t, w
Let z(m) = 3*m - 1. Let a be z(-1). Let o = -2 + 0. Sort 5, a, o.
a, o, 5
Let s = 0.04 + -2.04. Let t = s - -6. Sort -1, t, 0.4 in descending order.
t, 0.4, -1
Let i(v) = v**2 + 12*v + 10. Let l be i(-11). Sort -5, 0, l, 1.
-5, l, 0, 1
Let t = -2 - 3. Suppose 0*c = 3*c - 21. Let q(o) = o**2 - 7*o + 2. Let h be q(c). Put h, t, -3 in increasing order.
t, -3, h
Let v = -9 + 9.19. Let d = 3.81 + v. Put -3/2, 2/7, d in decreasing order.
d, 2/7, -3/2
Let v(t) = t**3 + t - 2. Let a be v(2). Suppose 3*d - 5*d = a. Sort 3, 2, d in decreasing order.
3, 2, d
Let v be (-23)/5 - (-4)/(-10). Let z(g) = g**2 + 8*g - 8. Let y be z(-9). Sort 2, y, v.
v, y, 2
Let c = -0.1 - -0.24. Let h = c - 0.24. Put 4, -2/5, h in descending order.
4, h, -2/5
Suppose 2*x - 18 = 4*m, 0*m - 7 = x + 2*m. Let d = x - 5. Put 5, 4, d in increasing order.
d, 4, 5
Let g = -3 + 2. Let k(o) = -o**3 + 9*o**2 - 11*o + 12. Let l be k(7). Let a = -67/2 + l. Sort a, g, 2/7.
g, a, 2/7
Let c = 0.12 - 0.42. Put 1/2, 5, c in ascending order.
c, 1/2, 5
Let r = 70 - 69. Sort 5, -1, r in ascending order.
-1, r, 5
Let d = -35 + 34. Put d, 3, 8 in descending order.
8, 3, d
Let b = 28 + -23. Let c be 1*-2 - (0 + -1). Put -4, c, b in increasing order.
-4, c, b
Let u = 85 - 341/4. Sort u, -4, 2/11 in descending order.
2/11, u, -4
Let h = -52 + 51.77. Let s = -0.07 + h. Put -1/2, s, -4/7 in descending order.
s, -1/2, -4/7
Let k be (-1 - 1)/(-2) + -2. Suppose -24 + 4 = -4*q. Let f be ((-2)/4)/(q/(-30)). Put k, 2, f in descending order.
f, 2, k
Let o = -8 - -12. Put -3, o, 0 in ascending order.
-3, 0, o
Let u = 3.29 + -3.1. Let h = u + 0.01. Put h, 0.3, -1 in descending order.
0.3, h, -1
Let s be ((-1)/(-3))/((-4)/(-12)). Put 0.3, s, -5, -0.06 in increasing order.
-5, -0.06, 0.3, s
Let k = -11.7 + 11. Let d = 1.9 + -1