. Sort t, j, 2 in descending order.
2, j, t
Let n = -38 + 35. Put n, -2, 4 in descending order.
4, -2, n
Let c = -7 + 7.7. Let m = -0.3 + c. Let p = 0.2 - m. Put 5, 0.3, p in descending order.
5, 0.3, p
Let b(d) = -4*d**2 - d**3 + 8*d**2 + 0*d**2 - 3*d. Let l be b(2). Sort l, 4, 1.
1, l, 4
Let m = -37 + 38. Sort m, 2, -3.
-3, m, 2
Let j = 196/5 - 39. Sort -0.5, -1/5, j.
-0.5, -1/5, j
Suppose w = w + 4*w. Put 7, w, -4 in decreasing order.
7, w, -4
Let y = 1.024 + 0.026. Let p = y + -0.05. Put -2/7, p, -0.3 in ascending order.
-0.3, -2/7, p
Let q be (2 + -1)/((-1)/2). Suppose 5*l = 3*f + 8 + 15, 0 = -2*l - 4*f + 4. Suppose -x - l = -8. Put q, 5, x in increasing order.
q, x, 5
Suppose 15*q - 18*q + 3 = 0. Suppose 0 = 4*d - 5*l - 18, -2 = -4*d + l - 4*l. Sort 0, q, d in increasing order.
0, q, d
Let o = -0.982 - 0.018. Put 3, 1/3, 0.5, o in increasing order.
o, 1/3, 0.5, 3
Suppose 0*m + 2*m = -10. Let c = -6 - -3. Let r(h) = -11*h - 7. Let i be r(-1). Sort i, c, m in increasing order.
m, c, i
Suppose 0 = o - 3*o + 6. Suppose 0 = -3*h + 3, -2*d + 2*h - 9 = o*h. Sort 2, d, -2 in decreasing order.
2, -2, d
Let i = 0.6 + -0.56. Let s = 0.24 - i. Sort s, -1/8, 2 in ascending order.
-1/8, s, 2
Let v = 3 + 2.2. Let t = -0.03 - -5.03. Let w = v - t. Sort 5, -0.5, w.
-0.5, w, 5
Suppose 0*w - 8 = -2*w. Let d = -7 - -3. Sort d, w, -5 in descending order.
w, d, -5
Let b = 3 - -3. Let y = 4 - b. Sort y, 1, -3 in decreasing order.
1, y, -3
Suppose p + 0*p + 2*n = 1, 4*n = -3*p + 1. Put -6, p, 3 in decreasing order.
3, p, -6
Let y(g) = g - 5. Let o be (-1 - (-3)/2)*10. Let i be y(o). Put 1, i, -0.3 in descending order.
1, i, -0.3
Suppose -3 = 3*n + 9. Let a be (n/(-15))/((-3)/9). Sort a, 2, 5 in descending order.
5, 2, a
Let y be 0 - (1 + 1) - 1. Let o(k) = k**3 + 4*k**2 + 2*k - 1. Let x be o(-2). Suppose -2*g = u + x, 0 = 2*u + 3*g - 2*g + 3. Put u, y, 2 in ascending order.
y, u, 2
Let t be 8/44 - 105/33. Let k = -9 - -4. Sort -2, k, t.
k, t, -2
Let o(k) = -5*k**2 - k. Let z be o(-1). Sort -2, z, -1, 2.
z, -2, -1, 2
Suppose 5*x = -o + 12, -o + 2*x + 0*x = 9. Let s be o/6 + (-34)/(-52). Sort 0, 4, s in ascending order.
0, s, 4
Suppose -3*t + 16 = -32. Let h be 1/(-2) - (-88)/t. Put -5/2, 1/3, h in descending order.
h, 1/3, -5/2
Let j = -0.28 + -2.52. Let i = j + 0.8. Let v be (3/(-54))/(1/4). Put -1/11, i, v in increasing order.
i, v, -1/11
Let k = -11.94 + 12. Let l = k - -4.94. Put l, -5, 1/4 in ascending order.
-5, 1/4, l
Suppose -3*s - 8 = -z - 33, -4*s + z + 34 = 0. Let u = -5 + s. Let n be (-27)/(-12) + (-1)/u. Sort n, 0, 3 in descending order.
3, n, 0
Let a = -121 - -119. Let x = 3 - 3.5. Put x, 2/11, a in ascending order.
a, x, 2/11
Let d(r) = r**2 - 9*r + 8. Let b be d(8). Suppose l = -2*c + 2, c + 1 = -b*c. Sort -2, l, -5.
-5, -2, l
Suppose -6*q - 3*y = -q + 12, 0 = -q + y - 4. Sort -16, 4, q, 2 in decreasing order.
4, 2, q, -16
Let u(t) = t - 1. Suppose -2*s = 4*f + 14, -f - 20 = -4*s + 3*f. Suppose s = 2*b - 3. Let g be u(b). Sort g, -1, -5 in descending order.
g, -1, -5
Suppose 6*t = 2*t + 48. Suppose 4*l = t - 4. Put 1, l, 5 in descending order.
5, l, 1
Let y = -12 + 15. Put 5, -1, y in increasing order.
-1, y, 5
Let u(s) = s**2 - 15*s + 4. Let t be u(16). Let h = t - 19. Let v = -146/9 - -16. Sort v, h, 0.2 in increasing order.
v, 0.2, h
Let k = -4.2 - -4. Sort 2/5, k, -4.
-4, k, 2/5
Let b(m) = m**2 + 10*m + 4. Let j be b(-8). Let u = j + 10. Sort u, 6, 0 in increasing order.
u, 0, 6
Let i be (-1 - (2 - 5))*1. Let b be (-4)/(-2 + -2 + i). Suppose -s = -b*s. Sort -3, -1, s.
-3, -1, s
Let y = 43 - 39. Put y, 2, -16 in descending order.
y, 2, -16
Let d = -16 - -12. Put 3, d, -5 in descending order.
3, d, -5
Suppose 4*r - 24 = -2*x, -5*x - 32 = -4*r - 3*x. Sort -1, -2, r.
-2, -1, r
Let o = -91/72 + 8/9. Let p = 0.9 - -0.1. Put o, -5, p in descending order.
p, o, -5
Let m = 15 - 15.09. Let s = 5.41 - 5. Let r = m - s. Sort r, -2/13, -1/7 in descending order.
-1/7, -2/13, r
Suppose -7*r = -2*r - 10. Suppose r*c = 3*c + 2*u - 7, -c + u + 1 = 0. Let v(o) = -o**2 - 5*o - 3. Let i be v(-5). Put c, 2, i in increasing order.
i, 2, c
Let c = -0.05 + 0.85. Let z = -0.9 + c. Let r be 3/(2/(-4)*-2). Put 4, z, r in descending order.
4, r, z
Suppose 3*h + 5*v - 13 = 1, 2*v = 8. Suppose 4*a = 4 - 16. Put h, a, -5 in descending order.
h, a, -5
Let j be (6/(-3))/(-12 - -21). Put -0.5, j, -0.3, 0.1 in decreasing order.
0.1, j, -0.3, -0.5
Suppose -3*p - 34 = -5*y - 0*p, -p = -3*y + 18. Suppose -4 = -3*f - 1. Let j(x) = -4*x - 22. Let l be j(-5). Sort l, f, y in descending order.
y, f, l
Let a = 5 + -10. Let g be ((-100)/30)/((-1)/(-3) - 1). Put g, a, -3 in decreasing order.
g, -3, a
Let g = 21 - 19. Sort -0.1, g, 1 in increasing order.
-0.1, 1, g
Let g(y) = 15*y**2 + 7*y + 4. Let q be g(-4). Let r = -1084/5 + q. Sort 1/6, r, 3 in decreasing order.
3, 1/6, r
Let n(q) = 2*q + 10. Let i(z) = -z**2 - 2*z + 2. Let j be i(-4). Let y be n(j). Let k be ((-6)/8)/(2/(-8)). Put y, -4, k in decreasing order.
k, y, -4
Let w = 38 - 43. Put 3, w, -4 in ascending order.
w, -4, 3
Let m be (-2)/((-4)/(-2)) - -3. Suppose 0 = 3*r - 0*r - 9. Put m, 4, r in descending order.
4, r, m
Let q = -12.9 + 13. Put q, -3, -5, -0.3 in descending order.
q, -0.3, -3, -5
Let h = 1038/7 + -148. Let j = 5 - 2. Let g = 0.28 + 0.02. Sort h, j, g in decreasing order.
j, g, h
Suppose f = 6 - 3. Let b = -8 + f. Sort -2, b, 0 in decreasing order.
0, -2, b
Let z(a) = a + 12. Let q be z(-8). Let y = q - 6. Sort 2, -1, y in increasing order.
y, -1, 2
Let d = 18 + -20. Put d, 5, -4 in increasing order.
-4, d, 5
Let c(s) = 22*s**3 + s**2 + s + 1. Let t be c(-1). Let i = t + 17. Sort 1, 2, i in increasing order.
i, 1, 2
Let g = 1 + -0.9. Suppose 5*b + 1 + 4 = 0. Put -5, g, b in decreasing order.
g, b, -5
Suppose y = -2*y + 3. Let x be (-1 - -1)/(2 + -1). Let b be 0/(x - (-2)/(-1)). Put b, y, -1 in descending order.
y, b, -1
Let t be (-36)/6*2/(-3). Suppose 2 = -4*s - 2. Put s, -3, t in descending order.
t, s, -3
Let l = -1 + 0. Suppose 3*o - 5*d - 6 = -2, 5*o + 2*d - 17 = 0. Suppose u + h - 10 = o*h, 5*u - 2*h - 10 = 0. Put 2, l, u in increasing order.
l, u, 2
Let k(m) = -m - 4. Let r be k(-3). Sort 3, 2, r in ascending order.
r, 2, 3
Let q(g) = -2*g**3. Let c be q(1). Sort -7, c, -4.
-7, -4, c
Let j = -96/119 + 4/17. Suppose -2*q + 4 = -3*s, -10 = 5*s - s - 5*q. Suppose -3*h + h = s. Put 1/4, h, j in descending order.
1/4, h, j
Suppose -h + 0*t = 3*t - 10, 5*h - 16 = 2*t. Sort 4/7, h, -1/2.
-1/2, 4/7, h
Suppose 2*d = -5*c - 13 - 5, c + 6 = -d. Let o = 0.1 - -3.9. Put c, o, 0.3 in decreasing order.
o, 0.3, c
Suppose 0 = -0*t + 5*t - 25. Suppose -t*v + 8 = -7. Suppose 3*x = -5*o + 4*x - 16, v*x + 12 = 0. Sort 1, -1, o.
o, -1, 1
Let f(z) = -z**2 - 7*z + 26. Let n be f(3). Sort 5, n, -1, 3 in ascending order.
n, -1, 3, 5
Let p = -0.76 + 0.56. Sort 3/2, -9, p in decreasing order.
3/2, p, -9
Let f = -25 - -21. Let l = 2 - 1. Sort f, 2, l in ascending order.
f, l, 2
Let u(o) = o - 13. Let q be u(9). Let d = 6 - 5. Suppose 0 = -w, 0*j - j - d = -w. Sort j, 2, q.
q, j, 2
Let o = -959 + 33561/35. Let r = 114/385 + o. Let x be (4/15)/(24/(-20)). Put r, x, -2/3 in ascending order.
-2/3, x, r
Suppose -z + 3*h = 3 - 4, z = -3*h - 5. Sort 0, -1/5, z, 0.4 in ascending order.
z, -1/5, 0, 0.4
Suppose -l + 3*k + 5 = 0, k + 2 + 1 = 0. Sort 4, -2, -3, l.
l, -3, -2, 4
Let w(i) = i**3 + 6*i**2 - 8*i - 6. Let v be w(-7). Let h be v*(1 + 4 + 0). Put 3, h, 2 in decreasing order.
h, 3, 2
Suppose 10 = 5*f + 3*j, 5*f - j - 8 = 22. Sort 0.5, -2/9, f, 3.
-2/9, 0.5, 3, f
Suppose -o = 4*t + 4*o - 35, -5*t = 2*o - 31. Sort -4/5, -5, t, 1/2.
-5, -4/5, 1/2, t
Let j = -0.04 - 0.36. Let p = 10 - 1. Suppose -5*n - 35 = -4*f - 2, 2*f = n + p. Sort 1/2, j, f in descending order.
f, 1/2, j
Let r(m) = m - 2. Let j be r(0). Suppose -3*s = s - 8. Put s, -0.02, j in descending order.
s, -0.02, j
Let d = 11 + -16. Let n be (-6)/(-27) - d/(-63). Sort n, -2/19, -2 in decreasing order.
n, -2/19, -2
Let w = -16/7 + 89/42. Let a = -5.4 + -1.6. Let r = a + 4. Sort w, 1/2, r in decreasing order.
1/2, w, r
Suppose 0 = -13*c + 9*c - 20. Sort 4, c, -2 in descending order.
4, -2, c
Suppose 1 = -5*y + t - 3, -16 = -4*t. Suppose 3*c - 12 = -c. Sort c, y, -4 in descending