 + 13, v = -6*t + 2*t + 7. Put t, k, 2 in descending order.
t, 2, k
Let u = -166 + 163. Put -2/3, u, 4/7, -0.1 in ascending order.
u, -2/3, -0.1, 4/7
Let d = 7 + -6. Sort 4, -5, d in descending order.
4, d, -5
Let t = 3 - -2. Suppose 0 = -t*x - 30 + 5. Put -4, x, 4 in descending order.
4, -4, x
Let n = 2.99 + 0.01. Sort n, 5/24, 4/3, -0.5 in decreasing order.
n, 4/3, 5/24, -0.5
Suppose -8 = 16*z - 18*z. Sort 2, z, -5, 11 in descending order.
11, z, 2, -5
Suppose 8*j + 30 = 6. Put j, -4, 2 in increasing order.
-4, j, 2
Let n = -603.87 + 599. Let v = n - 0.13. Put 4, v, -5/3 in descending order.
4, -5/3, v
Let s = -2 - 6. Let d = s - -8. Put 3, d, 1 in ascending order.
d, 1, 3
Let f be (-4 + 0 + 1)/1. Suppose 2*s + 2*k = 4, 2*k = 2*s + 1 + 3. Let a(o) = o**3 - 20*o**2 + 17*o + 36. Let g be a(19). Put s, g, f in descending order.
s, g, f
Let l(d) = -d + 13. Let t be l(13). Suppose 0 = -2*i - t*i + 6. Sort 5, i, -0.2 in decreasing order.
5, i, -0.2
Suppose -2*n + 3 = 11. Let x = n - -7. Suppose 4*w + 7 = x. Sort w, 0, -5.
-5, w, 0
Let b = -2.4 - -2.6. Sort -3/4, 0.5, b.
-3/4, b, 0.5
Let i = -5.3 + -0.7. Put 2, i, 0.5 in ascending order.
i, 0.5, 2
Let w = 28/3 + -9. Put 0.5, -5/3, 1, w in descending order.
1, 0.5, w, -5/3
Suppose 13 = 3*m + 1. Let d be 13/3 + (-4)/(-6). Sort -3, d, m.
-3, m, d
Suppose 0*j + 4*j - 16 = 0. Let s(t) = t + 4. Let z be s(-4). Let n be -4 - z*3/6. Put j, -0.3, n in decreasing order.
j, -0.3, n
Let j = 6.6 + 0.4. Let n = j + -10. Put -4, n, 2/9 in decreasing order.
2/9, n, -4
Let g(x) = -x**2 + 7*x - 5. Let c be g(6). Let j = -8 - -10. Suppose 8 = -j*o, -i + 3*o + 19 = -o. Sort -2, i, c.
-2, c, i
Let t = -0.02 - -4.02. Suppose -52 = -3*o + 17. Suppose 0*m = 5*m + 4*f - o, -f = m - 5. Sort m, t, 0 in descending order.
t, m, 0
Suppose -x = -6*x + 15. Suppose -2*d - x*d = 0. Put 5, -1, d in increasing order.
-1, d, 5
Let q = -6 + 5.6. Let c = q - -0.4. Let y = -50 - -54. Sort 1, c, y.
c, 1, y
Let a be 2*(-1)/(-2)*(-6 - -6). Put -1, a, 3, 2 in ascending order.
-1, a, 2, 3
Let t = -2.7 + 2.3. Sort 3, t, 12 in descending order.
12, 3, t
Let l = 1 - 0. Let c = 3 + l. Sort 3, 1, c in decreasing order.
c, 3, 1
Let t = 1 + 3. Suppose -5*w = -3*w. Put -4, t, w in increasing order.
-4, w, t
Let m = -14 - -10. Let u be 1/m + 0 + 0. Let z be (1/6)/((-14)/(-63)). Put z, u, 0 in increasing order.
u, 0, z
Let v = -0.5 + 0.3. Let b = -0.1 + 0. Let s = -2 - -1. Sort s, v, b in decreasing order.
b, v, s
Let o(x) = 5*x**3 - 4*x**3 - 4 + 6*x**2 - 2*x**3 - 5*x. Let p be o(5). Suppose -5*v = -2*s + 13 - 0, -20 = -4*s + 4*v. Put s, -5, p in decreasing order.
s, p, -5
Let l = -11.82 - -12. Let a = l - 0.36. Let w = 0.08 + a. Sort w, -3/5, 1/5 in decreasing order.
1/5, w, -3/5
Let b = -33 + 20. Sort b, 1, -1 in descending order.
1, -1, b
Let x = -0.371 + -0.129. Put x, 6, 1 in descending order.
6, 1, x
Suppose -4*v = 5*p + 6, 3*p - 6*p = 3*v + 6. Suppose w = 1 - 4, 0 = 5*r + 3*w - 206. Suppose r = 5*t + 23. Sort t, v, -3.
v, -3, t
Let d be (1 - (-1 + 1))*-4. Let x be (6/9)/(5/(-15)). Let a be 1/1 - 12/6. Sort x, a, d.
d, x, a
Let o(n) = -n**2 + 3*n + 3. Let d be o(3). Let z = d + 0. Suppose 5*g - 15 = 5*f, 10 = -5*f + 3*g - z. Sort -0.5, f, 2 in descending order.
2, -0.5, f
Let x be ((-2)/4)/(1/10). Suppose 0 = -3*n + 12 - 21. Sort -4, n, x in decreasing order.
n, -4, x
Let u = 33 - 23. Let z = 9.2 - u. Let t = z - -0.4. Put t, 1, -5 in descending order.
1, t, -5
Let r = 2.3 + 0.7. Let q = 1243/7 - 178. Put r, q, -3 in increasing order.
-3, q, r
Let s = -8 + 11. Suppose 2*t + j = 5*j - 8, 0 = t - s*j + 4. Let q(y) = y + 2. Let h be q(-3). Put 0, h, t in increasing order.
t, h, 0
Suppose -2*l + 0*l - 44 = 0. Let h = l - -16. Put 5, -2, h in descending order.
5, -2, h
Let o = 26 - 16. Sort -4, o, 0.1.
-4, 0.1, o
Let p(l) = l**2 + 4*l. Let z be p(-3). Let o be (-5)/z + 1/3. Put -1, -5, o in descending order.
o, -1, -5
Let o(c) = c - 4. Let f be o(1). Sort 0, f, -44 in descending order.
0, f, -44
Let t = -0.023 + 3.023. Suppose 0 = f + 2*f. Let i = 0.11 + 3.89. Sort t, i, f in descending order.
i, t, f
Let s(z) = z**2 - 22*z - 73. Let o be s(25). Suppose -2*g - 8 = 2*g, 5*u - 7 = g. Sort -2, o, u in ascending order.
-2, u, o
Suppose -3*i = 2*q + 2, -7*q + 4*i = -2*q + 5. Let p = 0.03 - 0. Let n = p - 0.43. Sort 0, q, n in decreasing order.
0, n, q
Suppose 0 = -5*m + y - 29, 4*y - 2 = m - 0*m. Sort 0, -3, m, -2.
m, -3, -2, 0
Let y = -16/5 + 17/10. Put -2/7, 0.3, y in increasing order.
y, -2/7, 0.3
Suppose 2*f - 3*p = f - 16, 5*f = -p. Suppose 0 = -4*a + 19 - 3. Sort f, -2, a in ascending order.
-2, f, a
Let m(n) = 2*n + 1. Let o be m(4). Sort -3, 0, o in ascending order.
-3, 0, o
Let a = -0.3 + 0.1. Let t = 49 - 49. Put t, 1, a in descending order.
1, t, a
Let b = -1 - -4. Suppose o = 3*g - 16, 4*g - 3*o - 12 = -4*o. Suppose 0*q - q = g. Sort q, b, 5.
q, b, 5
Let j = -99 - -82. Sort j, 4, -2.
j, -2, 4
Let k be (-4)/(-12) - (10/(-6) - -2). Sort 4, -11, k in descending order.
4, k, -11
Let a = 4 + -1. Let q be 74/14 + (-18)/63. Suppose -16 + 1 = q*o. Sort a, -2, o in descending order.
a, -2, o
Let a = 12.2 + 0.8. Let y = a + -12.6. Sort y, 0, -0.2 in decreasing order.
y, 0, -0.2
Suppose 0 = -5*h - 3*r + 23, -6*r - 13 = -4*h - 3*r. Suppose 21 = -7*k + 2*k + 2*n, 0 = 4*n - 12. Sort h, k, -4 in decreasing order.
h, k, -4
Let o(y) = 3*y. Let v be o(1). Let t = 2 - v. Sort 2, t, 0 in decreasing order.
2, 0, t
Suppose 14 + 11 = 5*v. Suppose 0 = c + v - 3. Put 0, 2, c in descending order.
2, 0, c
Suppose -35 = 5*d + 5*i, -4*i = 5*d - 0*i + 31. Let b be -2 + (-3)/(12/(-16)). Put d, 1, b in descending order.
b, 1, d
Let u = -32 + 31. Put -2, -5, u in ascending order.
-5, -2, u
Suppose 2*r + 6 = -2. Let y be r - 1/((-3)/9). Let p = y - -1. Put -0.2, 3, p in ascending order.
-0.2, p, 3
Let i be (10/2)/1*1. Let l = 0.4 - -0.1. Sort l, i, 0 in descending order.
i, l, 0
Suppose 2*l - 19 = -3*s, -5*l + l - 2*s + 26 = 0. Suppose 4*o - 6 - 24 = 2*u, l*o - u - 30 = 0. Sort 1, o, -5 in decreasing order.
o, 1, -5
Let b = 0.36 - -0.34. Sort 5, -2/3, b, -5 in ascending order.
-5, -2/3, b, 5
Let w = -36.8 + 19.6. Let k = w - -17. Sort -2/7, 0.1, k in decreasing order.
0.1, k, -2/7
Let g = 0.13 - 0.13. Let f = -0.3 - g. Sort 2, f, -2 in descending order.
2, f, -2
Let g = -6 + 9. Suppose 5*r = 2*c - 17, -g*r - 11 = -c - 0*c. Sort c, 3, -2/11 in descending order.
3, -2/11, c
Let k = 0.5 - 0.3. Let f = -0.12 - 1.08. Let b = k + f. Put 2, b, 1/7 in decreasing order.
2, 1/7, b
Let q(d) = d**3 + 5*d**2 + 3*d + 1. Let m be q(-4). Let s be ((0 - m)*1)/1. Let v = 4 + -7. Sort -2, v, s in ascending order.
s, v, -2
Let v be -4 + (-3 - -3) + -5. Sort -3, v, 3 in ascending order.
v, -3, 3
Let n be (-596)/60*4/6. Let z = n - -56/9. Let d = -16 + 16.1. Put -1, z, d in descending order.
d, z, -1
Let z(l) = 2*l + 2. Let w be z(-2). Let t = 2.4 - 2. Sort w, t, -4/3.
w, -4/3, t
Let w = -2 + 0. Sort 1, -5, w in descending order.
1, w, -5
Let g be -2 + 4 + 2 + 2. Let w be (g + -1)*1/(-1). Suppose -3*a + 8*a = a. Sort w, -2, a in descending order.
a, -2, w
Let j = 19 - 23. Sort -3, 1, j.
j, -3, 1
Let o be (-6)/(-15) + (-42)/(-20). Let k be (-110)/30 + (-1)/3. Sort 1, o, k in decreasing order.
o, 1, k
Suppose -p + 4 = 0, 25 = n + 5*p + 1. Let g(r) = 2*r - 2. Suppose 2 = -a - a. Let t be g(a). Sort -2, t, n in ascending order.
t, -2, n
Let z be (2/(-8))/(5/20). Let m = 0.5 + -0.6. Let r = 0.4 + m. Put r, 4/7, z in increasing order.
z, r, 4/7
Suppose -5*u - 2*c = 190, 0*c = 3*u - c + 114. Let i be (-2)/10 - u/(-60). Let v = -157/230 - -18/23. Sort 3, v, i.
i, v, 3
Suppose 5*k + 338 = 4*f, 2*k + 2*f - 31 = -159. Let w be 12/k - 62/22. Sort w, 4, 2.
w, 2, 4
Let c = -0.13 - -0.53. Sort c, 1/3, -0.03 in decreasing order.
c, 1/3, -0.03
Let r(i) = -i**3 + 4*i**2 + i - 2. Let o be r(4). Suppose 2*d - 8 = 4*w + 10, -3*w - 15 = 0. Sort 4, d, o in descending order.
4, o, d
Let y(p) = 3*p + 5. Let q be y(4). Suppose 3*u = m - 5*m - q, 4*u = 3*m - 6. Sort 3, 1, u.
u, 1, 3
Let f(i) = -i**3 - 2*i**2 + 2*i - 5. Let d be f(-4). Suppose -5*o = 3*g - d, 5*o - 15 = -5*g - 0*g. Suppose 5*u + 0*u + 4*l = -13, 12 = 4*l. Sort u, g, 3.
u, g, 3
Let y = -10.5 - -13. Let w = -0.5 - y. Sort 1/5, w, 0.3 in decreasing order.
0.