 Let a = w - 7. Put 5, 1, a in ascending order.
1, a, 5
Let q be (-64)/(-12) - 16/12. Sort 3, -1, -4, q.
-4, -1, 3, q
Let u = 0.17 - 0.24. Let t = -4.43 + 5. Let b = u + t. Put -0.4, b, -5 in decreasing order.
b, -0.4, -5
Suppose 5*u + 13 = -2*s, u + 4*s = 7*s + 11. Sort -2, -6, u in decreasing order.
u, -2, -6
Suppose 35 + 16 = 4*z - n, 4*n + 72 = 5*z. Suppose -5*p + z + 18 = 0. Suppose 0 = -m - t - p, 2*m - 2*t = m - 3. Sort m, 3, -2 in decreasing order.
3, -2, m
Suppose 2 = 4*q + 14, -2*q - 10 = -2*o. Sort o, 5, -4.
-4, o, 5
Let c = 10 + -15. Let g = 2.94 - -0.06. Let r = g + 2. Put 4, c, r in descending order.
r, 4, c
Let n(m) = -m**3 + 6*m**2 + m - 7. Let c be n(6). Let y(o) = -o - 4. Let r be y(-4). Sort 1, c, r.
c, r, 1
Let w = -3.9 + -0.1. Sort -2, w, 0.4, 2 in ascending order.
w, -2, 0.4, 2
Suppose -p + 5 = 2. Let u = -5 + p. Put -1, u, -4 in decreasing order.
-1, u, -4
Suppose 0 = -2*p - 3*p - 5. Let n(t) = t**2 + 6*t - 11. Suppose -24 = 9*y - 6*y. Let x be n(y). Put x, 0, p in increasing order.
p, 0, x
Let p(z) = -9*z + 2. Let u be p(1). Sort -5, 0, u in descending order.
0, -5, u
Let i = -5 + 0. Let a be (2 - 39/15)*i. Suppose a + 7 = -2*z. Put 3, z, -4 in decreasing order.
3, -4, z
Suppose d + 3*t - 9 - 9 = 0, -2*t + 32 = 2*d. Suppose -5*y - d = 5*m - y, 9 = -3*m - 4*y. Suppose 4*g + 4 = 5*g. Put g, m, -5 in increasing order.
-5, m, g
Let k(u) = 4*u**3 + u - 1. Let g be k(1). Let y(q) = -q**3 + 4*q**2 + 2*q - 3. Let s be y(4). Put -5, s, g in increasing order.
-5, g, s
Suppose -z - 3 = -2*v, 5*z + 0 = 15. Suppose 3 = -2*h + 4*r - r, v*h + 9 = 3*r. Let q = -6 - h. Sort 3, q, 4.
q, 3, 4
Let b = 1129/8 - 141. Put 2, b, -0.5, -0.3 in ascending order.
-0.5, -0.3, b, 2
Let l = -4 - -7. Put -2, l, -1 in descending order.
l, -1, -2
Let m be (-1)/3 + 1/3*10. Sort -1, 28, m in ascending order.
-1, m, 28
Let x = 0.1 - 0.15. Let z = x + 0.65. Let l = z + 1.4. Sort -2, l, -0.2 in descending order.
l, -0.2, -2
Suppose -5*k + 1 + 9 = 0. Put k, -2, 20 in decreasing order.
20, k, -2
Let d(t) = -3*t - 1. Let q(o) = -o**3 + 6*o**2 - 2. Let z be q(6). Let c be d(z). Sort -1, 4, c.
-1, 4, c
Let f = -5 - -6. Let w = 0.8 - f. Sort 2, -2, w in increasing order.
-2, w, 2
Suppose 5 = 5*d - 0*d. Let o = 16 - 21. Sort -1, d, o in descending order.
d, -1, o
Let g = -5 - -10. Let n = -35 + 34.7. Sort g, -4/5, n.
-4/5, n, g
Let q = -16 + 11. Suppose 9 = 5*r + 79. Let d = r + 12. Put q, d, -4 in increasing order.
q, -4, d
Let d = 125 - 130. Suppose 2*k - 13 = 3*w - 1, -5*k - 20 = 5*w. Put k, d, 2 in increasing order.
d, k, 2
Suppose 2*v - j - 11 = 2*j, 3*v = -4*j - 26. Let x(d) = -d + 5. Let m be x(5). Put -5, m, v in ascending order.
-5, v, m
Let o(f) = f**2 + 7*f - 11. Let k be o(-8). Let v = k + 8. Suppose 0 = 3*a - 4*a - 5*b, v*a = 4*b + 29. Sort -3, 3, a in decreasing order.
a, 3, -3
Suppose -3*d - 12 = 2*c - 6*c, -4*d + 4*c - 12 = 0. Sort d, 10, -4, 3 in decreasing order.
10, 3, d, -4
Let b(t) = -2*t - 6. Let q be b(-5). Suppose -1 + 9 = 4*c. Let n be 1/4 - 5/4. Sort q, n, c in decreasing order.
q, c, n
Let d be (-6 - -10)*(1 + -2). Put -1, d, -0.06 in decreasing order.
-0.06, -1, d
Suppose -2*l = -l. Let a(d) = -d - 2. Let f be a(l). Put 2/15, -2/11, f in increasing order.
f, -2/11, 2/15
Let y = 187/18 - 21/2. Put y, 3/4, 1/2 in descending order.
3/4, 1/2, y
Suppose -4*a = -3*a - 7. Suppose -a*t + 10*t = 9. Sort t, 2, -1 in descending order.
t, 2, -1
Suppose 6*l - 4*l = 0. Sort -34, -1, l, 5 in decreasing order.
5, l, -1, -34
Let d = 6 - 16. Let f = 242 - 240. Put 0, f, d in increasing order.
d, 0, f
Let y be (3/(-5))/((-11)/(-165)). Let z = -11 + 6. Put -4, z, y in decreasing order.
-4, z, y
Let w = 1048469/9 - 116320. Let i = w - 177. Let c be (-4)/(-10) + 51/(-15). Sort 5/3, c, i in decreasing order.
5/3, i, c
Let x be -2 + -2 - (-30)/6. Let r = 8 - 5. Sort r, x, 0 in descending order.
r, x, 0
Let b = -34 - -37. Put 2/3, 1, b, -1 in descending order.
b, 1, 2/3, -1
Let q = 0.3 - 0.2. Sort -1, q, 3/4 in increasing order.
-1, q, 3/4
Let p(h) = -h + 7. Let t be p(6). Let c be (1 + 0)/(t/2). Let w(r) = r**2 + 11*r + 14. Let a be w(-10). Put c, a, -3 in ascending order.
-3, c, a
Let y be (18/(-10))/(3/(-15)). Suppose -4*r = -0*x - 4*x - 24, 2*r = -x + y. Put -2, r, 1/2 in ascending order.
-2, 1/2, r
Suppose 3*u = -4*a - 2*u + 45, -2*a - 5 = -3*u. Put 2, -4, a, -2 in increasing order.
-4, -2, 2, a
Let w = -0.6 + 2.6. Let z = w - 2.5. Let q be 0/9 + 1/9. Sort z, -4, q in descending order.
q, z, -4
Let g = 115/78 + 1/39. Let s = -0.12 + -0.08. Put -1, s, g in descending order.
g, s, -1
Let x(p) = p**3 + 9*p**2. Let r be x(-9). Let n = 0 - -4. Suppose 5*d - 2*c = -5*c - 16, 5*c - 35 = n*d. Sort -1, d, r in descending order.
r, -1, d
Suppose 20 = 2*g + 5*l - 15, -2*g + l + 5 = 0. Sort 7, g, 1 in ascending order.
1, g, 7
Suppose 5*c - 3*f = 40, 3*f + 5 = -2*c - 0. Sort 3, 1, c, -6.
-6, 1, 3, c
Let t be 1 + (-18)/10 + 1. Sort t, 2, -0.2.
-0.2, t, 2
Let y = -0.21 + -0.09. Sort -0.5, y, 2/5 in decreasing order.
2/5, y, -0.5
Suppose -l + 72 = 3*l. Let j be 6/56*(-332)/l. Let g = j - -10/21. Sort -3, g, 1.
-3, g, 1
Suppose -10 = -12*g + 7*g. Sort -1, g, 5, -5 in descending order.
5, g, -1, -5
Suppose 0*w - 5*w - 5*r + 185 = 0, -5*r - 103 = -3*w. Let y be (-8)/w - 133/9. Let a be (-2)/(21/y - -1). Put 2, -4, a in ascending order.
-4, 2, a
Let t be (-4)/14 - 96/56. Sort 0.3, -4, t, -3.
-4, -3, t, 0.3
Let v be (-8)/8*2/((-4)/(-6)). Let g be -3*(-1 + 14/6). Sort v, g, 3 in increasing order.
g, v, 3
Let h be (-5)/(-7) - 6/(-21). Suppose 5*j - 15 = 0, 22 - h = -4*z - 5*j. Let c be (2/6)/((-24)/z). Sort -2/3, 4, c in increasing order.
-2/3, c, 4
Let p = -10 + 16. Put p, 3, 4 in increasing order.
3, 4, p
Let g = 8 - 10. Let v be (-6)/4*g/3. Put v, 1/4, 3 in descending order.
3, v, 1/4
Suppose -4*j - 3 - 3 = -y, 0 = 4*y - 3*j + 2. Suppose -5 = r - 1. Sort 1, y, r in increasing order.
r, y, 1
Suppose 4*a + 4*k - 60 = 0, 2*a + k + 1 = 32. Put a, -1/7, -2/7 in descending order.
a, -1/7, -2/7
Suppose -34 = -0*m - 2*m. Let t be (7 - 3)*(-10)/(-8). Suppose -2*z = -3*z - t*o + 15, m = 3*z + o. Put 3, z, 1 in descending order.
z, 3, 1
Let l = -578/5 + 116. Let j = -9/10 + l. Let n be -2 + -1*(-5)/2. Sort j, -4, n in descending order.
n, j, -4
Let q(m) = -m**3 + 6*m**2 + 7*m + 2. Let n be q(7). Suppose -z = -n*s - 10, -z + 18 = 2*s - 6*s. Sort z, 5, -3.
-3, z, 5
Let t = -33 - -19. Let q be 2/3 + t/(-6). Let w(j) = -j**2 - 1. Let i be w(2). Sort q, i, 2 in descending order.
q, 2, i
Let n be (1 - 1)/((-6)/2). Sort 3, 1, -5, n in decreasing order.
3, 1, n, -5
Let i = -2/183 - -392/2379. Let v = -1.1 - -0.1. Sort i, 0.2, v.
v, i, 0.2
Suppose -4*d - 15 = t, 5*t = -d + 5*d + 21. Let n(u) = -5*u**2 - 2*u - 1. Let i be n(-1). Let c = t + i. Put -4, c, 4 in decreasing order.
4, c, -4
Let m = 2.94 - -0.06. Let o be (-4)/6 - (-2)/3. Sort -2/15, m, o in decreasing order.
m, o, -2/15
Let f be (-9)/(-4) + -4 + 2. Sort -1/4, f, -1/5, 0 in descending order.
f, 0, -1/5, -1/4
Let l = 1 - 4. Suppose -2*f + 8 = 12. Sort f, l, 0 in descending order.
0, f, l
Suppose 4*d - 2*b = 22, 4*d + 6*b - 4*b - 2 = 0. Sort -3, -5, d in descending order.
d, -3, -5
Let h = -0.06 - -1.06. Let q = h - 3. Sort 1, -1/6, q in decreasing order.
1, -1/6, q
Let n = -5 + 9. Let t be ((-2)/(-4))/(n/24). Sort 4, 5, t.
t, 4, 5
Let r be (1 - 2)/(2/(-18)). Suppose -2*j = -u - 3, -u - j + r + 0 = 0. Sort -4/3, -2/11, u.
-4/3, -2/11, u
Let w be (-51)/(-24) - 4/(4/2). Let p = -8.14 + 0.14. Let f = p - -7.7. Put 0.2, w, f in decreasing order.
0.2, w, f
Let m = 57 + -62. Put m, -22, 1, 4 in increasing order.
-22, m, 1, 4
Suppose -5*z - 12 = -3*z. Sort -5, z, 0 in ascending order.
z, -5, 0
Let j(p) = 2*p + 24. Let h be j(-13). Let i be (2/(-4))/((-2)/(-16)). Put i, 3, h in decreasing order.
3, h, i
Let r = 90.8 - 162. Let l = 66 + r. Let d = 0.2 + l. Put d, -2/7, 5 in descending order.
5, -2/7, d
Let o = -0.12 + -0.78. Let w = 0.4 + o. Let q = -0.5 - w. Put q, 0.4, 0.1 in descending order.
0.4, 0.1, q
Suppose a = 2*p, -2*a + 3*p = -a. Suppose -x - 3*q - 6 = 0, -2*x - q - 3 = -4*q. Sort x, a, 2 in decreasing order.
2, a, x
Let j = -96 - -84.7. Let q = j - -1.3. Let z = -5 - q. Sort 4, z, 3 in descending order.
z, 4, 3
Let m = 1 + 0. Let 