1. Put -0.3, k, c in descending order.
-0.3, k, c
Let o(g) = -g**2 + 4*g - 4. Let c be o(3). Let a = -0.8 + 1. Put a, 1/10, c in decreasing order.
a, 1/10, c
Let l = -8.6 - 0.4. Let y = -8 - l. Sort -0.3, -3, y.
-3, -0.3, y
Let k = 0.2 - -0.2. Let a(d) = -d - 1. Let t be a(-7). Suppose -5*w + 3*w = t. Sort -1/6, k, w in descending order.
k, -1/6, w
Let v = 3 + -7. Let a be ((-4)/12)/((-5)/(77 + -2)). Let s be 8 + (-4)/2 + -2. Sort v, a, s.
v, s, a
Let q be (-1)/(-2) - (-9)/(-8). Let v = -1 - q. Sort v, 0.4, -2/9.
v, -2/9, 0.4
Let g be (12/(-8))/(21/4). Sort 0, 0.5, g, -1.
-1, g, 0, 0.5
Let d be (-3 - -1)*38/8. Let l = d - -9. Let z be (4/30)/(32/(-24)). Sort z, -5, l in increasing order.
-5, l, z
Suppose 0*i - 16 = 4*i + 3*p, 0 = 3*i + 5*p + 12. Put 3, i, -2 in descending order.
3, -2, i
Let f be ((-6)/9)/((-8)/(-108)). Let q be (-10)/(-1)*2/(-4). Let c = q - f. Put 3, -0.2, c in decreasing order.
c, 3, -0.2
Let d = 17 - 7. Suppose -2*a = d - 0. Let y = 8 - 3. Sort y, -3, a in descending order.
y, -3, a
Suppose -9*b + 6*b = -12. Sort -4, b, -5.
-5, -4, b
Suppose -2*v + 0*x + 5*x - 15 = 0, 3*x = 3*v. Sort 2/23, 3, 1/10, v in decreasing order.
v, 3, 1/10, 2/23
Let m = 16 - 20. Let o = -1 + 1. Let b = o + 0. Sort m, 2, b in decreasing order.
2, b, m
Suppose 0 = -2*s + 7*s - 20. Let m = 263.03 + -263. Put m, s, 1/5 in descending order.
s, 1/5, m
Let t be (-2)/6 + 3/36. Let y = -0.3 + 0.7. Sort t, -4, y in ascending order.
-4, t, y
Let v = 0.05 - -0.35. Let c = -0.3 + v. Suppose 2*p - 4 = -2*p. Put c, -0.2, p in decreasing order.
p, c, -0.2
Let m = 5 + -2. Let j(i) = i - 3. Let f be j(0). Suppose w + 6*w = -35. Sort m, f, w in ascending order.
w, f, m
Suppose 3*m = m - 3*r - 15, 9 = -3*r. Let h = m - -5. Put h, 0, 5 in decreasing order.
5, h, 0
Suppose 0 = -3*f + 3*j + 11 + 7, 3*f = 5*j + 20. Let l = -3.1 + 3. Let y be (-6)/(-18) + (-2)/((-6)/11). Sort f, y, l.
l, y, f
Let w(v) = v**3 - 14*v**2 - 2*v + 21. Let z be w(14). Put z, -5, -2 in increasing order.
z, -5, -2
Suppose c - 5*c + 8 = 0. Let n be 1*(c + 1)/1. Let f(a) = -a**2 - 4*a + 2. Let t be f(-5). Sort 1, t, n in descending order.
n, 1, t
Let f = 8.3 + -8. Let u = f - 0.7. Let r = 1190/9 - 132. Put u, 2, r in descending order.
2, r, u
Let t = -22.1 - -1.1. Sort 2/15, -4, -3, t in descending order.
2/15, -3, -4, t
Suppose -5*a = i - 7 - 3, -i - 4 = -2*a. Suppose 16 = -0*l + 4*l. Sort l, -1, i in decreasing order.
l, i, -1
Suppose 3*b - n = 4*b + 3, -4*n - 6 = -2*b. Let t = b + 2. Let m(r) = r + 5. Let l be m(-3). Sort t, -5, l in increasing order.
-5, t, l
Let r = 41 + -36. Put -1/3, r, 3 in increasing order.
-1/3, 3, r
Let a = -0.58 - -0.18. Sort 4, a, -4.
-4, a, 4
Suppose r - 5*l = 2 - 4, -4*r = -5*l - 7. Suppose -6 = -4*a + 2*n, 0 = -0*n - r*n + 15. Suppose w + a*w = 0. Put w, -5, 5 in descending order.
5, w, -5
Let p be (-238)/(-98) + (-1 - 2). Put -0.2, 0.3, p, 0.1 in increasing order.
p, -0.2, 0.1, 0.3
Let y = 8 + -4. Suppose -y = -2*c - 12. Put 0.1, 2, c in ascending order.
c, 0.1, 2
Let w(i) = i**2 + i + 2. Let c be w(-3). Let g be (c/(-20))/((-34)/(-10)). Sort g, -3, -3/7 in decreasing order.
g, -3/7, -3
Let o = -1687/5141 - -30/97. Let b = 59/318 + o. Sort b, -4, 5 in decreasing order.
5, b, -4
Suppose -3*w - 4 = -1. Let z(k) = -k**3 + 7*k**2 + 9*k - 7. Let s be z(8). Suppose -n - s = -5. Put -4, n, w in ascending order.
-4, w, n
Let n = -3 - -7. Suppose 5 + 4 = -2*o - 3*y, -n*o - 4*y - 12 = 0. Sort -2, o, -4 in ascending order.
-4, -2, o
Let j(y) = 2*y. Let f be j(0). Let d be -10*(3/(-2) + 1). Let x be 2/d + 6/10. Sort x, 3, f in descending order.
3, x, f
Let u = 2 + 1. Let y = -27 + 18. Put 5, y, u in decreasing order.
5, u, y
Suppose 4*z = 20, 2*z = 2*w - z + 5. Let b be (-6)/(-3) + 1 - w. Let n = b - -2. Put -4, -2, n in ascending order.
-4, -2, n
Let o = 25 + -21. Sort -2, -5, o in ascending order.
-5, -2, o
Suppose 2*f + 16 = 8. Put 4, 2, f, -1 in descending order.
4, 2, -1, f
Let u(q) = -5*q + 2. Let h be u(2). Let r be -2*((-80)/36 + 4/18). Sort 1, h, r in decreasing order.
r, 1, h
Suppose 3*k - 7*k = -16. Let o = 1.3 + -0.3. Let l = -4 + o. Sort k, l, 3.
l, 3, k
Let y = -9 + 13. Sort 0, y, -3 in increasing order.
-3, 0, y
Suppose 4*q + 23 = -3*p, -5*p = -0*p + 5. Sort q, -7, -4 in descending order.
-4, q, -7
Suppose 8*l = 3*l. Suppose 2*r = -l*r. Suppose -2*w + 5*w - 15 = r. Put -2, w, 0 in decreasing order.
w, 0, -2
Let j = -0.33 - -2.33. Sort -2, j, 5 in increasing order.
-2, j, 5
Suppose 0 = -3*v + 2*v - 1. Suppose -2*a + 3*f - 6 = -25, 3*a + 4*f + 14 = 0. Let z(d) = 2*d + 6. Let m be z(-4). Sort v, m, a in descending order.
a, v, m
Let j = 15 + -29. Let n be (-4)/(-16) + j/(-8). Put -5, n, 3 in descending order.
3, n, -5
Let c = -0.269 + 0.069. Put 0.1, 3/8, c in decreasing order.
3/8, 0.1, c
Let s be (-6)/(-12)*4/(-2). Sort -3/5, -5, -0.4, s in decreasing order.
-0.4, -3/5, s, -5
Suppose -j + 15 = 2*p + 3*p, 5*j = -5*p - 5. Put j, 0.1, -0.5, 3 in descending order.
3, 0.1, -0.5, j
Let v(h) = h + 14. Let j be v(-11). Let n = 12 + -17. Let t be 2/6*(-1 - 2). Sort t, j, n in ascending order.
n, t, j
Let a = 3 + -3. Put 0.7, 3/8, a in decreasing order.
0.7, 3/8, a
Suppose -4*q + 25 = -9*q. Let c = 0.77 - 0.87. Sort c, -2/5, q in descending order.
c, -2/5, q
Let l = 0.06 + -0.56. Let j = 0.1 + -5.1. Sort 1/5, l, j in decreasing order.
1/5, l, j
Let m = -40/7 + 6. Let o = m - 19/42. Let p = -6 + 3. Put p, -1, o in increasing order.
p, -1, o
Let o = -0.2 + 0.22. Let n = o + -0.32. Put -4, n, 3 in decreasing order.
3, n, -4
Let t be 1/(-1) + 3 + 1. Let f(v) = 5*v - v - 3*v + 3 + 1. Let o be f(-6). Put o, -5, t in descending order.
t, o, -5
Suppose -3*b = b - h + 19, -5*b - 2*h = 27. Let r = b - -8. Let i(p) = -p**3 + 12*p**2 - 10*p - 15. Let t be i(11). Put r, t, 1 in descending order.
r, 1, t
Let a(y) = y**2 - 12*y + 9. Let q be a(11). Let m be (6/(-12))/((-1)/q). Sort -1/4, 3, m in ascending order.
m, -1/4, 3
Suppose -3*f + 2 = -4*v + 6*v, 0 = -v - 2*f. Sort 3, v, -2 in decreasing order.
v, 3, -2
Let l be (-70)/(-17) + (-42)/357. Let m = 10 - 7. Sort 0.7, l, m in decreasing order.
l, m, 0.7
Let r = -35 + 38. Suppose -2*t - 2*t = 8. Put r, 4, t in ascending order.
t, r, 4
Let n(u) = 2*u. Let d be n(2). Let o = -8 - -18. Let v = o - 13. Sort v, -2, d in descending order.
d, -2, v
Let q = 4 - 4. Let c(j) = j**2 + j - 3. Let l be c(0). Let u be l - 4/8*-2. Sort 2, q, u in increasing order.
u, q, 2
Let q = -0.03 - 0.37. Let y = -0.75 + 0.8. Let u = -2.95 - y. Put q, u, -2 in descending order.
q, -2, u
Let u be 21*(3/9)/1. Let m = u - 10. Sort -1/3, 3, m in descending order.
3, -1/3, m
Let c = -2.8 - -3. Let f = c + -0.1. Let m = 4.9 + 0.1. Sort m, f, -0.4.
-0.4, f, m
Let w be (-4)/(-16) + 27/(-60). Let f = 3 - 2. Sort w, f, 2/15 in ascending order.
w, 2/15, f
Let n(r) = -r**2 + 11*r + 2. Let k be n(11). Suppose 0 = -5*c + k*b - 9, -3*c - 11 = -2*c - 5*b. Put 4, 2, c in descending order.
4, 2, c
Let n = -0.43 + 2.53. Let c = n - 2. Sort -0.4, 4/7, c in descending order.
4/7, c, -0.4
Let u be (-3)/(-14)*8/(-6). Let f = -0.37 - 0.13. Put f, 1/6, u in decreasing order.
1/6, u, f
Let d = -5.42 + -0.48. Let m = -6 - d. Let o = m + -0.2. Sort 1/6, o, -1/5 in increasing order.
o, -1/5, 1/6
Let f = -3 + 5. Let g(w) = 2*w**3 + w**2 + 2. Let h be g(f). Let k = h - 108/5. Put -1, -1/2, k in decreasing order.
k, -1/2, -1
Suppose 2*t - 3 = 29. Let x = t - 15. Put -4, x, -1 in increasing order.
-4, -1, x
Let s(f) = -f**3 + 5*f**2 - f + 1. Let z(j) = -4*j**3 - j - 1. Let q be z(-1). Let t be ((-4)/2 - -3) + q. Let l be s(t). Put l, -5, 3 in descending order.
3, l, -5
Let c be (-21)/(-15) + (-6)/15. Let i be (c/18)/(2/(-8)). Put i, -0.4, -4 in descending order.
i, -0.4, -4
Let p(i) = i**3 - 7*i**2 + i - 5. Let c be p(7). Suppose d = -2 - c. Let n(t) = -4*t - 1. Let y be n(1). Put d, y, -3 in increasing order.
y, d, -3
Let a = 8 - 5. Let b = a - -1. Let i = -0.7 + -0.3. Sort b, -4, i.
-4, i, b
Let y = -0.02 + -5.98. Let t = -4 - y. Let k be 4/9*(-6)/(-2). Sort t, 0.1, k.
0.1, k, t
Suppose 5*g = -0*t - t - 9, -2*g - 3*t = 1. Let v be (g/(-3))/(8/(-12)). Let x = -2 + 0. Sort 3, v, x in decreasing order.
3, v, x
Let a be -2*6*(-2)/(-8). Let n be (-12)/15 + a + 4. Let t = 181/4 - 45. Sort n, t, 