 l be r(-13). Sort h, -4/3, l in decreasing order.
h, -4/3, l
Let z(w) = -w + 3. Let k be z(0). Let b(t) = 4*t + 1. Let d be b(1). Suppose 0 = -l + 6*l - 3*y + 10, -d*y = 2*l + 4. Put k, l, 4 in ascending order.
l, k, 4
Let u = -0.433 + 0.033. Sort -4, -1/3, u, 1/4 in decreasing order.
1/4, -1/3, u, -4
Suppose -z + k + 2 = -1, 5*z + 3*k = -25. Let t be (-3)/((-3)/(-3)*-1). Put z, -4, t in decreasing order.
t, z, -4
Suppose 5*x + 15 = -0*x. Let y be (-1)/x - 25/(-105). Sort 0, y, 2 in descending order.
2, y, 0
Let m = 18 + -7. Let d(v) = v**3 - 10*v**2 - 10*v - 15. Let b be d(m). Put 1, 0.5, b in descending order.
1, 0.5, b
Let d = -0.01 - -0.01. Let w = 1.7 + -0.7. Let t = -2 + w. Sort t, -2/9, d in ascending order.
t, -2/9, d
Let h(t) = 2*t**2 + t - 3. Let k(c) = -2*c + 2*c**2 + 0*c**2 - 3*c**2 + 4. Let j(m) = -3*h(m) - 2*k(m). Let l be j(-1). Sort -2, l, 5 in decreasing order.
5, -2, l
Let t be (2 + 1)/((-9)/(-15)). Suppose -3*x + 10 = -t. Sort 3, -5, x in descending order.
x, 3, -5
Let t be (-26)/(-10) - 2/(-5). Suppose q - 4*q = 0. Sort t, 2, q.
q, 2, t
Let t(l) = -3 - 1 - 5 + 1 + l. Let n be t(9). Sort n, -2, -5.
-5, -2, n
Let a be (-21 - 0) + (-4 - -5). Let c be (-2)/(-3) - a/6. Put 1, c, 2 in descending order.
c, 2, 1
Suppose -w + 2*w = -q - 3, 0 = -3*w - 5*q - 5. Put w, -3, -4 in ascending order.
w, -4, -3
Let p = 9 + -5. Let l be (-1*1)/(11/55). Let h = 11 - 8. Sort l, p, h.
l, h, p
Let s = 107 + -106.3. Sort 3, 0.2, s, 5 in ascending order.
0.2, s, 3, 5
Let d be -1 - ((-1)/1 + -2). Sort d, -3, 5 in descending order.
5, d, -3
Suppose 1 = -f + 2*f. Suppose -20 = -3*h - b, -5*h = -3*h - 5*b - 19. Suppose -1 + h = 3*y. Sort -2, y, f in ascending order.
-2, f, y
Let x = 15 - 11. Sort x, -4, -2.
-4, -2, x
Let b be (36/(-15))/(10/25). Put 1/2, 0.1, b in increasing order.
b, 0.1, 1/2
Let n be (-4)/(-4)*2/2. Let s be (n - 4)*1 + -2. Sort -2, 1, s.
s, -2, 1
Let v = 22 + -21.5. Put 9, v, -0.1 in descending order.
9, v, -0.1
Let n = 2 - 2. Let b = -1.6 + 1.4. Let a = b - n. Sort -5/2, -3, a.
-3, -5/2, a
Let l(o) = 5*o + 7*o**2 + o**3 + 0*o - o + 2*o - 4. Let x be l(-6). Put 2, x, 4 in decreasing order.
4, 2, x
Let z = 0 - 0. Let w be (1 + 1)*(z - -2). Put -1, w, -3 in ascending order.
-3, -1, w
Suppose z - 35 = 5*h, -3*z + 20 = 5*h + 55. Sort h, 4, -4 in descending order.
4, -4, h
Let s = -3 + 2. Let c = -2 + s. Sort 2, c, 3 in descending order.
3, 2, c
Let g = 0.05 - 0.08. Let p = -1.97 + g. Sort 2/13, p, 0.4 in descending order.
0.4, 2/13, p
Let f = 3 + -5. Let k = -2 - f. Suppose 5*d + 6 + 14 = k. Sort -5/2, d, -2/3 in descending order.
-2/3, -5/2, d
Let m be (-4)/3*(-6)/40*5. Let z(u) = u**3 + 7*u**2 + 6*u + 5. Let j be z(-6). Put -3, j, m in decreasing order.
j, m, -3
Let x = -6/83 - -208/581. Let c = -11/76 + -2/19. Sort -2/21, c, x.
c, -2/21, x
Let i be (-4)/(40/(-25))*28/10. Put i, 5, 4 in descending order.
i, 5, 4
Let h = 0 - 0. Let l = 0.04 - -4.96. Let x = 8 - l. Sort x, 5, h in ascending order.
h, x, 5
Let k = 14 - 18. Sort 0, k, -5 in increasing order.
-5, k, 0
Suppose 3*h + 16 = -2. Put -4, -2, h in ascending order.
h, -4, -2
Let x = 2.7 - -0.3. Let d = -388.98 - -393. Let y = d - 0.02. Put x, y, 0.3 in descending order.
y, x, 0.3
Let o be (4 + (-11)/2)/(6/4). Put -5, 1, o, 5 in decreasing order.
5, 1, o, -5
Suppose -25 + 20 = -5*z. Put -2/7, z, 0.4, 5 in descending order.
5, z, 0.4, -2/7
Let u = 0.06 - 11.06. Let w = u - -10. Let m = 0.5 + -0.3. Put -1/3, m, w in increasing order.
w, -1/3, m
Let i = -4.18 - -3.18. Let s = 1 - 3. Put i, s, 5 in decreasing order.
5, i, s
Let i = -0.34 - -0.04. Let t(y) = y**2 - 3*y + 1. Let r be t(0). Sort i, r, -0.04 in increasing order.
i, -0.04, r
Let d = 8/7 - 31/21. Put d, -0.2, 1, -3 in decreasing order.
1, -0.2, d, -3
Let n = 15.3 - 23.6. Let g = -8 - n. Sort -0.5, -0.1, g in decreasing order.
g, -0.1, -0.5
Let b = -3.6 - -4.6. Let l = 2.96 - -0.04. Sort l, 4/5, b in ascending order.
4/5, b, l
Let k = -1 + 2. Let g = k + -0.6. Let n be 4/(-16) + 2/2. Sort n, g, -2 in ascending order.
-2, g, n
Let s be (-1)/(4/(-3) + 1). Put 4, -2, s in decreasing order.
4, s, -2
Let w be (-19)/(-2) + (-1)/2. Suppose 25 - w = 4*g. Sort -5, g, 2 in decreasing order.
g, 2, -5
Suppose -17 = -4*l + 3, -16 = c - 4*l. Sort -5, c, 5, 3 in descending order.
5, c, 3, -5
Suppose 2*j + 2*j = -2*z + 16, 3*z - 10 = j. Put -1/4, j, 0.7 in descending order.
j, 0.7, -1/4
Let l = -6.6 - -1.6. Sort l, 2/5, 0.09.
l, 0.09, 2/5
Let c = -0.8 + 0.7. Let q = -5 - -4.6. Sort q, c, 0.5 in descending order.
0.5, c, q
Let s be (-6)/9*3*-1. Suppose 3*f = -5*c, -3*c - s*c + 2*f = 25. Let a(d) = d**3 + 7*d**2 + d + 7. Let j be a(-7). Put j, 5, c in descending order.
5, j, c
Let h = 0.167 + 2.793. Let b = 0.04 + h. Let c = 3 + -2.8. Sort b, -0.4, c in decreasing order.
b, c, -0.4
Let y = 0.19 + -5.19. Suppose 0*u - 3 = -3*u. Put 0, y, u in decreasing order.
u, 0, y
Let d = -0.03 - 0.01. Let a = 0.1 + d. Let q = a + 0.24. Put -1, -0.1, q in increasing order.
-1, -0.1, q
Let s = -0.0142 - -2.0442. Let k = s - 0.03. Let t = -7 + 4. Put t, k, -0.4 in decreasing order.
k, -0.4, t
Suppose q - 1 = -t - 0, -2 = 2*q. Sort 0, t, 4, -2 in decreasing order.
4, t, 0, -2
Suppose 5*g - 3*g + 2*s - 22 = 0, 4*s + 20 = 4*g. Suppose 0 = 4*z - g*z. Let t(m) = -m**3 - m**2 - m + 5. Let q be t(z). Sort q, 1, 0.
0, 1, q
Suppose 0 = 5*k + 4 + 6. Let p = 3/20 - -1/60. Sort k, p, -1 in descending order.
p, -1, k
Let x = 8 + -5. Let u = x - 2. Let k be 3/(3*3/(-9)). Sort -5, u, k in descending order.
u, k, -5
Suppose 2*h = -2*h + 8. Suppose -6 + 0 = h*u. Let j = u + 4. Sort -5, 2, j.
-5, j, 2
Let p(n) = -n**3 + 3*n**2 + 7*n - 8. Let c be p(4). Put c, -4, -1, -5 in descending order.
c, -1, -4, -5
Let r be 13 + -10 + 7*-1. Sort 2, 0.2, r.
r, 0.2, 2
Let x = 0.3 - -2.7. Put 0.4, -5, x in decreasing order.
x, 0.4, -5
Suppose -l - 2*l = 0. Put l, 5, -3 in descending order.
5, l, -3
Let q be 155/(-31)*9/5. Sort 5, -5, q in increasing order.
q, -5, 5
Suppose 0 = m - 2*m - 2. Put 2, -4, m in ascending order.
-4, m, 2
Let b = 12 - 21. Let g = b + 8.8. Let r = -0.4 - 2.6. Sort -2, r, g in increasing order.
r, -2, g
Let n = -0.3 + 0.2. Let i = -1.9 + n. Let m(t) = -t**2 + 8*t + 11. Let w be m(9). Sort -2/11, i, w.
i, -2/11, w
Let x = 564 + -567.89. Let c = x - 0.11. Let z = -2/145 + -719/435. Put 0.2, c, z in decreasing order.
0.2, z, c
Let b(o) = o**3 + 11*o - 10. Let x be b(1). Let p = -4 - 0. Sort p, 5, x.
p, x, 5
Let a = 9/10 + 3/5. Sort -0.3, a, 1/4 in decreasing order.
a, 1/4, -0.3
Suppose 0 = 4*j + 11 + 5. Put -2, j, 3, -1 in decreasing order.
3, -1, -2, j
Suppose 2*q + 0 - 4 = 0. Let i be q/((-20)/3)*-5. Put 0, -0.5, i in descending order.
i, 0, -0.5
Let p = -2.85 + 3. Let x = 0.05 + p. Put 2, x, 3 in descending order.
3, 2, x
Let n = 7 - 13. Suppose -51 = -10*c - 7*c. Sort n, -3, c in increasing order.
n, -3, c
Suppose -3*p = -2*t - 2*p, -t - 4*p = 9. Suppose 2 + 6 = l. Suppose 2*h - l = 3*s, 0 = -3*s + h - 2*h + 4. Sort t, -4, s in decreasing order.
s, t, -4
Let f = -8 + 5. Sort f, 2, 18 in increasing order.
f, 2, 18
Let m = 13/225 - 7/25. Sort 9, m, -1/4 in descending order.
9, m, -1/4
Let h be 10 + -14 - -1*1. Sort 5, 0, -7, h in descending order.
5, 0, h, -7
Suppose 2*z - 1 = 5. Let x be (2/6)/(1/9). Let q = x - 7. Put 5, q, z in decreasing order.
5, z, q
Suppose 3*l + 9*l - 60 = 0. Sort -2, l, 2, -5.
-5, -2, 2, l
Suppose -3*b = -b. Suppose 0 = -20*o + 15*o - 10. Put b, 0.2, o in increasing order.
o, b, 0.2
Let y be (-4)/6 + (-2)/6. Let g = -3 + 5. Suppose 0 = 4*w - 5 + 17. Put g, w, y in descending order.
g, y, w
Suppose 24 = 6*h - 2*h. Suppose 2*t + h = 14. Sort 1, -2, t in descending order.
t, 1, -2
Let g = 10 - 23. Let r = -24 - g. Sort -1, 4, r in descending order.
4, -1, r
Let j = -37.23 + 37. Let u = j + 0.03. Let p = 4.9 - -0.1. Put p, -0.4, u in decreasing order.
p, u, -0.4
Let a be 3*(1 + (-8)/6). Let s = -324 + 321. Sort 5, s, a in ascending order.
s, a, 5
Let p = 2 + -2. Let q be (0/(p - -1))/2. Let c be (1 - q/2)*-1. Put 2, -5, c in decreasing order.
2, c, -5
Suppose -3*i = -i - 10. Let u be (-3 + 1)/((-1)/8). Let c be (u/6 + -2)*-6. Put i, 1, c in decreasing order.
i, 1, c
Let g = -13 - -9. Sort -15, 4, g in ascending order.
-15, g, 4
Suppose -24 =