, -7
Suppose 0 = 2*h + 2, z + 4*h = 2 + 2. Let y = z + -7. Suppose 4*n + y = 3*a, 0 = 3*a - 2*n - n. Put 2, -0.1, a in descending order.
2, -0.1, a
Let u = -0.28 - -0.3. Let g = -0.32 + u. Let a = 0.7 - 0.4. Put g, -2, a in decreasing order.
a, g, -2
Let x = -5.35 + -0.15. Let z = x - -0.5. Put -0.1, z, -1/2 in descending order.
-0.1, -1/2, z
Let o = 22 + -23. Sort -0.09, o, -0.5.
o, -0.5, -0.09
Let o = 17.7 + -17.4. Put o, -1, 0.07, 1 in descending order.
1, o, 0.07, -1
Let k = -15 + 14. Suppose 3*m - 3*p - 46 = -13, -5*m + 20 = 2*p. Let x be 16/m + -1 + -1. Put x, -4, k in decreasing order.
x, k, -4
Suppose -2*a = -11 - 1. Let l be ((-5)/2)/5*a. Let i be 5 + 8/(8/(-2)). Sort 4, i, l.
l, i, 4
Let s(t) = -t. Let x be s(-5). Suppose 4 = -x*g + 14. Let k be (2/(-4) - -1)*2. Put k, g, 4 in descending order.
4, g, k
Suppose -t + 16 = t - 5*i, 2*i = -4*t + 8. Let b = t + -6. Let f(s) = -s. Let j be f(-1). Sort j, -1, b in ascending order.
b, -1, j
Let a = -11 + 15. Suppose 6*n - n - 15 = 0. Suppose 0 = -z + n - 2. Sort z, a, -3 in increasing order.
-3, z, a
Let s = -3.03 - -3.1. Put -2/5, 0.2, s in decreasing order.
0.2, s, -2/5
Let y = 5 - 3. Let d = -31/21 - -8/7. Put y, -0.5, d in descending order.
y, d, -0.5
Let f be (1/(-2))/((-9)/72). Suppose 6 = 4*a - i - 29, -a - f*i + 30 = 0. Sort 5, 0, a in decreasing order.
a, 5, 0
Let i = 21 + 3. Let p = i + -24. Let v = 0.3 + 0.7. Put p, v, 0.2 in descending order.
v, 0.2, p
Suppose -r + 4 = 5, 0 = 3*j - 5*r - 11. Let z = -3 + 9. Suppose 0 = a - z*a. Put j, 1, a in descending order.
j, 1, a
Let d be 2/(4*(-1)/(-2)). Let m = -15 - -19. Put m, d, 0 in increasing order.
0, d, m
Let d = -13.6 + 14. Sort 0, d, -3.
-3, 0, d
Suppose 0 = -16*c + 10*c + 24. Put c, -1, -2/7, 3 in descending order.
c, 3, -2/7, -1
Let t(x) = x**2 - 2. Let g be t(-2). Put 3, 1, g in increasing order.
1, g, 3
Let s be (((-2)/1)/1)/((-4)/(-2)). Put s, -2/35, 1 in decreasing order.
1, -2/35, s
Let n = 6 - 2. Let c be 0/(2 - (-1 + n)). Sort 2, c, -1 in decreasing order.
2, c, -1
Suppose 23 = 5*q - 2, -f - 5*q = -32. Sort 1, 3, f.
1, 3, f
Suppose 6*a = a + 20. Suppose q + 0 + 2 = 2*d, a*d = 3*q. Let s(r) = -r + 11. Let w be s(6). Sort 0, q, w in ascending order.
0, q, w
Let y = -7 + 6. Let i = 0.34 + -0.04. Put y, -2, i in decreasing order.
i, y, -2
Let f be ((-2988)/(-105))/(-4) - -3. Let d = -33/7 - f. Put -0.5, -1, d in ascending order.
-1, d, -0.5
Suppose -4*u = -4*q - 8, 4*u = 3*q - 0*q + 10. Suppose 4*f - q*f = 8. Sort 0.3, -4, f in descending order.
f, 0.3, -4
Let b = -5 - -3. Sort b, -3, -8 in decreasing order.
b, -3, -8
Let b = 2/87 + -184/435. Sort 0.5, b, -0.2, 0 in ascending order.
b, -0.2, 0, 0.5
Let b = -1696/11 + 154. Put b, -0.3, 3, -4 in ascending order.
-4, -0.3, b, 3
Let l = 1 - -1. Let r = l + -1.7. Let j = r + -0.5. Sort -3, 1/3, j in decreasing order.
1/3, j, -3
Let p = 0.5 - 0.57. Let k = -14.3 - -12.37. Let v = p + k. Sort v, -0.1, -3 in decreasing order.
-0.1, v, -3
Let u = -10.5 - -26.5. Sort 1, -2/9, -3, u in increasing order.
-3, -2/9, 1, u
Let w = -2 + 1. Let n = 416 - 1159/3. Let t = n - 30. Put w, t, -2 in ascending order.
-2, w, t
Let t(d) = -d**2 - 2*d. Let n be t(-1). Let q be 3 + -6 - 32/(-4). Sort 4, q, n in decreasing order.
q, 4, n
Suppose 5 - 15 = -5*h + 3*m, 3*h = 3*m. Sort 0.3, 0.1, h, -5 in increasing order.
-5, 0.1, 0.3, h
Let r(i) = -i**2 + 6*i - 6. Let n be r(5). Let h = -2/211 - 629/422. Suppose 3*x - 8 = 5*d, 2*d = x + d. Sort h, n, x in decreasing order.
n, h, x
Suppose 0*i + 10 = -5*i + 3*d, 0 = -2*d - 10. Sort -3, 0, i in increasing order.
i, -3, 0
Let l = 4 + -3.97. Let d = l - -2.97. Sort 1/5, 2, d in decreasing order.
d, 2, 1/5
Suppose -5*k + 1 - 11 = 0. Suppose -5*d = g + 2*g + 7, 4*g = -2*d. Sort -4, g, k in increasing order.
-4, k, g
Let n = 43 - 38. Sort n, 4, -2, 3 in increasing order.
-2, 3, 4, n
Let c be -1 - -2*(-1 - -3). Suppose 4*f - 44 = 12. Let g be f/(-6) + (-6)/9. Sort c, g, 5.
g, c, 5
Let j = 16 + -13. Put j, 1, -3 in ascending order.
-3, 1, j
Suppose -17 = -3*k + 1. Suppose -3*g = -k*g. Suppose 2*p - p + 4 = g. Sort -3, p, -5 in descending order.
-3, p, -5
Let m = 69 - 69. Put -3, 2, m, 0.6 in decreasing order.
2, 0.6, m, -3
Let p(y) = -y - 11. Let d be p(-9). Sort -5, d, -3.
-5, -3, d
Let p = 7 + -3. Let l = p + -10. Let d = l - -6. Sort d, -2/7, -2 in descending order.
d, -2/7, -2
Let i = -3 - -2.94. Let d = i - -4.46. Let s = d - 4. Put -4, -3, s in descending order.
s, -3, -4
Let b = 3716/13 + -286. Let t = -6 + 7. Put -2, b, t in ascending order.
-2, b, t
Let r = 2 + -5. Let d(s) = 7*s + 1. Let b be d(-1). Sort 1, b, r in ascending order.
b, r, 1
Let h = -19.05 + 19. Sort 1/6, -3/5, h.
-3/5, h, 1/6
Let f be (0 + (4 - 3))*2. Suppose 3*b - 9 = -f*m, -1 = -2*b + 4*m - 11. Suppose -4*k - 3 - 1 = 0. Put b, 4, k in decreasing order.
4, b, k
Let r = -4 + 4.5. Put r, 5, -5 in descending order.
5, r, -5
Let z(n) = -n**2 - 6*n - 6. Let c be z(-5). Suppose 8 = 3*i - 1. Sort 0, c, i in increasing order.
c, 0, i
Let n = 115 + -119. Sort 0, n, 1.
n, 0, 1
Let h be 0 - (-3)/(12/(-32)). Let i be 8/(-12) - h/(-6). Sort 5, -1, i.
i, -1, 5
Let f = -44 + 37. Put f, -2/9, -2/11, -0.4 in descending order.
-2/11, -2/9, -0.4, f
Let q be (-6)/((2/8)/(3/(-18))). Sort q, -0.3, -5, 5 in descending order.
5, q, -0.3, -5
Let p(u) = u**2 + 5*u - 5. Let q be p(2). Let m be (-45)/(-6)*(-6)/q. Sort 5, 0, m.
m, 0, 5
Let o = 20 - 19.6. Put -1/7, 14, o in ascending order.
-1/7, o, 14
Let f = 2/3 - 1/3. Let h = -9 + 9. Sort f, h, 3/4 in decreasing order.
3/4, f, h
Let l = -2 - 1. Let t = -2.9 - l. Sort 4, -0.4, t.
-0.4, t, 4
Let c = 9 - 11. Sort 0, -6, c in descending order.
0, c, -6
Let f = 7.1 + -1.1. Let y = 0.025 - 6.325. Let d = y + f. Put d, -4, 1/3 in ascending order.
-4, d, 1/3
Let z(u) = -u - 5. Let i be z(-2). Sort 8, i, 1 in ascending order.
i, 1, 8
Let p be (1/(-2))/(5/(-40)). Let m = -9 + 7. Put -4, m, p in decreasing order.
p, m, -4
Let j = 13 + -10.6. Let y = 0.6 + j. Sort y, 1, 2/15 in descending order.
y, 1, 2/15
Suppose -2*s + 30 = -4*b + 10, 3*b = -15. Suppose s*o = 2*o + 6. Sort o, -0.1, -1 in decreasing order.
-0.1, -1, o
Let s = 5 - 1. Let z be ((-20)/8)/((-1)/(-2)). Let k be 2/8 - (-3)/4. Put s, z, k in decreasing order.
s, k, z
Suppose -3 = -3*i + 9. Suppose i*o - 8 = 4*k, 4 = 3*o - 2. Sort k, 0.5, -0.2 in increasing order.
-0.2, k, 0.5
Suppose 0 = x - 5*g + 26, 0 = 5*x - 3*x + g + 19. Put x, 0, -3 in descending order.
0, -3, x
Let d = 2.15 + -0.15. Put -5/4, d, 4 in decreasing order.
4, d, -5/4
Suppose q + 1 = -1. Let h(p) be the first derivative of -p**4/4 - p**2/2 + 3*p - 1. Let v be h(0). Sort q, v, -3.
-3, q, v
Let o = -3.99 - 0.01. Let r = 0.21 - -0.09. Put r, 4, o in decreasing order.
4, r, o
Let y = 12 + -9. Let m = -1 - 0. Sort m, y, -4 in increasing order.
-4, m, y
Let o be (10/(-3) + 3)*-9. Let b(r) = r**2 - 7*r + 1. Let z be b(6). Sort -4, z, o.
z, -4, o
Suppose -4*f = -5*y + 5, -2 - 4 = 3*f - 3*y. Suppose 2*v - 15 = 7*v. Put f, v, 5 in ascending order.
f, v, 5
Let f be -4 + 105/27 - 4/18. Let b(g) = -g**3 + 6*g**2 - 4*g - 3. Let j be b(5). Let a be ((-5)/(-3))/(j/(-6)). Sort a, -3/7, f in increasing order.
a, -3/7, f
Let q = 0.4 + -0.7. Let p = 0.02 - -0.98. Sort -0.5, p, q in increasing order.
-0.5, q, p
Suppose 3*w - 16 = 4*q, 0 = -3*w - 2*w - q - 4. Sort -5, w, -1 in increasing order.
-5, -1, w
Suppose k + 3 = p + p, 0 = -3*k - 5*p + 2. Sort -5, k, -3.
-5, -3, k
Let o = 5/28 + 1/308. Sort -4, 1/6, o, 5 in descending order.
5, o, 1/6, -4
Let i = 1.69 - 1.7. Put i, 2/9, 0.5 in decreasing order.
0.5, 2/9, i
Let k(t) = -t**3 - 2*t**2. Let a be k(-2). Let w be 8/2 + 0 + 0. Let x be (-30)/8 - 1/w. Put 4, a, x in increasing order.
x, a, 4
Let y(b) = -2*b + 12. Let f be y(8). Let t be ((-30)/(-4))/(1/2). Let z be (-5)/(t/6) - -6. Put f, z, -3 in ascending order.
f, -3, z
Suppose -s - 2*s = -15. Suppose -5*p + 2*k - 25 = 4*k, p = 4*k - 5. Put p, -1, s in ascending order.
p, -1, s
Let k = -207 - -195. Sort 2, k, 4 in descending order.
4, 2, k
Suppose -x + 5 = 16. Let w be 2/(-1) - (14 + x). Sort 4, 5, w.
w, 4, 5
Let l = 11 - 16. Suppose 0 = 3*u + 4*z + 6, 0*u + z - 2 = u. Let v = u - -1. Sort 5, v, l in descending order.
5, v, l
Suppose -5*f + 3*l + 11 = 0, -6*l = -l 