+ -2)*5*1. Put f, -5, -3, 4 in descending order.
4, f, -3, -5
Let t = -237 + 168. Let w = -68.5 - t. Put -1/3, -0.1, -4, w in decreasing order.
w, -0.1, -1/3, -4
Suppose 4*l + i - 3*i = -558, 2*i + 137 = -l. Let f = l + 135. Let z be 0 - (1 + (-1)/(-1)). Sort f, z, 1 in increasing order.
f, z, 1
Suppose 4*f - 3*o + 15 = -4, o = -3*f + 2. Let x be f - ((5 - 0) + -5). Sort -27, -3, x in ascending order.
-27, -3, x
Let c = 26 + -13. Suppose 5 = -2*q + c. Let x be 11/(-44) - (-22)/152. Sort q, x, -0.3.
-0.3, x, q
Let z = 114/37 - 952/333. Let c = 2.8 + -3. Sort 3, z, c, 0.3 in increasing order.
c, z, 0.3, 3
Let p(y) = -y**2 - 42*y + 1583. Let w be p(24). Let x be (3 - 1)/(6/(-9)). Put x, -2, w in descending order.
w, -2, x
Suppose 39 = 14*b + 39. Sort 4, 42, b in descending order.
42, 4, b
Let y = -0.96 + 0.36. Let d = -0.9 - y. Put d, -4, 0.3 in decreasing order.
0.3, d, -4
Let t = 3.2 - 7.5. Let y = t + 4. Let u be (-22 - 558/(-27))/((-2)/(-1)). Put -3, y, u in ascending order.
-3, u, y
Let k = 7.95 - 8.95. Put -3/2, k, 3, 5 in ascending order.
-3/2, k, 3, 5
Let d be 10/(-6) - ((-260)/(-13))/(-10). Suppose 3*z - 2*z = 2, 3*l = -5*z + 19. Let k be ((-2)/l)/((-4)/(-6)). Sort 1/2, k, d in increasing order.
k, d, 1/2
Suppose 0 = -0*a + a. Let z be (0 - 1)/(-1) - (-2 + a). Sort 0, z, -4 in descending order.
z, 0, -4
Suppose 2*d - 6 - 2 = 0, 0 = -3*a - 4*d + 22. Suppose -2*h + 3 + 5 = 2*t, 0 = 5*h - 10. Suppose -t*y = -8*y. Sort a, -2, y in decreasing order.
a, y, -2
Let u(p) = p**3 + 8*p**2 + 6*p - 9. Let r be u(-7). Let b = 5 + r. Suppose -3*f - 21 = -5*z, 6*z - 30 = 2*z - 2*f. Sort 2, b, z in ascending order.
2, b, z
Let i be (-26)/91 + (-144)/(-14). Let s(x) = -3*x - 39. Let b be s(-14). Put -2, b, i, 2 in decreasing order.
i, b, 2, -2
Let o(z) = z**3 + 7*z**2 + 4*z - 8. Let a be o(-6). Suppose -14 = a*q + 6. Sort 5, 2, q, 1 in descending order.
5, 2, 1, q
Let w be ((-80)/(-60))/(2/6). Sort -64, -3, w in descending order.
w, -3, -64
Let w = -0.239 - -0.239. Put w, -0.03, 3 in descending order.
3, w, -0.03
Suppose 13 - 1 = -4*i. Let f be 468/(-126) - 2/7*1. Put -2, i, f in ascending order.
f, i, -2
Suppose d = 3*y + 10, -7*d - 5*y = -3*d + 28. Let h = -0.46 - 0.04. Suppose -l + 2*x - 8 = 0, -3*x = -4*x + 2. Put l, d, h in descending order.
h, d, l
Let n = 100 - 104.9. Let r = 2.2 + n. Let v = r - -2.2. Put 2/5, -0.1, v in decreasing order.
2/5, -0.1, v
Let i be (-11)/11 + (-175)/(-185). Sort 5, 19, i in descending order.
19, 5, i
Let q = 14 - 12. Let z be (-378)/91 + 7/((-364)/(-8)). Sort z, q, 0 in increasing order.
z, 0, q
Let t(c) = -c**3 + 19*c**2 + 21*c - 16. Let h be t(20). Suppose 4*o = -2*z - 12, o + 12 = -4*o - h*z. Sort -1, -2/11, 17, o in ascending order.
o, -1, -2/11, 17
Suppose 2*s - 3*s = -w + 4, -8 = 3*s - 2*w. Suppose s = 5*k + 16 + 4. Let o be -1 - -1 - 0 - 3. Put 4, o, k in ascending order.
k, o, 4
Let m be 84/(-32)*-2 + 3/4. Suppose f - m = 3*f. Sort 1, 1/4, f, 3 in increasing order.
f, 1/4, 1, 3
Let t(v) = -7*v**2 + 44*v - 5. Let s be t(6). Sort 22, 3, s in ascending order.
3, s, 22
Let m = 54 - 161/3. Put m, 2/9, 1, -0.4 in increasing order.
-0.4, 2/9, m, 1
Let t = -0.1 - -0.1. Let u = 2342.8 - 2343. Sort t, -10, 0.5, u in decreasing order.
0.5, t, u, -10
Let a(t) be the first derivative of t**3/3 + 2*t**2 - 15*t + 25. Let q be a(-6). Sort q, -2, 5, 4.
q, -2, 4, 5
Let k = 0.272 - -0.228. Put k, -11, 5 in descending order.
5, k, -11
Let i = 18 + -22. Suppose -3 = 2*l + b, 0 = -0*l + l - 4*b - 3. Put 4, 0.4, l, i in increasing order.
i, l, 0.4, 4
Let w = -7 - -5. Let g(m) = -3*m**3 - 4*m. Let u(q) = -q**3 - q. Let k(y) = -2*g(y) + 7*u(y). Let x be k(w). Put x, 5, -4 in descending order.
x, 5, -4
Suppose 509*g = 507*g + 10. Sort g, 4, 6 in decreasing order.
6, g, 4
Let q = 1.233 - 1.433. Sort 0.037, 0, q.
q, 0, 0.037
Let f = 35.8 - 36. Let m = f - 0.8. Sort 0.3, 4, m in ascending order.
m, 0.3, 4
Suppose -3*d + 0*d = -15. Suppose -3*k + 9 = 0, 2*v - d*k + 6 = -3. Let y(o) = o**3 - 3*o**2 + o + 4. Let q be y(2). Sort v, 4, q in ascending order.
q, v, 4
Let r = -1021/2 + 510. Sort r, 0.35, -1 in ascending order.
-1, r, 0.35
Let v(b) = -21*b**3 - b**2 - b - 1. Let t be v(-1). Suppose -2*z + t = -4*n, -5*n - 4*z - 19 = -5*z. Put n, 2, -1 in ascending order.
n, -1, 2
Let d = 0 + 1. Let f = 46 - 46. Let s = 30 - 28. Sort s, d, f in increasing order.
f, d, s
Let k = -703 + 706. Let x = 0.1 + -0.1. Sort 1, x, k.
x, 1, k
Suppose -3*k + 40 = 5*s, 8*s - 2*k = 6*s. Put -2, 4, s in descending order.
s, 4, -2
Let z = 91 + -86. Let q = 0.08 + 0.22. Sort -1, z, q in decreasing order.
z, q, -1
Let s be (9 - (-259)/(-28)) + (-6)/8. Let f(h) = h**3 + h**2 + h + 3. Let i be f(0). Sort 1, i, 0, s in descending order.
i, 1, 0, s
Let g = -3.597 - 0.403. Sort -5, -3, g in decreasing order.
-3, g, -5
Let t = -3.7 + 0.9. Let x = 3.3 + t. Sort x, 0, 12/5 in ascending order.
0, x, 12/5
Suppose 0 = 4*b + o + 3, -3*b + 0*b - 12 = 4*o. Let l = 77 + -74. Let m = 7 + -10. Sort b, m, l in descending order.
l, b, m
Let l = 87 - 86.545. Let m = -0.045 - l. Put 0.2, 0.04, m in descending order.
0.2, 0.04, m
Let c = 0.439 - 0.139. Put c, 1, 2/5 in ascending order.
c, 2/5, 1
Let y = 0.13 + -0.13. Let x be ((-6 - -3) + 4)/(-1 - 0). Sort 0.3, x, y in increasing order.
x, y, 0.3
Let p be (-9 - -9)/(0 + -2). Suppose -2*l - g = -0 + 4, -2*l - 10 = -2*g. Sort l, -1, p.
l, -1, p
Let r = 4 + -4. Suppose r = -5*m - 5*a - 50, 2*m - a + 14 = 3. Let y be 14/49 + 9/m. Sort 0, -3, y in decreasing order.
0, y, -3
Suppose -5*n + 4 = -6*n. Suppose -3*s - 14 = -4*v, 2*s - s = -v. Let g = -2 - 3. Put g, n, s in increasing order.
g, n, s
Let w = 46 + -43. Suppose -w*v = -4*d + 8, -2 = -d - 0*d + 5*v. Sort d, 5, -1 in descending order.
5, d, -1
Suppose 5*j - 14 = r, 23 = 4*r + 39. Sort -15, j, 4 in descending order.
4, j, -15
Let z be (-78)/18 - (-1)/3. Let h be (-5 - -5)/(9/3 - 1). Let k be (1/(-1))/((-1)/5). Put k, z, h in descending order.
k, h, z
Suppose 0*r = 2*r - 18. Suppose -5*g = -r*g - 24. Put -3, g, -4 in decreasing order.
-3, -4, g
Suppose -1140 - 35 = 5*o. Let s = o - -1405/6. Let x be 120/(-90)*(-6)/28. Sort s, 0.4, x in descending order.
0.4, x, s
Suppose 3*u + 48 = -5*u. Let g = -1 - -1. Let z(p) = p**3 + 5*p**2 - 4*p + 7. Let d be z(-6). Sort d, g, u.
u, d, g
Let b = -21.4 + 6.9. Let m = 16.97 - 2.97. Let l = m + b. Put 6, l, -1 in ascending order.
-1, l, 6
Let g be 48/56*(-14)/3 + 7. Let p be ((-30)/8)/(3/2). Sort g, p, -3/2 in decreasing order.
g, -3/2, p
Let g(a) = -a**3 - 8*a**2 + 7*a - 21. Let i be g(-9). Sort -5, -211, i.
-211, -5, i
Suppose -12*s - 45 = -9. Suppose -13 = t + 4*x + 4, -2*x = -2*t + 16. Suppose -2*b = t*b. Sort 2, b, s in decreasing order.
2, b, s
Suppose -5*w + 4*v - 30 = -0*w, 2*w + 2*v + 30 = 0. Sort -2, 4, w, 0.
w, -2, 0, 4
Let p be (-2 - 2 - 0)*1. Let o(b) = -b**3 + 4*b**2 + 8. Let r be o(5). Let v(q) = -q**2 - 16*q + 19. Let z be v(r). Sort p, -5, z in ascending order.
-5, p, z
Let k be (2 + 28/(-6))*87/(-4). Let n = k - 55. Sort -0.4, n, -1, 4 in descending order.
4, n, -0.4, -1
Suppose -3*u = -2*i + 1, 0 = 5*u - 3*i - 9 + 12. Sort 4, -1, u, -20 in descending order.
4, -1, u, -20
Let r be (181/(-48) - (-8)/24) + 3. Let c = r - 1/16. Put 1, 25, -0.4, c in descending order.
25, 1, -0.4, c
Let i = -1/4 - -11/28. Suppose -37 = -2*c + 105. Let u = c - 139/2. Sort i, u, -1.
-1, i, u
Let o = -1505/99 - -166/11. Sort -1/79, o, -1, 0.5 in descending order.
0.5, -1/79, o, -1
Suppose -2 - 2 = -j. Suppose -2*b = d, 0*d = -4*d + b. Let t be (d - 0) + 20/4. Sort 0, t, j.
0, j, t
Suppose 4*d = 3 + 17, 90 = -5*h - d. Let o = h - -10. Let l be (-2)/o - (-581)/(-63). Put -3, l, 2 in descending order.
2, -3, l
Let n = -595 + 598. Let a be 1 + -5 - (-1 - 2). Sort -2, -5, a, n in descending order.
n, a, -2, -5
Let b = 31.8 + -32. Let k = 2.4 - -2.6. Sort k, b, -2/5.
-2/5, b, k
Suppose 1 = 2*c + 9. Let o be 0 - (-4 - (-18)/2). Let i be ((-4)/o)/(16/360). Put -5, c, i in decreasing order.
i, c, -5
Let s = 774 + -779. Put 5/4, s, 7/4 in decreasing order.
7/4, 5/4, s
Let c = 1542/5 + -308. Put c, -39, 2, -1 in ascending order.
-39, -1, c, 2
Suppose 5*y = 21 - 36. Put y, 0, -7, -5 in ascending order.
-7, -5, y, 0
Let b(d) = -d**2 + 4*d + 1. Let r be b(3). Let z be 