- 374, 5*c - 636 = -0*c + 3*s. Let h be (-24)/c*3/(-2). Let n(p) = p**2 + 3*p + 1. Let r be n(-2). Sort 4/3, h, r in descending order.
4/3, h, r
Suppose 3*p - 156 = 9*p. Sort -1, p, -3, -2 in increasing order.
p, -3, -2, -1
Suppose 0 = v + 4*v. Let a(d) = -d**2 - d - 1. Let u be a(0). Sort v, -2, u in ascending order.
-2, u, v
Let n(h) = 4*h + 1. Let k be n(-6). Put -0.3, k, 3 in descending order.
3, -0.3, k
Let b be 20/(-28) + 6/14. Sort 2/13, b, -2 in descending order.
2/13, b, -2
Let p be 3/6 - (-1)/(-2). Suppose 3*b + b - 16 = 5*n, 3*b + 7 = -n. Sort 4, p, n in descending order.
4, p, n
Let i = 9 - 1. Let y = i + -11. Let v = -6 - y. Sort 1, -1, v in increasing order.
v, -1, 1
Let c = -2.5 - 6.5. Let a = -7 - c. Sort 0.4, -1/7, a.
-1/7, 0.4, a
Suppose -3*g - 6 = -6*g. Suppose -2*a - 2*a + 92 = 0. Suppose -a = -5*k + 2. Sort g, 3, k.
g, 3, k
Let r = 6 - 3. Suppose -2 = -w - r, -2*w = 5*x - 48. Let q be (1/2)/(x/4). Put 3/4, q, 2 in increasing order.
q, 3/4, 2
Suppose -4 = i - 3*i. Suppose -i*z - 3*z - 37 = -4*t, -3 = -t. Sort -1/6, -3/2, z in decreasing order.
-1/6, -3/2, z
Suppose 0 = 3*g - 0 - 6. Suppose -26 = -5*z + 4. Let p be 65/15 + 4/z. Sort -3, p, g in decreasing order.
p, g, -3
Suppose 2*o + 17 = 1. Let b = -217 + o. Let y be 4/18 - 85/b. Sort -3, y, -3/5 in decreasing order.
y, -3/5, -3
Let f be (-138)/(-18) - 9 - (-2)/(-3). Let o(d) = -d**3 + 6*d**2 + 1. Let q be o(6). Sort f, q, 0 in descending order.
q, 0, f
Let y(i) = -2*i**3 + 7*i**2 - 3*i + 3. Let b be y(3). Let n be (-6)/9*3/19. Sort 0, n, b in increasing order.
n, 0, b
Let g be (-8 + (-49)/(-7))*-2*1. Put -2, -3, -20, g in ascending order.
-20, -3, -2, g
Let m = -0.9 - 0.1. Let s be (-41)/(-18) - 12/(-54). Sort -0.1, m, s in ascending order.
m, -0.1, s
Let c be ((-18)/22 - 1) + (-2)/11. Let h = -4 - 0. Sort c, -3, h.
h, -3, c
Suppose 0 = -3*f - 2*h - 6, f + 3*h - 2 - 3 = 0. Let d = 4 + f. Let b(g) = -g**3 - g**2 + g + 5. Let i be b(d). Sort i, 1, -1.
-1, 1, i
Suppose 2*l + 5 = l. Suppose 5*k + 3*y = 2*y - 5, 25 = -3*k - 5*y. Let f(a) = a**2 + a - 1. Let r be f(k). Sort l, r, -2/7 in descending order.
-2/7, r, l
Let z = -386/7 + 55. Let t(s) = -2*s + 11. Let k be t(8). Sort z, k, -0.4 in increasing order.
k, -0.4, z
Let j = -6.8 - -1.8. Sort -0.2, 4/7, j in descending order.
4/7, -0.2, j
Let u(r) = 7*r - 30. Let d be u(5). Put 3, -0.21, d in increasing order.
-0.21, 3, d
Suppose -u - 5 = -6*u. Let r(x) = -x**2 - 8*x - 8. Let a be r(-6). Sort a, 3, u.
u, 3, a
Let u = 1 - 0.8. Sort u, -0.5, 0 in decreasing order.
u, 0, -0.5
Suppose 15 = -3*n - 0. Let c(d) = 3*d + 4. Let i be c(1). Sort i, -3, n.
n, -3, i
Suppose -2*k - 12 = 4*n, 4*k + 5 = 5*n - 6. Sort 18, 4, k in increasing order.
k, 4, 18
Let h = -44 - -44. Let k = -154/29 + 28577/5365. Let b = k + -409/2405. Put h, b, -4 in descending order.
h, b, -4
Let j = 0.05 - 5.05. Put j, 4, -2/19, 5 in decreasing order.
5, 4, -2/19, j
Let n = 37 + -36.8. Suppose 6*a + 12 = 2*a. Sort a, 0.5, n.
a, n, 0.5
Let v(d) = 2*d + 49. Let s be v(-22). Let u be (-1)/4 + (-10)/(-8). Sort s, u, 0 in decreasing order.
s, u, 0
Let i = -24.9 + 23. Let u = i + -0.1. Let j = -0.3 - -0.4. Sort u, -1, j in decreasing order.
j, -1, u
Let s(r) = -r + 4. Let i be s(7). Put i, 0, 1 in decreasing order.
1, 0, i
Let a be -1 - 2 - (0 + -8). Suppose -b - 7 = -2*p, -b - 4*b = -2*p - a. Sort -5, -3, b in descending order.
b, -3, -5
Let x(n) = n**2 - n + 1. Let l(f) = -4*f**2 - f - 11. Let q(s) = -l(s) - 5*x(s). Let m be q(7). Let v be (0 - m) + (-7 - -5). Put -4, 2, v in descending order.
2, v, -4
Let b(f) = -2*f**3 + 19*f**2 + 18*f - 21. Let o(r) = -r**3 + 10*r**2 + 9*r - 11. Let p(u) = -3*b(u) + 5*o(u). Let a be p(8). Put 2, a, -4 in increasing order.
-4, a, 2
Let q = 2.5 - 2.5. Sort -5, q, 0.2 in descending order.
0.2, q, -5
Suppose -2*g = -4*y + 8, -5*y + y = 4*g - 20. Let w = g + -3. Sort w, -4, -6 in ascending order.
-6, -4, w
Let z(k) = 2*k**2 + 1. Let b = 1 + 0. Let m be z(b). Sort -4, -3, m.
-4, -3, m
Suppose 4*y + 0 + 16 = 3*t, 0 = t - 5*y - 20. Sort 1, t, 2 in descending order.
2, 1, t
Suppose 9 = 9*m - 6*m. Put -1, 5, m in decreasing order.
5, m, -1
Let h = -94 - -94.5. Put h, -5, 2 in descending order.
2, h, -5
Suppose 0 = 2*d - 6*d - 12. Put d, -1/4, 3/4 in decreasing order.
3/4, -1/4, d
Let r = -4/3 - -11/6. Let n = 1.1 + -11.1. Let j = n + 7. Sort r, j, 0.1 in descending order.
r, 0.1, j
Suppose 0 = -5*r - 15, -5*q + 8 = 6*r - 2*r. Suppose q = -t - t. Put t, 1, 5 in ascending order.
t, 1, 5
Let r = -3 + 7. Let f = 3 - r. Let l = 10 - 6. Sort -3/4, f, l in decreasing order.
l, -3/4, f
Let d = 50 + -50.3. Let u = -0.6 - -1. Sort -3, d, u in increasing order.
-3, d, u
Suppose 2*x - 9 - 1 = 0. Suppose -3*c + 26 = -4*r, 19 = x*c - 2*r - 15. Suppose c*m = m. Sort 4, m, 5.
m, 4, 5
Let q(a) = a**2 - 2*a + 4. Let l be q(3). Let n be 2/l - (-241)/(-35). Let o = n - -32/5. Sort -0.1, -2, o in decreasing order.
-0.1, o, -2
Let u = 16 + -12. Sort u, -1/4, 1/2 in ascending order.
-1/4, 1/2, u
Let c = -27 - -28. Sort 2, -2, c.
-2, c, 2
Suppose 4 = 4*p - 4. Put -2, p, -1 in decreasing order.
p, -1, -2
Let v(q) = -q**3 - 17*q**2 + 19*q + 24. Let n be v(-18). Sort 4, -5, n in ascending order.
-5, 4, n
Suppose d + 2*p - 16 = -2*p, 2*d - 2*p - 2 = 0. Put -4, -10, d in decreasing order.
d, -4, -10
Let z(g) = g**3 + 5*g**2 + 1. Let r be z(-5). Let u be (r/(-18))/((-4)/(-16)). Let m = 2/31 - -56/93. Sort u, -5, m in decreasing order.
m, u, -5
Let f = -9/5 - -73/35. Let j = 2 + 1. Put j, -2/7, f in increasing order.
-2/7, f, j
Let v(u) = 10*u - 54. Let o be v(5). Sort o, 3, 1, -3.
o, -3, 1, 3
Let z(j) = 4*j - 1. Let b be z(2). Suppose -b - 3 = 2*q. Let u be (-19)/5 + (-24)/(-30). Put q, u, -2 in ascending order.
q, u, -2
Suppose 15 = 5*o, 5*x + o + 12 - 50 = 0. Suppose -4*b = x - 3. Put 5, -3, b in decreasing order.
5, b, -3
Let d = -2/29 + 35/87. Let i = 7 - 7.12. Let z = i - 4.88. Sort d, 0, z in increasing order.
z, 0, d
Suppose -20 = 16*i - 11*i. Sort i, 5, -3.
i, -3, 5
Let q = -2 - -1. Let s = 9 - 6. Suppose s*o = -o. Sort -5, q, o in decreasing order.
o, q, -5
Let g(y) = -y**2 + 8*y - 5. Let v be g(7). Suppose -2*j = -5*o + 24, 4*j = 3*j - 3*o + 10. Sort v, -5, j in increasing order.
-5, j, v
Let q = 47 + -46. Let k = -3 - -3. Let p = 6 - 1. Put p, k, q in descending order.
p, q, k
Suppose 0*v = -3*v + 9. Let u = 10 + -5. Suppose 2*d - 7*d + 5 = 0. Sort v, d, u.
d, v, u
Suppose -4*a = -5*g + 6, -3 - 1 = -4*g + 4*a. Let r be (-8)/(-5) + 4/10. Let b be 0 - -1 - (r + -4). Sort b, g, -3 in descending order.
b, g, -3
Let w be 3/(-4) - 14/24. Sort 4, -3, w.
-3, w, 4
Suppose -4*x + 6 = 5*g, 5*x = -2*g + 4*x. Let k(t) = -t**2 - 4*t - 3. Let r be k(g). Let w be (2 - 3)/(2/6). Sort w, r, 5.
w, r, 5
Let r = 3 + -3.2. Let f be (1/2)/(20/(-24)). Sort f, 5/4, r in increasing order.
f, r, 5/4
Let w(o) = o**2 - 2*o - 44. Let z be w(8). Sort -26, z, -4.
-26, -4, z
Let l = -1.1 - -1.4. Put l, -1, 14 in descending order.
14, l, -1
Suppose -2*j = 3 - 5. Suppose -5*p = -6*p + v - j, -5*p - 13 = -v. Put -1, 4, p in ascending order.
p, -1, 4
Let i = -2 + 1. Let p(h) = 18*h + 112. Let b be p(-6). Let o(x) = x + 7. Let a be o(-4). Put b, a, i in ascending order.
i, a, b
Let o = -4 - -6. Let l(q) = -q - 2. Let g be l(-6). Let b(f) = f - 1. Let k be b(2). Put k, o, g in decreasing order.
g, o, k
Suppose 2*c - 6 = -4*p, 2*p - c = p - 3. Suppose p*w - w = 0. Sort -3, -1, w.
-3, -1, w
Let f = -4/11 - -31/55. Let r = 131 + -130.9. Let t = -0.05 - -3.05. Sort f, r, t.
r, f, t
Let h be 280/(-48) + 6 - (-1)/3. Sort -2/13, -0.1, h in decreasing order.
h, -0.1, -2/13
Suppose 14*i - 16*i - 6 = 0. Put -1, 2, i in decreasing order.
2, -1, i
Suppose 3*h + 16 = -5*b, -5*b - 4*h - 14 = -2*h. Suppose 2*z + 5 = 7*z. Let i(a) = a**3 - a**2 + 4. Let u be i(0). Sort b, u, z.
b, z, u
Let k = -8.6 - -7.6. Put k, 4, -0.3 in ascending order.
k, -0.3, 4
Let d = -0.255 + 0.055. Let x = 2 - 1.5. Sort -1/3, d, x in ascending order.
-1/3, d, x
Let y = -68.4 - -68. Sort 0.3, 3, -4, y.
-4, y, 0.3, 3
Suppose 5*i + 0*d = -4*d - 2, 4*d - 18 = 5*i. Let s(j) = j**2 + j - 1. Let f be s(1). Let n be 1/((-2)/4) + (-7 - -13). Sort n, f, i.
i, f, n
Let q = 59/560 + 3/80. Let w be (-6807)/(-63) + 4/6. Let d = w + -109. Put q, d