ncreasing order.
m, 1, 4
Let k = -7.01 + 0.01. Let i = k + 5. Let g = -1186 - -1183. Put i, 0.1, g in decreasing order.
0.1, i, g
Suppose 3*g = 2*l + 142, -3*g - 90 = l - 28. Let r = 143/2 + l. Sort r, 1, -1 in increasing order.
-1, 1, r
Suppose 4*s + t = -1, -4*s = s + t + 2. Let w be 0 - (s + 1)/(-4). Suppose -4*n + n - 3 = w. Sort -5, 2, n in decreasing order.
2, n, -5
Let n = -0.8 + 0.7. Let l(p) = 15*p**2 + 1. Let t be l(-1). Let a = t - 12. Put n, -0.4, a in decreasing order.
a, n, -0.4
Let g = -655 + 637.78. Let w = g + 0.22. Let k = 17 + w. Put -2, 1/3, k in descending order.
1/3, k, -2
Let m = 61/16269 - 5/187. Let q = 42.2 - 42. Sort m, q, 3 in decreasing order.
3, q, m
Let z = -97 + 216. Let p = z - 118.6. Sort -0.5, -5, p, -2 in ascending order.
-5, -2, -0.5, p
Suppose s = -0 + 1. Suppose 12 = 2*c + c. Suppose c*r = 9*r. Put s, -4, r in ascending order.
-4, r, s
Let o be 1/(-4)*-3*4*-1. Let t be 13 + 1/((-2)/(-4)). Suppose -5*n + 0 = -t. Sort 1, o, n in increasing order.
o, 1, n
Suppose -217 - 3 = 10*m. Put m, 2, -1 in ascending order.
m, -1, 2
Let s = -202/5 - -199/5. Let n = -0.4 + 0.5. Put n, -1/2, s in decreasing order.
n, -1/2, s
Suppose -3*u = d - 14 - 7, 0 = 3*d. Put -2, 1, u, 0 in decreasing order.
u, 1, 0, -2
Let k = 123 + -126. Suppose -2*h + 3*t - 20 = 0, 2*t + 72 = -7*h + 3*h. Let f be 120/h*(-2)/k. Sort 2, f, -3 in decreasing order.
2, -3, f
Let c = 278 - 280. Put 5, c, 3, -4 in decreasing order.
5, 3, c, -4
Let s = -10.7 - -10.668. Let a = -1.032 - s. Put 2/3, a, -3 in ascending order.
-3, a, 2/3
Suppose -4*t = l - 9, -t = -2*t - 4*l - 9. Sort 5, t, 2, -4 in descending order.
5, t, 2, -4
Suppose -5*k + 2 = -3. Suppose -k - 3 = 4*o. Sort 14, o, 4 in descending order.
14, 4, o
Suppose 4*l + 16 = -4*x, -2 = 5*x + l + 2. Put 3, -5, -1, x in decreasing order.
3, x, -1, -5
Let x = 32.7 + -59.5. Let f = -27 - x. Put f, 5, 4 in decreasing order.
5, 4, f
Suppose 5*y = 22 + 3. Suppose -w = i - 2, -y*i - w = 2*w. Let m be 2 + 0 + 2 - 1. Put 2, i, m in increasing order.
i, 2, m
Suppose -4*j + 19*g - 14*g = 29, -5*j = 3*g - 10. Sort 25, j, 2/3 in decreasing order.
25, 2/3, j
Let t be -1*1/((-1)/3). Suppose -t*q = 2*n - 4, -3*n + q + 4 = -2. Sort -5, 3, n in decreasing order.
3, n, -5
Let u = -57 + 60. Let k be (5 + -2 + u)*(-1)/(-6). Put k, 0, 4 in decreasing order.
4, k, 0
Suppose 2*a = l - 0*l + 27, 26 = 2*a - 2*l. Suppose 0*n + a = -7*n. Put -4, n, 10 in decreasing order.
10, n, -4
Suppose 5*u + 11 = 36. Let h be 1 - u - (3 + -3). Let i = 1013 - 1014. Sort i, 4, h in ascending order.
h, i, 4
Let s be 3884/180 - 6/2. Let j = -94/5 + s. Let c = 0.078 - -0.422. Sort j, c, 1.
j, c, 1
Let x be (-2)/(-5) + 2/(-5). Let o = -18 + 16. Let l be 0 - (-3 - (o + 0)). Sort 3, l, x in decreasing order.
3, l, x
Let o = -2 - -3. Let u be (-9 + 3 + 7)*(-2)/24. Put u, o, -0.05 in descending order.
o, -0.05, u
Let h = -1947 - -1946.5. Put 4, h, -4/9, 1/4 in descending order.
4, 1/4, -4/9, h
Let x be 2/5 + (-17)/5. Let o be (-3)/9*(6 + -3). Let k be (-209)/(-44) - o/4. Sort x, -2, k in decreasing order.
k, -2, x
Let o be (-8091)/(-18) - (-9)/6. Put -5, 1, o in descending order.
o, 1, -5
Let f = 239.2 + -239. Sort -2/7, 2/7, f in increasing order.
-2/7, f, 2/7
Let t = 34 + -29. Suppose 4*m = t*m + 3. Sort m, 5, -2 in increasing order.
m, -2, 5
Let u be 0 + 11 - 0/(-1). Let d(k) be the first derivative of -k**3/3 + 2*k**2 + 11*k + 52. Let r be d(6). Put u, r, -4 in descending order.
u, r, -4
Suppose -43*o = -54*o. Sort 1, o, 83.
o, 1, 83
Let q be 40/6 - 2/3. Let j(x) = 23*x + 92. Let y be j(-4). Sort y, q, -3.
-3, y, q
Let b be 5 + 94/(-14) + 18/(-63). Suppose 3 = y, 2*t = -2*y + 6*y - 4. Sort -4, 3, b, t.
-4, b, 3, t
Let n be 1 - (-3 - 1)/8. Sort -5/11, n, -3/7 in decreasing order.
n, -3/7, -5/11
Let t(f) = f**3 + 8*f**2 - 11*f - 20. Let q be t(-9). Suppose -3*p = 6*p + 45. Sort p, 5, -1, q in descending order.
5, -1, q, p
Let v = 6 - 7. Suppose 0 = 2*y + 4*k - 14, -k - 4*k + 35 = 5*y. Sort y, v, 5 in descending order.
y, 5, v
Let r = 965 - 970. Let a(z) = z**3 + 6*z**2 - 8*z - 8. Let x be a(-7). Sort x, -4, r in descending order.
x, -4, r
Suppose -86*j - 44 = 128. Suppose 4*g - x + 5 = 4*x, -2*g + 1 = x. Sort g, 3, j in descending order.
3, g, j
Let u(t) = -34*t - 406. Let x be u(-12). Put 3, 28, x in descending order.
28, 3, x
Suppose -5*n = -22*n + 85. Sort -3, -12, n in descending order.
n, -3, -12
Let o = -0.038 + 20.038. Let h = o + -17. Sort 1/10, -0.2, 4, h in ascending order.
-0.2, 1/10, h, 4
Suppose 61 = 4*h + 1. Let r = -11 + h. Let d(u) = -u**2 + 3*u + 8. Let m be d(r). Sort -2, 5, m.
-2, m, 5
Let g = -57 + 62. Let x = 0.02 + -5.02. Sort 0.5, x, g.
x, 0.5, g
Let p = -132 - -662/5. Let v = -5 - 11. Let a = 24 + v. Sort -0.3, a, p in ascending order.
-0.3, p, a
Suppose -17 = g + 5*y, -2*y = -4*g + 17 + 3. Sort 4, 5/6, -1, g in increasing order.
-1, 5/6, g, 4
Let r = 10 - 39. Let t = r - -24. Let l = -0.2 + -3.8. Sort l, 3, t in descending order.
3, l, t
Let h = 0.5 - 1. Let n = -0.068 - 49.932. Let q = 45 + n. Put 2, h, q in decreasing order.
2, h, q
Suppose 6*t - 4*t = -6. Suppose -5*l - 4*r = 14, -1 = -0*l - 2*l + 5*r. Sort t, 22, l in descending order.
22, l, t
Suppose 5*f + 3 = 4*f. Let t be 1/f*(8 + -23). Sort 4, 3, t, -1 in descending order.
t, 4, 3, -1
Let w = -0.143 + -30.457. Let b = 28 + w. Let l = b - -2.8. Sort l, 0.5, 2/5 in descending order.
0.5, 2/5, l
Let f be 8/(-4) + 4/2. Suppose 7*s + f*s + 7 = 0. Sort s, 5, -6 in decreasing order.
5, s, -6
Let r = 0.06 + -0.73. Let b = r + 0.77. Sort b, 4, -3, -0.4 in descending order.
4, b, -0.4, -3
Let y(b) = -b**2 + 17*b + 57. Let z be y(23). Sort 0, z, 2.
z, 0, 2
Let p = -207 + 208. Sort 0, 13, p.
0, p, 13
Suppose -g - 5*y = -12, -3*g + 23 = 3*y - 13. Let m = 12 - g. Suppose 5*r - 9 + 24 = m. Sort 0, 4, r.
r, 0, 4
Let r = -186 - -186. Sort 4, -0.2, r in descending order.
4, r, -0.2
Let b be 4/(-6) + 340/60. Sort b, -0.076, -2 in descending order.
b, -0.076, -2
Let n be 1 - 0 - 1*6. Let c(f) = f**3 - 20*f**2 + f - 23. Suppose 6*k - 93 = 27. Let x be c(k). Put x, n, -1 in ascending order.
n, x, -1
Let b = 10.416 - -0.084. Let m = 10.6 - b. Sort -1, m, 0.04 in decreasing order.
m, 0.04, -1
Let b(t) = t - 5. Let o be b(6). Let a(h) = -11*h**2 - 3*h - 4. Let d be a(-1). Sort -3, d, o in increasing order.
d, -3, o
Let k be 3/(108/(-8)) - 341/(-198). Sort 0.9, k, 2/7 in decreasing order.
k, 0.9, 2/7
Suppose 0 = -50*s + 55*s + 20. Suppose 0 = -2*n - 0 + 6. Sort n, 5, s in increasing order.
s, n, 5
Let j = 12.33 - 12.53. Put -7, -12, j, 0.1 in descending order.
0.1, j, -7, -12
Suppose -38*j + 2384 = -694. Sort 2, -5, j.
-5, 2, j
Let m(t) = t**3 - 2*t**3 - 1 - 2*t + 2*t + 10*t**2. Let p be m(10). Sort -4, 0.1, p.
-4, p, 0.1
Let m be (-51)/(-119) + (-281 - 0). Let r = -579 + 298. Let j = r - m. Sort 5/4, j, -2/3 in decreasing order.
5/4, j, -2/3
Let b = -287/4 + 71. Let s = b - 11/12. Let r be ((-3)/(-3))/(0 + (1 - (1 + -4))). Sort s, 1/7, r in descending order.
r, 1/7, s
Let n be 6*-1*(-3)/18. Let m be 2/(-11) - (-7)/(308/228). Sort n, m, -8 in increasing order.
-8, n, m
Let d = 579.8 - 580. Sort -0.4, -1, 3, d in increasing order.
-1, -0.4, d, 3
Let w = -2.2 + 2. Suppose 3*x = 6, -3*p + 3*x = x - 11. Let d(s) = -s**3 + 4*s**2 + 7*s - 4. Let v be d(p). Sort v, w, -1/3.
-1/3, w, v
Let s(b) = 2*b**3 - 3*b**2 + 1. Let o be s(2). Let y be 35/30 + 1/(-2). Let m = 1901/110 + -171/10. Put y, o, m in increasing order.
m, y, o
Let y(a) = -a**3 + a + 2. Let i be y(2). Let c be 4/(-30) + 172/(-60). Let m(h) = h**2 + 3*h + 1. Let t be m(c). Sort i, 4, t.
i, t, 4
Suppose 4*b - 8 = 0, 0 = -3*j + 3*b + 9 - 0. Let l(w) = 6*w + 16. Let u be l(-7). Sort 0, j, u in increasing order.
u, 0, j
Let v be -1 + -1 + 12/3. Suppose -2*n + 2*d + 22 = -d, n - 4 = -v*d. Suppose -3*i = n - 5. Sort i, 1, 5 in descending order.
5, 1, i
Let l be 4/434 + 0 - 0. Let a be 78/65*(-74)/217. Let z = a + l. Sort 0.3, -2, z.
-2, z, 0.3
Let u be (-51 - 2)*2/(-22) - 5. Put 0.4, 4/9, u, -3 in decreasing order.
4/9, 0.4, u, -3
Let q = 172 + -171. Sort q, -2.15, 1/3, -5 in ascending order.
-5, -2.15, 1/3, q
Let z = -81.06 - 14.04. Let n = z + 94. Sort 0.3, 3/2, n in increasing order.
n, 0.3, 3/2
Let a = -881 - -881.04. Put a, -1/3, -9