69156. Let g(w) = -33*w - 220. Let z be g(3). Let u = z - -319. Which is smaller: o or u?
o
Suppose w - 12*y + 7*y = 26, -4*w - y + 83 = 0. Let f(d) = d**3 - 21*d**2 + d - 21. Let j be f(w). Is -1/132 < j?
True
Let t = -42 - -22. Let a be (-143)/2015 + 1 + 16/t. Is a less than 0?
False
Let v = 23 + 41. Suppose 19*o - v = 3*o. Is o smaller than 8?
True
Let k = 458 + 7924. Is k greater than or equal to 8383?
False
Suppose 29*p - r = 24*p - 997, 2*p + 4*r = -368. Which is smaller: p or -22?
p
Let y be -3 - 6/((-18)/(-15)). Let f = -10 - y. Let i be (-56)/21*(-1 + f/4). Is i at least as big as 2?
True
Let u be 1 - (-9)/(-11) - 193618/2882. Let m = u - 69. Is m less than or equal to -137?
False
Let g(b) = b**2 + 40*b + 8. Let j be g(8). Suppose -s + 314 = j. Which is greater: -76 or s?
-76
Let k = -0.1233 + 0.075. Let q = k - 0.9517. Is q equal to 178/7?
False
Let p = 0.334 - -170.666. Let v = p - 171.234. Let s = v + 0.034. Is s smaller than -5?
False
Let g be (-3*(-12)/(-135))/(1/(-10)). Let r be 32/6 + (-4)/42*-7. Let w be 2/r - (-10)/6. Is w at least g?
False
Let a = -62 + 62. Let u be (-8 - -8)/(-3) + a/(-2). Is -1 <= u?
True
Let q(a) = -4*a**2 - 13*a - 23. Let k be q(-4). Let t be (2/3)/(-6 - 203/k). Which is smaller: -4 or t?
-4
Let o = -99.4 - -82.88. Let l = 7 + -6.48. Let c = l + o. Is 1/2 > c?
True
Suppose 5*h = -k - 146, -h - 4*k - 64 + 12 = 0. Is h >= 99?
False
Let u = -2055 + 2106. Which is smaller: u or 49?
49
Let h = 0.055 - 165.055. Let x = h - -168.3. Are x and -3 nonequal?
True
Let p(m) = -118*m + 239. Let t be p(2). Suppose -29 = -2*w - 0*w + 5*g, -2*g - 4 = 3*w. Suppose -z - 3*z - 4*i = 24, -w*z - 12 = -3*i. Are z and t nonequal?
True
Let n be -12*7/(-21) - 48500/66. Let d = n + 731. Is d bigger than 1?
False
Let v(h) = -h**3 + 13*h**2 + 64*h - 851. Let a be v(10). Are a and 93 nonequal?
True
Let d(w) = -3*w - 47. Suppose f - 49 = 5*l - 0*f, l - f + 9 = 0. Let i be d(l). Let g(k) = -k**2 - 23*k - 39. Let y be g(-22). Is i equal to y?
True
Let x be (-30)/(-2172)*1/(-5). Suppose 7*c - 1321 = -1314. Is c less than or equal to x?
False
Let o = -25562 - -25564. Is -4/1139 equal to o?
False
Let z be (180/(-8))/(-3 + 0). Let r be (2 - 195/(-9))/(2/(-6)). Let u = -62 - r. Do z and u have the same value?
False
Let s be (-5)/1 - 1292/102. Suppose 11*y + 18 = 10*y. Which is greater: s or y?
s
Suppose -24 = 3*l - 30. Suppose -5*y - z + 10 = 4*z, 3*y + l*z = 5. Let f be 1/(-2)*2/33. Which is smaller: y or f?
f
Let m(i) = i**3 + 21*i**2 + 26*i + 121. Let c be m(-20). Are c and -7/677 unequal?
True
Let o be 18/9 + -1*1. Let l be (-3)/3 - 6 - 2*o. Let s be (16/5 - 0)/(l/5). Is -2 smaller than s?
True
Let f be ((-1)/4 - (-27)/(-12))*-14. Suppose d - k - 13 = 0, k + f = -0*d + 3*d. Suppose -11 = 3*m - 4*m. Is d greater than or equal to m?
True
Let g = 90322 - 90263.957. Let w = -148 + 90. Let u = w + g. Is -0.1 != u?
True
Let d = -378 + 356. Let f = 27 + d. Is -19 greater than or equal to f?
False
Let o(y) = 2*y**2 + 85*y - 28. Let c(u) = u**2 + 24*u + 93. Let h be c(-14). Let i be o(h). Is i at most as big as -1/2?
False
Suppose 4*r - 2*n = 82, 72 = r + 2*r - 5*n. Suppose r*o = 20*o + 96. Which is smaller: o or -95?
o
Let x(z) = 40*z - 234. Let f be x(6). Let a be (-2)/f - 407/(-33). Let y be 4 - -8 - 2/4. Which is smaller: y or a?
y
Let f = 102.044 + -0.744. Let h = f - 101.4. Which is smaller: -50 or h?
-50
Suppose -f + 144 = -l + 143, 5*l + 1 = f. Is f greater than 9/1280?
True
Suppose 0 = 41*i - 44*i + 9. Is 63/34 smaller than i?
True
Suppose 0 = 2*y + 3617 + 451. Which is smaller: -2039 or y?
-2039
Let w = 92.096 + -0.096. Let t = -163 + w. Let y = t - -68. Is 3 at most y?
False
Let v = -42047/15 - -2803. Which is smaller: -61/4 or v?
-61/4
Suppose 2*a - 2*b + 21146 = 0, -32*b + 31*b = 7*a + 73963. Which is smaller: -10568 or a?
-10568
Let f = -13.014 - -0.014. Let t = -11 - f. Suppose 0 = 2*d - 4*w, w + 3*w + 10 = -3*d. Which is bigger: t or d?
t
Let p be (-25)/125 + (-12371)/(-5). Let l = p + -316669/128. Is -1 > l?
False
Let p = 6586 - 6586. Which is bigger: p or -6/2795?
p
Suppose 7*m + 5625 = 4*m + 3*y, 10 = 5*y. Is m at most -1872?
True
Let a = -7.1 - -0.1. Let p = a + 7.72. Let x = 0.28 + p. Which is greater: x or -6?
x
Let q = -0.01153 - -0.01153. Which is greater: q or -3/5273?
q
Let m = 46207/10 + -735292001/159130. Which is bigger: m or -1?
m
Suppose 79*x - 83*x = -96. Let t be (8/x)/((-777)/18). Are t and 1 equal?
False
Suppose 2*t - 6 = 0, 4*t - 2*t = 4*u + 1358. Let s = u - -337. Which is smaller: 3/623 or s?
s
Let l(n) = 58 - 25*n + 14*n + 127 - 14 + 45*n. Let i be l(-5). Is i >= -5/92?
True
Let h = 879 + -873. Let k = -357 - -371. Is k less than or equal to h?
False
Let y(u) be the first derivative of -u**2/2 - 3*u + 76. Let x be y(29). Is -32 less than or equal to x?
True
Let u(b) = 134*b - 4085. Let a be u(33). Is a at most as big as 339?
True
Suppose 0 = -5*u - 10, 8*q + 5*u - 1418 = 12*q. Let i be ((-2)/21)/(q/(-63)). Which is smaller: i or -1?
-1
Let o = -48.715 - -0.515. Let m = o - -144.2. Which is greater: m or 0.1?
m
Let c be 8/24*42/((-12)/2). Is c greater than or equal to -3?
True
Let f be (-7)/((-7)/(-1))*-443. Let o = -635 - -1079. Are o and f equal?
False
Let y = 7063 + 1576. Is 8640 less than or equal to y?
False
Let o(m) = m**2 + 21*m - 19. Let w be o(-22). Suppose -3*q - 2*y + 15 = 0, -3*y + 15 = w*q + y. Suppose 10 = 5*j, -4*f + 3*j = 9 + q. Which is greater: f or -3?
f
Let q = -94 + 95. Let n be (1/(-4) + q)/((-35)/(-140)). Let z be 204/80*n - 1/4. Which is bigger: z or 7?
z
Let m be (-3)/((3/(-34))/((-2)/(-4))). Suppose -1712 - 175 = m*h. Which is bigger: -329/3 or h?
-329/3
Let n(v) = 8*v - 19. Let r be n(3). Suppose r = -b - 4*j, b + 2*b + j = -4. Let x(g) = -25*g**2 - 3*g - 1. Let t be x(b). Which is smaller: -24 or t?
-24
Let k(h) = 2*h**2 - 12*h - 292. Let p be k(-9). Is p smaller than 99?
True
Let h = 7115371/203 + -35051. Which is smaller: -1 or h?
-1
Let p be (60/(-24)*(-716)/(-6))/(2/18). Is -2685 greater than p?
False
Let j = 478067/38 + -12579. Let h = -7909/114 + j. Which is greater: h or -69?
h
Let u = 21 - 17. Suppose 4*w - 4*m - 12 + u = 0, 0 = 2*w + 5*m + 24. Which is bigger: w or -4?
w
Let i = 4840 - 19359/4. Suppose -l = -5*k - 24, -21 = -5*l + 2*k + 7. Suppose -l*f + 3 - 7 = 0. Which is smaller: i or f?
f
Let r be (8 + -7)*(4 + -2) - 6. Let z be (r - -4 - (-195 + -5)) + -3. Do z and 195 have the same value?
False
Let b(v) = v + 9. Let g = -57 + 66. Let p be b(g). Let u be (-1)/(p/(-375)) - (-6)/36. Which is smaller: u or 20?
20
Let v = -947 - -957.79. Let l = v - 1.79. Is l > 0.14?
True
Let v(m) = 36*m - 59. Let q be 4/5*30/12. Let z be v(q). Suppose 2*k + 0*o = 3*o + 15, -45 = -5*k + 5*o. Is z greater than k?
True
Suppose 32*s - 4 = 33*s. Let v be 1 - (1 - (-120)/33). Is v <= s?
False
Let p = -176 - -175.99. Let m = -0.66 + p. Is -3/2 > m?
False
Suppose 304 = -3*z + 4. Let f be z*(-3)/(-33) - 0/(-2). Which is smaller: f or -10?
-10
Let s be 2*2 + 40/(-10). Let a be 6/57 - (-5083)/(-32946). Which is bigger: s or a?
s
Let r be -379*(-3)/(-135) + (-122)/(-549). Let f(t) = -t**3 + 5*t**2 - t - 4. Let i be f(5). Which is smaller: i or r?
i
Let n be 1960/(-2583) - (-22)/99. Are 0 and n non-equal?
True
Let a be 3/7 + (-360)/(-42) + -6. Suppose 4*c = 4*q + 3*c - a, -2*q = 2*c - 14. Which is smaller: 4 or q?
q
Let h = -0.3312 + 0.3112. Are -84 and h non-equal?
True
Let a = -1304 - -730. Let k = -595 - a. Is k > -21?
False
Let z(i) = 4*i**2 + 11*i + 1. Let j be z(-3). Suppose -j*a = -6*a + 4*y + 18, -9 = 3*a + 3*y. Which is greater: 22/9 or a?
22/9
Suppose 5*s - 635 - 3525 = 3*x, 0 = -2*x - 10. Which is bigger: s or 827?
s
Let x(g) = -g**3 + 10*g**2 - g - 9. Let d(u) = -9 + 8*u**2 - 6*u + 5*u + u**2 - u**3. Let b(z) = -4*d(z) + 3*x(z). Let r be b(5). Which is smaller: r or -13?
-13
Let l = -33.03 + 33.03. Is l greater than or equal to -3447?
True
Let q = -0.97 + 1.97. Let b(a) = -7*a + 45. Let t be b(11). Is t less than or equal to q?
True
Let z be (61 - 1) + 2 + 0. Let s be 1 - 0 - (z/2 - 1). Let k = s - -29. Are k and 4 equal?
False
Let a = -103 - -64.2. Let h = -33.24 + -6.76. Let k = h - a. Is k at least 1?
False
Suppose -o - 18747 = 3*c - 4389, 3*c - 4*o + 14343 = 0. Let j = -2004916/