t o, 0.3, 0.5, -0.3 in decreasing order.
0.5, 0.3, o, -0.3
Let c = -1.9 - 1.1. Let h = c - 2. Sort h, -2/7, 0 in decreasing order.
0, -2/7, h
Let u = -15 - -20. Sort 3, u, 2.
2, 3, u
Suppose i + 3*c + 4 = -2*c, 5*c + 16 = i. Sort i, -1, 2 in descending order.
i, 2, -1
Suppose -8*l + 22 = -2. Sort l, 7, -8.
-8, l, 7
Let r(z) = z**2 + 2*z - 6. Let l be r(-4). Suppose 6*q - 2*q = m + 4, 4*q = -m + 4. Put l, m, 1 in decreasing order.
l, 1, m
Let b = 34 - 18. Suppose -b + 1 = 5*f. Sort f, 1, 0 in increasing order.
f, 0, 1
Suppose -3*f - c = -10, -5*f + 0 = 2*c - 16. Sort f, -3, 5, -2 in increasing order.
-3, -2, f, 5
Let d = 0.06 + 0.94. Let p = d + -0.6. Sort p, 3, 4.
p, 3, 4
Let m be 16/12*9/3. Let x be (-1)/(m/(-36)*-3). Sort x, 1, 4 in increasing order.
x, 1, 4
Let a = 3 + 2. Let k be (-3)/(-3) - 3 - -1. Let n = 17 - 19. Put k, a, n in ascending order.
n, k, a
Let n be (11 + -1)*4/10. Suppose -n*y = 3*m + 19, -4*m - 2*y = -3*y. Let i(r) = r**3 - 3*r**2 + r + 1. Let d be i(3). Sort 5, d, m.
m, d, 5
Suppose 7*t - 6 = -69. Put 1, t, 0, 5 in descending order.
5, 1, 0, t
Suppose 9*z - 15 = -6. Suppose 0*p - 3*p + 9 = 0. Put z, p, -1 in increasing order.
-1, z, p
Let n be (1/2)/(2/(-20)). Put n, 2, -1 in ascending order.
n, -1, 2
Let r = 74 - 79. Sort 5, -4, r in increasing order.
r, -4, 5
Let h be 0 + 5*1/1. Let k = h + -1. Let f be 2/(-16) - (-119)/(-136). Put k, 1, f in increasing order.
f, 1, k
Suppose m = 4*f + 12, 4*f = 2*m - 0 - 12. Sort -1, m, -2, 6.
-2, -1, m, 6
Let n = -435/4 + 110. Let x = 0.3 - -0.7. Put n, x, 2/5 in decreasing order.
n, x, 2/5
Suppose -2*x + 6 = 0, -2*v - 4 = 2*x + 2*x. Let y = v - -10. Put y, 4, -2 in descending order.
4, y, -2
Suppose -2*v + 2*n - 3 = -1, 5*v = -3*n + 35. Sort 5, 3, v, 1 in ascending order.
1, 3, v, 5
Let i = 0.2 + 0. Let t = 0.24 - i. Let k = t - 4.04. Put 5, -2, k in descending order.
5, -2, k
Let r = 34/13 - 97/52. Let g be ((-96)/84)/(6/(-7)*1). Sort r, g, -3/2.
-3/2, r, g
Let i be (-1)/(-12)*6/(-4). Let c be (-4206)/(-12)*12/(-22). Let a = c - -191. Put i, -0.1, a in decreasing order.
-0.1, i, a
Suppose 2*y + 1 = -1. Let j be (-44)/24 + 1/(-6). Sort y, -3, j in descending order.
y, j, -3
Let p = 0.2 + -0.4. Let u = p - 0. Let k be 12/42*(-6)/4. Put u, k, 4 in increasing order.
k, u, 4
Let n(g) = g. Let c be n(0). Suppose 2*d + 2*d + 8 = c. Let m be 3 + d + (3 - 1). Sort m, -5, -4 in decreasing order.
m, -4, -5
Suppose 4*z + 5*v = -6, -2*z - 2*v - 4 = v. Let y = -3 + 4. Let j be -5*y/(2 - 3). Sort z, j, -1.
-1, z, j
Let k(j) = j**2 - 8*j + 9. Let s be k(6). Let z = -73/7 + 11. Put z, 1/5, s in ascending order.
s, 1/5, z
Let v be ((-10)/4)/(((-6)/3)/4). Put 1, v, 3, 0 in decreasing order.
v, 3, 1, 0
Let y = -2 - -3. Let i = -2 + 1.5. Let s be (-11)/(-60)*-2 + (-2)/(-4). Put y, s, i in decreasing order.
y, s, i
Let h = 34 - 38. Sort -1, 3, h in descending order.
3, -1, h
Suppose -4*i = i + 15. Let t be 7*((-3)/i)/1. Let f = 5 - t. Put f, 0, 1 in descending order.
1, 0, f
Suppose 5*l + 1 = -3*t - 0, l = 1. Put t, 3, 52 in descending order.
52, 3, t
Let t = 0.28 - 0.08. Let r = t - 0.1. Sort r, 2/7, 5.
r, 2/7, 5
Let l(y) = y**2 + 5*y - 1. Let x be l(-5). Let q = 1 + x. Sort q, -4, -5 in increasing order.
-5, -4, q
Let y = 18 - 17.9. Sort 0, y, -22 in decreasing order.
y, 0, -22
Let q = -87 + 46. Sort 4, 3, q in increasing order.
q, 3, 4
Let z(l) = -l**2 + 7*l + 3. Let i be z(8). Let w = -6 - -13. Suppose -2*m + 3*j + 14 = 0, 4*m + 2*j - w - 5 = 0. Sort 5, i, m.
i, m, 5
Suppose 6*i - 2*b - 66 = 3*i, 4*i = 2*b + 86. Let o be i*(4 - 1)/12. Suppose -o*y = -5, -3*y + 13 = -5*x - 0*y. Put x, -4, 5 in decreasing order.
5, x, -4
Let v = 32 - 163/5. Put v, 4, -10 in decreasing order.
4, v, -10
Suppose 0 = 3*y + w - 2, 3*y - 5*y - w = 0. Put -4, -2, y in descending order.
y, -2, -4
Let w be (-2)/(-12) + 14/(-12). Let m be (-1)/(-3) + 144/(-27). Put 4, m, w in descending order.
4, w, m
Let c be 10/(-35) + 1/28. Let j = 100 - 154. Let v be 3/(-2)*(-8)/j. Sort -0.3, c, v in decreasing order.
v, c, -0.3
Suppose 2 = 4*i - 3*p, 0*p - 11 = 3*i + 4*p. Let j be ((-11)/33)/((-5)/45). Put j, i, 2 in descending order.
j, 2, i
Suppose -3*k = -2*y + 41, -6*y + y + 3*k = -80. Suppose y - 3 = 2*n. Let b = -9 + 5. Put b, n, 2 in descending order.
n, 2, b
Let z = 7.7 + -8. Let d = -0.9 + -0.1. Put -2, d, z in increasing order.
-2, d, z
Let y = 5.06 - 0.06. Let h = y - 4.1. Let g = -4.9 + h. Put 0, 5, g in descending order.
5, 0, g
Let q = 15 + -15.3. Let x = 21 + -23. Put -2/5, q, x in decreasing order.
q, -2/5, x
Let b be (4 - 0) + -1 + 3. Let p(d) = -d + 9. Let t be p(b). Suppose 3*r - 14 = -t*w - 5, -3*w + 9 = -2*r. Put w, -5, -0.3 in increasing order.
-5, -0.3, w
Suppose 0 = 4*o - 3 + 23. Let m(a) = 2*a + 4. Let s(r) = r**3 - 8*r**2 - r + 5. Let v be s(8). Let b be m(v). Sort o, -4, b in descending order.
b, -4, o
Let o be 9/(-2)*4/(-6). Suppose -5*z + 2*z = -o. Suppose 0*m + 2*m + 8 = 4*w, -3*w = 2*m + 8. Sort z, m, 3 in descending order.
3, z, m
Let t be (-8)/(-28) + 10/14. Put -1, t, -2 in decreasing order.
t, -1, -2
Let j(m) = m + 12. Let s be j(-10). Sort s, -2, -1 in decreasing order.
s, -1, -2
Let k(c) = c**2 - 22*c + 59. Let t be k(19). Put 1, t, -4 in decreasing order.
t, 1, -4
Suppose 0 = 3*y - 3*w - 8 + 5, -y + 2 = -2*w. Sort -3, -2, y, -1.
-3, -2, -1, y
Let d = 2 - 2. Let q(b) = b**3 - b**2 - b + 3. Let r be q(d). Suppose -r*z - 8 = 4. Sort 3, -1, z in descending order.
3, -1, z
Let k = -4 + 10. Let u be 10/(-4)*(k - 4). Let x = 43 + -46. Put -2, x, u in descending order.
-2, x, u
Let o = -6 - -6. Let s = -15.5 + 16. Sort o, s, -5/4 in increasing order.
-5/4, o, s
Let r(o) = -2*o + 5. Let n be r(0). Sort -4, 4, n.
-4, 4, n
Suppose g - 5 = 3*w, 10 = 3*g - 4*w - 5. Sort g, -8, 2 in decreasing order.
g, 2, -8
Let t be (-10)/35 + 23/7. Put -1, 6, t in increasing order.
-1, t, 6
Let l = 0 + -0.3. Let k = -0.2 + l. Let s be ((-1)/8 - 0)*-4. Put k, 2, s in decreasing order.
2, s, k
Let m = -24 - -24. Put 2, m, 5, -4 in ascending order.
-4, m, 2, 5
Let u = -18.7 + 18. Sort -2, -0.5, u, 4 in decreasing order.
4, -0.5, u, -2
Let r = -8 - -86/11. Let n be ((-8)/(-20))/((-2)/(-20)). Let x be ((-1)/33)/((-2)/12). Sort r, n, x.
r, x, n
Suppose 0 = -3*h - 0*h - 6. Let m = 0 + -2. Let n be -6 - ((m - -2) + -1). Sort h, 1, n in ascending order.
n, h, 1
Let i be -6 + 4 - 8/(-2). Suppose 0*m + 3*m - 9 = 0. Let w be (-1 + 0)/((-5)/(-10)). Sort w, m, i.
w, i, m
Let i(c) = c**3 - 7*c**2 - 7. Let w be i(7). Sort -2, 5, w in decreasing order.
5, -2, w
Let u = 18 + -13. Let q be u*(108/(-100) - -1). Sort -2/37, q, 4.
q, -2/37, 4
Let l be (-1 - -1) + (-16)/8. Let u(v) = 2*v**3 + 4*v**2 + v - 2. Let m be u(l). Sort -1, 1, m in decreasing order.
1, -1, m
Let p(j) = 4*j**3 + j - 1. Let h be p(1). Put -2, 2, -3, h in descending order.
h, 2, -2, -3
Suppose 0 = -s - 0*s + 3*n - 7, -2*s + 3*n = 8. Suppose -11*l = -7*l + 16. Sort 3, s, l.
l, s, 3
Let p be (-8)/36 + (-43)/9. Suppose -2*f = 2*f + 4. Suppose -8 = -6*i - 2. Sort f, p, i.
p, f, i
Suppose -21 = 5*k - 121. Let x = 15 - k. Put x, 0, 2 in ascending order.
x, 0, 2
Let i = -0.7 + 0.6. Let x = i + -2.9. Let m = 2.5 + x. Put m, 2, -1 in decreasing order.
2, m, -1
Let q = 8.3 + -3.3. Let b = -3.6 + 0.6. Let x = b + 3.1. Sort 1/4, x, q.
x, 1/4, q
Let c = 257.92 + -263. Let j = c - -0.08. Sort 2, j, 0.3 in descending order.
2, 0.3, j
Let t be 90/15 + (-1 - 7). Let l = 1.5 - 2. Sort t, -0.1, l.
t, l, -0.1
Suppose -14 = -3*x + 3*n - 2, -1 = -4*x - n. Let c be -2 + 2 + 4 + -4. Sort c, -3, x in descending order.
x, c, -3
Let t(o) = o**2 + 2*o - 4. Let u be t(-4). Suppose 3 = -4*d - 13. Let k be 2/d*(1 + 7). Put k, 1, u in increasing order.
k, 1, u
Suppose 0 = -7*b + 3*b + 108. Let l = 27 - b. Sort -2, l, 1 in decreasing order.
1, l, -2
Suppose -5*n = 0, 0*n - 2*n = -4*m + 8. Sort m, -1, -3 in descending order.
m, -1, -3
Let d be (-152)/28 - 6/(-14). Let w = 6 - 1. Sort w, d, -2/3 in descending order.
w, -2/3, d
Let k = 1.57 + -1.37. Suppose 0 = -5*y + 4*d - 31, 4*d - 25 = 4*y - y. Put y, k, 0 in decreasing order.
k, 0, y
Let o = 136 + -2310/17. Let y = 19.9 - 24.9. Sort o, y, -0.3 in increasing order.
y, -0.3, o
Let r be (-96)/(-165) - (-2)/(-11). Sort -0.1, r, 0.5, -4.
-4, -0.1, r, 0.5
Let d = 