 Put -5, -0.5, 4, w in descending order.
4, -0.5, w, -5
Let i be (-2)/(4 + (-10)/3). Sort -2, i, 0.
i, -2, 0
Let p be 4/(-22) + (-106)/22. Sort -4, p, 47, -3 in decreasing order.
47, -3, -4, p
Suppose -v = 3*n + 13, 2*n = -2*v - 3*n - 21. Sort v, -8, 0 in increasing order.
-8, 0, v
Let r = -3 + 4. Let t = 1 - r. Suppose -3*v - 9 = 3*z + z, z + 5*v + 15 = t. Sort -1, z, -4 in decreasing order.
z, -1, -4
Let b(r) = -r**2 + 2*r + 3. Let d be b(-2). Let h = -38 - -36.3. Let y = h - -2. Sort 3, d, y.
d, y, 3
Let y = 0.06 - 6.56. Let n = -7 - y. Sort 0.01, n, -2.
-2, n, 0.01
Let f = -6 - -5.8. Put -1, f, 3 in ascending order.
-1, f, 3
Let z(k) = -k + 10. Let x be z(11). Let q = 2 - x. Suppose -i = o + 4*o - 5, q*i = 0. Sort o, -0.4, -2 in increasing order.
-2, -0.4, o
Let c be (1 - 1)/(17 + -15). Sort -3, 5, c, -2 in descending order.
5, c, -2, -3
Let o be 14/6 + (-9)/3. Sort 0.2, -6/5, o, -3 in descending order.
0.2, o, -6/5, -3
Let s = -89/114 + 18/19. Let q = 108 + -113. Put -2/3, q, s in increasing order.
q, -2/3, s
Let y be (6/(-9))/(4/3). Put y, -1/4, -4 in increasing order.
-4, y, -1/4
Let d(g) = g**3 + 4*g**2 + g + 4. Let m be d(-4). Put m, 7, 2, -2 in increasing order.
-2, m, 2, 7
Let g = -4 - -4. Suppose 3*o + 3*r = o + 21, -r - 1 = 0. Let s = o - 7. Sort -4, s, g in descending order.
s, g, -4
Let z be 2/(-4)*10*(-4)/(-4). Let q be 3/2*4/10. Put 0.4, q, z in decreasing order.
q, 0.4, z
Let v = -2.07 + 0.07. Sort 0.4, 3/7, v in increasing order.
v, 0.4, 3/7
Let g = -0.124 + 2.124. Put 1, g, -1, 0.2 in ascending order.
-1, 0.2, 1, g
Suppose 72 = 39*x - 35*x. Put 0, -1, x in descending order.
x, 0, -1
Let i = 32 + -32.4. Put 3, 2, i, -5 in increasing order.
-5, i, 2, 3
Suppose 5*y = 3*s - 40, -4*s + 5*y = -32 - 13. Let c = -3.3 + 0.3. Let f = -0.049 + -0.451. Sort f, c, s in increasing order.
c, f, s
Suppose -3*n = -2*n + 2. Put 0.2, n, -1/2 in increasing order.
n, -1/2, 0.2
Suppose -4*q = -5*o + 18, -4*o - q = -8*o + 10. Sort -1, o, -10 in increasing order.
-10, -1, o
Let w(d) = d**2 - 1. Let h be w(0). Suppose -3 = 4*n - 7, 0 = v + 2*n. Sort v, h, 4 in increasing order.
v, h, 4
Let n be (-4)/2*(-1 - -3). Let h be (3 - -1) + 28/n. Sort h, 2, -5 in decreasing order.
2, h, -5
Suppose -36 = -2*f - 2*f. Suppose 4*u + 3*p + 7 = -u, -2*u - 2*p = 2. Sort -1, u, f.
u, -1, f
Let u be (14/(-2) - -2)/1. Sort u, -4, 1 in descending order.
1, -4, u
Let g = 1/24 - -59/24. Let x = -26 - -12. Let r be 4/(-18) - x/9. Put 4, g, r in descending order.
4, g, r
Let r = -8 - 1. Let s = 10 + r. Put s, -1, 4 in increasing order.
-1, s, 4
Suppose -4*i + 8*i + 16 = 0. Suppose 41*f + 6 = 44*f. Sort i, f, 1 in descending order.
f, 1, i
Let p be (-2)/(-12)*(-28)/7. Put p, 0.1, -1 in increasing order.
-1, p, 0.1
Let q = -7 - -187. Let x = -2342/13 + q. Put 5, x, -4 in decreasing order.
5, x, -4
Suppose 5*q + 16 = q - 5*a, -a = 0. Sort 4, 2, q in ascending order.
q, 2, 4
Let a = 7 - 45/7. Let k = -35 - -35.3. Sort 5, a, k in decreasing order.
5, a, k
Let c = -203/965 + 2/193. Put c, 1, 1/7 in descending order.
1, 1/7, c
Suppose 10*t = 5*t - 5. Put t, -18, -2 in ascending order.
-18, -2, t
Suppose -4*k + 18 = -2. Let z(f) = -f**3 - 2*f**2 - 3*f - 3. Let w be z(-2). Sort k, -3, w in descending order.
k, w, -3
Let b = 3.2 + -2.7. Put b, -0.4, 6/17 in ascending order.
-0.4, 6/17, b
Suppose -4*y - 4*h - 8 = -0, 2*y - 2*h = -12. Let a(v) = v**3 - 4*v**2 - v + 5. Let p be a(4). Sort y, p, 3 in increasing order.
y, p, 3
Suppose 3*m = m - 8. Let x be (-1)/((2/m)/(-1)). Sort 4, x, 2.
x, 2, 4
Suppose -h = u - 2*h - 1, 5*u + 2*h = 26. Suppose -u*y - 3*b = -25, -2*y + 6*y = 2*b + 50. Let l = -15 + y. Put 1, 2, l in ascending order.
l, 1, 2
Let x = -5 - -10. Let h be 0/((3/3)/1). Sort -0.2, x, h in ascending order.
-0.2, h, x
Let s(w) = w**3 - 28*w**2 + 28*w - 27. Let l be s(27). Put l, 4, 1, 2 in decreasing order.
4, 2, 1, l
Let n = -0.7 - -0.7. Let v = -0.04 - 4.96. Sort 1, v, n in descending order.
1, n, v
Let u be 3*2 - 2*-1. Suppose k + u = 3*k. Suppose -3 = -m - 8. Sort m, 3, k in descending order.
k, 3, m
Let g = -1.95 + 2. Let j = -0.05 - g. Suppose -17 = -3*h - 5. Sort 2/3, j, h in descending order.
h, 2/3, j
Let b be ((-2)/10)/((-20)/25). Suppose 8*j - j - 2*j = 0. Sort j, b, -2.
-2, j, b
Let y(v) = 4*v**2 + 2*v + 1. Let j be y(-1). Suppose r - x = 6, -j*r + 0*r = 3*x. Let z(g) = -g. Let u be z(-1). Sort u, r, 0 in decreasing order.
r, u, 0
Suppose 5 + 0 = n. Let p = n + -9/2. Put 1, 0.1, p in ascending order.
0.1, p, 1
Let v be (6/18*-3)/((-1)/(-5)). Put v, -2, 5, -3 in ascending order.
v, -3, -2, 5
Let i be (-2 - 25/(-10))*-10. Sort i, 11, -3 in descending order.
11, -3, i
Let q be 2*(-3)/(60/8). Put 20, 2/5, q in descending order.
20, 2/5, q
Let x(b) = 2*b**2 - 7*b. Let j be x(5). Suppose -3*u = -6*u + j. Sort 0, -3, u.
-3, 0, u
Let p(i) = -i + 8. Let m be p(11). Sort 1/3, 4, 5/6, m.
m, 1/3, 5/6, 4
Let d = 3.8 + -4.8. Sort 2, d, 8 in ascending order.
d, 2, 8
Suppose 3*z + 8 = 5*z. Put -2/5, z, 2/5 in decreasing order.
z, 2/5, -2/5
Let k = -30 + 21. Sort k, 0.2, -3, -2/11 in ascending order.
k, -3, -2/11, 0.2
Suppose -4*p + 25 + 11 = -5*m, 0 = -3*m + 4*p - 28. Let q be (-7)/(-4) + (-1)/m. Sort 0, -4, q.
-4, 0, q
Let z = 2 + 1. Let j = -0.1 - -2.1. Let l = -42 - -42.1. Put j, l, z in increasing order.
l, j, z
Suppose -8 = -3*a - a. Sort a, 5, -0.09.
-0.09, a, 5
Let s = -0.04 - -0.24. Let v = s - 0.7. Let c = 0.8 - 1. Put c, -5, v in increasing order.
-5, v, c
Let f(i) be the first derivative of 4*i - 1/3*i**3 - 4 - 3/2*i**2. Let v be f(-4). Put -3, v, 6 in descending order.
6, v, -3
Let d(x) = -x**3 - 6*x**2 + 17*x + 12. Let i be d(-8). Put -5, -1, 5, i in descending order.
5, i, -1, -5
Let x(q) = q**3 - 4*q**2 + 3. Let k be x(4). Suppose 2*p + 2 = k*p. Suppose -2*z + p = 2*t, 5 + 1 = 3*t. Put -2, 5, z in descending order.
5, z, -2
Let i(t) = t**2 + 5*t + 3. Let d be i(-5). Let r(c) = -c**2 + 3*c + 6. Let u be r(4). Put u, d, 5 in descending order.
5, d, u
Let l be 1 - 2/1 - 4. Let p(s) = -s - 8. Let o be p(4). Let b be ((-4)/6)/(o/18). Put b, l, -4 in descending order.
b, -4, l
Let f = 992 + -994. Let s = -5 + 8. Sort 5, f, s.
f, s, 5
Suppose 15 = -5*g + 5*x, x = 2*g - 4*x + 18. Let w = -6.3 - -1.3. Put 2, g, w in decreasing order.
2, g, w
Let m be 12/20*(4 - -1). Suppose 0 = d - 0*d. Suppose -l + 1 - 2 = d. Sort l, m, -2 in ascending order.
-2, l, m
Let u be (-336)/(-189) + 4/18. Suppose u + 7 = -3*x. Sort 5, x, -1.
x, -1, 5
Let z = -4/27 - -128/135. Put 0.4, 2/3, z in descending order.
z, 2/3, 0.4
Let t be -2 + (-1 - -4) + 8. Let q(i) = i**2 - 5*i - 3. Let w be q(6). Sort -5, w, t in increasing order.
-5, w, t
Let j = 4 + -2. Let u be (-2)/5 - (-2)/30. Sort 5, u, j in increasing order.
u, j, 5
Suppose -35 = -3*m - 2*m. Sort m, 5, 4 in decreasing order.
m, 5, 4
Let c(n) = -n**2 - 4*n + 1. Let g be c(-3). Put g, -3, -10 in ascending order.
-10, -3, g
Let i = 4.3 - 0.3. Let n = -3.46 + 0.06. Let r = n - -3. Sort -1, i, r.
-1, r, i
Suppose 4*z - 4 = 3*z. Put -2, z, 6 in increasing order.
-2, z, 6
Let k = 4/31 + 96/217. Suppose -5*w = -w + 8. Sort k, 1/6, w.
w, 1/6, k
Let l = 34 - 36. Sort -7, 2, l in ascending order.
-7, l, 2
Suppose 3*l + 4 = -l. Let x = l - 2. Sort 3, 2, x in descending order.
3, 2, x
Suppose -5 - 6 = 3*x + y, 0 = 5*x + y + 19. Let m = 0.9 + 0.1. Put m, -0.06, x in decreasing order.
m, -0.06, x
Let u be 1/(-6) + 100/24. Sort 3, -3, u.
-3, 3, u
Let v(z) = z**2 - 2*z - 3. Let c be v(4). Let a = 29 + -20. Suppose 2*n - a = -g - 0, -3*n + 9 = 0. Sort -0.07, g, c in ascending order.
-0.07, g, c
Suppose 0 = 4*q - q - 0*q. Sort 3, q, 1.
q, 1, 3
Let d(a) = a + 2. Suppose 6*c - 2*c = 0. Let w be d(c). Suppose -5*q + 11 = -4*x, -4*x = -2*q - 0*q + 2. Sort w, q, 4 in descending order.
4, q, w
Let m be (5/(-2))/(3/36). Let i be 20/6*m/125. Let x = -1.8 - -2. Sort x, -0.4, i in increasing order.
i, -0.4, x
Let u = -100 - -96. Put -1, u, 2, 5 in increasing order.
u, -1, 2, 5
Let p = -171 + 1537/9. Put p, -4, -1 in decreasing order.
p, -1, -4
Suppose -3*s = -0*s - 9. Let r be (-3)/4 - 10/8. Let z = r + -1. Sort -5, s, z in descending order.
s, z, -5
Let m be ((-7)/28)/(154/4). Let x = m - -467/770. Sort x, -0.1, -0.3.
-0.3, -0.1, x
Let m(t) = 10*t. Let k be m(7). Let