-15, -4, v
Let r = 21 - 19. Let q be (-14)/(-8) - r - -1. Sort -5, q, 1 in increasing order.
-5, q, 1
Suppose -12 = -4*c - 0. Let z = 6 - c. Suppose 0 = y + 2*y + z. Put -2, y, -5 in increasing order.
-5, -2, y
Suppose -13*k + 261 - 92 = 0. Let b = -0.2 - 0. Put -3, k, b in ascending order.
-3, b, k
Let c = 13 + -18. Put 4, c, -2 in increasing order.
c, -2, 4
Let v be 1/1 + -3 + -4. Sort v, -4, 0 in ascending order.
v, -4, 0
Suppose -n + 4*n = -12. Put 5, -9, 0, n in decreasing order.
5, 0, n, -9
Let n(f) = -5*f - 55. Let s be n(-10). Put -2, s, 1 in increasing order.
s, -2, 1
Suppose -3*c + 27 = 4*g, c - 3*g = 5*c - 29. Let n(a) = a - 4. Let l be n(c). Let u be (-2)/(4 + 30/(-9)). Sort u, 4, l in descending order.
4, l, u
Suppose -p = 3*p + 13*p. Let z = -2 + -2. Sort 1, z, p.
z, p, 1
Let l(x) = 7*x - 32. Let g be l(4). Put -5, -6, g in decreasing order.
g, -5, -6
Let x(t) = t**3 - 12*t**2 + 20*t - 9. Let r be x(10). Sort 3, 5, r in descending order.
5, 3, r
Suppose 3 = f - 2. Let o be 2 - (2 + 0 + -2). Sort 0, o, f.
0, o, f
Let y = -63/2 - -32. Let n = 143/540 + -2/135. Let z = -3 - -7. Put z, y, n in increasing order.
n, y, z
Let o be 0 - (-1)/(-1)*-1. Let m = 0 + 5. Let j = -3.7 - -4. Sort o, j, m.
j, o, m
Let i(p) = -p**3 + 3*p**2 - 3*p + 1. Let z be i(2). Let x = 2 + z. Put 3, -4, x in descending order.
3, x, -4
Suppose 5*d + 2*j - 26 = -2*j, -d + 10 = 2*j. Let c be d/(-5) - (-21)/15. Suppose 7*o = 3*o + 8. Put o, c, 0 in decreasing order.
o, c, 0
Let c(n) = -n - 11. Let k(r) = -5*r**2 + 2*r. Let l be k(-2). Let x = l + 14. Let d be c(x). Sort d, -2, -3 in decreasing order.
d, -2, -3
Let u(y) = 5*y. Let o be u(3). Let j be ((-12)/o)/((-26)/5). Sort -2/5, j, 0 in increasing order.
-2/5, 0, j
Let n be (1 - 1)/(-3 - -4). Sort 5, n, 4 in descending order.
5, 4, n
Let l = -1206/7 - -172. Let w = -0.3 - 2.7. Sort -1/3, l, w in decreasing order.
l, -1/3, w
Let f = 0.14 + -0.54. Let o be (-1)/(-4) - 2/8. Let p = -1/11 + -7/44. Put p, o, f in descending order.
o, p, f
Let d be 66/8 + (-2)/8. Let c be (-5 - -2)*d/6. Let q = 3 + 1. Sort c, -3, q.
c, -3, q
Let i(n) = 12*n**2 + 2*n + 1. Let s be i(-1). Suppose -2*u + b = -s, 2*u - 4*b = u + 9. Sort -1/3, -0.5, u in decreasing order.
u, -1/3, -0.5
Let u = 13.62 - -1.78. Let w = -15 + u. Sort w, -2/3, 0.04 in ascending order.
-2/3, 0.04, w
Let f = 2 - 5. Let w = f - 0. Let a = -215 + 214.5. Sort w, 5, a.
w, a, 5
Let d = 2.3 + -2.41. Let g = -0.12 + -16.88. Let x = g - -15. Put x, 3/8, d in ascending order.
x, d, 3/8
Let f be (-1)/(-1)*(-3)/(-1). Let r(k) = -25*k - 48. Let b be r(-2). Sort b, f, -5 in decreasing order.
f, b, -5
Let u be 2/4*(11 + -15). Put u, -4, 3 in increasing order.
-4, u, 3
Let u = -129/2 - -66. Let w = 1/78521 + -4475788/7145411. Let a = -10/13 - w. Sort a, u, 3 in decreasing order.
3, u, a
Let a = 14 - 5. Suppose 5*n + 11 = -a. Sort n, 1, -3 in descending order.
1, -3, n
Let r = -13.8 - -14.3. Put -0.1, 3, r, -5/4 in increasing order.
-5/4, -0.1, r, 3
Let c = 5 - 10. Let h = c + 9. Sort -0.5, h, -4 in ascending order.
-4, -0.5, h
Suppose 2*v + 7 = v. Let b = 11 + v. Put -5, 2, b in descending order.
b, 2, -5
Let l = 26 - 31. Sort -3, l, -1 in ascending order.
l, -3, -1
Let s be ((-4)/12)/(2/(-18)). Sort s, -4, -3 in decreasing order.
s, -3, -4
Suppose -2*y - 2*m = 4, 4*y + 7 = 2*m - 1. Let b(s) = s**2 - 4*s. Let h(l) = l - 2. Let w be h(7). Let x be b(w). Put x, -1, y in descending order.
x, -1, y
Let x = 2 - -1. Let y = 0.6 - -1.4. Put -0.1, y, x in ascending order.
-0.1, y, x
Let z = 11 + -10.9. Let s = z - -0.4. Put -1/6, 3, s in increasing order.
-1/6, s, 3
Let g = 42 + -62. Let u be 20/(-3)*24/g. Put u, -5, -1 in increasing order.
-5, -1, u
Let w(c) = c**2 + 3*c + 3. Let y be w(-2). Suppose -10 = -3*k - 2*f, k = f - 2*f + 5. Let x = 27 - 25. Sort y, x, k.
k, y, x
Let h = 14 - 14.4. Put -0.1, 0.04, h, -2 in descending order.
0.04, -0.1, h, -2
Let i = -0.02 + 0.32. Let d = 10.97 + -11. Let p = d + -0.37. Sort i, p, 1 in increasing order.
p, i, 1
Let m(h) = -h**2 + 4*h + 3. Let b be m(4). Suppose 2*q = q - b. Put q, -1, 2 in decreasing order.
2, -1, q
Let y = -0.04 - -6.04. Let x = y - 5.5. Let c = 0.4 - x. Put -3, c, 0 in descending order.
0, c, -3
Suppose -2*v - 7 = -4*p + p, 4*v + 19 = p. Let m = -0.07 + 3.07. Let f = m + 1. Sort 0.3, f, v in descending order.
f, 0.3, v
Let c = 1 + 0. Let w be (-7)/((-126)/(-8)) - (-2)/(-9). Put w, c, -4 in increasing order.
-4, w, c
Let i = -0.132 + -0.468. Sort -0.4, -14/9, i.
-14/9, i, -0.4
Let i = -18 + 18.5. Sort 0.4, 2/13, i in descending order.
i, 0.4, 2/13
Let g = -43 - -46. Put 0, -5, -6, g in descending order.
g, 0, -5, -6
Suppose -s - 2 = -4. Suppose -s*g - 5*u - 1 = 0, 3*u + 1 = g - 2*g. Let p = 0.954 + 0.046. Sort g, p, -1/6.
-1/6, p, g
Let t = -24.1 - -24. Put 0.12, t, 0.4, 5 in ascending order.
t, 0.12, 0.4, 5
Let u = 34 - 137/4. Put u, 3, -5/4 in decreasing order.
3, u, -5/4
Suppose -5*h = -2*u + 23, 3*u - 4*u - 2*h = 11. Sort -5, -12, u.
-12, -5, u
Suppose 4*t = 4*o + 12, -t - 4*o + 4 = 3*t. Let m(c) = -c**3 + 3*c**2 + 2*c - 2. Let a be m(3). Suppose -a*v - 8 = -0. Sort -1, t, v in increasing order.
v, -1, t
Let h(p) = -p**2 - p + 8. Let s be h(-3). Sort 0, -4, s in descending order.
s, 0, -4
Let n = -4 - 1. Suppose 2*d - 6 = -v - 15, 5*d = 5*v. Sort d, 4, n.
n, d, 4
Suppose 10 = -5*a - 10. Sort 3/7, a, -1 in decreasing order.
3/7, -1, a
Let z = -0.31 + 0.3. Let a = z + -1.99. Let g be (-1*(-4)/10)/2. Put 2, g, a in ascending order.
a, g, 2
Let a(n) = n**2 + 9*n + 10. Let u be a(-8). Sort 4, 5, -5, u.
-5, u, 4, 5
Let u be 2/(-54)*-38 + -1. Let g = -2/27 + u. Let z = -0.15 - -0.65. Put -3, z, g in decreasing order.
z, g, -3
Let h = 0.6 - 0.9. Let k be 14/(-6) + (-3)/(-1). Let s = 2 + -1.8. Sort h, s, k.
h, s, k
Let a = -823510/7077 + -65/1011. Let q = 116 + a. Let h be ((-3)/1)/(-6) - 0. Sort -1, q, h in decreasing order.
h, q, -1
Let m = -3.3 + 3.2. Sort -2/11, m, -5 in descending order.
m, -2/11, -5
Suppose -4*p + 3*q - q + 28 = 0, -3*p - q + 11 = 0. Suppose -3 = i - 1. Let c(g) = -g**3 - 5*g**2 + 7*g + 7. Let k be c(-6). Sort k, p, i.
i, k, p
Suppose 0*o = -4*o + 48. Let d = o - 16. Put 1, d, 5 in ascending order.
d, 1, 5
Suppose 0*i - 19 = -i - 4*y, 4*y = 5*i + 1. Let w be -3*i/((-9)/2). Put 3, w, 0 in ascending order.
0, w, 3
Let b = -1.07 - -0.07. Put 6, -3, b in decreasing order.
6, b, -3
Let b = -917/6 + 153. Sort -0.3, b, 0, -1/8 in increasing order.
-0.3, -1/8, 0, b
Suppose 21 = 3*w + 2*l - 4, 0 = -3*w - l + 23. Let j be (1 - 2) + -6 + w. Suppose 0 = -5*d - 5 - 0, -6 = -k + 3*d. Sort 1, k, j in increasing order.
j, 1, k
Let l = -6 + 6. Suppose 2*i - 3*i = l. Suppose i = 4*n + n. Sort n, -5, 1 in ascending order.
-5, n, 1
Let j = 25 + -25.5. Let f = -1 + 2. Put j, 3, f in descending order.
3, f, j
Suppose 0 = -2*h + 4*r - 0*r + 2, 2*h - 1 = 5*r. Suppose h*t + t - 152 = 0. Let k be (-4)/(-18) + t/(-9). Sort k, -1, 0 in decreasing order.
0, -1, k
Let i = -44 - -574/13. Put -3, i, 0 in decreasing order.
i, 0, -3
Let c = -18.9 + 19. Sort 0.2, -2/13, c in descending order.
0.2, c, -2/13
Let i = -0.08 + -2.32. Let w = i + 2. Let l = -0.2 - -0.4. Sort l, 4/5, w.
w, l, 4/5
Let q = -15 - -19. Sort -4, -1, q.
-4, -1, q
Suppose 2*d + 9 = -4*m - 9, -23 = 4*m + 3*d. Let p be 1*(0 + m) + -85. Let q = p + 611/7. Sort 0, -0.3, q in ascending order.
-0.3, 0, q
Let x(n) = n + 10. Let d be x(-6). Let t(a) = a**3 + 5*a**2 - 6*a - 31. Let h be t(-5). Sort d, h, 6 in increasing order.
h, d, 6
Let z be 41/(-21) + (-14)/42. Sort -0.3, -0.1, -4/7, z in ascending order.
z, -4/7, -0.3, -0.1
Let x = -67/15 + 24/5. Put x, -1, 0.5 in descending order.
0.5, x, -1
Suppose -3*n = w - 4*n - 1, 2*n = -w + 7. Suppose -w*s + 40 - 391 = 0. Let x = s + 817/7. Put -4, 0, x in descending order.
0, x, -4
Let o = 101 + -90. Sort -0.1, -2, o in decreasing order.
o, -0.1, -2
Suppose -9 - 7 = 4*a. Sort -5, a, -2 in descending order.
-2, a, -5
Let a(i) = -i**3 - 5*i**2 + 3*i - 14. Let j be a(-6). Let g be 2/3 - j/6. Suppose 3*p - 5*p + 6 = 0. Sort p, g, -2.
-2, g, p
Suppose 3*j + 21 = -4*s + 3, -s = -3*j - 3. Sort 0.5, s, 1/5 in decreasing order.
0.5, 1/5, s
Let z be 1 - 2/(-2)*-1. Let o be 3 + z + -6 + 7. Let c = -17/3 + 5. Sort -0.5, o, c in descending orde