
-3, v, r
Let s = -4.6 - -5. Put 3/4, s, 2 in descending order.
2, 3/4, s
Let w = -1.5 - 0.1. Let t = 2.4 + w. Put 1/2, 3, t in increasing order.
1/2, t, 3
Let b be 1 - (1 + -2) - -2. Suppose -2*k + 0*k = 0. Suppose 2*f = -k*f - 10. Put b, f, -4 in decreasing order.
b, -4, f
Let x = 38 - 40. Let i = 12 - 12. Put 5, x, i in descending order.
5, i, x
Let k = 17 + -20. Sort k, -5/2, 8 in decreasing order.
8, -5/2, k
Suppose 0 = -0*i + 2*i - 8. Let p = -5 + i. Sort p, 8, -4.
-4, p, 8
Let t = -1 - -6. Suppose 0 = t*k - 6 - 4. Sort k, 1, -4 in descending order.
k, 1, -4
Let g = 7.93 + 0.07. Let c be (-8)/6*(-1)/2. Sort c, 2/9, g in decreasing order.
g, c, 2/9
Let d be 9/4 + (-6)/(-8). Suppose -3*o + s = 0, 5*o = o - d*s - 13. Put -5, -3, o in ascending order.
-5, -3, o
Let q(s) = s - 5. Let d be q(6). Suppose -3*j = 4 - d. Sort j, -3, 4.
-3, j, 4
Suppose -4*v - 10 - 14 = 0. Let g(a) = a + 3. Let q be g(v). Let d be 5 + -5 - -1 - 0. Sort q, d, 2.
q, d, 2
Let o = 0.18 - -0.02. Let s be (6/(-4))/((-39)/(-52)). Put s, o, -0.2 in decreasing order.
o, -0.2, s
Let c = 7.4 - 7. Let q = -3.8 - -4. Put 5, q, c in decreasing order.
5, c, q
Suppose 4*b + 4 = 4*p, p + 4*b + 15 - 6 = 0. Suppose 3*c - 8 = 7. Let x be 0/((-4)/6*3). Put p, x, c in decreasing order.
c, x, p
Let z be ((-6)/(-28))/((-6)/(-8)). Let c = 0.28 + 0.02. Let o = -0.7 + c. Sort o, 0.4, z in increasing order.
o, z, 0.4
Let v = 0 + -7. Let p = 1.8 - -9.2. Let o = p + v. Sort 3, 0.4, o in decreasing order.
o, 3, 0.4
Let v = -0.01 + -0.09. Put -3, -2/7, v in increasing order.
-3, -2/7, v
Let r be -3 - -3 - 4/(-26). Put 1/3, r, -1 in descending order.
1/3, r, -1
Let m = -1/7 - 5/14. Sort m, 2/11, 1 in increasing order.
m, 2/11, 1
Suppose -5*v - n + 27 = 3*n, v + n - 6 = 0. Suppose -8 = 4*a - 2*m, 0 = -4*a - 3*m - 2*m - 22. Sort 5, a, v in increasing order.
a, v, 5
Let i be 1/((-5)/(-3) + -2). Let z be 16/4*(-3)/(-6). Sort i, z, -0.5 in descending order.
z, -0.5, i
Suppose 12*c + 37 = -35. Put 7, -4, c in descending order.
7, -4, c
Suppose 5*b + 9 = -1. Sort b, 2, 5 in descending order.
5, 2, b
Let z be ((-3)/1 + 4)*4. Let b be (12/(-10))/(z/(-10)). Let s(g) = g. Let w be s(2). Put w, 4, b in decreasing order.
4, b, w
Let c be 2/8 - 14/(-8). Let q = 8 - 2. Let s = 7 - q. Sort c, s, 4 in descending order.
4, c, s
Suppose 7*g + 22 = 2*s + 3*g, 4*g + 24 = 4*s. Let t be 42/(-135) + s/5. Sort -4, t, -1/6 in increasing order.
-4, -1/6, t
Let a = -0.5 + 0. Let f = -475 + 478.03. Let b = -0.03 + f. Put b, a, -4/7 in descending order.
b, a, -4/7
Let n = 21 + -10. Sort n, 0, 1 in increasing order.
0, 1, n
Let u = -102 + 97. Sort 5, 1, u, -14 in descending order.
5, 1, u, -14
Suppose 0 = -5*h - v - 24, 0 = -4*h + 3*h + 2*v - 7. Sort 5, h, 14 in decreasing order.
14, 5, h
Let l = 17 + -11. Suppose 0 = 3*g + l + 6. Sort g, 3, -1 in decreasing order.
3, -1, g
Let m = 15 - 9. Suppose -3*i + 0*i = m. Let w be (i/(-5))/((-5)/50). Sort w, 1, 0 in descending order.
1, 0, w
Let h = 15 - 12. Let g = -0.3 - -0.1. Let z = 0.7 + -0.2. Sort h, g, z.
g, z, h
Suppose -5*f - m + 18 = m, 2*f - 2*m + 4 = 0. Let b be (2 - f)*(-1)/2. Let c be -18 + 18 - (3 - 1). Sort -5, c, b in decreasing order.
b, c, -5
Let l be (120/(-105))/((-2)/7). Let u be (-10)/35 - 2/(-7). Put u, -1, l in decreasing order.
l, u, -1
Let x(d) = -d + 7. Let r be x(-16). Let h = r - 19. Sort -4, h, 2 in increasing order.
-4, 2, h
Let z = 1.5 + 0.5. Suppose -7*m + 15 = -2*m. Put -2/5, m, z in increasing order.
-2/5, z, m
Let y = -9 + 4. Let t(u) = -u - 1. Let i be t(y). Sort i, -5, -2 in increasing order.
-5, -2, i
Let m be 18/12*(-20)/(-6). Suppose 2*x - 4 = -0. Suppose -x*i = 2*i - 8. Sort i, -5, m.
-5, i, m
Let p be (4 + 315/(-6))*-2. Let i = p - 872/9. Sort 7, 0.4, i in ascending order.
i, 0.4, 7
Let r = -25 - -20. Sort -4, 3/5, r in ascending order.
r, -4, 3/5
Let l(s) = s**3 - 6*s**2 + 5*s + 3. Let h be l(5). Sort 0, -3, h in decreasing order.
h, 0, -3
Let p be ((-6)/(-4))/((-3)/(-8)). Suppose v + 6 = 2. Put v, 3, p in descending order.
p, 3, v
Let s = 56.6 + -51. Let y = s + -6. Let h = -4 + -1. Put y, h, -0.5 in ascending order.
h, -0.5, y
Let a be 6/3 - (-3)/(-1). Sort -5, 3, -2, a in decreasing order.
3, a, -2, -5
Let p = -49 + 45. Put -2, p, -14, 1 in increasing order.
-14, p, -2, 1
Let q = -4 - -9. Sort 4, q, -5 in decreasing order.
q, 4, -5
Let j(q) = -q**3 + 5*q**2 - 2*q - 3. Let n = 1 - -3. Let c be j(n). Sort 2, -5, c.
-5, 2, c
Let s = 0.404 - -0.096. Put -1/3, 3/7, 2/5, s in descending order.
s, 3/7, 2/5, -1/3
Let i = 1 - -2. Let d = i - -8. Sort -5, 0, d in descending order.
d, 0, -5
Suppose -5*b + 48 = 5*d + 3, -3 = -b - 3*d. Let y = b + -7. Sort y, 2, 4 in increasing order.
2, 4, y
Let g = -11 + 0. Let y = -9 - g. Sort y, -5, 3 in descending order.
3, y, -5
Let c = 22 + -27. Sort -1, -3, c, 0.5 in ascending order.
c, -3, -1, 0.5
Let b = -8 + 10. Sort 4, 0.2, b in increasing order.
0.2, b, 4
Let b = -4 - -4. Suppose 2*g = 5*v - b*v - 5, 0 = -g - 5. Let s = v - -3/2. Put 0.3, s, -5 in increasing order.
-5, 0.3, s
Suppose -5*y - 10 = 5*t, 3*t + 4 = -3*y + 2*t. Let m = y - -6. Suppose 0 = 5*q - 0 + 5. Sort q, -5, m in increasing order.
-5, q, m
Let k(j) = 3*j + 3. Let s be k(-2). Suppose 2*c - c + 7 = 0. Put c, s, 2 in decreasing order.
2, s, c
Let k = -32 + 32. Put k, -3, 1 in decreasing order.
1, k, -3
Let a = -5.7 + 6. Let f = 0.1 - 0.02. Let t = -0.18 + f. Sort a, t, 0.1 in descending order.
a, 0.1, t
Let y = -1.7 + -1.3. Put -2, -1, y in ascending order.
y, -2, -1
Let t be 11/(-2)*4/15. Let z = -9/5 - t. Let q = 13 - 13. Sort q, z, -2 in descending order.
q, z, -2
Let k = -5.05 + 5. Let m = k + -0.35. Put -1, 0.4, m in increasing order.
-1, m, 0.4
Let k be 5/(-2)*(-1)/(-5). Let s(l) = l**3 + 4*l**2 - 2*l. Let i be s(-5). Let a be i/(-21) + 15/(-35). Sort a, k, 5/3 in descending order.
5/3, a, k
Suppose -6*f + f = 0. Suppose -3*n - n = l - 18, -3*l + 6 = f. Let c be (-26)/7 + n/(-14). Sort -0.3, 2, c in decreasing order.
2, -0.3, c
Suppose 0 = -3*r - 5*j + 4, 0*j = 5*r + 4*j + 2. Put r, 1, -3 in decreasing order.
1, r, -3
Let f = -80 - -77. Put -2, -1, f in descending order.
-1, -2, f
Let a be (-2)/3 + (-8)/(-3). Let g(u) = -u. Let f be g(10). Let i be 8/18*(-5)/f. Sort a, i, 1.
i, 1, a
Let b = 384 + -387. Let l(y) = 0*y + 0 + y - 4. Let m be l(3). Sort 0, m, b.
b, m, 0
Let h be (2/6)/((-1)/(-21)). Suppose -2*q - 7 = 4*p + h, 3*p + 11 = -2*q. Let k(v) = -v**2 + 4*v + 25. Let l be k(7). Sort l, p, 1.
p, 1, l
Let t(a) = a**3 + 5*a**2 + a + 3. Let b be t(-5). Suppose 8 = 4*v - 2*v. Let s be 1/(-3 + (-64)/(-20)). Sort s, v, b in ascending order.
b, v, s
Let l = 0.04 - 0.44. Suppose 5*g - 5 = -k, 0 = 4*g - 5*k + 13 + 12. Suppose 2*i - 2 = s - 2*i, s - 3*i + 1 = g. Sort l, 1, s in descending order.
s, 1, l
Suppose 3*x + 6 = 5*x. Put -9, -2, -5, x in ascending order.
-9, -5, -2, x
Let l = 9.19 - 0.19. Sort 3, l, -2.
-2, 3, l
Let j be 13 + ((-1)/(-6) - 33/(-18)). Put 2, -1, j in increasing order.
-1, 2, j
Let g = -3.93 - 0.07. Let b(m) = 2*m**2 - 7*m + 5. Let f be b(4). Let u be (0 - 2) + f/4. Sort u, -5, g in decreasing order.
u, g, -5
Suppose -3 = -m - 4*l - 4, 11 = 2*m - 5*l. Let b(i) = 2 - 2 + 2 + 2*i**2 - 3*i - 4*i**2 + i**3. Let f be b(m). Put f, 4, -3 in descending order.
4, f, -3
Let r be 24*(5 + 69/(-12)). Suppose -2*c = -25 + 7. Let w be c/(-27) + (-2)/r. Put 2, -1, w in descending order.
2, w, -1
Let q = -14.75 + -0.25. Let v = -11 - q. Put 0.3, 1/7, v in ascending order.
1/7, 0.3, v
Let s be 2/(-13) + (-72)/39. Put 0.2, s, 2 in descending order.
2, 0.2, s
Let c(t) = -t**2 + 3*t. Let f be c(4). Sort 0.1, -9, f in ascending order.
-9, f, 0.1
Suppose 4*a = -4*f, 0 = 5*a - 3*f + f + 7. Put 2, -5, 5, a in decreasing order.
5, 2, a, -5
Let t = -58.01 - -0.01. Let p = t + 57.57. Let j = -0.03 - p. Sort 2, 3/8, j in increasing order.
3/8, j, 2
Let h be ((-4)/(-2) - 2)/(-1). Let j be ((-4)/(-18))/((-2)/(-6)). Let d = -3 + 4. Put d, h, j in increasing order.
h, j, d
Let z be 2*-1 + 0/(-4). Let c = z + 3. Suppose -5*r + 36 = 4*r. Sort 3, c, r.
c, 3, r
Suppose -2*o + 4*s = 4 + 6, 5 = -3*o + s. Let f be ((-9)/1)/(-2 + 3). Let r = 6 + f. Sort 1, o, r.
r, o, 1
Let j = 51 - 54. Sort 0, -4, 3, j.
-4, j, 0, 3
Suppose -5*v + 2*c - 5*c - 32 = 0, 3*v - 