et p = 6 + -5. Let u = -0.1 + p. Let x = 0.5 - u. Put 5, x, -0.2 in increasing order.
x, -0.2, 5
Suppose -28 = -z - 26. Suppose 3*b = -z*b + 75. Suppose 2*s - 4 = -4*g, 7*s - 3*s - b = -g. Sort 18, s, 2 in increasing order.
2, s, 18
Let l = -12 - -14.2. Let h = 2 - l. Let a = 385/9 - 43. Sort 0.2, h, a in increasing order.
a, h, 0.2
Let h = -278 - -283. Sort h, -4, -15, -5 in increasing order.
-15, -5, -4, h
Let s(o) = 2*o**2 + 21*o + 10. Let n be s(-14). Put 1, -3, n in descending order.
n, 1, -3
Suppose 2 = -2*l + 3*l. Suppose 0 = -2*n - l*n - 12. Sort 4, n, 0 in descending order.
4, 0, n
Let p = 841 + -846. Sort -10/13, 1/5, -1/6, p in decreasing order.
1/5, -1/6, -10/13, p
Let l(d) = -d**2 - 4*d + 6. Let b be l(-5). Suppose 4*j - b - 11 = 0. Let u = -178 - -183. Put -5, j, u in descending order.
u, j, -5
Let k = 9.7 + -8.57. Let c = -0.13 + k. Put c, 3, 0 in decreasing order.
3, c, 0
Suppose 333*f = -1036 - 296. Suppose 5*j + 28 = j. Put f, -1, j, -3 in ascending order.
j, f, -3, -1
Let p = -3515 + 3515. Let x(z) = -z**2 + 7*z + 6. Let j be x(7). Suppose 4*k + 5*h - 3*h = j, k - 4*h = 6. Put p, k, 0.1 in descending order.
k, 0.1, p
Let c(n) = 4*n**3 + 3*n**2 - 65*n + 63. Let l be c(1). Let b be (4/(-6))/(1/9). Sort l, -4, b, -1.
b, -4, -1, l
Suppose -4*u + o = -3*o + 12, -4*u - o + 3 = 0. Sort u, 5, -20, -5 in decreasing order.
5, u, -5, -20
Let n = -17 + 67/4. Suppose 0 = -j + a - 2, a - 2*a + 3 = -2*j. Let z be ((-1)/4)/((-6)/(-32)). Sort n, j, z in ascending order.
z, j, n
Let p be (-6)/12*2/5. Suppose -3*k - r = -8, 0 = 2*k - r - 3 - 9. Sort k, p, 0.19 in decreasing order.
k, 0.19, p
Let o be 4 + -2 - 1 - 0. Suppose -2*r = 3*r + 5. Let p = -1 + r. Sort o, p, 3 in descending order.
3, o, p
Let v be (4/10)/(104/60 + -2). Sort 1/2, v, 1, 11.
v, 1/2, 1, 11
Let r(v) = -2*v**2 + 19*v + 15. Let z be r(10). Put 1.7, 0, z, 0.1 in ascending order.
0, 0.1, 1.7, z
Let f be 1 - 0/(-4 + 9). Suppose -4*i - 10 = -d, 5*d = 3*d + i - f. Sort -3, 1, 4, d in decreasing order.
4, 1, d, -3
Let x be (4 + (-48)/4)*(-35)/14. Put 1/12, x, 0 in decreasing order.
x, 1/12, 0
Suppose -4*y = 4*p - 252, 0 = 3*p - 2*p + 3*y - 53. Let f = p + -65. Sort 6, f, -4, -5.
-5, -4, f, 6
Suppose 6*w - 24 - 6 = 0. Sort 3/5, w, -4, -2/19 in increasing order.
-4, -2/19, 3/5, w
Suppose -2057*q = -2053*q + 4. Sort -2, 38, q in descending order.
38, q, -2
Let g = 707 - 703. Let r be (6/9)/(4/30). Let w be 2/r*(-2)/(-4). Put w, -5, g in increasing order.
-5, w, g
Let f(v) be the third derivative of -v**6/120 + v**3/2 - v**2. Let k be f(0). Let u be 270/63 - (-6)/(-21). Put u, -1, k in descending order.
u, k, -1
Let r(i) = 5*i**2 - 4*i - 2. Let o be r(2). Suppose o*m = 8*m + 10. Put 23, m, 1 in ascending order.
1, m, 23
Let a(q) = 3*q + 22. Let n be a(-7). Put -2, n, 1/2 in increasing order.
-2, 1/2, n
Suppose -3*t = -4*t + 3. Suppose -3*o + 7 = 4*h - 49, 2*h - t*o = 46. Suppose 15*a = h*a. Sort 1, -5, a in decreasing order.
1, a, -5
Let b = 2 + 0. Let c = -3647 - -3643. Put 0.5, b, c, -0.3 in ascending order.
c, -0.3, 0.5, b
Let v be (-2)/(-3)*1*-6. Let b(s) = -s**2 - 2*s. Let x be b(-3). Sort v, 3, x in increasing order.
v, x, 3
Let w = -0.012 + 4.012. Let h be -51 - 2/(2/(-3)). Let f be (-2)/(-6) + 40/h. Put f, -0.3, w in increasing order.
f, -0.3, w
Let u = 26 - 31. Put 22, 1/4, 0.5, u in decreasing order.
22, 0.5, 1/4, u
Suppose -75*p + 52*p + 23 = 0. Let t be (-16)/21 + 2/6. Sort -4, p, t in descending order.
p, t, -4
Let p = 0.02 + -10.22. Let g = -10 - p. Let h(i) = -3*i**2 + 23*i + 10. Let q be h(8). Put q, g, 0.3 in increasing order.
g, 0.3, q
Suppose -4*u - 5*r = -11, 3*r + 1 + 2 = 0. Suppose -3*j + 4*k = 15, 5*j - 2*k + 0*k = -11. Put j, -6, u in decreasing order.
u, j, -6
Let o(n) = 6*n + 38. Let k be o(-6). Sort k, 10, 0 in decreasing order.
10, k, 0
Let x be 1*-1 + (0 - -2). Let d = 43 - 41. Suppose 0 = -5*h + 20, 3*h + d - 10 = -2*b. Sort x, b, -3.
-3, b, x
Let c be 3 - 6/(-4)*2. Let s be (-209)/6 - 1/c. Let n be (-4)/5 + (-43)/s. Sort -0.03, n, 1 in decreasing order.
1, n, -0.03
Let k be -4 + (-1 - 9/(-3)). Suppose 0 = -10*m + 8*m. Suppose -3*i + m = 9. Sort k, 0, i in ascending order.
i, k, 0
Let m = 15 - 32. Let k = 20 + m. Suppose k*x - 16 = 2*q, 2*x + 7*q + 2 = 2*q. Put 1/7, 2/7, x in increasing order.
1/7, 2/7, x
Let p be 6/45 + (-308)/60*1. Sort p, 3, 12, 4 in ascending order.
p, 3, 4, 12
Let j = 1697 - 1697. Sort 97, 3/2, j, 2/11.
j, 2/11, 3/2, 97
Suppose -8 = -2*f - 2*f. Suppose 3 = -f*u - 3. Suppose l = -2*l - 12. Put 4, u, l in descending order.
4, u, l
Suppose 4*a + 1 = 25. Let i(b) = b - 10. Let w be i(a). Put 7, w, -1 in ascending order.
w, -1, 7
Let k(p) = -p**3 + 7*p**2 + p - 6. Let x be k(7). Let l be x/(4 + (-22)/6). Sort 0, l, -5, -2 in decreasing order.
l, 0, -2, -5
Suppose 2*f = -3*u + 6*f - 22, -4*u - 4*f - 48 = 0. Put 2, -4, u in decreasing order.
2, -4, u
Let b = 39/2 + -20. Let x = 0.12 - -0.38. Let u = 0.7 - 0.7. Put b, x, u in ascending order.
b, u, x
Let t be 6/2 + 3 + -4. Let o = -114 - -114. Put -6, t, o in increasing order.
-6, o, t
Suppose 2*x - 2 = p, -4*p - 2*x + 22 = -0*x. Let k be 0 + (8 - (8 - p)). Suppose 5*w - k*w = -1. Put 0, 2, w in ascending order.
w, 0, 2
Let b(f) = -2*f**2 + f + 5. Let l be b(2). Put -3, 7, l in descending order.
7, l, -3
Let j = -830 + 829.2. Put j, -0.1, 7 in descending order.
7, -0.1, j
Suppose 1 = -2*b + 13. Suppose 0 = 4*x - b*x, -4*x = -4*n. Sort 5, -7, n in descending order.
5, n, -7
Suppose 0 = 45*b - 46*b + 20. Suppose -4*q + b + 24 = 0. Put q, 4, -1/3 in descending order.
q, 4, -1/3
Let l = 15 + -16. Let g be 201/39 + 8/(-52). Suppose -2*y - w + 16 = 4*w, g*y - 11 = 2*w. Sort 0, l, y in decreasing order.
y, 0, l
Suppose -111*p = -122*p - 11. Sort 3, -4, p, -26.
-26, -4, p, 3
Let f be 12/8*(4 + (-66)/9). Sort f, 0, -37, 5 in decreasing order.
5, 0, f, -37
Suppose -o - 2*c = -2, -o + 9 = -0*c - 5*c. Put 2/9, o, -2, 3/2 in increasing order.
-2, 2/9, 3/2, o
Let w(u) = -u**3 - 8*u**2 - 6*u + 6. Let f be w(-7). Let r = 287 - 283. Sort -1/2, r, f in decreasing order.
r, -1/2, f
Let z = -31.7 + 29.7. Sort 0.1, z, 4 in increasing order.
z, 0.1, 4
Let t(l) = -l**3 - 7*l**2 + 16*l - 13. Let y be t(-9). Suppose 5*b - 22 = -32. Sort -1, y, b, 0.
b, -1, 0, y
Let c be 3/24*-8*2. Let x = -2 + 1. Put -0.5, 3/7, x, c in decreasing order.
3/7, -0.5, x, c
Let v(a) = -3*a + 2. Let d be v(0). Suppose -5*w + 7 = d. Put -2/7, 2/15, -1, w in increasing order.
-1, -2/7, 2/15, w
Let x = -3686 - -3681. Let i = 5 - 3. Sort 0, x, 5, i.
x, 0, i, 5
Suppose 5*w + 6 = -5*v + 1, 5*v + 15 = 0. Suppose 0 = -5*m + m + 2*k - 30, -5*m + 3*k = 40. Sort 6, m, w.
m, w, 6
Suppose -4*f = -4*m - 20, 0 = -3*m - 386*f + 390*f - 15. Let y = -35 + 56. Suppose 5*x = -5*t + 15, t + 2*x = -4*t + y. Put t, -6, m in decreasing order.
t, m, -6
Suppose -q + 6*g = 7*g, 5*q - 1 = -4*g. Sort q, -5, 0, 6 in decreasing order.
6, q, 0, -5
Suppose -3*y = 3*y + 42. Let w be 3/180*y + (-30)/225. Put 0, w, -5, -4 in ascending order.
-5, -4, w, 0
Let d(i) = i**2 - 9*i - 9. Let m be d(10). Let u = m + 4. Sort u, -5, -3 in decreasing order.
u, -3, -5
Suppose -5*o = 5*t - 36 + 56, 0 = -2*t + 2. Sort 2, 5, o, 9 in increasing order.
o, 2, 5, 9
Let y = 174 - 172. Suppose -2*t + 4 + 3 = 3*j, 5*j - 12 = -3*t. Put -3, t, y in ascending order.
-3, t, y
Let v = 240 - 235. Put v, -3, 4 in descending order.
v, 4, -3
Let s be 1/(-2) - (-5)/(-2). Suppose 0*v + 2*v - 6 = 0, -2*m + 10 = 2*v. Suppose -4*a - 5 = 3*i - 4, 5*i - 3 = -m*a. Put 2, i, s in increasing order.
s, i, 2
Let a = 11 - 10.1. Let h = 295 - 296. Let b = h + a. Put -5, 4, b in ascending order.
-5, b, 4
Let a(k) = -2*k - 4. Let x = 21 - 7. Suppose -3*g - 16 = -2*t - 3*t, -3*t = -4*g - x. Let c be a(g). Sort -5, c, 1 in descending order.
1, c, -5
Let q = 300 - 292. Let s(p) = -p**2 + 3*p - 2. Let j be s(4). Let c = q + j. Put c, 5, -6 in increasing order.
-6, c, 5
Let z(m) = -2*m. Let i be z(-3). Suppose -i*l = l + 7. Sort -0.3, l, 2/9, -0.05.
l, -0.3, -0.05, 2/9
Let b(a) = a**2 + 8*a - 15. Let m be b(-9). Let l be 0 + 7 - (-3 - m). Sort l, 0, 5 in ascending order.
0, l, 5
Let y = 0.112 + 1.888. Sort -3/7, y, -2 in descending order.
y, -3/7, -2
Suppose -3*i = -30 - 0. Suppose 0 = 2*x - 3*u - 11, 2*x + 0*x = -4*u - 