er.
v, 0, -0.2
Suppose 11*b - 2 = -2. Sort -4, b, 1, 8 in decreasing order.
8, 1, b, -4
Let i = 1329 + -1347. Sort 3, i, -1 in descending order.
3, -1, i
Let c = 7 + 11. Let t = 17 - c. Sort t, 0.5, -5 in decreasing order.
0.5, t, -5
Suppose 11*s - 12*s + 1 = 0. Suppose 22 = 3*f - 5*f + 4*x, -5 = -5*f - 5*x. Let b = 5 + f. Sort s, -6, b in descending order.
b, s, -6
Suppose 0 = o + q - 3, 0 = -5*o - q - 3*q + 12. Suppose o = 2*k - 0 + 4. Put k, 4, -5 in increasing order.
-5, k, 4
Suppose -4*t + 5*t = 3. Suppose 0 = r - 3*h - 25, r + t*r + 4*h - 52 = 0. Suppose -10 = 5*d - 4*s + 7, -2*s + r = -4*d. Sort 5, -3, d.
d, -3, 5
Suppose 5*a + 2*z - 23 = 4*z, -3*a - 5*z = -20. Let w be 6 - 3 - 4/2. Suppose 3*k + w = -2. Sort a, 4, k.
k, 4, a
Suppose -k = m, -m - m + 8 = 0. Let p(t) = 10*t + 13. Let a be p(k). Put -1, -3, a in descending order.
-1, -3, a
Let g(m) = 23*m - 71. Let f be g(3). Suppose 6*d = d - 5. Sort 4, d, -6, f in descending order.
4, d, f, -6
Let b = 8.44 + -5.44. Put -46/5, b, -5/2, -0.5 in descending order.
b, -0.5, -5/2, -46/5
Let d = 22.28 - 16.28. Put 1, d, -1 in ascending order.
-1, 1, d
Let c be 11 + 3 + -3 + 1. Suppose 0 + c = -4*z. Suppose -4*m - 12 = -4*p - 0*m, 4*m + 20 = -4*p. Sort p, 4, z.
z, p, 4
Let v be (-7)/14 - 5/(-2). Suppose -l + v*l = 2. Put -1, 5, l, 0 in increasing order.
-1, 0, l, 5
Suppose -2*x - o = -1, 2*x + 2*x = 4*o - 4. Suppose -5*c - 20 = -x, 13 = -r - 4*c. Suppose 5248*y = 5253*y + 20. Sort r, -3, y in increasing order.
y, -3, r
Let g(f) = 6*f**2 + 45*f + 20. Let k be g(-7). Sort k, 0.27, -5 in decreasing order.
0.27, k, -5
Let s be -2 + ((-12)/2)/(-3). Let q be 456/88 - (-2)/(-11). Sort 19, s, 3, q in decreasing order.
19, q, 3, s
Suppose 0 = -y - 266 + 264. Sort y, 4, 0, -1 in decreasing order.
4, 0, -1, y
Let f = 0.2 - 0.4. Let r be 2/(-7) + 44/105. Put -1/3, r, f in ascending order.
-1/3, f, r
Let x = 833 - 836. Sort x, 9, 1, -5 in descending order.
9, 1, x, -5
Let s = 4.44 - -0.66. Let v = -4.7 + s. Sort -1/3, v, 3/8, -4 in descending order.
v, 3/8, -1/3, -4
Let v be 21/182*40/(-30). Suppose 3*g - 23 = -2*i, -5*i - 5*g = -2*g - 35. Put -3, v, i in descending order.
i, v, -3
Let l be -1 - 0 - (-10)/8. Let z(y) = 2*y**3 + 6*y**2 + 3*y - 4. Let h be z(-4). Let f be (-18)/20 + h/80. Sort -0.3, l, f in increasing order.
f, -0.3, l
Let l = 3 + -2. Let j be 29/2 + (-2)/4. Let x be ((-35)/(-49))/(2/j). Sort -4, l, x.
-4, l, x
Let i = -420 - -415. Let a be (-2)/(-5) - 36/(-10). Let r be a/18*2*1. Sort i, 0.5, r in ascending order.
i, r, 0.5
Let q be (-2)/18*-2*-3. Let t = 106 - 102. Sort q, 3/4, t in decreasing order.
t, 3/4, q
Let j = -146 + 146.5. Put -31, j, 0.4, -2/5 in decreasing order.
j, 0.4, -2/5, -31
Let h = -892 + 895. Put h, 0.2, -0.3, 88 in ascending order.
-0.3, 0.2, h, 88
Let m be (2 - 8)*(-3 - 28/(-12)). Let i = 1.2 + -6.2. Put i, 3/2, m in increasing order.
i, 3/2, m
Let w = -187.3 - -187. Sort 2/9, -5, w, -10/13 in increasing order.
-5, -10/13, w, 2/9
Suppose 4*y + 0 + 20 = 0. Let n be (-7 + 2)*(y + 4). Let q be 0/n - (-8)/28. Put 1/7, q, 0.3 in decreasing order.
0.3, q, 1/7
Suppose 4*i + 9 + 19 = 2*x, i = -5. Let d(p) = -p**3 - 7*p**2 - 4*p + 14. Let a be d(-6). Let u be (-1)/a*-2 - 4. Sort x, u, 3 in descending order.
x, 3, u
Let y = 6.31 - 2.31. Let o = -4 - -5. Let h = -0.9 - -1.4. Put y, h, o in ascending order.
h, o, y
Suppose -78 = -40*c + 202. Put 1, -5, 6, c in descending order.
c, 6, 1, -5
Suppose 4*r + 4*q = 0, -r + 4*q + 3 = -7. Let n be 10/r - (13 - 10). Sort -2/17, 1, n in descending order.
n, 1, -2/17
Let w(j) = -32*j + 10*j**2 + 10*j**2 - 27*j**2 + 14 + 5*j**2. Let b be w(-15). Sort -5, 0, b in increasing order.
-5, 0, b
Let i(x) = 2*x**2 - 4*x + 3. Let u be i(2). Let d = -287 + 289. Put d, -3, 4, u in decreasing order.
4, u, d, -3
Let r = -20/11 + 91/44. Let d = 0.1 - 0.3. Let q = 0.83 + -0.43. Sort q, r, d in increasing order.
d, r, q
Let t = 0.634 + -4.634. Suppose -w = 4*w + 5, 0 = -4*q - 4*w. Let n be (q/(-6))/(6/8). Put n, 2, t in ascending order.
t, n, 2
Suppose -2*d - 3*g + 48 = 0, -3*g + 94 = 4*d + 2*g. Let i be (-28)/d*12/88. Let w be (4/(-2))/((-2)/4). Sort -2/9, i, w in ascending order.
-2/9, i, w
Let m(t) = 8*t - 147. Let z be m(18). Let p(q) = -q - 2. Let i be p(0). Sort i, 2, z.
z, i, 2
Suppose -17*g = -82*g - 92 - 233. Let b = 0 - -0.1. Put g, b, 2 in decreasing order.
2, b, g
Suppose -4*f = -4*i - 12, -5*f + 19 = -0*f - 3*i. Let p be 0 - ((-18)/(-6) - (4 - 19)). Sort f, p, -1 in decreasing order.
f, -1, p
Let z(c) = -11*c**2 - 56*c - 4. Let y be z(-5). Put -3, 6, 4, y in ascending order.
-3, y, 4, 6
Suppose -8*p = -3*p - 10. Suppose -4*w + 9*w = 5*u + 25, u - 3*w = -9. Let l = u + p. Put l, -5, 4 in increasing order.
-5, l, 4
Let u = -1.0498 - -0.0498. Put -142, -2/15, u, 2 in decreasing order.
2, -2/15, u, -142
Let h = -738.3 + 738. Let z = 1 - 1. Suppose -4 + z = 4*o. Put h, o, 2 in descending order.
2, h, o
Let v = 155 - 153. Put 3, -4, v, 0 in increasing order.
-4, 0, v, 3
Suppose 0 = -o + 5*h + 4, -4*h = 2*o + 3 - 11. Let y(q) = -q**2 + 8*q + 18. Let a be y(12). Let m = a - -22. Sort o, 2, m in increasing order.
m, 2, o
Let d = 0.33 - -4.8. Let x = -12.87 - -13. Let j = x - d. Sort 0.2, -3, j in descending order.
0.2, -3, j
Suppose -6*q + 0*q - 7*q = 0. Let f = 4 + -4.3. Sort f, -0.4, q, -4 in decreasing order.
q, f, -0.4, -4
Let j = -4.751 - -4.801. Let h(t) = 2*t. Let u be (1/(-3))/((-3)/(-9)). Let v be h(u). Sort 0.5, j, v in decreasing order.
0.5, j, v
Let s = -28 + 28. Suppose 0 = -0*q + 5*q - 145. Let x = -32 + q. Sort s, 4, x in decreasing order.
4, s, x
Let w = -0.49 + -5.31. Let o = 0.4 - 6.4. Let a = o - w. Put -1/4, a, 4 in decreasing order.
4, a, -1/4
Let s(o) = o + 4. Let p be s(-5). Let a(r) = -2*r - 10. Let h be a(-6). Put h, 1, p in increasing order.
p, 1, h
Suppose 4*g - 2*g = 0. Suppose 0*d + d = 10. Let a be (-6 + d)/(2 - g). Sort -1, a, 0.2 in decreasing order.
a, 0.2, -1
Let i(h) = -2*h**3 - 13*h**2 + 4*h - 3. Let c be i(-6). Sort c, 3, 0, -5 in descending order.
3, 0, -5, c
Let n = 841/5 + -39517/235. Sort -2, 0, n in descending order.
n, 0, -2
Let w = -3.1 + 0.1. Suppose -276*a = -282*a + 6. Put w, -0.08, a, -2/5 in decreasing order.
a, -0.08, -2/5, w
Let t = 109 - 109. Let p = 0.7 - 0.3. Let l = p + -0.8. Sort l, t, -6.
-6, l, t
Let t(f) = -f**2 + 9*f - 6. Let s be t(6). Suppose -4*k + 10*k - s = 0. Put k, 3, -4 in decreasing order.
3, k, -4
Let j = -46/17 - -455/187. Put j, -5, 1, -3/2 in decreasing order.
1, j, -3/2, -5
Let y = 17 + -21. Let o = 23 - 23.4. Sort -2/41, o, y.
y, o, -2/41
Suppose 29*x + 140 = -150. Let b be (-2)/(-5)*5*2. Sort b, x, -5.
x, -5, b
Let y be (-3*1)/(0 - 24/(-80)). Put y, -22, 2 in decreasing order.
2, y, -22
Suppose -34 = -7*o - 27. Suppose 0 = 4*x - 2 + 18. Sort x, 9, o, 3 in descending order.
9, 3, o, x
Let p = -4.46 + 4.2. Let o = p - -2.26. Let i = 2 - 1.5. Sort i, o, -0.1 in descending order.
o, i, -0.1
Let l = -673 - -673.1. Let b = 0.1 + -2.1. Put b, l, -1/4, 2.4 in decreasing order.
2.4, l, -1/4, b
Let w(x) = 2*x**2 + 26*x + 28. Let k be w(-12). Sort k, 8, -2, 5 in increasing order.
-2, k, 5, 8
Let d = -0.041 - -0.189. Let t = d - -0.052. Put -1/6, 2, 0, t in ascending order.
-1/6, 0, t, 2
Let j be ((-4)/(-10))/(116/(-870)). Let u = -3.1 + 3. Sort j, 3, -1.7, u.
j, -1.7, u, 3
Let t = -1009/5 - -202. Put t, 1/3, -1/3, -2/11 in increasing order.
-1/3, -2/11, t, 1/3
Let m = 125/36 + -38/9. Put -0.4, -1/4, m in ascending order.
m, -0.4, -1/4
Let s = 2499 + -2500.13. Sort s, -1, 1/2 in ascending order.
s, -1, 1/2
Let a be (1 - 3)*1 - -6. Let r = -2335 - -2331. Sort r, a, 12.
r, a, 12
Let k = 242 + -243. Sort 0, 4, 2/15, k.
k, 0, 2/15, 4
Let h = -196 + 199. Sort -2, -5, h, -3 in increasing order.
-5, -3, -2, h
Suppose 3 = -4*c - 13. Let u = 3.3 + -3.1. Let w = -0.23 + u. Sort 2, c, w.
c, w, 2
Let g = 45 - 45. Suppose -3*t - 3 = 0, 4*n - 12 = -4*t - g. Put -1/5, n, -1, 2 in decreasing order.
n, 2, -1/5, -1
Let p = -1288.5 - -1288. Let u = 2.3 - 2. Sort u, 2/15, 1, p.
p, 2/15, u, 1
Suppose 5*r = w - 10, 3*w - 2*r - 4 = -w. Suppose -14 = 2*p + v, w = p - 3*v - 5 - 2. Suppose -3*h - 2*g + 1 = -0*g, 3*h = 2*g - 19. Sort h, p, -7.
-7, p, h
Let a be (9/6 + -2)*2. Let q be 10/(-6)*12/(-70). Let y(h) = h