84?
False
Let w = 84088/75 - 1121. Is 1 at least w?
True
Let i be (-6)/3*(-6 + (-1233)/(-126)). Which is bigger: -7 or i?
-7
Let x = -80 - -146. Let y = x - 45. Suppose 0 = 18*c - 25*c - y. Is c >= -3?
True
Let b(z) = 12*z + 1. Let r be b(1). Let a be (98/(-14) - 4/16*18)/(-1). Is r at most a?
False
Let z be (-180)/315*(-35)/10. Let n be (-4)/(-14) + 2/(-7). Suppose n = -f - 4*f + 3*u + 10, 4*u = 4*f. Which is smaller: z or f?
z
Let k = -157942 - -210536676/1333. Is k equal to -1?
False
Let a be 3/486*-9*1010/15. Is 0.3 < a?
False
Let r be (3*15/(-90))/((-5)/1970). Which is greater: -55 or r?
r
Let r be (1/37)/((-160)/(-7784)). Let v = -32/37 + r. Is 0 not equal to v?
True
Let h = -1121 - -1122. Which is bigger: h or 1/1279?
h
Let m be 1/2 + 404/1208. Let u = -5874/9211 + m. Is 1 less than u?
False
Let p(y) = y + 12. Let b be p(-9). Suppose -2*i + 6*i - r = 32, 24 = 4*i - b*r. Suppose 7*j - i*j = -6. Which is greater: j or 6?
6
Let f = -196 - -222. Let t = f - 480. Which is bigger: -453 or t?
-453
Let u be (10*(-2)/(-10))/445. Suppose 23*k = -27 + 4. Is k less than u?
True
Suppose -150*t - 50*t + 16*t = -13*t. Let c = 653387227/203 - 3218717. Let h = 424/7 + c. Which is greater: h or t?
t
Let j be (-4 + 6)/((-2)/(-3)). Let h(c) = -10*c + 7. Let i be h(-1). Suppose -3*s - g = -5*s - 2, -3*s = -5*g + i. Does j = s?
False
Let u = 4500009/349 - 12894. Which is smaller: -1 or u?
-1
Suppose 7*k + 3 = -3*x + 11*k, 4*k - 5 = 5*x. Is 8/103 greater than x?
True
Let a = -2432 + 2456. Which is bigger: 1/3 or a?
a
Let x be (54/(-12))/(9/(-12)). Let j be 9/((-90)/65) - (1 - x). Which is greater: j or 3?
3
Suppose -38*j = -31*j + 161. Let y(u) = 6*u + 47. Let b be y(j). Is -90 at most b?
False
Let a = -30 - -166. Let r = a + -179. Are -0.2 and r unequal?
True
Let c = 194 - 189. Suppose -2*u - 1 = -o, -2*o + 5*o + c*u - 14 = 0. Let v = 10 - 7. Is v equal to o?
True
Let f be 0 - (-3)/(1 + (-2)/(-4)). Suppose -3*s = -4*y - 8, -f*y - 3*y - 10 = 4*s. Let i be (2 - 2)/(y - (4 - 7)). Is -5/6 bigger than i?
False
Let i = -1672 + 1748. Which is greater: 0 or i?
i
Let k = -353 - -128. Let c = k - -222. Let t be 1/(4/5 - 1). Which is greater: c or t?
c
Let k(z) = z**2 - 7*z - 23. Let m be k(-3). Let f be (0 + (-4)/(-4242))*m. Which is smaller: 0 or f?
0
Let d = -32 - -78. Let b = 45.9 - d. Let y = -2.5 - -4.5. Is b less than y?
True
Let n be 4/(-6)*3/6. Let h be ((-2)/(-10) - (-399)/(-285))/(21/35). Which is bigger: h or n?
n
Let j(i) = 299*i**3 - 10*i**2 + 35*i - 3. Let a be j(3). Suppose -15*z = -48*z + a. Is z > 245?
False
Let a(w) = -3*w**2 - 25*w - 31. Let z be a(16). Let k = z + 19205/16. Is k at most as big as 2?
True
Let f be -6 + (-144)/(-27) - (3 - 51/9). Is 130/57 at least as big as f?
True
Let l = -2482219453/14729 + 168526. Which is smaller: 0 or l?
0
Let v = 121335 + -608749/5. Let g = v - -413. Which is smaller: -1 or g?
g
Let n = -47 - -3336/71. Let b = 279/355 - n. Which is bigger: b or 2?
2
Suppose -5*q - z = -2*z + 20, -8 = 2*q + z. Let w be (2 + -2 - q)/((-2)/(-8)). Let m = 21 - w. Is 3 smaller than m?
True
Let z = 78.12 + -0.12. Let p = 77 - z. Let u = 4.27 + -0.27. Is u >= p?
True
Let k = 34 - 70. Let s = k + 26.4. Let b = -10 - s. Is b at most as big as 0.02?
True
Let t = -15277 - -15278. Which is smaller: t or -6329?
-6329
Let w(y) = 3*y**3 - 94*y**2 - y - 203. Let d be w(31). Is -1195 <= d?
True
Let r = -2081.38 + 2081. Suppose -8*j = -3*j - 5*z, -5*j = -4*z. Which is bigger: r or j?
j
Suppose -30*q + 0*q = 27*q + 40*q. Are 39/244 and q equal?
False
Let g be (-1)/3 + ((-304)/24)/19. Are g and -6/263 non-equal?
True
Let i be 7/42*0*-1. Let l be 3 - ((-12999)/(-2601) + -2). Is l less than i?
False
Suppose 0 = 2*l + 6*h + 11 - 59, 0 = -3*l + 4*h + 98. Do 311/10 and l have the same value?
False
Suppose 0 = 2*l - 16*k + 21*k - 36, 0 = -3*k + 6. Suppose l*r = -r + 28. Let n(v) = -v - 4. Let z be n(6). Which is smaller: r or z?
z
Let w(u) = -879 + 8*u + 442 + 393. Let m be w(5). Which is greater: -25/7 or m?
-25/7
Suppose -5*k + 4938 - 25658 = 0. Which is greater: -4143 or k?
-4143
Let p(v) = v**2 + 3*v + 38. Let m be p(-7). Suppose m = -18*g + 20*g - 4*h, 38 = g - 3*h. Is g at least -12?
True
Suppose 3 = 3*r + 6. Let i be 8/84*(-990)/3696. Which is bigger: i or r?
i
Let h = -4 + 3. Let a = h + 1.2. Let v be 5/3 + -7 + 792/270. Which is smaller: a or v?
v
Let f be 4*(-45)/(-12940)*(-12)/(-54). Is f less than -5?
False
Let k = -89 + 92. Suppose s + 3*d - 39 = -k*s, -s - 14 = -4*d. Let r(u) = u**3 - 6*u**2 + 4*u - 21. Let l be r(s). Which is smaller: l or 13/3?
l
Let b = 42263 + -1055199/25. Which is greater: 54 or b?
b
Let k = 858/37 + -1034711/44622. Which is greater: k or -1?
k
Suppose 332 - 423 = -13*o. Which is smaller: 84 or o?
o
Let r be 2/(-41) + 30498/35178. Which is bigger: r or 4/19?
r
Let l be ((-6480)/(-1988) - 3) + (-10 - (-603)/63). Which is smaller: -1 or l?
-1
Suppose 25*u = -41*u - 792. Suppose -2*g + 1 = 9. Let a be g/4 + -11 + -3. Is u equal to a?
False
Suppose -8*f + 6*f + u + 11 = 0, 2*u = -3*f + 6. Let q be (f/12)/(1/3). Is q != -3/43?
True
Let p = -3.72 + -989.28. Let h = -999 - p. Are 57 and h equal?
False
Let r be ((-8)/(-20))/((-8)/(-10)). Let s = -0.3974 + -0.0026. Which is bigger: r or s?
r
Let u be (-70)/(-30)*8/(-56) - (-128)/240. Let i be 2967/100*(-2)/33. Let o = -1/550 + i. Is o equal to u?
False
Let u be 4*(-3)/2 - ((-14462331)/(-225975) + -70). Is u < 0?
False
Suppose -2*x - 1 = -a, 5*x + 1 = -5*a + 6. Suppose -j - 1 = y + 5, -4*y + 2*j = x. Let l be (12/18)/((-19)/18). Does y = l?
False
Suppose 102 = -3*d - 2*m - 22, 4*d + 2*m = -166. Suppose -33*r + 572 = 1958. Is r at most as big as d?
True
Let j be 22 + -17 - 6777/72. Is j equal to -90?
False
Let d = -36842 - -37337. Which is smaller: d or 6?
6
Let w(f) = f + 4. Let p be w(-3). Suppose -4*d + 2 = 2*j, 8*d - 3*d - 2 = -2*j. Let v be (j - (-4 - -3)) + 6/(-10). Is p at least v?
False
Let k be (0 - 1)*-1 + 115. Let z be (-8)/10 - 9139/95. Let q = z + k. Does q = 16?
False
Let f = -8 + 12. Let b be 6/21*(-114)/f. Let o = b - -38/21. Which is smaller: o or -5?
o
Let w = -432.2576 + 432. Let q = w + -0.0044. Are q and -2/5 nonequal?
True
Let t be ((-6)/(-4))/((-12)/16). Let d be 107 + t/(-6 + 5). Let y = 111 - d. Is -8 smaller than y?
True
Let n = -241 - -337. Let j be (20/9)/(9 - 860/n). Is j at most as big as 54?
True
Let k(d) = -d**2 + 7*d - 4. Let t be k(5). Suppose 3*m = -0*m - w - t, 18 = -3*m - 5*w. Let l be (105/(-135))/((-266)/12). Which is smaller: m or l?
m
Let k(s) = s**2 + 8*s + 5. Let u be 1/2*2*2 + -10. Let x be (-2)/(3 + -2)*(-12)/u. Let o be k(x). Is -12 bigger than o?
False
Let p(c) = -5*c + 16. Let u be p(-3). Suppose 2*w - u = 83. Suppose w = -5*f - r - 0, 0 = 3*f + 5*r + 21. Is -12 at least f?
True
Suppose 5*h + 305 = 15*n, -19*h + 251 = -24*h - 3*n. Suppose f - 2*f = -2*l - 109, -5 = 5*f. Is l at least as big as h?
False
Let b = 1.1 + -1.9. Suppose 320*c - 3312 = 148*c - 196*c. Which is greater: c or b?
c
Suppose 153 = -2*r + 161. Let v(u) = -u**2 - 2*u - 3. Let g be v(-2). Let n be g + 2/(r/(-38)). Is -22 bigger than n?
False
Let q(r) = -11*r - 8. Let f be q(-1). Suppose 4*n - 3*j = 40, 5*n = f*n + 4*j + 20. Let m be 6/4*(1 + (-95)/(-15)). Which is smaller: m or n?
n
Suppose -166 - 32 = -4*u + 2*t, 195 = 4*u + t. Let y = u - 46. Let l = 317/90 + 7/90. Is y bigger than l?
False
Suppose o + 4*o - 23 = -s, -26 = 3*s - 4*o. Let n be s/7*(-240)/288. Do -1 and n have the same value?
False
Suppose 4*m = 2*q + 2416, -4*q = -m + 385 + 240. Do m and -1 have the same value?
False
Let p = -10290.0386 - -10290. Which is smaller: p or -2/11?
-2/11
Suppose 105*g = 108*g - 594. Let w be (g/((-14)/7))/1. Which is greater: w or 0?
0
Let f(n) = n**3 - 3*n**2 + n + 1. Let l be f(3). Let z be 5 + 3 + -19 - -33. Suppose 0 = -3*t - 4 + z. Is t less than l?
False
Let m(c) = -2*c - 20. Let h be m(-14). Suppose 3*z + z - h = 0. Suppose -5*y + 59 = 4*q, -q - 16 = -3*q + z*y. Which is smaller: -2 or q?
-2
Suppose 17*m - 2 = 15*m. Let p = -45 - -80. Let a be (155/p - 5)*(-2)/104. Which is greater: m or a?
m
Let i = -18882 - -1567216/83. Is i != -1?
True
Let p be ((-186)/(-6945))/(64/24520). Let b = 5/463 - p. Which is bigger: b or -10?
-10
Suppose -1658*r + 1696*r - 2202 