r, 0 in decreasing order.
0, -3, r
Suppose x = -2*w - 3, 4*x - 2*w = -x + 21. Suppose 0 = -2*b - 111 + 33. Let i = 39 + b. Put x, -1, i in ascending order.
-1, i, x
Let l = 39.85 - 40.85. Let o = 4.9 - 0.9. Let a = -3 + 2.5. Sort l, o, a in descending order.
o, a, l
Let t = 0.71 + -36.71. Let g = t - -35.89. Sort 2/5, -5, g.
-5, g, 2/5
Suppose 93*w - 17 - 355 = 0. Sort -5/142, -0.3, 0, w in descending order.
w, 0, -5/142, -0.3
Suppose 0 = -2*m - m + 12. Let y = 7 - m. Suppose 5*z - 10 = -y*w, 2*z = 4*w + w + 35. Sort w, 0.3, -2 in descending order.
0.3, -2, w
Let n = -4162 - -4164. Let w be 3*(-2 + 8/3). Suppose -l + 4 = -w*l. Put n, l, 5 in decreasing order.
5, n, l
Suppose 6*r = 2*r + 8. Suppose 4*n = 4*d + 28, 3*n + 5*d - r*d + 3 = 0. Suppose -8*b - 4 + 36 = 0. Sort b, n, 0.
0, n, b
Let o = 180/13 + -295/26. Let y = -1 + -3. Sort o, -1/4, y.
y, -1/4, o
Let w = 1 - 5. Let d(k) = -2*k + 1. Let g be d(0). Let m = -0.38 + 0.08. Put w, m, g in decreasing order.
g, m, w
Suppose 0 = -4*x + 29 - 9. Let z(k) = k**2 - 7*k + 13. Let m be z(x). Put m, 1, 4 in decreasing order.
4, m, 1
Let k be -4 - (4/4 - 12). Suppose 2*x = -4*r, -r + k - 2 = 3*x. Put 3, -5, r in increasing order.
-5, r, 3
Suppose 3*z + 0*z + 48 = 0. Suppose h + 8 = -3*t + 87, 64 = 3*t + 4*h. Let c = t + z. Put -5, c, 0 in descending order.
c, 0, -5
Let v = 35.6 - 44. Let m = v - -5.4. Sort m, -2/13, 3.
m, -2/13, 3
Let u = 0.1 + 0.1. Let y = -104 - -103.843. Let s = y - -0.657. Sort u, s, -2/3.
-2/3, u, s
Suppose 3*z + 0 - 6 = 0. Let c be ((-12)/(-18))/(44/24 + -2). Sort c, 1, z, 0 in increasing order.
c, 0, 1, z
Let d = -10 - 2. Let j(s) = s**3 + 11*s**2 - 12*s - 5. Let o be j(d). Let n(t) = t**3 + 5*t**2 - t. Let h be n(o). Sort -3, 4, h.
-3, 4, h
Let j(d) = 6 - d**2 + d - d + 4*d. Let i be j(5). Let y(k) = -k**3 - 4*k**2 + 4*k - 1. Let w be y(-5). Sort -1, w, i in increasing order.
-1, i, w
Let x(v) = v**2 + 11*v - 2. Let a = -9 - -20. Suppose s - a = 2*s. Let d be x(s). Put d, -5, 1 in increasing order.
-5, d, 1
Let u be 8/6*(-3 + 12/8). Let o(s) = -s**2 + 13*s - 3. Let l be o(13). Sort 2, l, u in decreasing order.
2, u, l
Let o = -2 + 2. Let b = o - -0.2. Let x = 0.0847 + 0.3153. Put -3/4, b, x in descending order.
x, b, -3/4
Suppose -5 = -14*z + 15*z. Suppose 5*x - 3*x = 0. Put -4, z, x, -13 in decreasing order.
x, -4, z, -13
Let n = 7 + -6. Let b = 0.9 + -0.8. Let y be (-1)/((-6)/(2 - 0)). Sort n, b, y in descending order.
n, y, b
Let r = -5.98 - -6. Let c = r - -4.98. Let v = 1.9 + -5.9. Sort v, c, -0.4.
v, -0.4, c
Suppose 3*f + 1 = j - 10, j = -3*f - 7. Sort -2, j, 14 in ascending order.
-2, j, 14
Let u(s) = -35*s**2 + 34*s**2 + 2*s + 14 + 7*s. Let y be u(10). Suppose -5*k + 25 = p, -y*k - 3*p - p = -36. Put k, -5, -2 in ascending order.
-5, -2, k
Let c be (-414)/(-8) - (-11)/44. Suppose -27 + c = -5*y. Put 2/3, 2/13, y, 2/5 in increasing order.
y, 2/13, 2/5, 2/3
Let d(x) = -2*x + 11. Let c be d(7). Let r = c - -4. Sort r, 5, -5.
-5, r, 5
Let j be 32/(-36) + 931/(-684). Sort -2/7, j, 23 in ascending order.
j, -2/7, 23
Let f = -769.7 - -770. Let u = -1.99 - 0.01. Let d = u - -1.9. Put 4, f, d in ascending order.
d, f, 4
Let s(w) = -w**2 - 6*w + 4. Let f be s(-7). Suppose 112*o - 107*o - 4 = 3*n, 4*o + 10 = -2*n. Put f, 5, o in increasing order.
f, o, 5
Let j be (4/(-10))/(18/(-180)). Suppose -3*y = 2*h + 17, 0 = 2*h - j*y + 12 - 2. Let v be ((-15)/6)/(h/14). Put -3, -7, v in ascending order.
-7, -3, v
Suppose -11*u + 13 - 40 + 71 = 0. Suppose -11 = -4*q + 5. Suppose j + 0*j - q = 2*m, -2*m = 4*j - 16. Sort m, 3, u.
m, 3, u
Let l = -10/17 + 8/17. Put 0.006, -2/5, 4, l in increasing order.
-2/5, l, 0.006, 4
Let t = 3.5 - 10. Let p = t - -6.77. Let s = 1.27 - p. Put 2, s, 1/12 in descending order.
2, s, 1/12
Let i = -50.059 + 0.059. Let b = 50.2 + i. Sort b, 0, -0.1 in descending order.
b, 0, -0.1
Let p be -2*(3 - 28/8). Suppose 0 = x - 2*r + 14, 0*x + 5*x - 5*r + 80 = 0. Let u = x + 23. Sort p, -5, u in increasing order.
-5, p, u
Suppose -50*j + 7 = 157. Sort j, -19, 5, 0 in decreasing order.
5, 0, j, -19
Let p = -88 - -529/6. Let k = -495 + 497. Put -0.3, p, k in increasing order.
-0.3, p, k
Let y(j) = 4*j**3 - j**2 - j + 2. Let p be y(2). Suppose -r - p = -8*r. Sort -3, 5, 2, r in descending order.
5, r, 2, -3
Let m be 4/(-20) + (-126)/(-5). Suppose -11*q + m = -6*q. Suppose z - 5*z - 22 = 2*j, 60 = -q*z + 4*j. Put -4, -2, z in increasing order.
z, -4, -2
Let k be (-2)/8 - (-104)/32. Let y(n) = -n**2 - 12. Let f(u) = -5*u**2 + u - 49. Let t(c) = 2*f(c) - 9*y(c). Let m be t(6). Sort k, 1, m in decreasing order.
k, 1, m
Suppose 130*s = 115*s - 45. Sort -4, s, 29, -1 in descending order.
29, -1, s, -4
Let r be (8/(-10))/(1/(-5)). Let j = 691 + -693. Let p(k) = k**2 + k + 1. Let g be p(-1). Put g, r, j in descending order.
r, g, j
Let y(r) = -r**2 - 9*r - 5. Let k be y(-7). Sort -3, 1, k in increasing order.
-3, 1, k
Let c(x) = x**3 + x**2 - x. Let n be c(0). Suppose -16 = -5*b - 4*p, -5*b - 3*p + 5 + 12 = 0. Suppose 6 = b*u - 5*u. Sort u, n, -4.
u, -4, n
Let s be (-102)/(-85) - (-43)/(-40). Sort 0.9, -1, s in descending order.
0.9, s, -1
Suppose l + 10 = 3*l. Let r = 41 + -39. Suppose 2*f + 5*d = 26, -5*d + 17 = r*f - 3*f. Sort 4, f, l in increasing order.
f, 4, l
Let f = -502 + 501. Put f, 11, -2 in increasing order.
-2, f, 11
Let l = 26 - 24.8. Let a = l - 0.9. Let h be 3/(-5) - 16/15. Put 0.4, a, h in increasing order.
h, a, 0.4
Suppose 4*u - 303 = -311. Sort 19, 9, u in ascending order.
u, 9, 19
Let l be (((-180)/8)/9)/((-120)/96). Sort 175, -2, l, 5 in decreasing order.
175, 5, l, -2
Let u(g) = g**3 - 3*g - 3. Suppose 3*q - s + 10 = 0, 5*s = -3*q + 5 + 9. Let d be u(q). Let r be 1/6*(0 - 1). Sort r, 1, d in decreasing order.
1, r, d
Let n(g) = g**2 - g + 1. Let w be n(-2). Suppose 0 = 2*o - w*o + 10. Let x = 71 + -67. Sort o, 1, x in ascending order.
1, o, x
Let v = 226 + -227. Sort -3, 28, v.
-3, v, 28
Let u(x) = 6*x + 12. Let q be u(11). Let m = q - 85. Sort m, -4, 0.1 in increasing order.
m, -4, 0.1
Suppose 18 = 5*r + 38. Suppose -2*g + 5 = 3*g. Sort r, -2, g in descending order.
g, -2, r
Let g(t) = 16*t**2 - 54. Let i be g(0). Sort -1, 2, 0, i in descending order.
2, 0, -1, i
Suppose -l - 21 = 5*s - 36, 0 = 3*l + 3*s - 21. Put 4, -3, l, 1 in decreasing order.
l, 4, 1, -3
Let y be (-2)/(1/((-9)/6)). Suppose -3 = -z + 4*j, 8*z + 110 = y*z - 5*j. Let h = -12 - z. Sort h, -1, -3 in increasing order.
-3, -1, h
Suppose o + 3*k + 6 = 0, -k = 2*o - o. Let f = 5 - o. Let m be (-4)/(-12)*(2 - (1 + 1)). Sort m, f, -2 in descending order.
f, m, -2
Let r be (-5)/(-15) - 253/(-6). Let w = -43 + r. Let p(d) = -d**2 + 6*d - 4. Let u be p(6). Put 1, w, u in ascending order.
u, w, 1
Let g = 1 - 3. Let s(q) = 3*q**3 + 371*q**2 + 247*q + 123. Let m be s(-123). Sort m, g, -4/7, 0.6 in descending order.
0.6, m, -4/7, g
Let v(n) = 2*n - 17. Let g be v(12). Suppose s + 10 = g. Sort -5, -1, s in ascending order.
-5, s, -1
Suppose 1006 = 21*b + 901. Sort 6, 21, b in decreasing order.
21, 6, b
Suppose 18*a - 11*a - 70 = 0. Let l(q) = q**3 - 5*q**2 - 1. Let m be l(5). Put 4, a, -2, m in decreasing order.
a, 4, m, -2
Let r = 3.4 - -5. Let d = -4.4 + r. Let u = 14 + -17. Sort d, u, -5/6 in descending order.
d, -5/6, u
Let r = 15 + -24. Let n be (-3)/(-30)*(-15 - 12) - (-6)/30. Sort 5/4, r, -5, n.
r, -5, n, 5/4
Let s be 11/6 + (-27)/(-162). Sort s, -5/4, 0 in decreasing order.
s, 0, -5/4
Let j = -494 + 9388/19. Let d = 1 + -3/2. Put d, j, 1 in descending order.
1, j, d
Suppose 3*c = -10 + 1. Suppose 2*y + y = 5*g, 4*g = 2*y. Suppose 254 = 5*u + 259. Sort c, u, y.
c, u, y
Let t = -1502 + 1521. Sort 3, -4, t, 2 in increasing order.
-4, 2, 3, t
Let u(f) = f**2 - 6*f - 12. Let l be u(8). Suppose -3*x = -l*x - 5. Sort 22, x, -4 in descending order.
22, -4, x
Suppose 4*s = -4*n + 36, 0*s = -4*s + 20. Sort n, 7, -4 in descending order.
7, n, -4
Let h be ((-38)/(-6) - 6)*54/180. Let o = -49/72 + 5/9. Put h, o, 2/15 in ascending order.
o, h, 2/15
Let s(d) = -4 - 2*d - 16*d**3 + 3*d - 6*d**2 + 17*d**3. Let q be s(6). Let m be 1 + q/(1 + -3). Put -1.3, m, -5 in decreasing order.
m, -1.3, -5
Suppose 0 = 2*h + 3*h + 10. Let v = -112 + 117. Put v, 2, h in descending order.
v, 2, h
Let i be (-8 - -5)*2/(-6). Put