, h in descending order.
4/3, 0, h
Let a = 7.2 + -3.2. Let w = 5 + 0. Sort -0.1, a, w in ascending order.
-0.1, a, w
Suppose f - 2*h - 12 = -3*f, 5*f + 3*h = 37. Put -9, f, -1 in descending order.
f, -1, -9
Suppose i - 4 = 1. Suppose -5*q = i + 15. Let t(j) = -j + 9. Let g be t(4). Sort q, g, -3.
q, -3, g
Suppose -h - 2*h - 3 = 2*n, 3*n = 0. Suppose 3*v = -4*g + 34, -2*v = g + 2*v - 2. Let s be 36/10 + 4/g. Sort h, 1, s in ascending order.
h, 1, s
Let v be (4/(-3))/(4/18). Put -0.4, v, 1/4 in descending order.
1/4, -0.4, v
Suppose -5*a + 114 = -2*a. Let f be 4/14 + a/14. Put f, -0.3, 5 in ascending order.
-0.3, f, 5
Let i = 0.1 - 0.8. Let r = -0.3 + i. Put -2, r, 1 in descending order.
1, r, -2
Let g(k) = -3*k + 14. Let m be (9/15)/(2/20). Let c be g(m). Suppose -2*x = 5*b - 19, -5*x = -3*b + 6*b - 19. Sort c, b, 0 in ascending order.
c, 0, b
Suppose 3*s = 4 + 2. Let t(u) = -2*u - 1. Let f be t(-1). Put -5, f, s in ascending order.
-5, f, s
Let p(t) = t**3 - 9*t**2 + t - 8. Let j be p(9). Put j, 3, -7 in decreasing order.
3, j, -7
Let a = 835 - 836. Let l = -2 - -1.6. Sort 1/10, l, a in decreasing order.
1/10, l, a
Let a be 5*(-1)/((-10)/8). Suppose -2*k + a*x = -30, -10 = 2*x - 0*x. Let l(s) = 2*s + 10. Let h be l(-7). Sort k, -1, h in decreasing order.
k, -1, h
Let i = -63 + 66. Sort -2, -1, i in descending order.
i, -1, -2
Let a be 13/2 - (-1)/2. Put -3, a, 4 in ascending order.
-3, 4, a
Let t = 0.1 - -0.4. Let q be (-12)/8*(-2 - -4). Put t, 2/9, q in descending order.
t, 2/9, q
Let g = -5/46 - -101/506. Sort g, -5, 4.
-5, g, 4
Let w = -15.7 - -5.7. Sort -1/3, w, -0.2 in increasing order.
w, -1/3, -0.2
Let l = 146 + -149.06. Let q = 0.06 + l. Let p = 0 + q. Sort -0.4, 0.4, p in increasing order.
p, -0.4, 0.4
Let k = 41.3 + -41. Sort 2/3, k, 9, 5.
k, 2/3, 5, 9
Suppose -4*b - 1 = n + 6, 0 = 5*b + 5*n - 10. Sort 2, 3, b, 5 in descending order.
5, 3, 2, b
Suppose 2*m = 6*m. Let k be -5 + 4 - (-1)/(-4). Sort m, k, 5 in descending order.
5, m, k
Let b be -5*-2*6/20. Suppose -2*d = 6*l - l - 9, 2*d + 3*l - b = 0. Sort 0.3, d, -2/13 in descending order.
0.3, -2/13, d
Suppose 4*g = 982 - 962. Suppose -4*q - 4 = t - 21, 4*t - 2*q + 22 = 0. Let j = -4 - t. Sort g, -5, j in increasing order.
-5, j, g
Let k = -21 - -21. Let f = k + -0.1. Let v be 7/12 - (-1)/(-3). Sort f, v, 1/3 in decreasing order.
1/3, v, f
Suppose 13 = 4*z - 7. Let l be 51/(-12) + (-2)/8*3. Sort l, z, 0 in increasing order.
l, 0, z
Let t be (-158)/(-14) - 6/21. Let n = -9 + t. Sort 1, 5, n in increasing order.
1, n, 5
Let p(g) = g**2 + g - 1. Let c be p(1). Let s = -0.011 - -0.111. Put s, c, -5 in ascending order.
-5, s, c
Suppose -f = -0*f - 5. Let d be (-10)/6 + 2 - 1. Sort f, 2/5, d.
d, 2/5, f
Let h = -3.6 + 3.1. Sort -1/5, -12, h.
-12, h, -1/5
Suppose 0 = -3*b - 1 + 16. Let j = -498 - -500. Put b, j, 3 in decreasing order.
b, 3, j
Let h(x) = x**2 - 2*x + 1. Let c be h(3). Put -2, c, 2 in decreasing order.
c, 2, -2
Let o = -84 - -418/5. Let u = 4 + -3. Put o, u, -1/7 in descending order.
u, -1/7, o
Let k be 4*1*(-4)/(-16). Let l be (2/(-3))/((-2)/6). Put -3, k, l in increasing order.
-3, k, l
Suppose 0 = -6*h + h - 15. Let v be 12/6*h/6. Sort 1, v, -3.
-3, v, 1
Let q(x) = -x**2 - x. Let a be q(1). Let o be a/(-9) - (-2)/(-9). Let n be 0/(3 - 1) - o. Sort 1, n, -3 in increasing order.
-3, n, 1
Let z be ((-2)/(-4))/((-2)/(-4)). Suppose v = 3*t - 14, -2*t - v + 21 = -4*v. Suppose 3*r - 6 = -0. Put t, z, r in decreasing order.
t, r, z
Let g = 6.4 - 6.8. Sort g, -0.5, -3, -5.
-5, -3, -0.5, g
Let f be 18/14 - 6/21. Let v = f - 5. Let w be 3*(-5)/15*(0 - -1). Sort 2, w, v in ascending order.
v, w, 2
Let g = 32 - 34. Sort 2/13, g, -1, 0.4 in descending order.
0.4, 2/13, -1, g
Let n(v) = -v. Let l be n(-3). Let r be 3*-3*8/18. Put l, 2/13, r in descending order.
l, 2/13, r
Suppose 29 = -2*k + 5*d, -4*k - d = -0*d + 3. Let s = -8 + 1. Let u(m) = m + 6. Let x be u(s). Sort k, -6, x in descending order.
x, k, -6
Let r = 478 + -477. Let x = -0.11 - 5.89. Let m = x + 3. Sort 1/6, m, r in ascending order.
m, 1/6, r
Suppose -s = -2*o - o - 19, -2*s - 2 = 2*o. Let b = 1 + 5. Let n = 8 - b. Sort s, n, 0.5.
0.5, n, s
Let p(x) = x. Let f be 2 - ((0 - -1) + 1). Let i = f + 0. Let b be p(i). Put b, 5, 2 in descending order.
5, 2, b
Let i = 124 + -120. Let d(m) = m - 2. Let f be d(-3). Sort f, i, 1 in increasing order.
f, 1, i
Let d be 6/15 - 27/105. Put -0.1, 0.2, d in descending order.
0.2, d, -0.1
Let o = 18 + -18. Put 3, -5, o, 6 in decreasing order.
6, 3, o, -5
Let d = 10 + -14. Let s = 41 - 36. Put d, s, -1 in increasing order.
d, -1, s
Suppose -4*o + 15 = -3*l, 3*l + 0*o + 15 = 3*o. Let h be -2*(-2)/8*-2. Sort h, -9, l in descending order.
h, l, -9
Let h = -567/4 + 142. Sort h, -1, -5/3, 4/5 in decreasing order.
4/5, h, -1, -5/3
Let o be -5*(7 + -4 + -2). Sort 0, 4, o in descending order.
4, 0, o
Let b be 12485/175 + 2/(-14). Let o = b - 72. Put -2, o, -1/5 in increasing order.
-2, o, -1/5
Let q = 5 + -9. Put -3, q, -1, -2 in decreasing order.
-1, -2, -3, q
Let j be 1*-2 - (-11 - -7). Sort 3, -6, 0, j in descending order.
3, j, 0, -6
Let w = 40 + -43. Sort 1, 2, -2, w.
w, -2, 1, 2
Let a = 5.5 + -5. Let j = a + 0.5. Let m = j + 2. Put -0.5, m, 2 in increasing order.
-0.5, 2, m
Let o be 4/(-8) - (-1)/10. Let g(n) = n + 1. Suppose -1 = -f - 2. Let q be g(f). Put q, o, -1/5 in descending order.
q, -1/5, o
Let z = -8 + 14. Let i(s) = -s + 1. Let h be i(z). Put -3, h, -2 in decreasing order.
-2, -3, h
Let w = 2 + 3. Sort -5, 2, w in descending order.
w, 2, -5
Let s be -1 + (-2 - -1)/1. Let l = 0.93 - 7.03. Let w = l - -6. Sort s, -4, w in decreasing order.
w, s, -4
Let g = -1 - -4. Let i(l) = l**3 - 14*l**2 + l - 14. Let r be i(14). Sort r, g, 1.
r, 1, g
Let l = 499/2 - 251. Let n = 0 - -0.1. Sort l, -3/4, n.
l, -3/4, n
Suppose 2*y = -5*q + 4*y + 11, 3*y = -5*q - 4. Put -46, -4, q in descending order.
q, -4, -46
Let y(o) = o**2 + 30*o + 26. Let f be y(-29). Let n(c) = 7*c**3 - c**2. Let r be n(1). Suppose r*d = 2*d - 20. Sort f, d, -1 in descending order.
-1, f, d
Let z be -2*(60/75)/((-2)/(-5)). Sort -5, z, -6 in descending order.
z, -5, -6
Let a = -7 - -3. Let l(c) = c + 1. Let r be l(a). Let v(h) = -9*h - 5. Let z be v(-1). Sort 5, r, z in descending order.
5, z, r
Let q = 0.4 + 0.1. Let v be (-8)/(-6) - (-2)/3. Let l be 5 + v/(-1 + -1). Sort l, -1, q.
-1, q, l
Let j = -75.5 - -76. Put -0.4, -2, j, 0.4 in ascending order.
-2, -0.4, 0.4, j
Let j be 18/27*(-30)/(-4). Suppose 3*z - 2*z = -j. Sort -4, 2, z in descending order.
2, -4, z
Suppose 4 = 2*k - 6. Sort k, 2, -2 in increasing order.
-2, 2, k
Let x = -0.4 + 0.9. Suppose -2*w + 3*w = 0. Suppose 5*v = 25, 2*g - 3*v - 3 + 8 = w. Sort g, -2/9, x in decreasing order.
g, x, -2/9
Let n = -0.6 + 0.5. Sort 10, n, 0.3, -1/8 in decreasing order.
10, 0.3, n, -1/8
Let x = -55 - -37. Let s = x - -13. Let v = 185 + -1298/7. Put -0.4, s, v in descending order.
-0.4, v, s
Suppose 8*r - 1 = 9*r. Sort 3, -4, r.
-4, r, 3
Suppose 2*l = -2*l - 8. Let i be (3 - 0)/((-18)/(-12)). Sort i, -3, l.
-3, l, i
Let c = -2 + 1. Let k(d) be the first derivative of d**2 - 7*d + 1. Let g be k(6). Put 0, c, g in decreasing order.
g, 0, c
Suppose -20 = c - 6*c. Let m = -2 + c. Let t be (-4 - -3)/(1/1). Put t, m, -6 in increasing order.
-6, t, m
Let t(y) = -5*y - 2. Let z(d) = 11*d + 4. Let b(u) = -9*t(u) - 4*z(u). Let j be b(0). Let g be (j + -1 + -1)/2. Sort g, 1, -1 in descending order.
1, g, -1
Let d = -31 + 23. Let b = d + 9. Put b, -0.4, 0.3 in ascending order.
-0.4, 0.3, b
Let c = -0.78 + 0.78. Put -0.4, 4, 5, c in descending order.
5, 4, c, -0.4
Let k = -8 - -13. Let u = 2 - 2. Suppose 2*m + 0*m + 2 = u. Sort -3, k, m in decreasing order.
k, m, -3
Suppose 2*n + 15 = 13. Sort -16, -4, n in decreasing order.
n, -4, -16
Let w = 8/49 - -9/245. Sort -3, w, -9 in ascending order.
-9, -3, w
Suppose 0*a = -4*o + 4*a - 24, 4*a = 16. Sort 0.1, o, 1 in decreasing order.
1, 0.1, o
Let d = -0.253 - 5.747. Let a(i) = -2*i - 5. Let k be a(-4). Put k, d, -0.1 in descending order.
k, -0.1, d
Let c = -16 + 16.14. Let b = 0.96 + c. Let f = b - 1. Put -0.2, f, 1 in decreasing order.
1, f, -0.2
Let t(v) = 7*v + 1. Let d be t(1). Suppose -5*n = 4*k + 36, 2*n + d = -0. Let z(f) = 2*f**3 + f**2 