 be ((-6)/(-8))/(3/12). Put z, -4, 2 in decreasing order.
z, 2, -4
Let m = -0.03 + 0.09. Let i = m - 0.06. Let p be (12/15 - 1)*2. Put 0.4, i, p in ascending order.
p, i, 0.4
Let i(s) = 16*s**2 - 2*s - 1. Let d be i(-1). Suppose 4*q + 1 = -5*z, -3*q - z = 2*q + d. Suppose 2*g - 4 = -2. Sort q, g, -3 in decreasing order.
g, -3, q
Let d = -2.7 - 8.3. Let q = d + 9. Sort q, -2/15, 2/5 in ascending order.
q, -2/15, 2/5
Let q = 20 - 15. Sort q, -0.4, -1/6 in increasing order.
-0.4, -1/6, q
Let h be (-3)/2*40/(-12). Let r = -7 - -6.4. Let m = -1.4 + r. Sort h, -4, m in increasing order.
-4, m, h
Let x(u) be the first derivative of u**2/2 + 10*u - 1. Let m be x(-6). Put 5, -4, m in increasing order.
-4, m, 5
Suppose 0 = 5*i - 13 + 3. Suppose i*b + 3*n = 5, 4*b - 5*n + 1 + 22 = 0. Sort b, 2, 3 in decreasing order.
3, 2, b
Suppose -4*w - 5*x = -40, -2*w = x - 4*x + 2. Put -4, 2, w, -5 in descending order.
w, 2, -4, -5
Let j(m) = 1 + 4*m**3 - 11 - 3*m**3 + 0*m**3 + 8*m**2. Let p be j(-8). Let w = -10 - p. Put -2, w, 2 in decreasing order.
2, w, -2
Let x(q) = 4*q. Let t be x(2). Let d = t - 6. Suppose -5*c - 17 = -3*u + 2*u, 0 = d*c + 3*u. Sort 1, c, -4.
-4, c, 1
Let j = -0.002 - 0.998. Sort 0.2, j, 0, -3.
-3, j, 0, 0.2
Let f = -38.3 + 38. Put f, -3, -2 in decreasing order.
f, -2, -3
Let s be ((-1)/(3 + -2))/(-3). Let y = -5/9 + s. Let h = -2 - -1.7. Put y, -0.2, h in increasing order.
h, y, -0.2
Suppose 9 = 5*n + 2*l + 32, 4*l = 3*n + 19. Suppose 0 = y - 7*y + 18. Put n, 5, y in descending order.
5, y, n
Let v = -23.5 + 23. Let m(a) = a**3 + 5*a**2 - 9*a - 7. Let t be m(-6). Let o be (1 - (1 - 2))/t. Sort 2, o, v in decreasing order.
2, o, v
Let a(x) = -13*x**2 - 6*x + 15. Let d be a(2). Put d, 5, -5 in ascending order.
d, -5, 5
Let h(d) = d**2 - 2*d - 1. Let z be h(-1). Let q = 16 - 20. Sort q, z, 1 in ascending order.
q, 1, z
Let s be (4 - 2)/4*-2. Let j = 4 - s. Sort -5, j, 2.
-5, 2, j
Let y be 6/(-4)*(-3)/(-18). Let t(i) = 10*i**2 + 5*i + 1. Let r be t(5). Let x = r + -1935/7. Sort 1, x, y in descending order.
1, y, x
Suppose 3*z = 5*z + 4*p - 10, 0 = -5*z + 2*p - 35. Sort -2, z, -3 in ascending order.
z, -3, -2
Let a = 70.49 - 71. Let z = a + 0.11. Sort -5, 1, z.
-5, z, 1
Let x = 14/3 - 143/30. Put 5, x, -0.2 in decreasing order.
5, x, -0.2
Let n = -41 - -45. Let m = 3 + -3.2. Sort n, -2/17, m in descending order.
n, -2/17, m
Let g be 1/2*6/(-3). Sort 2, g, -3.
-3, g, 2
Suppose m - 1 = 0, 3*d + 8 = -d + 4*m. Let p = 2 + -1. Sort p, -2, d.
-2, d, p
Let a be 5*(-1)/2*(-13 - -15). Sort a, -4, 1 in descending order.
1, -4, a
Suppose 3*q = 35 + 28. Let j be 3/(2 - 5/4). Suppose 2*f + q = j*f - 5*i, -i = f + 7. Sort 3, f, 0 in descending order.
3, 0, f
Suppose q - 1 = 0, q = 3*c + 5*q - 22. Let d = c - 8. Put d, 3, -3 in ascending order.
-3, d, 3
Let f = 2 - 2. Sort f, 1, 4.
f, 1, 4
Suppose -5*c + 0*a - 18 = 2*a, 2*c - 5*a + 13 = 0. Sort -5, 1/2, c in decreasing order.
1/2, c, -5
Let r = -24 + 21. Let l(a) be the second derivative of a**5/20 + a**4/6 - a**3/2 + a**2 - a. Let y be l(-3). Sort 4, r, y.
r, y, 4
Suppose s + 1 = -0. Sort 0, s, -4.
-4, s, 0
Let f be 7/3 - (-4)/6. Let j = 39 + -39. Sort f, j, -5 in decreasing order.
f, j, -5
Let j = -11.4 + 11. Sort -3, -1, j.
-3, -1, j
Let a = -189 - -1325/7. Let q = -0.19 - -0.2. Let v = 0.39 + q. Sort 1/2, a, v in decreasing order.
1/2, v, a
Suppose 11*j - 9*j - 10 = 0. Sort 0, 0.4, j, 5/6 in descending order.
j, 5/6, 0.4, 0
Let i = 689 - 686. Suppose 0 = r + 4*r. Let f be -1 - (1*-5 + 0). Put f, r, i in ascending order.
r, i, f
Let t = 2.5 - -0.5. Put 1, 5, t in ascending order.
1, t, 5
Let v(g) = g**2 - 3*g - 3. Let o be v(-2). Suppose -3*t + o*t = 0. Suppose 5*i - 11 = -6*n + 3*n, t = -4*i + 4*n + 28. Put 1/8, -2, i in decreasing order.
i, 1/8, -2
Let o = -26 - -8. Let f = o - -17.5. Sort f, -0.2, 0.4 in decreasing order.
0.4, -0.2, f
Let b = 12 - 14. Suppose 0 = d - 3*d. Put d, b, 3 in decreasing order.
3, d, b
Let n = 6.13 - 0.13. Let r = -6 + n. Put 3, -1, r in ascending order.
-1, r, 3
Let i be -2*1/(-2) + 4. Let y be (70/5)/((-4)/6). Let n be y/4 - (-2)/8. Sort 4, i, n in descending order.
i, 4, n
Suppose 9*v + 1 = 8*v. Put -4, 0, v in increasing order.
-4, v, 0
Let w = -19 + 16. Sort -0.4, -0.5, w in decreasing order.
-0.4, -0.5, w
Let q be 1/(-2)*2 - -4. Let x = 1 + q. Sort -4, x, 1.
-4, 1, x
Let z(l) = -l**2 + 4*l + 1. Let h be z(5). Sort h, 5, -3.
h, -3, 5
Let b be 0 - (-1 + 0 + -2). Suppose 3*j + 0*j = -b. Sort 1, 3, j in decreasing order.
3, 1, j
Let y = 0.07 - 0.07. Let q = y - 3. Let k be (-1 + 0/(-2))*5. Sort -0.5, q, k.
k, q, -0.5
Let p = 2.8 - 3. Let f = -9 - -17. Let t = -6 + f. Sort p, 1, t in descending order.
t, 1, p
Let h = -1.7 - -1.7. Let t = h + 2. Sort -1, t, -12 in ascending order.
-12, -1, t
Let f = -14 + 1. Let j = 9 + f. Sort 0.1, j, -2/9.
j, -2/9, 0.1
Let l be (2/(-3))/(3/45). Let s be 2/(-4) - l/4. Let o be 1/(0 + 1/s). Sort -3, o, 5.
-3, o, 5
Suppose 5*k = g - 1, 0 = 4*g - 3*k - 2*k - 4. Sort -6, -5, g.
-6, -5, g
Suppose -2*t + 5*t = 9. Sort -5, -2, t in descending order.
t, -2, -5
Suppose 4*z - 12 = 0, 4*z + 0*z + 53 = 5*p. Suppose -5*a + p + 2 = 0. Suppose a = -j - 1. Sort -5, j, 0 in descending order.
0, j, -5
Suppose 3*d - 2 - 10 = 0. Let s(h) = -2*h**3 + h**2 - 1. Let r be s(-1). Suppose -r*k = -6*k + 3*i - 32, -10 = -2*k - 5*i. Put 2, d, k in descending order.
d, 2, k
Let p = -129 - -132. Put 16, p, 4, 0 in ascending order.
0, p, 4, 16
Let g = -35 + 34.8. Sort -17, g, -2/7 in decreasing order.
g, -2/7, -17
Suppose -57 + 17 = -8*i. Put -3, 0, i, 0.04 in ascending order.
-3, 0, 0.04, i
Let r = 0.04 + 0.26. Put -4, 1/2, r in ascending order.
-4, r, 1/2
Let b = -30 - -28. Put b, 0.3, 4 in decreasing order.
4, 0.3, b
Suppose 3*x = 3*r + 3, 4*r = -2*x + r - 13. Let s = 9 - 6. Suppose -s - 3 = 2*v. Put 2, x, v in decreasing order.
2, x, v
Let o(h) = -h**3 - 14*h**2 - 12*h + 15. Let z be o(-13). Let v(y) = -y + 3. Let b be v(z). Sort b, 0, -1.
-1, 0, b
Suppose -15 = -6*c + 5*c. Let d = c - 20. Sort -4, d, 2.
d, -4, 2
Let l = 98.7 + -103. Put -3, -0.4, l in ascending order.
l, -3, -0.4
Let d = 0.2 - 0.3. Let c = -799/9 + 89. Let j = -300 - -301. Sort c, d, j in descending order.
j, c, d
Suppose -3*n + 7 + 5 = 0. Let d be (-46)/(-12) - (-2)/12. Suppose -d*a = 3*i - 5*a + 16, -21 = 5*i + 4*a. Put n, i, 1 in descending order.
n, 1, i
Let s be (6/9)/(2/21). Sort -3, -5, s in increasing order.
-5, -3, s
Suppose 2 = 5*w - 8. Sort 4, w, -0.3 in decreasing order.
4, w, -0.3
Let u = 25.91 - 26. Let r = u - 0.11. Sort -1, r, -14 in decreasing order.
r, -1, -14
Let r = -32.19 + 32. Let o = -0.01 + r. Put 0.4, o, -3 in descending order.
0.4, o, -3
Let a be 0 + 4/22 - 966/(-253). Let p be 3/2 - (-2)/(-4). Put 3, a, p in ascending order.
p, 3, a
Let c be (-2)/(-8) + (-98)/840. Sort -1, c, 1.1, -1/6.
-1, -1/6, c, 1.1
Let g(t) = -5*t + 1. Let a be 4/14 - (-20)/28. Let p be g(a). Put p, -1, 3 in increasing order.
p, -1, 3
Let z = 0.3 + 0. Let u(f) = f**2 - 6*f + 1. Let c be u(5). Let a be c/(1*(-1)/(-1)). Put -2, z, a in increasing order.
a, -2, z
Let h be -1*4/(-10) - 22/30. Let d be 2/(-8) - (-17)/4. Put 1, d, h in decreasing order.
d, 1, h
Let g = 341 + -190. Let u = 1361/9 - g. Let c(v) = 4*v**3 + v**2. Let a be c(-1). Sort -0.1, u, a.
a, -0.1, u
Let m(j) = j**2 - 5*j + 4. Let p be m(4). Suppose 3*s + p*d = d + 6, 4*s = 2*d + 10. Put 3, s, -2 in ascending order.
-2, s, 3
Let j = -8 + 5. Let n(g) = -g**3 - 3*g**2 + g + 3. Let y be n(j). Sort 3, -2, y in ascending order.
-2, y, 3
Let a = -39 + 38.9. Sort a, -6, -0.5, 0.5.
-6, -0.5, a, 0.5
Let i = 29 - 33. Put -0.5, i, -3 in descending order.
-0.5, -3, i
Let x(k) = -k**2 - 6*k + 10. Let t be x(-7). Suppose -17 = -d - 2*q - t*q, 3*d - 2*q = 0. Let w be (d/(-30))/(2/(-4)). Put 5, w, 1/7 in decreasing order.
5, 1/7, w
Let y(a) = a**2 + 4*a + 3. Let m be y(-4). Suppose m*k = 5*r - 3, 3 = -0*r - 3*r + 3*k. Sort -7, -2, r.
-7, -2, r
Suppose 0*i + i + 3 = 0. Sort i, -4, 2 in decreasing order.
2, i, -4
Let k = -39 + 37. Let t(d) = -d**3 - 7*d**2 - d - 8. Let n be t(-7). Sort n, 4, k in increasing order.
k, n, 4
Let d be (-6 - (-308)/52)*(-1 - 1). Put 0, d, 2/5, -2/13 in ascending order.
-2/13, 0, d, 2/5
Let a be (2/3)/(2 - 0). Let m = 1.1 - 5.1.