i, y in decreasing order.
y, -1, i
Suppose 2*z + 4*f - 28 = 7*z, -2*z = f + 19. Put z, -4/7, 4/7 in ascending order.
z, -4/7, 4/7
Let w(s) = 3*s**2 - 2*s - 2. Let f be w(-2). Let v = f - 10. Sort -1, v, -2 in descending order.
v, -1, -2
Suppose 0 = -l - 3*u + 9 + 5, 2*l + 12 = 4*u. Let o = 0 + 0. Sort -3, o, l.
-3, o, l
Let y = 20 - 35. Let d be (21/y + 1)*-2. Sort -0.4, 0.3, d.
-0.4, 0.3, d
Suppose 15 = -7*m + 2*m. Let y = 0.13 - -0.07. Sort y, m, -4.
-4, m, y
Let z = -44 + 40. Put z, -0.5, 0.04, -1 in decreasing order.
0.04, -0.5, -1, z
Suppose 3*i + 5 = -13. Let m be 2/(-3) - 34/i. Let x = -1 - -3. Sort m, 0, x.
0, x, m
Suppose 0 = s - 0 + 2. Put 4, -5, s in ascending order.
-5, s, 4
Let h be -4 + (4 - 3) + 5. Suppose 3*w - 2 = h*w. Let s be (3/2)/((-9)/24). Sort 4, w, s in ascending order.
s, w, 4
Suppose 3*x = -2*x + 45. Let a = x - 11. Put 1, a, 2 in increasing order.
a, 1, 2
Suppose -80 = 5*n - 40. Put -5, n, -4 in decreasing order.
-4, -5, n
Let g = 0.114 - -0.286. Sort g, -2/5, 3 in descending order.
3, g, -2/5
Let j(s) = -4*s**2 + 2*s + 1. Let d be j(-1). Let x be 50/(-18) - 8/36. Let v be 1 - (-2)/(-1) - -2. Sort d, v, x.
d, x, v
Let f(h) = -3*h - 7. Let b be f(-5). Let p = b + -7. Put 0.2, -2/19, p in descending order.
p, 0.2, -2/19
Let u be 38/12 - (-12)/(-72). Let a(l) = -7 + 0*l - 5 + l. Let b be a(8). Sort 0, u, b in decreasing order.
u, 0, b
Let d = -0.2 - 0.1. Let b = 0 + d. Let l = -0.9 - 3.1. Sort 2/7, l, b in descending order.
2/7, b, l
Let g = 0.8 - 1.3. Sort -3, -0.3, g in descending order.
-0.3, g, -3
Let v = 782/7 - 112. Sort v, 2, 0.2 in decreasing order.
2, 0.2, v
Let f = -16 + 31. Suppose z = 4*c - 25, -3*z = -0*z + f. Suppose -2*x + x = -c. Put -3, 0, x in descending order.
x, 0, -3
Suppose 2*d - 2 = 0, -3*q + 2*d = q - 18. Let f(s) = s**2 + 3*s - 6. Let w be f(-5). Sort q, w, -4.
-4, w, q
Let m = -0.02 - 0.08. Let p = m + -3.9. Sort -4/3, p, 2/3 in decreasing order.
2/3, -4/3, p
Let j be 7*(-2)/(-36) + 14/(-84). Let h = -0.06 + -2.94. Put j, 3/4, h in decreasing order.
3/4, j, h
Suppose -2*c = -5*a + 20, -5*c = -7*c. Let w be (1 + 0)*(-3)/(-3). Sort 3, a, w in decreasing order.
a, 3, w
Suppose -2*r + 4 = x, 5*x - 16 = -2*r + 4. Let p = -6 - -7. Suppose -v = v. Sort v, p, x in ascending order.
v, p, x
Let t be (-13)/(-91) - 106/7. Let a = t + 17. Sort a, -3/8, 1/5.
-3/8, 1/5, a
Suppose m - 35 = 4*i, 3*i - m + 20 = m. Let y be ((-1)/2)/((-1)/i). Sort y, 0.3, -3 in ascending order.
y, -3, 0.3
Let o be (-9)/18*(8/5 + -2). Sort 6/5, 1, o.
o, 1, 6/5
Let q be (1 + -4)*1/(-1). Suppose 9 = -3*g - q. Let f(r) = r - 6. Let t be f(7). Put 4, t, g in ascending order.
g, t, 4
Let q = 0.14 - -2.86. Sort q, 4, -5 in decreasing order.
4, q, -5
Suppose 2*n = 2*z + 14, -3*n + 4*n - 23 = 5*z. Suppose 3*i = -2*i + 70. Let l = -9 + i. Put 0, n, l in ascending order.
0, n, l
Suppose 5 = 2*j + 15. Put j, 5, -4, -1 in decreasing order.
5, -1, -4, j
Suppose 7*p = -100 - 68. Let y = p + 19. Let k(u) = u. Let j be k(-4). Sort j, y, 4 in increasing order.
y, j, 4
Let k = 0.127 - -0.373. Sort -0.2, -1, k, 5 in descending order.
5, k, -0.2, -1
Let h = -31 + 28. Suppose 1 + 15 = 4*n. Suppose -4*a = -8, -5*v + n*a + 3 = -9. Put h, v, 0 in descending order.
v, 0, h
Let z = -0.29 + -0.11. Sort -0.2, z, -1 in ascending order.
-1, z, -0.2
Suppose -4*t + 8 = 0, 5*t - 2*t = -2*h. Let b(a) = a**2 - 11*a + 14. Let c = 11 + -1. Let o be b(c). Sort o, h, 2 in decreasing order.
o, 2, h
Suppose -22 = 4*z + 5*q, q = -3*z - 12 + 1. Sort 16, z, -4, 1 in decreasing order.
16, 1, z, -4
Let c be (1 + -1)/1 + 4. Suppose v - 10 - 3 = 2*i, 5*v - 3*i = 30. Suppose p - 2 = -0*p. Sort v, p, c in descending order.
c, v, p
Let g = -49.5 - -50. Sort -1.1, g, 1.
-1.1, g, 1
Let w be (-1*1)/((-2)/6). Suppose w*k + o = 4*k - 5, -k - 4*o = 10. Suppose 0 = -y + 3*y - 10. Sort -2, k, y in descending order.
y, k, -2
Let q = -25 - -20. Let x = 1 + q. Put 0, x, 4 in descending order.
4, 0, x
Suppose -3*x + 6*x - 5*v - 5 = 0, -5*v - 20 = 0. Sort x, 2, -2, -1 in ascending order.
x, -2, -1, 2
Let o = 52.6 - 53. Sort -3, -1, 3, o in ascending order.
-3, -1, o, 3
Let s(g) = 4*g**2 - g - 1. Let r be s(1). Sort -2/7, r, 2/9.
-2/7, 2/9, r
Let j = -16 - -14. Put 2, -3, j in decreasing order.
2, j, -3
Suppose -33 = 3*r - 0. Let l = r - -10. Let u = -4.5 + 4. Sort l, u, 2 in descending order.
2, u, l
Let o = 2272/9 - 252. Sort o, 0.2, 0.3 in descending order.
o, 0.3, 0.2
Let y be (-1)/(-3) - ((-485)/(-105) - 4). Let t = 5378/21 + -256. Let d = -508/5 - -102. Put d, y, t in ascending order.
y, t, d
Let s(c) = -c**2 + 5*c - 5. Let f be s(4). Let r(a) = -a**3 + 7*a**2 + 15*a + 22. Let l be r(9). Sort l, f, 1.
l, f, 1
Suppose 2*f - 12 = -2*f + 4*d, 3*f = 4*d + 13. Put -0.05, f, -1/3, 0.4 in decreasing order.
0.4, -0.05, -1/3, f
Let n be (0 + (-6)/15)*-5. Suppose -1 = -2*h - 2*c + 1, -4*h - n*c - 2 = 0. Put 5, -4, h in descending order.
5, h, -4
Let f be 0 + 3/(-90)*-4. Sort -0.2, 4, f.
-0.2, f, 4
Let p = -30.4 - -30. Sort -2/13, p, -2/7, -4 in increasing order.
-4, p, -2/7, -2/13
Let m = 0.22 - 1.32. Let w = m + 0.6. Sort -2, w, -1 in descending order.
w, -1, -2
Suppose 8*h - 3*h - 4*z + 28 = 0, -12 = h - 4*z. Put 0, -5, h in descending order.
0, h, -5
Let w(f) = 2*f**3 - f - 1. Let n = -7 + 6. Let m be w(n). Sort 2, -1, m in decreasing order.
2, -1, m
Let m = -1/108 - -227/1188. Sort -2, 0, m in ascending order.
-2, 0, m
Let g be (-4 + 0 - -2) + -2. Sort -20, g, -5, 5 in ascending order.
-20, -5, g, 5
Suppose 2*y + 14 = -a, 0*a - 7 = -2*a + 3*y. Put a, 3, 5 in decreasing order.
5, 3, a
Suppose 4*r - 3*g - 11 = 0, -4*g - 5 = g. Suppose 3*t - r*t - 1 = 0. Put 0, t, -1 in descending order.
t, 0, -1
Suppose 3*v = 2 + 13. Let f = -2 + 6. Let r be (1 - (f + -2)) + 2. Put v, -2, r in increasing order.
-2, r, v
Let x = -1.97 - 0.03. Let u = -26.2 + 24. Let b = x - u. Sort b, 1/3, 3 in decreasing order.
3, 1/3, b
Let h be -4 + 3 + (-10)/(-5). Let y = -0.04 + 0.44. Let x = -1.4 + y. Sort h, x, 2 in increasing order.
x, h, 2
Let o be 240/56 + 2/(-7). Sort o, -4, 5 in descending order.
5, o, -4
Let h = -0.2 - -0.24. Let o = 0.44 - h. Let g = -18 + 13. Sort g, o, 0.1.
g, 0.1, o
Suppose 3*b - 2*t = -0*t + 26, 0 = 5*b + t - 52. Suppose 2 = 4*k + b. Sort k, 5, 6 in decreasing order.
6, 5, k
Let x = 2 + 0. Suppose 3*h = x*h. Sort 4, h, -2 in descending order.
4, h, -2
Let t(s) = s**2 - 3*s + 4. Let b be t(2). Suppose 0 = -0*c + 5*c. Sort b, c, -2 in descending order.
b, c, -2
Let u = -12 + 8.5. Let y = u + 0.5. Sort -7, y, -0.2 in increasing order.
-7, y, -0.2
Let c(s) = 2*s - 9. Let a be c(6). Let l = -13 - -14. Sort a, 4, l in ascending order.
l, a, 4
Let m = 33.7 - 34. Sort 2/39, -2, m in ascending order.
-2, m, 2/39
Let i be 2/10 + 735/75. Put 0, -4, i in ascending order.
-4, 0, i
Let b = -8 - -3. Let u = -14 + 17. Put u, 1/3, b in decreasing order.
u, 1/3, b
Suppose i + 10 = -i. Let d(q) = -2*q**2 + 13*q - 16. Let x be d(5). Put i, x, 3 in increasing order.
i, x, 3
Let r = 3 - -10. Let i(x) = -2*x**2 - 15*x - 12. Let q(a) = -5*a**2 - 31*a - 25. Let y(v) = 7*i(v) - 3*q(v). Let w be y(r). Sort w, 1/7, 1/8 in ascending order.
1/8, 1/7, w
Let j = 14.6 + -11.6. Sort -3/4, -0.1, j, 5 in increasing order.
-3/4, -0.1, j, 5
Let s be 3 + 105/(-9) + 2/(-6). Put -1, s, -2 in decreasing order.
-1, -2, s
Let d = -4 + 2. Let u = d - -2. Let g = 142 - 140. Put u, 3, g in increasing order.
u, g, 3
Let j(u) = 2*u**3 - u. Let c(g) = -g**3 + 5*g**2 + 6*g - 1. Let x be c(6). Let o be j(x). Sort 0, 3, o.
o, 0, 3
Let n = -9.9 + 10. Let w = n + -0.6. Sort -0.1, w, -5 in decreasing order.
-0.1, w, -5
Let j be 3/(-2*2/(-4)). Let u be (-4)/(-6) + 4/j. Suppose -4*s + 2*y = -u, 5*s + 5 = 2*y - y. Sort -1, 3, s.
s, -1, 3
Let g = -13 - -6. Sort 0, g, 1.
g, 0, 1
Let q = -36 - -75. Suppose -4*k + q + 1 = 4*j, -5*k = j - 30. Suppose -4*h + 21 = 9. Put j, h, -2 in decreasing order.
j, h, -2
Let y = 5.7 + -3.7. Sort 5, 13, y in ascending order.
y, 5, 13
Let f = 411/1015 - 1/203. Sort -0.2, -7, f in ascending order.
-7, -0.2, f
Let i(g) = g**3 + 6*g**2 + 4*g - 7. Let f be i(-5). Let d = 3 + f. Suppose -2*j - 3*j = 20. Sort -5, j, d in decreasing order.
d, j, -5
Let j = 0.2 + 0. Let p = -604/35 + 118/7. Let a = 3.5 + -6.5. Put j, a, p in de