Let g = 80144611591/218 + -367640895. Let a = g + 5062. Which is smaller: 0 or a?
a
Suppose n - 4*c + 507 - 2865 = 0, 5*n - 11675 = -3*c. Are 2338 and n non-equal?
False
Let v = -1314 - -1310. Suppose 0*n = -n + 2. Suppose -12 = -n*l - 0. Which is smaller: l or v?
v
Suppose 2*i = -113 + 123. Let v = -1 + 9. Let b be -1 + 16/(-4 + v). Does i = b?
False
Let w be (-2)/((20/5)/96). Let v be 8/w - (-19 - 3) - -2. Which is greater: v or 24?
24
Let k = -133401 - -512653/4. Which is bigger: k or -5238?
k
Suppose g - 4*g - 22 = 4*p, -2*p = -2*g - 10. Is -52 at most as big as p?
True
Let b be ((-32)/(-5))/(2/50). Suppose 0 = y + 5*g - 0*g - 123, -3*g - 446 = -4*y. Let h = b - y. Which is smaller: h or 48?
h
Let w be ((-48)/(-1200))/(8/(-380)). Is -2 equal to w?
False
Let l = -3/1060 - 90091/3180. Suppose -40 = 4*t - 2*k + 68, -3*t = 4*k + 81. Which is greater: l or t?
t
Let j = 36673 + -36673. Is j smaller than -51/890?
False
Let s be (36/8)/((-3)/(-16)). Let o = s + -26. Let d be (o + 3 + 1)*(-111)/(-6). Which is smaller: 36 or d?
36
Suppose -23*t + 54 = 4*t. Let v(m) = -55*m. Let n be v(2). Let j be 100/n - (0 - -1 - 3). Which is smaller: j or t?
j
Let k(o) = o**3 - 11*o**2 - 13*o + 14. Let g be k(12). Suppose -g*p + p + 2 = 0. Which is greater: p or 64?
64
Let r = -10969 + 7138. Which is greater: -7661/2 or r?
-7661/2
Let x(r) = 4*r - 10. Let n be x(10). Let h = -30 + n. Suppose -4*v - 5*m - 62 = h, -2*m + 20 = -v - m. Is -18 bigger than v?
False
Let x = -39 + 38. Let k(a) = a**3 + 16*a**2 + 27*a - 13. Let s be k(-14). Let r be (-5)/270*-22 - s/3. Is x smaller than r?
True
Let q be 6 + (1554/(-36))/7. Is q greater than or equal to -176?
True
Let a(u) = 3*u - 23. Suppose -18*x - 116 - 82 = 0. Let g be a(x). Are -57 and g unequal?
True
Let u = -458.8 - -450.8. Is u less than or equal to 0.6?
True
Let h be -245*99/(-304020) - (-2)/(-24). Let p be (-6)/6 - (-2 + 2). Which is bigger: h or p?
h
Let x = 350225/371 - 944. Let a = x - 2608/4081. Which is bigger: a or 0?
0
Let k = -162 - -188. Let i be 9/(-27) + k/51. Which is bigger: i or -3?
i
Let q be (-470)/(-13) + 856/(-5564). Is q <= 23?
False
Let x be (-6)/(-7) + (-169)/91. Which is greater: x or 8/971?
8/971
Let j = 0.6 + 2.4. Let a = 0.18543 - 12.18543. Which is smaller: a or j?
a
Let l(x) be the second derivative of x**4/3 + 7*x**3/2 + 5*x**2/2 - 6*x - 8. Let n be l(-5). Let z = 55/4 + -15. Is z at least n?
False
Let o = -28 - -29. Let y be o/((-28)/(-29) + -1). Does -29 = y?
True
Suppose 29*p - 172 - 727 = 0. Which is smaller: 327/11 or p?
327/11
Let t = -3/40222 - -6029/620102574. Is t < 0?
True
Let g = 714 - 679. Let l be (g - 1)*69/(-46). Which is greater: -0.4 or l?
-0.4
Let g be (1/(-3))/(9/(-19305)). Suppose g = 19*a - 45. Is 42 equal to a?
False
Suppose h = c - 19, 130*h - 4*c - 29 = 131*h. Is -0.05 at most as big as h?
False
Let l(b) = -13*b + 37. Let n(o) = -2*o + 3. Let g(d) = l(d) - n(d). Let z be g(4). Let p = -3 + -5. Which is smaller: z or p?
z
Let d(q) = q**3 + 2*q**2 - 273*q + 270. Let l be d(1). Which is bigger: -20/91 or l?
l
Suppose 69*g + 7*g = -7361 + 825. Is g > -82?
False
Let h = -6938 + 6938.068. Which is smaller: 0.102 or h?
h
Suppose 0 = 6378*x - 6362*x - 63760. Which is greater: x or 3984?
x
Suppose 946 = 17*n + 5*n. Suppose -40*k = -n*k + 69. Which is smaller: k or 25?
k
Let x be -1*1 - (-6 + 8 + -1). Let b be -1*((-231954)/153)/x. Let r = -758 - b. Which is bigger: 1 or r?
1
Suppose -60*p + 2296 + 16304 = 0. Let s = 302 - p. Suppose 3*y + 0*i + 18 = -3*i, -i + 3 = 0. Is y >= s?
False
Suppose -4*a + 2*h = -2*h + 2*h, 0 = h + h. Is a greater than or equal to -60/163?
True
Suppose 152*n - 149*n = 879. Suppose -n = -14*f - 27. Is 18 < f?
True
Let s = -2398 + 2400. Do 62/53 and s have the same value?
False
Let n(i) = 243*i - 251. Let u be n(1). Let q be (-5)/(0 + -3 - -4). Which is bigger: u or q?
q
Suppose -4*n + 33 = 5*s, 3*s = 4*s - 5. Let v = -4847/15 - -324. Which is smaller: v or n?
v
Let b be (-4750)/76*(-2)/(-10)*(-48)/20. Is b > 156/5?
False
Let b be 4 - 2/(-4)*8. Suppose b*l - 3*l = 75. Let t be (2 + 12/(-9))*l/(-4). Are -2 and t nonequal?
True
Let v = -48 + 27. Let c = -1.28445 + 0.28445. Which is bigger: c or v?
c
Let u = -10087/167218610 + 3/17915. Which is smaller: 1 or u?
u
Let c(a) = -a**2 + 5*a + 52. Let j be c(10). Let s(x) = -x**3 + 18*x**2 - 14*x + 14. Let z be s(17). Let i be (z/(-20))/(j/(-8)). Is i less than 15?
True
Let i = 166/1001 + 826710/61061. Is i greater than 13?
True
Let f be -29 - (9 - (5 + 3)). Suppose n + 3*n = -120. Is n <= f?
True
Let a = 3 - -1. Let p be (-2442)/(-240) + -7 - 2/(96/18). Which is greater: a or p?
a
Let c(r) = -41*r**2 + 92*r - 283. Let p be c(3). Which is smaller: p or -371?
p
Let s = -10.708 - -13.108. Do s and 3/32 have the same value?
False
Let s(i) = -4*i**3 - 2*i**2 + 11*i + 12. Let x be s(-1). Let d = -1 - -4. Suppose 2*t - 34 = -x*h - h, -28 = -d*h + t. Which is bigger: h or -0.1?
h
Suppose 2*a + 3*h = 35, 4*h = 4*a + 6 - 66. Let l(f) = -f**2 + 9*f - 5. Let y be l(5). Is y bigger than a?
False
Let o = -3202 + 5202. Is 2000 less than o?
False
Let f(i) = 2*i**3 + 2*i**2 + 12*i - 91. Let q be f(5). Which is smaller: 260 or q?
260
Let c = 37280 - 37279.9725. Which is smaller: 10 or c?
c
Let t = -2 - -2.5. Let d = -604 + 352. Let c = d - -247. Is c at least t?
False
Let b = -16424 - -16475. Are 367/7 and b equal?
False
Let q be (-18)/(-144)*-56 - (-8 + 1). Which is smaller: q or 1/2383?
q
Let t be (-2*11)/(176/(-1144)). Is t > 59?
True
Let v = -11645 - -11633.6. Which is smaller: 5 or v?
v
Let b = -2824 + 17035/6. Let y = b + -467/30. Which is smaller: y or -150?
-150
Suppose h + 48 = -3*w, -h - 96 = h - 5*w. Let y = 34 + -80. Is y greater than or equal to h?
True
Let r = 897797127/4961 + -180971. Are r and 0 equal?
False
Let k = 0.2199 - 0.2459. Which is smaller: 9 or k?
k
Let g(b) = -4*b**2 + 25*b + 36. Let s(y) = y**2 - y + 1. Let i(u) = -g(u) - 5*s(u). Let n be i(-18). Let w be 12/10*50/45. Which is smaller: n or w?
n
Let l(u) = -12*u + 143. Suppose -3*n - i = -37, -2*i = -4*n - 15 + 61. Let v be l(n). Is v not equal to -1/20?
True
Let h = -2.421 + 2.221. Is -904 at least h?
False
Let s be (-260)/(-26)*(-1)/(-5). Let p be s*((-13)/(-6) + (-78)/39). Is 0.032 > p?
False
Let b = -0.2461 - 2231.7539. Which is bigger: b or -1?
-1
Let l be (10 - 660/70) + 83745/(-105). Is l at most -807?
False
Let y = 20 + -53. Let k = y - -30. Let a be -2*k/(-36) + 15/(-18). Is 5/32 less than or equal to a?
False
Let a = 68 - 151. Let n = a - -175. Let y = -462/5 + n. Are 5/6 and y equal?
False
Let i be 54/(-21)*(-434)/(-93). Which is bigger: -18 or i?
i
Let g(b) = -b + 15. Let k be g(-3). Suppose 3*j + k = 3, -40 = -5*m + 4*j. Suppose m*o = -3*o. Which is bigger: o or 0.03?
0.03
Let f(q) = q**3 + 11*q**2 - 11*q + 12. Let t be f(-12). Suppose t*d = -2*d + 962. Do 482 and d have the same value?
False
Let y be (-66)/(-912)*-2 + (-26)/247. Which is greater: 3/11 or y?
3/11
Let a = -2985 + 4134. Are a and -2/3 nonequal?
True
Let i = 1744 - 22671/13. Which is greater: -19 or i?
i
Let t = 51880 + -51881. Let a = 306.677 + 0.323. Which is greater: t or a?
a
Let g be 0*-2*(-1)/(-6). Let u be -15 + 18 + g/2. Suppose -5*t + u*t = 5*b + 136, -2*b - 2*t - 52 = 0. Is -27 greater than b?
True
Let i = -24 + 27. Suppose -3*h + 14 = x, 5*h - 2*h - 18 = i*x. Let a be (-3)/(63/(-6)) + (-26)/(-154). Is a smaller than x?
False
Let w = -1.23 + -63.77. Let t = w + 55. Let m = t - -2. Which is smaller: -0.3 or m?
m
Suppose -3*h - 2*i - 66 = 0, -5*h - 15*i + 14*i - 117 = 0. Let a be h/342 - (-2)/6. Suppose 3*j - 1 - 2 = 0. Is a at most j?
True
Let i = -3094 - -3123. Which is bigger: i or -2?
i
Let g(z) = -z**3 - 13*z**2 - 13*z - 10. Let q = 9 + -21. Let u be g(q). Suppose 2 = -u*o - n - 1, 5*o = 2*n - 21. Is o > -2?
False
Suppose 4*g = 2*o - 806 + 3062, -2*g + 3*o = -1112. Is g less than or equal to 564?
False
Let p be -2 - (66 + -1 + 2). Let x be (-1 + (-2)/4)/p. Suppose 5*d - 12 + 5 = -2. Which is greater: d or x?
d
Let s = -12824 + 12820. Are -172.3 and s equal?
False
Let z = 66.6 + -59. Let o = 149.4 + z. Which is bigger: 2/5 or o?
o
Let f = 413 - 406. Let j(p) = -26*p - 3. Let h be j(f). Is h less than 2?
True
Let t be (-2)/(-7) - (-627)/231. Let o(l) =