 be (-219)/18 - 8/(-48). Let x be c/15 - 36/(-20). Is 2/47 bigger than x?
False
Let i(f) = f**3 + 24*f**2 + 127*f + 2. Let o be i(-12). Is o smaller than 209?
True
Let n = 104 + -84. Which is greater: 16 or n?
n
Suppose -5*n + 8 + 7 = 0. Let f = -52.1 + 51.97. Is n greater than f?
True
Suppose 0 = 15*m + 198 + 237. Which is greater: -25 or m?
-25
Let p(x) = -3*x - 7. Let b be p(-3). Let t be ((-22)/(-33))/(b/3). Let d = 1033/68 + -61/4. Which is bigger: t or d?
t
Let n = -5857/9 + 649. Let o(k) = -k**3 - 13*k**2 + 3*k + 40. Suppose 0 = 3*j + 6, -3*r - j + 6*j = 29. Let h be o(r). Is n >= h?
False
Let f be -2*(26/(-4) - -5). Suppose 53 = -f*x - 5*u, 4*u - 31 - 45 = 5*x. Is x at least -19?
True
Let j = -0.4 - 0.6. Let c = 2327 - 2326.96. Which is smaller: c or j?
j
Let d(v) = -8*v + 10*v - 6*v + 2 - v**2. Let g be d(-7). Is g smaller than -18?
True
Let r be 7/14*422/4. Are 53 and r unequal?
True
Let x be (-2)/(-6) + (-80)/(-30). Let a = 492 - 1979/4. Let o = -5/4 - a. Which is smaller: o or x?
o
Let p(o) = -5*o + 5. Let a be p(4). Suppose 0 = -2*q - 4*d - 18, 2*q + 2*d + 2 = -20. Is a > q?
False
Suppose 33*l = 31*l - 12. Which is greater: -8 or l?
l
Let s(b) = -b**2 - 10*b + 73. Let k be s(5). Is -6 greater than or equal to k?
False
Suppose q + 18 = -3*r, -2*q = r - q + 6. Let i = 4.7 + -4.62. Which is greater: r or i?
i
Let u = -1602.3 + 1602. Is u at most as big as 90?
True
Let g = 187 - 934/5. Let r = 5 + 10. Which is bigger: r or g?
r
Let x(v) = -v**3 - 7*v**2 - 2. Let u(r) = -2*r**3 + r**2 + r - 2. Let f be u(2). Let j = f - -5. Let z be x(j). Is z at most as big as -1?
True
Let q(f) = f**3 - 4*f**2 + f + 2. Let n be q(3). Let p(m) = m**2 - 27*m - 91. Let o be p(30). Which is smaller: o or n?
n
Let q(d) = 6*d - 6. Let n be q(-5). Let p(t) = -10*t**2 - t + 5. Let z be p(2). Which is bigger: z or n?
n
Suppose -2*v = -5*v + 3. Let d be (2 - 3)/(-1)*-14. Let p be 2/d + 1 + 0. Are p and v equal?
False
Suppose f = 3*d + 5, -4*d + f = -0*f + 8. Let l be ((-9)/(-21))/(d/2). Let b = 322 - 323. Is l at most as big as b?
False
Let f(b) = -b**3 + 6*b**2 - 2*b. Let o be f(5). Let d = -7 + o. Which is smaller: 11 or d?
d
Suppose 3*o - 9 = -3. Let p be o - (-4*1 - -3). Suppose p*h - 3 = -0. Which is smaller: h or -6/17?
-6/17
Let i be (((-24)/(-2))/(-4))/((-15)/(-235)). Is -328/7 equal to i?
False
Suppose 3*s = -5*h - 28, -5*h = 3 + 7. Which is smaller: -26 or s?
-26
Suppose 0 = 4*a - 5*a - 6. Let d = 15 + a. Suppose -5*w + d = 44. Which is greater: w or -6?
-6
Suppose -y = -4*y + 15. Suppose -2*h - y = 2*q - 3, -4*q - 3 = 3*h. Suppose -f - 7 - 2 = -4*b, -5*f + 15 = q. Is b at least 3/5?
True
Let f = 58 + 116. Let b = f + -1049/6. Is b greater than 4?
False
Let b = -10/43 - -275/258. Are b and 2 unequal?
True
Let a be 59538/(-2772) + 1/6. Let v = a - -153/7. Which is greater: v or 0?
v
Let s be 2 - ((-30)/(-1) - 3). Let t = s - -34. Let y be 0 - 9*3/t. Which is greater: 0 or y?
0
Let y be 28/70 - (-47448)/(-45). Does -1055 = y?
False
Let o = 14573/3 + -4958. Which is smaller: o or -101?
-101
Let w(d) = 134*d + 19. Let l be w(-1). Which is bigger: l or -111?
-111
Let i = -940 - -939. Does 6/29 = i?
False
Let y = -32 - -31. Let w be (-128)/(-252) + 8/(-28). Are w and y non-equal?
True
Let g be (-1)/(-11) - (1 + 0). Let b(l) = l**3 - 12*l**2 + 27*l - 2. Let a be 3 - (-18)/3 - 0. Let h be b(a). Is h less than g?
True
Suppose -101 - 3 = 13*o. Which is smaller: o or 5?
o
Suppose -10 = -k - 30. Let w(m) = m**3 - 15*m**2 + 11*m + 21. Let p be w(14). Is p at most k?
True
Suppose x - 2*o - o - 11 = 0, -2*x + 14 = -4*o. Is x at least as big as -2/441?
False
Let v = -7519/25 - -301. Suppose 6 = 4*f + 2*w + 2, 5*w - 10 = -3*f. Which is greater: f or v?
v
Suppose -95*h + 10064 = -87*h. Is h bigger than 1259?
False
Let r = -120 + 138. Are r and 18 nonequal?
False
Let n(j) = 31*j + 248. Let u be n(-7). Is u not equal to 35?
True
Let a be -4 - ((-42)/7 + -150). Is a at least 152?
True
Let j(h) = 12*h + 11. Let w be j(5). Let a = 74 - w. Is a greater than or equal to 7?
False
Let l = -0.335 - 0.065. Let v = l - 1.6. Is v greater than 2/7?
False
Let b = 179 - 174. Which is smaller: b or 23/4?
b
Let r be (0 - (-20)/(-8))*(-76)/10. Which is bigger: r or 23?
23
Let c = 63 + -63. Let j = c - -1. Which is greater: j or 3/44?
j
Let v be ((-88)/4323)/(-4)*(-6)/(-10). Which is bigger: v or -1?
v
Suppose 6 = -3*t + 3*q, 5*q - 13 = 4*t - 0*q. Let l be 114/8 - (-8)/(-32). Suppose 11*b = l*b. Which is smaller: t or b?
b
Suppose -3*j - 203 - 60 = 4*t, -3*t = -4*j + 216. Which is bigger: t or -2?
-2
Suppose -3*j - 28 = -4*t + 2*j, -2*j = 0. Let u be -2 - (-7)/(t/(-4)). Let g be 1/(-2)*(-2)/3. Which is greater: u or g?
g
Let i = -6 + 3. Suppose 0 = 73*q - 68*q + 10. Which is bigger: i or q?
q
Let g(m) = -2*m - 14. Let q be g(-6). Let y = -112/57 + 12/19. Is q equal to y?
False
Let t = 1.219 - 0.309. Which is greater: -2/3 or t?
t
Let f = 15 - 13. Let u = 4.2 + -10.2. Let s = -5.6 - u. Is s <= f?
True
Suppose 4*a - 273 = 239. Let z be (-4)/(a/4236)*1. Let q = 132 + z. Which is smaller: 0 or q?
q
Let f(r) = -221*r**3. Let j be f(1). Let h = j - -128. Let t be h/(-156) - 9/12. Is t less than or equal to 0?
True
Let h be (-15)/27*(0 + (-8)/10). Suppose 0 = -4*a + a. Suppose 0 = -a*x + 4*x. Which is bigger: x or h?
h
Let b = -31 + 30.83. Let w = 0.23 + -0.16. Let v = w + b. Does v = -5?
False
Let l = 24954 + -123948/5. Which is smaller: 164 or l?
164
Let g = 856 - 11981/14. Let t = -5 - -6. Is t > g?
True
Suppose -4*l + 7 = -2*p + p, -2*p = -2*l - 4. Let n(w) = w**2 - 8*w + 17. Let v be n(7). Let f be 0/1 + -7 + v. Is l less than f?
False
Let v be (-2 - -1) + (-14)/12. Let y = 1.1403 - 0.1403. Is v < y?
True
Let f = 313 - -38. Let d = 235615/13 - 17773. Let w = f - d. Is w equal to 1?
False
Let k be 27/6*(-2)/(-114). Suppose -2*w = -19*w. Is w less than or equal to k?
True
Let m = -58 - -58.076. Let l = m + -0.276. Which is smaller: 0.09 or l?
l
Let x = -74.03 - -73. Let f = 0.03 + x. Let b be 9/((-1)/(25/(-15))). Which is bigger: f or b?
b
Suppose 3*v + 94 = 322. Let r = v - 72. Suppose 0*m = -m + 6. Which is smaller: m or r?
r
Let q = -25.809 - -0.809. Which is bigger: q or -4?
-4
Suppose 5*h - 2*n - 78 = 3, -5*h + n + 83 = 0. Suppose -6*g + 2*d - 3 = -g, -5*d + h = -3*g. Let t be 2/(((-1)/(-4))/g). Which is smaller: 9 or t?
t
Let v = -33 + 161/5. Let r = v - -19/30. Which is smaller: -16 or r?
-16
Suppose -4*l + 4*j = -0*j - 52, -2*l - 2*j + 10 = 0. Let x be (-3 + -1)*l/4. Suppose -4*c - 3*i = 38, -20 = 29*c - 26*c - 2*i. Which is smaller: x or c?
x
Suppose 4*q + 7 = -5. Let j = q - 6. Let c = j + 16. Is c at least 8?
False
Suppose 86 = -4*g + u - 3*u, 3*g + 4*u = -72. Suppose -l - 4*l = 3*v + 72, -5*v - 98 = l. Which is smaller: g or v?
g
Suppose 0*f = -3*f + 6. Suppose -q + f*q - 206 = 0. Let b = 3504/17 - q. Which is greater: b or 1?
1
Suppose 2*t + 11 = -3*z, 5*t + 4*z + 8 = 3*z. Does t = -2/77?
False
Let u be (-15)/2 + -1 - (-3)/6. Suppose -x + 12 - 34 = 0. Let h be 158/x - 6/(-33). Are u and h non-equal?
True
Let t = 84/185 + -2/37. Suppose 3*g = -2*n - 1, 5*g + 0*n - 9 = 2*n. Let y be (g + 0)/((-20)/12). Is y equal to t?
False
Suppose -2*y = -4 - 14. Let d be y/(-27)*(-1 - 29)/2. Are d and 0.01 equal?
False
Let b = 3 + -3. Let q be (-6)/8*17234/(-147). Let v = -88 + q. Which is bigger: v or b?
b
Let t(g) = -2*g**2 - 3*g. Let z be -1*(1/1 - -1). Let j be t(z). Let l be j/10 + 3 - 3. Is 1 at least as big as l?
True
Let v be -1*2*(13 + 3). Let g = v + 24. Is g less than or equal to -5?
True
Let h = -1/6 + 8/3. Let y = -994/5 + 199. Is h less than y?
False
Suppose 7*q = 8*q - 5. Which is greater: q or 8?
8
Let h = -0.13 - -1.43. Let v = h + -1.1. Which is bigger: -1/2 or v?
v
Let i(q) = q**3 + 16*q**2 + 16*q + 19. Let s be i(-15). Suppose 0 = s*k + 23 + 41. Let x be 74/102 + k/24. Which is greater: -1 or x?
x
Let b(j) = -24*j. Let d be b(2). Let f = 43 - 40. Let w be f/(-5) + d/20. Is -3 greater than or equal to w?
True
Let m = 6 + -4. Suppose v = -m*v + 21. Let s be (4 + 2)*(-2)/v. Are s and -2 equal?
False
Let i(a) = 3*a**2 - a - 2. Let d be i(-1). Let m be (-2 - -6 - d) + -17. Let n be (-4)/60 - (-2)/m. Is 0.2 less than n?
False
Let x = 0.875 - -0.125. Is -59.4 at most as big as 