 (-20 - -17). Suppose 0 = 4*o - 4*w, 5*w = -o + w. Put q, t, o in descending order.
q, o, t
Let t(r) = -r - 3. Let v be t(2). Put 0.1, v, 0.3 in descending order.
0.3, 0.1, v
Let d be (-235)/175 + 1/7. Put 0.2, d, -3/2, 0.1 in ascending order.
-3/2, d, 0.1, 0.2
Let u be (-105)/(-20) + 2/(-8). Let v be 1 + -3 + -1 - (-6 - -2). Sort v, u, 0.
0, v, u
Suppose -2*g - 4*b - 10 = 0, -2*b = -2*g - 3*b - 10. Sort -11, g, -3, 2 in decreasing order.
2, -3, g, -11
Let v be -1*(-8)/28 + (5 - 5). Sort 0.4, -11/2, -2, v in decreasing order.
0.4, v, -2, -11/2
Let l = -123442 - -37015688444/299863. Let q = -304061104/3298493 - l. Let u = -92 - q. Sort u, -1, -2/9.
-1, -2/9, u
Let r = -3 + 5. Let d be 3 - (((-408)/(-7))/(-8))/(-3). Put d, -1, r in increasing order.
-1, d, r
Let a = -1.2 - -1. Let y = -2 + -1. Let v = -8 - y. Sort a, v, 4.
v, a, 4
Suppose 0 = -l + 6*l + 5. Put 0, 1, l in decreasing order.
1, 0, l
Let l = 1.04 - 0.04. Let b = l - 0.8. Sort 1, 2, b in descending order.
2, 1, b
Let d = -162 - -161. Suppose -x - 5*r + 12 = 0, -4*r - 1 = -13. Put -5, x, d in increasing order.
-5, x, d
Let d = -17 + 16. Suppose -6*t + 3*t = -12. Put -3, t, d in decreasing order.
t, d, -3
Suppose 0 = -2*r + r. Sort -3, r, -1 in descending order.
r, -1, -3
Suppose q = -0*q + 2. Sort -2/17, q, 5 in decreasing order.
5, q, -2/17
Let j = -15 + 15. Suppose 5*b + 11 = -z, 2*b + 2*z = -j*z - 6. Sort b, -1, -4 in decreasing order.
-1, b, -4
Let j be 0/(2/(6/(-9))). Suppose -7 = -4*t + 5. Sort j, 5, t in increasing order.
j, t, 5
Let o(g) = 4*g + 52. Let u be o(-12). Put -4, 0, 40, u in descending order.
40, u, 0, -4
Suppose -2*n + 0*n = 4*m - 6, -2*m + 13 = 3*n. Let z = -1578/7 - -225. Sort z, -0.5, n.
-0.5, z, n
Suppose -8 = 4*u + 16. Let c(x) = -x**3 - 3*x**2 + 18*x + 3. Let d be c(-6). Sort u, 5, d in increasing order.
u, d, 5
Suppose -1 = 5*a + 2*u + 1, 0 = -a + 5*u + 5. Sort 3, a, -1 in decreasing order.
3, a, -1
Let f = 6 + -16. Let k = f - -13. Put 0, -0.14, k in decreasing order.
k, 0, -0.14
Let z be (3 + -4 + 1)/2. Let a(s) = s**3 - 3*s**2 + 3. Let t be a(3). Suppose -t*v + 7 + 5 = 0. Put -2, z, v in ascending order.
-2, z, v
Let y = 0 - -1. Sort -2, y, -4/5 in decreasing order.
y, -4/5, -2
Let q = -10 - -14. Suppose 8*y = 3*y + 25. Sort q, 0, y in decreasing order.
y, q, 0
Suppose 35 = o + o + 5*g, 0 = -5*g + 25. Put -5, 4, o in increasing order.
-5, 4, o
Let u = 0 + 1. Let k(s) = -3*s**2 - 6*s - 1. Let w be k(-4). Let h be 30/w*30/9. Sort -0.4, h, u.
h, -0.4, u
Suppose 2*y = 5 - 7. Sort y, 0, -5 in decreasing order.
0, y, -5
Suppose f - 4 = -0*f. Let k = 2 + 2. Suppose k*z = -3*s - 5, 4*s + 2*z = -0*z. Sort s, f, 5 in descending order.
5, f, s
Let l be 4*((-4)/(-16) + 1). Put 4, l, -2 in decreasing order.
l, 4, -2
Let o be (-480)/(-18) - (-2)/(-3). Suppose -6 + o = 4*n. Put 2, n, 0 in increasing order.
0, 2, n
Suppose 5*s = -38 + 18. Let j = 2 + 0. Let c = 1.8 - j. Put 4, s, c in ascending order.
s, c, 4
Let w be 17/(-4) + 0 + 31/124. Let i(f) = f**2 - 2*f - 3. Let x be i(-2). Sort 2, x, w.
w, 2, x
Suppose -2*z + 3*n - 11 = 0, 3*z + 3*n + 9 = 6*n. Suppose -z*q = 2*i, -3*i = -2*q - 6 - 4. Sort 0, -5, q in descending order.
0, q, -5
Let s = -0.28 - 0.72. Sort -1/10, 2, s.
s, -1/10, 2
Suppose 4*c = 7*c + 12. Put c, 2, 0 in descending order.
2, 0, c
Let i(t) = -t**3 - 6*t**2 - t - 7. Let x be i(-6). Put 5, -5, -2, x in increasing order.
-5, -2, x, 5
Let q(x) = -x**3 - 5*x**2 + 7*x + 11. Let k be q(-6). Put 13, 2, k, -1 in decreasing order.
13, k, 2, -1
Let j(n) = -n**2 - 7*n + 2. Let d be j(-5). Let c = 17 - d. Suppose -c*x + x + 3*l - 23 = 0, 2*l - 2 = 0. Sort -1, 2, x in descending order.
2, -1, x
Let s(o) = -2*o - 5. Let h be s(2). Put h, 3, -2/3, -0.2 in increasing order.
h, -2/3, -0.2, 3
Let v(g) = -3*g - 1. Let w be v(-1). Suppose 5*l - 2*h = -7*h - 10, 5*h + w = -3*l. Let m be 33/21 + (-4)/7. Put l, -3, m in descending order.
m, -3, l
Let d = 94/3 - 31. Suppose 13 = 5*b + 3*w, 2*b + 4*w + w = -10. Sort d, b, 2 in decreasing order.
b, 2, d
Let k(u) = -2*u - 12. Let i be k(-8). Suppose 9*s + 25 = i*x + 4*s, -22 = -4*x + 2*s. Suppose 0*d + 2*d + 10 = 0. Sort d, x, -4.
d, -4, x
Let v be 1 - (-1)/(3/(-3)). Suppose -5 = 5*z - 4*d, v = -2*z - 0*z - 5*d - 2. Let c be z - (1 - (-1)/(-1)). Sort c, -4, -5.
-5, -4, c
Let k = -22 - -28. Let u be (1/3)/((-2)/(-18)). Suppose 3*q - u = k*q. Put 1, q, -4 in descending order.
1, q, -4
Let b(w) = w**3 + 5*w**2 + 2*w + 1. Let g be b(-4). Let u be (-6)/27 - 25/g. Sort 3, -4, u.
-4, u, 3
Suppose -a - 2*a - 15 = 0. Sort 3, -1, a in ascending order.
a, -1, 3
Let n = 0 + -13. Let p = 40/3 + n. Sort 0.3, -0.3, p.
-0.3, 0.3, p
Suppose x - 2*x = 0, -4*f - 4*x + 4 = 0. Let v = 4 - 2. Suppose -1 = v*c + 5. Sort 0, f, c.
c, 0, f
Let d = 8.06 + -8. Let w = d - 1.56. Let p = -0.5 + w. Put p, -1/4, 0.3 in ascending order.
p, -1/4, 0.3
Let g = -8 - -5. Put g, -0.11, 0.3 in increasing order.
g, -0.11, 0.3
Suppose -6*d + 5 = -d. Sort 2, -2, d in ascending order.
-2, d, 2
Let n(k) = -2*k**2 - 1. Let a be n(-2). Put 3, a, 5 in ascending order.
a, 3, 5
Let l be (-66)/14 - (-16)/(-56). Suppose -2*w = -6*w - 120. Let a be (-32)/w - (-2)/(-3). Sort a, l, -2/5.
l, -2/5, a
Let o(z) = z + 1. Let m be o(-6). Suppose -l - 2*x = 3*x - 22, -2*l = -2*x + 16. Sort m, -1, l.
m, l, -1
Let b = 0.2 - 0.1. Let m = -0.3 + b. Let x be (2/6*0)/(-2). Put x, m, 2 in ascending order.
m, x, 2
Let r(p) = -p**3 + 6*p**2 - 4*p - 5. Let w be r(5). Suppose -5*a + n - 26 = 0, 3*a - 5*n = 2*a - 10. Sort a, w, 5 in increasing order.
a, w, 5
Let o = 0 - 0. Suppose 0 = -6*n - 1 - 11. Put -5, n, o in descending order.
o, n, -5
Let p be -1*1*3*-1. Let j be (-4)/(-2) - 3 - 1. Let h(r) = r. Let f be h(j). Put p, f, -4 in increasing order.
-4, f, p
Let k = -9 + 13. Let q = k + -4. Let p = 0.2 + q. Sort 2/5, 2/3, p in decreasing order.
2/3, 2/5, p
Suppose -z - 5 = 0, z = -4*v + 2*z + 25. Suppose 0 = -l - 5*g + 27, 2*l - v*g - 6 = -3*g. Put -3, -4, l in decreasing order.
l, -3, -4
Let c be 1/3 + (-25)/(-15). Suppose 2*n + 3 + 5 = 0. Let d be 0 - ((-2)/2)/1. Sort d, n, c.
n, d, c
Let f = 1321/7 - 189. Sort f, -0.4, -4/7, -1 in decreasing order.
f, -0.4, -4/7, -1
Let r = 0.133 - 0.053. Put 0, 0.1, r, -4 in descending order.
0.1, r, 0, -4
Let t = -210/13 + 16. Put -4, -1, 0.5, t in descending order.
0.5, t, -1, -4
Let p = -21 - -18. Put p, -3/5, -0.3 in descending order.
-0.3, -3/5, p
Let m(v) = -v**3 + 3*v**2 + 1. Let z be m(3). Let k = 1 + 1. Put k, z, -5 in decreasing order.
k, z, -5
Let h(r) = 5*r**2 - 2*r + 5. Let a(f) = -14*f**2 + 7*f - 14. Let g(d) = -6*a(d) - 17*h(d). Let l be g(-7). Sort l, -4, 2 in increasing order.
-4, 2, l
Let f be (0 + 3)/(15/10). Suppose 7*d - 25 = f*d. Let z = -10 - -10. Put d, z, -3 in descending order.
d, z, -3
Let r(n) = -15*n + 195. Let t be r(13). Suppose 5*k = k - 16, g + 11 = -4*k. Put t, 2/5, g in increasing order.
t, 2/5, g
Suppose -k - k + 4 = 0. Let z be 14/30 - (-6)/(-9). Sort z, -5, k in descending order.
k, z, -5
Let j = 10 - 6. Suppose s + 3*p - 8 = 2*p, p = 3. Put 1, s, j in decreasing order.
s, j, 1
Let x = -2.9 + 3. Sort 4, 2, x.
x, 2, 4
Let w be 1 - (0 - 3/(-3)). Let p be (-18)/(-3)*(1 - w). Let t be (-2)/4*(p - 12). Put -3, t, 0 in decreasing order.
t, 0, -3
Let l be 2/(-4) + (-139)/(-2). Let x be 1/(3*1/l). Let f be 6/(-8) - x/(-4). Put -2, 1, f in ascending order.
-2, 1, f
Suppose d - 2 = -0. Let g be (1 + (-2)/(-6))*-3. Put d, g, -2 in decreasing order.
d, -2, g
Suppose -3*g - 3*p = -29 + 5, 5*p - 20 = -g. Let w be 0/((1 - -1)/(-2)). Suppose -3*v + v = w. Sort v, g, 4 in descending order.
g, 4, v
Let u(g) = -g + 4. Let f be u(4). Let x be -1 + (f - 0)/3. Let c = -0.4 - -0.5. Sort x, c, 0 in ascending order.
x, 0, c
Let p = -23 + 32. Suppose -4*c + p = -c. Let q(b) = b + 2. Let k be q(-2). Put 5, k, c in descending order.
5, c, k
Let q(d) = -d**3 + 39*d**2 - 108*d + 4. Let w be q(36). Let u(h) = 3*h. Let s be u(-1). Sort s, w, 2.
s, 2, w
Let v = 1 - -1. Sort 11, v, 0.2.
0.2, v, 11
Suppose -5*l - 20 = -0*l. Sort -5, -0.2, l in descending order.
-0.2, l, -5
Let c = 34 + -35. Put -12, c, 2, 1/2 in increasing order.
-12, c, 1/2, 2
Suppose 3*p - 5*p - 23 = -5*f, 3*f = -p + 16. Let o be (f - 15)*1/2. Put 0.04, 1, o in increasing order.
o, 0.04