-5). Let z be (-4488)/(-459) + -1*(15 - 1). Which is bigger: z or m?
m
Let u = -3841/15 - -1237/5. Is u greater than -2?
False
Suppose -2*c - 9866 - 17354 = -3*d, -2*d + 3*c = -18150. Let q be -10 - -2 - d/(-12). Is 748 greater than q?
False
Let w(z) = -2*z + 1545. Let j be w(0). Let r be 6/(-27) - (2 + j/(-27)). Suppose -5*l + r - 140 = 0. Is l < -1?
True
Let j = -278 - -338. Suppose z - 1 = 0, 4*h = -3*z - 121 - j. Which is bigger: h or -47?
h
Let t = 245.58 + -245.5621. Is 0.02 at most as big as t?
False
Let k = 7 - 5. Let m = 2.3621 + -5.3621. Which is bigger: m or k?
k
Let s be (108/3)/(3/2). Suppose -13*h = -s*h + 902. Is h bigger than 78?
True
Let u = 94.42 + -100. Let t = u - -7. Let x = t + -1.4. Which is smaller: x or -1?
-1
Let c = -1.74 + 1.74. Suppose -z = -2*n + 10, -4*z - n = -6*z - 8. Let g be z/10 + (-4)/20. Which is bigger: c or g?
c
Let g = -71390 - -71402. Let k = 15 + 12. Which is smaller: g or k?
g
Let z be -1284*(-25)/(-675) + 3*2. Which is bigger: z or -43?
z
Let l be (-2 + 5)*-8*9/47736. Which is smaller: l or 0?
l
Let d = -585/7 - -9882/119. Let a = -28/85 - d. Let v = -522 - -524. Which is greater: v or a?
v
Let o = 8259 - -1425. Is 1/4 equal to o?
False
Suppose -u + 3*u + 4*q - 32 = 0, 2*u = 3*q + 4. Let f(k) = -2*k**3 + 64*k**2 - 271*k + 54. Let y be f(27). Is u at most y?
True
Let p = 66/4649 + 185577/1664342. Which is greater: p or 1?
1
Let u = -13871.24 + 13872.24. Let j = 239 - 132. Which is smaller: j or u?
u
Suppose 69*k - 54*k = -89*k + 1392768. Which is bigger: k or 13394?
13394
Let a = 1.69 + -194.79. Let q = a + 196. Which is greater: q or -2/13?
q
Suppose -4*x + 4 - 6 = d, -3*x + 4*d = 11. Suppose -7 = -4*s + 3*r, 15 = -2*r + 7*r. Suppose -s*q = 39 - 3. Is x != q?
True
Let l = 11638 + -11704. Which is bigger: -52 or l?
-52
Suppose 102*l - 26 = 103*l. Suppose 85*z - 98*z - 260 = 0. Which is smaller: z or l?
l
Suppose -206*c + 195*c - 11 = 0. Which is smaller: -1/2566 or c?
c
Let u be (93/7 - (-2)/(-7)) + 3. Suppose 15*t - 123 = u*t. Let q = t + 116. Is -8 bigger than q?
False
Suppose 170 - 180 = -h. Let q be (h/25)/(5/(-50)). Let v = -2 + -2. Is q at most as big as v?
True
Let z(h) = -h**3 - 14*h**2 - 41*h - 8. Let s be z(-4). Let a(g) = g + 1. Let y(q) = -5*q**2 - q - 1. Let b be y(-1). Let x be a(b). Are x and s unequal?
False
Let h = 35.46 + -35.36. Which is greater: 1691 or h?
1691
Let i(j) = -2*j**3 + 101*j**2 - 1048*j + 144. Let u be i(36). Let s = 50/17 + -565/221. Which is bigger: u or s?
s
Suppose 5*n = -4*u + 2, -n - 3*u + 0 + 7 = 0. Let f = n + 1. Let w = -61/14 + 37/14. Which is greater: f or w?
f
Let o be (8/(-10))/((-2)/15). Let q(k) = -248*k - 6436. Let b be q(-26). Is o > b?
False
Let f = -16714 - -16975.3. Is 0 greater than or equal to f?
False
Let h be -2 + -4*(-25)/20. Let m be h/3*(-43)/(-5). Is 1 <= m?
True
Let z = 428.54 + -407.7. Is -1 at least z?
False
Let d = -9235/17 + 543. Let j(y) = -y**2 - 38*y + 88. Let g be j(-40). Suppose l = 5*x - 2, -5*l + l - g = -x. Do x and d have different values?
True
Let k(y) = -y - 6. Let o be k(-7). Suppose -2 - o = -g. Suppose -2*n + g = n. Is -1/45 <= n?
True
Let r be (24 + -25)*(-2 + 2 - -9). Let b(l) = l + 1. Suppose -m = 2*g + 3*g + 17, g - 35 = 3*m. Let a be b(m). Which is greater: a or r?
r
Let n = 222 + -207. Suppose -14*o = -n*o. Which is smaller: o or 1/20?
o
Let d(t) = 4*t**3 - 92*t**2 + 3*t - 69. Let w be d(23). Is w not equal to -2/44023?
True
Let q be (3 - 1) + -1 - (-20 + 23). Let y be (-5)/q*3*(-30)/9. Suppose 3*m - 6*m - 81 = 0. Which is smaller: y or m?
m
Let n be 1 + -3 + (-104643)/(-52317). Is 0 > n?
False
Let f = -1.13 - -1.07. Let l = -32.2 + 27. Let m = -1.2 - l. Which is greater: f or m?
m
Let n = 1987 - 2949. Which is smaller: n or -961?
n
Let s = 15.49 - -5.51. Let g = -40 - -29. Let z = s + g. Which is greater: z or -0.3?
z
Let v = 14700 - 14707. Which is smaller: v or -131.6?
-131.6
Let z = 637.11801 - 0.11801. Which is greater: z or -3?
z
Let a(d) = 22*d + 121. Let j(q) = 2*q**3 + 6*q**2 + 4*q + 5. Let v be j(-3). Let f be a(v). Which is smaller: -36 or f?
-36
Suppose 0 = r - 4*g + 64, -4*r + 5*g - 429 + 151 = 0. Let f = -60 - r. Let j be (1/((-15)/f))/10. Which is smaller: j or -2/7?
-2/7
Suppose 44*i = 45*i + 18. Let k = 28 + i. Let j be 1*(k/55 + 0). Which is greater: 0 or j?
j
Let t(z) = -z**3 + 4*z**2 + 9*z - 18. Let x be t(-5). Let k be (-9)/69*(-4)/x. Is k < 1?
True
Let b be (8 - 377/52) + (-616)/(-12). Is b > 53?
False
Let i(w) = w**3 - 7*w - 7. Let n be i(-3). Let a be 1 + -3 - 18 - (-8 - n). Suppose -h - 13 - 15 = 0. Is a greater than or equal to h?
True
Let u(w) = 940*w - 751. Let y be u(8). Which is smaller: y or 6771?
y
Suppose -58 - 7 = -5*h. Let u be (6/9)/(-1) - 230/(-3). Let w = u + -61. Is h less than or equal to w?
True
Let h = -82 + 31. Let x = 57 + h. Suppose -x + 6 = -2*u. Which is bigger: u or -3/43?
u
Let d = -2292.03916 + 0.03916. Which is smaller: d or -4?
d
Let f = -49.14 + 1.14. Let i = f + 56. Let m = 8.09 - i. Is m greater than or equal to 0?
True
Suppose 0*g - 4*g + 4 = 0. Let i be g*(-3)/(-27)*5. Let k(c) = -c**3 - 6*c**2 - 8*c. Let l be k(-4). Is i smaller than l?
False
Let h = 38594 - 39163. Is h <= -569?
True
Let x = 0.045 - 26.045. Let a = 29 - x. Let v = -54.92 + a. Which is bigger: -4 or v?
v
Suppose 19*m + 54*m - 22*m - 85731 = 0. Which is greater: m or 1680?
m
Let o be 2/24 - -1795*70/168. Which is smaller: 745 or o?
745
Let x = 11350 + -11350. Is 4242 > x?
True
Let m = -16676.1 + 16676. Which is bigger: m or 2978?
2978
Let s(p) = p**3 + p**2 - p + 15. Let n be s(0). Let v be 344/(-24) - (-8)/(-12). Let a = v + n. Is -1 greater than a?
False
Let z = -132 + 46. Let x be 7/70*32/8. Is z >= x?
False
Suppose 0 = -3*r + 2*n + 35, 5*n - 9 = -r + 3*n. Suppose -170 = r*k + 171. Let d be 7/56 + (-257)/8. Which is smaller: k or d?
d
Let b be -10 - 2166/(-216) - 4/(-18). Which is bigger: b or -0.027?
b
Let v be 6/(-22) - (-1677504)/2112. Does v = 795?
False
Let l(a) = 2*a**3 + 2*a**2 + 7*a + 6. Let h(o) = 2*o**3 - 8*o**2 - 6*o + 23. Let r be h(4). Let n be l(r). Which is bigger: 9 or n?
9
Suppose 0 = 8*d - 9*d - 1. Let w = -27250/23 - -1185. Which is bigger: d or w?
w
Let y be (44 - (-1501)/(-38))*-2*38/(-3). Let c(a) = -a**2 + 23*a + 2. Let t be c(16). Is t greater than y?
False
Let f(t) = -t**3 + 6*t**2 - 5*t + 7. Let p be f(5). Suppose 23 = 11*y + 133. Let w be (18/225*y)/(3/(-25)). Which is smaller: w or p?
w
Let t = 9618 + -16237. Is -6619 at most as big as t?
True
Let v be (-1)/((-3)/9) + 9 + 772/(-92). Which is bigger: 3 or v?
v
Suppose -163 + 190 = 2*v - 5*g, 4*v + 11 = -3*g. Which is smaller: 2/10423 or v?
2/10423
Let d = -673 - -429. Let r = -243 - d. Is r <= -19?
False
Suppose 0 = -0*s - s + 4*x, 5*s - 7*x + x = 0. Let y be -1 - (1 - 127/65). Is y smaller than s?
True
Let q be (145/25 - 9)/((-3)/360). Which is smaller: 1150/3 or q?
1150/3
Let w be -1*981 + -1 + 10 + 0. Is w greater than or equal to -969?
False
Let p = 153.42 - 155. Let n = 3.08 + p. Which is bigger: 0.1 or n?
n
Let z = 45 - 41. Suppose 0 = u - z*y - 9, 0*y = -4*u + 5*y + 36. Suppose -3*r - 30 = -u*r. Is r bigger than 4?
True
Suppose 5*l - 5*b - 105 = 0, -l - 5*b + 0*b = 3. Suppose -1035 = l*t + 6*t. Which is smaller: t or -44?
t
Let k be ((-164)/(-330) + (-2)/15)*(-10)/8. Which is smaller: k or 0.11?
k
Let o = 0 + 0. Let b(a) = -3*a**2 + 60*a - 31. Let d be b(18). Let h be ((-3)/2)/(27/90) + d. Do o and h have different values?
True
Let w = -2862 - -2958. Let h = 167 + -72. Is h greater than or equal to w?
False
Suppose -2*x - 126 = -22*w + 18*w, -2*w + 70 = -8*x. Let h(b) = -b**3 - b**2 - 4*b - 3. Let j be h(-3). Is j at most w?
True
Let k be 9/((-9)/(-16)) - 6. Suppose 0 = -3*s + 4*g + 90, 62 + 31 = 3*s - 5*g. Let j = -18 + s. Is j > k?
False
Let f(r) = -2*r**2 - 11*r + 20. Let x be f(-7). Which is greater: 2/4435 or x?
2/4435
Suppose 0 = -4*u - 3*c + 32, 2*c - 32 = -4*u - 0*u. Let v be 6/(-9)*54/u. Suppose 13 - 37 = -r + 6*p, -4*p - 16 = 0. Is r at most as big as v?
False
Let w = -20577 - -20731.5. Is 6 < w?
True
Let l = -18 + 32. Suppose l - 5 = -g - 3*k, 15 = -2*g - 5*k. Suppose p + g*p = -1, 3*r - 2 = -p. Which is smaller: -2/71 or r?
-2/71
Let f = 40 + 25. Let h = f + -66.01. Which is smaller: h or -1