et h be (2/(-4)*1)/2. Suppose 0 = -5*p + 8 + 12. Put l, p, h in increasing order.
h, l, p
Let u = -21.02 + 21. Put u, -0.5, -4 in ascending order.
-4, -0.5, u
Let u = -13 + 8. Let h be (0/(-3 - -2))/2. Suppose -4*p + p - 6 = h, -4 = 2*c - 2*p. Sort c, 2, u in increasing order.
u, c, 2
Let a = 24 - 21. Sort a, 4, -0.06 in decreasing order.
4, a, -0.06
Let n = -36 + 38. Let g be 60/14 - 6/21. Sort n, g, -1 in decreasing order.
g, n, -1
Let c(o) = -o - 4. Let l be c(-3). Let w = 0 - l. Suppose q = -0*q - w. Put -3, -2, q in ascending order.
-3, -2, q
Let l be 2/4*(-4)/(-5). Sort -1/4, 1, l, -5 in decreasing order.
1, l, -1/4, -5
Let y(f) = 4*f**3 + f**2 - 1. Let x be y(-1). Put x, -1, -2 in descending order.
-1, -2, x
Suppose -10 = 4*w + 2. Let q = 23.9 - 5.1. Let m = q - 19. Put 0, w, m in decreasing order.
0, m, w
Let r = -12 - -13.6. Let b = -1.4 + r. Sort -0.3, -5, b.
-5, -0.3, b
Let k = -127 + 126. Put k, -4, -3 in descending order.
k, -3, -4
Let t(f) = -4*f. Let p be t(-1). Put -10, 3, 5, p in ascending order.
-10, 3, p, 5
Suppose -u + 0*j - 12 = -5*j, 3 = -u + 2*j. Let m be u/6*4*-1. Put 8, -5, m in decreasing order.
8, m, -5
Let m = 10 + -6. Suppose -4*a = 5*b - 14 + 9, 4*a = -4*b. Put -1, m, a in ascending order.
a, -1, m
Let j be 4*((-2)/36)/1. Let b be -1 - 3*1/(-5). Let r(u) = u**3 - 15*u**2 + 16*u - 27. Let p be r(14). Sort b, p, j.
b, j, p
Suppose 4*i - 6 = 2*i. Suppose -i*k + 2*k = 0. Sort 5, 1, k.
k, 1, 5
Let g = 18 - 8. Sort g, -5, -4 in descending order.
g, -4, -5
Let r = 62 - 188/3. Put r, 2, 0.3 in decreasing order.
2, 0.3, r
Suppose -4*x - 4*p + 32 = 0, 4*p = x + 8*p - 23. Let h(b) = b**3 - 5*b**2 + 5*b - 2. Let m be h(3). Sort x, 4, m in decreasing order.
4, x, m
Let o(f) = -f**3 + 6*f**2 + f. Let n(j) = j**2 - 4*j + 6. Let h be n(4). Let d be o(h). Suppose d = -0*x - 2*x. Put 0.5, x, 2 in increasing order.
x, 0.5, 2
Let f(u) = 2*u**3 - 4*u**2 - 5*u + 2. Let j(b) = -b**3 + b - 1. Let l(d) = f(d) + 3*j(d). Let i be l(-3). Sort i, 1, 0 in decreasing order.
1, 0, i
Let q = -25 + 174/7. Sort q, -2/5, 2/11.
-2/5, q, 2/11
Let y(s) = -s**2 - 4*s - 3. Let q be y(-3). Suppose q = 2*d - 3*d - 5. Sort d, 2, 3 in increasing order.
d, 2, 3
Let n be (-2)/(-3)*2 + (-2)/(-3). Put 4, n, -1 in increasing order.
-1, n, 4
Let s = 0.0939 - 4.0239. Let w = 0.07 - s. Put 0.5, w, -0.5 in descending order.
w, 0.5, -0.5
Let k = -83 + 70.6. Let y = -12 - k. Let u = -10 - -15. Sort u, y, 4 in decreasing order.
u, 4, y
Let h = 195 - 219. Sort h, -3, -4.
h, -4, -3
Let z = 9.4 + -15.4. Sort -0.5, z, -0.3.
z, -0.5, -0.3
Let x be (-1)/2*1/(-4). Let c be ((-8)/18)/2 - (-315)/(-405). Sort x, 0.4, c in descending order.
0.4, x, c
Suppose 9 = -5*p + 2*p. Suppose 2*m = 4*o - 44, -4*m = -5*m + 5*o - 37. Let g be (-3*1)/(m/(-16)). Put g, 2, p in decreasing order.
2, p, g
Let r(c) = -2*c - 15. Let p be r(-10). Let n(d) = d**2 - 5*d + 5. Let y be n(p). Let m(l) = l - 1. Let k be m(1). Put -3/2, k, y in ascending order.
-3/2, k, y
Let o = 32 + -17. Let r(i) = 4*i**2 + 4*i + 2. Let n be r(-2). Let h = o - n. Sort 1, h, 2 in ascending order.
1, 2, h
Suppose 0 = 3*r - 6*r + 15. Let m(b) = b**2 - 5*b + 2. Let x be m(r). Suppose 5*d + s - 1 = 0, -d + x - 3 = -s. Put d, -5, 5 in ascending order.
-5, d, 5
Let s(f) = -f - 2. Let b be s(-5). Let i be 148/(-111)*(-3)/2. Put i, b, 5 in descending order.
5, b, i
Suppose -5*s + s = 4*j - 28, 5 = 3*j - s. Suppose -v + 6 = -m, -m + 21 = v - 5*m. Let c be v/(-4) - (-92)/240. Sort j, -2, c in decreasing order.
j, c, -2
Let c = -0.7 - -0.4. Let h be -15*((-8)/6 + 2). Let o = h + 10. Put o, 4, c in descending order.
4, o, c
Let a = 0.11 - -1.29. Let q = -0.6 - a. Let i(h) = -h**3 + h**2 - 2*h + 3. Let m be i(2). Sort m, 3, q in increasing order.
m, q, 3
Suppose 36 = 5*m + 11. Suppose m*s - 2*z + 21 = 8, 0 = -3*s + 3*z - 15. Let r = 0.5 - 0.5. Put s, -1/7, r in descending order.
r, -1/7, s
Suppose -w - 14 = -10. Sort -13, w, -2.
-13, w, -2
Let v = -0.34 - -0.04. Put v, 1/2, -1/4 in descending order.
1/2, -1/4, v
Let u be 90/27 - (2 + 2). Put -2, 2/5, u in increasing order.
-2, u, 2/5
Let x = 5 + -5.4. Put x, -2/11, -1/6, -0.1 in ascending order.
x, -2/11, -1/6, -0.1
Let i(c) = -c**2 + 8*c - 9. Let u be i(6). Suppose u = -w - 0. Put w, -4, -4/7 in descending order.
-4/7, w, -4
Let w be 1/(4/40)*-2. Let v = -18 - w. Put 3, v, -4 in decreasing order.
3, v, -4
Let f = 5.9 + -6. Let k = 2 + -4. Put k, -5, f in decreasing order.
f, k, -5
Let s be ((-6)/(-14))/((-5)/(-7)). Put -3, 0, s in descending order.
s, 0, -3
Suppose -4*c - 6*r - 41 = -r, -c - 5*r = 29. Let o = 388 + -383. Sort o, c, -0.3.
c, -0.3, o
Suppose w + 8 = 5*w. Sort 1, w, 0, -2 in ascending order.
-2, 0, 1, w
Let x = 14 - 9. Suppose 2*o - x*b = -8, 3*o - 4*b + 8 = o. Suppose 0*j = -j + 4*p - 18, 3 = 4*j - p. Sort 1, j, o.
o, 1, j
Let j = 82 - 81.9. Put -2/11, -0.2, j in descending order.
j, -2/11, -0.2
Let v = -9 - -5. Let o be ((-14)/v)/(-7)*6. Sort 3, o, -0.4 in increasing order.
o, -0.4, 3
Let z(o) = -o**2 - 7*o - 4. Let n be z(-7). Put 7, n, 2 in descending order.
7, 2, n
Let r(q) = -q - 16. Let o be r(-12). Let a = 11 - 16. Put o, -3/2, a in decreasing order.
-3/2, o, a
Suppose -4*d + 4*p + 12 = 0, d - 5*p - 2 + 3 = 0. Let a be -4 + (2 - 1)*-1. Put d, 5, a in descending order.
5, d, a
Let o = 0.46 + -5.46. Put o, 0.5, 10, -4 in ascending order.
o, -4, 0.5, 10
Suppose 2*x = -x - 12. Let r be 225/60 - 1/x. Put -4, 1, r in descending order.
r, 1, -4
Let t(s) = -s**3 + 17*s**2 + 19*s + 4. Let l be t(18). Put l, -1/3, -5 in descending order.
l, -1/3, -5
Let p(h) = -h**2 - 10*h - 5. Let t be p(-9). Let m = 3 - 1. Sort -5, t, m.
-5, m, t
Let g(p) = -p - 2. Let s be g(-1). Put -3, -2, s in decreasing order.
s, -2, -3
Let k be 63/77 - (-6)/33. Put 5, 4, k, -2 in increasing order.
-2, k, 4, 5
Let r(k) = -k + 8. Let f be r(4). Suppose -9*v - 2 = -10*v. Sort 2/11, v, f in increasing order.
2/11, v, f
Let q = -7 - -3. Let d = 3 - 3.5. Sort d, 5, q in ascending order.
q, d, 5
Let p = 0.1 - 0.2. Suppose -2*n = 2*j - j - 101, -2*j - n = -193. Let q be (-4)/10 - (-28)/j. Sort q, p, 3 in decreasing order.
3, p, q
Let z be 2*2/8*0. Suppose 13*u - 8*u = z. Sort u, 3, 4.
u, 3, 4
Let i be (-56)/21*(-9)/(-6). Let m be 1*-1*1 - -1. Sort m, -5, i in descending order.
m, i, -5
Suppose h + 4 = -2. Suppose 0 = -t + 2*t - 5. Let k = t + h. Sort k, -3, -2 in descending order.
k, -2, -3
Let y = 0 - 0. Let v = 0.2 - y. Let s = -0.04 - -0.54. Put -4, s, v in ascending order.
-4, v, s
Let i = 4.2 + -5. Let y = -1.2 + i. Let l = 1.4 + 0.6. Sort -3, y, l in descending order.
l, y, -3
Suppose 4*j + 2 - 10 = 0. Let s be 4/(-6)*15/j. Sort 4, -2, s in ascending order.
s, -2, 4
Let u = -48.1 + 48. Sort u, 0, -3/11.
-3/11, u, 0
Let g be (-12)/8*8/(-6). Let c be 27/85 + (-2)/10. Let y = -7 - -10. Sort c, g, y.
c, g, y
Let b(f) = -f**3 - 5*f**2 + 7*f + 3. Let s be b(-6). Let p = s + 2. Suppose 0*a + 15 = 5*a - r, r - 21 = -4*a. Sort -5, p, a in ascending order.
-5, p, a
Suppose 0 = 6*j - 2*j - 20. Suppose 3*k + 12 - 2 = -4*y, 0 = 2*k + y + j. Put 3, k, 4 in descending order.
4, 3, k
Suppose 29*d + 216 = 11*d. Put d, -4, 4 in increasing order.
d, -4, 4
Let w = -15.07 + 15. Let g = 0.93 - w. Put g, -0.1, -5 in descending order.
g, -0.1, -5
Let f = 1.4 + 0.6. Let o = f + -3. Let t be 1/3*1 + 1. Sort t, -1/5, o in decreasing order.
t, -1/5, o
Let y = -79 + 106. Sort y, -4, 1 in descending order.
y, 1, -4
Let j = 0.032 + -0.032. Let l = 0.1 - 0.1. Let r = 0.1 - l. Put r, -3, j in decreasing order.
r, j, -3
Let w = 0.8 + -1.1. Let a = 2.3 + w. Put 5/3, a, 1 in decreasing order.
a, 5/3, 1
Let m be (4/(-6))/(4/(-30)). Suppose 6*f - 26 = 8*f. Let d be 2/m + f/(-5). Sort 1, -3, d in descending order.
d, 1, -3
Let s = 0.7 - -0.3. Let j be 21/(-28) + (-50)/(-88). Put -2/13, j, s in decreasing order.
s, -2/13, j
Let u be (-54)/18*(0 - -1). Suppose -12 = v - 5*v. Put -2, v, u in descending order.
v, -2, u
Suppose 0 = -6*d + 5*d + 20. Let o = 46 - d. Let h be (-1)/(-3) - o/6. Put -5, h, -1 in descending order.
-1, h, -5
Let d = 0.03 + 10.97. Let y = -6 + d. Sort y, -1/2, -5/4 in ascending order.
-5/4, -1/2, y
Suppose 3*m - 31 = 4*r, 5*m + 3*r - 11 = 2. Put -0.2, m, 1 in descending order.
m, 1, -0.2
Let m = -1.6 + 2. Sort 1/12