 - 2*a - 13. Let j be t(-5). Let v = -0.2 - -0.2. Let r = v + 1. Put j, 3/5, r in descending order.
r, 3/5, j
Let b = -43.1 + 43. Put b, -3, 3 in ascending order.
-3, b, 3
Suppose -12 = -d + r, 46 - 12 = 2*d - 4*r. Suppose m + d = 3*q, -q = 5*m + 3*q - 3. Put 2, m, -2 in descending order.
2, m, -2
Let x = -1.4 + 1. Suppose -2*t = -7*t. Suppose t = 5*l + 20 - 0. Put l, -1, x in decreasing order.
x, -1, l
Suppose 2*h - 2 = -0, 16 = w + 3*h. Suppose 2*t - 3 = -w. Put 0, t, -4 in decreasing order.
0, -4, t
Let h(r) = 3*r - 5. Let k be h(4). Let c(w) = w - 10. Let o be c(k). Sort 3, -2, o in decreasing order.
3, -2, o
Let q(z) = -z + 8. Let r be q(6). Suppose j + 0 = -1. Put r, j, 5 in descending order.
5, r, j
Suppose 3 + 5 = -5*y + 4*o, 3*o = 3*y + 3. Suppose 0 = -2*r - 3*r. Sort -2, y, r in descending order.
r, -2, y
Suppose 5*s + 3*y - 13 = 3*s, 12 = 3*s + 2*y. Let n be ((-1)/(-1))/1*3. Sort 5, s, n in increasing order.
s, n, 5
Let c(o) = o**3 + 5*o**2 - 5*o + 7. Let b be c(-6). Let w be (3 - (-8)/(-3)) + b. Put w, 0.3, -2 in ascending order.
-2, 0.3, w
Let w = -0.6 + 2. Let k = 0.9 - w. Put -1/6, k, 4/3 in decreasing order.
4/3, -1/6, k
Let u(m) = m + 1. Let j be u(3). Suppose 8 = 2*n - 36. Suppose 2*g = -3*g + 3*a + n, -3*g - 4*a + 19 = 0. Put g, -5, j in descending order.
g, j, -5
Let c = 14 - 10. Sort c, -5, 3 in ascending order.
-5, 3, c
Let d = 0.079 + 9.521. Let z = 10 - d. Sort z, -2, -0.1 in decreasing order.
z, -0.1, -2
Let s(c) = c - 1. Let g be s(0). Let d(t) = t + 19. Let o be d(-15). Sort -4, o, g in descending order.
o, g, -4
Suppose 5*s = -0*s + 15. Put -2, s, 5 in increasing order.
-2, s, 5
Let c = -14 + 8. Sort 0, c, 3, -0.4.
c, -0.4, 0, 3
Let a be -1*-2*2/20. Let i(c) = -c**3 + 8*c**2 - 7*c - 5. Let x be i(7). Let r be (-4)/5 - 2/x. Sort r, 4, a in ascending order.
r, a, 4
Let h = -79 - -74. Sort h, -23, -2 in decreasing order.
-2, h, -23
Let x = 6 + -1. Let j = -4 - -2. Let y = j - -1.5. Sort y, x, -2 in descending order.
x, y, -2
Let t = -47 + 47.27. Let v = 0.3 + -0.27. Let k = v + t. Put k, 2, -3 in ascending order.
-3, k, 2
Let x = 147 - 152. Suppose 2*k + 16 = -4*s - 2*k, 3*s + 8 = -2*k. Sort -3, x, s in decreasing order.
s, -3, x
Let a = -2.5 + 0.5. Let z(h) = h**3 + 3*h**2 - h - 1. Suppose -i = -2*i - 3. Let j be z(i). Sort -1, j, a in decreasing order.
j, -1, a
Suppose 3*p = 19 - 4. Suppose 0 = p*f - f + 12. Put 2, -7, f in descending order.
2, f, -7
Let s(k) = k - 8. Let q be s(11). Let c be (-42)/(-68) + 2/(-4). Let b = -5.02 - -0.02. Sort b, c, q in descending order.
q, c, b
Suppose 3*w - 6*w + 6 = 0. Suppose -3*b + 5 + 11 = w*r, 0 = -2*r + 10. Let x be -10*(6/4 - b). Sort -4, 1, x.
-4, 1, x
Suppose 6*b = 3*b + 6. Let w(c) = -c + 5. Suppose 6*a - 2*a - 4*t = 0, 0 = 2*a - 4*t. Let v be w(a). Sort 1, v, b in increasing order.
1, b, v
Suppose 13*a = 15 + 37. Sort a, 2, 1 in decreasing order.
a, 2, 1
Let w = 0.03 - 0.04. Let j = -0.49 + w. Let m = j + 0.7. Put -5, 0.3, m in increasing order.
-5, m, 0.3
Let l be 2 + (-1 - (-2)/2). Suppose -l*g - 2*g = 5*j + 16, 0 = -2*j + 5*g + 20. Put j, 0.3, 1 in decreasing order.
1, 0.3, j
Let g = 92 - 91. Sort -5, g, 5.
-5, g, 5
Suppose -2*m + 0*m - 20 = 0. Let f = 8 + m. Let o = -12 + 16. Sort o, -1, f in descending order.
o, -1, f
Suppose 0 = -3*m + 27 - 9. Let f = 13 + -18. Sort -1, f, m in increasing order.
f, -1, m
Suppose b + 3 = -0*b. Let j = 5 - 6. Put -0.2, b, j in decreasing order.
-0.2, j, b
Let x(z) = z - 1. Let g be x(2). Sort g, -5, -1 in ascending order.
-5, -1, g
Let z be (-3)/(-12)*24/(-12). Suppose 0*h - 5 = -h + 4*j, -3*h - j = -2. Put h, z, 4 in ascending order.
z, h, 4
Let z(u) = u**3 + 8*u**2 - u - 5. Let l(k) = -3*k + 1. Let a be l(3). Let f be z(a). Put -1, f, -5 in ascending order.
-5, -1, f
Let t be -5*(2/(-10) + 1). Let x be 4/t - 7/(-3). Sort 2, -3/8, x.
-3/8, x, 2
Let d = -72/901 + -2/53. Let j = -5 - -7. Suppose j = 4*z - 10. Sort z, 4, d.
d, z, 4
Suppose -3*u - 2*m - 3*m = 2, 4*m - 2 = -3*u. Let q(o) = -o**3 + 6*o**2 - 8. Let c be q(u). Let n be (2/(c/(-3)))/(-1). Sort 0.2, n, 0 in descending order.
0.2, 0, n
Let h(v) = v**2 + 3*v + 2. Let x be h(-3). Let c be (1/3)/((4 - 7)/9). Put 5, x, c in decreasing order.
5, x, c
Let d = 1 + -19. Let q = d - -16. Put q, -2/13, -4/5 in increasing order.
q, -4/5, -2/13
Let l = 0 - 3. Let w = l + 1. Let j = -29 + 25. Put j, w, 4 in ascending order.
j, w, 4
Let d be (-3 - -6)*5/(-3). Sort d, -6, 2 in decreasing order.
2, d, -6
Let q = 1.33 - -1.67. Let v = -27 + 244/9. Sort q, v, -5 in ascending order.
-5, v, q
Let z be (-6 + 52/9)/((-2)/(-3)). Let p = 8 + -8.3. Let c = 0.1 - p. Sort c, 4, z in descending order.
4, c, z
Suppose f = -4*y + 13, -4*f = 13 - 1. Suppose -2*g = 2*o - 10 - 4, 5*o = -g + 27. Sort y, g, 0 in increasing order.
0, g, y
Suppose 0 = -10*b + 12*b - 30. Let t = b + -11. Sort -1, -4, t in increasing order.
-4, -1, t
Let q = 3 - -2. Suppose q*s = -2*p - 4, -5*p + 19 = s - 3*s. Sort -4, 3/7, p in ascending order.
-4, 3/7, p
Let h(l) = l**3 - 3*l**2 - l + 1. Let s be h(3). Sort 0.5, 4, 5/4, s in ascending order.
s, 0.5, 5/4, 4
Let o be (4/8)/(2/6). Let r = 0.02 + 0.38. Let x = r + -0.4. Sort x, 2, o in ascending order.
x, o, 2
Let s = -1.97 + 2. Let m = s + -0.33. Let t(h) = -h + 10. Let r be t(12). Sort -1, r, m.
r, -1, m
Let w = -15.1 - -15. Put w, -3, 5 in decreasing order.
5, w, -3
Let g be 14/18*57/26. Let v = g - 20/13. Suppose 6*y + 20 = 2*y + 2*p, -3*y - 2*p - 15 = 0. Sort y, v, 3 in decreasing order.
3, v, y
Suppose 2*b - 3*h = 2*h - 16, h - 4 = 0. Let k be (-2)/(-2) + (-3)/3. Let w = -1 + k. Sort w, -4, b in descending order.
b, w, -4
Let q = -4 + 0. Let z = 10 - -1. Let g = 9 - z. Put q, -0.5, g in descending order.
-0.5, g, q
Let a(y) = -y + 2. Let v be a(5). Let j(k) = 4 + 5*k - k**2 + 1 + 0. Let h be j(5). Put 1, h, v in decreasing order.
h, 1, v
Let w be 1*3*(-22)/(-33). Suppose 4*k = w*k - 10. Put 4, -6, k in ascending order.
-6, k, 4
Let a = 14 - 16. Sort a, -1, 3.
a, -1, 3
Let i be 2/5*-5*1. Suppose 72 + 11 = -3*u + 4*w, -2*u - 4*w - 22 = 0. Let p = u + 16. Sort p, i, 4 in decreasing order.
4, i, p
Let b = -20 + 24. Put -3, b, -4 in decreasing order.
b, -3, -4
Let q = -1 - -18. Let m = -29 + q. Let o = m - -7. Put o, -3, -0.4 in increasing order.
o, -3, -0.4
Let b = 1 + -2. Suppose 1 - 31 = -6*h. Sort h, -5, b in ascending order.
-5, b, h
Let d be (2/5)/((-4)/(-40)). Let s(q) = 2*q + 25. Let w be s(-13). Put 2, w, d in increasing order.
w, 2, d
Let t = -91 + 545/6. Put 0.1, t, -5, 0.39 in decreasing order.
0.39, 0.1, t, -5
Let l(i) = -i - 4*i**2 + 30 - 27 + 3*i**2. Let a be l(0). Sort a, 0, -2 in decreasing order.
a, 0, -2
Let r = 1 + -1. Let d be (2/(-6))/(2/30). Sort -2, r, d.
d, -2, r
Suppose c + 5 = -0*c. Let y = 23 - 23. Sort -2, c, y in decreasing order.
y, -2, c
Let w(y) = y**2 - 3*y - 4. Let p be w(4). Let t = -122 + 127. Suppose 4*o + 5*x + 36 = 0, -4*x - 12 = 4*o - 5*o. Sort t, o, p in descending order.
t, p, o
Let i = 26.3 - 26. Let p = 0 - -9. Let x = -6 + p. Sort -4/3, x, i in descending order.
x, i, -4/3
Let k(h) = -4 - 2*h + h - 6. Let n be k(-6). Let x = -6 - -4. Sort x, 4, n in decreasing order.
4, x, n
Let o = -1 + 4. Let p = -3.1 + o. Let t = p + -0.3. Sort t, -0.2, 4 in decreasing order.
4, -0.2, t
Suppose 0*k = k. Let d(w) = w**2 - 9*w - 23. Let j be d(11). Put j, -3, k in decreasing order.
k, j, -3
Suppose -58 - 29 = -3*c + 5*b, -4*c + 5*b + 116 = 0. Suppose q = -u + 3, -5*q + c = -u - u. Sort 5, 1, u in descending order.
5, 1, u
Let m be 2/(-4) - (-21)/42. Sort 2, 4, m.
m, 2, 4
Let d(h) = -h**3 + h**2 - 2*h + 4. Let b be d(0). Sort b, -10, 0.3.
-10, 0.3, b
Let m(q) = 0 - 6 + 3 + q - 1. Let r be m(5). Suppose 2*a + 3 = -1. Sort a, -3, r.
-3, a, r
Let u(c) = c**3 - 9*c**2 + 7*c + 11. Let j be u(8). Suppose -5*y - j = 7. Sort 0.5, y, 0.3 in decreasing order.
0.5, 0.3, y
Let u(k) = -k + 7. Let y be u(5). Sort 3, 23, y in ascending order.
y, 3, 23
Suppose -3*i + 2*i = 5. Let s be 246/30 + 2/(-10) + -5. Put i, s, 5 in increasing order.
i, s, 5
Let u(k) = k**3 - 9*k**2 - 10*k + 1. Let s be u(10). Let n be ((-8)/(-5) - s)/6. Put n, 2/11, -2/3 in increasing order.
-2/3, n, 2/11
Suppose 6*q - 4 = 4*q + 4*d, 11 = 2*q + 3*d. Suppose 3*g + 13 = -0*k - q*k, -4*k + 3*g -