Let f = 35574850487/1287960 - -1/429320. Let d = f + -27529. Let x = -92 + d. Which is smaller: -1 or x?
-1
Let m be (0 + ((-10)/(-2))/(-210))*(-297)/24. Which is smaller: m or 0?
0
Let p = 779/1028 - 2/257. Is 1/118 smaller than p?
True
Let f be 2 + (-4 - (-1 + 3)). Let p be -3*f/(-30) + 0. Suppose -6*n + 3*n - 9 = 0. Is n smaller than p?
True
Let c = 18.039 - 18.2. Let u = -0.061 - c. Which is bigger: u or 47?
47
Let v(y) = y**3 + 2*y**2 - 3*y + 1. Let q be v(-3). Suppose -5*i - 23 + 200 = -h, -147 = -4*i - h. Let n be (-4)/i*4/q. Which is greater: -0.1 or n?
-0.1
Let s = 63607 + -63605. Let v = 389 - 266. Let c = 177 - v. Which is bigger: s or c?
c
Let v = 297343 - 4710210459/15841. Which is greater: v or 1?
1
Let l = -3662 - -3662.27. Which is smaller: l or -12?
-12
Let b(o) = -85*o**2 - o + 1. Let f be b(2). Let u = f + 744. Is 403 <= u?
True
Let q = -0.64631 + -363.32369. Let t = -364 - q. Let a = 0.5 + -2.5. Which is smaller: t or a?
a
Let h be ((-30)/(-1))/6*1. Let d be h - (1080/(-28))/(-3). Is d equal to -7?
False
Let u be ((-22)/44)/((11780/(-8))/5). Is 0 != u?
True
Let w(h) = 750*h + 2846. Let u be w(-9). Which is smaller: -3902 or u?
u
Suppose -3*n - 20 = -0*n - 5*w, 8 = -n + 2*w. Suppose 2*h - 4*y = 0, 6*h + 5*y = 8*h + 2. Let b be ((-6)/3)/(h/46) - n. Are b and -22 non-equal?
True
Let z = -19620.13 - -19521. Let y = 1.87 - z. Let i = -91 + y. Is 4 at most i?
True
Suppose 2*l = 3*w + 79, 5*l - 8*l + 118 = -5*w. Suppose -l = 3*m + 70. Is m at least as big as -36?
False
Let c be 28/10 + 6 + -9. Let x = 74 - 73.919. Let p = 0.091 - x. Do c and p have different values?
True
Let f = -7648 - -7838. Is f greater than 21?
True
Let f be (5764/(-962))/(-2) + -3. Let u(i) = -i**3 + 11*i**2 - 3*i + 38. Let p be u(11). Suppose h - r = 24 - 26, 0 = -4*h + p*r - 9. Which is bigger: h or f?
f
Let p = -656 - -502.4. Let v = p + 156.382. Let b = 0.018 + v. Which is smaller: b or 0.1?
0.1
Let v be (-43)/(2580/(-64))*50/4*87. Are v and 1160 non-equal?
False
Let i(y) = -22*y + 1410. Let a be i(31). Is a > 730?
False
Suppose 7*o + 239 = 1849. Let y = -230 + o. Which is smaller: y or 6/79?
y
Let h = 0.22 + 197.78. Let n = h + -138. Is n bigger than 0.1?
True
Suppose -7 = -q + 10. Suppose 5*y - q = -2*h, 5*h - y - 74 = -3*y. Let s be 2/6*-1*(h - 19). Which is greater: -4 or s?
s
Let q be 1/2 + (-1)/(-6). Let j = -141 + 151. Let t(u) = u**2 - 8*u - 43. Let m be t(j). Which is bigger: q or m?
q
Let l(d) = -d**2 - 31*d - 158. Let w be l(-7). Let r be ((-5)/(-10) + -3)*w. Is -22 smaller than r?
False
Let b be 8/224 + 76846/(-392). Is b bigger than -2153/11?
False
Let v = -3.3 + 0.3. Let x = 0.0159 + -0.0602. Let b = -7.9557 + x. Are v and b non-equal?
True
Let f be 570/(28/21*(-3)/6). Let c = 5975/7 + f. Let t be (8/5 + -2)*5. Which is greater: t or c?
c
Let r(t) = -t**2 - 25*t. Suppose -153 = 14*j + 197. Let u be r(j). Is u bigger than 5/143?
False
Let h = -10151 + 10955. Do h and 809 have different values?
True
Let g(k) = -k**2 + 2*k + 1. Let a be g(2). Let p be a - (-20)/1 - 12/(-4). Suppose 2*j + p + 14 = 0. Which is smaller: j or -17?
j
Suppose 4*c = b + 2, -4*c + 4*b = -c - 8. Let o = -2/75293 + 93011/75293. Is c less than o?
True
Let t = -16979/42 + 3566/7. Is 106 greater than or equal to t?
True
Let j be (-24)/14 + ((-89)/(-89) - (-1)/1). Which is bigger: 0.187 or j?
j
Let r be 132/60 + 2835/(-925). Does -2 = r?
False
Let s = -146042/5 + 29045. Which is smaller: -163 or s?
s
Let q = 24/41 - 974/123. Let k(r) be the third derivative of r**5/60 + 7*r**4/12 + 9*r**3/2 + 20*r**2 + r. Let z be k(-11). Is z not equal to q?
True
Let c = -855 + 856. Let y = 266 - 136. Let z = -63 + y. Which is smaller: c or z?
c
Let t(l) = -17*l + 68. Let b be t(-4). Let a = b - 102. Which is smaller: 19 or a?
19
Suppose -4 = -2*k, 8 = 5*h + 2*k - 3*k. Suppose h*o + 4*q - 106 = 4*o, 0 = 3*o + 2*q + 159. Let w = -129 - -76. Are w and o nonequal?
False
Let c be (14928/16)/(3*2/6). Is 936 less than c?
False
Let y be (-72 + 6/3)/((-4)/(-26)). Let r = y + 453. Are r and 3.18 unequal?
True
Let i(o) = -1494*o + 74. Let a be i(-1). Is a greater than 2/7?
True
Let b be (-1 - -2)*(-21 + 8). Let x(q) = q**3 + 13*q**2 - q - 18. Let c be x(b). Let v be (c/10)/(1/(-16)). Which is greater: v or 6?
v
Suppose g - 18 = -3*f, 0 = -2*g - 4*f + 6*f - 4. Suppose -3*n + 0*m = g*m + 108, -5*n = m + 164. Which is greater: n or -35?
n
Let a = -11588082/133 - -608838/7. Is -153 equal to a?
False
Let u be (2/((-96)/45))/(9/12). Suppose -5*i - 2*h - 231 = 0, -3*h + 126 = -2*i - i. Let m = 44 + i. Is m not equal to u?
True
Let m(v) = -554*v - 9576. Let t be m(-17). Which is bigger: t or -142?
-142
Let s = 4294 + -4295. Which is greater: s or 22/619?
22/619
Suppose 21*z - 38*z = 2924. Which is bigger: -163 or z?
-163
Let b = -234.16 + -7.84. Let v = -239.54 - b. Is v < -1/4?
False
Let s be (-176 + 177)/(27/15 - 2). Let a be 85/(-15)*(-3)/(-4). Which is smaller: s or a?
s
Let a = 8936 + -8937. Which is greater: a or -2552?
a
Let r be (-1450)/(-116)*246/(-5). Is r bigger than -616?
True
Suppose -f + 71*f + 87 = -17*f. Is 5/23 at most as big as f?
False
Let r be ((-16)/3 + 6)*(-1359)/(-6). Suppose -3*d - r = -4*h, d - 107 = -5*h + 96. Is h at least as big as 207/5?
False
Let n = 165.08 - 165. Let v be ((-5)/3)/(30/(-108)). Let f be 1 - 0 - v/10. Is f at most as big as n?
False
Suppose -31*x + 4*h = -27*x - 8192, -2*x + 4145 = 5*h. Is 2058 at most as big as x?
False
Let q = 74 + -80.6. Suppose -3*v = 15*o - 6, -72*o + 71*o + 4*v = 8. Is q > o?
False
Suppose 0 = 155*f - 158*f + 3*n - 3, 3*f - 2*n + 7 = 0. Let i be (-6)/8 + (-138)/(-24). Let j be (-1)/(-5) - 36/i. Which is bigger: j or f?
f
Suppose -441 = 3*m - 21. Let f = m - -138. Is 62 not equal to f?
True
Let x(k) = k**2 + 10*k - 196. Let u be x(10). Suppose 65 = a - u*p + 61, 2*p = -2. Is -1/428 < a?
True
Let v = 1039 + -952. Which is bigger: v or 88?
88
Let d = 205.6 + -205.3. Is 1/12 <= d?
True
Let x = -1001 + 852. Let y = -1041/7 - x. Which is smaller: -749 or y?
-749
Suppose -1 + 7 = 2*o. Let b(p) = 7*p - 6. Let s be b(o). Let t(c) = -c**2 + 17*c - 28. Let f be t(s). Is 1 equal to f?
False
Let a(i) be the third derivative of -13/2*i**3 + 4*i**2 - 1/3*i**5 + 0 + 7/8*i**4 + 1/120*i**6 + 0*i. Let x be a(19). Which is bigger: 2/201 or x?
2/201
Let q = -1802511/1955 + 922. Are q and -1 equal?
False
Let d = -22788 - -24086929/1057. Which is bigger: d or 0?
d
Let z(v) = 2*v**3 - 16*v**2 - 3*v + 22. Let f be z(8). Let q be 0/(-16)*(-1)/f. Which is smaller: q or -4/13?
-4/13
Suppose 0 = 239*z - 122*z + 34632. Is -308 at least z?
False
Suppose 2*x + 4538 = -2*i, 0 = 93*i - 88*i + 9*x + 11337. Which is greater: i or -2278?
i
Let h be (-2)/(4/6) - (-1 + 1). Let b be 1/(h/6)*69/(-6). Suppose -3*w + 52 = -b. Are -1 and w unequal?
True
Let i be (-4)/24*6/30*70. Is i bigger than 8?
False
Let a be (0 - 4)/(11 - 9). Suppose 4*l = -16, 2 = n - 2*l - 29. Let s = a + n. Are s and 21 unequal?
False
Let o = 3958 + -2182. Let m be 436/o + (-1)/4. Which is smaller: m or 0?
m
Let b be (-1880)/(-140) - (2/12)/(7/18). Is b < -39?
False
Let r = -64.128 - -64. Let q = r - 0.192. Let l = -1 + 0.8. Is q > l?
False
Suppose 274*x - 22032 = 240*x. Which is bigger: x or -0.3?
x
Let a = -49 - -53. Suppose a*v + 5*n = 60, 2*v - 32 = -3*n - 4. Let d = -146 - -165. Which is bigger: d or v?
v
Let u be 197/591 - (19366/3)/(-2). Which is smaller: u or 9680/3?
9680/3
Let k = -1.085 + 1.13. Let o = -237 + 236.045. Let w = k - o. Which is smaller: 0 or w?
0
Suppose 0 = 9*b - 18 - 27 + 9. Which is bigger: 139/28 or b?
139/28
Let d(x) = 8*x**3 - 4*x**2 - 6*x - 2. Let n be d(5). Suppose -148 + n = 3*h. Suppose 9*b - h = 5*b. Do b and 61 have different values?
True
Let b(n) = 6*n**2 - 1. Let p be b(3). Let c = -20842 + 20841. Is c greater than p?
False
Let x = 613.6732 + -614.1. Which is bigger: 0.1 or x?
0.1
Let z be 1037/6*(-99)/(-66) - 4/16. Which is bigger: z or 255?
z
Suppose -2*b + 0*b = -24. Suppose 3*o = -o - b. Let l be (-1617)/132 + (2 - -8). Which is greater: l or o?
l
Let u = -47977/190285 - 1/2003. Do 1 and u have different values?
True
Let r(x) = 5119*x + 81. Let k be r(2). Is k bigger than 10318?
True
Suppose -8 = -5*z + b, 0 = 3*z - b - 6 - 0. Suppose 5 = 3*x + 2*x - 5*h, -3*x + 