. Let m = 6 - u. Sort m, 1/3, 1 in increasing order.
m, 1/3, 1
Let f(x) = -x**2 + 16*x + 12. Let k be f(17). Sort 1, k, -6 in descending order.
1, k, -6
Suppose -5*v - 3*t = -18, v - 3*t - 22 = t. Suppose 0*q = -q. Sort v, q, -2 in descending order.
v, q, -2
Suppose -2*f = f. Suppose 0*x = x - 3. Sort x, -1, f in increasing order.
-1, f, x
Let f = -238/335 - 6/67. Sort -2/11, 2/3, f in ascending order.
f, -2/11, 2/3
Let j = 87/133 - 7/19. Let a = 0.2 - 0.7. Sort -1/9, a, j.
a, -1/9, j
Let h(i) = i**2 - 11*i + 28. Let a be h(8). Put 1, a, 2 in ascending order.
1, 2, a
Let t(z) = 9*z + 2. Let y be t(2). Suppose y = -5*a - 0*a. Sort -5, 1, a.
-5, a, 1
Let y = -0.041 - -0.441. Put 1/9, -2/9, 3/2, y in descending order.
3/2, y, 1/9, -2/9
Let g be (-48)/(-22) + 2/(-11). Suppose 6*d + 24 = 4*v + 2*d, -g = v + d. Put -4, v, 1 in increasing order.
-4, 1, v
Let x = -0.09 - 0.21. Sort -1, -2/3, x.
-1, -2/3, x
Let o = 0.25 + -3.25. Let r = -2.99 - 0.01. Let c = o - r. Put -3/8, c, 0.1 in descending order.
0.1, c, -3/8
Let d = -0.08 + 3.08. Let y = -4 + d. Put y, -2, -2/15 in descending order.
-2/15, y, -2
Let x = 4 - 0. Let n = -0.4 + -1.6. Let m = n - 0. Sort m, 2/11, x.
m, 2/11, x
Let l(z) = 3*z**3 + 2*z**2 - 2*z + 1. Let r be l(1). Suppose r = f + 1. Sort f, 1, 0 in ascending order.
0, 1, f
Let k = 54 + -58. Sort 1/6, 5, k, -1.
k, -1, 1/6, 5
Suppose 3*u + 25 = -2*u. Suppose -30 - 10 = 5*p. Let q = p - -11. Sort 0, q, u in descending order.
q, 0, u
Let x be 63/(-14)*(-4)/9. Suppose x*l = -3*q - 21, 5*l - 2*q + 25 = -4*q. Suppose 0 = -2*b + 6, 9 = -4*n + 5*b - 2. Sort l, n, -0.1 in descending order.
n, -0.1, l
Suppose 0*f = 5*f. Let w be 3 - ((-12)/(-3) - 1). Suppose l + w*g - 13 = 3*g, 0 = -2*l + 3*g + 14. Put l, f, -3 in increasing order.
-3, f, l
Let i be (-1)/(12/16 - 1/(-4)). Let g = 4 - 6. Let l be -2*5*g/4. Sort i, l, 2 in descending order.
l, 2, i
Let y = -18.98 - -19. Let x = 288 - 290.98. Let t = x - y. Put -3/4, t, 0.3 in decreasing order.
0.3, -3/4, t
Let u = 4 + -3.6. Let y = -6032/645 + 4/215. Let z = y - -9. Put z, u, -3 in decreasing order.
u, z, -3
Let v be 0 + 1 - (-12 + 16). Put 0, v, 3, 5 in descending order.
5, 3, 0, v
Let l = 103 + -103.4. Suppose 2*i + 4 + 2 = n, 0 = -i - n + 3. Put i, 0.13, l in ascending order.
i, l, 0.13
Suppose 3*a + 3*s - 3 = 0, -a - 3*a - 2*s = 0. Let j(t) = -t**3 - 4*t**2 - t - 2. Let p be j(-4). Let y be -5*3*p/(-10). Put y, 2, a in decreasing order.
y, 2, a
Let o(w) = 2*w**3 + 4 + w + 6*w**2 + 4 - w**3. Let u be o(-6). Let s be (-2 + 7/u)*-2. Sort 4, s, 3 in increasing order.
s, 3, 4
Suppose -5*k - 1 = -3*c, -2*k - c - 1 + 5 = 0. Let q(m) = -m**3 + 27*m**2 + 2. Let v be q(27). Sort v, k, -8 in increasing order.
-8, k, v
Let g = 36 + -32. Sort 7, -3, g in ascending order.
-3, g, 7
Suppose d - 4*d = -15. Put 1/5, 0.3, d, -5 in descending order.
d, 0.3, 1/5, -5
Suppose -3*f = 6 - 3. Sort 3, -20, 0, f.
-20, f, 0, 3
Let m(w) = 0 - 1 + 2 - w. Let n be m(2). Let q = -4 - n. Sort 0, -2, q in increasing order.
q, -2, 0
Suppose -o - 4*l + 25 = 0, -65 = -5*o + l - 24. Suppose 2*h - 4*s - o + 1 = 0, -4*h + 4 = -4*s. Sort -0.1, h, 0.4.
h, -0.1, 0.4
Suppose 6*i = 1127 - 101. Let v = i + -1537/9. Sort v, -5, 3 in increasing order.
-5, v, 3
Let c = 35/2 + -17. Put -3/7, -5, c in decreasing order.
c, -3/7, -5
Suppose -5*m + 3*u = -m + 19, 5*m + 3*u - 10 = 0. Let y be 4 - m/(-1) - -1. Sort 1, -5, y in increasing order.
-5, 1, y
Suppose x + 7 = 3. Let i = -5 + 9. Suppose -2*t + 2*n + 1 + 1 = 0, 5*n = t - 9. Put x, i, t in increasing order.
x, t, i
Let t = -2 + 5. Let w be -2 + -6 - 12/(-4). Sort t, w, 0.
w, 0, t
Let o = -20 + 24. Let c be (-1 - -3)*2/o. Let a = -0.1 + -0.9. Sort c, a, 1/7 in descending order.
c, 1/7, a
Let i = 62 - 36.9. Let u = i + -25. Let r be 1 - (-7)/(-10)*2. Put r, 1, u in descending order.
1, u, r
Suppose 17 = -w + 21. Sort w, -4, 0.4, 3 in descending order.
w, 3, 0.4, -4
Let o = -3.05 - -3.1. Sort 4, -2, o.
-2, o, 4
Let z be (-28)/10*(-145)/58. Sort -1, 1, 2, z in descending order.
z, 2, 1, -1
Let c be (1 + -3)/((-2)/98). Suppose 4*d - c = 2*l - 14, 4*d - 44 = l. Let r be 15/l*8/(-18). Sort -2/7, 1/5, r.
-2/7, r, 1/5
Suppose 0 = -5*o - 1 - 9. Suppose -3 = -2*f + 1. Let p = f - 3. Put o, -3, p in ascending order.
-3, o, p
Let c = -125 - -185. Let y = 9 - 6. Let j be y/1 + c/(-21). Put -1, -5, j in ascending order.
-5, -1, j
Suppose -14 - 18 = 4*q. Let x be 0/(6/2)*1. Sort q, x, -4 in descending order.
x, -4, q
Let z = -15.7 - -15.67. Sort 0.2, -1/10, -1/6, z in decreasing order.
0.2, z, -1/10, -1/6
Let i(b) = b**2 - 8*b + 8. Let y be i(6). Let v(t) = t**3 - 9*t**2 + 10*t - 12. Let s be v(8). Let n = s + -6. Put 3, y, n in increasing order.
y, n, 3
Suppose -o + 10 = o. Let y be (-2)/o + (-2)/(-5). Put 5, y, -2 in ascending order.
-2, y, 5
Let r = -0.18 + -0.42. Sort 5, r, 1/3 in increasing order.
r, 1/3, 5
Let v = -13 + 9. Sort -3/10, 4, v in decreasing order.
4, -3/10, v
Let u = -256/159 - 3/53. Let c = -12.7 + 13. Let w = c + 0.7. Sort u, w, 5 in increasing order.
u, w, 5
Suppose 14 = -0*p + 2*p - 5*z, 5*p + 4*z = 2. Suppose 2*v = -v + p*q - 20, 5*v + 24 = q. Suppose -4*t - 3*w - 3 = -1, 2*t + 4 = -3*w. Sort -5, v, t.
-5, v, t
Suppose -12 = -4*y + y. Suppose -g + y = 0, 3*q - 3*g = 2*q - 8. Suppose 5*d - 2*d = 0. Sort d, -2, q.
-2, d, q
Suppose -3 - 9 = 4*u - 2*n, -2*u + 3*n = 2. Let d(g) = -1 - 2 - 3*g**2 - 2*g**2 - g**3 - 5*g. Let l be d(-4). Put l, -3, u in descending order.
l, -3, u
Let o = 5 - 7. Let j(p) = p**2 - 4*p. Let l be j(5). Suppose -5*f = -l*k + 30, -k + 2*k - 2 = -3*f. Put o, 4, f in descending order.
4, f, o
Suppose -2*a = 3*w - 5*w, 0 = 3*a - 2*w - 4. Let q = a + -3. Let n = -1 - -1. Sort n, 2, q in ascending order.
n, q, 2
Let p = 69 + -65. Sort -0.34, p, 1/4, 3 in decreasing order.
p, 3, 1/4, -0.34
Suppose -1 + 21 = -4*p. Let t be (-126)/(-15) - 2/5. Suppose 0 = -3*q + 5*l + 8, 0 = 5*q - 3*l - t. Sort 2, q, p in increasing order.
p, q, 2
Suppose -6*a - 16 + 10 = 0. Sort a, 0.5, 2/11 in ascending order.
a, 2/11, 0.5
Suppose 2 + 2 = -4*n - 3*j, 0 = n + j. Suppose -1 = -d + 4. Put 2, n, d in decreasing order.
d, 2, n
Let c(j) = -j**2 + 3*j - 1. Let a be c(2). Let g = -11 + 10. Sort -0.06, g, a in decreasing order.
a, -0.06, g
Let j be 1 - (3/(-3) + 0). Suppose -j*u - 20 = -4*k - 2, 3*u = k - 2. Suppose 2*z = -1 + 5. Sort z, u, -2.
-2, u, z
Let s = 0.25 - 0.05. Let q = -16 - -21. Sort s, q, 1.
s, 1, q
Let q = -0.04 + 0.06. Let n = 0.32 - q. Put 1/4, n, 0 in decreasing order.
n, 1/4, 0
Let p(s) = -s + 7. Let j = 9 + -3. Let z be p(j). Let x = -11 - -15. Sort x, 0, z in decreasing order.
x, z, 0
Let j(i) = i**2 + 4*i + 1. Let c be j(-2). Let a = -8 - c. Suppose -12*k + 7*k + 5 = 0. Put a, k, 5 in ascending order.
a, k, 5
Let h = 89 - 89. Sort -3, h, 1/10, 3/7 in descending order.
3/7, 1/10, h, -3
Suppose 12*y = 16*y. Suppose 3*p - 17 = 5*c, y*p - p + 3*c + 11 = 0. Put -4, p, 3 in descending order.
3, p, -4
Let i be -4 + 5 + (-45)/39. Let p = 0.6 + -0.4. Sort 3, i, p in decreasing order.
3, p, i
Let r = 1707/11 - 155. Let m = -2.9 - 0.1. Let z = m - -3.5. Sort r, z, -2/23 in decreasing order.
z, r, -2/23
Let i = -3.43 + 3.3. Let s = i - -0.33. Sort s, 5, -0.2 in increasing order.
-0.2, s, 5
Let g = -7.4 + 7.5. Sort 0, 0.2, 1/3, g in decreasing order.
1/3, 0.2, g, 0
Let b(f) = -f + 10. Let m be b(12). Put 0, -5, m in increasing order.
-5, m, 0
Let m = 354 + -2474/7. Put 2/9, m, -2 in increasing order.
-2, 2/9, m
Let c be (10/(-4))/(4/(-8)). Let n be (6/c)/((-6)/(-20)). Suppose -t = -i - 1 + 3, -2*i + n = 2*t. Put 1, t, -2 in ascending order.
-2, t, 1
Let m = -9782 + 67840/7. Let w = m - -91. Let s = -0.5 + -0.5. Sort -1/2, s, w in decreasing order.
w, -1/2, s
Let p = 1.2 + -2.2. Let o = 3 - p. Put 0.2, 5, o in descending order.
5, o, 0.2
Let x = -1 - 0. Let s = 5 + -3. Suppose 0 = 4*q + 3*t + 21, 2*q - s*t = t + 3. Sort x, -5, q in decreasing order.
x, q, -5
Let y = 6 - 4. Let l = -3 - y. Let p be 20/6 + (-2)/6. Put l, 5, p in decreasing order.
5, p, l
Suppose -d = -2*d + 1. Let y(t) = -t**2 + 12*t - 24. Let l be y(9). Sort d, -1, l in decreasing order.
l, d, -1
Let z = -23.28 - -24. Let c = z + -0.8. Let t = 0.08 + c. Sort -2/11, 1/3, t.
-2/11, t, 1/3
Let m(f) = f + 19. Let r be m(-