*p - 12 = 0, -3*p + 6*p = -4*b + v. Put 2, 3, 0, b in decreasing order.
b, 3, 2, 0
Suppose -22 = -4*q - 2*i, -4*q + 283*i - 13 = 278*i. Suppose 2*b = -2*b - 4. Sort b, 4, q, 12 in descending order.
12, 4, q, b
Let n = -110 + 111. Sort 2, 0.55, n in decreasing order.
2, n, 0.55
Let z = -9 + 22. Suppose -5*s - z = 7. Let p be (-5 - -2 - s)/(-3). Sort 2/3, p, 2 in descending order.
2, 2/3, p
Let b = -0.4 + 0.3. Let a = -2792 - -2789. Let z = -115/4 + 28. Sort b, z, a in increasing order.
a, z, b
Let h = -0.293 - -5.293. Sort 4, h, 0.1.
0.1, 4, h
Suppose -5*a - 10 = z, 5*z + 6*a = 8*a + 85. Sort 1, -11, z.
-11, 1, z
Let i be ((-2)/25)/((-504)/(-455)). Let r = 1/36 - i. Let b = -3 - -2.9. Put r, 0, b in descending order.
r, 0, b
Let z = 2/23681141 - 14753359513/102657746235. Let b = z + 3/289. Sort b, -0.1, 0.4 in ascending order.
b, -0.1, 0.4
Let g(b) = -b - 1. Let d be g(2). Let l(n) = n**3 - 16*n**2 - 16*n - 18. Let f be l(17). Let t be (f - 1) + 1 - (-40)/20. Sort d, t, -12 in decreasing order.
t, d, -12
Suppose -2*z - 5*g = -13, -14*z + 19*z - 48 = 3*g. Sort 0.17, z, 3 in decreasing order.
z, 3, 0.17
Let b(u) = -u**2 + 11*u + 10. Let p be b(12). Let z(r) = r**3 + 9*r**2 + 8*r + 7. Let i be z(-8). Suppose i + 8 = 5*f. Sort p, 0, f in ascending order.
p, 0, f
Let g be 34/8 + (-6)/24. Let x(m) = m**2 - 2*m - 6. Suppose q + 0*q + 3*w - 5 = 0, q - 2*w = 5. Let k be x(q). Put k, g, 5 in descending order.
k, 5, g
Let h(m) = -2*m**2 - 35*m - 52. Let v be h(-16). Sort -2/7, v, -0.01 in decreasing order.
-0.01, -2/7, v
Suppose -1 + 7 = 6*y. Let n be (-2)/(-4) + (297/18)/(-11). Put -17, n, y, -2 in increasing order.
-17, -2, n, y
Let c = 186 + -185.99. Suppose -j + 0*j = 1. Put c, 0, j in decreasing order.
c, 0, j
Suppose -3*o - 5 = 4. Let f be (2 + -1)*-1 + 16. Let b = f - 11. Put b, o, 0 in descending order.
b, 0, o
Let r = -102 + 173. Let c = r - 74. Let b = 0.1 - 1.1. Sort b, 0.5, c in ascending order.
c, b, 0.5
Let z be 1 + 170/(-108) - (-16)/32. Put -11/5, z, -0.2, -3 in ascending order.
-3, -11/5, -0.2, z
Suppose 5*t = -4*r + 22, -110*r = -4*t - 107*r - 32. Let q(y) = y**2 - 2*y + 1. Let j be q(2). Put 0, j, t, 5 in decreasing order.
5, j, 0, t
Let p = -6.9 + 7. Let n = p + 0.4. Let y = 7.9 + -2.9. Sort -3, y, n in descending order.
y, n, -3
Suppose 0 = -6*m + 11*m - 10. Let o be (-27)/18*2/(-3). Put -16, m, o in decreasing order.
m, o, -16
Let w = -366 - -367. Put 0.4, 3, w, 0.2 in descending order.
3, w, 0.4, 0.2
Suppose -2 = 2*a + 2. Let g(m) = m**2 - 8*m + 5. Let t be g(8). Let x = -3 + 2.7. Sort a, x, t in descending order.
t, x, a
Let x = 5.1 + -0.1. Let c(f) = f**3 - 7*f**2 + 8*f + 5. Let i be c(4). Sort x, -0.1, i in descending order.
x, -0.1, i
Let x = 845 - 899. Sort 0, 0.3, x, 0.4.
x, 0, 0.3, 0.4
Let c = 0.0051 + -0.2051. Put 23, c, 0.2 in decreasing order.
23, 0.2, c
Let a = -14 - -17. Let z = 74 + -73. Sort -0.2, z, a in decreasing order.
a, z, -0.2
Let s = 7 - 11. Let f = -275/7 - -1396/35. Sort -4/9, s, f.
s, -4/9, f
Let v = 7.8 - 8.8. Put -19/4, -0.4, v in decreasing order.
-0.4, v, -19/4
Let l = -44.84 - -21.3. Let i = l + -0.46. Let d = i + 24.1. Sort -1/4, d, -1.
-1, -1/4, d
Let k(b) = b**3 - 8*b**2 + 39*b - 166. Let a be k(6). Put 0, a, -10, -1 in descending order.
0, -1, a, -10
Let i = 9.4 + -9. Let o = -17.7 - -18. Put o, -0.03, i in ascending order.
-0.03, o, i
Let p(i) = i**3 - 2*i**2 + 2*i - 3. Let y be p(2). Let n be (y + 2/4)/((-30)/(-8)). Sort n, 2/3, 0, -2.
-2, 0, n, 2/3
Suppose r + 5*w = -7, 3*w + 0*w + 18 = 4*r. Let a be ((-3)/3 - 7) + r - -3. Suppose 0 = -0*k + k. Sort a, -3, k.
-3, a, k
Let l(m) = 2*m - 1. Let h be l(-6). Let k(o) = -o. Let b be k(-4). Put b, h, -1 in increasing order.
h, -1, b
Let m(y) = -2*y + 19. Suppose 5*g + 4*b = 41, -12 = -g + 2*b + b. Let u be m(g). Put 0, u, -2 in descending order.
u, 0, -2
Let p be (-1)/(-3)*(-891)/(-27). Let w(h) = -h**2 + 4. Let q be w(0). Suppose -q*a - p = -3*m + 6*m, 4*a = -m - 17. Put 2, m, 5 in decreasing order.
5, m, 2
Suppose 3*s - b = 10, 0 = -13*s + 15*s - 5*b + 15. Sort 0.5, -4, s, 3/2 in increasing order.
-4, 0.5, 3/2, s
Let z be ((-6)/(-8))/(14/(-8)). Let b = 497/1455 - 4/485. Sort b, -0.4, -5, z.
-5, z, -0.4, b
Let z = -0.27 - -1.17. Let y = 0.7 - z. Sort 0.3, -3, y.
-3, y, 0.3
Let r be ((-7)/35)/(32/(-40)). Sort -8/3, -2/49, r in decreasing order.
r, -2/49, -8/3
Suppose -4*m - 12 = 4. Suppose -30*d = -34*d - 16. Let k be d - 0/(m/(-1)). Sort -1, k, 6.
k, -1, 6
Let n(y) = -10*y**2 + 200*y - 6. Let i be n(20). Sort i, 3, 2 in descending order.
3, 2, i
Let c = 71 - 75. Let i(t) = -t**2 - t + 8. Let h be i(c). Sort 5, 0, -2, h in ascending order.
h, -2, 0, 5
Let x be ((-57)/(-6) - 3) + (-20)/8. Sort 8, x, -2 in decreasing order.
8, x, -2
Let i = -28 - -27.7. Sort 2/5, i, 4/7, 2.
i, 2/5, 4/7, 2
Let w = 2/31 - -27/62. Sort w, 2, -0.3.
-0.3, w, 2
Suppose 5*d = -31 + 6. Suppose -3*g - 9*g + 36 = 0. Sort g, -3, d in increasing order.
d, -3, g
Let q = 23 + -15. Suppose -q*n = -3*n. Suppose n = -g + 1 - 2. Sort g, 10, 2 in decreasing order.
10, 2, g
Let t(n) = 3*n**2 - 4*n - 20. Let i(s) = -7*s**2 + 9*s + 41. Let x(r) = 2*i(r) + 5*t(r). Let q be x(-3). Sort 2, 0, -5, q in ascending order.
-5, q, 0, 2
Let c(x) = x**3 - 4. Let j be c(0). Let a(z) = -8*z - 79. Let q be a(-10). Put j, q, -1 in increasing order.
j, -1, q
Let b = -526 - -524. Put -2/3, b, 21 in descending order.
21, -2/3, b
Let n = -18049.17 + 17925. Let h = -131.2 - n. Let u = h + 0.03. Sort 5, u, 1 in decreasing order.
5, 1, u
Let g = -109 - -108.961. Let o = -2.039 - g. Let a = 82 + -161/2. Sort 5, a, o.
o, a, 5
Suppose -253 = -4*a - 193. Let k be 1/(10/a) - (-183)/(-114). Put 0.4, k, -3, -1/5 in descending order.
0.4, k, -1/5, -3
Suppose -4*r + 10 = w + 7, -4*r - 4*w - 12 = 0. Sort -1, r, 5, -15.
-15, -1, r, 5
Suppose -w - 3 = 0, -44*a + 39*a + 3*w - 1 = 0. Put 1/46, -0.4, a, -1 in decreasing order.
1/46, -0.4, -1, a
Suppose 5*k - 3*k = 0. Let p(i) = -2*i**3 - 4*i**2 - 3*i - 4. Let z be p(-3). Suppose 5*f - 4*c = 22 + 10, -5*f + c + z = 0. Sort k, f, -1 in ascending order.
-1, k, f
Let y = 0.0517 - -340.9483. Put y, 4, 1/4 in decreasing order.
y, 4, 1/4
Let d = -2 - -1. Suppose 0*l + 5*l = 20. Let j be 1 + (-4)/1 - -6. Sort d, l, j in increasing order.
d, j, l
Suppose -v + 2*k = 5, 2*k - 15 = 3*v + k. Suppose 3*n - 145 = -4*i, 0 = -3*i + i - n + 71. Suppose 30*t - i*t = 16. Put t, -2, v in descending order.
-2, t, v
Let y(h) = -h**2 - 11*h - 5. Let m be y(-10). Let p be ((-125)/(-8))/m - 3. Let f = 14 - 19. Sort -2, f, p in decreasing order.
p, -2, f
Let k = 51 - 47. Sort 2/5, 2, k in ascending order.
2/5, 2, k
Let n = 49 + -49.2. Put -0.1, -3, 4, n in descending order.
4, -0.1, n, -3
Suppose -9 = -2*h - 3. Suppose -5*z + 2*o = -5 - 12, 0 = 3*z - h*o - 3. Let j = -0.152 + 0.252. Sort z, j, -4.
-4, j, z
Let j be (-4 - -39)*(-6)/7. Let b be (-4)/6*9/j. Let g be (-1)/6*4/(-7). Sort b, 2/11, g in increasing order.
g, 2/11, b
Let z = 9 - 5. Suppose -5*l - z = -49. Let u = 14 - l. Sort u, 2, 0 in increasing order.
0, 2, u
Let u = -0.943 - -0.643. Sort -2/19, u, -1 in descending order.
-2/19, u, -1
Let q(m) = m + 28. Let z be q(-20). Let h(y) = -y**3 + 6*y**2 + 18*y - 19. Let d be h(z). Sort d, 4, -2, 3/5 in decreasing order.
4, 3/5, -2, d
Let j be (1/(-2))/((-2)/(-4)). Suppose 5*t - y = 8*t - 6, -2 = -t - 3*y. Suppose -s = 5*b + 9, 2*s - 6*s = 2*b. Put j, t, s in descending order.
t, s, j
Suppose -84*n + 83*n - 12 = 5*j, -5*j - 14 = 2*n. Sort 4, 143, n, 3 in increasing order.
n, 3, 4, 143
Let n be 20/8 + (0 - 7/2). Suppose -3*m = 2*m + 80. Sort n, m, 5 in descending order.
5, n, m
Let w = 25 + -22. Suppose 5*z = k + w*z - 5, 15 = 3*k + 2*z. Let l be (6 - 2)/((-4)/(-3)). Put -2, l, k in descending order.
k, l, -2
Let k = 605 + -606. Let f = 4/69 + -158/345. Sort f, k, 0.
k, f, 0
Let y(n) = 2*n - 1. Let q be y(-2). Suppose -106*i - 150 = -181*i. Sort 5, 3, i, q.
q, i, 3, 5
Let i = 17.1 - 17. Let l = -4.061 - -0.061. Let d be ((-6)/9)/(10/6). Sort d, l, i in descending order.
i, d, l
Suppose -2*k - 3*k = 270. Let m = 149 + -153. Put 5, k, m in ascending order.
k, m, 5
Suppose -3*d - 3*x = -6, 4*x + 12 = 3*d - 1. Let u be 7/2*(-176)/(-308). Put d, u, 6 in decreasing order.
6, d, u
Suppose 20*g - 30*g + 290 