 descending order.
7, b, -4
Let b be (-1*1)/((-1)/(-2)). Let c(x) = 2*x - 4. Suppose 0 = 2*g + 5*u - 13, -g - u + 0*u + 5 = 0. Let j be c(g). Put b, -4, j in decreasing order.
j, b, -4
Let w = 17.9 - 18. Let n = 0 - w. Let g(k) = -2*k**3. Let b be g(1). Sort 0.2, b, n in decreasing order.
0.2, n, b
Let p = 13.01 - 0.01. Let z(q) = q**3 - 10*q**2 + 6*q - 44. Let g be z(10). Let v be 50/18 - 3 - g/(-234). Put p, v, -2 in descending order.
p, v, -2
Let x be (-11)/((-66)/(-12))*12. Sort 1, 2, x in decreasing order.
2, 1, x
Suppose 48 = 7*y - 330. Let t = -48 + y. Put -5, -4, t in descending order.
t, -4, -5
Let b(n) = 9*n - 38. Let q be b(4). Put -1, q, -4, 4 in ascending order.
-4, q, -1, 4
Let y = -0.568 + 0.168. Let p = 0.1 + -0.15. Put -3, y, p in descending order.
p, y, -3
Let b(d) = -d - 16. Let v be b(-15). Sort -10, -4, v.
-10, -4, v
Let z = 1 + 1. Let o = -383 + 378. Put o, 3, z in ascending order.
o, z, 3
Suppose 5*y - 12 = 8. Suppose 5*m + 117 = -3*d, y*d + 185 = -d - 5*m. Let t = 240/7 + d. Put -5, 13, t in ascending order.
-5, t, 13
Let q be 84/(-21) - 4/(-2). Sort 4, q, 10, 2 in increasing order.
q, 2, 4, 10
Let p = -41.6 - -41. Let s = p + 0.8. Let v = 57 + -227/4. Put 2, v, s in ascending order.
s, v, 2
Let f be (-2)/(-9) + 544/144. Sort f, -1, -3, 1.
-3, -1, 1, f
Let t(z) = -z**2 + 4*z + 33. Let o be t(-4). Let k = 0.4 - 0.2. Sort k, -3, 10, o in descending order.
10, o, k, -3
Let s = -0.0263 + -0.2737. Put -1.2, s, -2 in ascending order.
-2, -1.2, s
Suppose -4*g + 40 = y, 0*y - 160 = -4*y - 5*g. Let m = y + -43. Put -1, m, -5, 3 in decreasing order.
3, -1, m, -5
Let b = 30 - 26. Put -13, b, 2, -2/3 in descending order.
b, 2, -2/3, -13
Suppose 0*b + 8 = 2*b. Let m be (-1)/(1 - 20/15). Let w(o) = -o**3 + o**2 + 6*o + 2. Let i be w(m). Put -5, i, b in decreasing order.
b, i, -5
Suppose 2*t = -2*t - 204. Let j = -31 - t. Suppose 0 = 11*d - 7*d + j. Sort -4, d, 4 in decreasing order.
4, -4, d
Let g = -1315.2 + 1315. Put 5, 3, -59, g in decreasing order.
5, 3, g, -59
Let r = 18.32 - 17.82. Put 0.056, -1, 1/12, r in descending order.
r, 1/12, 0.056, -1
Suppose 4*m + 0*z = z - 5, 0 = 4*z + 12. Let q(u) = -1 - 10 + 2 - 2*u. Let r be q(-6). Sort -4, r, m in descending order.
r, m, -4
Suppose 4*u - 54 = -2*p - 18, -3*u - p = -25. Sort -1, 49, u in increasing order.
-1, u, 49
Let i be ((-2)/(-4))/((-52)/(-78)). Suppose 36 = a + 3*a. Let c be (-8)/6*a/(-78). Sort i, 0, c in descending order.
i, c, 0
Let o = -3.9 - 0.1. Let h = -100 - -105. Suppose h*a - d = 2*d + 17, -d = -3*a + 11. Sort -0.5, a, o in ascending order.
o, -0.5, a
Let l be (1 + -11)*(-24 - 3068/(-130)). Let q(s) be the third derivative of -s**4/24 + s**3/3 - 2*s**2. Let f be q(3). Put 0, l, f in ascending order.
f, 0, l
Let r(s) = 12*s + 4. Let t be r(-8). Let z be t/(-22) + (-8)/44. Sort 3, 0, z in increasing order.
0, 3, z
Let v(c) = -c**3 + c**2 + c + 2. Let o(w) = -34*w + 0 + 4 + 33*w. Let p be o(4). Let h be v(p). Put -1, h, -2 in descending order.
h, -1, -2
Let l = -15.32 + 14. Let a = -0.32 - l. Put a, -2/5, 2 in decreasing order.
2, a, -2/5
Let r = -1200 - -4803/4. Put r, 0.3, -3, 3 in descending order.
3, r, 0.3, -3
Let w be 24/(-18)*9/6. Sort 1, -12/11, 0.1, w in ascending order.
w, -12/11, 0.1, 1
Let r be (-17)/17 + -86 + 1. Sort 4, r, -5 in descending order.
4, -5, r
Let d(u) = 3*u**2 + 23*u + 17. Let h be d(-7). Put 0, -3, h, -2 in increasing order.
-3, -2, 0, h
Let d be 230/50 - (-6)/(-10). Let n = 2 + 1. Sort d, -6, n in decreasing order.
d, n, -6
Let r(q) = 2*q**2 + q + 1. Let p be r(-1). Let s = 2 + -1. Suppose 2*v - 4*i + 0 = 22, -6 = 2*i. Put s, p, v in decreasing order.
v, p, s
Suppose 12*h = 12 + 36. Suppose -25 = -4*d - 4*u + u, 2*d - 5*u + 7 = 0. Suppose d*g + 5 + 7 = 0. Put g, h, 2 in descending order.
h, 2, g
Let s = 38 - 35. Suppose 0 = 45*k - 48*k - 15. Let n be (-3 - -1) + 16/10. Sort k, n, s.
k, n, s
Suppose 3*p + 1 = -2*g, g - 4*p = -5*p + 1. Put g, -6, -11, 3 in descending order.
g, 3, -6, -11
Let t = 1344 + -1344.1. Sort 3, -3, -8, t in descending order.
3, t, -3, -8
Let i = 8.6 + -0.6. Suppose 3*k + p - 4 - 4 = 0, 16 = 5*k + 3*p. Suppose -s = -3*s - k. Sort s, i, 4 in decreasing order.
i, 4, s
Suppose 6 - 27 = -7*n. Let v = -6/59 + -64/531. Put n, 1/4, v in descending order.
n, 1/4, v
Let t be (-14)/(-4)*120/105. Let n(i) = i**2 + 6*i + 5. Let r be n(-6). Put -4, 2, r, t in decreasing order.
r, t, 2, -4
Suppose 36*r = 26*r. Sort r, -3, 41, -2 in descending order.
41, r, -2, -3
Suppose 3*j - 4*t = -2*j + 37, j + 1 = -2*t. Suppose j = 3*y + 2*y. Let p = 561 + -561. Sort 4, y, p in increasing order.
p, y, 4
Let s = -1333 + 1331. Sort 3, 40, s in descending order.
40, 3, s
Let d(v) = 28*v**3 - 2*v - 1. Let f be d(-1). Suppose 2*n - 14 = 4. Let o be f/6*(-6)/n. Sort -3, -2, o in decreasing order.
o, -2, -3
Suppose 3*n + 4*d - 12 = 2*n, -8 = -n - 2*d. Let w = 13 - 8. Suppose n*v = 5*s + 28, 10 = -0*v + w*v. Sort s, 5, -3 in descending order.
5, -3, s
Suppose 5*b + 0*b + 8 = 2*o, 3*b = 6. Let r = -5 - -7. Suppose r*j + 0*j = -4*c - 8, 0 = j - 3*c - 16. Sort o, j, 1.
1, j, o
Let g(a) = 8*a**3 + 2*a**2 - 1. Let q be g(1). Suppose -1 = -2*l - q. Sort l, 2, 1.
l, 1, 2
Suppose 0 = -2*w - 20 + 24. Let t be (-8)/(-4)*(-6)/(-4). Sort w, -7, -5, t in descending order.
t, w, -5, -7
Let l = 32.6 + -28.6. Sort 0.2, l, -0.1, -65 in ascending order.
-65, -0.1, 0.2, l
Suppose 4*d - 46 = -230. Let x = d - -50. Put 5, 0, x, -12 in decreasing order.
5, x, 0, -12
Let y = -134 - -187. Suppose -125 = y*q - 48*q. Put -3, q, -4 in decreasing order.
-3, -4, q
Suppose 15 = 3*j - 15. Let g be 2/(-1) - j/5. Let b = 13 + -8. Sort g, 3, b.
g, 3, b
Let w = -151 - -148. Sort 57, w, 5 in decreasing order.
57, 5, w
Suppose 112*f = 36*f + 304. Let q be 58/(-70) + (-4)/(-10). Sort -2/5, f, q, 4/3 in descending order.
f, 4/3, -2/5, q
Let r = -83.8 + 84.1. Sort 12, 3, 0.5, r in descending order.
12, 3, 0.5, r
Let v be 9/5*(-270)/(-162). Suppose -3*a = -a - 20. Suppose -25 = -3*l - a. Sort l, -3, v in ascending order.
-3, v, l
Let h be (85/(-30))/((-5)/57). Let n = -63/2 + h. Let z = 5/7 + -73/63. Put n, 0, z in decreasing order.
n, 0, z
Suppose 7 = 3*p + 4. Let h = 0 + p. Let f(s) = -s**2 + 4. Let t be f(3). Sort h, t, 4.
t, h, 4
Let y = 2583/26 + -199/2. Let f be (-23)/(-30) + 16/(-10) + 1. Let v = f - 1/2. Put -3, y, v in increasing order.
-3, v, y
Let o(v) = -3*v - 53. Let f be o(-16). Let c = -9 + 13. Let r be ((-9)/24)/((-15)/4). Sort f, c, r in decreasing order.
c, r, f
Suppose 5*t = -3*x - 37, -10*x - 31 = -6*x + 3*t. Put -3, 11, -2, x in descending order.
11, -2, -3, x
Suppose 4*b + 4*c + 8 = 0, 4*c = 20*b - 15*b + 28. Let l be (-1)/(-16)*(5 - 3). Put b, -2/9, l in decreasing order.
l, -2/9, b
Let u = -107/3 + 36. Let m be 9/40 - (-21)/(-350)*10. Put m, -1/6, u in ascending order.
m, -1/6, u
Let w = -1184 - -1187. Let o = 2.8 + -3. Put w, o, 0.3 in decreasing order.
w, 0.3, o
Suppose -73*j = -83*j - 10. Sort -3, -60, j, 0 in decreasing order.
0, j, -3, -60
Let v = 221 + -219. Sort -214, v, 5 in decreasing order.
5, v, -214
Let o(m) = 2*m + 6. Let j be o(-5). Let i(c) = c**3 - 21*c**2 + 2*c - 40. Let a be i(21). Suppose 10 = -a*v + 4. Sort j, -1, v in ascending order.
j, v, -1
Let j = 464/9 + -52. Put -71, 1/4, j in descending order.
1/4, j, -71
Let l be (-52)/(-442) + (-2)/17. Sort 1, l, -5 in ascending order.
-5, l, 1
Let o be 15*3/(-9) - -10. Suppose -2 - 3 = i. Sort o, -1, i, 1 in descending order.
o, 1, -1, i
Suppose r - 2*x - 14 = 3*r, 4*r - 2*x + 10 = 0. Let b = -40.929 - 0.071. Put b, r, -0.4 in ascending order.
b, r, -0.4
Let z = -0.0952 - 0.0048. Suppose -1 = -v, v - 6 = 3*a + 4. Sort 2, -3/7, z, a in descending order.
2, z, -3/7, a
Suppose 7*v + 5*n = 2*v + 35, 2*v = 4*n - 10. Put v, -1, -29 in ascending order.
-29, -1, v
Suppose -25*a = -20*a. Suppose a = -2*c - 2 - 6. Sort -5, c, 3 in increasing order.
-5, c, 3
Let b = -0.08 + -0.42. Let l = -1.7 - -5.7. Let w = 55 + -274/5. Sort l, b, w in descending order.
l, w, b
Suppose 4*x + 82 = -2*z, -z - 20 = -5*z. Let r = x - -27. Put -3, r, -0.16 in decreasing order.
r, -0.16, -3
Let o = 0.798 - 0.538. Put o, 2/13, 1/3 in ascending order.
2/13, o, 1/3
Suppose -43*m = -50*m + 7. Sort m, -2, 43, 0 in decreasing order.
43, 