Sort 3, r, -4 in decreasing order.
3, r, -4
Let p be 2/8 - 115/1196. Let y be (1 + -3)*2/20. Sort p, -1/6, y in increasing order.
y, -1/6, p
Suppose -3*l = l - 48. Let u be -10 - -7 - (-38)/l. Sort -0.5, -2/7, u.
-0.5, -2/7, u
Suppose -8*m - 2 = 6. Let f = 6 + -8. Put f, m, 3/7 in decreasing order.
3/7, m, f
Let s = 3 + -4. Let k = s + 1.3. Let g = 0.1 - k. Sort 4, -0.3, g in ascending order.
-0.3, g, 4
Let b = 0.57 - 0.07. Let u = b + -0.6. Let y = 0.6 + u. Put 5, -2/3, y in descending order.
5, y, -2/3
Let o = 5 - -23. Suppose 8 - o = -5*l. Sort -10, l, 1 in descending order.
l, 1, -10
Let f = 16.1 - 14.16. Let w = 0.06 + f. Let d be (2/8)/((-3)/(-16)). Put w, -2/5, d in descending order.
w, d, -2/5
Let z = 1 - 1.16. Let h = z + 7.16. Let c = 11 - h. Put -2, c, 0 in descending order.
c, 0, -2
Let t = -0.475 + -0.025. Sort -0.3, 0.03, t in descending order.
0.03, -0.3, t
Suppose 3*u + 3 = 15. Let q(j) = -3*j + 7. Let n(a) = -5*a + 10. Let v(r) = -5*n(r) + 8*q(r). Let d be v(-7). Sort d, -3, u in descending order.
u, d, -3
Let x(m) = -3*m - 47. Let r be x(-15). Sort -14, r, -7 in decreasing order.
r, -7, -14
Suppose -55 = -6*c + 17*c. Put 5, c, 13 in decreasing order.
13, 5, c
Let p(x) = 2*x + 5. Let k be p(0). Sort k, 2, 3 in decreasing order.
k, 3, 2
Let j = 0.04 - 0.04. Let c = j + 4.3. Let w = -0.7 - c. Sort w, 0.3, -1 in decreasing order.
0.3, -1, w
Let g = 2.47 + -0.42. Let q = -0.05 + g. Let k(r) = -5*r**3 + r**2 - r + 1. Let l be k(1). Sort l, -0.1, q in ascending order.
l, -0.1, q
Let b = -0.4 - -0.7. Let a = b + 0.2. Put a, 0, -2/9 in descending order.
a, 0, -2/9
Let a = 33 - 41. Put 3, a, -1, 0 in decreasing order.
3, 0, -1, a
Let b be 6*-1*2/(-4). Suppose w + 4*c = c - 5, 3*c + b = -3*w. Let k be w*(0 - 1) - 1. Put -5, k, 1 in decreasing order.
1, k, -5
Suppose 0 = -4*m + 4, 3*m - 3 = -3*b + 2*b. Let s(h) = 2 + 4*h - 5*h**2 - 1 + h**3 - h**2 + 0*h. Let p be s(5). Sort b, p, 1 in descending order.
1, b, p
Let n be (-8)/10*5/(-2). Suppose n*d = 2 - 0. Let y be (-5)/2 - (-2)/4. Sort d, -1, y in decreasing order.
d, -1, y
Let z = 18 - 18.21. Let l = z - -0.51. Let t = 0.3 - -0.7. Sort t, -1/2, l in descending order.
t, l, -1/2
Let h be 20/(-70) - 19/7. Let k = 8 + h. Sort 1, k, -1 in increasing order.
-1, 1, k
Suppose 2*k - k + 4 = 0. Suppose -6*p + 4*p = -6. Put k, -2, p in increasing order.
k, -2, p
Suppose 2*u + 82 = u. Let p = u - -1068/13. Put -2/3, 0, p in ascending order.
-2/3, 0, p
Let m = 0 - 6. Let z = m + 8. Sort z, -5, 0.1 in descending order.
z, 0.1, -5
Suppose 4*j + 1 = -3*h - 3, 4 = -4*j - h. Sort -4, -5, -7, j.
-7, -5, -4, j
Let c = -8 + 10. Let n = 60.3 + -65. Let a = 0.3 - n. Sort 4, c, a in ascending order.
c, 4, a
Let n = -105 + 100. Sort -0.1, -4, n, -1 in descending order.
-0.1, -1, -4, n
Let v(o) = 2*o - 8 - o - 6 - 1. Let s be v(14). Sort 4, s, 1 in descending order.
4, 1, s
Let d = -6 + 3. Let q(b) = -b - 1. Let n be q(-6). Sort n, -2, d.
d, -2, n
Let i be 0/(3/((-6)/(-4))). Suppose 2*h - 3*k = 0, i = -0*h - 4*h + k. Sort 5, 2, h in ascending order.
h, 2, 5
Let d(n) = -n**2 + 17*n - 29. Let p be d(15). Let q be ((-6)/(-4))/((-9)/(-24)). Sort -3, p, q in descending order.
q, p, -3
Let w be 22*(1/2)/1. Let c = -16 + w. Sort -4, -1, c in decreasing order.
-1, -4, c
Let w(n) = n + 6. Let o be w(-7). Let z = 27 - 29. Sort z, o, 1 in decreasing order.
1, o, z
Let y(c) = c**3 - 3*c**2 - 4*c + 5. Let t be y(4). Sort 2, t, -5 in increasing order.
-5, 2, t
Suppose 6*a + 3 = -15. Let d(p) = -5*p. Let v be d(1). Sort v, 5, a.
v, a, 5
Let q = 1.6 + 3.4. Sort 11, -0.5, q in decreasing order.
11, q, -0.5
Let w(x) = x**3 - 5*x**2 + 5*x - 6. Let s be w(4). Let p be s + 3/(3/7). Let i(r) = -r - 6. Let o be i(-7). Put p, 4, o in increasing order.
o, 4, p
Let y be 2/1 + 20/(-12). Sort -17, -0.4, y.
-17, -0.4, y
Let z = 2 - 2.01. Let u = -0.31 - z. Let b be (-6)/(-15)*(-10)/14. Sort u, 4, b in ascending order.
u, b, 4
Suppose -2*z + 7*z - 10 = -5*b, b - 2*z = -13. Put 1, 2, b in descending order.
2, 1, b
Suppose 3 = -4*l + 3*a, -4*l - 7 - 2 = -a. Let z be (0 + 0 + -1)*2. Sort z, 4, l in decreasing order.
4, z, l
Let f = 36 - 43. Put 5, -3, f in decreasing order.
5, -3, f
Let s(q) = -4*q - 3. Let n be s(-8). Suppose -4*i - 2 = 2*r, 0 = -3*i + 5*r + n + 2. Sort -0.1, i, 1 in descending order.
i, 1, -0.1
Let v be (6 + -3)*1/(1 - -8). Put 0, v, -2 in descending order.
v, 0, -2
Let w = -22 + 21.5. Put w, -4, -1/4 in decreasing order.
-1/4, w, -4
Let b(z) = -z**2 - 3*z + 6. Let o be b(-6). Let m be (o/21)/(6/(-21)). Sort -4, m, 5.
-4, m, 5
Let g = 9.02 - 0.02. Let q = 9 - g. Sort -1/4, -1/2, q in descending order.
q, -1/4, -1/2
Let r = 0.2 + -0.6. Let f = -12.5 - -11.5. Sort r, f, -0.1 in descending order.
-0.1, r, f
Let i = 0.4 + 1.6. Let v = 10/17 - 207/34. Let a = v + 29/6. Sort -2, a, i.
-2, a, i
Suppose -5 = 4*t + 7. Let y be (-295)/177 + -1 + (-10)/(-6). Sort y, 4, t.
t, y, 4
Let u be (-3 + (-36)/(-8))/(-3)*4. Sort 14, u, -1, 4 in decreasing order.
14, 4, -1, u
Suppose 0 = 3*u + 2*u + 20. Let i(q) = q**3 - 4*q**2 + 2*q - 3. Let y be i(4). Suppose f + 0*f = y. Put u, 0.3, f in ascending order.
u, 0.3, f
Let b = 7 - 10. Put b, 5, -1 in ascending order.
b, -1, 5
Let q = 1 - 3. Suppose u = 5 - 0, -2*p + 2*u = 10. Let f = -3.025 - -0.025. Sort f, q, p in decreasing order.
p, q, f
Let n be (-10)/(-12) + (-1)/3. Let z(h) = -19*h + 188. Let g be z(10). Put n, 3/2, g in increasing order.
g, n, 3/2
Let k be ((-13)/13)/(1/(-4)). Put -0.2, -3, k in decreasing order.
k, -0.2, -3
Suppose -s + 3*t = -2, 8*s + 1 = 4*s + 3*t. Let u(f) = f. Let a be u(0). Sort s, a, -2 in ascending order.
-2, s, a
Suppose -15 = 5*o - m - 4*m, 5*m = -4*o - 3. Let t = 4 - -5. Suppose 0*y + t = -2*r + y, 3*y = 3. Put o, r, -5 in decreasing order.
o, r, -5
Suppose 20*f - 16*f = -4. Let s(t) = -t**2 + 6*t + 3. Let m be s(6). Put f, -5, m in ascending order.
-5, f, m
Let i be (-9)/3 - 2037/(-8). Let v = -252 + i. Let w be (2 - 0)/(2/5). Sort v, 2, w in descending order.
w, 2, v
Suppose 0 = z - 6*z + 5. Put z, -2, 4 in decreasing order.
4, z, -2
Let n(x) = 2*x - 6. Let c be n(5). Suppose 0 = 2*f + j - 3 + 1, 0 = -2*j + c. Put -5, -4, f in decreasing order.
f, -4, -5
Let g be -1 + (0 - -3 - -43). Let z be g/(-84) + 1/4. Put 0, z, -1 in increasing order.
-1, z, 0
Let o = 0 + -0.5. Let j = 113/10 + -49/5. Put 8, j, o in descending order.
8, j, o
Let z = -81 - -178. Let f = 101.88 - z. Let j = 0.12 + f. Put j, 2, 0 in decreasing order.
j, 2, 0
Let t(w) = -w**3 + 5*w**2 + 6*w + 5. Let a be t(6). Suppose 9 = -4*j + a. Sort j, -3, -2 in descending order.
j, -2, -3
Let f(k) be the second derivative of 5/6*k**4 + 0 + 2*k - 1/2*k**2 - 3/2*k**3 - 1/20*k**5. Let j be f(9). Sort j, 4, -5 in decreasing order.
4, j, -5
Let q = -30 - -119/4. Sort q, -3, 0.4 in decreasing order.
0.4, q, -3
Let o be 29/2 + (-3)/(-6). Suppose h - 4*h + o = 0. Let g = -2 - -1. Sort g, -3, h in increasing order.
-3, g, h
Suppose -4*g = -4*b, 4*g = 6 + 6. Suppose -4*o + 5 = -3*i, -4*i + 9 + 31 = 4*o. Let q(l) = l + 7. Let w be q(-12). Put b, i, w in ascending order.
w, b, i
Suppose 4*l - 4 = -3*z + 3, 0 = z - 1. Sort 0, 2, l in decreasing order.
2, l, 0
Let h = -1 + 2. Let f = -0.02 + 0.52. Sort -4, f, h in descending order.
h, f, -4
Let q(m) = -m**3 - 8*m**2 + m + 8. Suppose 3*w + 2 = w, 4*z - 2*w + 30 = 0. Let a be q(z). Suppose a - 2 = c. Put 0, 2/3, c in increasing order.
c, 0, 2/3
Let x = -13 + 17. Sort -5, -1/5, x in descending order.
x, -1/5, -5
Let j = 5/1493 - 261715/131384. Let k = 1939 - 21303/11. Let o = k + j. Sort o, -2/17, 5 in decreasing order.
5, o, -2/17
Suppose -3*m - 3 = 42. Let g = -12 - m. Put -4/7, 0, g in descending order.
g, 0, -4/7
Let c = 355 + -553. Let a be (-4)/(-22) - (-102)/c. Sort -3, -1/2, a in increasing order.
-3, -1/2, a
Let m be (-1 - (1 - 7)) + -1. Suppose -3*q = -q + 20. Let u(f) = -f**3 - 11*f**2 - 9*f + 7. Let v be u(q). Sort m, 5, v in descending order.
5, m, v
Let d = 5 + -2. Let s = -16 - -21. Sort s, -5, d.
-5, d, s
Let s be (2 - (1 + (5 - 3)))*1. Let f = -6 + 8. Sort 0, s, f in ascending order.
s, 0, f
Let t(d) = -d + 10. Let j be t(6). Suppose 0 = j*m + 5*r - 22, m - 12 = -m - 3*r. Let w be -2 + (-3)/1*1. Put m, w, 5 in decreasing order.
5, m, w
Let n = 9.8 +