 k(v). Sort -5, l, -3 in decreasing order.
l, -3, -5
Let m be 21/9 - 2 - 8/(-12). Suppose -2*v + 5 = m. Sort v, -0.3, -5, 4.
-5, -0.3, v, 4
Let g = 261 - 260. Sort g, -0.4, 2/9 in ascending order.
-0.4, 2/9, g
Let p = 1019.9 + -1020. Let j(r) = r**2 - 7*r + 9. Let v be j(6). Put 5, v, p in increasing order.
p, v, 5
Let n(s) be the first derivative of s**4/4 - 2*s**3/3 - 7*s**2/2 + s - 4. Let o be n(4). Let q = 0.11 + -5.11. Sort 3, o, q in descending order.
o, 3, q
Let h = -4 - -1. Let v(d) = d**3 - 6*d**2 + 8*d - 10. Let k be v(5). Suppose z + 3*m - 9 = 0, -k*z + 0 = -4*m - 7. Sort h, 4, z in increasing order.
h, z, 4
Let u = -9 - -12. Let d be u*(10/(-6) + 2). Sort 5, 0, d.
0, d, 5
Suppose 18*a = -136 + 154. Sort a, -5, -17 in decreasing order.
a, -5, -17
Let n = 41 - 30. Suppose v + n - 8 = 0. Put 1, 0, v in decreasing order.
1, 0, v
Suppose 2*w + 2*w - 312 = 0. Let n = w + -74. Suppose d + d = -4*a - 2, 0 = 3*d + 9. Put 0, n, a in ascending order.
0, a, n
Suppose -2 - 29 = -2*z - 3*t, z = 3*t + 11. Let q be 2/(-5) + z/10. Suppose 2*r - 6 = 0, -5*m - 14 + q = -r. Sort m, 0, -3 in ascending order.
-3, m, 0
Let h be (1 - 1)/((-1)/(-1)). Put h, -1, 1 in decreasing order.
1, h, -1
Suppose -4*f + 128 = 5*x, 0 = 2*x - 4*f - 43 + 3. Sort x, 2, 5 in descending order.
x, 5, 2
Let a = -1.1 - -0.1. Let l = 0.072 + -0.212. Let f = -4.86 + l. Sort a, f, -0.2 in decreasing order.
-0.2, a, f
Let n be (-1 + (-6)/(1 + -7))/1. Sort -15, 2/13, n.
-15, n, 2/13
Let z be ((-12)/(-50))/((-14)/(-35)). Let p be (-18)/(-28)*(-64)/144. Sort p, z, -9, -5 in decreasing order.
z, p, -5, -9
Let h be 2 - (1/2 + 56/32). Let x be (-10)/5 - (1 + -8). Suppose -2*l = -3*u + 3, -2*l + 6*u = u + x. Put h, l, -2/13 in increasing order.
h, -2/13, l
Let t = -452 + 451.5. Put 0.3, -63/8, 1/10, t in decreasing order.
0.3, 1/10, t, -63/8
Suppose -1730 = -3*j - 1727. Let b = -7 - -2. Sort j, b, -2 in descending order.
j, -2, b
Let x = 24658/9 - 2740. Sort 2, 6, -0.1, x in increasing order.
x, -0.1, 2, 6
Let k = 0 - -1. Suppose 2*o - 5*o + 15 = z, -5*z - 3*o + 15 = 0. Suppose z = -2*p + 5*b + 20 + 4, -2*p - 2*b = 4. Put -2, k, p in descending order.
p, k, -2
Let k = 493 + -489. Put -6, -7, k in decreasing order.
k, -6, -7
Suppose -5*u + 4*u = 4. Suppose -8*l = 21 - 5. Let w = -3 - -2. Sort l, u, w in decreasing order.
w, l, u
Let l(y) = y + 13. Let m be l(-12). Let o = -6 + m. Sort 1, o, 0 in increasing order.
o, 0, 1
Let c(x) = -6*x + 168. Let i be c(28). Let s be (0 + 4)*(-6)/(-8). Sort 4, i, s, 2 in decreasing order.
4, s, 2, i
Let f = -15098 + 120785/8. Suppose 4 = -3*v + 16. Sort -5, f, -3/2, v in decreasing order.
v, f, -3/2, -5
Let u = 29 + -29.36. Let j = u + 0.16. Let m = 10.5 + -11. Sort 0.5, j, m.
m, j, 0.5
Let v = 81 - 80. Let u be 1/5*((-9)/(-6) + v). Sort 1/6, 5, u in decreasing order.
5, u, 1/6
Let s(d) = d**2 + 4*d + 3. Let x be s(-4). Suppose x*m = m + 2. Suppose -2*i - m = -4*y - i, y - i = -2. Sort -4, y, -5.
-5, -4, y
Let y be (-158)/36 + (-5 - -7 - -2). Let k = 831 - 14953/18. Let h = y - k. Sort 5, h, 1.9 in ascending order.
h, 1.9, 5
Let b = -2080 - -6239/3. Sort 2, 136, b, 1/2 in increasing order.
b, 1/2, 2, 136
Let r(s) = -s**3 + 7*s**2 - 8*s + 14. Let l = 20 + -14. Let v be r(l). Suppose g + 3 + 4 = -v*x, -20 = -4*g + 4*x. Sort g, -4, -2.
-4, -2, g
Let c be 4*9/40 + 2/(-5). Let f = 0.49 + -0.5. Let q = -0.41 - f. Sort 0.2, c, q in descending order.
c, 0.2, q
Let g(n) = n**3 - n**2 - 4*n - 1. Let b be g(3). Let x be (-10 + 12)/((-1)/(2/(-1))). Let y be (1 + (-1 - 0))/2. Sort x, y, b in decreasing order.
b, x, y
Let g(o) = -4*o**3 - o**2 + o + 1. Let s be g(-1). Let t = -51 + 58. Suppose t = d + s*v, -v + 7 = 2*d - 2*v. Put 2, d, -4 in descending order.
d, 2, -4
Let v(w) = 6 - 2*w + 10 - 17. Let r be v(2). Sort 3, 0, r in decreasing order.
3, 0, r
Suppose -3*a = -4*f + 9, 2*a = -3*f - f - 6. Let d = -128 + 124. Put 11, 1, d, f in descending order.
11, 1, f, d
Let k = 19 + -24.2. Let f = -2.2 - k. Let y = 0.35 - 4.35. Sort 1/2, f, y.
y, 1/2, f
Suppose 4 = -w + 6. Suppose w*k = -k. Suppose -4*b + 13 - 21 = k. Put 5, -3, b in descending order.
5, b, -3
Let k = 0.1 - 0.6. Suppose -y - 4*y + 5 = 0. Let o = 347 - 346.7. Put k, o, y in decreasing order.
y, o, k
Suppose 6*q - 5 = q. Let b = q + 0. Suppose 3*p + 2 = 5, 0 = 2*v + 2*p. Put v, b, 5 in descending order.
5, b, v
Let w be (-1890)/756 + (-17)/(-2). Let k be 0*-1*2/4. Sort k, 2, w in descending order.
w, 2, k
Let i be -2*(-3)/(-12)*0. Suppose i*c - 5 = -5*c. Suppose -19*v = -5*f - 18*v - 21, 3*v = 3. Put f, -1/2, c in decreasing order.
c, -1/2, f
Let c be (-20)/(-30)*(-69)/(-2). Let w = 28 - c. Suppose w = -2*h - 13. Put h, 3, -4 in decreasing order.
3, -4, h
Let r = 27.4 - 27. Let f = 17.09 - 17. Let x = -0.39 + f. Put x, r, 2/9 in decreasing order.
r, 2/9, x
Let y be -4*(-3 - 45/(-12)). Sort -7, y, -2, -5 in decreasing order.
-2, y, -5, -7
Let o = -499 - -514.84. Let t = o + 0.16. Let r = -16 + t. Sort -1/6, 4, r in increasing order.
-1/6, r, 4
Let u = 0.6 + -0.5. Let n = -182.7 + 170. Let z = n + 13. Put u, 3, z in decreasing order.
3, z, u
Suppose -3*g = -6 - 6. Suppose 0*n = -g*n - 20. Let r(v) = -v**3 + 4*v**2 - v - 3. Let b be r(3). Put 1, b, n in increasing order.
n, 1, b
Let t be 12/(-5) - 4/(-10). Let f(x) = -154*x + 2159. Let y be f(14). Sort -8, t, y, 0 in ascending order.
-8, t, 0, y
Let x be 96/(-1680) - 10/(-28). Let z be -1 + (-1)/(8/(-10)). Sort z, 2/17, x in ascending order.
2/17, z, x
Suppose 0 = -2*i + 9*s - 14*s + 10, -18 = 2*i - 2*s. Sort -1, i, 26, 2 in descending order.
26, 2, -1, i
Let q = 71.1 + -59.1. Sort q, 7, 0 in ascending order.
0, 7, q
Suppose 5*t = 2*o + 3, 9*o = t + 2 - 37. Suppose 0 = -2*k + k + 2. Sort 3, -5, k, t.
-5, t, k, 3
Let z(r) = -r + 6. Let f be z(6). Suppose f = 2*t - 4*b + 4, -2*t - 3*t - 3*b = -16. Let o be (5 + -6)/(-1 - -2). Sort o, t, -3 in descending order.
t, o, -3
Let g = 2430 - 2425. Let w(d) = -2*d**2 - 3*d - 1. Let z be w(-2). Sort g, -5, z.
-5, z, g
Let r be (-4)/84*-12 - (-51)/21. Put r, 0, 5, 50 in increasing order.
0, r, 5, 50
Let p = 0.1163 + -1.1163. Sort 0, 5/4, p, 8.
p, 0, 5/4, 8
Let c be (-4)/18 + (-114)/(-27). Let s = 14 + -8. Let k = 335 + -334. Sort c, k, s in descending order.
s, c, k
Let t be (1 + (-5)/3)*6. Let j = 43.7 + -44. Let d be (-112)/204 + 24/36. Sort t, j, d.
t, j, d
Let o = -0.1 + -0.4. Let y = 150 + -65. Let l = y - 91. Sort l, -0.2, o in ascending order.
l, o, -0.2
Let i = 156 - 233. Let r be (1/18)/(i/(-7294)). Let t = 49/9 - r. Sort 4, t, -6 in descending order.
4, t, -6
Suppose -3*b - 3*i + 60 = 0, -b + 3*i + 35 = 3. Suppose b = -7*u - 12. Suppose 5*p + 10 = -5*j, 0*j + 4*j - 28 = 5*p. Sort u, -3, j in descending order.
j, -3, u
Suppose -5*d + 5*n = 205, 5*d - 2*n - 75 + 289 = 0. Let v = 39 + d. Put -0.6, v, -0.3 in ascending order.
v, -0.6, -0.3
Suppose 1638 = -194*y - 199*y + 120*y. Let p(m) = -m + 8. Let g be p(4). Put y, g, 2 in ascending order.
y, 2, g
Suppose 25*d = 21*d + 8. Suppose -s = -0*s - 5*m + 32, -m = s + d. Sort -5, 0, s in descending order.
0, -5, s
Let k = 6 + -6.3. Let v = -16 - -16. Let i = v + -3. Put 6, i, k in increasing order.
i, k, 6
Suppose -13*z + 24*z + 33 = 0. Suppose -2*v - 6 = v, 0 = -f + 3*v + 8. Suppose 4*n = f*g + 14, -3*n = -3*g - 1 - 14. Put n, 0, z in increasing order.
z, 0, n
Let h = -308 - -303. Sort 0.06, 0.4, h in decreasing order.
0.4, 0.06, h
Let k(g) = -4*g**2 + 71*g + 13. Let f be k(18). Sort 74, 4, f.
f, 4, 74
Suppose 0 = -2*l + 4*l + 3*f - 28, 4*l = -3*f + 44. Suppose -75 + 72 = i. Put i, -6, l in decreasing order.
l, i, -6
Suppose 28*x - 43*x + 135 = 0. Put -3, -1, x in descending order.
x, -1, -3
Let s = 46/13 - 44/13. Sort s, 0.01, 2, 0 in descending order.
2, s, 0.01, 0
Let c = -59488290331907/708120 - -6048641057/72. Let m = c - 4/5901. Let y = -133 + m. Sort 0, y, 5 in ascending order.
0, y, 5
Let v be (3 - 5 - -1)*1 + 6. Sort -6, -4, -2, v in ascending order.
-6, -4, -2, v
Let p = 160/123 + 15/41. Sort -4, p, -2.
-4, -2, p
Let t be (3/2)/((-27)/(-54)). Let z be ((-2)/(-5))/((-1)/(-5)). Let j = 0.3 + -0.2. Sort t, j, z in descending order.
t, z, j
Let f be 2*(-5 - -3 - -59). Let u be (f/(-21) - -3) + 3. Let p = -211/6 - -103/3. Sort p, u, 3/2.
p, u, 3/2
Let h = -222 + 