z be o(4). Let d = 2/71571 + -357997/5081541. Is d > z?
True
Let c be (-423)/(-517) + (-175)/(-55) + -3. Is 49/34 not equal to c?
True
Let j = 5699 + -4912. Which is smaller: j or 784?
784
Suppose 41*h = 92 + 72. Which is bigger: 114 or h?
114
Let m = 3347/2 + -1392. Suppose -s + 1345 = 4*s. Let a = m - s. Which is bigger: 13 or a?
13
Let z be (1/4)/((-1988)/104 - -19). Suppose f + f = 8. Suppose 0 = -f*m - 8. Which is greater: m or z?
m
Suppose 426*v = 444*v - 126. Let s = -29 + 11. Let f = s + v. Is -10 greater than f?
True
Suppose -12 = 27*k - 23*k. Let n = 44.82 - 45. Is k equal to n?
False
Let h(z) = -2*z**2 - 17*z - 23. Let a be h(-15). Let g = a - -134. Is g >= -85?
True
Suppose 15*u - 20*u + 60 = 0. Let s be ((-1)/u)/(9/312*2). Let y = s + 23/18. Which is bigger: y or 1?
1
Suppose -9*k + k = 24. Let l be (-3033)/27 - 1/k. Let b = l + 94. Is 2/9 equal to b?
False
Let n = -2552 + 2443. Let p be 148/(-16)*-6*(-5 + 3). Do n and p have the same value?
False
Let k be 1/(-4 + 1380/344). Suppose -k = -5*l + 69. Is l less than or equal to 34?
True
Let p be (-48172)/(-16060) - ((-72)/720 + (-31)/(-10)). Is p bigger than 2/3?
False
Let n(m) = 53*m + 38. Let r(l) = -27*l - 19. Let w(u) = -2*n(u) - 5*r(u). Let d be w(-2). Are -188/5 and d non-equal?
True
Let w be ((-212)/(-150))/(80/100). Which is smaller: w or 2?
w
Suppose -46 = -7*b + 861 - 165. Is 106 <= b?
True
Let x be (-3)/(-12) + 78/8. Let q(s) = 4*s + 9. Let k(d) = -d + 1. Let h(n) = 5*k(n) + q(n). Let z be h(4). Are z and x non-equal?
False
Let h = 9973 + -249393/25. Which is smaller: h or 2?
h
Let j = 13.2114 + -0.6114. Does j = 10/7?
False
Suppose -14*o = -5*v - 11*o + 14, 0 = -5*v - 3*o + 26. Let y be (v + (-1175)/290)*8/174. Which is smaller: 1 or y?
y
Let s be ((-24)/60)/(1/15). Let o be 5*(-12)/(-90)*9/s. Which is smaller: -1/38 or o?
o
Let n be ((-2)/(-8))/(4 + (-23335)/5837). Let w = n + -112. Is w > 0.133?
True
Suppose -17*b - 7206 = -62*b + 2514. Is 207 equal to b?
False
Suppose 11172 = 17*r - 36*r. Let j = -911 - -322. Is j less than r?
True
Let r = -62 + 88. Let p = r + -39.8. Let t = -2.8 - p. Which is smaller: -1 or t?
-1
Suppose y + 1 - 2 = 0, 0 = 2*i + 5*y - 19. Suppose -i*r + 409 - 374 = 0. Is -0.9 less than r?
True
Let a(k) = -k + 19. Suppose 2*c - 52 = 5*r, 2*r + 75 = 3*c + 19. Let v be a(c). Let s be -1 - ((-98)/126)/((-2)/(-12)). Is s <= v?
False
Let j = 3121/492 - -208/41. Let c = 4032 + -12128/3. Let b = c + j. Is b less than or equal to -0.2?
False
Let p = 19 + -43. Let j = 33 + p. Let t = 0.548 - 0.548. Which is smaller: t or j?
t
Let a(c) = c**2 + 7*c - 5. Let s be a(-7). Let m be 25/1 - (s + 1). Suppose -f + 21 = 2*g, 5*g - m = 2*g + f. Which is smaller: 8 or g?
8
Let d be (48 + -50)/(-4*4*(-1)/(-2)). Do d and 4282 have the same value?
False
Suppose h + 7 = -6. Suppose -57 = 11*p + 75. Is p > h?
True
Suppose w = 2*r - 10 - 4, -4*w + 2*r - 26 = 0. Suppose -5*h = -0*h. Let f be h/2 + (-11)/4. Which is bigger: f or w?
f
Suppose 5*v - 101 = 19. Let o(w) = 3*w**2 - 226*w + 320. Let t be o(74). Does t = v?
True
Let x = -120 + 167. Suppose -x*r = -281 - 424. Let k be (-4 - -10)/(4/9). Which is greater: r or k?
r
Let w = 265 - 275. Let s be ((-5)/(w/(-12)))/(84/(-21)). Which is smaller: s or 1?
1
Let x(r) = -1083*r - 813. Let j be x(10). Which is smaller: -11644 or j?
-11644
Suppose -102*f = -64*f - 64562. Which is greater: 1698 or f?
f
Let m = -2270.011 - -2270. Let j = -0.5 + 0.411. Let i = m + j. Which is smaller: -0.12 or i?
-0.12
Let c = 11027746/55047 - -1/18349. Let o = c - 208. Let v = -25/3 - o. Which is smaller: v or -1/3?
v
Suppose 10*w - 588 = 13*w. Let i(x) = 81*x**2 + 2*x + 1. Let l be i(-1). Let j be 10/(-35) - l/w. Is -1 greater than j?
False
Let v = 4908 + -4909. Which is smaller: -921 or v?
-921
Let h be 3/(((-12)/(-36))/(3/(-27))). Is -1/12805 smaller than h?
False
Let f be 368*(3*3 + 2040/(-240)). Is 153 != f?
True
Let o = -4587/8 + 77659/136. Let h(p) = p**3 + 8*p**2 + p + 7. Let f be h(-8). Which is smaller: o or f?
o
Suppose 4*y + 0*y = -3*n + 8, 5*n = 2*y - 4. Suppose u + 0*v - 2 = -4*v, 0 = 3*u + y*v - 6. Let b be u/(-7) + (-275)/(-693). Is -1 at most as big as b?
True
Let u = 1785.76565 - -0.23435. Which is greater: u or 0.1?
u
Let l(c) = -c**3 - 2*c**2 + 5*c + 5. Suppose -12 + 15 = -3*j. Let y be (3 - (-4 + 3))*j. Let o be l(y). Is o smaller than 15?
False
Suppose 11*r + 5*p + 106 = 7*r, 5*p = -2*r - 48. Let q = -38 + 37.2. Let y = 0.7 + q. Which is bigger: y or r?
y
Suppose -3*w = -47 + 47. Suppose 34*n + 3 = 33*n. Is w greater than or equal to n?
True
Let z = -16234 - -16235. Is z at least as big as -3/703?
True
Let h be (-2 - (-7)/3)/(47573/13560). Which is smaller: h or 0?
0
Suppose 0 = 3*i + 3*f + 3, 44*i - 2 = 46*i + 5*f. Are i and 1/8881 nonequal?
True
Let s = 290 - 282. Suppose -2*c + 3*v = -s, 0 = c + 4*v - 5 - 10. Let p = 6 - 8. Which is greater: p or c?
c
Let w(b) be the third derivative of 26*b**2 + 0 + 0*b - 1/2*b**4 - 1/120*b**6 - 11/60*b**5 + 11/3*b**3. Let h be w(-10). Do h and 42 have the same value?
True
Let b = -37026 + 36999.75. Is 1/4 at least b?
True
Suppose -31161 = 663*o - 714*o. Are -2/5 and o non-equal?
True
Let m(l) = -68*l - 3348. Let n be m(-48). Suppose 31 + 139 = -2*f. Which is smaller: f or n?
f
Let a = 1880.227 + -1881. Let x = a + 1.103. Which is greater: -1/2 or x?
x
Let p = 4/371 - 6470/371. Let i = 55 - 73. Which is greater: i or p?
p
Let j = 5 - 6. Let m be ((-5)/1)/((-8)/(-8)). Let u be m - 254*2/(-100). Which is smaller: j or u?
j
Let h = -13794.9 + 13795. Which is bigger: h or 1352?
1352
Let i = -1.6 - 218.4. Let g = -219.9 - i. Which is smaller: g or -74?
-74
Suppose 4*c - 4 + 0 = 0. Let z = 151166 + -122897960/813. Is c at least as big as z?
True
Let i(c) = -c**2 + 14*c - 5. Let b be i(11). Let u = 130 - 100. Which is bigger: b or u?
u
Let x(d) = -10*d + 39. Let s(w) = -10*w - 17. Let m be s(-2). Let l be x(m). Suppose 19 + l = 2*k. Which is greater: k or 17?
17
Let i be 2268/504*4568/6. Is i greater than 3426?
False
Let g = 3728 - 219943/59. Let m be (-4)/(19 + 5) + 2/12. Which is bigger: m or g?
g
Suppose -2*x - k - 6 = 0, -4*k + 20 = -9*k. Let i be (x*103/1)/((-9)/6). Let o = -68 + i. Which is bigger: -5/3 or o?
o
Let j(g) = 38*g + 74. Let o be j(6). Let m = o + -1519/5. Is 1/4 at least m?
True
Let o(a) = -5*a - 29. Let r(d) = 12*d + 59. Let x(g) = 5*o(g) + 2*r(g). Let i be x(-12). Which is smaller: -12 or i?
i
Suppose -3*i - 3240 = 6*i. Let o = i + -36. Let p be (-9)/(o/(-8))*-2. Do -1 and p have the same value?
False
Suppose -j - 19 = 5*x - 0*j, 3*x = j - 13. Let b be ((x/(-26))/2)/(8/(-16)). Let k be ((-9)/6)/(3/2). Does k = b?
False
Let i = -9.472 + 7.612. Is -0.22 < i?
False
Let m = 14172.4985 + -14172. Is m greater than -1?
True
Let i be ((-15)/44326)/(-5)*1240/930. Which is bigger: 0 or i?
i
Let u = 52 + -50. Let o = -22 + u. Suppose -2*a = 2*c + 40, 6*c - c + 40 = -2*a. Are o and a unequal?
False
Let y be 6/(-30) - 102/15. Let a be 10/35*-1 + 390/y. Let l = a + 120. Is l at least as big as 65?
False
Let q(c) = -c**2 - 4. Let v be q(-6). Let m(p) = 19*p + 52. Let w be m(-4). Let k be (-9)/24 - (-927)/w. Which is greater: v or k?
k
Let p = -89 + 110. Let a be (1056/28 - 0) + 6/p. Let l be a/(-84) - 1/(-6). Is l greater than -51?
True
Let s(h) = h - 1. Let m(i) = 2*i - 1. Let p(j) = 2*m(j) - 3*s(j). Let o be p(9). Let q = 9 - o. Is q at most as big as 2/101?
True
Suppose -164*h + 319*h = 163*h - 16. Which is smaller: h or -4.21?
-4.21
Suppose -2*u - 1604 = 35*w + 138, 0 = 4*u + 2*w + 3756. Which is bigger: -938 or u?
-938
Let a = -14455 - -8075. Let h = a - -6384.043. Let w = -0.043 + h. Is w less than or equal to 10?
True
Suppose -64*r + 398 + 562 = 0. Which is greater: r or 549/40?
r
Let r = -80 + 89. Suppose r*a - 13*a = 0. Suppose a = -5*c + 10, -5*y + 4 = -c + 1. Which is bigger: 2/91 or y?
y
Let b be 1116/(-16)*(24/(-42))/(3/(-21)). Is -1/5 not equal to b?
True
Let i = -560.78 + 560.5. Which is smaller: -2 or i?
-2
Let y(z) = z**2 + 25*z + 49. Let g(o) = 19*o**3 + 34*o**2 - 3*o - 3. Let l be g(-2). Let v be y(l). Is v at most as big as -110?
False
Let u = -2/6563 + -695664/45941. Is u >= -14?
False
Let k(m) = -m**3 + 8*m**2 - 6*m + 12. Let u be k(7). Suppose 5*b - u = 4*z, 6*z - 3*b 