Is b greater than or equal to -1?
False
Let n = 2.1 - 12.1. Let z = 18 + n. Let u = -10 + z. Is u > -3?
True
Let n = -1 - -2. Let x = 19 + -12. Let j = x + -2. Which is bigger: n or j?
j
Let b be (2 + 156/(-80))/(21/168). Is b != -2/93?
True
Let d = -2/2141 + -34246/10705. Is -4 at most d?
True
Let l be (9 - 8)/(27/(-13) - -2). Is l at most as big as -71/5?
False
Let p(a) = a**3 - 14*a**2 - 2*a + 21. Let n be p(14). Do n and 0 have different values?
True
Let v = -349/537 - 3/179. Is v at least as big as -6?
True
Let n be -16*((-1)/2)/1. Suppose n = 5*l - 7. Suppose 4*k - m + l + 4 = 0, -m + 3 = 0. Is k less than or equal to -1/26?
True
Suppose -8 = 5*b - 7*b. Suppose f - 27 = -o, 5*o - b*f - 58 - 32 = 0. Which is greater: o or 24?
24
Let y(t) = t**3 - 9*t**2 + 7*t + 7. Let h be y(8). Let p be ((-5)/(-660)*-3)/h. Which is smaller: 0 or p?
0
Let y(z) = 3*z**2 + 27*z - 31. Let f be y(-10). Let u = -39758/83 + 479. Is f less than or equal to u?
True
Suppose 3*n - 4*o + 4 = 0, -2*n + 21 = -4*n - o. Let y be n/(-32)*(-28)/3. Suppose -2*u + 3 - 7 = 0. Which is greater: u or y?
u
Let u be 4656/(-30433) + 3/(312/16). Which is greater: -1 or u?
u
Let u(y) = -y**2 - 8*y + 11. Let t = 14 + -23. Let d be u(t). Let i be d/(-2) + (-2 - -5). Is -1 smaller than i?
True
Let h = -88 - -87.948. Let j = -0.252 - h. Which is smaller: 11/2 or j?
j
Let t = 11.12 - 11. Let h = -0.52 + t. Let s be 2/10*(-20)/(-12). Which is greater: s or h?
s
Let a = -3 - -7. Let v be 38/14 - (-8)/224*8. Is v greater than or equal to a?
False
Suppose 20*u + 23*u = -3010. Let r = 18 + -87. Which is smaller: u or r?
u
Let p(z) = z**2 - 3 - 1 - 3*z**2 + 3*z**2 + 2*z. Let a be p(-6). Suppose 4*c + a = 2*u, 10 = -2*c - 0. Which is bigger: -3/11 or u?
u
Let t = 650 - 649.8. Is t bigger than 49/6?
False
Let a = 5268.79 - 5306. Let z = 37 + a. Let v = z + 0.4. Is v bigger than -0.1?
True
Suppose -2*x + 0*x = 32. Suppose 1019 - 395 = -39*o. Is x smaller than o?
False
Suppose 0 = 19*a + 1035 + 770. Which is bigger: a or -97?
a
Let a be 14190/(-4)*((-190)/(-47) - 4). Let d = -151 - a. Which is smaller: d or 1/3?
d
Suppose -20*p - 25 = -15*p. Let x(a) = -a + 12. Let w be x(p). Is w greater than 15?
True
Let x(g) = g**3 - 40*g**2 + 31*g + 174. Let q be x(39). Which is smaller: q or -1/4?
q
Let w = -0.0641 + -25.1359. Is w less than 1?
True
Let b be 1/(3 + 115/(-40)). Let k be (1/(-388))/((-2)/b). Which is smaller: 0 or k?
0
Let c = -29 + 82. Suppose 5*j + 150 = 5*s, -4*s + c = -2*j - 63. Is 27 at least s?
False
Let l(j) = 15*j + 17. Let x be l(-3). Are 1 and x nonequal?
True
Suppose 0 = -0*f + f + 5*a + 25, a - 5 = 0. Let v = -124 - -74. Is f greater than v?
False
Let z be ((-356)/16)/(3*(-1)/(-108)). Does -802 = z?
False
Suppose -i + 127 = -2*w - 0*w, 0 = 3*i + 5*w - 414. Which is greater: i or 136?
136
Let n = -5/13 + 23/26. Which is bigger: n or 0.44?
n
Let y(n) = 56*n**3 + 2*n**2 - 3*n + 2. Let g be y(1). Which is bigger: g or 56?
g
Suppose -6*c - 21 = -51. Suppose 4*j = -c*p - 0*p + 15, 0 = 3*p + j - 9. Suppose -v + 0*v - p = 0. Do -3 and v have the same value?
True
Let c(l) = -2*l**2 - 34*l + 76. Let s be c(-19). Let d be (-138)/260 + 1/2. Are d and s non-equal?
True
Let y(u) = -u**3 + 7*u**2 + 7*u + 9. Let l be y(8). Let i be ((l + -1)/(-4))/1. Let a be i - (-12)/4 - 10. Is -7 <= a?
True
Suppose -t - 4*t + 20 = 0. Suppose -t*x + 126 = -18. Is x >= 35?
True
Let i be -3 + -1 + 2 - -2. Let y = 13 + -10. Suppose 0*z - z = y. Which is smaller: z or i?
z
Let v = 553 + -560. Is -10 greater than v?
False
Let x(r) = -r**2 + 6*r - 3. Let k be -3*((-21)/(-9) + -4). Let n be x(k). Suppose -2*z + 7*z = -2*y + n, 3*y + 5*z + 2 = 0. Which is smaller: -5 or y?
-5
Suppose -5 = j, -19 + 3 = -4*k + 4*j. Which is smaller: k or -22/53?
k
Let z = -1/23 - -325/69. Suppose 0*j - 1690 = 26*j. Let s = j + 70. Is s < z?
False
Let v(j) = 2*j - 2. Let l be v(-3). Let u be l/4 - 16/(-7). Which is greater: 3 or u?
3
Suppose 128 = 89*m - 16159. Which is smaller: m or 187?
m
Let a = -0.2626 + -28.7374. Which is greater: -0.1 or a?
-0.1
Let n(t) = 2*t**2 - 2*t + 3. Let z be n(5). Let j = 263 - 220. Is j >= z?
True
Let f = -5.03 - -5.11. Is f smaller than -7?
False
Let a = 18 + -18.2. Let s = a + 4.2. Which is greater: s or -2?
s
Let d be 6/((870/(-75))/((-16)/20)). Which is smaller: -1 or d?
-1
Let b be (2/9)/(-1 + 2). Let v be 50/(-126) - 9/(252/(-8)). Which is smaller: v or b?
v
Let q(n) = n**3 - 7*n**2 + 5*n + 4. Let h be q(5). Let z = -8 - -26. Let o = h + z. Is -17/5 at most as big as o?
True
Let i = 77 - 49. Suppose -21*q - 28 = -i*q. Is 3 < q?
True
Suppose 2*f - 5*a - 230 = 0, 0 = -4*f + 3*a + 18 + 456. Which is smaller: 119 or f?
119
Let f = 117 + -115.4. Let a = -13.7 + 13.3. Which is smaller: f or a?
a
Let z be ((-24)/15)/(418/(-275)). Is z at most 0?
False
Let s(v) = v**3 + 7*v**2 + 7. Let i be s(-7). Let h = i + -8. Let a(p) = 12*p**3 - p - 2. Let y be a(h). Which is smaller: -12 or y?
y
Let a(b) = 5*b - 24. Let l be a(5). Let p = 2.1 + -3.9. Are p and l non-equal?
True
Suppose 99*c - 77*c = -132. Let j = -3 + 1. Is c bigger than j?
False
Let v = 13974601/1057 - 13221. Which is smaller: v or 1?
v
Let d = -0.7 + 0.5. Let u = 6 + -8. Let i be ((-14)/10 - -3) + u. Is i smaller than d?
True
Suppose -3 = 3*k - 4*k. Suppose 0 = -k*r + 8 - 2. Is r at least -5/6?
True
Suppose 4*i + 10 + 5 = -5*q, -4*q + 24 = -4*i. Let d be 2/i - 66/(-15). Suppose z + 4*z - 4*p = 106, d*p + 88 = 4*z. Is z less than 37/2?
True
Suppose 2*t + 205 = 7*t. Suppose u - t - 19 = 0. Let w be u/50*2/(-8). Which is bigger: w or 0?
0
Let t = 3 - 60. Let h = t + 401/7. Which is greater: h or -3/8?
h
Let n = -41 - -21. Let o = -20.1 - n. Which is smaller: o or -14?
-14
Suppose 4*a - 23 = 37. Which is smaller: a or 83/6?
83/6
Let y be ((-85)/(-10))/((-3)/131). Let n = 369 + y. Which is smaller: -3 or n?
-3
Let f(q) = q**2 - 6*q - 6. Let l be f(7). Suppose c + l - 13 = -2*z, -26 = -3*c - 4*z. Let u = 7 + c. Which is smaller: u or 8?
8
Let h(c) = -10*c + 215. Let f be h(17). Is f at least as big as 137/3?
False
Suppose -8*r + 166 = 3*w - 3*r, 3*w - 202 = 4*r. Which is greater: w or 64?
64
Let d = -1 + 8. Let f = 8 - d. Let w be 76/20 - f/(-5). Which is greater: 6 or w?
6
Suppose 0 = 11*a - 597 - 30. Which is greater: 0 or a?
a
Suppose 43*a = -5*a - 6864. Is a >= -146?
True
Let g = 5 - -4. Let t be -6 + g - (-1)/(-1). Suppose t*n + 2*s = 4, 5*s = n - 3*n + 16. Which is greater: n or -4?
n
Let a = -0.02 + -10.98. Let x = 0.7 - 2.7. Which is smaller: a or x?
a
Let z = 166 - 131. Is 141/4 < z?
False
Let r = -3 - -2. Let b be ((-7)/4)/((-10)/(-40)). Let w(o) = 2*o**3 + 12*o**2 - 11*o + 10. Let m be w(b). Is m smaller than r?
True
Let d(o) = 29*o**2 - 3*o + 2. Let m be d(2). Let w be ((-120)/m - (-3)/2)*-2. Is w bigger than -2?
True
Let c = 17 + -27. Let k = 66 + -68. Is k bigger than c?
True
Suppose 3*m + 9*h - 4*h = -491, 3*m - 3*h = -459. Which is greater: -153 or m?
-153
Let f = 2/53 - 88/5141. Let s(a) = 99*a + 1089. Let m be s(-11). Which is greater: f or m?
f
Let r be (486/(-8) + -3)/((-1)/4). Is 256 not equal to r?
True
Let m(l) = -3 - 2 - 6 - l + 5. Let g be m(-9). Let q = -55 + 59. Are q and g nonequal?
True
Suppose -2*t + 2 = -2. Suppose 1 = 3*g - t. Which is smaller: 1/39 or g?
1/39
Let g be (2 + -3)/(1/19). Suppose 0*u = 2*u, 3*w + 4*u = 0. Suppose w = k - s - s + 27, -3*k - 49 = 2*s. Is k smaller than g?
False
Let v = 547 - 548. Is -4/387 less than v?
False
Suppose 3*k = 19 - 7. Suppose 0 = -c - k*v + 4 - 32, -5*c + 2*v - 30 = 0. Let u be (-11 - c)*4/198. Which is smaller: u or 0?
u
Suppose -5*h + 3*v = -3*h - 56, -v + 40 = 2*h. Suppose 3*p = -3*z - 0*z + 75, -5*z - 55 = -4*p. Let y = h - p. Which is bigger: -2 or y?
y
Let c(i) = -2*i**3 - 4*i**2 - 4*i - 4. Let g be c(-2). Let a(j) = -4*j + 16. Let o be a(g). Does o = -15?
False
Let d be (-1344)/(-9) - (2 + -1). Is d >= 149?
False
Let x be 2236/(-3454) - (-30)/55. Which is bigger: x or -1?
x
Let o(u) = -u**3 - 4*u**2 - 5*u - 2. Let h be o(-3). Let j be (h - 1)*26/2028. Which is greater: j or 1?
1
Let j be (260/(-156))/((-10)/(-6)). Is 2/7667 bigger than j?
True
Let r be (-32)/(-30) + (-20)/50. Let s = 5/9 - r. Is s bigger than 0.1?
False
Let n = -13 + 27. Let a(d) = d**2 - 14*d + 9. Let i be 