 7*b - 3. Let s be k(-6). Put -0.1, y, s in decreasing order.
s, -0.1, y
Suppose -19 = -3*c + 5*s, -3*c = 5*s - 4*s + 11. Sort c, 0, 3/2.
c, 0, 3/2
Let t be (10 - 13) + (-1)/((-1)/3). Sort t, -0.1, 0.6, -4 in decreasing order.
0.6, t, -0.1, -4
Let r = 16 - 11. Let o be (-1)/(-2) + (-21)/6. Let u = o + 3. Sort 1, r, u in increasing order.
u, 1, r
Let p(s) = s**2 - s + 1. Let t be p(2). Sort t, -3, -4 in decreasing order.
t, -3, -4
Let r = -2.8 + 3. Let g = -12 + 34/3. Sort 0.3, g, r.
g, r, 0.3
Suppose 4*l + 8 = -32. Let y = -6 - l. Sort -5, -2, y in descending order.
y, -2, -5
Let z = 0.3 - 0.5. Let g be 3/(-9) - 60/(-18). Let b = -47/2 + 419/18. Sort g, b, z.
b, z, g
Suppose 4*i + 4*v + 3 = 15, 0 = -2*i + 3*v - 4. Suppose -g + 16 = 5*l - 0*g, -5*g = -3*l + 4. Sort i, l, -5.
-5, i, l
Suppose -4*a + 2*i - 8 = -2*i, -5*i + 10 = -4*a. Sort -3, -1, a in increasing order.
-3, -1, a
Let t(z) = -z**2 - 14*z + 1. Let c be t(-14). Sort -4, -1, c in decreasing order.
c, -1, -4
Suppose -3*l = -5*i - 34 - 4, 0 = -3*i - 12. Suppose -l*q = -2*q - 8. Let c be 2/(q + 36/(-15)). Sort c, -2, 1 in increasing order.
c, -2, 1
Let h = 21 + -25. Sort h, 0.14, 2/17 in descending order.
0.14, 2/17, h
Let d = 1 - -2. Let y = 7 - d. Put y, 4/5, 1/6 in descending order.
y, 4/5, 1/6
Let q = -322/1287 + 4/143. Suppose 4*l = -17 + 5. Put q, 4, l in ascending order.
l, q, 4
Let r(f) = -2*f**2 + 6*f - 2. Let k be r(4). Let z = k + 26. Suppose -5*j - z = 2*d + d, -4 = -3*d + 5*j. Sort -3, -1, d in descending order.
-1, d, -3
Let i be 410/(-30)*(-1 + 12). Let o = i - -149. Sort o, -2, -0.06.
-2, o, -0.06
Let s = -1 + -2. Suppose -3*k + 3*j = -21, 30 = 2*k + 2*k - 5*j. Let m = 8 - k. Put s, 2, m in descending order.
m, 2, s
Let g = -25 + 30. Let v = -12 - -8. Let c = -4 - v. Put g, c, -3 in decreasing order.
g, c, -3
Let m be ((-12)/8)/((-6)/(-16)). Let h = -19 + 21. Sort m, h, -2 in increasing order.
m, -2, h
Let t(c) = c**2 - 10*c - 10. Suppose 13 = -3*g + 46. Let o be t(g). Suppose 5*b = 4*u - 27, -4*u + b = 6*b + 3. Sort o, u, -4.
-4, o, u
Let o = -6 - -10. Let t = -63 - -65. Put t, o, -4 in decreasing order.
o, t, -4
Suppose -u - 3*u - 8 = 0. Let t be 0/(-1)*1/u. Suppose 4*s = -33 + 25. Sort s, 5, t.
s, t, 5
Let r = 10 - 9. Put -3, r, 2 in increasing order.
-3, r, 2
Suppose -2*v = 7 - 3. Let s be 0/((3 + -1)/2). Put 3, v, s in decreasing order.
3, s, v
Suppose -4*l - 37 = -5*x, 4*l - 4 = -5*x + 9. Sort x, -3, -1 in descending order.
x, -1, -3
Let a = 2 + -1.54. Let w = a - -0.04. Sort 2, 4/7, w in decreasing order.
2, 4/7, w
Let m(b) = b**3 - 7*b**2 + 4. Let u be m(7). Let p be 3/2*(-6)/9. Let w = 1 + p. Sort 3, w, u in descending order.
u, 3, w
Let l = 962/9 - 107. Let f = -1 + 1. Let i = -2 - 2. Sort i, l, f in ascending order.
i, l, f
Suppose 0 = 2*i - 2*r - 1440, i = 5*r + 665 + 39. Let z = 1421/2 - i. Let t = -195/14 - z. Put 5, t, 4/7 in descending order.
5, 4/7, t
Let g(l) = l - 8. Let r be g(7). Suppose 3 = -4*a - 3*q - 1, 5*a - 14 = q. Suppose -u + a*u = 0. Put u, 2, r in decreasing order.
2, u, r
Let j = 47 + -52. Sort 1, j, 2, -4 in increasing order.
j, -4, 1, 2
Suppose 12 = -3*j - j. Let m be ((-2)/6)/(1/(-6)). Suppose 2 = 4*c + m*p, -c - 3*p = -3*c + 13. Sort c, j, 1 in descending order.
c, 1, j
Let o = 4 - 10. Let q be (4/(-3))/(4/o). Sort -2, 1, q in descending order.
q, 1, -2
Let v = -5.79 - -6. Let a = -0.01 + v. Sort 2, 4, a in ascending order.
a, 2, 4
Suppose 2*h + 3*h - 100 = 0. Let i be (1/(-2))/((-2)/h). Suppose x = 2*z - 11, i*x + 25 = 5*z + 3*x. Sort 2, 1, z in decreasing order.
z, 2, 1
Let y = -2/35 + 1/5. Sort 3/2, -0.07, y, -1/2.
-1/2, -0.07, y, 3/2
Suppose 0 = -6*x + 4*x + 10. Let y(k) = k**3 - 3*k**2 - 5*k + 4. Let l be y(4). Sort l, -2, x in descending order.
x, l, -2
Suppose -2*c + 4*u + 30 = 0, 0*u = -3*c + u + 20. Let j be (-92)/(-12) + (-2)/(-6). Let v = j - c. Sort v, 5, 0.
0, v, 5
Let b = -1.319 - -0.249. Let t = b + 0.07. Sort -2, -2/3, t in decreasing order.
-2/3, t, -2
Let k = 0.3 - -14.7. Let b = 14.81 - k. Let r = b + 0.09. Put 5, r, -2 in descending order.
5, r, -2
Let s(a) = 2*a. Let z be s(1). Let r(f) = 2*f + 2. Let b be r(-3). Let k = -1 - b. Sort z, 1, k in increasing order.
1, z, k
Let q = -8.1 + 8.3. Sort 2.3, q, 2/5.
q, 2/5, 2.3
Let k be (-1)/(-2) + (-1795)/(-10). Suppose -4*n = -n - k. Let j be n/(-14) + 6/21. Sort j, -3, 5 in ascending order.
j, -3, 5
Let b be 24/10 - 18/(-30). Put 15, b, 4 in decreasing order.
15, 4, b
Let n = -10 - -12. Let y(s) = s**2 - 2. Let i be y(n). Put 4, i, 1 in ascending order.
1, i, 4
Let b = 1 + 2. Sort b, 1/5, -0.4 in descending order.
b, 1/5, -0.4
Let x(g) = 4 + 0*g**2 + 0 - 1 + 2*g**2 - 3*g. Let c be x(2). Put 8, c, -4 in descending order.
8, c, -4
Suppose 0 = -2*w - 5 - 1. Put -5, w, 0 in decreasing order.
0, w, -5
Let k = -52 + 54. Put -1, 3, k in descending order.
3, k, -1
Let x = 2.7 - -0.3. Put x, 0.5, -12, -1 in increasing order.
-12, -1, 0.5, x
Suppose 3*v = 3 - 6. Sort -17, v, -2.
-17, -2, v
Let x = -0.6 - -0.2. Suppose 1 = 2*t - 7. Suppose -3*i = -6 + 3. Put i, t, x in descending order.
t, i, x
Let q be (-4)/(-3)*3/(-2). Let t = 48 - 43. Suppose -36 = -4*z - 5*g, 3*z - 32 = 2*g - 7*g. Sort t, q, z in ascending order.
q, z, t
Let n = -6 + 6.1. Let r = -49 - -50. Put 4, n, r in ascending order.
n, r, 4
Suppose 3*t - 2*o + 47 = 3*o, 5*o - 2 = -2*t. Suppose 4*w + 8 = a + a, -w - 3 = 0. Sort -4, t, a in decreasing order.
a, -4, t
Let d = 2.5 - 3.3. Let g = d - -3.8. Let l = -0.02 - -0.32. Sort 2, l, g.
l, 2, g
Let q be 4*(1 + 85/(-90)). Sort 0.05, -2/7, q, 0.2 in decreasing order.
q, 0.2, 0.05, -2/7
Let g = 24.6 + -1.6. Let t = g + -20. Let i be 2/5 - 7/30. Sort i, t, 0 in decreasing order.
t, i, 0
Let t = 11 - 11.19. Let q = t + -7.81. Let z = -8.3 - q. Sort -2, 4, z.
-2, z, 4
Suppose -5*x = -a - x + 7, -5*a = 3*x + 57. Let w = 24 - 22. Let o be a/3 - (5 - w). Sort 1, o, 4.
o, 1, 4
Let k be 3 - (12/(-4) + 11). Sort 2, 3, k in decreasing order.
3, 2, k
Let y(w) = w**2 - 6*w + 4. Let v be y(6). Suppose q - v = -1. Suppose 0 = q*d + 10 - 4. Sort 5, d, -1 in decreasing order.
5, -1, d
Let f = -3 - -1. Let c(p) = -p + 1. Let m be c(-9). Let z be m/((-4)/2) + 2. Sort f, 2, z.
z, f, 2
Let z = 2 + -3. Let a(d) = -6*d - 1. Let t be a(-6). Suppose 5*c + t = -2*c. Put z, c, 5 in descending order.
5, z, c
Let m be -6*2/(-4) + (6 - 4). Sort 1, -4, m in increasing order.
-4, 1, m
Let l be (2 + -5)/((-9)/(-6)). Let h = 0 - 3. Put h, l, 0 in descending order.
0, l, h
Let b be 2/3*54/6. Let y(q) = q**2 - 6*q + 1. Let l(j) = 2*j**2 - 12*j + 3. Let r(h) = -2*l(h) + 5*y(h). Let a be r(b). Sort 0, a, 2 in increasing order.
a, 0, 2
Let a = -16 - -16.1. Let c = -3.1 + a. Put -6, 0.1, c in descending order.
0.1, c, -6
Let l be (4/(-10))/(30/(-25)). Let h be (1/(-2))/((-2)/(-4)). Sort h, 0.1, l in descending order.
l, 0.1, h
Let m be (2 - 1)*(-1 + 10). Let f be (m/(-12))/((-2)/4). Sort 0.2, f, -0.2 in descending order.
f, 0.2, -0.2
Let a = -14 - -22. Suppose -20 = -4*q + 2*x, 3*x = -2*q - 2*x - 14. Suppose q*u - a = u. Put 3, 0.5, u in descending order.
u, 3, 0.5
Let u(o) = 2*o - 1 + 2 - o. Let y be u(1). Suppose -g = -y*g - 4. Sort g, 5, 1 in descending order.
5, 1, g
Suppose -2*n = -5*r - 35, 3*n + 20 = 5*n - 2*r. Sort n, 2, -4 in ascending order.
-4, 2, n
Let m = 0.331 - 0.031. Sort -5, m, 5, 0.05.
-5, 0.05, m, 5
Let d = 349/3690 - -2/369. Sort d, -5, 3, -2.
-5, -2, d, 3
Let y = -62 + 67. Sort 3, y, 4, -0.05 in increasing order.
-0.05, 3, 4, y
Let d = -669 + 615.96. Let t = d + 50. Let c = 0.04 + t. Sort 5, c, -0.5 in descending order.
5, -0.5, c
Let h be 271/(-20) - 4/16. Let v = h - -14. Sort 6/7, v, -5.
-5, v, 6/7
Suppose -6*v + 3*v = r - 70, -66 = -r - 5*v. Let o be (-4)/(-18) - r/18. Suppose -4 = -k - 6. Sort 4, o, k in decreasing order.
4, k, o
Let v be 4/(-6) + (-15)/(-9). Suppose 5*u - 2*u = 0. Put u, -1, v in increasing order.
-1, u, v
Let u = -3.9 + 4. Let f = u + -0.4. Put f, -3, 5 in ascending order.
-3, f, 5
Let j(g) = 2*g + 1. Let s be j(1). Let i = -137 - -823/6. Let d be (-2)/4*(-4)/10. Sort i, s, d in descending order.
s, d, i
Let i = 2 - 5. Let y = -2 + 4. Let l = -4 + y. Put 2/15, l, i in descending order.
2/15, l, i
Suppose 0 = 5*u + 3*l + 4, -4*u - l - 3 = -4. Sort u, -5, 3 in desce