 10. Put 2, x, v in decreasing order.
2, v, x
Let v = 644 + -639. Put 7, -2, -4, v in descending order.
7, v, -2, -4
Let r be 28/8*(-16)/(-28). Suppose 6*g - r*g + 16 = 0. Put g, -5/2, -2/11 in descending order.
-2/11, -5/2, g
Let t = 184.4 - 186. Sort 3/8, t, 0.08 in increasing order.
t, 0.08, 3/8
Let s = 94 - 67. Let p be ((-3)/s)/(2/58). Let g = p - -25/9. Put -0.1, g, 1 in ascending order.
g, -0.1, 1
Let g(a) = -a**3 + 5*a**2 - 5*a + 2. Let w be g(3). Let n(i) = -i**3 + 5*i**2 - i + 2. Let r be n(w). Put r, 18, 3 in descending order.
18, 3, r
Suppose -h = 5*x - 21, -3 = -2*h - 1. Sort 3, x, 19 in ascending order.
3, x, 19
Let d be (-12)/70 + (4 - 88/20). Sort d, 2/77, -2 in ascending order.
-2, d, 2/77
Let l = 513 - 510. Sort -21, -2, 2, l in increasing order.
-21, -2, 2, l
Suppose 4*j + 2*u + 0*u - 30 = 0, -j - u = -10. Suppose 8*d + 3 = 43. Suppose d*a = -w - 4*w, 2*w - 6 = a. Put -2, w, j in decreasing order.
j, w, -2
Let a = 1.5 + 4.2. Let t = 10.7 - a. Sort 0.3, -0.4, t, -2/11 in descending order.
t, 0.3, -2/11, -0.4
Suppose 20 = 5*t, -l - 3*t - t + 14 = 0. Let i = 20 + -17. Suppose 9*q - i*q + 30 = 0. Sort 5, q, l in decreasing order.
5, l, q
Let d be ((-3)/9)/((-2)/66). Let v(g) = -6 + 15 + 14*g + 16 - d*g. Let u be v(-15). Put -2, -1, u in ascending order.
u, -2, -1
Let q = -3923/4 + 981. Put 13, -7, -3/2, q in ascending order.
-7, -3/2, q, 13
Let g = 317 - 3463/11. Let u = 133/66 - g. Sort 3/4, u, 1 in descending order.
1, 3/4, u
Let x(n) = n**2 + 3*n - 4. Suppose -q - 6 = 3*q - 5*m, -2*m + 3 = -q. Let s be x(q). Put -28, s, -5 in descending order.
s, -5, -28
Let l = 85 - 121. Let v = l + 35.6. Let o(c) = 2*c - 22. Let x be o(10). Sort x, -10, v.
-10, x, v
Suppose -2*s + 6*s + 4 = 0. Let b be (-4)/2 - (-3)/s. Suppose 0 = -148*p + 157*p - 18. Sort 3, p, b in descending order.
3, p, b
Let m = -0.3 - -1.3. Let w be (-1)/(-3)*(-14)/35. Put w, 5/2, m in increasing order.
w, m, 5/2
Let d = 0.034 - -0.886. Let n = -0.08 - d. Suppose -1 = 15*y - 31. Sort -4, y, n in increasing order.
-4, n, y
Let u = 0.86 - 0.06. Let j = u + -0.6. Let o = -0.6 + -0.4. Put 0, o, j in descending order.
j, 0, o
Suppose 4*v - 4*i + 4 = 0, -2*i = -3*v - 4 - 2. Let n be (v*(-2 + 3))/2. Sort 1, n, -5.
-5, n, 1
Suppose -1 = 2*c + 5. Let k = 47 + -47. Suppose -4*p - 6 + 2 = 0. Sort p, c, k in descending order.
k, p, c
Let z = 0.941 - -1.059. Sort 1, z, -3, 53 in decreasing order.
53, z, 1, -3
Let p be (-16 - -15) + (-5)/(-8). Suppose 1 - 4 = -f. Let q = 1 - 3. Put f, q, p in decreasing order.
f, p, q
Let q(w) = -3*w - 29. Let t be q(-10). Suppose -3*h = -4 - 8. Put t, h, 3 in descending order.
h, 3, t
Let y(s) = s**3 + 12*s**2 + 7*s - 13. Let q be y(-11). Let j = 31 - q. Let u = -4 - -3.7. Put j, -7, u in ascending order.
-7, u, j
Suppose 2*a + 2*a + 4*p = 4, -3*a + 4*p = 25. Let i = 46 + -46. Sort -2, 4, i, a in descending order.
4, i, -2, a
Suppose 0 = -43*q + 42*q + 3, -v = -5*q + 11. Sort v, 17, -2 in ascending order.
-2, v, 17
Let a be (-4)/14 + (1992/14)/(-6). Let v be ((-2)/(-9))/(40/a). Sort -0.01, -3, v in ascending order.
-3, v, -0.01
Let m be (10/(-4))/((-13)/26). Sort -11, m, 3.
-11, 3, m
Let h = -6.94 - -6.6. Let z = 0.74 + h. Sort -0.4, -1/4, z, 4.
-0.4, -1/4, z, 4
Let f = -394 + 396. Suppose -3*j - 3 = -2*j. Put j, f, -11, 1 in ascending order.
-11, j, 1, f
Suppose 82*l = 98*l. Sort 1/273, l, 1/7, -0.1.
-0.1, l, 1/273, 1/7
Suppose 28*a = 57 - 1. Sort 5, a, -1000 in decreasing order.
5, a, -1000
Let m = -171 - -175. Put m, 1, -4 in descending order.
m, 1, -4
Let r be 14/(-6) + (-2)/(-6). Let g = 0 - r. Let y be -6*((-34)/(-4))/17. Sort g, -5, y in decreasing order.
g, y, -5
Let u = -325 + 315. Sort -2, -4, u in descending order.
-2, -4, u
Suppose -3*h - 18 = -4*n - 68, 12 = 3*n. Suppose 0 = -5*o + 13 + h. Sort o, -2, -1 in descending order.
o, -1, -2
Let a be (-4)/3*45/(-30). Let z be 0 - (-1 + (2 - a))*1. Sort 2, -1, 3, z in increasing order.
-1, z, 2, 3
Let w = 142 - -5. Sort 5/4, w, -0.4, 3 in increasing order.
-0.4, 5/4, 3, w
Suppose 0 = 3*g + 5*x - 47, -5*g + 2 = -5*x - 143. Let a be 0/(-1) + (-18)/g. Let q = 2/63 - 16/63. Put a, q, -3 in ascending order.
-3, a, q
Let x = -153 + 151. Sort x, 3, 5, 0 in ascending order.
x, 0, 3, 5
Let f(q) = q**3 + 4*q**2 - 3. Let j be f(-4). Suppose 5*r - i - 5 = -0, -3*r = -2*i - 10. Suppose 0 = -152*y - 277 - 483. Sort y, r, j in ascending order.
y, j, r
Let w = 0.11 + -1.11. Let m(g) = -g**3 + 4*g**2 + 50*g - 149. Let f be m(3). Sort 0, f, w in decreasing order.
f, 0, w
Let o = -937/3 - -313. Put 0.5, -4, o, 4 in descending order.
4, o, 0.5, -4
Let g = 19 - 20. Let y be 9/5*(g + 6). Let w(v) = -3*v + 22. Let h be w(y). Sort h, -3, -10 in decreasing order.
-3, h, -10
Let q be (2/1)/(0 + -4). Let d = -1.2 + 0.1. Let i = -0.9 - d. Put q, i, 5 in decreasing order.
5, i, q
Suppose 0*f = 4*f - 8. Suppose 56 = 6*y + f*y. Put -4, -3, y in descending order.
y, -3, -4
Let i = -421 + 416. Put i, 0, -0.06, -6 in decreasing order.
0, -0.06, i, -6
Suppose -14*a + 13*a = -2. Let d be (-119)/(-21) - 2/3. Sort -7, d, a in descending order.
d, a, -7
Let x be (-12)/54 + 52/(-9). Let i be 0 - 0 - (2 + x). Sort 14, 1, i in increasing order.
1, i, 14
Suppose -6*g = 95 + 13. Let w be 3/(-18) - 7/g. Sort w, 0.4, -4 in descending order.
0.4, w, -4
Let f = -1339 + 1334. Sort f, 2, 27, -1/7 in increasing order.
f, -1/7, 2, 27
Let n = -25 - -20. Suppose 5*c - 3 = 8*c. Sort n, 1/6, 2/7, c in decreasing order.
2/7, 1/6, c, n
Let t = -321.7 - -322. Let d be (-1)/2 + (-21)/(-6). Sort 5, t, -0.1, d in descending order.
5, d, t, -0.1
Let a be (3/(-351)*-3)/((-5)/(-30)). Let i(r) = r**3 + 4*r**2 - r - 2. Let u be i(-4). Suppose 5 - 11 = u*g. Sort g, a, 4 in descending order.
4, a, g
Let m = -111.4 - -113.374. Let x = -0.026 - m. Put x, -1.1, -0.4 in decreasing order.
-0.4, -1.1, x
Suppose -5*v - 19 = 6. Put -1, 50, v in decreasing order.
50, -1, v
Let g = 98 + -87. Suppose 7*r - 4*r = -3*v + 3, 0 = v + 3*r - g. Put 3, v, 2 in ascending order.
v, 2, 3
Let z(b) = -b**3 + 9*b**2 - 15*b + 12. Let m be z(7). Sort -3, -1, m, 0 in ascending order.
-3, -1, 0, m
Let u = -2.02 - 2.98. Let i(n) = n**2 - 3*n + 1. Let p be i(2). Sort u, 1, p in ascending order.
u, p, 1
Let z = 739 + -738.6. Let g = -3 + 0. Let m be ((-20)/(-105))/(2/g). Put 1/4, z, m in increasing order.
m, 1/4, z
Suppose -7 = -2*t + 5. Let l be t/(-2) - 0/8. Sort 15, 3, l in ascending order.
l, 3, 15
Suppose -k = 2*q, -3*q - 5 = -2*q - 2*k. Let y be (-1 - q) + -4 + 20 + -21. Let n(d) = -2*d - 5. Let m be n(-4). Sort y, -3, m in decreasing order.
m, -3, y
Let x be 35/10 - (-3)/(-6). Suppose 6*f = x*f - 6. Sort 2, f, 4 in decreasing order.
4, 2, f
Let f be 2/7 - (-29)/(-28). Let i = -3.02 + 0.28. Let z = -0.26 + i. Sort f, z, 3 in ascending order.
z, f, 3
Let w = -3 - -1. Let m = -1111.8 + 1112. Put m, w, 2 in descending order.
2, m, w
Let u = -232/669 + 3/223. Sort u, -0.02, 5 in ascending order.
u, -0.02, 5
Let r = -1.4 + -0.6. Let c = r + 1.8. Let n = 2/213 + 205/852. Put c, 0.3, n in increasing order.
c, n, 0.3
Suppose 5*f - q - 1 - 15 = 0, 5*f - 36 = -4*q. Put 12, 3, -5, f in decreasing order.
12, f, 3, -5
Let i be 640/240*(-6)/8. Sort i, -4, -10 in ascending order.
-10, -4, i
Let o = 52 + -100. Let v = -47.95 - o. Put v, 2/13, -4/5, -5 in decreasing order.
2/13, v, -4/5, -5
Let u = -87/68 + 1/34. Put u, 3, -5 in descending order.
3, u, -5
Suppose -3*k = -3 + 6. Sort 9, k, -4, -5.
-5, -4, k, 9
Let j = 97 - 98. Put j, -2, -5, 1 in decreasing order.
1, j, -2, -5
Let m(q) = -2*q**2 + 8*q. Let r(n) = 3*n**2 - 8*n. Let a(v) = -4*m(v) - 3*r(v). Let s be a(-7). Let f = 9 - s. Sort f, 0, -6 in ascending order.
-6, 0, f
Let v = -5297/15 + 353. Let l(a) = -a**2 - 8*a - 3. Let b be l(-5). Let y be ((-12)/(-81))/(8/b). Sort v, y, -3/4 in decreasing order.
y, v, -3/4
Suppose -39*v = -46*v - 7. Suppose 0 = -r + 7*q - 3*q - 9, 5*q - 9 = 2*r. Sort -5, v, r in decreasing order.
r, v, -5
Let r = -0.5656 + 0.0656. Let u be (12/10)/(2/5). Put u, -1/6, 4/5, r in descending order.
u, 4/5, -1/6, r
Let w = -148 + 147.6. Let d = 0.01 + 0.03. Let j = d - -0.06. Sort -0.2, w, j.
w, -0.2, j
Let n = -1/123 + 91/1107. Sort -0.09, n, -1.
-1, -0.09, n
Suppose 4*k - 20 = 2*i, 0*i + i - 25 = -5*k. Suppose -2 = -i*