t q be k(1). Let d be -1*q/5*-5. Is b bigger than d?
True
Let o(x) = 1 - 4 + 3*x - x - 3*x. Let g be o(-2). Let b be (-1)/(-7)*-2 - 357/(-1421). Are b and g equal?
False
Let t = 23 - 15. Suppose -t*h + 3*h = 2*f - 21, -4*f + 27 = 5*h. Let y be ((8/(-4))/(-4))/1*f. Which is smaller: y or 21?
y
Let f = -1947 - -1447.4. Let v = f + 556. Let p = v + -56. Which is smaller: 2 or p?
p
Suppose -f + 601 = -3*d, -1761 = 96*f - 99*f + 3*d. Which is bigger: f or 4070/7?
4070/7
Let w(l) = 25*l - 375. Let v be w(15). Suppose h + 28 = -4*b + 12, v = -4*b - 8. Which is greater: 9 or h?
9
Suppose 8*o - 9*o = -3. Suppose o*n = -n. Let i = -13 + n. Which is bigger: -12 or i?
-12
Let y = 88413 - 1857152/21. Is y > -22?
False
Let s(z) = z**2 + 31*z + 235. Let o be s(-13). Let g be (9 - 1 - 9)/o. Is 10/51 < g?
False
Let w = -182 + 178. Let t be -1 + 3 + 1038/2112*w. Which is smaller: t or -1/3?
-1/3
Suppose 2581*b = 2567*b. Is 3/5455 at most as big as b?
False
Suppose -4*y - 312 + 1184 = 0. Suppose -y + 22 = -4*d. Let i = 249.905 + -249.705. Is d at most as big as i?
False
Let i be -8 - (4416/(-176) - -16). Let b = -1 - -5. Suppose c = b*c. Which is bigger: i or c?
i
Let h = -135 + 159. Suppose h*z - 4568 = -1352. Is 135 less than or equal to z?
False
Let s = -296 - -1477/5. Is s less than or equal to 1.04?
True
Let p be (-1)/(-4) + 159/(-156). Let s(u) = 266*u + 2. Let a be s(-1). Let z = a + 262. Which is bigger: p or z?
p
Suppose j + 1291 - 5722 = -3*g, -4*j = 4*g - 17748. Does j = 4439?
False
Let i = 716 + -221. Let p = i - 492. Which is greater: -94 or p?
p
Suppose -2*v + 75*w - 70*w - 27 = 0, 3*v - w = -47. Let d = -31 + 17. Which is smaller: v or d?
v
Let a(w) = -w**2 - 40*w + 151. Let n be a(-43). Suppose 0 = n*c + 15 + 95. Is c at most as big as -90/17?
False
Let g = 37.912 - -0.088. Let o = 38 - g. Let r(q) = -q - 2. Let t be r(-5). Is t < o?
False
Let i = -791 - 336. Let v = i - -15797/14. Which is smaller: 1 or v?
1
Let p be (-67184)/(-192168) - 8/(-42)*(-28)/24. Is -1 not equal to p?
True
Suppose -5*c - 2*c = -16*c - 12*c. Let w = -2038923/305 + 6685. Is w >= c?
True
Suppose 214 = 5*t + 4*o, -5*t = o + o - 212. Let g be 2/(-15)*(-35)/t. Let y = -5/9 - g. Is y less than 13?
True
Let a = 46122645 + -150452065187/3262. Let f = 6/7 - a. Which is greater: f or 0?
0
Let y = 37.866 - -0.134. Let t = y + -42. Is 6 >= t?
True
Let r = 354 + -333. Suppose -r*o - 180 = -30*o. Let y be 24 - 1 - 2/2. Is y at least o?
True
Suppose 16 - 14 = 34*m + 2. Is -1/10176 at least m?
False
Let t be (0 - 1) + 2/2. Let q be 1 + 16/24 + 24/(-9) + 3. Suppose t = -q*y + 10*y - 16. Do y and 7 have the same value?
False
Let y = -8306.43 + 8250. Let n = -0.43 - y. Let c = n + -58. Is c at most as big as -1.4?
True
Let c = -0.58 - -0.74. Let s = -0.06 + c. Is s less than 6.2?
True
Let x(s) = -10*s + 728. Let d be x(37). Suppose -3*c + 1056 = -3*t, -2*c - 6*t + 2*t = -734. Which is smaller: d or c?
c
Let p(n) = -2*n**3 - 276*n**2 + 2. Let t be p(-138). Is t equal to 195/76?
False
Suppose -3*z + 620 + 12790 = -13*z. Which is smaller: z or -1339?
z
Suppose 4*f - 7 = 9. Suppose 5*q = 3*u - 22, 0 = 3*q - 6*q - f*u + 10. Let o be (28/(-21))/(q/(-6)). Is -5 at least as big as o?
False
Let z be 111501/18603 - 2*3. Let k be (-102)/(-156) + 6/(-39). Which is bigger: k or z?
k
Let g = -0.1716 + 3.1716. Which is bigger: 45 or g?
45
Suppose -2 + 4 = 2*k. Let r be (4 - (-20)/(-4))/k. Which is smaller: -3/125 or r?
r
Let l be (1063 + 2)*8/(-24). Let a = l + 307. Which is smaller: a or -49?
-49
Let d be (-18 - (-2451)/133) + 3/(-7). Which is bigger: 1/522 or d?
1/522
Let j be (-1 + -25)/(-1 + 1/2). Let o = -362 + 414. Is j >= o?
True
Let u = -6109188831/52 + 587438758/5. Let s = u - 3351. Which is smaller: -1 or s?
-1
Suppose 10*h = 5*h - 20. Let c be 57*7/84*h. Is 2/9 at most as big as c?
False
Let f = -187189/24724 + -1/3532. Let d = -57/7 - f. Let p be 2*((-3)/(-18)*-39 + 6). Is p not equal to d?
True
Let t(z) = 7*z**2 - 138*z + 1977. Let l be t(20). Is 2019 at least l?
True
Suppose 234435*u - 234464*u = 754. Let z be ((-27)/4)/((-1)/(-4)). Is u at most z?
False
Let h(i) = -558*i**2 - 1281*i + 6. Let n be h(-6). Which is smaller: -12395 or n?
n
Let v = -58741929/722 + 81360. Which is smaller: 0 or v?
v
Let n = 5 + -11. Let x be (3 + (-25)/15 - 1)*2577. Let h = -854 + x. Is n less than h?
True
Let t be -6*((-7)/3 - -2). Let j be (32/(-36))/t - -1. Let a = 2368/7 + -338. Is j smaller than a?
False
Suppose 11*f + 1824 = 3*f. Let a = -228 - f. Is a greater than or equal to 2/181?
False
Let d = 143 + -143.87. Let r = d - 3.03. Let v = 3.89 + r. Which is smaller: 2/5 or v?
v
Let c(n) = n**3 - 9*n**2 + 8*n + 16. Let p be c(8). Suppose 14 + p = -15*a. Is 62 greater than a?
True
Let p be 78351/17748 + (-2)/(-8) + -3. Let w = -46/29 + p. Which is greater: w or 1?
1
Let j = 0.02 - 0.1. Let u = -8.1 - -4.1. Which is greater: j or u?
j
Let w be (-14)/28*2/4*4. Suppose -9 = -2*u + 5*u. Let v be (u/6)/((-20)/8). Which is bigger: v or w?
v
Let d(v) = -17*v + 47. Let z be d(6). Let t = z + 56. Is 2/171 smaller than t?
True
Suppose 2*s + 37 = -13. Let n be 0 - (-2 + (2 - -2)). Let c be 1/(196/100 + n). Is c less than s?
False
Let i = -6 + 2. Let f be 0 + (-16)/4*(-3)/i. Let c be -4*(0 + (f - (-2 - 3))). Which is bigger: c or -13/2?
-13/2
Let t be (-8)/20*(-30)/6. Suppose -t*n - p + 20 = -6*p, -4*p - 16 = 0. Suppose n = j + 54 - 26. Do j and -28 have different values?
False
Let h = 16846 + -20992. Is h < -2?
True
Suppose -8*n - 201 = -161. Is n <= -108?
False
Let i be (-797)/10*4 - (-23 - (-39 - -8)). Is -328 smaller than i?
True
Suppose 4*z - z - 5 = a, 3*z - 2*a - 4 = 0. Let y be z/((-48)/36)*(-38)/(-3). Let o = -67 - -47. Which is greater: o or y?
y
Let y be -1 + ((-288784)/(-448) - (-3)/(-4)). Which is bigger: y or 644?
644
Suppose 3*u - 12 = 0, 2*u = 4*o - 2 - 62. Let t be ((-10)/87)/((-3)/o*-2). Is t greater than or equal to 0?
False
Let l(c) = 12*c + 2. Let d be l(2). Let b be d/((-3)/(-6) - (-1)/6). Suppose 2*k - 5*g = -44, -5*k - 5*g + b = 114. Is 0.1 greater than or equal to k?
True
Let w be ((-44)/132)/(2 - (-7354)/(-3678)). Which is bigger: -614 or w?
w
Let u = 4.541 - -0.019. Let q = u - 4.8. Let m = q + 0.24. Which is smaller: m or 56?
m
Let o be (-14)/(-9)*(-97260)/1480. Let p = o + 307/3. Which is smaller: p or 0.2?
p
Suppose -59*d - 252 = -52*d. Let a be -2*15/80*d/27. Is -3 greater than a?
False
Let a(h) = -11*h**2 + 47*h - 90. Let r be a(7). Which is smaller: r or -1496/5?
r
Suppose -181*h = 280 + 2254. Is -0.17 at most h?
False
Let h(q) = 2*q**2 - q + 4. Let f be h(4). Let n be 0 - (-2)/(-4) - (-33 + f). Suppose 5*w = -2*a - 20, 0*w - 2*w = a + 8. Is n smaller than w?
False
Let y = -5098 - -5098. Let o = -515958555/61 + 8458714. Let g = 377 - o. Are g and y nonequal?
True
Let d = 583 + -1462. Is d less than -879?
False
Let u = 26704/120249 - -2/13361. Do u and -2063 have the same value?
False
Let q = 0.8 + -0.4. Let y = 0.2 - q. Let c = 5163.1 - 5163.2. Which is smaller: c or y?
y
Let g = -0.43 + 55.43. Let p = 311 + -255. Let b = p - g. Which is smaller: b or 8?
b
Let t = -0.1 - 0. Let g = t - 1.9. Let n = -17.264 - -0.264. Which is smaller: g or n?
n
Let h = 223 - 146. Let b = h - 163. Is b at most as big as -86?
True
Let c(t) = 99*t - 88. Let f be c(-1). Is -2/11 at least as big as f?
True
Suppose -a + 182 = -4*j - 19, 2*a = 2*j + 366. Suppose -658 = -5*u + 227. Are u and a equal?
True
Let g be ((-2)/12)/(-1 - 65/(-52)). Is -19.14 bigger than g?
False
Let g(r) = -r**3 + 19*r**2 - 20*r + 26. Let x be g(18). Let u be x/(-6)*(-120)/(-208). Let n = 6/13 - u. Is n < 9?
True
Let u = 393 - 306. Suppose c + 5*r = u, r - 2*r - 181 = -3*c. Let i be (-1 + 20/6)*27. Which is greater: c or i?
i
Let b be 42/(-279)*5/((-20)/(-3)). Which is bigger: 3 or b?
3
Let d(m) = -5*m**2 - 4*m + 2. Let v(p) = p**2 + p - 1. Let w = 57 - 60. Let o(n) = w*v(n) - d(n). Let i be o(0). Which is bigger: i or -4/7?
i
Let n = 6013 + -6010. Suppose -4*f = -j - 3*j - 92, -10 = -5*j. Let z be (20/f)/(4/14). Are z and n equal?
False
Suppose 3*q - b = -14, 3*b + 5 = -4*q - 31. Let v be -7 - (-6 + q + 6). Is 0.1 smaller than v?
False
Let v(t) = -2*t**3 + 6*t**2 + 3*t + 1. Let a be 3 - ((4 - 7) + 3). Let u be v(a). Suppose -2*m + 4