 z
Suppose 0 = -m + 4*m - 9. Suppose 40 - 8 = 4*x. Let k be 3 + x/12*-6. Sort 0, m, k in decreasing order.
m, 0, k
Suppose 0 = 3*q - 5*h + 8, 4*q - h = -0*h + 12. Let a be (-35)/(-14)*q/(-5). Sort -9, a, -5.
-9, -5, a
Let o = -0.44 - 0.56. Sort 2, -0.2, o, 4 in ascending order.
o, -0.2, 2, 4
Let u = 7 - 12. Sort -2, 1/4, u, -0.3 in descending order.
1/4, -0.3, -2, u
Suppose -2 = 2*y - 0. Put y, -2, -4 in increasing order.
-4, -2, y
Let n = -6 - -8. Suppose -2*x + 67 = 5*v, 23 = -3*v + 3*x + 59. Suppose -4*d = i - 0*d - 21, 0 = -i - 2*d + v. Sort 4, i, n.
n, 4, i
Suppose -2*r + k + 15 = 3*r, 9 = 3*r + 5*k. Suppose -27*b + 12 = -24*b. Sort 0, b, r in ascending order.
0, r, b
Let i = 0.73 - -0.27. Let w be 3*5/3 - 2. Suppose w*x = 7*x - 2*y + 10, -2*x - 4*y = 20. Put i, x, 1/2 in decreasing order.
i, 1/2, x
Let u = 0.2 - -2.8. Let o = 3 - u. Let p = -0.2 - 0. Sort o, 1/5, p in decreasing order.
1/5, o, p
Suppose 0 = 4*u - z + 3, 5*z = -3 - 2. Let k be 2*u + 14/2. Let q be (-2 + -2 - -3)*(0 + -1). Sort q, k, -3.
-3, q, k
Let b(y) = y**3 - 3*y**2 - 5*y + 1. Let t be b(4). Let d = -22 + 32. Suppose -d*c + 7*c = -6. Sort c, 0, t.
t, 0, c
Suppose -2*j - 14 = -4*a, 5*a - j + 2*j = 35. Sort -4, -1, a in decreasing order.
a, -1, -4
Let j = -2 + 7. Let z be (-2 - 10/(-4))*-4. Let t be 1/(z - (-9)/5). Put 1, t, j in decreasing order.
j, 1, t
Suppose 0 = -5*n + 5. Suppose -20 = 5*i, -4*y + 0*i + 8 = 3*i. Sort n, -1, y.
-1, n, y
Suppose 4*i + 7 = 3*l, 4*l - 26 = -0*i + 2*i. Suppose -l = -4*h - 1. Sort h, 0, -3 in ascending order.
-3, 0, h
Let p = -12.6 + 13. Put 3/5, -1/7, p in decreasing order.
3/5, p, -1/7
Let k(y) = -y**2 - 8*y + 7. Let b be k(-8). Let f = b + 0. Let s = f - 2. Put 1, s, -1 in ascending order.
-1, 1, s
Let v be 2/(-7) + 6/21. Sort v, -2, -8 in ascending order.
-8, -2, v
Let j = 171 - 175. Sort -5, j, 0, 2 in decreasing order.
2, 0, j, -5
Suppose l = 0, 3*l + 15 = 2*m + 3*m. Suppose -3*z + z = 2*s - 12, m*z - 2 = s. Sort 1, 5, s.
1, s, 5
Let a be 1/4 - 6/(-8). Let j be (0 + -4)*(a - 2). Suppose -2 = i + j*t, -13 + 2 = -4*i + 3*t. Sort i, -4, -1 in decreasing order.
i, -1, -4
Suppose 0 = -n + 4. Suppose n*f + 2 + 10 = 0. Let y be ((-1)/(-2))/(2/4). Sort f, y, 5 in descending order.
5, y, f
Suppose -5*t + 2*i + 31 = 0, 12 = t + t - i. Suppose -t*w = -2*w - 100. Suppose -4*o + 0 = -w. Sort 2, 1/3, o in decreasing order.
o, 2, 1/3
Let t(h) = 2*h - 11. Let s be t(7). Sort -2, -5, s, -13.
-13, -5, -2, s
Let y = -10 + 16. Let l = y + -3. Let a = 0.3 + -0.3. Put a, -1/2, l in descending order.
l, a, -1/2
Suppose 26 = z + 27. Put z, -3, 0, 5 in decreasing order.
5, 0, z, -3
Let a = 15 + -11. Let p(h) = -h**2 - 6*h - 1. Let u be p(-6). Put a, u, 0 in increasing order.
u, 0, a
Let o(x) = x - 16. Let i be o(16). Put i, -1, 3 in decreasing order.
3, i, -1
Suppose 0 = r - 0 - 1. Let j = 224 + -226. Put r, 3, j in increasing order.
j, r, 3
Let l(w) = -6*w - 41. Let d be l(-7). Put -2, -2/11, -2/5, d in descending order.
d, -2/11, -2/5, -2
Let m = -13 - -12.5. Let l = -0.23 - -0.33. Put 4, l, m in decreasing order.
4, l, m
Suppose 0 = -5*q - k - 1, -k - 16 = -5*k. Sort q, -2, -4 in ascending order.
-4, -2, q
Suppose f - 4 = 3*f, -5*q + 2*f = -104. Suppose 3*k + 2*k - q = 0. Sort 1, 5, k in decreasing order.
5, k, 1
Suppose 2*n + 30 = -8*n. Suppose 5*v - 3*t - 13 = 0, 5*t + 11 = 4*v - v. Put n, -5, v in decreasing order.
v, n, -5
Suppose 5*v = -27 + 12. Sort v, 1, -4 in descending order.
1, v, -4
Suppose 5*p + j = 9, 9 = 5*p - j - 2. Let c(h) = -3*h + 3. Let a be c(2). Sort -1.4, a, p in descending order.
p, -1.4, a
Suppose 0 = 10*q + 8 + 2. Sort q, -11, -4, 5 in ascending order.
-11, -4, q, 5
Let s(y) = y**3 + 8*y**2 - y - 9. Let f be s(-8). Sort -3, 0, f.
-3, f, 0
Suppose 2*n - n - 3*q = -12, 2*n - 6 = -4*q. Let d = -9 - -5. Let y be -1*(-3 - d) - -2. Put n, y, 2 in descending order.
2, y, n
Let a(m) = m**2 + 6*m - 1. Let i be a(-6). Let v be (-9 - i)*(-11)/(-22). Put v, -1, 5 in decreasing order.
5, -1, v
Let w be (((-6)/10)/1)/(-3). Let l = -16 - -16.1. Let i = l + -0.1. Sort w, 2/11, i.
i, 2/11, w
Let w = 0.17 - 3.17. Sort 0.5, w, 2 in decreasing order.
2, 0.5, w
Let y(o) = o**2 - o - 26. Let x be y(6). Sort x, 5, 0 in increasing order.
0, x, 5
Let v = 31/5 + -191/30. Put v, 2, 1 in ascending order.
v, 1, 2
Let m = 2.99 + -3. Let o = 1.01 + m. Let c = o + -0.7. Sort c, -1, -4.
-4, -1, c
Let g = 7 - 8. Put -2, -4, g in ascending order.
-4, -2, g
Let f = 59 + -52. Sort -3, f, 5, 1.
-3, 1, 5, f
Suppose -3*y - 5*g = -25, 3*y + 22 + 3 = 5*g. Suppose y = -2*f + 3*f. Suppose f = -3*x - 0*x + 3. Sort x, 5, -4 in decreasing order.
5, x, -4
Let z(d) = -d**3 - 5*d**2 + 3. Let u be z(-3). Let f = u - -46/3. Let b = 4 + -7. Put -0.3, b, f in increasing order.
b, -0.3, f
Let w be 1/(-6) - (42/18 - 2). Put -5, w, -1, -4 in decreasing order.
w, -1, -4, -5
Suppose 2*t - 4*r - 10 = 0, -6 = -t + 3*r + 3. Let o(q) = 4*q**2 - 3 - 5*q**2 - 2*q - q. Let u be o(t). Sort 4, -5, u in decreasing order.
4, u, -5
Let b be (-99)/(-21) - (-3 + (-76)/(-28)). Put 4, -1, b, 0 in descending order.
b, 4, 0, -1
Let r(b) = -b**3 + 5*b**2 - 4*b + 5. Let p be r(4). Suppose 0 = i - p*i. Sort 5, i, 3.
i, 3, 5
Let u = -45 + 44.7. Sort u, 0.2, -1 in decreasing order.
0.2, u, -1
Suppose -2*h - 48 = -6*h. Let c be 7/h + (-4)/12. Put -1/10, c, 2 in decreasing order.
2, c, -1/10
Let s(u) = u**3 - 11*u**2 - 11*u - 15. Let v be s(12). Put v, -5, -2 in descending order.
-2, v, -5
Suppose -2*u = -6*u - 16. Suppose -4*m + 12 = -m. Sort u, m, -2 in ascending order.
u, -2, m
Let n = -103/18 - -35/6. Let h = n + 5/36. Let o = 3/19 + 1/114. Sort 0.1, o, h in descending order.
h, o, 0.1
Let d = -22 + 27. Put d, -0.3, 0.4 in decreasing order.
d, 0.4, -0.3
Let q(w) = w**3 - 8*w**2 + 6*w + 10. Let a be q(7). Suppose 0 = 3*f - 0*f - 4*s + 32, -36 = 4*f - 4*s. Let x = f + -1. Sort a, 2, x in descending order.
a, 2, x
Suppose 0 = 4*t - t + 5*o + 32, 3*t + 3*o = -24. Let r be 63/12 - (-3)/(-12). Suppose a = -4*p + 20, -2*p + 0 - 12 = -r*a. Put a, t, 1 in ascending order.
t, 1, a
Let b = 0.038 + 2.562. Put 4/7, -5, b, -0.3 in increasing order.
-5, -0.3, 4/7, b
Let q = 11 - 8. Let b = -2 - -2. Put b, -4, q in descending order.
q, b, -4
Suppose w = -4*w. Suppose -4*k = b - 20, 5*k - 3*b - 10 - 15 = w. Sort k, 2, -2 in descending order.
k, 2, -2
Let n = -5 + 0. Put -4, n, -2 in increasing order.
n, -4, -2
Let c(t) be the second derivative of -t**3/6 + 11*t**2/2 + t. Let l be c(9). Let i = l + -3. Sort i, -3, 2 in decreasing order.
2, i, -3
Suppose -2 = -2*j, 4*l = -j - 28 + 1. Let a = 11 + l. Suppose -a*i + 4 = y, -3*i - i = -y - 12. Sort 3/4, y, 4 in decreasing order.
4, 3/4, y
Let y be -109*((-8)/868)/2. Let n = -11/31 - y. Put 0.1, n, -5 in increasing order.
-5, n, 0.1
Let w = -59 - -59.1. Let u = 4/77 - -22156/385. Let o = 58 - u. Sort o, w, -0.3.
-0.3, w, o
Suppose -10*m - 2 = 8. Suppose -14 = 4*n - q, -n + 5*q - 25 = 4*n. Sort 3, m, n.
n, m, 3
Suppose 224 - 48 = 4*p. Let h be -1*(p/(-36) - -1). Sort -1, h, 0.5 in decreasing order.
0.5, h, -1
Let i = -8 + 7.9. Let p = 17 - 12. Sort p, -2/9, i in increasing order.
-2/9, i, p
Suppose -2*j - 3*j + 3*g = -22, 5*j - 2*g = 23. Suppose -r - 6 + 2 = 0. Put j, -1, r in descending order.
j, -1, r
Let b(m) = -m**3 + 3*m**2 + m - 4. Let p be b(3). Let g be (14/(-4) - -2)*6. Let f = g - -6. Sort 0, p, f in decreasing order.
0, p, f
Let x(d) = d**2 + 5*d + 6. Let r be x(-4). Put -1, r, -2, 5 in decreasing order.
5, r, -1, -2
Suppose -4*y = -a - 19, y + 2*a + 2 = -0*a. Let p(i) = i + 2. Let z be p(y). Suppose -4*f = 4, 4*q - 2*q - z = -4*f. Put 0, 3, q in descending order.
q, 3, 0
Let l be ((-6)/9)/(2/30). Let b = l - -4. Let w be (-16)/(-12)*b/(-4). Sort 3, w, 0 in decreasing order.
3, w, 0
Let k = 4.92 + 0.08. Let x = -7 + k. Sort 3, -5, x in descending order.
3, x, -5
Let g(a) = a - 6. Let w be g(3). Put w, -1, 1 in descending order.
1, -1, w
Let z = 2 + -6. Suppose -16 - 9 = 5*k. Put z, k, 4 in decreasing order.
4, z, k
Let f = 46 - 45. Sort -2, -2/3, f, -4 in descending order.
f, -2/3, -2, -4
Suppose 3*z - 17 = -5. Let p(b) = -b**2 + 5*b - 6. Let k be p(z). Put k, 5, -5 in increasing order.
-5, k, 5
Let b = -3.09 - -0.09. Put 0, 0.2, b in increasing order.
b, 0, 0.2
Le