-13
Let d = 1/8 - -5/8. Put -0.4, -5, -6, d in descending order.
d, -0.4, -5, -6
Let j = 116.0459 + -0.0459. Put 2, -5, -3, j in descending order.
j, 2, -3, -5
Suppose 826*i - 51 = 843*i. Put -65, i, 3 in ascending order.
-65, i, 3
Suppose -2*f = f + 66. Let l = -16 - f. Suppose -2*g - l + 0 = 0. Sort -2, 0, g in descending order.
0, -2, g
Suppose 0 = 254*y - 260*y - 6. Put 0, 1, y, 0.24 in increasing order.
y, 0, 0.24, 1
Let c = -263 + 266. Let p = -163/240 + 1/80. Let u = 0.1 + 0.1. Sort p, c, u in decreasing order.
c, u, p
Let g = 728.93 - 729. Let f = 0.891 - -4.179. Let u = g + f. Sort 1, u, -1 in decreasing order.
u, 1, -1
Let p(x) = -3*x + 13. Let v be p(0). Suppose -i - v = -15. Sort i, 4, 17.
i, 4, 17
Let k = -0.58 - 0.12. Let c = k + 1.7. Let d = 0.8 + -5.8. Sort d, 5/2, c.
d, c, 5/2
Let b(a) = 2*a**3 + 2*a**2 - a. Let k be b(1). Let i be 10 + 0/k + 2. Suppose 4 = -14*v + i*v. Sort v, 1, -4 in decreasing order.
1, v, -4
Let v = -1.011 + -0.049. Let b = -0.86 - v. Sort -3/8, 3/2, b, 2/9 in descending order.
3/2, 2/9, b, -3/8
Let n = 97 - 100. Put 5, -15, n in descending order.
5, n, -15
Let v be ((-4)/(-1))/(18/9). Let g be ((-20)/25)/(v/(-5)). Suppose -2 = b - g*b. Put -2, b, 1 in ascending order.
-2, 1, b
Let w be (3/(-4))/(10/8). Let r = 0.23 - 0.33. Sort r, -3, w in decreasing order.
r, w, -3
Suppose -k + 5 = 4*k. Suppose -24*o + 491 = 707. Sort 5, o, k.
o, k, 5
Let m be (0 - -2)/(((-204)/1386)/17). Sort -4, m, 0 in decreasing order.
0, -4, m
Let f = 28 - 10. Let m = f - 15. Let t = -121 + 121. Sort -1/2, m, t.
-1/2, t, m
Let m(z) = z**3 + 5*z**2 + 5*z + 1. Let k be m(-4). Let j be 153/72 - 12/96. Sort 0, k, j, 14 in decreasing order.
14, j, 0, k
Let m be (-2*2/(-40))/(54/(-36)). Let o = 11/60 - m. Put -5, o, 1/5, 0 in increasing order.
-5, 0, 1/5, o
Let c = 121.2 + -121. Sort 3/8, c, 36 in increasing order.
c, 3/8, 36
Let o(t) = -t + 25. Let d be o(28). Suppose -11 = -5*j + 5*s - 46, 5*s = j + 27. Put 5, 3, d, j in decreasing order.
5, 3, j, d
Let s = 1.472 + 0.528. Sort 0, -2/91, 5, s in decreasing order.
5, s, 0, -2/91
Let r be 1/(-2)*(11 + -1). Let b = -121 - -119. Sort r, -4, b in decreasing order.
b, -4, r
Suppose -a = 7*a - 56. Put -3, 2, a in descending order.
a, 2, -3
Suppose 0*s - y = -3*s + 1, -2*s - 4*y = -10. Sort -4, -5, s in decreasing order.
s, -4, -5
Let n be 209/11 - (4 - 0). Put 5, n, 4 in decreasing order.
n, 5, 4
Suppose -z - 4*h + 1 = -11, 4*h - 16 = -2*z. Sort 0, -4, z.
-4, 0, z
Let u be (-1 + 0/2)*-1. Let q be -3 - u*(-4)/2. Let s be q + ((-51)/(-15) - 2). Put 0.1, s, -2/5 in ascending order.
-2/5, 0.1, s
Let h = 0.046 - 0.446. Put -2/11, h, -9/4, 1 in decreasing order.
1, -2/11, h, -9/4
Let i = 157 + -136. Suppose 0 = -4*b + 13 - i. Sort 1, -3, -4, b in decreasing order.
1, b, -3, -4
Suppose -34 = -11*c + 10. Suppose -3*z = 3*m - c + 10, 3*z = -4*m - 11. Sort 4, 17, 2, m in increasing order.
m, 2, 4, 17
Let g be -7 - (0 - 12/4). Suppose 190*z = 195*z - 25. Sort 4, z, g.
g, 4, z
Let w(z) = -6 - 2*z**2 + 4*z + 1 + z**2. Let d be w(4). Put 4, 3, d, 5 in ascending order.
d, 3, 4, 5
Let x = -1961 + 1958.6. Sort x, -1/4, -4, 3 in ascending order.
-4, x, -1/4, 3
Let h = 1127 + -1124. Put 0, 24, h in decreasing order.
24, h, 0
Let l = 2321/2 + -1159. Put 3, -3/2, 0.3, l in descending order.
3, l, 0.3, -3/2
Suppose 240 = 4*t + 11*t. Sort 4, -7, t, -5.
-7, -5, 4, t
Let g = -49.12 - 10.88. Sort -0.2, g, 2 in descending order.
2, -0.2, g
Let o(g) = 20*g + 103. Let t be o(-5). Put -1, t, -54 in descending order.
t, -1, -54
Let y = 6.1 - 0.1. Let s = -9.88 - 0.12. Let n = y + s. Sort n, 0.3, 2/5 in descending order.
2/5, 0.3, n
Let p = 67/29 + -507/232. Put 2, 2/19, p, -3 in decreasing order.
2, p, 2/19, -3
Let w = 8 - 3. Let b = 15.4 - 15.5. Sort b, w, -3/2 in increasing order.
-3/2, b, w
Let v = -16.1 - -16.5. Sort -1/4, v, -3.
-3, -1/4, v
Let p = -0.393 - 0.007. Let a = 1.95 + 0.05. Put p, a, 5 in decreasing order.
5, a, p
Let j(g) = g**3 + 18*g**2 + 72*g + 2. Let v be j(-6). Sort v, 44, 3 in ascending order.
v, 3, 44
Let h be (-12)/(-2)*10/20. Suppose 0 = h*q - 0*q - 18. Suppose -c + 1 = 0, -2*w - 4*c + q = -0*c. Sort 3, w, -5.
-5, w, 3
Let j = 304 - 303. Sort j, -2, 3, -5 in descending order.
3, j, -2, -5
Suppose 0 = -q - 27 + 18. Sort -1, 5, q.
q, -1, 5
Let j = 2965/3 + -990. Let c be 2/(-5) + 235/25. Put c, -2, j in ascending order.
-2, j, c
Let c = -154 - -159. Put -3, -5, -4, c in ascending order.
-5, -4, -3, c
Suppose -20*d + 85 - 125 = 0. Suppose -2*c = 3*c + 5. Let z(b) = b**3 - 3*b**2 - 2*b + 2. Let q be z(3). Sort c, q, d in decreasing order.
c, d, q
Suppose 125 + 91 = -9*j. Sort -10, -5, j.
j, -10, -5
Let h = 38 - 38. Sort -131, 3, h, -1/4.
-131, -1/4, h, 3
Let c(m) = m**3 + 4*m**2 + 2*m - 6. Let i be c(-3). Let x be (7 - 6)*(-1 + 0). Put x, i, 3, 2 in decreasing order.
3, 2, x, i
Let p = 1370 + -1295.3. Let n = p - 75. Put 1/3, -4, n, -7 in decreasing order.
1/3, n, -4, -7
Let h be (-8)/(-45)*(-2)/(64/24). Let y = -0.23 + 0.13. Sort h, 5, y in descending order.
5, y, h
Let i = -646 + 644. Sort -1, i, 2, -21 in descending order.
2, -1, i, -21
Suppose 0 = -30*h + 26*h - 8. Put 1, 12, h in ascending order.
h, 1, 12
Suppose -l = -3*f - 18, -4*f = 4*l - 10 - 14. Suppose -2*t = -3*m - 5*t + l, 0 = -3*m + 5*t - 23. Sort -5, m, 5, 4 in decreasing order.
5, 4, m, -5
Suppose 0 = 4*a - 3*m - 32, 0 = 3*a - m - 22 + 3. Suppose 0 = -0*z - 5*z + 6*z. Put -2, a, -25, z in descending order.
a, z, -2, -25
Let h = 2296 - 2294. Let b = -3 + 6. Sort b, -3, h, -1 in descending order.
b, h, -1, -3
Let u = -172 + 1544/9. Put -1, 2, -5/11, u in decreasing order.
2, u, -5/11, -1
Let v be (-16)/(-6)*6/4. Suppose 0 = v*t - 5*t - 26. Let i = t - -24. Sort -6/5, i, 0.1.
i, -6/5, 0.1
Let q(b) = b + 9. Let i be q(-7). Let y be i + (-2 - (-6)/33). Let p(d) = -d + 9. Let h be p(4). Put -2, h, y in decreasing order.
h, y, -2
Let i = 9046/3 - 2951. Let p = i - 65. Let k = 187 - 183. Put -4/9, p, k in decreasing order.
k, -4/9, p
Let m = -146 - -145. Put m, -46, -5, 0 in decreasing order.
0, m, -5, -46
Let x(f) = 2*f + 10. Let i be x(-5). Sort 77, i, -0.2 in increasing order.
-0.2, i, 77
Let x = 8.6 - 0.6. Let f = x + -6. Let s = -9.57 + 8.57. Put 2/7, s, f in decreasing order.
f, 2/7, s
Let c = -67 + 1281/19. Let d = c - 83/152. Let o be 2/3 + (-80)/102. Put o, 1/4, d in ascending order.
d, o, 1/4
Let b = -9 - -7.2. Let a = 1.96 + b. Let s = a - 10.16. Put 2, 0.3, s in decreasing order.
2, 0.3, s
Suppose -2*t = 4*t - 12. Suppose 6*y + t*y = -32. Let o(b) = b - 1. Let d be o(4). Sort 1, y, d.
y, 1, d
Let y(a) be the first derivative of -a**2/2 + 11*a - 5. Let t be y(7). Suppose 5*r - 46 = 2*q - 6*q, -3*r + t*q = -2. Put 1, 5, r in descending order.
r, 5, 1
Let r(v) = 10*v - 193. Let w be r(20). Put -1/4, 0.5, w, 0.2 in decreasing order.
w, 0.5, 0.2, -1/4
Let x = 30 - 50. Let f be ((-5)/x*4)/3. Put -6, f, -0.5 in ascending order.
-6, -0.5, f
Let w be (1 - 20)/((-2)/4). Let c = 80 - 84. Let y be w/8 - 1/c. Put -2, -4, y in increasing order.
-4, -2, y
Let v(u) = -2*u**2 + 7*u + 10. Let h be v(5). Let o(p) = p + 7. Let a be o(h). Put a, 1, -3 in descending order.
a, 1, -3
Let y(c) be the second derivative of -c**4/6 - c**3 + 5*c**2/2 + 7*c. Let v be y(-4). Put -8, 0, v in increasing order.
-8, v, 0
Let u be ((-24)/(-18))/(4/(-18)). Let o = -9 - -11. Sort o, u, 0 in increasing order.
u, 0, o
Let o be 5/5*(-2 - 10). Let m be ((-20)/(-12))/5*o. Sort -0.28, -1/4, m in descending order.
-1/4, -0.28, m
Let n be (1 - 4/(-2))*1. Suppose 5 = n*i + 14. Suppose -45*r = -50*r - 20. Sort r, i, -2 in ascending order.
r, i, -2
Let p = -19.9 - -19.8. Sort -2.2, p, 2/21, 5.
-2.2, p, 2/21, 5
Let y = 46 - 89/2. Suppose 0 = -6*o + 4*o + 8, 27 = -5*l + 3*o. Put -4, -1/4, y, l in ascending order.
-4, l, -1/4, y
Let f = 292 + -245. Sort -7, f, -3/7 in decreasing order.
f, -3/7, -7
Let f = -21 + 72. Let y = f + -54. Sort y, 0.8, -0.3 in decreasing order.
0.8, -0.3, y
Let k = 222 + -152. Let y be (-1)/(-7) + (-290)/k. Sort -24, y, -3 in ascending order.
-24, y, -3
Let w = -0.006 + 4.006. Put 0.5, -0.5, -2, w in decreasing order.
w, 0.5, -0.5, -2
Let p = -264 - -263.6. Sort p, 2/9, 3, 10.
p, 2/9, 3, 10
Let z(r) = r**2 + 121*r + 686. Let a be z(-6). Sort 5, a, 244, 