+ -108. Let z = a - -65. Let w be (z/(-126))/(6/8). Put -0.4, w, 0.1 in decreasing order.
w, 0.1, -0.4
Let d = -1.59 + 0.09. Let x = 2 + d. Sort x, 3, -0.3.
-0.3, x, 3
Suppose -6*n - 8 = -t - 2*n, 4*t + 4*n + 8 = 0. Let h = 1.3 + -1.6. Sort t, 0.3, h in increasing order.
h, t, 0.3
Let r = -8 - -5. Let u be 9*((-16)/(-6) + -2). Let m(i) = -i**2 + 4*i + 14. Let v be m(u). Sort v, r, 3.
r, v, 3
Let o = -52 - -51.67. Let d = -0.03 - o. Put d, 1, -0.5 in ascending order.
-0.5, d, 1
Let x = -34/5 + 7. Sort x, -1/8, 1.
-1/8, x, 1
Let o = 0.549 + -0.049. Sort o, 2, -0.5 in descending order.
2, o, -0.5
Let v = 24 - 39. Let t = v - -20. Put t, 2, 5/4 in ascending order.
5/4, 2, t
Let b(c) = -c + 7. Let r be b(4). Sort -6, 0, r in descending order.
r, 0, -6
Let r = -13 - -8. Let k = 7 + -10. Let q be 42/(-10) - 1/(-5). Sort r, k, q in increasing order.
r, q, k
Let m(v) = v**2 - 3*v - 11. Let f be m(5). Put 2, f, 0 in decreasing order.
2, 0, f
Let f = 81062/7 + -1185389/105. Let v = f - 291. Sort v, 0.3, -2 in descending order.
0.3, v, -2
Let w(t) be the third derivative of -t**6/180 + t**4/6 - 3*t**2. Let k(v) be the second derivative of w(v). Let y be k(-1). Sort y, -2, 0 in decreasing order.
y, 0, -2
Let o be 28/(-7)*14/(-4). Let d = -13 + o. Suppose 7 = -2*f + 3. Sort f, d, 4 in decreasing order.
4, d, f
Let g(a) = a - 6. Let h be g(4). Sort 3, 4, h.
h, 3, 4
Let j be (2/1)/(-3 - -2). Sort -5, j, 2 in descending order.
2, j, -5
Let d = -13 - -10. Suppose t + 1 = -1. Put t, d, -5 in descending order.
t, d, -5
Let q(s) = 3*s - 18. Let z be q(8). Suppose -z*y + 20 = -y. Sort y, 1/3, -1 in decreasing order.
y, 1/3, -1
Suppose -2*c = 2*f - 4, -2*f - 4 = -0*f. Let z be ((-2)/c)/(-5 + 4). Sort 0.4, -0.2, z in increasing order.
-0.2, 0.4, z
Suppose 0*l - 12 = -l. Suppose 3*d + d - l = 0. Let m = 4 - d. Sort 2, m, -5 in decreasing order.
2, m, -5
Let j = 61 + -62. Let w(p) = -p + 6. Let c be w(5). Sort 6, c, j.
j, c, 6
Let f be -13 + 15 + 7/(-3). Let t be -1 - (1 - -5)*-1. Sort t, 4/5, f in decreasing order.
t, 4/5, f
Suppose -3*x - f = -10, 5*x = -2*f - 2*f + 5. Let a be (-6)/5*50/15. Sort a, 0, x in ascending order.
a, 0, x
Let t be (4/(-6))/(6/9). Let k be ((-2526)/(-63))/(1/6). Let d = -240 + k. Sort t, d, -2/5.
t, -2/5, d
Suppose 0 = x - 6*x + 5*h + 20, -2*x = 4*h + 16. Put -4, x, 34 in increasing order.
-4, x, 34
Suppose 3*z - 14 - 1 = 0. Suppose 0 = c + 5*t + 28, -c + 2*c - 5*t = 22. Sort z, 2/9, c.
c, 2/9, z
Let s = -451/3 - -149. Let z = 220/21 + -1377/133. Let a = -4/19 - z. Sort a, s, -0.1 in descending order.
-0.1, a, s
Suppose 5*c - 1 = -21. Suppose 6 = 4*p - 2*f, -2*p - 5*f = -0*p - 21. Sort c, 5, p in increasing order.
c, p, 5
Let l = -4 - -3. Let m = l - -0.9. Sort 2, -3, m.
-3, m, 2
Suppose r - 21 = -3*i - 6, 0 = -i + 4. Let d = 58 - 61. Sort -4, d, r in ascending order.
-4, d, r
Let j(w) = -w**3 + 7*w**2 + 13*w - 7. Let p(z) = -z**2 + z. Let h(o) = -j(o) + 2*p(o). Let l be h(10). Sort 4, l, -5 in decreasing order.
4, l, -5
Let v = 1.9 - 2. Let d = -33.8 - -32.8. Put d, v, -1/5 in increasing order.
d, -1/5, v
Let o be (-1 + 3)*5/(-2). Let g = -55 + 58. Sort o, -4, g in decreasing order.
g, -4, o
Let n(k) = -k - 2. Let b be n(-4). Suppose m + 2*m = -5*v - 4, 0 = -b*v - 2*m. Let f = 28 - 28.3. Sort 2, v, f in descending order.
2, f, v
Suppose -2*b - 20 = 3*b. Suppose 5*n + 3 = 4*n. Sort n, 0, b in increasing order.
b, n, 0
Let d = -67 + 67. Let s = 13 + -7. Sort -4, s, d in ascending order.
-4, d, s
Let u = -4.7 + 5. Let a = u - -0.1. Let w be (-4)/(-18) - 52/(-90). Sort w, a, -1 in decreasing order.
w, a, -1
Let q = -47 + 425/9. Sort q, 5, -2/3, -9 in decreasing order.
5, q, -2/3, -9
Let p = 5 - 4.7. Let b be (-26)/42 + 11/33. Sort b, 1, p in increasing order.
b, p, 1
Let d = 5 - 1. Let s(x) = -1 - 4 + 6*x - 4*x**2 + 3*x**2. Let z be s(d). Sort -4, z, 4.
-4, z, 4
Let k = 25 - 18. Let i = k - 11. Sort -5, i, 1 in ascending order.
-5, i, 1
Let y be ((0 - -1)*-1)/(-1). Suppose 2*f = f + y. Let j be (-9 - -11)*-2*f. Put 1, j, 5 in decreasing order.
5, 1, j
Let a = 2.14 - 0.14. Let d = 4.6 - -2.4. Put d, 3, a in descending order.
d, 3, a
Suppose -3*d + 4*d - 2 = 0. Suppose 0 = -d*w - 4 - 2, -3*w = 5*g - 1. Sort 5, 3, g in increasing order.
g, 3, 5
Let u = -5.7 + 6. Let d(p) = -p**3 - 5*p**2 + 7*p + 4. Let j be d(-6). Sort j, -1, u.
j, -1, u
Suppose 4*i + 3*m - 22 = 5*m, -4*i + 34 = 2*m. Sort 4, 0, i.
0, 4, i
Suppose -17 + 5 = -4*s. Let a = 4 - 0. Put a, s, 7 in ascending order.
s, a, 7
Suppose x = -4*j + 13, 4*x + x - 47 = -2*j. Let b = x - 5. Suppose 4*m = m - 9. Sort b, -5, m in descending order.
b, m, -5
Let s = -2 - 3. Suppose r + q = 6, -3*r - 4 = -2*q - 17. Put r, s, 3 in descending order.
r, 3, s
Let y = 6 - 5. Let g = 1 + 3. Sort 5, y, g in decreasing order.
5, g, y
Let i(v) = v**3 + 5*v**2 - 6*v - 1. Let h be i(-6). Let g = 60 - 42. Let w = 22 - g. Sort h, -1/4, w in descending order.
w, -1/4, h
Suppose -3*f + 4*f - 4*y = 10, -2*f - 7 = y. Let g be (3 + 0 - 2) + -2. Put f, 0, g in descending order.
0, g, f
Let a be 1/(-4) - 18/(-8). Suppose a = 5*y - 18. Let m be -1 + 3 - (3 + -4). Sort m, 5, y in ascending order.
m, y, 5
Let i = 933/7 - 133. Let s = 0.05 - -5.95. Let z = 4 - s. Put -1, i, z in increasing order.
z, -1, i
Let a(r) = -9*r**2 - 13 + 3 + 12*r + 1 + 8*r**2. Let t be a(11). Let l = -3.1 + 3. Put 9, t, l in increasing order.
l, t, 9
Let r be ((-1)/(-3))/((-7)/(-63)). Put r, -1, -3 in increasing order.
-3, -1, r
Let w = -8 + 11. Suppose -3*l - w*o - 40 = 2*l, -3*l - 10 = -o. Suppose -4 = -2*f + 2*c, 0 = -2*c + 3*c + 2. Sort 0.5, f, l in decreasing order.
0.5, f, l
Suppose -3*o - 5*w = 41, o + 0*w = -w - 11. Suppose -11*b = -13*b - 8. Put b, 3, o in descending order.
3, b, o
Let h = 3 - 1. Let w be (10/50*-5)/((-3)/3). Put w, 0, h in descending order.
h, w, 0
Let p = -90 - -89.7. Put -0.2, p, 1.2 in decreasing order.
1.2, -0.2, p
Suppose 0 = -3*i - 9 + 3. Suppose 4*m = -108 + 96. Suppose 2 = l + 3*p, 0*l = -l - p + 2. Sort i, m, l in descending order.
l, i, m
Let v be (-12)/(-20) + (-24)/(-10). Suppose l = k + 19, 0 = v*l - 0*l - k - 61. Let i be ((-9)/(-21))/((-12)/l). Sort -4, 2/7, i in descending order.
2/7, i, -4
Suppose 0 = -d - a - 0 + 1, 3 = 5*d + 3*a. Let v be (-4 + 1)*(-35)/(-21). Put d, v, -2 in increasing order.
v, -2, d
Let g = 1.4 - 1.24. Let d = g - -0.14. Let p be (8/(-130))/((-2)/5). Sort p, d, 0.5 in descending order.
0.5, d, p
Suppose 4*p + 21 = -5*k - 4, -2*k = -2*p - 8. Put k, -8, 3 in descending order.
3, k, -8
Suppose -2*y - y + 39 = 0. Let r be y/(-6) + (-1)/(-6). Suppose 0*f - 10 = -2*f. Sort 1, r, f.
r, 1, f
Suppose 0 = 4*q - 21 + 1. Sort q, 4, -4 in descending order.
q, 4, -4
Let s be 5 - (4 + 0/1). Sort s, 5, 2.
s, 2, 5
Let c(q) = -q + 3. Let x be c(8). Suppose 3*r - 14 = -h, -h - 3*h + 8 = 0. Suppose 0 = -i - 2*i + 3*k + 3, r*k = 3*i - 2. Put x, -2, i in ascending order.
x, -2, i
Let l(j) = 11*j**3 + 20*j**2 - 23*j - 2. Let y(o) = 4*o**3 + 7*o**2 - 8*o - 1. Let t(k) = 3*l(k) - 8*y(k). Let s be t(-5). Sort s, -2, -3.
-3, -2, s
Suppose 5*p - 95 + 70 = 0. Sort p, 4, -1, -7 in increasing order.
-7, -1, 4, p
Let k = -8 - -11. Suppose -k*m - 4 = -19. Let u(n) = n**3 - 2*n**2 - 2*n - 4. Let t be u(3). Sort m, t, -3 in decreasing order.
m, t, -3
Let i = -16704/35 - -2067/5. Let g = -64 - i. Suppose -5*p + 3*l = 21, 5*p + 5 + 0 = -5*l. Sort g, p, -4.
-4, p, g
Let a be 3/8 + (-51)/72. Sort -8, -1, a in descending order.
a, -1, -8
Suppose 0 = q + 3*i - 12, -2*i = 2*i - 16. Suppose q = -2*x - 2 + 8. Let h = 22 + -24. Put 4, h, x in descending order.
4, x, h
Let n = -3 + 5. Let v be (-150)/35 - n/(-7). Let z(r) = -r**3 - 6*r**2 - r - 7. Let o be z(-6). Sort 4, o, v in descending order.
4, o, v
Let b be (-3 - (0 - 3))/2. Sort b, -47, -1 in descending order.
b, -1, -47
Let h = 1/320 - 647/2240. Sort 4, -2/23, h.
h, -2/23, 4
Let l = 44 - 44.12. Sort l, -3/5, 3, -3 in ascending order.
-3, -3/5, l, 3
Suppose -4 = -f + 2*f. Sort 2/9, f, 2/3 in decreasing order.
2/3, 2/9, f
Suppose 6 = 2*o - 3*o + t, 5*t = -2*o + 16. Let v be ((-3)/o)/((-3)/8). Let n be (-4)/6 + 22/6. Put n, -3, v in ascending order.
v, -3, n
Let h = -29 + 16. Let b = 4 - -4. Let x = h + b. Put 3, x, -3 in ascending order.
x, -3, 3
Let p be 12/(-10)*50/(