, t, -3
Let f be ((-15)/12)/(1/4). Let u be ((-4)/f)/((-4)/20). Let o be (-1 - -3)/(-2)*3. Put o, 5, u in increasing order.
u, o, 5
Let s = 185 + -184. Put s, 17, -5, 3 in ascending order.
-5, s, 3, 17
Let v = -116 - -116. Let w = 4 - 2. Put w, v, -8 in ascending order.
-8, v, w
Let p be 2/(-5) + 88/20. Put 2, -3, 5, p in descending order.
5, p, 2, -3
Let r = 101 + -94. Sort r, -0.5, -2/5, 3 in descending order.
r, 3, -2/5, -0.5
Let p = 4 - 6. Suppose 2*f - 12 = -m, m - 35 = -5*f - 4*m. Sort p, f, -1.3 in descending order.
f, -1.3, p
Let x be 11/2 + (-3)/2. Suppose 4*l = 2*l + x. Put 4, -5, l in decreasing order.
4, l, -5
Let i = 3 + -1. Let u = 25 + -105/4. Put u, i, 0.7 in decreasing order.
i, 0.7, u
Let s(z) = z**3 - 10*z**2 + 8*z + 11. Let j be s(9). Let y be (-4)/(-3) + 1/(-3). Let h = y - -3. Put -2, h, j in increasing order.
-2, j, h
Suppose -19*k = -17*k + 2. Sort k, -8, 0 in descending order.
0, k, -8
Suppose 4*a - a = 3. Sort a, -5, 0.5 in increasing order.
-5, 0.5, a
Let k(i) = -i**3 - 6*i**2 + i + 4. Suppose -4*p = -5 + 29. Let o be k(p). Let z be ((-1)/(-3))/(1/(-3)). Sort 3, o, z.
o, z, 3
Let z be (-2)/((0 - -1)*-1) - 2. Put z, -1, 3 in decreasing order.
3, z, -1
Let g = 0.1 - -1.9. Let q = -0.05 - -3.05. Let l = q - g. Sort -1/5, l, 2 in descending order.
2, l, -1/5
Let q(c) = c**3 - 5*c**2 - 7*c + 7. Let b be q(6). Let z be 4*b - (3 + -1). Suppose -o + 5*o + 9 = d, -z*d = -5*o - 9. Sort 3, 4, d in decreasing order.
4, 3, d
Suppose 0 = j + j + 22. Let l = 8 + j. Let d = -9/10 - -2/5. Put 0, d, l in ascending order.
l, d, 0
Let o = -3 + -6. Let d = -5 - o. Let k = -3 + 3. Put d, 5, k in descending order.
5, d, k
Let b = -5 - -3. Let j = -9 + 3. Let h = b - j. Sort h, -0.1, 5 in ascending order.
-0.1, h, 5
Let y be 1/(44/(-12) + 4). Sort -3, 6, y, 0.
-3, 0, y, 6
Let t = -0.24 + -2.76. Put -0.13, 3/7, t, 0.1 in descending order.
3/7, 0.1, -0.13, t
Let i be ((-6)/4)/(15/20). Put i, -11, -3 in descending order.
i, -3, -11
Suppose 8*x - 4*x - 12 = 0. Let l = -9 + 16. Suppose l = x*n + 16. Put -5, 2, n in decreasing order.
2, n, -5
Let d = -1235 - -6137/5. Let k = d - -332/45. Let o = 41/270 + 2/135. Put 2/5, o, k in decreasing order.
2/5, o, k
Let b be 1*(2 + -4)*-1. Suppose b*x = 3*h - 13, 7*h - 19 = 3*h + x. Put h, 2, -4 in decreasing order.
h, 2, -4
Suppose 1 = -4*g - 15. Put 0, g, -5 in decreasing order.
0, g, -5
Let t be 2/11 + (-80)/77. Let f = 3/28 + t. Put f, -1, -0.4 in ascending order.
-1, f, -0.4
Suppose 72 - 64 = 2*o. Put o, -4, -2 in ascending order.
-4, -2, o
Let b be (2 + -3)/((-1)/(-4)). Suppose 16 = -8*y + 8. Sort b, y, -2/3 in decreasing order.
-2/3, y, b
Let x = 0.09 - -16.91. Put x, -1/7, 0 in decreasing order.
x, 0, -1/7
Suppose 5*r - 5 - 5 = 0. Let d = r - 3. Sort -3, 0, d in decreasing order.
0, d, -3
Suppose -25 = 2*i + 5*b, -3*b - 24 = 2*i + i. Let a = 13 - 2. Suppose -5*o + a = 4*k, -2*k + 3*k + 4 = o. Sort i, o, 5 in decreasing order.
5, o, i
Let w(p) = -p**3 - 3*p**2 + 6*p + 5. Let z be w(-4). Let c be 1 + ((-27)/12 - (-1)/4). Sort c, z, 1 in ascending order.
z, c, 1
Suppose 0 = 5*t - 18 - 7. Suppose j + o = 8 + 27, 0 = j - t*o - 5. Let m be (4/j)/((-2)/(-3)). Sort -0.2, -4, m in increasing order.
-4, -0.2, m
Let k(l) = l - 10. Let p be k(6). Sort 8, p, -5 in descending order.
8, p, -5
Let j = -3.1 - -4. Let l = j - 0.6. Sort l, 0, 5 in decreasing order.
5, l, 0
Let j be 114/27 - (-2)/(-9). Let m(t) = 2*t - 3. Let i be m(2). Let n = 2 - i. Sort -4, n, j in decreasing order.
j, n, -4
Let z = 4 + -1. Suppose 5*n - 26 = -2*j + 5*j, 0 = -2*n - 4*j. Let b = 0 + n. Sort b, -3, z.
-3, z, b
Let b(f) be the second derivative of f**4/12 - 3*f**3/2 + 2*f**2 - f. Let r be b(8). Sort -5, -2, r in increasing order.
-5, r, -2
Suppose 0*h = -3*h + 9. Suppose -d + h*t = t + 4, 3*t - 6 = 4*d. Suppose 0 = 3*o - 4*a - 3, 26*o - 2*a + 1 = 27*o. Put o, 5, d in increasing order.
d, o, 5
Let u = -3 + 3.12. Let b = u - -4.88. Sort 0.1, b, -1 in decreasing order.
b, 0.1, -1
Let l = -7 - -9. Suppose 0 = -k + 3*k + l*y - 12, 5*y - 5 = 0. Suppose 2 = -k*f + 22. Sort -0.1, -5, f in descending order.
f, -0.1, -5
Let q = -0.47 + 0.07. Let p = q - 0. Let z = p - -0.8. Sort z, -0.1, -0.3 in descending order.
z, -0.1, -0.3
Let t = -10 + 10. Sort t, 5, 4 in ascending order.
t, 4, 5
Let d = 2 + -4. Let t be 3*(-3)/9 - -4. Sort t, d, 5 in descending order.
5, t, d
Let s be ((-4)/12)/(2/(-6)). Sort s, 0, 4 in decreasing order.
4, s, 0
Let z = 0.08 - 1.08. Let f = z - -0.6. Sort -2/3, 0.2, f in descending order.
0.2, f, -2/3
Let x(m) = -m - 3*m + 0 + 0 - 4. Let n be x(-2). Let q = 0.1 + -0.3. Put q, n, 2/3 in increasing order.
q, 2/3, n
Suppose -2*j = -0*j - 12. Let z be (-6)/(-21) - (-1552)/5628. Let h = z + 2/201. Put j, h, 0.1 in decreasing order.
j, h, 0.1
Suppose -5*u + k + 20 = -4*k, 20 = 5*u + 5*k. Suppose o - 9 = g - 3*o, 23 = -5*g - 2*o. Put g, u, 1 in decreasing order.
u, 1, g
Let l be (-1)/12 - 7/(-21). Sort -2, l, -3 in ascending order.
-3, -2, l
Suppose 0 = 5*p - c + 10 - 31, 3*p - 3*c = 15. Suppose 3*r + r = 32. Put p, -1, r in descending order.
r, p, -1
Let r = -104 + 103.6. Sort r, -3/5, -0.2 in ascending order.
-3/5, r, -0.2
Suppose -9 = u - 2*s - 0*s, -s - 3 = u. Let p be (4/(-15))/((-4)/10). Put 3, u, p in increasing order.
u, p, 3
Let m = 16 - 12. Suppose -5*c - 2 = 8. Put m, 5, c in descending order.
5, m, c
Let x = -1.16 + 1.56. Put x, 2/7, -19, -2 in increasing order.
-19, -2, 2/7, x
Let u be 16/10 - (-2)/5. Let g be 3/(-8) + 39/104. Suppose -3*h + 15 = -g*h. Put h, -3, u in decreasing order.
h, u, -3
Let r(t) = 2*t + 12. Let l be r(-5). Let v be -7 + 5 + 6/l. Put -4, v, -5 in increasing order.
-5, -4, v
Let p(y) = -y - 2. Suppose 2*r = -3*o - 5, -8 - 9 = -r + 5*o. Suppose 0 = r*g - g - 2. Let j be p(g). Sort -3, j, -2 in decreasing order.
-2, -3, j
Let x = -56.5 - -56. Put 3, -2/9, -1, x in ascending order.
-1, x, -2/9, 3
Let j = 26 - 30. Let t = 13257/20 - 663. Let v = -2/5 - t. Sort v, -2/3, j in increasing order.
j, -2/3, v
Let y = 0.04 + -2.04. Sort y, 1/2, 1 in increasing order.
y, 1/2, 1
Suppose 0 = -3*m + 7*m - 72. Let a be (m/32)/(6/(-8)). Suppose -5*c = 2*i + 16, 0 = -2*c - 3*i + 4 - 6. Sort c, a, -0.4 in descending order.
-0.4, a, c
Let x = 0.4 - 0.4. Let j = 0 - x. Let u = -9 + 10. Sort u, -3/2, j in increasing order.
-3/2, j, u
Suppose -2*y = 8*y + 270. Sort 4, 3, -4, y in descending order.
4, 3, -4, y
Suppose -4*x = 5 + 7. Suppose a - 20 = -4*a. Suppose -5*c + a*s - 8 = 0, 6 = -3*c + 3*s - 0. Put x, c, -5 in increasing order.
-5, x, c
Let y(z) = z**3 - 4*z**2 + 3*z + 4. Let a = 9 + -6. Let q be y(a). Sort q, 2, -0.3 in descending order.
q, 2, -0.3
Suppose 0 = -i + 3*t - 8, 3*i + 5*t = -i + 19. Suppose -j = 2 - i. Suppose 4*k + 3 = 3*k. Put -4, k, j in increasing order.
-4, k, j
Suppose w - 30 = -5*w. Put 2, -2, w, 3 in ascending order.
-2, 2, 3, w
Let v be (-3)/(-2 - 21/(-6)). Let r be (3 - v/(-1))*-1. Let u(i) = -5*i**3 + i**2 + 2*i + 1. Let p be u(r). Sort p, 1, 3 in decreasing order.
p, 3, 1
Suppose -4*y = -2*y - 22. Suppose 0 = -2*u - 3*d + 6 + y, u - d - 6 = 0. Let x = u - 5. Put -5, x, -1 in ascending order.
-5, -1, x
Let r = -406 + 6904/17. Sort -0.2, r, 2/9, 1/3.
-0.2, r, 2/9, 1/3
Let z(v) = -v**2 - 15*v + 33. Let s be z(-17). Let q = 7 + -12. Sort -1/7, s, q in ascending order.
q, s, -1/7
Suppose -2*t + 0*i + 2 = -3*i, -5*i + 6 = -t. Put -5, t, 2 in decreasing order.
t, 2, -5
Let v = 0.2 - 0. Let s be 58/(-30) - (-3)/5. Suppose -2*u + 3 = -3*u. Sort v, u, s in decreasing order.
v, s, u
Let x = -18 + 18. Put -5, 1, x in increasing order.
-5, x, 1
Let l be 1 + (2 - 0)/2. Let o be l + -2 - (0 - 0). Sort o, 3, 1 in decreasing order.
3, 1, o
Let z be 9*((-12)/(-9))/(-1). Let b = 11 + z. Put b, -4, 0 in increasing order.
-4, b, 0
Let z = 23 + -23.02. Let y be 3/2*544/(-54). Let q = y - -686/45. Put q, -4, z in descending order.
q, z, -4
Let s = 4 - 0. Let j be s/(-8)*0/1. Suppose j*y = -y. Sort -4, 5, y.
-4, y, 5
Let z = 0.036 - -4.964. Put z, 4, 1/4, -0.4 in descending order.
z, 4, 1/4, -0.4
Let n = 38 + -41. Put 3, n, -1 in decreasing order.
3, -1, n
Let k be (-1)/1 - (-1 + -97). Suppose k - 9 = -4*w. Let n be (-4)/w + (-6)/33. Put n, 3, 1 in descending order.
3, 1, n
Let r = -274/3 + 91. Sort r, 8, 