= -2*q + 2*g. Put v, 0, q in increasing order.
v, 0, q
Let p = 15207/5 + -3029. Sort p, 0, 1.
0, 1, p
Let m(n) = 2*n**3 + 3*n**2 - 7*n - 7. Let f be m(-2). Put -41, -2, f in descending order.
f, -2, -41
Let t be (8/(-12))/((-30)/(-45)). Suppose 3*q + 16 = 7*q. Sort t, q, -6 in ascending order.
-6, t, q
Let r(l) = -l**2 + 14*l - 31. Let s be r(11). Sort s, 11, 3 in ascending order.
s, 3, 11
Let v = -0.84 + 1. Let f = v - 0.09. Let r = -0.03 + f. Put r, -5, -2 in ascending order.
-5, -2, r
Suppose 28*i - 82 + 26 = 0. Suppose 5*a - k - 25 = 0, 0*a + 5*k = -5*a - 5. Put a, i, 3 in descending order.
a, 3, i
Suppose -2 = 2*m - 0, 4*p = -5*m + 15. Suppose -w - p*o = -18, -w + 15 = 3*o + o. Suppose -2*b + 7 - w = 0. Sort -2/3, 1/5, b in ascending order.
-2/3, 1/5, b
Let n(h) = h. Let q be n(2). Suppose 0 = -39*b + 44*b - 5. Suppose -q*c = i, b = -2*c + i - 3. Sort c, -6, -4 in descending order.
c, -4, -6
Let m = -562 - -567. Put 0.5, -0.17, m, 0 in ascending order.
-0.17, 0, 0.5, m
Let u = -29 - -24. Sort -4, 3, 5, u.
u, -4, 3, 5
Let f be (-16)/(-88) + 246/(-22). Let a(l) = -l**3 - 11*l**2 - l - 11. Let i be a(f). Let m(z) = 4*z - 16. Let v be m(5). Sort 1, v, i in decreasing order.
v, 1, i
Let w be (20/16)/(-2 + (-18)/(-8)). Put 9, 3, w, 2 in decreasing order.
9, w, 3, 2
Suppose 13*s + 20 = 23*s. Sort 4, 5, s, -2 in descending order.
5, 4, s, -2
Let d = -22.6 - -20. Let v = 1.3 + d. Put -0.2, v, 3/7 in decreasing order.
3/7, -0.2, v
Let c be 15/10 - (-1)/(14/(-49)). Sort -4, -1, 394, c in descending order.
394, -1, c, -4
Let a = -1431 - -1436. Sort 4, a, -1.1, 0.3 in descending order.
a, 4, 0.3, -1.1
Let w = -0.595 - -54.195. Let n = w + -51. Put -1, -3, n in increasing order.
-3, -1, n
Let x = 4758 - 4760. Suppose 72 = -4*i + 4*c, i = -i + 3*c - 41. Sort 1, i, x, 4 in decreasing order.
4, 1, x, i
Let t = -157 + 157. Sort t, -10, 4, -1.
-10, -1, t, 4
Let c = 5 - 12. Let h = c + 2. Suppose -6*m + 14 = -2*m - b, -3*b = 5*m - 9. Put 2, m, h in decreasing order.
m, 2, h
Suppose 5*j - 3 = 2*v, 5*j = 5*v - 2*v + 7. Sort 3, -0.01, -3/4, j in decreasing order.
3, -0.01, -3/4, j
Let g = 33/13 - 152/65. Put 4, 6, g in descending order.
6, 4, g
Let d = 18 + -84. Sort d, -4, -2 in ascending order.
d, -4, -2
Let b = 0.087 - 0.125. Let m = b - -0.338. Sort -0.4, m, -2, 0 in descending order.
m, 0, -0.4, -2
Let f = 375.9 - 376. Put f, 0, 36, 3/7 in descending order.
36, 3/7, 0, f
Let l be -6*3/24 - (-1 - 0). Let t = 0.8 + -0.76. Put t, 0, l in decreasing order.
l, t, 0
Suppose 0 = -2*j + j - 3. Let n be 3/(((-4)/28)/((-1)/7)). Put n, 1, j in decreasing order.
n, 1, j
Let u = 54 - 27. Let q = -23 + u. Sort -4, q, 2/7.
-4, 2/7, q
Let o(j) = j**2 - 11*j - 84. Let c be o(-10). Sort -1, 5, c in increasing order.
-1, 5, c
Let m = 168 + -71. Let z = m + -101. Sort -1/2, -7, -2/5, z in descending order.
-2/5, -1/2, z, -7
Suppose 0 = -6*i - i - 35. Let g be 17/5 - 1 - 6/15. Sort 4, 16, i, g in descending order.
16, 4, g, i
Let v(b) = 12*b**3 - 3*b**2 + 3*b + 3. Let t be v(-1). Put 1, t, 5 in decreasing order.
5, 1, t
Let y = 1/1705 - 6911/155155. Let s = 839/455 + y. Let q(l) = -l - 7. Let c be q(-9). Sort c, -2/11, s in ascending order.
-2/11, s, c
Let o(r) = 11*r + 327. Let b be o(-30). Put -5, -0.06, -1/4, b in increasing order.
-5, b, -1/4, -0.06
Suppose -906 = -9*d + 552. Let p = d - 814/5. Sort -2, p, 0.2 in ascending order.
-2, p, 0.2
Let q(g) = 3*g - 57. Let h be q(20). Sort 2, 4, -12, h in decreasing order.
4, h, 2, -12
Let t be ((-26)/637)/((-1)/7). Sort -3, 5/3, 0.2, t in decreasing order.
5/3, t, 0.2, -3
Let c be (-36)/60 - (-136)/10. Sort -5, -1, c in decreasing order.
c, -1, -5
Let u = 625 - 625. Put -3, 1, u in ascending order.
-3, u, 1
Let g = 33.337 - 0.377. Let s = g - 33. Sort 0, -2/11, 0.4, s in decreasing order.
0.4, 0, s, -2/11
Suppose -3*v + 5*s = 4*v - 9, 3*s = 2*v - 1. Let o be 8/3*(-1)/(-2). Put o, v, -4 in increasing order.
-4, o, v
Let a = -1.7 + 0.55. Let q = a + 0.15. Let v = -1 + q. Put 5, v, 0.2 in descending order.
5, 0.2, v
Let z be (-6 - -5)/(-1) + (5 - 8). Sort -5, -3, 1, z in decreasing order.
1, z, -3, -5
Suppose 2*d - 15*m = 83, -11 = -5*d - m + 4. Suppose 5*c - 65 = -5*z + z, -5*c = 3*z - 60. Sort d, 0.1, c, 0.
0, 0.1, d, c
Let u be (-6)/((15/2)/(-5)). Let o = -23.6 + 24. Sort u, -1, -3, o in ascending order.
-3, -1, o, u
Let u = 239.1 - 238.1. Let s = 3.3 - 3. Sort -2, -0.1, s, u in decreasing order.
u, s, -0.1, -2
Let x be 2 + 3 + -2 - -72. Let s = -41 + x. Let p be -2*s/16 - -4. Sort -2/7, p, 6/7 in descending order.
6/7, p, -2/7
Suppose 2*i = 5*i - 99. Suppose 0*k + 5*k - i = -3*z, 5*z - 92 = 4*k. Suppose 0 = -a - 5*l - z, 4*l - 2*l + 28 = 5*a. Put 1, 0.4, a in decreasing order.
a, 1, 0.4
Suppose -42*l + 25*l - 51 = 0. Let b be (-6)/27 - 21/27. Put b, 3, l in descending order.
3, b, l
Let x = -52 + 60.2. Let w = 9 - x. Let y = 0.3 - w. Put 2, y, 3 in ascending order.
y, 2, 3
Let o = -1/225 + 151/225. Let f = -1 + 2. Put -1/4, f, o in ascending order.
-1/4, o, f
Suppose -q + 89 = 842. Let y be (q/(-4))/(27/8). Let i = -56 + y. Sort i, 3/7, 0 in increasing order.
i, 0, 3/7
Let f be (-30)/(-195) - 301/13. Let r = f + 26. Put -4, r, 0 in ascending order.
-4, 0, r
Let b be 122/6 - 2/6. Let x be ((-16)/b)/(2/10). Let z = -31 - -30. Sort z, x, -3 in increasing order.
x, -3, z
Let u = 652 - 651. Put -22, 4, u, -1 in ascending order.
-22, -1, u, 4
Suppose -5*g - 2*g = 0. Put 2, 1, -13, g in decreasing order.
2, 1, g, -13
Let l = 14 + -18. Let j(x) = -3*x - 15. Let o be j(-6). Suppose 4*b - 4 = o*a, 4*b + 5*a = 3*b - 22. Sort l, -3, b in increasing order.
l, -3, b
Let h = 29/3 + -115/12. Sort h, 151, 4, 2 in increasing order.
h, 2, 4, 151
Let c be (375/5)/(-3)*(-4)/(-5). Suppose 0 = -5*q - 12 + 2. Let m be ((-116)/(-14) - (-2)/(-7)) + -4. Sort m, q, c in increasing order.
c, q, m
Suppose 0 = -5*q - 2*l + 6, -4*q + 4*l - 12 = q. Suppose q = -4*z - z - 15. Suppose 5*m - 2*p - 3*p = 40, -26 = -2*m + 4*p. Put z, m, 2 in increasing order.
z, 2, m
Let r be -1*15/20*-4. Suppose -4*j + 6 = -j - r*y, -3*j - 4*y = -13. Let p = -14 + 9. Sort j, -3, p in increasing order.
p, -3, j
Let u be (1 + -2)*-1 + -1. Suppose 4*g = -6*a + 5*a - 16, 3*a = g + 4. Suppose a = -14*x - 10*x - 24. Sort u, x, 2 in increasing order.
x, u, 2
Suppose 4*w - 38 = -2*n, n = 5*w - 9*w + 15. Let u be 0 - (27 - -1)*1. Let l = n + u. Sort 0.4, l, 2 in ascending order.
l, 0.4, 2
Suppose 3*b - 18 - 13 = -5*t, 3*t - 3*b - 33 = 0. Suppose -l + 3 = 5*s + 19, -4*s = -4*l + t. Put 7, s, -1 in ascending order.
s, -1, 7
Let q be 6 - 35/6 - (-62)/(-12). Let y be q - (-1 - 0) - (0 + 2). Sort -0.1, 2, y.
y, -0.1, 2
Suppose 0 = 5*q - 3*t + 66, 0*t - t + 12 = -q. Let h be 4/(-10) + (-36)/q. Suppose 4*u = -5*v - 36, -20 = 2*u + 2*v - 4. Sort u, h, 3.
u, h, 3
Suppose 4*p = 18 + 2. Let b be (-3)/(-5) - (9503/(-845) - -12). Put b, 0, p in descending order.
p, 0, b
Let l = -8.05 + 0.05. Let x = l - -7.7. Put x, 0, -0.5 in descending order.
0, x, -0.5
Let i(z) be the third derivative of z**6/120 - z**5/6 + z**4/24 - z**3 - z**2. Let g be i(10). Suppose -g*x = x + 15. Put x, 3, -5 in decreasing order.
3, x, -5
Let d be (-16)/(-20) - (-56)/(-20). Sort 38, -4, d in descending order.
38, d, -4
Let x = -7 + 11. Suppose -f + 3*f - 7*q - 33 = 0, -4*f = -4*q - 36. Sort x, -1, 0, f in increasing order.
-1, 0, x, f
Let p = -267 + 271. Sort p, 0, -4 in increasing order.
-4, 0, p
Let c(q) = -2*q**3 + 4*q - 1. Let d be c(-2). Suppose w - 2*b + 3 = 0, 5*w = d*b - 2*b - 10. Sort w, -4, -3 in decreasing order.
w, -3, -4
Let s(a) = -a**3 - 3*a**2 + 7*a + 6. Let z be s(-4). Let h = -4935 + 4934. Sort -2, z, 5, h in ascending order.
z, -2, h, 5
Suppose 0*j - 2 = -j. Suppose 0 = -58*f + 57*f - 3*v + 16, 4*f = -2*v + 84. Sort j, f, 4 in ascending order.
j, 4, f
Suppose -22*u - 20 = -18*u - b, -32 = 5*u - 3*b. Put -10, 5, u in increasing order.
-10, u, 5
Let s(g) = -6*g - 9. Let l be s(-6). Let m be 6/l - 368/36. Let o be ((-3)/5)/(2/m). Put o, -1, -4 in descending order.
o, -1, -4
Let x be ((-30)/(-60))/((-3)/12). Put 13, 1, x in ascending order.
x, 1, 13
Let j = -9 - -7. Let r = -1.7 - j. Let p = 0 - r. Sort p, 0, -0.1 in descending order.
0, -0.1, p
Let t = -10 + 9. Let s(p) be the first derivative of p**2/2 + 6*