Let i = 2 - -13. Sort 1, -3, i.
-3, 1, i
Suppose p = 3*x - 14, -2*x + 4*p + 8 = 2*p. Sort 1, -0.1, x, -5 in ascending order.
-5, -0.1, 1, x
Suppose 4*c + 0*c = -20. Let j(v) = 6*v - 1. Let r be j(1). Sort 3, c, r in increasing order.
c, 3, r
Let s be (-18)/6*-1*4/(-18). Put s, -3, -6 in increasing order.
-6, -3, s
Let d(a) = a**2 - 4. Let q be d(-3). Suppose b = 3 - 8. Put b, q, -2 in descending order.
q, -2, b
Let j = 0.5 - 0.5. Let l = j - -0.1. Suppose 5*r + 28 = 3. Put r, l, 0.5 in increasing order.
r, l, 0.5
Let y = -6 - -6. Suppose y*a = -2*a - 4. Let h = a + 7. Sort -4, h, 4.
-4, 4, h
Let v = 0.5 - 0.2. Let i be 5/10*0*(0 + -1). Sort -2/3, v, i in increasing order.
-2/3, i, v
Let c = 0.014 + -4.014. Put 0, -0.4, c, 3 in increasing order.
c, -0.4, 0, 3
Let r = -0.01 + 5.01. Suppose 5*v - 395 = -5*c, 5*v = -3*c - 88 + 335. Let x = -143/2 + c. Put r, 3/5, x in ascending order.
3/5, x, r
Let u = 3.6 - 4. Let q = -0.1 - u. Sort q, -0.5, -2 in decreasing order.
q, -0.5, -2
Let h = 0.1 - -0.1. Let t = -43341 + 3337582/77. Let f = t + -48/11. Sort f, h, 0 in descending order.
h, 0, f
Let c = -0.02 + -2.98. Let q = 0.2 - 0.5. Let j = 3.7 - q. Sort c, j, 3 in increasing order.
c, 3, j
Let z = -162027/5830 - 63/583. Let d = -28 - z. Suppose -2*x + 1 = 7. Sort -1/4, x, d in ascending order.
x, -1/4, d
Suppose -d - 3*d + 20 = 0. Sort d, -4, 4.
-4, 4, d
Let u = -5/24 - -7/8. Suppose -w = -9 - 6. Suppose 2*t + w = 7*t + p, -27 = -t - 5*p. Sort -0.5, t, u in decreasing order.
t, u, -0.5
Let p(a) = a + 2 + 1 + 2*a**2 + 0 - a**3. Let d be p(3). Put d, 1, 0 in increasing order.
d, 0, 1
Let m = -8 - -11. Let z = -3 + 2. Suppose 5*g = 3*g. Sort g, z, m in decreasing order.
m, g, z
Let d = -31/14 - -12/7. Put 4, d, 0.4 in descending order.
4, 0.4, d
Suppose s = -3*s + 8. Suppose -2 = -2*o, -3*p - s = -2*o + 3. Suppose 5*h + 17 = -4*y + 2*h, 5*y - 5*h - 5 = 0. Sort p, -5, y in descending order.
p, y, -5
Let x = -10 - -49/5. Sort 0.5, -2, x.
-2, x, 0.5
Let n = 5 + -7. Suppose 0 = 3*i - 64 + 55. Sort 5, i, n in descending order.
5, i, n
Let z(m) = -3 - 2*m + 3 + 11. Let o be z(8). Let x = -5 - o. Sort x, -4, 2/3 in increasing order.
-4, x, 2/3
Let q = -7 + 10. Suppose -2*u + 0 + 2 = 0. Sort q, u, -5 in decreasing order.
q, u, -5
Let t = -62 + 58. Put 3, 0, t, -5 in decreasing order.
3, 0, t, -5
Suppose -48 = j - 5*j. Let r be 7/(-21) - (-7)/j. Let c = 0.3 + -0.1. Sort c, -2, r in descending order.
r, c, -2
Let s(k) = -k**2 - 2*k + 1. Let b = 2 + -4. Let j be s(b). Sort -1/3, j, 4/7 in descending order.
j, 4/7, -1/3
Let z = -47/2 + 23. Sort z, -0.4, -5/4 in descending order.
-0.4, z, -5/4
Let h = 0.03 + -0.13. Put 1/10, 2/9, h in decreasing order.
2/9, 1/10, h
Let c be ((-6)/(-4))/(2/(-4)). Let k be (6/4)/((-9)/(-12)). Let u be 0 - 0*1/k. Put c, u, -2 in decreasing order.
u, -2, c
Let a = 0.18 - 8.18. Let z = a - -6. Sort -1/3, 4, z.
z, -1/3, 4
Let t = -125 + 3123/25. Let u = -0.2 - 0.8. Put 4, u, t in descending order.
4, t, u
Let j = -7.35 + 7. Let s = -0.05 - j. Put s, -1/5, -1 in descending order.
s, -1/5, -1
Let c = -10.1 - -13.1. Let j be (-1 - 0)/((-4)/3). Sort -5, j, c.
-5, j, c
Let m = -1 - -1.5. Sort 7, m, 4 in increasing order.
m, 4, 7
Let x be (3 - 1)/(6/9). Sort 2, 5, x in increasing order.
2, x, 5
Suppose 0 = -2*u + 4, b = 2*b + 4*u - 13. Let r(h) = -h**3 + 6*h**2 - h + 7. Let s be r(6). Sort b, s, -3 in increasing order.
-3, s, b
Let x(p) = p + 4. Let s be x(-1). Sort -5, 4, s, -3 in increasing order.
-5, -3, s, 4
Let x = -0.072 + 14.572. Let f = 11 - x. Let h = 3 + f. Sort 1, -2/3, h in ascending order.
-2/3, h, 1
Let h = -104 - -98.7. Let d = 5 + h. Let b = 0.1 + d. Put 1/5, -1, b in decreasing order.
1/5, b, -1
Let m = -24 - -25. Let k = 2.01 - 0.01. Let i = m - k. Put i, -0.4, 5 in ascending order.
i, -0.4, 5
Suppose 5*u + 12 = -z - 2, 14 = -4*z + u. Sort -3, z, -1, -11.
-11, z, -3, -1
Let q be (-6)/9 + (-26)/(-21). Let l = -88 + 266/3. Put -0.4, q, l in increasing order.
-0.4, q, l
Let m be 20/(-100) + 21/5. Sort 1, 2, m, -1 in decreasing order.
m, 2, 1, -1
Let x = -66 - -60. Put -1, x, 1 in decreasing order.
1, -1, x
Let c be (-4)/(-21)*(-21)/14. Sort c, 3, -1 in decreasing order.
3, c, -1
Suppose -5*o - 2 = 13. Let f be 15/(-10)*110/(-33). Suppose 0*a - 2*a - 2 = 0. Sort f, a, o in decreasing order.
f, a, o
Let f = 1.1 + -7.1. Let m = 79 + -551/7. Put f, -4, m in descending order.
m, -4, f
Let z = 21 - 17. Sort z, -2, -4 in increasing order.
-4, -2, z
Let y = -0.1 - -0.3. Let q = 13.8 + -17. Let u = 0.2 + q. Put y, u, -1/5 in decreasing order.
y, -1/5, u
Let v be (-6)/4*8/84. Sort 3/5, v, 0.3, -3/4 in ascending order.
-3/4, v, 0.3, 3/5
Let r(v) = -v**3 - 5*v**2 - 3*v + 4. Let h be r(-4). Let w(z) = z**2 - 4*z. Let f be w(3). Sort f, 5, h in descending order.
5, h, f
Let v = -5 + 7. Suppose -3*r + 4*k - 7 = 0, k - 4 = r - 2. Put v, 5, r in decreasing order.
5, v, r
Let o = 0.33 + -0.03. Sort -3, o, 1/2 in increasing order.
-3, o, 1/2
Let n = 0.06 + -2.06. Sort -0.3, n, 1/5 in descending order.
1/5, -0.3, n
Let s = -5 - -3. Let i be s + 8 - (-1)/(-1). Sort i, 0, -3 in decreasing order.
i, 0, -3
Suppose -g + 5*g = 0. Let f be (g/(-2))/(-3 + 4). Suppose -2*i + 7 = 5*p, -4 - 2 = -5*p - i. Sort p, f, -1 in increasing order.
-1, f, p
Suppose -m = 3*m - 5*o + 3, -5*m - 3*o = 13. Let b(k) = -k**3 - 2*k**2 - 2*k. Let j be b(-2). Let w be j - -1*(-2 - -1). Sort m, 2, w in increasing order.
m, 2, w
Let q be ((-3)/18*-1)/(2/(-8)). Sort q, -0.3, -5.
-5, q, -0.3
Suppose 4*u + 7 = -3*f - 2, -5*f = -5. Suppose 4 - 16 = -3*q. Let t = q - 8. Sort u, 5, t in descending order.
5, u, t
Let o(a) = a**3 - 5*a**2 - 5*a + 4. Let w be o(6). Let t be w/65*(0 + -1). Let p = -0.26 - 0.04. Sort 1, p, t in decreasing order.
1, t, p
Let p = -0.1 + 1.1. Sort p, -0.4, 4 in descending order.
4, p, -0.4
Suppose i + 3 + 0 = 0. Sort i, 2, -5 in descending order.
2, i, -5
Suppose 0 = 22*d - 13*d - 45. Put d, -5, -3 in decreasing order.
d, -3, -5
Let k be ((-3)/(15/2))/(40/75). Put -5, k, 0.08 in ascending order.
-5, k, 0.08
Let s = 36 - 19. Let g = -12 + s. Put g, -2, 4 in decreasing order.
g, 4, -2
Let y(z) = -z**3 - 4*z**2 + 3*z - 6. Let a be y(-5). Let q = -79 - -75. Sort -5, q, a in decreasing order.
a, q, -5
Let q = 8 - 5. Suppose 0 = q*v - 5*v - 6. Let y = 25/12 + -83/36. Put -2/5, y, v in ascending order.
v, -2/5, y
Suppose f + 4 = -3*f. Suppose 4*d + 5*j = -3, 0*j + 3 = -j. Suppose -3*b - d*s = -9 - 6, b - 3*s + 7 = 0. Sort b, 0, f in decreasing order.
b, 0, f
Let f = -0.2 - -0.6. Let a = -2 - -3. Put 5, a, f in ascending order.
f, a, 5
Let u be 90/105 + (-4)/14. Sort 1, u, -8 in decreasing order.
1, u, -8
Suppose 3*g - 2*g = 2, g = -3*a - 10. Put 3, 0.1, a in ascending order.
a, 0.1, 3
Let a = -6 - -11. Let z = 0 - -3. Sort -5, a, z in descending order.
a, z, -5
Let y = 2 - 2. Let z = -9/35 + 2/5. Sort z, 2, y in ascending order.
y, z, 2
Let s be 260/6 - 6/(-9). Let t be 1 - 0 - s/(-4). Suppose 3*x + 3*f + t = 0, -3*x - 4*f = -x + 14. Put x, -5, -0.3 in decreasing order.
-0.3, x, -5
Let x(a) = 16 - a**2 + a**2 + 10*a - a**2. Let l be x(11). Put 3, l, -2 in descending order.
l, 3, -2
Let j(g) = g**3 - 11*g**2 + 9*g + 6. Let c be j(10). Put -2, c, 5 in descending order.
5, -2, c
Let r be (0 + -6)*(-4)/6. Let j(c) = -c**3 + 4*c**2 + 7*c + 2. Let l be j(5). Suppose 2*i - l = -4*v, 5 = v - 4*i + 20. Put r, -3, v in ascending order.
-3, v, r
Suppose 0 = -c + 4*c - 2*s + 20, s = 5*c + 31. Let y = -5 - -1. Put y, -3, c in decreasing order.
-3, y, c
Let c = -12 - -7. Sort 0, -3, c in increasing order.
c, -3, 0
Let o(t) = t**3 + 4*t**2 + t - 2. Let s be o(-2). Let f(q) = q**2 - 6*q + 1. Let g be f(6). Sort s, 5, g in descending order.
5, s, g
Let g = -2 - 5. Let o = 7.5 + g. Sort 0.3, 2/7, o in increasing order.
2/7, 0.3, o
Let q = 186 + -183. Sort -2, -1, q, -3.
-3, -2, -1, q
Suppose 3*i - 8*i = -10. Let x be (3/i)/(5/(-10)). Let a be 6*x/(18/4). Sort -1, a, 4 in decreasing order.
4, -1, a
Let t = -139 - -139. Put 4, -9/4, -5, t in increasing order.
-5, -9/4, t, 4
Let v be 0 + 14/8 + (-9)/6. Sort 4, 0.4, v, -2/3 in decreasing order.
4, 0.4, v, -2/3
Let l = 0.5 - -6.5. Let t = -9.2 + 1.7. Let g = t + l. Put g, 1, 0.1 in increasing order.
g, 0.1, 1
Let h be ((-10)/5 - -3) + 0 