der.
p, 1, 0
Suppose -3 + 9 = -2*d - 4*i, -d - i = 1. Sort d, -4, 12 in ascending order.
-4, d, 12
Let d be 10/(-8)*(-2 - -6). Let k(v) = -v**3 - 16*v**2 + 17*v - 3. Let c be k(-17). Let t be 7/(-28)*(-2)/c. Sort d, -2, t in ascending order.
d, -2, t
Suppose -17 = -h + 3*z - 4, z = 3*h - 7. Let m = 10 - 11. Put h, -3, m in increasing order.
-3, m, h
Suppose -10 = -2*a - 8. Let y be (2 - (-168)/(-14)) + 13. Sort -1, y, a in descending order.
y, a, -1
Let q = 1 - 0.5. Let m = -24 - -13. Let w = 14 + m. Sort w, q, -1/9 in decreasing order.
w, q, -1/9
Let x = -0.1 - 1.4. Let d = -2 - -2.5. Let l = x + d. Sort l, 1, 2 in descending order.
2, 1, l
Let c be 1/(-2) + (-62)/4 + 5. Put c, -4, -6 in descending order.
-4, -6, c
Let k = 48.856 + -48.8. Put k, 0, 5 in ascending order.
0, k, 5
Let i = 4.8 + -6.8. Let n be (-2)/28*216/152. Let q = -7/38 + n. Put q, i, 0.4 in descending order.
0.4, q, i
Let g = 0.2 + 0. Let i be (-25)/(-125)*15/(-8). Sort g, -1, i in increasing order.
-1, i, g
Let w(y) = y**2 - 6. Let k be w(3). Let z be 26/7 + (k - 7). Let f = -0.3 - -0.4. Sort z, -3, f.
-3, z, f
Let s = -0.823 + -4.177. Sort 9, 3/5, s.
s, 3/5, 9
Let w = 5342 - 5342.06. Let k = 89 + -448/5. Sort w, k, 0 in descending order.
0, w, k
Let o = -12 + 17. Suppose -t = 2*c + 4*t - 16, -2*t = -3*c + o. Let h = -8.5 - -9. Put -0.2, c, h in descending order.
c, h, -0.2
Suppose 589*t - 574*t - 15 = 0. Sort 4, 5, 0, t.
0, t, 4, 5
Suppose -3*t - 5 = r, 2*t - 8 + 28 = -4*r. Let u(y) = 2 + y - 2. Let m be u(t). Sort 1, m, -2 in descending order.
1, m, -2
Let m = 0.273 + 0.127. Let h = 41 + -44. Put 1/4, 1/5, h, m in descending order.
m, 1/4, 1/5, h
Let r be 0 + (6/8 - 0). Let w = 107 - 107.63. Let t = w + -0.47. Sort -1/7, r, t in decreasing order.
r, -1/7, t
Let j be (-25)/(-6) - 7/(-378)*-9. Suppose -w = w - 50. Put w, j, 2 in decreasing order.
w, j, 2
Let u = -62.9 - -63. Put 1/6, -1, -31, u in ascending order.
-31, -1, u, 1/6
Let o = 7 + -7. Let j = 0.4 + -1.4. Put j, o, -4 in descending order.
o, j, -4
Let j = 98 - 685/7. Let u = -555526667/388 + 1431769. Let a = -1/97 - u. Put 2/3, a, j in ascending order.
j, 2/3, a
Let u be ((324/(-45))/18)/(48/15). Sort -2, u, 13/3, -4 in ascending order.
-4, -2, u, 13/3
Let c = 0.1153 + 32.0247. Let z = 32 - c. Let d be 1 + -1 - 4/(-10). Put d, 0.5, z in increasing order.
z, d, 0.5
Let c(t) = -t - 19. Let w(v) = 12*v + 5. Let g be w(-2). Let k be c(g). Sort k, -3, -4 in ascending order.
-4, -3, k
Suppose -14*i - 72 + 100 = 0. Sort 3, -13, i in ascending order.
-13, i, 3
Suppose 5*r = -19 + 44. Let i(l) be the first derivative of -5*l**3/3 + l**2 - 2*l + 22. Let f be i(1). Sort r, -7, f in decreasing order.
r, f, -7
Suppose 5*w - 241 + 81 = 0. Suppose -w + 44 = -3*a. Sort -3, -5, -35, a in decreasing order.
-3, a, -5, -35
Let x = -388 - -386. Put x, 5, -7 in ascending order.
-7, x, 5
Let w = 1479 - 1474. Sort 3, 15/8, w in descending order.
w, 3, 15/8
Let l = -58 + 58.2. Put 37, l, -2/5 in decreasing order.
37, l, -2/5
Let z = 63 - 53. Suppose 0 = 14*q - z*q + 20. Sort 5, 3, -3, q in ascending order.
q, -3, 3, 5
Suppose -139 = 2*f - 137. Sort -0.3, f, -31.
-31, f, -0.3
Let g be (-2)/(-1*4/6). Suppose -78*y + 133*y + 55 = 0. Sort 5, -3, y, g in descending order.
5, g, y, -3
Let y = 56 + 10. Let d = 68 - y. Let x be (-2)/(-4) + 15/(-24). Sort x, 4, d in descending order.
4, d, x
Suppose 0*i = 4*i + 20. Let j(u) = 2*u**3 - 13*u**2 + 6*u - 3. Let z be j(6). Sort i, z, 3 in increasing order.
i, z, 3
Let p be -1*(3 - (-1 + 3)). Let r = -12 + -2. Let q = -16 - r. Sort p, -4, q.
-4, q, p
Let n = -0.18 + 0.28. Let y = -0.041 - -1.041. Sort n, 0.01, -0.1, y in ascending order.
-0.1, 0.01, n, y
Let w = -17 + 16.6. Suppose 2*f = 2*o - 16, -5*f + o + 6 = 34. Let b = 10 + -5. Put w, f, b in increasing order.
f, w, b
Let z(s) = s**2 + 20*s + 20. Let g be z(-19). Let w be 93/18 + g/(-6). Sort w, -12, 2 in decreasing order.
w, 2, -12
Let s = 2184323/42 - 51997. Let n = s + -65/6. Let k = 18.6 - 19. Sort k, 3/5, n in ascending order.
k, n, 3/5
Let v be ((-14)/(-49))/(3/21). Suppose -5*g - v*b = 10 - 4, 6 = g + 4*b. Let p = -0.8 + 1. Sort -1/2, p, g in descending order.
p, -1/2, g
Let f be (5/(-6))/((-23)/(-2) + -11). Put 4, -3, f in decreasing order.
4, f, -3
Let m = -183 - -185. Let t be 1*(2 - (-2 + 3)). Sort -0.2, m, -5/4, t.
-5/4, -0.2, t, m
Suppose c - 15 + 14 = 0. Suppose -5*f - c = 9. Let b = -148 + 1040/7. Sort 0.1, b, f in increasing order.
f, 0.1, b
Let h(n) = -n**3 + 26*n**2 - 21*n - 102. Let b be h(25). Put -6, -18, b in descending order.
b, -6, -18
Let p = 7 + -5. Let u(z) = -z**3 - z**2 + z - 4. Let b be (-2 - (-1)/2)/(21/28). Let h be u(b). Put h, p, -3 in decreasing order.
p, h, -3
Suppose 49*t - 25 = 44*t. Put -3, 106, t in descending order.
106, t, -3
Let b be (-93)/(-62) + 3/(-2). Put -1, b, -2, 5 in decreasing order.
5, b, -1, -2
Let v be (-10)/(-7) - (-9)/(-21). Suppose -g - 3*z - 37 = -5*g, -2*g + 18 = -2*z. Sort g, v, -3 in increasing order.
-3, v, g
Let o = -1.98 - 0.02. Suppose -3*c + v - 18 = 0, 2*c - 4*v - 12 = 4*c. Let h be ((-3)/(-42))/((-1)/c). Put h, 3, o in decreasing order.
3, h, o
Let v = 3782/3 + -1298. Sort -1, 2/7, v.
v, -1, 2/7
Let r be 18/9*(-3)/(-2). Suppose v - r = 2*x + 1, -2*x + 20 = 5*v. Suppose -3*l + 0*l + 12 = x, 0 = -4*u + 5*l - 40. Put u, 0, -4 in descending order.
0, -4, u
Let r = 42 - 35. Let h = r - 10. Sort h, -0.4, 6 in descending order.
6, -0.4, h
Let w be 2/4 + (-2)/4. Sort w, 40, 1 in decreasing order.
40, 1, w
Suppose 3*o - 12 = -3. Suppose 4*x - 12 - 8 = 0. Sort o, x, 2, -1.
-1, 2, o, x
Let b = -4 - -1. Let u = 0.884 + -0.584. Sort u, -3/2, b.
b, -3/2, u
Let b = 68 + -136. Put -3, -4, b in decreasing order.
-3, -4, b
Let b be ((1392/(-9))/(-4))/(3/9). Let y be (-87)/b - 18/8. Put 5, 6, y, 1 in decreasing order.
6, 5, 1, y
Let t = 386.8 + -193.1. Let c = 194 - t. Let x = 0.2 + -0.7. Sort -2, c, x in decreasing order.
c, x, -2
Let s = -1.76 + 1.36. Put 1/5, -2/9, 0.4, s in increasing order.
s, -2/9, 1/5, 0.4
Suppose 0 = -5*a + s + 25, -s - 15 = -0*a - 3*a. Put a, -3, -8 in descending order.
a, -3, -8
Let o = -69 - 63. Let k be 24/o - (-4)/22. Put -1, 20, k in descending order.
20, k, -1
Suppose -7 = 2*h - k, -h + 0*k + 13 = 5*k. Put -5, h, 3, -4 in increasing order.
-5, -4, h, 3
Let a = 11 - 13. Let j = -2.5 - a. Let u = 0 - j. Sort -0.5, 0.02, u in descending order.
u, 0.02, -0.5
Let p = 6 - 6. Suppose 16*j - 12 = 52. Put p, j, 5 in ascending order.
p, j, 5
Let w be 160/(-48)*(-3)/1*1. Put 2, -2, w in decreasing order.
w, 2, -2
Let s be (-4 - 5)*(-1)/3. Suppose 0 = -2*o - 4, -3*o = s*v + 2*v - 114. Let b be v/36 - (-1)/3. Put 5, -1, b in descending order.
5, b, -1
Let d = 0.4 - -1.6. Let v(w) = w**3 - 5*w**2 + w - 7. Let g be v(5). Let m be (39 - 0)/((-13)/(104/(-60))) + -5. Sort g, d, m in increasing order.
g, m, d
Suppose 11*o - 8 = 9*o. Let z be (-9)/12*o + (-20)/(-6). Sort -5, 4, -0.5, z in descending order.
4, z, -0.5, -5
Let u = -30.068 - -0.068. Let m = -35 - u. Sort 3/4, 0.3, -1, m in ascending order.
m, -1, 0.3, 3/4
Let o = -13.1 - -13. Let d = -4 + 2.2. Let m = o - d. Put -0.5, 4/3, m in descending order.
m, 4/3, -0.5
Suppose -4 = -263*r + 262*r. Put 0.2, -32, r in ascending order.
-32, 0.2, r
Let z = -1/16 - 7/16. Let o be -5 - 948/(-108) - 3. Sort 0.2, o, z.
z, 0.2, o
Suppose -12*n = -14 + 26. Sort n, 0, 5, -18 in increasing order.
-18, n, 0, 5
Let g be 4/7*(1 - 2). Suppose -2*v + 15 = v. Sort -1, g, v.
-1, g, v
Let v = 411 + -414. Let y be (-4)/(-10) + (-114)/10. Sort y, -5, v in decreasing order.
v, -5, y
Let q = 19 - 131/7. Let o be (-2 - 1)/(-1 - 0). Sort o, -2, q in descending order.
o, q, -2
Let h = -568 - -569. Put -3, -17, h in ascending order.
-17, -3, h
Let m = -1.01 - -1.15. Let k = -2.86 - m. Sort -4, 5, 0, k in descending order.
5, 0, k, -4
Let g = -1.467 + 1.167. Put -3, -20.3, g in ascending order.
-20.3, -3, g
Let q be 6/5*(-10)/4 - -8. Suppose -6*x + 3*x + 22 = q*g, 2*g + 4 = 2*x. Let t(i) = -i + 2. Let h be t(2). Sort x, h, 1 in increasing order.
h, 1, x
Suppose 124 = -p - 4*a + 9, 0 = -2*a - 4. Let w = -108 - p. Sort 3, w, -2.
-2, w, 3
Let m = -38 - -70. Let s = m - 31.8. Put s, 5, -2 in decreasing order.
5, s, -2
Let p = -0.424 + -0.076. Sort -1/3, 1, 3, p 