11, 5, t, -4
Suppose f + 1 - 4 = 0. Let h = 1 - 1. Suppose -4*d = k - f, 4*d + 9 = 3*k - h. Sort d, -4, -2.
-4, -2, d
Let v = -138 + 1379/10. Put 5, v, 0.12, 2/7 in increasing order.
v, 0.12, 2/7, 5
Let x = -0.115 + -2.885. Sort 8, 0, -2, x.
x, -2, 0, 8
Suppose p - 15 = -h, -5*h + 3*h = 3*p - 29. Let o be ((-3)/(-2))/((-6)/h). Sort o, 4, 5 in descending order.
5, 4, o
Let p = -31.2 - -28. Let x = 21 + -24. Let r = x - p. Sort -1/6, -1/7, r in descending order.
r, -1/7, -1/6
Let i = -0.3 + 0.2. Let u = 5 + 11. Let z be u/20*(-2 - 3). Sort i, 0, z.
z, i, 0
Let d be ((-3)/(-12))/((-3)/3). Sort d, 5, -3 in ascending order.
-3, d, 5
Let w = 0.2 - -0.8. Let y = 0.015 + 0.085. Let l = -0.07 + 5.07. Sort y, l, w.
y, w, l
Suppose -g + 11 - 6 = 0. Put 0, g, -5 in descending order.
g, 0, -5
Let s(t) = -t - 8. Let h be (-1 + 0)/((-3)/(-18)). Let w be s(h). Put 0, 3, w in descending order.
3, 0, w
Suppose 2*w = -2*j, 3*j = -5*w + 4*j + 24. Sort -4, -3, w.
-4, -3, w
Let b = 2 + -3. Put 10/7, 0.3, -4/3, b in increasing order.
-4/3, b, 0.3, 10/7
Let v(n) = 23*n**3 - 2*n - 4*n**2 - 13*n**3 + 4 - 9*n**3. Let i be v(4). Put -13, i, 5 in ascending order.
-13, i, 5
Let t(f) = -f - 4. Let p be t(0). Let m be ((-6)/(-10))/((-3)/15). Sort p, m, 5 in decreasing order.
5, m, p
Suppose -7 = 15*b - 37. Sort 0, 4, b, 3 in increasing order.
0, b, 3, 4
Let a = -5 - -5. Let g(f) = -2*f - 7. Let h be g(-6). Sort h, a, 2 in descending order.
h, 2, a
Let a = 17 + -11. Suppose 2*t - a*t + p = -24, 3*t - 19 = p. Put -2, t, -4 in ascending order.
-4, -2, t
Let m be (-9 + 9)/((-2)/2). Put -5, m, 12 in decreasing order.
12, m, -5
Let v = 2 + 0. Let l be ((-7)/(-14))/(v/8). Sort -5, 5, l in ascending order.
-5, l, 5
Let w = 51 - 46. Put -4, -2/3, 1, w in increasing order.
-4, -2/3, 1, w
Let y = -29.9 + 25.9. Let g = 317/214 + 2/107. Sort y, g, 0.06.
y, 0.06, g
Let u be (-1)/(-1 + 0 + 0). Let z = 5 - u. Suppose 5*k = 4*k. Sort -3, k, z in decreasing order.
z, k, -3
Let c = -25.8 + 50.2. Let v = 24 - c. Sort -1/6, v, -1 in descending order.
-1/6, v, -1
Let f(k) = -2*k**2 + 3*k. Let t be f(2). Sort t, 6, 3 in descending order.
6, 3, t
Let l be (-1)/(2/10*1). Put 2, l, 1, -0.08 in decreasing order.
2, 1, -0.08, l
Let m(w) = 4*w + 21. Suppose -2*d + 3*d = -6. Let s be m(d). Let a = 2 - 7. Sort a, 1/4, s in ascending order.
a, s, 1/4
Let z = -0.9 + 0.6. Let p = -1.7 - -2. Let f = 1.3 - p. Sort -4/9, f, z in descending order.
f, z, -4/9
Let i = 13 - 9. Suppose i*n + o - 15 = 0, -5*n + o + 18 + 12 = 0. Sort -3, 4, n in descending order.
n, 4, -3
Let p = -0.2 - 0.2. Let z = -6 + 4. Let s = 0 - z. Sort p, s, -4/7 in increasing order.
-4/7, p, s
Let r(o) = -o**3 - 9*o**2 - o - 10. Let y be r(-9). Let p be (5 - 3)*y/2. Sort -4, p, -3.
-4, -3, p
Let v be (-406)/21 + 3/9. Sort 0, 5, v in increasing order.
v, 0, 5
Suppose 2*h - 16 - 8 = 0. Let b be (-5)/3*-1*3. Suppose 2*y - h = b*y. Sort 2, -5, y.
-5, y, 2
Let x = -129 + 130. Let l be (1 + (1 - 6))/(-2). Sort 0, l, x in increasing order.
0, x, l
Let z be (-108)/(-15) + (-4)/20. Suppose z*v - 3 = 10*v. Put -3, 0, v in descending order.
0, v, -3
Let n = -2/47 + 67/470. Let h = 21/52 - 2/13. Let a = 0.38 - 0.18. Sort n, a, h.
n, a, h
Let w = 523/15 - 35. Let q = -10 + 10.2. Sort q, w, -1.
-1, w, q
Let y be (3/(-22))/((-3)/4). Suppose 104 = -5*m - 11. Let n = m - -25. Sort 1/3, y, n in descending order.
n, 1/3, y
Suppose 6*r - r - 25 = 0. Let h = 178 - 182. Sort 1, h, r in decreasing order.
r, 1, h
Let g = 67 + -63. Put -5, g, 0.3, 0.4 in increasing order.
-5, 0.3, 0.4, g
Let h = 0.37 - -0.03. Let b be ((-8)/10)/((-70)/25). Sort -1, h, b in decreasing order.
h, b, -1
Let t = -1 - -1.28. Let b = -0.28 + 0.3. Let u = b + t. Sort u, 0, 1/3 in decreasing order.
1/3, u, 0
Let a = -1 + 6. Suppose 0 = -5*y + 32 - 12. Sort a, y, -4.
-4, y, a
Let l = -20 - -21. Sort l, -9, -5 in descending order.
l, -5, -9
Let u = 40 + -35. Sort 3, -0.3, u, -6 in descending order.
u, 3, -0.3, -6
Let g(z) be the first derivative of z**3/3 - 7*z**2/2 - 2*z + 2. Suppose 7*s = 2*s + 35. Let j be g(s). Sort -3, j, -4 in decreasing order.
j, -3, -4
Let x be 22/(-55) + 3 + 292/(-20). Suppose 2*m + 2 = -2. Sort 2, x, m.
x, m, 2
Let t = -2 + 2.3. Let h = -0.1 - 0.1. Let s = t + h. Put 2/17, 0, s in decreasing order.
2/17, s, 0
Let y = -13 - -8. Let n be (60/8)/((-15)/(-70)). Let w = n - 38. Put 5, y, w in increasing order.
y, w, 5
Let k be 1*8/(7 - 3). Let q(l) = l**2 + 3*l + 1. Let z be q(-4). Put k, z, 1 in increasing order.
1, k, z
Let j = -15 + 15. Sort j, -2, 5.
-2, j, 5
Let c = -0.43 - 4.6. Let q = 5 + c. Let u = -0.43 - q. Put u, 3/5, -3 in decreasing order.
3/5, u, -3
Suppose k + 4 = 14. Let h = 5 - k. Sort 0, -2/5, h in increasing order.
h, -2/5, 0
Suppose 7 = 2*v + 15. Let m = 0.17 + -0.2. Let b = m - -3.03. Put v, -0.5, b in ascending order.
v, -0.5, b
Let j(k) = 2*k + 5. Let i be j(-7). Let b be 2/3 + (-12)/i. Suppose 20 = -5*g - 0*g - 3*d, 5*g + b*d = -15. Put 1, -3, g in ascending order.
-3, g, 1
Let j = 0.5 - -0.5. Let x = -15 - -11. Let h = j + x. Put h, 1, -1 in ascending order.
h, -1, 1
Let b be 33/(-44)*-2*4/(-21). Let z be -2*1 + 2 + -2. Put z, b, -5 in decreasing order.
b, z, -5
Let b = 1 - 6. Let j be (10/25)/((-16)/(-30)). Put b, j, -0.4 in increasing order.
b, -0.4, j
Let m(r) = 17*r**2 + 2*r + 9. Let w(q) = 8*q**2 + q + 4. Let a(d) = 6*m(d) - 13*w(d). Let p be a(-2). Let i = 2 + 0. Sort i, 4, p in descending order.
4, i, p
Let b = -74 - -69. Put b, 0, 3, 0.3 in ascending order.
b, 0, 0.3, 3
Let u = -2.6 - -3. Suppose 5*m = 6*m + 3*s - 18, 6 = 3*m - 3*s. Let h be (1/m)/((-5)/50). Sort u, h, 2 in increasing order.
h, u, 2
Suppose u - 1 = 0, -2*x - 2*u + 23 = x. Suppose -3 = -2*o + x. Let l = 8 + -6. Sort l, -3, o.
-3, l, o
Let r be -2 + (9 - 1 - 0). Suppose -2*i = -4*i - r. Sort i, -5, 4 in descending order.
4, i, -5
Let m = 5 + -2. Suppose q = 2 - m. Sort -4, -3, q.
-4, -3, q
Let y = -126 + 127. Sort 0.4, -13, 0.5, y in ascending order.
-13, 0.4, 0.5, y
Let d be -5*(-2)/45 - 14/36. Put 4, d, 0.4, -5 in increasing order.
-5, d, 0.4, 4
Let a be -4 + (-18)/(-6) + -2. Suppose 0 = -2*r - 2*g + 16, -3*r = 4*g - 8 - 21. Suppose 0 = -0*l + l - 1. Sort l, a, r.
a, l, r
Let x be (3/6)/(2/24). Let h be (-6)/x*(6 - 1). Put -4, 4, h in increasing order.
h, -4, 4
Let w be (-1 + (-4)/(-3))/(4/84). Put 5, w, 4, 0 in descending order.
w, 5, 4, 0
Let r(k) = k**2 - 1. Let y be r(-2). Let s = 21 + -15. Let v be (s/4)/((-3)/4). Put v, -0.5, y in decreasing order.
y, -0.5, v
Suppose 4*g - 28 = 4*t, 0 = -g - 3*g - t + 3. Suppose 2*d + g + 2 = 0. Let c be (-1)/d + 2 + -3. Put -1/5, c, 2 in ascending order.
c, -1/5, 2
Let c = 105/2 - 54. Put -3, c, 5/4 in descending order.
5/4, c, -3
Suppose -5*r = 10, 3*l + 3*r + 2 = -10. Put -3, 12, l in increasing order.
-3, l, 12
Let z be (-1)/(-2) + 2/4. Suppose -3*h + h - 5*x = -19, 0 = 2*h + 2*x - 10. Let l be 3 - (-5)/((-10)/(-4)). Sort l, h, z in descending order.
l, h, z
Let l = 3 + 37. Let f be l/5*(-1)/(-2). Let z be ((-4)/6)/((-1)/3). Put f, 5, z in decreasing order.
5, f, z
Suppose 2*d = -2 - 0. Sort -7, d, -5 in ascending order.
-7, -5, d
Suppose 2*l - 6 = 2. Sort l, 2, -4 in descending order.
l, 2, -4
Let b = 16 + -12. Sort 3, 5, b in descending order.
5, b, 3
Let b = -0.212 + -0.188. Put b, 1, 0.9, -1/2 in descending order.
1, 0.9, b, -1/2
Let z be 2/5 + 2/(-5). Let q(v) = v**2 - 2*v - 3. Let x be q(-2). Let t = 0 - x. Sort t, z, 4 in descending order.
4, z, t
Let l be (-153)/(-18) + -9 - 14/12. Let m = -0.2 + -0.1. Sort m, -4, l in decreasing order.
m, l, -4
Let c be (-4 - -4) + (0 - 26). Let r be 5/15 + c/6. Let y = 0 + 5. Put -5, r, y in decreasing order.
y, r, -5
Let r(f) = -f**3 + 4*f**2 - f - 1. Let x(o) = o**2 - o + 2. Let q be x(0). Let p be r(q). Suppose -1 - p = 3*g. Sort 4, g, 5 in descending order.
5, 4, g
Let m be 2*(-1 - (-9)/2). Let p = -8 + m. Put -2, p, -3 in increasing order.
-3, -2, p
Let c be -2 + -1 + 0/(-2). Let s be ((-1)/1)/(3/9). Let a = 5 + s. Put a, c, 3 in descending order.
3, a, c
Let q = -0.2 + 0.2. Sort q, 0.2, 0.5 in decreasing order.
0.5, 0.2, q
Let z(m) = -m + 34. Let u be z(38). Sort -5, 38, u in decreasing order.
38, u, -5
Suppose 0*k - 1 = -k. Let u = 703 + -699. Sort u, k, 6 in increasing order