
False
Let n be 42/4*3/(-18). Let y(c) = -c**3 + 16*c**2 + 16*c - 1. Let f be y(17). Is n less than f?
False
Suppose -197*m = -216*m - 741. Which is smaller: -198/5 or m?
-198/5
Let a = 9276 - 9277. Which is smaller: -0.0477 or a?
a
Suppose 0 = 2*a - 2. Let p(x) = 7*x - 3. Let z be p(a). Let l be (4 - 9) + z - 9. Is l <= 3?
True
Suppose -22*w + 234 = 256. Is -3/1172 <= w?
False
Suppose 0 = -u - 1, 0 = 2*n + 3*u - 46 - 161. Let j = 139 - n. Let o = j - 10. Are 0 and o unequal?
True
Let w = -95 + 95.456. Let u = w + 0.044. Let t = 0.2 + u. Is -2 equal to t?
False
Let y be (-1)/(-3) + 717/36. Let s be (1482/8)/(-13)*(-8)/6. Are y and s unequal?
True
Let m = -22526 + 22525. Is m <= -1/1292?
True
Let f = -63309/11 - -5746. Which is smaller: f or -9?
f
Suppose 3*l - 5*i = 4*l + 8, 5*i = 4*l - 18. Suppose -l*u = 4*g - 38 - 70, 125 = 5*g + 5*u. Let j = -30 + g. Are j and -4/43 equal?
False
Let l be (-4)/(-10) + 6/10. Suppose -7 + l = -o. Suppose n - 4*z - 1 = -2, 3*z + 22 = 4*n. Which is bigger: o or n?
n
Let l be (-5)/(-2 - 46/(-24)). Suppose 3*i - n = 358, -2*i + 3*n + 242 = 4*n. Suppose -v + 89 = 2*u - 35, -i = -2*u + v. Which is smaller: l or u?
l
Suppose 2*g - 2244 = 5*r, -1359 = 3*r - 2*g + 5*g. Is 4 greater than or equal to r?
True
Suppose 0 = -5*n + n + 3*q + 211, n - 47 = -5*q. Which is greater: 579/11 or n?
579/11
Let f = 0.0785 + 75.7215. Let z = f + -79. Which is smaller: z or 1/6?
z
Let o be (11/(-45 - -1))/((-1)/4). Let c = 12377/2145570 + -1/6010. Is o bigger than c?
True
Suppose -245*f - 248*f + 495*f + 12 = 0. Let u be (4/830)/((-1)/5). Is u bigger than f?
True
Let w be ((-4)/(-14))/(356/28). Let c(u) = -u**3 + 14*u**2 - 13*u + 13. Let r be c(13). Suppose 3*x - 7 + r = -i, 2 = -x. Which is greater: w or i?
w
Suppose 0*b + 30 = 3*b + 5*l, 3*l - 19 = -2*b. Let x(r) = 17*r**2 - 21*r + 14. Let m be x(b). Which is greater: m or 335?
335
Let w be (-11150)/(-43725)*(-3)/4. Let q = w + 1/106. Is 1 greater than or equal to q?
True
Suppose 4*a = 4*j - 9932, 0*j = 4*j + 2*a - 9956. Which is greater: 2486 or j?
j
Suppose 5*v - 5*u + 5 = 0, 5*u - 20 = -3*v + 9. Suppose 3*p - 240 = v*k, -2*k + 14 = 2*p + 182. Let o = -80 - k. Which is bigger: -0.09 or o?
o
Let v = 3/104141 - 228499/701806199. Which is smaller: v or -1?
-1
Suppose b - 2*y - 47 - 216 = 0, -2*b + 486 = 4*y. Let a = b + -22265/88. Let q(s) = s - 6. Let c be q(6). Which is greater: a or c?
c
Suppose -45*u - 37*u = 90446. Which is greater: u or -1102?
-1102
Let y be 36/24 + 18/(-4) + 4459. Let h be (-10)/(-45) + y/36. Let v = -121 + h. Which is greater: v or 6?
6
Let v be 6 + -5 + -2 + (-14 - -16). Is v at most as big as -5/471?
False
Let p(i) = 7*i**2 + i - 1. Let w be p(-3). Suppose -5*j + 24 - w = 0. Let l(z) = 6*z - 77. Let x be l(12). Which is smaller: x or j?
j
Suppose -39563*q = -39540*q + 115. Which is bigger: -185 or q?
q
Let q(o) = -2*o - 9. Let t be q(-3). Let m(y) = y**2 + 3*y + 2. Let g be m(t). Let l = 561/5 + -111. Which is bigger: l or g?
g
Let b = -190774242 + 151284007839/793. Let k be 148/26*(-225)/30. Let j = b + k. Is j <= 0?
False
Let o = 208/129 + -538/387. Which is bigger: o or 71?
71
Let y(j) = 88*j + 54. Let u be y(-3). Suppose 6*x + 1188 = -78. Which is greater: u or x?
u
Let v(a) = -a**3 - 3*a**2 - 3*a + 3. Let d be v(-5). Let y be d/(-32) + 4/2. Suppose 1609*k - 1614*k = 2*z - 20, -3*k = -2*z + 20. Is y <= k?
True
Suppose 40*g - 12100 = -4*g. Which is smaller: g or 266?
266
Suppose -5*f = 2*j - 10*f - 1245, -2*j + 1254 = -2*f. Let b be j/280*((-8)/6 - -1). Let u = 0.03 + -3.03. Which is bigger: b or u?
b
Let m = -357 - -359. Suppose -g = -3*t + 11 - 6, -4*t + m*g = -8. Is t at most -10/17?
False
Let p be (-7 + 3 + 38)*(-1)/1. Let u = p + -4. Let m = u + 54. Which is greater: 15 or m?
m
Let w be ((-6)/15)/(316/10270). Is w at least -475/36?
True
Let z(m) = -2*m**2 - m + 1. Let d(k) = -k**3 - 25*k**2 - 5*k - 11. Let a(b) = d(b) - 5*z(b). Let i be a(-15). Which is smaller: i or 4?
i
Let y = 173 + -1538. Are 0 and y equal?
False
Suppose 0 = -4*x + 14 + 2, -5*v = -x - 21. Let m be 1/(-6) - v/(-30). Which is smaller: -1/108 or m?
-1/108
Suppose -37*p + 1980 = -61*p - 42*p. Which is greater: -20 or p?
-20
Let x = 7/4244 + 2115/4244. Is 4/743 at least as big as x?
False
Let a be 161/(-14)*(1/1 - -3). Let w be a/150 - 4/18. Let z = w + 7/50. Which is greater: -1 or z?
z
Let d be (-1616)/2433 + (-12)/(-18). Suppose -65*j = 157*j - 65*j. Which is smaller: d or j?
j
Let b = -285 + -224. Which is greater: -507 or b?
-507
Let u(x) = 13*x**3 + 14*x**2 + 16*x - 77. Let b(m) = 3*m**3 + 4*m**2 + 4*m - 19. Let v(d) = 9*b(d) - 2*u(d). Let q be v(-4). Which is bigger: 27 or q?
q
Let i be ((-1)/(-14))/(42/(-16)). Let l = i - 6448/735. Let x = -2861 - -2852. Which is bigger: x or l?
l
Suppose 0 = 2*x - 4*o + 1417 - 33447, -4*o = -3*x + 48049. Which is smaller: x or -1?
-1
Let c be 31279/7 + 39/105 + (-36)/45. Is c > 4467?
True
Let v(c) = -c**3 - 8*c**2 + 25*c + 80. Let y be v(-9). Let a be (357/(-238))/(-1*46/y). Are -2 and a unequal?
True
Let h = -18692 - -21822. Do 3129 and h have the same value?
False
Let y = -146/7 + 1147/56. Let g be (-3)/10 - 81/(-270). Which is smaller: g or y?
y
Suppose -4*p = -3*w + 164, 0 = -0*w + 2*w - 4*p - 112. Let k be 3 - w/6 - -6. Are k and -6 equal?
False
Suppose 3 = 4*x - 13. Suppose -x*p = -134 - 246. Suppose 11*t = 6*t - p. Are -19 and t equal?
True
Let k = 0.3845 - 0.5545. Is k at most -3?
False
Suppose 3*w = 4*k - 17 + 2, -2*k = 5*w + 25. Let b be (1/(-6))/(w/70). Let d = -0.07 - 0.93. Is b >= d?
True
Let b(o) = 2*o - 307. Let i be b(23). Let h = -309 - i. Does h = -48?
True
Suppose h = -3*c + 33, 0 = -h - 2*h + 9. Suppose -9*v + 23 = 3*y - 5*v, -5*y = -3*v + c. Let g be (-2)/(-3)*(-3)/21. Is g at most as big as y?
True
Suppose 3*a = -3*m + 501, 3*m = 6*m - 3. Suppose p - 86 = -h + 2*p, a = 2*h - 5*p. Let d = -84 + h. Which is smaller: d or -5?
-5
Suppose 35*l - 29*l + 402 = 0. Let y = l - -178. Does y = 111?
True
Let v be -5 + 99*230/30. Is 751 at most v?
True
Let s = -28.95 + 29.8. Let c = s + -0.45. Which is smaller: 4 or c?
c
Let s(z) = 4*z**2 - 25*z + 16. Let u be s(5). Which is greater: u or 1/6?
1/6
Let m be (-1)/(-2)*-1379 - ((-9075)/110)/(-33). Is m greater than 0.11?
False
Suppose 4*z - 8*c = -12*c - 12, 5*z = 4*c + 21. Let q(l) = -l**3 - 3*l**2 - 1. Let h be q(-3). Let p be (-3)/(-33)*h - 0. Is z at least as big as p?
True
Let s(p) = 2*p**3 + 13*p**2 - 18*p - 101. Let x be s(-11). Let w be 6/39 + x/2392. Let z(n) = n**2 - 4*n - 6. Let t be z(5). Which is smaller: w or t?
t
Let x = -12 - -12. Suppose 2*q - 5*b - 5 = 9, 3*b + 16 = 5*q. Are q and x unequal?
True
Let q = 40/419 + -171733/12570. Is q bigger than -15?
True
Let g(h) = -70*h**2 + 679*h + 7. Let b be g(12). Is b less than -1925?
False
Let o = 6/3113 + 3676/1323025. Suppose 0 = -67*c + 66*c. Is o less than c?
False
Let k be (-4)/24 - (-229)/6. Suppose -12*i + 98 = k. Let f be i*(6/(-735))/(-1). Which is greater: f or -1?
f
Let u be 2667/(-189) - (-1)/9. Let m be -13 - 30899/77 - 4/u. Is m less than -415?
False
Let z = -0.493 + 458.493. Let c = 458 - z. Is -1.42 at least c?
False
Let w be (3 - 4/1) + 2/(2/(-7)). Let t = 19192 - 97196/5. Let m = t + 239. Which is greater: m or w?
w
Let q = 8 - 47. Let f = q - -90. Let y = -51 + f. Is -2 >= y?
False
Let q = 5 - 2. Suppose r = q*r. Let o = 662/3193 - 28/103. Is o > r?
False
Let u = 99661/22 + -15574517/3432. Let q = 100/13 + u. Which is greater: q or 0?
0
Let f be 6*292*(-198)/176. Is f >= -1972?
True
Suppose -5*u - 126 - 104 = 0. Suppose 0 = 14*h - 1732 + 1732. Which is smaller: h or u?
u
Let z = 766924.5509 + -766887. Let g = -0.0491 - z. Which is greater: g or -2?
-2
Let t = 64 - 70. Let x be 15/(-40)*-97*t/9. Are -23 and x non-equal?
True
Let b = -3800 - -3725. Is b at most 14?
True
Let x = 44 - 44.282. Let d be 1 + 30/(-34) + (-8932)/17255. Is d bigger than x?
False
Let y = 8382 - 8174. Which is smaller: 207 or y?
207
Let u = -187.825 + -0.175. Let p = u + 189. Do -140 and p have the same value?
False
Suppose -g + 2*m = -6 - 0, -2*g + 3*m = -14. Suppose 0 = -5*o + g. Let n be (-3)/5 - 30/(-25). Which is smaller: n or o?
n
Let v = -23 + 24. Let r = 1 - v. Let m = -251/5 - -2264/45. Which is smaller: m or r?
r
Let k = -14