rt k, 4, r in descending order.
4, k, r
Let s = -5.7 - -6.7. Let i = -5 + 2. Let y = -230/3 - -76. Put i, y, s in increasing order.
i, y, s
Suppose 5*z = c + 30, -3*z - 2*c = -2*z + 5. Let s be (-1 + 4)*(-4)/(-30). Sort -0.5, s, z in descending order.
z, s, -0.5
Let x = 13/18 - 8/9. Let i = 6 - 2. Sort i, x, -2/11 in descending order.
i, x, -2/11
Let o = -0.63 + 0.63. Put o, -4, 0.03, 1 in decreasing order.
1, 0.03, o, -4
Let u = -188 - -110. Let a be 4/10 - u/(-270). Put a, -1/5, -5/3 in ascending order.
-5/3, -1/5, a
Let a = -9 + 9. Put -34, 3, a, 5 in decreasing order.
5, 3, a, -34
Let t = -1.8 + 11.8. Let b = t - 15. Put 5, b, 0.2 in decreasing order.
5, 0.2, b
Let c be ((-32)/360)/(6/(-9)). Suppose -1 - 3 = 4*s. Let i be -1*2*-1 - s. Sort 5, c, i in ascending order.
c, i, 5
Let m be -1 + (-6)/(-6 + 4). Let a be -1*(-1)/(-2)*-6. Sort a, 1, m.
1, m, a
Let j(u) = -4*u + 17. Let h be j(5). Sort h, -2, -5 in descending order.
-2, h, -5
Let h be (-3)/4*2/3. Let q = -143 - -2433/17. Sort q, h, -2 in descending order.
q, h, -2
Suppose 10 = -10*w + 8*w. Sort -3/2, 0, 1/2, w in decreasing order.
1/2, 0, -3/2, w
Let j = -375.11 - -366. Let g = -0.11 - j. Let v = g - 4. Sort -5, 2, v.
-5, 2, v
Let h(d) = -d**2 - 4. Let j = -1 - -1. Let r be h(j). Let g = 144 + -145. Sort 4, g, r.
r, g, 4
Suppose 0*u = -u + 1, -5*u = 2*m - 7. Sort 4, 3, m in decreasing order.
4, 3, m
Let i = -7 + 7.6. Sort i, 0, -3.
-3, 0, i
Let w(n) = n**2 + 5*n + 3. Let v be w(-4). Let t be ((-15)/10)/(7 + v). Sort t, 4, 0 in increasing order.
t, 0, 4
Suppose 0 = -2*u + 2 + 4. Suppose -8 = t + u*t. Sort -1, t, 0 in descending order.
0, -1, t
Let s = -3 - -3.5. Let b = 264 + -1324/5. Sort -1/4, s, b in ascending order.
b, -1/4, s
Let u = -13.4 - -13. Put u, 2, -4/3 in decreasing order.
2, u, -4/3
Let x = 22.89 - 23. Let o = x + 0.31. Let c be 1/(-1 - 3/2). Sort 0.4, o, c.
c, o, 0.4
Let p = -7 - -9. Let g be (p - -3)*(4 + -3). Suppose d - 3*b = 12, -3*b + 0*b - 12 = g*d. Put d, 1, -1 in descending order.
1, d, -1
Let h be -1 - (-2 - 1/(-2)). Let r be (5 + -25)*2/(-8). Suppose -1 - 6 = -4*n + r*x, -x - 7 = 2*n. Sort -1/2, h, n in decreasing order.
h, -1/2, n
Let v(l) = l**3 + 10*l**2 + 9*l + 6. Let g be v(-9). Let k = -9 + g. Sort k, 1, 1/3 in decreasing order.
1, 1/3, k
Let b be 6/(-15) - (-24)/10. Suppose 2*r + b = -0. Sort r, -5, 0 in decreasing order.
0, r, -5
Suppose 10 + 6 = 4*y. Suppose -5*z + 3*i - 2 = -3, -4*z = -4*i + y. Let x be (-2)/(0 - 2/5). Put x, z, -5 in decreasing order.
x, z, -5
Suppose 14 = 2*s - 4*v + 2*v, -2*s + v = -9. Suppose 4*c - 2 = h + 3, -s*c + 4*h = -20. Sort c, 3, 4 in descending order.
4, 3, c
Let m = -1.95 + 2. Let h = m + -0.55. Put -1, 0.4, h in descending order.
0.4, h, -1
Let v be (84/(-92))/(-1) - 1. Let s = -64/207 - v. Put 3/5, 5/3, s in descending order.
5/3, 3/5, s
Let n(m) = m**2 - 2*m - 3. Let g be n(-2). Suppose -3*w + 72 = -5*i, 4*w - 2*w = -3*i + 48. Let x be (80/w)/(2/(-3)). Put x, g, 3 in increasing order.
x, 3, g
Let u(m) = -m**3 + 6*m**2 - m + 2. Let s be u(6). Let t(o) = o + 1. Let c be t(s). Let g = 1.97 - -0.03. Sort g, c, -0.4 in decreasing order.
g, -0.4, c
Let a be 3/18*2*6. Suppose 4*d - a*o + 10 = -8, -d - 3*o = 1. Let w = -7 - -12. Put w, d, 7 in decreasing order.
7, w, d
Suppose 11 = 3*h - 43. Suppose 0 = -2*w - 3*l - h, -1 + 6 = -3*w + l. Let r = -60 + 359/6. Sort r, 4, w in increasing order.
w, r, 4
Suppose 2*s - 9 = a, -a - 8 = -s + 3*a. Sort -6, s, 2 in descending order.
s, 2, -6
Suppose 4*p = 3*c - 47 + 8, 0 = -4*p. Let r = 9 - c. Put -5, r, 5 in descending order.
5, r, -5
Suppose 2*w = 4*x - 244, -w - 2*x - 127 = x. Sort w, -1, 3 in ascending order.
w, -1, 3
Suppose -k = -4*w + 36, 0 = k + 2*w + 21 + 15. Sort k, 5, -5 in decreasing order.
5, -5, k
Suppose -5*u - 3*b - 11 - 2 = 0, -3*u - 2*b - 8 = 0. Sort -4, 3, 2, u in decreasing order.
3, 2, u, -4
Let l(h) = -h**3 - 6*h**2 - 1. Let f(v) = -3*v**2 + 3*v. Let p be f(2). Let m be l(p). Sort m, 3, 1 in decreasing order.
3, 1, m
Let l = 1.8 + -1.3. Sort 0, 0.08, l.
0, 0.08, l
Let u be 1/(1 - 42/4). Let f = 1.6 - 2. Let n = f + -1.6. Sort n, u, -4.
-4, n, u
Let g = 7 - 15. Let v be 4 - (2 + 2 + 4). Sort v, g, -3 in ascending order.
g, v, -3
Suppose -19 + 0 = -3*y - 4*p, -p + 16 = 3*y. Let z be (2/5)/(-1)*y. Let x be (-3)/(-6)*6 + 0. Sort 1, x, z in descending order.
x, 1, z
Let y = 0.37 + -0.2. Let r = y + 0.13. Put -3, r, 4/3 in increasing order.
-3, r, 4/3
Let q be -3 - (2 - 0/3). Let b = -2.7 + 3. Put q, b, 0.2 in increasing order.
q, 0.2, b
Suppose -13 = -7*a + 1. Put a, 0, -3 in decreasing order.
a, 0, -3
Let d(y) = -y**2 - 6*y + 7. Let o be d(-7). Suppose k = -o*k. Put k, -2/9, -3 in decreasing order.
k, -2/9, -3
Let j = -17 - -18. Suppose 6*h + 45 = 5*i + 2*h, 3*i - 5*h - 40 = 0. Sort i, j, -2 in descending order.
i, j, -2
Let j be ((-6)/(-4)*2)/1. Sort 4, -0.5, j in descending order.
4, j, -0.5
Suppose 2*j - 15 = -j. Let t(v) = v**3 - 2*v. Suppose -8*s = -13*s - 10. Let r be t(s). Sort r, 0, j in decreasing order.
j, 0, r
Let c = 29.6 + -30. Put c, 0.4, 3 in ascending order.
c, 0.4, 3
Let b = 107/4 + -26. Let z be 44/(-85) + (-4)/(-10). Put z, 2/5, b in increasing order.
z, 2/5, b
Suppose f - 3 = -7. Let y = -7 + 2. Suppose 4*c - 2*c = 6. Put c, y, f in ascending order.
y, f, c
Let k = 139/2 + -68. Let i = -3 + 4. Sort k, -1, i in descending order.
k, i, -1
Suppose 8*i - 3*i = -2*a + 31, -2 = -4*a + 2*i. Suppose 0 = a*n + 4 + 2. Put 1/8, n, -7 in descending order.
1/8, n, -7
Suppose 5*g - 14 - 1 = 0. Let y be (9/1)/(1/(5 + -6)). Let z be g/y + (-2)/3. Put 5, z, 2 in descending order.
5, 2, z
Let z be (-2)/18 + 3/9. Let d be (6/(-15))/(19/5). Sort 1/4, d, z in descending order.
1/4, z, d
Let o(g) = -g**2 - 3*g + 1. Let a(h) = -1. Let z(u) = 3*a(u) - o(u). Let m be z(-4). Suppose m*j + 15 = 3*j. Sort 1, j, -4 in decreasing order.
j, 1, -4
Let s = 0.07 - -0.53. Let d = s - 0.9. Suppose 5*i + k + 3 + 4 = 0, -5*i + 4*k = -3. Put 0, d, i in descending order.
0, d, i
Suppose -3*g - 25 = -25. Put 3, g, 19 in ascending order.
g, 3, 19
Let p = 6.85 - -0.15. Let g = -6 + p. Sort -1/2, -2, g.
-2, -1/2, g
Suppose -3 = -2*v - 9. Let k(d) = 12*d + 4 - 7*d + 2*d**2 - 4*d - 3*d + d**3. Let h be k(v). Sort 0, h, -3 in decreasing order.
h, 0, -3
Let z be (-1)/(-2) + 9/(-2). Suppose -5*q = -4*c + 8, -4*c - 3*q + 12 = 36. Sort z, c, -5 in increasing order.
-5, z, c
Suppose 2*z - 3*z = -2*l + 1, -l + 23 = -5*z. Let x = 40 - 58. Let w be (x/(-297))/((-1)/3). Sort 1, z, w in descending order.
1, w, z
Suppose -4*r + 3*r + 1 = 0. Let q be 1*(-1 - (2 - 3)). Sort r, q, -3.
-3, q, r
Let o = 161/2 + -81. Sort -5, -1/20, o in ascending order.
-5, o, -1/20
Let q = -0.074 + -0.226. Put 2/9, 0.3, q, 4 in descending order.
4, 0.3, 2/9, q
Suppose -w = -g + 5*g + 6, -4*g + 5*w = -6. Put 1, g, 1/5 in increasing order.
g, 1/5, 1
Let d(l) = -2*l**3 - l - 1. Let h be d(-1). Suppose -6*s + 3*s + 9 = 3*a, 2*a - 6 = 2*s. Put h, -5, a in descending order.
a, h, -5
Let x = 6 + -9. Put x, -0.1, 3/4 in descending order.
3/4, -0.1, x
Let f(m) = m**3 - 2*m**2 - 5*m + 2. Let l be f(3). Let b(x) = x + 6. Suppose -2*d - 2*d - 28 = 0. Let w be b(d). Put w, 0, l in descending order.
0, w, l
Let w = 1/32 - 35/96. Sort 3/8, w, -1.
-1, w, 3/8
Let o be (-1)/(2/((-4)/(-2))). Let y = 2 - 4. Sort o, 2, y.
y, o, 2
Suppose t - 3*a + 1 = -4, 4*t - a - 2 = 0. Let s be ((-3)/(0 - -3))/t. Put 0, s, -3 in descending order.
0, s, -3
Let o = 2 - 1. Let k = o - 0.6. Let u = 0.3 - -0.2. Sort k, -0.4, u in descending order.
u, k, -0.4
Suppose 165 = -4*i - i. Let n be i/18 + 1 - -1. Let b be (-72)/130 - 4/(-10). Sort n, -4, b.
-4, b, n
Let f be 5/(-2)*(-2)/6. Sort f, 0.4, -0.2 in descending order.
f, 0.4, -0.2
Suppose -2*r + 2*c - 4 = -4*r, -2*r + 4*c = 26. Let w be (-14)/12 + 1/6 + -3. Sort r, 0, w.
w, r, 0
Let n = -2.4 + 2.3. Suppose -3*v + 2*v = 5. Sort n, -1, v in decreasing order.
n, -1, v
Suppose 2*x + 2*t = 12, -5*x + 8 + 22 = 3*t. Let j be -1*0*3/x. Let r = -3/44 + -2/11. Put r, j, -0.4 in ascending order.
-0.4, r, j
Suppose p = -0*p - 3. Suppose -6 = 3*v + 3*k, 0 = 3*v + 6*k - 5*k + 6. Sort 0, p, v in ascending order.
p, v, 0
Suppose -2*w + 27 = 5*n, 3 = -3*n + 4*n - 2*w. Put n, -5, -3 in ascending order.
-5, -3, n
Suppose 4*o