2, -2*v - 5*i = -35. Let b = -5.5 - -6. Put v, 0.3, b in ascending order.
0.3, b, v
Suppose -c + 0 = -3. Suppose 16 = c*r - 7*r. Put 2, r, -1 in descending order.
2, -1, r
Let r = 0.5 + -0.4. Sort r, 3, -4.
-4, r, 3
Let i = -2 - -3. Let v(s) = -3*s - 31. Let d be v(-10). Put d, -2, i in ascending order.
-2, d, i
Suppose n + 8 = 7. Put 2, n, 4 in increasing order.
n, 2, 4
Let n be (-12)/16*(-1 - -5). Let k = n + -1. Sort 1, k, 5 in increasing order.
k, 1, 5
Let x(j) = -j**3 + 2*j**2 + 4*j - 3. Let b(v) = -v**3 - v**2 - 1. Let f(h) = -2*b(h) + x(h). Let z be f(-3). Put 4, z, 2 in decreasing order.
4, 2, z
Let s = 10 + -7. Suppose 4 = 4*h - 12. Suppose h*g = 8 - 24. Sort g, s, -5.
-5, g, s
Suppose 4*u = -a + 10, 2*a - 17 = -8*u + 3*u. Put -4, -5, a in descending order.
a, -4, -5
Suppose 4*x - 34 = -2*h, x - 25 = -2*h - 0*x. Let s(y) = -3 - 11*y**2 + h*y**2 + y**3 - 4*y. Let c be s(-2). Sort c, 2, -2.
c, -2, 2
Let x = 5.8 + -6. Let n be -1*((-1)/(-6))/1. Sort n, x, 4 in decreasing order.
4, n, x
Suppose 0 = -v - v - 6. Let g be -6*v*(-4)/(-18). Put 2, 5, g in increasing order.
2, g, 5
Let c(t) = -t + 4. Let y be 39/6 - 1/(-2). Let g be c(y). Put -3/5, g, 1 in descending order.
1, -3/5, g
Suppose -o = 3*o. Suppose 0*q = 15*q - 225. Sort o, q, 4.
o, 4, q
Let b be 54/140 + 4/(-14). Let m = -7 + 7.9. Let c = 0.6 - m. Sort b, c, -2.
-2, c, b
Suppose -5*g + 14 = -3*g. Suppose -4*h + 3 = -g*h. Let z = 1 - h. Put 3, -5, z in descending order.
3, z, -5
Let h = -785 + 10211/13. Sort -1, 5, h in descending order.
5, h, -1
Let q = 36 - 41. Suppose 5*g + 25 = 2*j + 3*j, -3*j + 5 = 2*g. Sort 5, g, q in decreasing order.
5, g, q
Let m be ((-10)/(-6) + -1)*-3. Let y be (m + 3)/((-1)/3). Let q be (-3 + (0 - -2))*-3. Sort y, q, 1 in descending order.
q, 1, y
Let h = -0.1 + -0.1. Let u = 1.9 + -2. Let i = -37 - -37.4. Sort i, h, u in ascending order.
h, u, i
Suppose -5*r - 20 = 5. Let j = 0.08 + -0.03. Let m = 1.95 + j. Sort 0.4, m, r in decreasing order.
m, 0.4, r
Suppose 4*p - 3 = -3*j - 1, -j - p = 1. Suppose 0 = -2*l - 0*l - 3*n + 2, 0 = -3*n + 6. Sort 1, l, j in decreasing order.
1, l, j
Suppose 5*x = 3*q - 40, 2*q - 5*x - 30 = q. Put 0.2, 3, q in ascending order.
0.2, 3, q
Suppose 0 = -2*s - 1 + 5. Let z = -1 + 3. Suppose -v + z*m + 10 = -0*m, -4*v - 15 = 3*m. Sort s, v, 1 in increasing order.
v, 1, s
Let t(m) = -2*m**2 - 35*m - 146. Let l be t(-11). Let b be 2/(3/5 + -1). Suppose -6*y = -3*y - 6. Sort l, y, b in descending order.
y, l, b
Let j = -15 + -9. Let h = j - -21. Sort h, 1, 5 in decreasing order.
5, 1, h
Let p = 7 + -12. Put p, 0.4, 4 in descending order.
4, 0.4, p
Let a(k) = -6*k**3 + k**2. Let q be a(1). Suppose 6*p + 2 = 5*p. Put p, q, -3 in increasing order.
q, -3, p
Let l = -14 - -14.02. Let b = 3.98 + l. Put 0.4, b, 0 in descending order.
b, 0.4, 0
Let t = -6 - -3. Sort -1, t, 0 in descending order.
0, -1, t
Let w be 22/(-14) + (-36)/84. Let t = 128/171 - 10/19. Put 0.1, t, w in decreasing order.
t, 0.1, w
Let i(t) = -6*t - 1. Let v be i(-1). Put 20, -1, v in decreasing order.
20, v, -1
Let i = -8.3 + 8.5. Sort -0.09, -0.1, i, -1 in decreasing order.
i, -0.09, -0.1, -1
Let v = -52 + 30. Let q = -16 - v. Sort 1, q, 4 in increasing order.
1, 4, q
Suppose -4 = -k - 7. Suppose -3*d = -d + b, 0 = -3*b - 12. Put d, 0, k in descending order.
d, 0, k
Let a be 2*27/(-12)*2/(-12). Sort -1/6, a, -1/4, 7/5.
-1/4, -1/6, a, 7/5
Let a be 21/(-60) + (-7)/28. Put a, -4, -1 in descending order.
a, -1, -4
Suppose -8 = 3*n - 4*h, -3*h - 3 = -3*n - 9. Let r = -1 + n. Sort 0.1, r, -5 in ascending order.
-5, r, 0.1
Let u = -15 - -17. Let t be 4/(-18) + u/3. Sort t, -1/2, -12 in decreasing order.
t, -1/2, -12
Let i(a) = -5*a**2 - 10*a - 9. Let u(j) = j**2 + 1. Let r(f) = i(f) + 4*u(f). Let l be r(-9). Sort l, 3, -4 in decreasing order.
l, 3, -4
Let g = 8.1 + -6. Let d = -0.1 + g. Put -2, d, -2/7 in descending order.
d, -2/7, -2
Let y = 7 + -10. Let u be 3/((-90)/4)*y. Let i = 1.53 - 2.03. Sort i, u, -3.
-3, i, u
Let q = -62 + 62. Sort -3, q, 4.
-3, q, 4
Let i(u) = u**2 + u - 3. Let g be i(0). Sort 2, -1, -4, g in decreasing order.
2, -1, g, -4
Let p = 0.15 - 0.65. Sort -0.1, p, 4/5 in decreasing order.
4/5, -0.1, p
Let v be (20/(-6))/((-2)/6). Let p be 3/6*v*-1. Let z = 3 - 6. Sort p, -1, z in decreasing order.
-1, z, p
Let a = 7.87 + 0.13. Let l = -8.3 + a. Let f = -0.4 + 0.2. Put -3, f, l in increasing order.
-3, l, f
Let q = 1.4 + -1.5. Put q, 5, 1 in descending order.
5, 1, q
Suppose m - 4*m = -12. Suppose -m*h = -2*h + 6. Sort 5, h, -4 in increasing order.
-4, h, 5
Let g(y) = -y**2 + 15*y - 15. Let m be g(14). Sort m, 4, 3 in ascending order.
m, 3, 4
Let n = -0.1 - 4.9. Let o = 4 + n. Let y = -84.6 + 85. Put -0.2, y, o in decreasing order.
y, -0.2, o
Let a = -7 - -9. Let q = 2.2 - a. Put q, 2/3, 2/5 in ascending order.
q, 2/5, 2/3
Let y = -17/28 + 3/28. Sort y, -3/11, -2.
-2, y, -3/11
Let p = 0.6 + -3.6. Let g = 151/15486 - -2/267. Let a = -107/522 - g. Sort p, a, -5.
-5, p, a
Let i be 6/88 + 16/88. Let w = -0.27 + -0.03. Sort w, i, 1/2.
w, i, 1/2
Suppose -q = -4*q - 15. Let l be (4/(-5))/(1/5). Let z be (-3)/(6/4) + -1. Sort l, q, z in descending order.
z, l, q
Suppose 0 = -z - 4. Let h = 0 + z. Put -5, h, 4 in decreasing order.
4, h, -5
Suppose 4*f - f + 12 = 0. Let u = 3 + 0. Suppose 2*o = 5*o - u. Sort o, 1/9, f in ascending order.
f, 1/9, o
Let t = 85/18 - 31/6. Sort 5, 3, -0.3, t in decreasing order.
5, 3, -0.3, t
Let h(r) = -r**2 - 3*r + 3. Let m be h(-5). Let g = 10 + m. Sort 0.3, 2/11, g in decreasing order.
g, 0.3, 2/11
Let i be (-6)/27 - (-4)/(-63). Let p = 0.6 - 2.1. Let a = p - -1. Put 1, a, i in descending order.
1, i, a
Let w = -17 - -20. Sort w, -4, -1, -3 in decreasing order.
w, -1, -3, -4
Let x = 9 + -13. Let g = -2 - x. Sort -4, 0.5, g in increasing order.
-4, 0.5, g
Let n be (-110)/25 - 2/(-5). Let w = -0.48 + -0.02. Put n, w, 0 in descending order.
0, w, n
Let x be ((-6)/148)/((-14)/(-8) + -1). Put 1, -4, -3, x in ascending order.
-4, -3, x, 1
Let x = 1.4 - 1. Let s = 29/195 + 2/39. Put x, -1, s in decreasing order.
x, s, -1
Let h = 4.6 + -4.5. Sort -2/3, h, -1.
-1, -2/3, h
Let z(h) = -h**2 - 4*h - 2. Let o be z(-3). Sort 2, 3, o in ascending order.
o, 2, 3
Let q = 0.078 + -0.278. Put -3, 7, q in ascending order.
-3, q, 7
Let s be 6/7*(-8)/(-24). Sort -4, s, -1/8, 0.1 in descending order.
s, 0.1, -1/8, -4
Suppose 32 - 100 = 2*y. Let o be 38/y - -2 - 1. Put -0.05, o, 0.1 in decreasing order.
0.1, -0.05, o
Suppose 4*d - 5*u = 1, 0*d + 3*d + 5*u = -8. Let x be 2/(-2)*0 + 4. Suppose 4*h = 2*g + 8, -x*h + 0*h + 4 = -4*g. Sort -3, d, g in decreasing order.
g, d, -3
Let j = 1.1 - -0.1. Let u = 1.3 - j. Put -3, 3/2, u in increasing order.
-3, u, 3/2
Let t = 69 + -68. Put 4, 0.2, -4, t in ascending order.
-4, 0.2, t, 4
Let r = 5.8 + -6. Suppose -10*y + 9*y + 4 = 0. Sort r, y, -2/9 in descending order.
y, r, -2/9
Let p = -27 + 32. Put p, 0, 0.3 in descending order.
p, 0.3, 0
Let v = 1136/7 + -162. Sort -3/2, v, -0.12 in increasing order.
-3/2, -0.12, v
Suppose 14 = 4*y - 10. Let x be 2/4 - 15/y. Let u(j) = -j**2 + 6*j - 4. Let s be u(5). Put -5, s, x in decreasing order.
s, x, -5
Let z = 7.2 + -4.5. Let d = z + -3. Let n = -8 + 11. Put n, -2/3, d in descending order.
n, d, -2/3
Suppose 3 = 2*w - 41. Let h = -108/5 + w. Put -0.2, 5, h in ascending order.
-0.2, h, 5
Let u = 0.1 + -0.1. Let h = -0.6 - -0.5. Sort -1/6, h, u in increasing order.
-1/6, h, u
Suppose 21 = -r + 17. Put -2, r, 0 in increasing order.
r, -2, 0
Let h = -60 - -59.1. Sort -2/11, h, 0 in decreasing order.
0, -2/11, h
Let f = -3 + 0. Let c = 12 - 13. Put 0.1, f, c in decreasing order.
0.1, c, f
Let n = 26.5 + -26. Let i = 2 - 2.05. Let a = i - -4.05. Sort n, -3, a in ascending order.
-3, n, a
Let i = -0.011 - -0.311. Let b = -24 + 17. Let f = -3 - b. Put 2/3, f, i in increasing order.
i, 2/3, f
Let l = 3.2 - 3. Let p = -682244869/1035 - -659174. Let z = -1/115 - p. Sort z, l, 4.
z, l, 4
Let y = -15 + 17. Sort -4, 3, y in descending order.
3, y, -4
Suppose 7 - 1 = -3*f. Let d = 12 - 11. Put -2/13, d, f in decreasing order.
d, -2/13, f
Let a(p) = p**3 - 12*p**2 + 12*p - 14. Let s be a(11). Put s, -4, -6 in ascending order.
-6, -4, s
Suppose 0 = -w - 3*v - 6, 4*w - v - 6 = 2*v. Let k