. Let x be 1 - (-5)/(2685/(-528)). Is z bigger than x?
False
Let w = 5 - 3. Let j(x) = -17*x - 1. Let m be j(-4). Which is smaller: m or w?
w
Let o be 8/(-28) - (-204)/721. Let i = -5/37173903 - 56355503563/991688210331. Let h = i - o. Is h less than 0?
True
Let l be (-12)/(-4)*((-4)/9 + 35/45). Which is greater: l or -1/41?
l
Let p be (-1 - (4 + -4 - 3))*-6. Let i be p/(-9)*1/3. Let m be (-3)/((-9)/(-2)) + 0. Are i and m unequal?
True
Let i = -79/13 - -12074/1989. Let w = 469 - 470. Which is smaller: w or i?
w
Suppose 2*k - 12 = 6*k, -4*k = -3*o + 6. Let i be 4 + 0 + 3 + o. Let w be 6 - 15/i - 15. Which is greater: -11 or w?
-11
Let p = -1151/2 - -565. Let a be 7/14 + ((-171)/(-6) - -1). Suppose -5*r = -5*t + t + a, 0 = 3*r - 3*t + 15. Which is smaller: r or p?
p
Let v(m) be the second derivative of m**4/6 - m**3 + 2*m**2 - 88*m. Let h be v(2). Let i = -5/22 - -12/77. Is h >= i?
True
Let m be (-50)/(-22) + -2 + 0. Let a(l) = -l**3 + 3*l**2 + 5*l - 4. Let b be a(4). Suppose b*c + 9*c = 0. Which is bigger: m or c?
m
Let k = -82.6 - -60. Let d = k + 23.6. Which is smaller: -5/8 or d?
-5/8
Suppose -2*v - 629 + 188 = 1961. Which is bigger: v or -1200?
-1200
Let g be (18/(-32))/((-192)/(-256)) + 7/4. Is g at least 848?
False
Suppose 15882 = 2*z - 0*z. Let m = -1629681864271/1059 + 4616638682/3. Let n = m + z. Which is smaller: n or 1?
n
Let q be ((-8)/6 - (-5)/15)*-4. Suppose q*b + 32 = 8*b. Suppose -b = j + 9. Is -16 greater than or equal to j?
True
Let k = -199/20 + 39/4. Suppose -59*t - 7 = -3*t - 63. Which is bigger: k or t?
t
Let c(p) = p - 2. Let h(n) = -3*n + 16. Let m(r) = -2*c(r) - h(r). Let d be m(11). Let i be ((-6)/(-32))/((-2)/(-4)). Which is smaller: i or d?
d
Let o = 272.4 - 318. Let p = 79 + -34. Let z = o + p. Which is smaller: 2/13 or z?
z
Let u(g) = -536*g - 1. Let n be u(1). Suppose 415 = 5*l - 5*a + 3190, -20*a = -3*l - 1988. Which is smaller: l or n?
n
Let w = -37 + 24. Let a = -71 - -59. Which is greater: a or w?
a
Let b = -2098 - -772. Let s be (-1139)/b + 4/(-6). Does 1 = s?
False
Suppose -207 = -19*b - 4*b. Let v be 1 + 26 + b + 0 + 1. Let o(c) = -c**3 + c**2 - c + 39. Let j be o(0). Which is smaller: v or j?
v
Let b be ((-3)/4)/((-2)/(-8))*-1. Suppose b = 3*s + c, 0*c + 2*c = -2*s + 6. Let n be (s + 10)/5 - 2. Which is bigger: -3/35 or n?
n
Let d = 976 - 972. Let x be 232/(-2175)*(-6)/d. Is 1 < x?
False
Let w = -0.07 + 0.16. Let q = w - 47.09. Let d = -48 - q. Is d > -65?
True
Suppose -10*m - 31 = -1. Let r be -3 + (8/28)/(m/(-21)). Which is bigger: -2 or r?
r
Let d = 20.96 - 20.76. Which is smaller: 73/7 or d?
d
Let b(g) = g**3 + 3*g**2 - 12*g - 7. Let v be b(6). Suppose 13*w + v + 223 = 0. Is w equal to -36?
True
Let n = -19 - -13. Let w = n + 6.004. Let u = w + 0.996. Is u less than 0.55?
False
Let v be ((-150)/36)/(-5)*24/40. Let a = 342 + -331. Which is smaller: a or v?
v
Let z = 18369.9 + -18370. Is z >= 3/2518?
False
Let h = 98063 + -103554559/1056. Let q = h + -1/32. Is 0 smaller than q?
False
Let b be (-6)/14 + (-30)/(-21). Let c be 1426/142*(-13)/(-65) - 2. Is b <= c?
False
Let o be 119903/(-19635) - 3/15. Let h = 100/17 + o. Which is greater: h or 1?
1
Let k = -5554 - -5539. Which is bigger: -695/43 or k?
k
Let l(t) = 4*t**3 + 4*t**2 - 12*t - 49. Let g be 13/(-3) + (5/3)/5. Let m be l(g). Which is bigger: m or -192?
-192
Suppose 3*j - 6 = l, 0*l - 2*l - 5*j + 32 = 0. Let i be ((-27)/l)/((-9)/48) + -2. Let t be 4/(-22) + (-40)/i. Which is smaller: t or 0?
t
Suppose 5*w - 3*b + 172 = -0*b, 36 = -w + b. Suppose -2*g - 76 = -4*j, 0 = -3*g + 177*j - 172*j - 111. Is w at most as big as g?
True
Suppose -133 = -2*d + 11. Suppose 9*s + d = 15*s. Suppose s*k = 6*k - 6. Is k <= -10/31?
True
Let c(q) = 2*q**3 - 51*q**2 + 33*q - 201. Let o be c(25). Is o less than -5/107?
True
Let m = -70 + 77. Let q be (m - 4 - 1) + -127. Let b be 2 + (-1 - 4) + q/(-42). Which is bigger: b or -1?
b
Let o(u) = 33*u + 170. Let f be o(-5). Let t be -4083*(-7)/5719 - f. Is 0 not equal to t?
True
Suppose r - 2*a - 16 = -3, 6 = -3*r - 3*a. Let l = 5 - 4.85. Let x = 0.05 + l. Which is smaller: x or r?
x
Let z = -81/76 + 33977/31844. Let a = -131 - -131. Which is greater: a or z?
z
Suppose -28163 = -79*a - 105*a + 43965. Which is smaller: a or 375?
375
Let s be (6762/(-8))/(5100/(-680)). Is s greater than or equal to 114?
False
Suppose -8*n + 168 = 4*n. Suppose -37*w - n = -39*w. Let j be 6*(1 - 3/(-6)). Which is bigger: w or j?
j
Suppose s + 3 = -p, 6*s + 11*p - 14*p - 9 = 0. Is 1/1273 > s?
True
Suppose b = 3*o - 77, 0*o = 5*b + o + 465. Suppose 12*v - 892 = 212. Let w = v + b. Which is smaller: -2/43 or w?
-2/43
Let z = -13.53 - 3.99. Let j = 17 + z. Let s = -6 - -5.9. Which is bigger: s or j?
s
Let f(v) = v + 6. Let o be f(-4). Let r(g) = -30*g**2 + 5*g - 4. Let t be r(o). Which is smaller: t or -113?
t
Suppose 2*q = -3*o + 2, 12 = 2*o - 2*q - 2*q. Suppose 0 = -f + 4*f. Suppose 0 = 3*t - f*t + v, -3*t = -o*v - 9. Is t equal to 4/33?
False
Suppose -124*f = -63*f - 221003. Is f greater than or equal to 1?
True
Let j(g) = 359*g + 1214. Let c be j(13). Is 5882 bigger than c?
True
Let y be (-1)/(76/(-8)) + (-5540)/(-76). Let n be (5 - (y + 2))*(-2)/(-4). Which is smaller: n or -109/3?
-109/3
Let n(s) = -3*s + 2. Let k be n(1). Let y = -231 + 228. Let o be y*(-2 + k - (-16)/6). Which is smaller: -1/19 or o?
-1/19
Suppose 0 = -y - 2, -y - 54 = v - 23. Let a be 84/(-14) + (-187)/v. Which is smaller: a or 0?
0
Let c be ((2 - 1) + -1)*(-8668 - -8669). Let z = 36658/21 + -1745. Is z < c?
False
Let m = 12429 - 12428.9. Is 2/1193 less than m?
True
Let t(p) = 12*p**2 - p - 1. Let k be t(-1). Let i be (k/9)/((-6)/9). Suppose 3*s - 3 = a, a - 34 + 35 = s. Which is smaller: s or i?
i
Let m = -274 - -298. Suppose -4*s = 5*j + m, s + 4*j + 13 = 4*s. Let l be 238/120 - (-1 - -3). Is s != l?
True
Let p be 6985/25 - (36/15 + -2). Let v = p - 280. Which is smaller: 1/77 or v?
v
Let s = 46169/10258 + -4/5129. Let d be 0 + (2 - -1) + 3. Which is smaller: d or s?
s
Let b = 828 - 666.8. Let n = -161 + b. Let w = 0 - 0.8. Is w less than or equal to n?
True
Let z(o) = o**3 - 35*o**2 + 38*o - 85. Let a be z(34). Suppose 181*d - 184*d = -a. Is 14 >= d?
False
Let r be 150/(-30)*168/5. Is -172 <= r?
True
Let r = -309 + 311. Let n = 0.1032 - -4.9668. Let y = n + -0.07. Does y = r?
False
Suppose -3*o = o + 68. Let w be (-2)/(-56) - o/68. Are 221 and w non-equal?
True
Let b be 24/96 - 2394/8. Let y = 299 + b. Which is greater: -9/43 or y?
y
Let d(b) = 40*b**2 + 3*b + 5. Let l be d(-1). Suppose -l = -5*c - 47. Which is smaller: -2/1517 or c?
c
Let v = 9 + -3. Let d be (-166)/(-852) - v/36. Let u(o) = 4*o + 11. Let p be u(-3). Is d at most p?
False
Let d = -7939 - -3207357/404. Suppose -2*a + 2 + 0 = 0. Is d >= a?
False
Let o = -198023518/3065 - -64608. Are o and 0 nonequal?
True
Let s be 2/(-5) + 10892/(-220). Suppose -17*t - 581 - 269 = 0. Let x = s - t. Which is greater: x or 0?
x
Let q be 17*(-7 + 4 - -5). Suppose -4*r + 172 = -3*z, 3*r - 28*z = -33*z + 129. Which is smaller: q or r?
q
Let l be 12/4 - -1 - (-45)/(-3). Let i be 2/(-4) + (-114)/12. Let k = i - l. Do k and -2/55 have different values?
True
Let b(q) = -q**2 - 7*q - 7. Let v(o) = o**2 + 14*o + 40. Let y be v(-9). Let g be b(y). Is 1/58 > g?
False
Let t be -5 + 13 + 30/(-17). Is -1 < t?
True
Let o = -796 - -774. Let z = o - -31. Are z and -15/2 equal?
False
Let w = -16054499/1375 + 11676. Is -1 != w?
True
Let r be (-450)/(-75) + 3*(-16)/86. Is 5 > r?
False
Let z(j) = -14*j**2 - 9*j - 7. Let l be z(-4). Let r = 109 + l. Let q be (-57)/38 - r/(-4). Which is smaller: q or 1?
q
Let i be (-890)/(-145) + 1081/47. Which is greater: 28 or i?
i
Let i be (850/(-14220))/(-17)*(-20)/(-75). Is i smaller than 1?
True
Let v be (-3 - -1)*9/(-6). Suppose o - 2*a = 6*o + 13, 0 = 5*o - v*a - 7. Let j be (o/4)/(-2 - 2). Which is smaller: j or -1?
-1
Let s = 1575 + -1575.0142. Which is greater: s or 0.2?
0.2
Let w = -77 - -81. Let h = -477 - -469. Which is greater: h or w?
w
Let q = 667 - 634. Let p = -10747/10 + 2085/2. Let x = p + q. Which is smaller: 0 or x?
0
Let x = 59 - 29. Let n(h) = -h**2 - 35*h + 430. Let z be n(9). Is x != z?
True
Let i = 7/15 + -3/10. Let q be ((-3)/1 + 5)/(-2 - -13). Does q = i?
False
Let j be (3/2)/((-3