 Let h be b(-3). Suppose 15 = 4*y - h. Put -1, y, 3/7 in ascending order.
-1, 3/7, y
Suppose -3*t + 8*t = 0. Let g(m) = -m**3 - 7*m**2 + m + 1. Let i be g(-7). Sort t, -4, i in descending order.
t, -4, i
Let t be 0*1/(-12)*-4. Put -1, t, -2 in decreasing order.
t, -1, -2
Let w = 13 - 18. Let x = -42 - -38. Put w, x, 6/7 in descending order.
6/7, x, w
Suppose 6*c - 11*c = -15. Let f = c + -8. Sort f, 5, 0 in descending order.
5, 0, f
Let q(x) = x**2 - 2*x - 2*x - x**3 + 3*x. Let b(i) = 5*i**3 - i**2 + 6*i + 3. Let a(m) = -b(m) - 6*q(m). Let o be a(5). Put o, -1, 4 in ascending order.
o, -1, 4
Let y = -0.9 - 3.1. Let q = 0.3 - 0. Sort y, 1, q.
y, q, 1
Let v be (-6)/8 + 25/(-20). Let d be v - (-2 + 3)*-4. Let i = -0.1 + 1.1. Sort i, -0.5, d.
-0.5, i, d
Let p be (-1 - 0)/(-1) - 2. Suppose -v + 0 - 3 = 0. Put p, v, -2 in descending order.
p, -2, v
Suppose -8*x - 15 = -3*x. Let w be -1 - 1/(-2 - x). Let b be (-9)/20 - w/8. Put 0, b, 0.4 in ascending order.
b, 0, 0.4
Let n = 1.04 - 0.04. Let u = 0.3 - 1.3. Let r = u - -4. Sort r, n, 4.
n, r, 4
Let k be -2*26/10 - (-2)/10. Sort 3, k, 0.
k, 0, 3
Let y = -1 + 6. Let p = -13/2 + y. Let l = 635/7 + -91. Sort l, p, 1/3 in descending order.
1/3, l, p
Let k be 10/(-15) + 32/12. Sort 5, k, -1 in ascending order.
-1, k, 5
Let a = 0.11 - 0.11. Put -4/5, a, 8 in descending order.
8, a, -4/5
Suppose 0 - 1 = g, 0 = -3*q + 2*g + 14. Let y = -1 + 2. Put y, q, -2 in decreasing order.
q, y, -2
Suppose 3*m = 2*d - 8, -3*m = -5*d - 0 + 2. Sort 0, -5, m, -1 in descending order.
0, -1, m, -5
Let u = -121 + 122. Let x = 0.62 - 0.6. Put -0.5, x, u in descending order.
u, x, -0.5
Let x be 3/((-3)/5) - 0. Sort x, 5, -4, -3 in decreasing order.
5, -3, -4, x
Let j = -0.044 + 1.044. Sort j, 1/10, 5, 6 in decreasing order.
6, 5, j, 1/10
Suppose 0 = 2*r + 1 + 5. Sort 1, r, 2 in ascending order.
r, 1, 2
Suppose 2*c - 6*c + 11 = 5*z, 2*z - 3 = -3*c. Sort -4, -2, c.
-4, -2, c
Let b = 3 + -4. Let r = -3 - -8. Suppose -3*h - r = -i + 5, 2*i = -2*h - 4. Sort i, b, 0.
b, 0, i
Let h be (-7)/((-140)/(-16))*-5. Sort 1, 2, h in decreasing order.
h, 2, 1
Let n(c) = -2*c - 7. Let a be n(-4). Put a, -14, 3, -5 in decreasing order.
3, a, -5, -14
Let b(a) = a**2 + 4*a - 1. Let z be b(-5). Put z, -3, -2, -5 in descending order.
z, -2, -3, -5
Let r be -1 + -1 - 48/(-8). Let v = r + -9. Put 4, -4, v in decreasing order.
4, -4, v
Let r(f) be the third derivative of -f**5/60 + 7*f**4/24 - f**3/2 - 4*f**2. Let v be r(7). Put v, 3, 4 in ascending order.
v, 3, 4
Let o = 24 - 36. Sort -4, -6, -1, o in decreasing order.
-1, -4, -6, o
Let r = 49 + -52. Put r, 3, 8 in increasing order.
r, 3, 8
Let c = 0.005 - 2.005. Put 2/11, -1/5, 4, c in decreasing order.
4, 2/11, -1/5, c
Let d be (-8)/(3 - 6 - -1). Sort -2, 3, d in descending order.
d, 3, -2
Let s = 10 - 11. Let j = 4 + -4.8. Let v = 0.3 + j. Put s, -3, v in ascending order.
-3, s, v
Let s be -4 - (6/(-3) - 0). Sort 4/5, s, -0.2.
s, -0.2, 4/5
Let n = 1.4 + 4.6. Let z = n + -9. Let q = -9/10 + 2/5. Put q, 2, z in ascending order.
z, q, 2
Let n = 24 + -17.9. Let s = -6 + n. Sort 2, s, 3 in ascending order.
s, 2, 3
Let n be 4/5*(-1)/2. Sort -1, 1/4, n in descending order.
1/4, n, -1
Let k = 0.21 - 3.21. Let s(x) = 2*x**2 + x. Let i be s(-1). Sort k, i, -2 in ascending order.
k, -2, i
Suppose 25 - 28 = g. Put -2, -6, 3, g in descending order.
3, -2, g, -6
Let p = 26 - 31. Sort p, 5/2, -0.4 in ascending order.
p, -0.4, 5/2
Let u be (-3)/(-5) + 12/30. Sort -1, u, 3.
-1, u, 3
Let i = -1164/7 - -166. Let z = 151 + -151. Sort i, z, -1 in decreasing order.
z, i, -1
Let q(c) = -3*c**2 + c + 2. Let j be q(2). Let v be (j/(-3))/(4/6). Put v, -3/5, -4/7 in decreasing order.
v, -4/7, -3/5
Let t = 0.1 + 0.9. Let a = 0 + 1/6. Sort t, a, 0.3 in increasing order.
a, 0.3, t
Suppose -3*v + 8 = -w, 2*w + 5*v - 32 = -w. Sort -1, 5, w in descending order.
5, w, -1
Let k(r) = -2*r - 7. Let h be k(-5). Suppose 0 = -j + 4 - h. Let z = 243 - 246. Sort 0, j, z in ascending order.
z, 0, j
Let o(x) = x**3 + 4. Let q be o(0). Let k = 8 - q. Sort -3, 1, k in ascending order.
-3, 1, k
Let t be (4/(-17))/(1 - -1). Let z = 2.7 + -5.7. Sort 2, t, z in descending order.
2, t, z
Let d(n) = -n**3 - 8*n**2 - 7. Let a be d(-8). Let o = 12 + a. Put o, -4, 4 in ascending order.
-4, 4, o
Let k = 45 + -49. Sort 8, 1, k in descending order.
8, 1, k
Suppose -2 = 5*q - 7. Sort 3, 0, q.
0, q, 3
Suppose 0 = 14*f - 16*f. Sort 4, 3, f in descending order.
4, 3, f
Let c = -147 + 139. Let l be -1 - -6 - (-1)/1. Let n = l + c. Sort n, -5, -4 in descending order.
n, -4, -5
Let x = -577/5 + 115. Put x, 2, 2/13, 0.2 in descending order.
2, 0.2, 2/13, x
Suppose 0*o = -2*o - 6. Put 5, 7, o in decreasing order.
7, 5, o
Suppose 5*d + 10 = g, 0*d = 5*g - 4*d - 8. Put g, -0.5, 4 in decreasing order.
4, g, -0.5
Let w = 0.1 + -0.3. Let g = -1.2 - w. Let d = -26/5 + 5. Sort g, 2/9, d.
g, d, 2/9
Let z be 3 + -2 - 15*-1. Suppose -2*b - 2*b + z = 0. Suppose -6 = 5*r - 1. Sort b, r, -5 in increasing order.
-5, r, b
Let n = 34 + -37. Sort 3/5, n, 0.2, -0.2 in ascending order.
n, -0.2, 0.2, 3/5
Suppose 38 = -5*u + 163. Suppose -1 = -m + 5*f + u, -5*m - 2*f = 5. Sort 5, m, 3 in ascending order.
m, 3, 5
Let w = 3.6 - 0.6. Let a = -2 + -3. Sort 0, a, w in descending order.
w, 0, a
Let n be (-5 + (1 - -1))/(12/16). Let o be 0*(0 + (-2)/(-2)). Sort -5, n, o in increasing order.
-5, n, o
Let q be (6/(-4))/((-4)/16). Let j be (-1)/q - 2/(-3). Sort -3/8, j, -0.5 in ascending order.
-0.5, -3/8, j
Suppose 8*q + 5*w - 27 = 7*q, -q + w + 3 = 0. Sort q, 3, -5 in ascending order.
-5, 3, q
Let h = -34 + 38. Sort h, 0, 1/5 in descending order.
h, 1/5, 0
Let p be 4 + (3 - (6 - 2)). Suppose 0 = 3*a + p*w + 3, 5*a = -2*w - 0*w + 10. Let y be ((-9)/6)/(2/(-4)). Sort 5, y, a in ascending order.
y, a, 5
Let u be -4*(-1 + 9/(-12)). Let c = 11 - u. Put -4, c, -2 in descending order.
c, -2, -4
Let j = 0.049 - -0.951. Let c be 44/21 - (0 - -2). Sort j, c, -1/5 in ascending order.
-1/5, c, j
Let r(g) = -g**3 + 3*g**2 - 2. Let f be r(2). Sort 5, -1, -5, f in increasing order.
-5, -1, f, 5
Suppose 4 - 5 = v. Sort v, -2, 2.
-2, v, 2
Let p = -0.528 - 23.372. Let c = p - -23. Let q = 0.4 + c. Put q, -0.4, -5 in increasing order.
-5, q, -0.4
Let w be (-95)/35 - 4/14. Let z = 128/3 - 902/21. Sort 0, w, z in decreasing order.
0, z, w
Let o = 18.5 - 24. Let h = 8 + o. Let b = 2 - h. Put 0, b, 0.2 in increasing order.
b, 0, 0.2
Let b = 1.3 + -5.3. Let u be 5*-1*(-4)/(-70). Sort u, b, 0.5 in decreasing order.
0.5, u, b
Suppose 0 = 5*n - 3*q + 4*q + 9, 3*q = -2*n - 1. Put -4, 0.2, 2/3, n in descending order.
2/3, 0.2, n, -4
Suppose o = 7 + 13. Let n = -20 + o. Let k = 0 - 2. Put k, -5, n in decreasing order.
n, k, -5
Let q = -2 + 6. Sort q, 0.1, 0.3 in increasing order.
0.1, 0.3, q
Let u(t) = 5*t**3 - 2*t + 1. Let m be u(-2). Let v = m - -18. Let d = 12 + v. Sort 0, d, -2 in increasing order.
d, -2, 0
Suppose -2*q = -c - 0*q + 2, -2*q = 4*c + 12. Sort c, -1/4, 0.1 in decreasing order.
0.1, -1/4, c
Suppose -2*c + 8 = -2. Suppose i + 4*i - 2*q + c = 0, 0 = 3*i - q + 4. Let x(z) = z**2 - 7*z - 10. Let j be x(8). Sort i, j, 1 in decreasing order.
1, j, i
Let p = -0.5 - -1. Let f = -3 + 2.6. Let n = -5.4 - f. Put 0.3, n, p in descending order.
p, 0.3, n
Let m = -41 - -35. Put -0.4, 3, 0.2, m in descending order.
3, 0.2, -0.4, m
Let a(v) = v**3 - 8*v**2 + 3. Let o be a(8). Suppose -o = -5*q - 13. Put 1, q, 3 in decreasing order.
3, 1, q
Let t = 3 - -2. Suppose 5*h - 90 = -3*p - 10, 0 = -p - t*h + 10. Suppose 0 = 5*f - 5*i - p, 0 = -6*f + 2*f + 3*i + 25. Put f, 5, 1 in descending order.
5, f, 1
Let h be -1 - (-3 - (-6 + 1)). Let m be (9/3)/(h/4). Let k be 1 - ((-8)/1)/2. Sort k, -2, m.
m, -2, k
Let d = -102 - -106. Let m be (4/6)/(2/6). Let j = 3 - m. Sort d, j, -1/2 in increasing order.
-1/2, j, d
Let b be 1*(1 + -2)/(-1). Let k be (4/20)/(1/1). Put k, b, -2/5 in increasing order.
-2/5, k, b
Let k = 18 - 13. Suppose -27*r + 25*r = 0. Put k, -2, r in increasing order.
-2, r, k
Let z = -25 - -24. Let c = -0.4 - 3.6. Sort c, z, 2.
c, z, 2
Suppose 4*y = -16, 6*r - 4*r - 6 = 4*y. Suppose 13 = -5*t + v, 0 = -2*t + 2*v - 0*v - 10. Let h be (2/3)/(t/12). Put r, -2, h in descending order.
-2, h, r
Suppose 11*q - 12 = 9*q. Put