ncreasing order.
w, 1, 15
Let r(x) = -3*x - 5. Let o be r(-1). Put -4, -56, o in decreasing order.
o, -4, -56
Suppose -13*d = -105 + 105. Sort 12, d, 5 in descending order.
12, 5, d
Suppose -27 = -3*h - 24*h. Put h, 2/3, 6/7, -5 in decreasing order.
h, 6/7, 2/3, -5
Let c be 44/33*3/4*0. Sort -3, c, -85, -6 in descending order.
c, -3, -6, -85
Let y(m) = -m - 10. Let x be y(-10). Let s = 9 + x. Put 2, 0, s in decreasing order.
s, 2, 0
Let i be 12/(-5)*2/6. Let h = -0.1913 + -0.3087. Put i, h, -1.3 in descending order.
h, i, -1.3
Let t be -2*18/(-16) + (-3)/12. Let z = -12 - -4. Let k = -8 - z. Sort t, k, 1 in ascending order.
k, 1, t
Suppose 0 = -2*s - 7 + 1. Let m(p) = -2*p**2 - 37*p - 24. Let u be m(-18). Let g be u/(-42) - (-40)/14. Put s, g, 2 in descending order.
g, 2, s
Let r(h) = -h**3 - 4*h**2 + h + 16. Let d be r(-3). Sort -16, -5, d in decreasing order.
d, -5, -16
Let y = -143 - -142.85. Sort 2, y, 5, 1 in descending order.
5, 2, 1, y
Let x(l) = 7*l**2 + 4*l - 16. Let z(v) = -8*v**2 - 3*v + 17. Let o(y) = 7*x(y) + 6*z(y). Let m be o(-11). Sort m, -3, 19 in ascending order.
-3, m, 19
Let q(y) = y**3 - 15*y**2 - 1. Let t be q(15). Let i be 155/5 + (t - 3). Let s = 22 - i. Sort -3, s, -6 in decreasing order.
-3, s, -6
Let d = -342 + 344. Let g be 0 + -1 - 0 - -2. Suppose 2*t + 45 = -3*t. Sort t, d, g.
t, g, d
Let k be (-38)/8 - 2/8. Let v = 3 + 2. Let x(j) = -j**2 - 8*j - 3. Let y be x(-7). Put k, v, y in descending order.
v, y, k
Suppose 3*c + 10 = v, 26*c = 27*c + 4*v - 14. Sort 111, 3, c in increasing order.
c, 3, 111
Suppose -2*h - 17 = -6*h + 3*t, h + 2*t + 4 = 0. Sort h, -7, -2 in increasing order.
-7, -2, h
Let w be 58/10 - 10 - (-8)/(-10). Sort w, -18, -4.
-18, w, -4
Suppose -4*b - 1 = -3*f, -2*b + 6 = -3*f + 5. Let v be -10*(2/4 + -1). Sort f, -2, v.
-2, f, v
Let s be (-2)/(-8)*(4 + 0 + -2). Let y = 7 + -4. Suppose 5*o + 2*c - 6 - 14 = 0, -12 = -y*o - c. Sort 2/3, o, s in increasing order.
s, 2/3, o
Suppose -6*f + 2*f = -24. Let n = -23 + 18. Sort 4, f, n, 1.
n, 1, 4, f
Let c be -1*(-1 - 87 - -1). Suppose c + 23 = 5*f. Let z be (3/(-9))/(f/(-12)). Put 5, z, 0.4 in ascending order.
z, 0.4, 5
Let o = 13 - 24. Let d = -9 - o. Let n = d + -2.5. Sort -1, -0.2, n in decreasing order.
-0.2, n, -1
Let b = 6.74 + -2.74. Put b, -0.21, 1/6 in descending order.
b, 1/6, -0.21
Let d(c) = -c**2 + 9*c. Suppose -3*t - 2*t + 45 = 0. Let o be d(t). Suppose 0 = 84*g - 36 + 372. Sort 3, o, g.
g, o, 3
Let o = -99980/57 - -1754. Put -5, o, 0.4 in descending order.
0.4, o, -5
Let a = -34 - -41. Let m be 18/a - (-3)/7. Let g(o) = 2*o - 4. Let b be g(m). Sort -0.3, -4, b in descending order.
b, -0.3, -4
Let m be (-79)/11 - (-3 - 20/5). Sort -0.1, 0.03, m.
m, -0.1, 0.03
Suppose 0 = -2*a + 5*j + 39, -j + 4 - 30 = -3*a. Suppose l + 13 = 3*t + 3*l, -14 = t - 3*l. Let q be -2 + 2 + (-1)/t. Sort -5, a, q in increasing order.
-5, q, a
Let f be 1 + -1 + 723/(-24)*2. Let c = -60 - f. Let d = 3 + 0. Sort c, -1/6, d.
-1/6, c, d
Let r = -14.75 - -15. Let g = 0.55 - r. Put g, 2, 1/6 in ascending order.
1/6, g, 2
Let j(v) = v**3 + 21*v**2 + 20*v - 25. Let f be j(-20). Let g be (-22)/(-5) - (115/f - -5). Put 0, -3, g, 1 in decreasing order.
g, 1, 0, -3
Suppose 9*f - 204 = -24. Put f, 0.4, 3 in descending order.
f, 3, 0.4
Let y = -87 - -47. Let k = -42 - y. Sort k, -2/3, 2/3, 4 in increasing order.
k, -2/3, 2/3, 4
Let s(p) = p**2 + 8*p + 3. Let l be s(-7). Put l, -67, 0 in decreasing order.
0, l, -67
Let l = -0.066 + -6.934. Let x = 0.7 + -5.7. Put x, 4, l in increasing order.
l, x, 4
Let s(r) = 5*r - 25. Suppose 4*u - 4 = -m, 0*u = -3*m - u + 12. Let g be s(m). Sort g, -4, 2, -2 in ascending order.
g, -4, -2, 2
Let q = -12 - -1. Let o be q/(-11) - (-14)/(-6). Let b = 99.5 + -99. Put o, b, 0.1 in decreasing order.
b, 0.1, o
Let c = -4 - -9. Suppose -5*y = -d - 6, -5*d + c*y - y = -12. Suppose d*w + 8 = -0*w. Sort 0, w, -0.2 in ascending order.
w, -0.2, 0
Let c(l) = -16*l - 620. Let o be c(-39). Sort -32, 3, 1, o.
-32, 1, 3, o
Let y(k) = k**2 - 9*k + 13. Let w be y(10). Let o = 18 - w. Suppose 0 = -5*q + d - 22, 4*q + 5*d - d = -8. Sort q, o, 0 in descending order.
0, q, o
Let m be (2/6)/(10/(-150)). Let v be 1/2*(2 + -2). Suppose 3*b = -v*b. Sort m, -3, b in increasing order.
m, -3, b
Let c be (3/2)/((-6)/(-80)). Suppose -18*s + c = -13*s. Put 1, -4, -3, s in ascending order.
-4, -3, 1, s
Suppose 15*i + 32 = 7*i. Sort 3, -2, -1, i.
i, -2, -1, 3
Let z = -1187 - -1190. Sort -10, 2, z.
-10, 2, z
Let o(k) = 2*k**3 + 2*k**2 + 4*k + 3. Let y be o(-2). Let c = 48 + -45. Sort c, y, 5 in ascending order.
y, c, 5
Let y(u) = -u**2 + 4*u + 4. Let c be y(6). Let r be (-74)/8 + (-2)/c. Let a = 9 + r. Sort 4, a, 5 in decreasing order.
5, 4, a
Let v = -110 - -115. Suppose -27 = 4*i - 3*b, 4*i + 5*b - 19 + 6 = 0. Sort i, v, -4, 4 in increasing order.
-4, i, 4, v
Suppose -11 = -q + 3*d, 0 = -3*q + 2*d - 2. Let n = 25 - q. Let m = n - 117/4. Sort m, 1/9, -5 in descending order.
1/9, m, -5
Let f = 311 - 313. Sort f, -10, -3 in increasing order.
-10, -3, f
Let x(m) = m + 2. Let o be x(9). Let z = 11 - o. Suppose 2*i - 2 = -5*l - 0*i, 3*l + 2*i + 2 = z. Sort 5, l, -4 in ascending order.
-4, l, 5
Suppose -42 = -4*d - 130. Suppose 0*z = -z - 20. Let t = z - d. Sort 0, 5, t.
0, t, 5
Let y = 3.5 - 5.6. Let w = y - -2. Suppose 3*b + 7 = 7. Put w, b, 3 in decreasing order.
3, b, w
Suppose b + 26 = -45. Put 5, b, 2 in increasing order.
b, 2, 5
Suppose 2*f - 15 = -21. Sort f, 2, -4, -5.
-5, -4, f, 2
Let h(a) = -a**3 - 6*a**2 - 13*a - 21. Let u be h(-4). Put u, -5, -6, 1 in decreasing order.
1, u, -5, -6
Suppose 12 = t - 2*t + 3*k, 0 = 3*k - 9. Put -11, -4, t, -5 in ascending order.
-11, -5, -4, t
Let q = -43.7 - -44. Put 5, q, 1/10 in ascending order.
1/10, q, 5
Suppose 0 = -147*b + 141*b + 48. Suppose 1 = -w + 2. Let s(j) = -j + 3. Let n be s(3). Sort w, b, n in increasing order.
n, w, b
Let k = -246 + 244. Put 5, 4, k, 3 in increasing order.
k, 3, 4, 5
Let g = -3 + 2. Suppose 0 = 3*x + 3*w - 6, 9*w - 5*w = -x - 1. Sort 0, g, x in descending order.
x, 0, g
Suppose -4*r = -2*r. Let o(y) = -y**3 - 8*y**2 + 7*y - 11. Let f be o(-9). Let q be f*(-4)/(-1 + -3). Sort 5, r, q in decreasing order.
q, 5, r
Let s be ((-28)/(-3))/(-4) + 3. Let o = 0.887 - -0.113. Put o, s, -3 in decreasing order.
o, s, -3
Let a = -5 + 13. Let s = 195 + -583/3. Sort 2, a, s in ascending order.
s, 2, a
Let x(v) = -2*v**2 + 17*v - 14. Let p be x(6). Sort p, 1, 4 in ascending order.
1, 4, p
Let u = 0.9 + 0.1. Let y be (-3*(-353)/9)/((-5)/3). Let x = -70 - y. Sort 2/5, x, u.
2/5, x, u
Let q = 3007/60 - 201/4. Put q, 1/2, -0.3, 0 in increasing order.
-0.3, q, 0, 1/2
Let a = -51.6 - -50.6. Put 53, -3, a in increasing order.
-3, a, 53
Suppose -4*x = -5*a - 16, 0 = -4*x - 3 - 1. Let d be 12/18*6/a. Put 2/15, d, 0.4, -27 in descending order.
0.4, 2/15, d, -27
Let f = 144 - 148. Put -2/11, -1, 2, f in increasing order.
f, -1, -2/11, 2
Suppose 0 = -2*s - 4, 8*s = -5*h + 6*s + 41. Suppose -3*a + 4*o - 8 = -4*a, -4*o = -12. Put h, a, 2 in descending order.
h, 2, a
Let h(i) = 3*i + 1. Let k be h(2). Let q = k - 12. Suppose 1 + 1 = -2*n. Sort q, n, -0.01.
q, n, -0.01
Let v = 0 - -4.5. Let w = 4 - v. Let t = 3.8 - 4. Sort 2, w, t in ascending order.
w, t, 2
Let m = 4.161 + -0.061. Let k = m + -0.1. Let d = -220 + 443/2. Put d, k, -1/7 in decreasing order.
k, d, -1/7
Let h = 224 - 223. Put -1/2, 19, h in increasing order.
-1/2, h, 19
Let u(t) = t**3 - 16*t**2 + 15*t - 4. Let p be u(15). Let d be (-156)/(-91) + 4/14. Suppose -6 + 0 = d*c. Sort 5, p, c.
p, c, 5
Let n(c) = -c + 1. Let k = -64 + 73. Let v be n(k). Put 2, 1, -4, v in increasing order.
v, -4, 1, 2
Let p(g) = -g**2 - g - 4. Let w be p(0). Let q(z) = z**2 - z + 8. Let t be q(0). Suppose 5*m + 38 = t. Sort w, m, -3 in increasing order.
m, w, -3
Suppose -23*m = -18*m + 15. Sort 20, m, -2, 5 in increasing order.
m, -2, 5, 20
Let j(q) = -191*q + 1530. Let r be j(8). Let k be 8/(-21) - (-4)/6. Let s = -5.3 - -5. Put r, s, k in descending order.
r, k, s
Let i be 10*(15/(-35))/((-4)/28). Sort -7, i, 0.4 in descending order.
i, 0.4, -7
Let x be 336/34 + 6 + 800/(-136). Sort x, 1, 9, 4 in ascending order.
1, 4, 9, x
Let n = 18 + -13. Let o = -82 - -50. Let k = -33 - o. Sort k, 0.3, n.
k, 0