-3. Let z = 111.71 - 115.71. Which is greater: z or y?
y
Let y = 30 + -21. Let m = 906.03 + -912. Let x = 6 + m. Which is bigger: y or x?
y
Let c be (-2 + 3 + 0)/(275/25 - -804). Is c greater than -1?
True
Let a(h) = -19*h - 24. Let z be a(-6). Let l = z - 88. Let x be (6 - 7)*(l/2 - -12). Which is smaller: x or 1?
x
Let t(z) = -z**3 + 3*z**2 + 45*z + 252. Let f be t(10). Which is bigger: -43 or f?
f
Let f(a) be the first derivative of -4*a**3 + a**2/2 - 2. Let v be f(-1). Let q(k) = k**3 - 22*k**2 - 26*k + 57. Let u be q(23). Is u bigger than v?
True
Let a be (-6)/((-2 - -5)*(84227/33 + -5)). Which is smaller: a or 1?
a
Let t be (4 - 5)/(-4*(-5)/820). Let c(y) = 4*y + 166. Let u be c(t). Is 19/9 not equal to u?
True
Let n = -9.29 + 9.1. Let b = -17.88 - -5.07. Let w = b + n. Do w and -0.2 have the same value?
False
Suppose 2*y - 10 = 0, -2*v = -y + 3*y - 934. Let g be ((24/v)/(-2))/14. Is g < 0?
True
Let g = -0.008 - -0.028. Let w = 56 - 13. Let d = w + -216/5. Do d and g have the same value?
False
Let p be 7 - 8/3*(-1530)/40. Which is smaller: 2 or p?
2
Suppose 3*o - 4*s = 18113, -70*o - 7*s + 18157 = -67*o. Which is smaller: o or 6044?
o
Suppose -1170*o + 1180*o + 1050 = 0. Let r = -0.6 + -0.4. Are r and o non-equal?
True
Let y be (-3488)/48*24/(-16). Is 125 smaller than y?
False
Let f(q) = q**3 - q**2 - 4*q + 3. Let c be f(2). Suppose 4*h = 24 + 16. Let i be h/6 - 1 - (-576)/(-891). Which is smaller: i or c?
c
Let t(u) = -5*u - 14. Let r be t(2). Let q be (r*1/(-5))/(8/(-40)). Which is greater: -22 or q?
-22
Let w(h) = -h**2 - 51*h - 388. Let o be w(-42). Is o less than or equal to 212?
True
Suppose 134 = -100*c + 101*c. Suppose -17*r = -15*r - c. Is r less than 67?
False
Let n = 8370 + -7389. Is 0 bigger than n?
False
Let s = 0 - -2. Let j be 2/16 - 127/(-8). Suppose -26*u = -18*u - j. Is u >= s?
True
Let l = 250142/99 + -14013/11. Is 1254 less than l?
False
Suppose -2*f = 12401 - 11487. Which is smaller: -10 or f?
f
Let z = 2 + -2.2. Let y = 100 + -94.2. Let i = y - 5.79. Do z and i have different values?
True
Let s = 8771 + -8769. Which is bigger: s or -3/8224?
s
Let r = -2888 - -2889. Let j be (-2)/(-18)*(-2 + 15). Is j smaller than r?
False
Let b = 2.77 - 158.77. Let d = b - -168. Which is greater: -5 or d?
d
Suppose -4*l = -4*o - 12, -2*l - 4 = 3*o - 30. Suppose a + l = 4*i - 4, -3*a + 2 = -5*i. Let u = 29690/7 + -4232. Is a >= u?
False
Let m be (-3 - 2) + 134*(-3 + 2). Are m and -140 equal?
False
Let w be 2/(-57)*90567165/(-10). Let q = -13072320197/41135 + w. Let h = 14/433 - q. Is h at most as big as 11?
False
Let p = -48 + 95. Let o = 47 - p. Let w = 1.95 - -0.35. Is o greater than or equal to w?
False
Let p = 1 + -1. Let l be (-612838)/7280 + 0 - (-2)/(-5). Let a = -592/7 - l. Which is smaller: p or a?
p
Let n = 0.9 - -0.1. Let g = 9104 + -27364/3. Is n at most as big as g?
False
Suppose 0*a = 4*a. Let n = a - -2. Let k = 31 - 30. Do k and n have different values?
True
Let q = 22246 + -11107. Is 11139 != q?
False
Let a = -39047 + 39127. Let z = 172 + -92. Does z = a?
True
Let t be ((2/4)/(7/14))/(56/485912). Which is smaller: t or 8676?
8676
Suppose 9*y = 5*y - 16. Let p be (1159/22)/(y + 40 - 4). Let k = p + 11/64. Is k bigger than 3?
False
Let z = 1.2 + -1. Let a(r) = -r**3 + 4*r**2 + 12*r - 28. Let q be a(5). Suppose c = q*c + 126. Which is greater: z or c?
z
Let m = -82 - -91. Suppose 12*c + 308 = 4*v + m*c, -2*c - 385 = -5*v. Is v smaller than 78?
True
Let x(d) = -14*d - 79. Let l be x(-6). Suppose -7*o - l = -12. Which is smaller: 2/101 or o?
2/101
Let j(v) = -v**3 - 2*v**2 + 3*v - 1. Let n be j(-3). Let f be -5 + (-2581)/(-287) + -4. Let a = f - 277/1435. Which is smaller: n or a?
n
Suppose 0 = -76*m + 11*m + 371280. Which is smaller: m or 5714?
m
Let i be 57/190*(-15)/81. Is 0.0437 less than i?
False
Suppose 0 = -53*y + 66*y - 507. Does 43 = y?
False
Let r be (-1376)/110 + 2/3. Let i = r + 284/15. Let n = -1457 - -1465. Which is bigger: i or n?
n
Suppose -6*q = -50*q - 1232. Which is greater: -409/15 or q?
-409/15
Let w be 470/1*48/(-176). Let l = -87 - -215. Let s = w + l. Which is greater: s or 6?
6
Suppose y - 3*y + 4 = 0. Suppose -y*m - i - 1 = -2, 5*m - 2*i = 16. Let o = -1209 + 1220. Is m bigger than o?
False
Let y = -0.033 - 0.042. Let x = -0.283 - y. Let b = x + 0.008. Which is greater: b or -0.1?
-0.1
Let g be (282/48 - 4) + -1. Suppose -234 = -64*c + 22. Is g greater than or equal to c?
False
Let j = 2843.53 - 2819. Which is smaller: j or 0?
0
Let f = 42 - 40. Suppose 0 = f*v - 209 - 191. Suppose -18*a + 14*a + v = 0. Which is bigger: 51 or a?
51
Let c = 7 + -5. Suppose 0 = 2*n - c*i - 20 - 2, 3*n - 41 = 5*i. Suppose -2*f + 5*f - 25 = -5*s, 4*f - 20 = -5*s. Which is bigger: s or n?
s
Let h(o) = -o**2 + 1 + 36*o - 33*o - 2*o. Let a be h(0). Is -2/315 bigger than a?
False
Let g be ((-301064)/(-120)*5)/(-609). Let x = -7/261 - g. Which is bigger: 22 or x?
22
Let m(d) = d**3 + 12*d**2 + 88*d - 46. Let u be m(14). Which is smaller: 6283 or u?
u
Suppose 0 = -39*v - 5 - 34. Suppose 3*q - 5*y + 92 = 0, 0*q + 4 = -q - 5*y. Let m be (1/(-4))/((-27)/q). Which is smaller: v or m?
v
Let q = 12300 - 12233. Which is bigger: q or 70?
70
Suppose 23 = 3*h + 26, -2*p + 1801 = -h. Which is bigger: p or 899?
p
Let n(u) = -u**3 - 12*u**2 - 27*u - 35. Let y be n(-14). Let q be 6/4*(-10)/y. Which is smaller: q or -4?
-4
Let o = -1821/10 + 83/5. Let v = -832/5 - o. Are v and -2 equal?
False
Suppose 0 = 4*m - 2*m + 2*c + 2054, 0 = 5*c + 10. Which is smaller: -1024 or m?
m
Let r = 15 - 16. Let g = -14.98 - -15. Let m = g + -0.22. Do m and r have the same value?
False
Suppose -164 = -5*c + 66. Let w = 44 - c. Let g be (-30)/54*(w - 1)*-5. Which is smaller: g or -8?
g
Let q(s) be the third derivative of s**6/120 + s**5/30 + 6*s**3 + 7*s**2. Let a be q(0). Suppose -a*y + 41*y = -25. Are -3 and y equal?
False
Suppose -5*g + 30 = 0, 412 = 26*i - 24*i - g. Is i >= 209?
True
Let n = -0.5197 - -0.4197. Is 0.0249 greater than or equal to n?
True
Let n be (-89395)/(-4750) + (-156)/6. Which is smaller: -8 or n?
-8
Suppose 18*b + 1457 - 7631 = 0. Let t = 4115/12 - b. Which is smaller: -1 or t?
-1
Suppose 3*c + 2*o - 245 = 0, -2*c = -5*c + o + 233. Suppose 0 = 5*j + 5*y - 395, -4*j + 6*y = 11*y - 315. Is c greater than j?
False
Let i(g) = 2*g**3 + 36*g**2 - 37*g + 42. Let c be i(-19). Suppose -4030 - 938 = -c*y. Which is smaller: 215 or y?
215
Suppose 5*r - 3*z - 47 = -2*z, 5*r = -3*z + 39. Suppose 0*m - 86 = -3*d + 2*m, 0 = 4*d - 5*m - 103. Let w be d/4 - (-5 + 5). Which is bigger: w or r?
r
Suppose -10 - 56 = 2*o. Suppose -1376*v + 1373*v - 15 = 0. Is v smaller than o?
False
Let k = 6049 + -6011. Let u be (-12)/(-42) + 458/14. Is k at least as big as u?
True
Let o = -0.0502 - -61.4102. Let d = -61 + o. Let k = d - -13.64. Which is smaller: 1 or k?
1
Let c = 762 - 749. Suppose l + c*l = 1582. Does l = 115?
False
Let b(c) be the second derivative of c**5/20 - 13*c**4/12 + 13*c**3/6 + 5*c**2 - 9*c. Let q be b(12). Let s = q - 21. Is s at most as big as 0?
False
Suppose -6*p - 4*n = -3*p - 668, 1124 = 5*p - 4*n. Suppose -p = -15*r + 29*r. Is r less than -4?
True
Let g be (-35)/(-10)*(-12)/(-14). Suppose -4*h + 3*v + 9 = -h, -h - v = g. Which is greater: h or -2/249?
h
Let m = 0.136 - 23.036. Let i = 0.054 - 23.054. Let w = m - i. Is 0.12 at most as big as w?
False
Let o(l) = 38*l**2 + 204*l + 1990. Let h be o(-10). Which is bigger: 3749 or h?
h
Let z = -2157 - -2142. Let d = -35/3 - -244/21. Which is bigger: d or z?
d
Suppose 174*q = 180*q + 10098. Let i be -1*(-6)/(-33) + 981/q. Is 0 at least as big as i?
True
Let g = 4080497/597 - 6835. Is 4/5 bigger than g?
True
Suppose 5*v - j = -6*j + 40, 13 = 2*v + j. Let a be v/20 - 2/56*11. Let z = -2 - -2. Are z and a equal?
False
Let d(m) = 10*m**2 + 129*m + 4. Let o be d(-12). Let f = o + 105. Which is smaller: 2/1207 or f?
2/1207
Let q = -267 - -301. Let n be q/(-51) - 187/3. Which is bigger: 2/9 or n?
2/9
Let i be ((-1)/(-5))/(10/(-25)). Let r be -3 - 2 - (-20)/(11180/2769). Which is smaller: r or i?
i
Let w = -55 + 48.45. Let d = 2.55 + w. Is d at least 2/5?
False
Suppose 4*c = 3*c + 5*c - 32. Which is greater: c or -9?
c
Suppose -46*d = -45*d - 88. Suppose 6*f = 10*f + d. Is -114/5 bigger than f?
Fa