3 + -6). Which is bigger: y or -136/19?
y
Suppose -4*a - o = -121, 16 + 148 = 5*a - 3*o. Let g = a - -24. Let u = 85 - g. Is u greater than 31?
False
Suppose 2*h - 5*v - 78 = 0, v - 6 = -2*v. Let i(r) = r**3 - 44*r**2 + 3*r - 92. Let w be i(h). Is 39 bigger than w?
False
Suppose -6*j + j - 45 = 0. Suppose -5*a + 72 = -a. Let v be (14/4)/(81/a - 5). Which is bigger: v or j?
v
Let a be (-448080)/(-72)*4/(-190). Let u = 131 + a. Do u and -1 have the same value?
False
Let j = -3 + 5. Let v be (2 - (2 + 4)) + 7. Let d(g) = -2*g + 4. Let w be d(v). Is j > w?
True
Let p(a) = 8*a**3 + 73*a**2 - 62*a - 220. Let t(f) = -5*f**3 - 37*f**2 + 31*f + 110. Let w(g) = 3*p(g) + 5*t(g). Let i be w(33). Which is greater: -43 or i?
-43
Let h = 26957 + -26957. Let p be ((-3)/5)/((-6)/4). Is p < h?
False
Let c = -32483/7 + 1102889/238. Which is smaller: c or -5?
c
Let j(o) = -2*o**3 - 20*o**2 - 16*o + 17. Let t be j(-9). Let i = 706 - 12027/17. Which is smaller: t or i?
i
Let u = -50 - -38. Let p(o) = 65*o - 12. Let w be p(u). Let m be -3 - (w/(-86))/(-3)*1. Which is greater: 1 or m?
1
Let d = 11/6 + -16/3. Let u = -0.012 - 0.416. Let q = 0.128 + u. Are q and d equal?
False
Let m = -6994 - -7333.3. Let u = m + -339. Let z = 1 - 2. Is u greater than or equal to z?
True
Let u = -40.817 - 0.183. Let p = u + 41.028. Is 0 equal to p?
False
Let o = 1366.9 + -1367. Is -577 <= o?
True
Let y(s) = -2*s**3 - 68*s**2 + 3*s + 44. Let m be y(-34). Which is smaller: m or -679/12?
m
Let z be 224/(-35) + 6 - 92/(-5). Suppose z = -7*v + 25. Which is greater: v or 2/495?
v
Let w = -6.682 + 2.275. Let r = 1.443 + w. Let q = -0.036 + r. Is 2 < q?
False
Let v = -2727150/11 - -248176. Which is bigger: 254 or v?
254
Let d = -0.061 - -270.061. Let l = 303 - d. Which is greater: 2/3 or l?
l
Let y = -8 - -2.4. Let i = 0.6 + y. Let g be 46/(-63) + (-8)/(-28) + 320/(-576). Is g at most as big as i?
False
Let o be (-2)/(-3)*(-777)/(-74). Suppose 0 = -27*m - 341 - 37. Are m and o non-equal?
True
Suppose 389*w - 2832429 = -8102601. Which is smaller: -13549 or w?
-13549
Let c = -12.8 - 63.2. Let w = -75.77 - c. Let q = -3.1 - -3. Which is bigger: q or w?
w
Let c(b) = -2. Let f(h) = 4*h - 25. Let n(k) = 3*c(k) + f(k). Let w be n(8). Is 4 <= w?
False
Let l be (-3531)/(-6)*((-4)/(-11) - 0). Are l and 176 equal?
False
Let n = -9046 - -9046. Is n > -29/24?
True
Let q = -269021 - -5684144711/21129. Is -2/7 at most q?
True
Let o = -6559348/191 - -34342. Which is smaller: o or 1?
o
Let q(l) = -5*l**3 + 84 + 3*l - 39*l**2 + 6*l**3 + 72*l**2. Let y be q(-33). Which is bigger: y or -49/3?
y
Suppose 3*p + c = 20, 2*c - 40 = -3*p - 3*c. Suppose 136 = p*m + 26. Which is smaller: -1/5 or m?
-1/5
Let l be 1023/(-3123) - 1*1/(-3). Let h(m) = -46*m - 185. Let f be h(-4). Which is smaller: f or l?
f
Let i(a) = 6*a - 10. Let z be i(8). Let j(v) = -3*v**3 + 21*v**2 + 10*v - 20. Let d be j(7). Let x = z - d. Which is smaller: x or -13?
-13
Let w = -3336 - -3366. Which is greater: w or 19?
w
Let b(u) = u**2 - 1. Let d be b(0). Suppose 6 + 6 = 4*g + 2*w, 3*w - 9 = 3*g. Let q(o) = -12*o**3 - 3*o**2 + 2*o. Let v be q(g). Which is bigger: v or d?
d
Let k be (-182)/392 + (-6)/(-28). Is k bigger than 147.4?
False
Suppose 22*w + 10750 = -2*b + 26*w, 3*b + 3*w + 16188 = 0. Do b and -5391 have different values?
True
Let j(s) be the third derivative of -1/60*s**5 - 10*s**2 + 0*s + 1/3*s**3 - 1/12*s**4 + 0. Let v be j(0). Does 2 = v?
True
Let m = 0.021 + -11.021. Let r = m - -45. Let a = r + -55. Is a not equal to -2/7?
True
Let h = 7383/7 - 1042. Let n = h + -13. Let d = 81 - 61. Is d greater than n?
True
Let d = 14 + -11. Suppose d*r + 43 = 46*r. Which is smaller: r or -3/92?
-3/92
Let w = 10.34 - 13.34. Is w >= 833?
False
Suppose 3*o - 3*s = -10 - 2, -5*o + 2*s - 8 = 0. Let k be (-20)/(-40)*10 - 11. Is k at most as big as o?
True
Suppose -g = 3*d - 68 + 59, 4*d - 12 = -4*g. Which is smaller: -2/1781 or g?
-2/1781
Let i(z) = -8*z**2 + 146*z - 35. Let y be i(18). Which is smaller: y or 6/1753?
6/1753
Let c(m) = -7*m**2 + 438*m + 639. Let j be c(64). Which is smaller: j or 1/9022?
j
Let v = 233 + -254.8. Let g = 25 + v. Let k = -1.2 + g. Is 1.3 at least as big as k?
False
Suppose -5*q + h = 125 - 129, 0 = -q - h + 2. Which is smaller: q or 3/6220?
3/6220
Let q(u) = u**2 + 7*u + 18. Let y be q(-2). Suppose y = 17*s - 9. Is s >= -1.81?
True
Let j = 172 - 327. Let c = -155 - j. Which is greater: c or 0.74?
0.74
Let d = -32662 + 32662.35. Which is smaller: 0.179 or d?
0.179
Let f be ((-60)/(-24))/((-119)/14 + 8). Which is smaller: f or 151?
f
Suppose 226 = 14*c + 114. Let f = -100.1 + 88. Let g = f - -12. Is g >= c?
False
Let y = -81413/45 + -6232/45. Is y smaller than -1947?
True
Let b(z) = -8*z**2 - 17*z - 4. Let w be b(7). Let d = -4630/9 - w. Does d = 2?
False
Let s be (24/(-3))/(8/(1240 + -8)). Is -1234 < s?
True
Let c be (-17)/(-17) - 55994/67962. Let g = -26/141 + c. Is -1 at least g?
False
Let g(r) = r**2 - 27*r - 121. Let u be g(31). Let c be 4/u*-3 + 560/(-6). Is c smaller than -96?
True
Let v be (-836)/(-837) + (3 - 4). Let j be 16/(256/80) - 6. Is v less than or equal to j?
False
Let v = -4054.489 - -4047. Let z = v + 7.5. Are 0 and z non-equal?
True
Let c = 45/38 - 4441/3686. Let t(k) = 57*k - 1026. Let x be t(18). Which is smaller: x or c?
c
Let f = -161 + 77. Let w = 401 + f. Suppose -3*q - w = 4. Are -107 and q unequal?
False
Suppose 0 = -4*b + 20, 4*b + 25 = -5*p - 0*p. Suppose -4*r = -h + 29, 0 = 5*r + 3*h + 2*h + 55. Let z be 4*(76/r - -7). Which is smaller: z or p?
z
Let f(i) = -i - 35. Let c be f(-34). Let v = -95367/82 - -1163. Which is greater: v or c?
v
Let r = 14.638 - 412.338. Which is greater: r or 1?
1
Let c be -12*(1 + (-183)/186). Let d be (4/((-600)/(-610)))/((-31)/(-3)). Let r = d + c. Is 3 < r?
False
Let d = 22/103 - 1483/4532. Is 0.02 at least as big as d?
True
Let g = 359/16 - 45/2. Suppose 0 = -3*v - 4*b + 13, 2*b = 4*v - 2*b + 20. Let m be -2 + (v - -4 - 2). Which is greater: g or m?
g
Let o = 6498 + -6433. Suppose -3*h = 4*z - 177, 6*z - 3*h - 228 = z. Suppose -z + o = -5*w. Does -4 = w?
True
Let q = -32.767 - 0.333. Let u = q - -14.1. Is 1/6 less than or equal to u?
False
Let o(m) = -m**3 + 4*m**2 + 25*m - 83. Let p be o(3). Is -4/4273 smaller than p?
True
Suppose 34*z = 29*z. Let u be z/((2/6)/(3/(-18))). Suppose 2*q = 2*l, -3*l + u*l - 1 = -2*q. Which is bigger: l or 1?
1
Let u = 60024464355959/9675 - 6204078974. Let k = 1/9675 + u. Which is smaller: k or 29?
29
Let d = 39.35 + -35.35. Is d at most as big as -83/4?
False
Suppose -3*h + 120 = -2*b + 5*b, b - 40 = 4*h. Which is greater: 0.1 or b?
b
Let f(d) = -126*d - 195. Let u be f(25). Let r = u - -30167/9. Which is bigger: r or 6?
r
Let i = -2376 + 4071. Let r = i - 110169/65. Let l be (396/(-30) - -13)/((-4)/20). Are l and r nonequal?
True
Suppose -84*q + 80*q - 4508 = o, q - 8998 = 2*o. Which is smaller: 2/5 or o?
o
Let t = 8.8 - 10. Let o = -64831 - -64851. Is o less than t?
False
Let b = 1.2596 - 5.2596. Which is greater: b or -1365?
b
Let r = -18.8 - 7.2. Let x = 26.036 + r. Let k = -13.964 - x. Is -0.3 bigger than k?
True
Let b(x) = 4*x + 1851 - 3681 - 25*x + 1912. Let t be b(4). Which is smaller: t or -17/15?
t
Let h(c) = c + 6. Let v be h(-9). Let y = 9 - v. Suppose -3*s = -6*s - y. Is s >= -5?
True
Let d = -5/2 - -41/18. Let j = 23 + 15. Suppose 40*c = j*c - 2. Is d at least c?
True
Let d(j) = 8*j + 2. Let o(u) = 15*u + 4. Let m(z) = -5*d(z) + 3*o(z). Let s be m(0). Suppose -1 + 3 = i, -3*p - 5*i = s. Which is smaller: 4 or p?
p
Suppose -165*l = -166*l - 2*x - 5, -6 = -4*l + 5*x. Which is bigger: l or -2310?
l
Let m = -5.568 - -6.568. Which is smaller: m or -38.47?
-38.47
Suppose -33*y + 29*y + 4*q = 5012, -3*y - 2*q = 3749. Is -1252 at most y?
True
Let k = 22213168/3381 - 6570. Which is bigger: k or 1?
1
Let x = 1149289/4650 + 161/4650. Let y = x + -247. Are y and -3 non-equal?
True
Let n be (12 - 11)*-7*1. Let y be (2/(-4))/(n/112). Suppose 5*w + 2*x - 23 + y = 0, 3*w - 4*x = -17. Is w less than -1/11?
False
Let k = -68 + 73. Suppose -7 = 2*d - d + 5*x, -k*d - 4*x = 77. Is 3 smaller than d?
False
Let z(h) = -6*h**3 - 243*h**2 - 8*h - 120. Let u be z(-40). Is u >= -4600?
True
Suppose -3*h = -3 + 9. Let p be h/(-4)*4/2. Let g = -