
z, 0.07, 2
Let h be 2 + -7 - 16/(-2 + -2). Put 1, -11, h in ascending order.
-11, h, 1
Let n = 2.6 + -10.6. Let w = 6.6 + n. Sort -0.3, -5, 0.4, w.
-5, w, -0.3, 0.4
Let y = 26 - 55/2. Suppose -6*m - 51 + 27 = 0. Sort -11, m, y, 0.4.
-11, m, y, 0.4
Let p = -0.0214 + 2.1214. Put p, 2/3, -1, 1/3 in increasing order.
-1, 1/3, 2/3, p
Let c = -4 - -14. Let q be (-18)/(-15)*c/4. Suppose k + 4*r + 16 = 0, -3*r = -2*k + q*k + 13. Put k, 0, 5 in descending order.
5, 0, k
Suppose 0 = -3698*a + 3695*a + 3. Put 5, a, -3, -0.37 in decreasing order.
5, a, -0.37, -3
Let g be -15*(6/(-21) - (-80)/84). Let y = -0.6 + 1. Sort y, -0.4, g in ascending order.
g, -0.4, y
Let f(b) be the third derivative of -b**5/30 - b**4/4 + 11*b**3/6 - 10*b**2. Let d be f(2). Sort -2, -2/3, d in descending order.
-2/3, -2, d
Suppose -2*v = 5*r + 25, v + 3*r + 2*r = -20. Let u be 0/(-6*(-2)/(-4)). Put 0.2, u, -3/5, v in descending order.
0.2, u, -3/5, v
Let l = 3.7 + -19.7. Put 1/2, 2, l, -5 in decreasing order.
2, 1/2, -5, l
Let k = 0.037 + 1.963. Let i = -3.2 + -0.8. Sort 13, i, k.
i, k, 13
Let v(g) = -4*g**2 - 120*g + 4. Let m be v(-30). Put -20, 2, 3, m in decreasing order.
m, 3, 2, -20
Let f = -89 + 137. Let y = f - 46. Let m = 0 - -9. Put m, y, 0 in decreasing order.
m, y, 0
Suppose 1 - 3 = -3*i - 4*f, -f = 2*i - 8. Let l be (-7 - -9)/((-4)/i). Sort -2, -1, 4, l in descending order.
4, -1, -2, l
Let k(z) = 3*z**2 - 2*z - 5. Let u be k(2). Suppose 0 = -u*h - 0*o - o - 4, 2*o + 8 = -4*h. Suppose 3 = 2*x + 1. Put x, -4, h in decreasing order.
x, h, -4
Let f be 20 + (2 + -2)/(-3). Suppose f = -a - 3*a. Let g be 4*(-1)/(-4) + a. Put 9, g, -3 in descending order.
9, -3, g
Let y = -165 + 205. Put y, 0.4, 0.5 in descending order.
y, 0.5, 0.4
Suppose w + 24 = 4*t, 2*w = 5*t - 2*t - 23. Sort t, 2, 9, -2.
-2, 2, t, 9
Suppose -5*t = 25, 4*g - g - t - 50 = 0. Suppose -v + g*v = 28. Suppose -2*a - 5*k - 14 = 0, 4*a = 6*a + 2*k + 2. Sort v, a, -2 in decreasing order.
a, v, -2
Suppose -12 = 4*w - 38*z + 35*z, 0 = -5*z + 20. Sort -3, -4, -159, w in decreasing order.
w, -3, -4, -159
Suppose 2*f - 10 = 0, -4*h + 3*h + 110 = -5*f. Put -5, h, -4 in ascending order.
-5, -4, h
Let j(w) = w**3 - 9*w**2 - w + 9. Let s be j(9). Suppose 2*y + 3*y - 10 = s. Suppose 3*o + 24 = 3*v, 4*v = 3*v - y*o - 1. Put v, -2, -5 in descending order.
v, -2, -5
Suppose 5*r + 18 = -g, 10*r - 4*g = 14*r + 8. Put -34, 1, r in decreasing order.
1, r, -34
Let a = -733 + 735. Sort 1/55, -1/3, a.
-1/3, 1/55, a
Let o be (-14)/(-63) + (-61)/(-9). Let v = o + -10. Let w = -1.4 - -1. Put w, v, 0.4 in ascending order.
v, w, 0.4
Let f(v) = -9*v - 53. Let c be f(-6). Put 13, -4, c in decreasing order.
13, c, -4
Let m be (4 - 5)*-6 - 5. Put -4, 2, m in decreasing order.
2, m, -4
Let u be (1 - -2 - -5)*4/8. Let z(l) = -l**2 - 6*l - 1. Let h be z(-6). Sort u, h, 6 in decreasing order.
6, u, h
Let z be 880/462 + 4/42. Sort z, -1, -6, 1 in decreasing order.
z, 1, -1, -6
Let w = 0.0266 + 2.9734. Sort w, -2, -1 in descending order.
w, -1, -2
Suppose 3*a - 2 = 2*f + a, 2*f + 4*a = 16. Let l(b) = -b**2 + 11*b + 15. Let n be l(12). Put n, 14, f in ascending order.
f, n, 14
Suppose v + 2 = 4*d, -3*v + 33 + 3 = 2*d. Let k be (-8)/(-4) + (-26)/v. Let s = 177 + -172. Put 2, k, s in ascending order.
k, 2, s
Suppose -16 = -2*w - 5*f, -4*w = -6*w - 4*f + 12. Let x = 7.04 + -6.84. Sort -1, x, w, 5 in ascending order.
w, -1, x, 5
Suppose -4*p + 35 = j - 6*j, 0 = -4*j - 12. Suppose -y + 75 = -p*m, 6*y = -5*m + y - 45. Put 3, -1, m in increasing order.
m, -1, 3
Let y(t) = -9*t**2 + 276*t + 91. Let p be y(31). Sort p, 8, -5, 3 in ascending order.
-5, p, 3, 8
Suppose -39 = -3*y + 6*y. Let l = y - -21. Suppose 0 = 3*s - l*s. Sort 2, -3, s in decreasing order.
2, s, -3
Let y(u) = 7*u - 117. Let r be y(16). Sort 3, r, -3.
r, -3, 3
Suppose 3*r - 4*x = -23, -2*x + 6 = -4. Suppose 38*n - 43*n + 30 = 0. Sort -5, n, -2, r in decreasing order.
n, r, -2, -5
Let f(b) = b**2 - 7*b - 24. Let l be f(-2). Sort 2, 5, -18, l in increasing order.
-18, l, 2, 5
Let t(f) = f**3 - 3*f**2 - 2*f + 3. Let g be t(2). Let w(b) = -146*b - 150. Let d be w(-1). Sort -1, d, g, -3 in descending order.
-1, -3, d, g
Let a(k) = 2*k + 6. Let r be a(-8). Let d be (0 - 100)/(-4)*(-2)/r. Put -1, 3, d in ascending order.
-1, 3, d
Let q(v) = v**3 + 8*v**2 - 12*v - 29. Let a be q(-9). Suppose -u - 2*t + 6 = u, 4*u + 5*t - 17 = 0. Let j = 7 + u. Put j, -1, a in decreasing order.
j, -1, a
Let s = -983 - -3887/4. Let n = s + 593/52. Put -2/15, n, 4 in decreasing order.
4, n, -2/15
Suppose 4*y + 0 = 8. Suppose -r + y = -8. Suppose 6 + r = 2*h - 2*u, 3*h - 4 = -2*u. Put 1, h, 0 in decreasing order.
h, 1, 0
Let z = -301 + 599/2. Let u be ((-6)/(-5))/((-14)/(-5)). Sort z, u, 0.6.
z, u, 0.6
Let w be 12/(-9) - 7/(-3). Suppose -5*n = -10*n + 150. Let q be 1/(n/(-9) + 3). Sort -1, w, q.
q, -1, w
Let a(v) = 13*v**2 - 90*v - 2. Let p be a(7). Put p, -1, 7.6 in decreasing order.
7.6, p, -1
Let d = 84 - 81. Sort -3, d, -4/7, 5 in ascending order.
-3, -4/7, d, 5
Let h(l) = l - 1. Let a(b) = 4*b - 1. Let r(x) = -a(x) + 2*h(x). Suppose -18 = -10*p + 2. Let d be r(p). Sort d, 1, -4 in decreasing order.
1, -4, d
Let w = -1287.9 + 1282. Put w, -0.5, -2 in ascending order.
w, -2, -0.5
Let n(k) = -2*k**3 + 9*k**2 - 2*k - 8. Let z be n(4). Suppose -16*b + 13*b + 6 = z. Sort 3, -12, b in increasing order.
-12, b, 3
Suppose -p = -x + 2, -x - 4*x + 4*p = -12. Sort -5, 1, x, -3 in descending order.
x, 1, -3, -5
Suppose -1 = 6*x + 17. Let k = 3 - -1. Suppose -6 = -m + 4*m, 2*n - 2 = -k*m. Put n, x, 2 in ascending order.
x, 2, n
Let i be 10/(-35) + 150/84. Sort 1.1, -4, i in descending order.
i, 1.1, -4
Let c = -0.1 + 0.1. Let x = -1.02354 + 0.02354. Put c, -0.3, x in increasing order.
x, -0.3, c
Let y = -3.2 - -2.7. Let g = 0.009 + 2.991. Let q(z) = -z + 5. Let s be q(0). Put y, g, s in increasing order.
y, g, s
Let s = -122 + 130. Suppose 216 = s*u + 4*u. Put -4, -5, u in ascending order.
-5, -4, u
Suppose -2*q - 3 = 15. Let o = q - -7. Sort 0, o, 2.
o, 0, 2
Let r = -0.537 + -4.463. Sort -1/5, 4.7, 4, r.
r, -1/5, 4, 4.7
Let p be 668/(-14) + 2/(-7). Let t be 7*(p/28 - -2). Put -0.2, -0.5, t in descending order.
t, -0.2, -0.5
Suppose 3*h + f + 1 = 5*h, -4*h + 11 = -5*f. Let k be (7/(140/15))/(9/86). Let o = k + -313/42. Sort -4, h, o in decreasing order.
o, h, -4
Suppose 10*o = 12*o - 6. Suppose 0 = f - 5*f - o*u + 26, -21 = -3*f - 3*u. Put 1, 4, f in ascending order.
1, 4, f
Let b be 316/(-8) - (-1)/2. Let q = b + 39. Sort q, 2, 1, -2 in ascending order.
-2, q, 1, 2
Let i be 3/1 - ((-12)/2)/(-3). Let z be (170/15 - i) + 2/(-6). Let v(n) = -2*n**3 - n**2 + n + 1. Let k be v(-1). Put z, k, -5 in decreasing order.
z, k, -5
Let k be 12*((-17)/(-4) - 3). Suppose -k = -7*y + 2*y. Sort y, -3, 4 in decreasing order.
4, y, -3
Suppose -3*u - 2*p + 55 = -7*p, 5*p + 70 = 4*u. Let w(n) = -6*n**3 - 2*n**2 - 3*n - 1. Let k be w(-1). Suppose -k*r - u = -3*r. Sort 1, r, -3.
r, -3, 1
Let p = -2710 - -2709.7. Put 0.2, p, -345 in increasing order.
-345, p, 0.2
Let i = -606.8 - -607. Sort 2/17, -4, i, -2.
-4, -2, 2/17, i
Let g be 30 - 23 - (3 - (-1 + 1)). Suppose g*u + 6*h - h = 40, 5*h = 3*u + 5. Put 4, 2, -5, u in descending order.
u, 4, 2, -5
Let u(t) = -t**3 + t**2 + 2*t + 35. Let p be u(4). Sort p, 0, -4.
p, -4, 0
Suppose 5*t - 13 + 3 = 0. Suppose -6 = -2*j - t. Let p be 6/(-4) + 3/j. Put p, -0.5, 2/5 in decreasing order.
2/5, p, -0.5
Let b = -16 + 82/5. Let p = 0 - 1. Let x be p + 3/(42/8). Sort x, b, -2/9 in descending order.
b, -2/9, x
Let a = 690 + -725.7. Let f = a - -38. Let p = f + -2.6. Sort 4, 2, p in decreasing order.
4, 2, p
Let s = 248 - 216.6. Let k = s + -31. Sort 0.3, k, -3/4 in increasing order.
-3/4, 0.3, k
Let d = 0.501 - 0.79. Let y = 4.631 - d. Let j = y + 0.08. Put 8, 0, j in descending order.
8, j, 0
Let f = 158 - 144. Suppose m + c + 4 = 0, f = -4*c - 6. Put 3, m, 0, 2 in descending order.
3, 2, m, 0
Suppose 5*g = -c + 6, 0 = -c + 2*c - 1. Let p(b) = b + 1. Let a be p(-5). Let v(z) = 3*z**2 + 28*z - 93. Let i be v(-12). Sort g, i, a.
a, g, i
Let g = 6 + 0. Suppose 2*r - 12 = g*r + 4*u, u + 9 = -3*r. Let x(m) = m**3 - 15*m**2 + 14*m + 4. Let v be x(14). Sort r, v, 0 in decreasing order.
v, 0, r
Suppose -10*o = 10