. Is s greater than 1/54?
False
Suppose 3*x = -d - 251, -2*d + 0*d + 422 = -5*x. Let f be (2 - x/(-45))*1. Let n = 2.9 + -3.1. Which is greater: n or f?
f
Let z be ((-36)/(-2))/1 + (-370 - -375). Is z not equal to 49?
True
Suppose 4*g = -5*m + 21, 3*m - 9 = 6. Let y be -2 - g - (-352)/364. Let u = 622/455 - y. Which is bigger: u or 2?
2
Let c be (-9)/(-63) - (-4352)/14. Is -1 less than or equal to c?
True
Suppose 0 = u - 1 + 7. Let v(l) = -l**2 - 5*l + 12. Let d be v(u). Let g = d + -23/4. Which is smaller: g or -13?
-13
Let b be 3/(-12) - 126/(-24). Let u be 136/(-221)*b/2. Which is smaller: u or -3?
-3
Suppose 6 = 2*o + 4*w, 8*o = 13*o + 5*w - 5. Is -3/74 < o?
False
Let q = 1.1 + -3.5. Let l = q + 0.4. Let g = 190 - 381/2. Which is bigger: l or g?
g
Let m(x) = x**2 - 8*x + 1. Let t be m(8). Is t > 36/17?
False
Let j be 1 + (-20)/6 - (31 - 33). Is j > 42?
False
Let p = 993/7 - 141. Which is bigger: 0 or p?
p
Let l(j) = 7*j**2 - 52*j - 218. Let r be l(-5). Is r greater than or equal to 3?
True
Let m be 2*6/8*-2. Let j be (-1 - m)*(4 + -3). Suppose -g + j = -3*g. Are g and -3 equal?
False
Suppose 12 = 4*b - 8. Suppose -5*z = 3*r - z + 3, -5*r + 5*z = b. Let g = -3/53 - 38/265. Which is smaller: g or r?
r
Let x(o) be the second derivative of -o**5/20 - 3*o**2/2 + 32*o. Let b be x(-2). Is 17/4 at most b?
True
Let i be -5 + ((-1694)/(-28))/(29/2). Is i less than -2?
False
Let n(b) be the third derivative of b**4/8 - b**3/2 - 19*b**2. Let p be n(16). Which is greater: p or 46?
46
Let c be (-6)/39*38 + 1. Let r = c + 343/52. Let i(n) = n**3 + 20*n**2 + 20*n + 21. Let z be i(-19). Is z at least as big as r?
True
Let r(s) = -1 + 3 + s + 0*s. Suppose -37*j = -8*j + 58. Let h be r(j). Which is bigger: h or -2/21?
h
Let v(u) = -12*u - 130. Let k be v(-11). Let j = 4 + -9. Let g(t) = t**2 + 6*t + 7. Let c be g(j). Is c greater than or equal to k?
True
Let i = 182 - 189. Let n = 2.4 - 2. Which is greater: i or n?
n
Let n = 6 + -6. Let m = -838941 + 12579628/15. Let w = m + 299. Do w and n have different values?
True
Let c(z) be the first derivative of z**2 + 22*z - 5. Let j be c(-10). Is 5/4 bigger than j?
False
Let y = 12 - 14. Let u be 1 + 212/6 + y. Let h = -34 + u. Is h smaller than -0.03?
False
Suppose 0 = -3*a + 4*y + 57, -4*a + 67 = -y + 4. Let q = 29/2 - a. Let j = 2/125 - 56/375. Are j and q unequal?
True
Let m = -79.5 + 79.43. Is m greater than or equal to 0.45?
False
Suppose 4*m - 1 + 5 = 2*i, 2*i - 3*m = 3. Let d be i - (6/(-3) - -3). Let r = 8 - 186/23. Is r > d?
True
Let y = -4.5 - -4.4. Let n = -2.246 - -0.046. Is y at most n?
False
Let o(h) = -11*h - 1. Let y be o(-1). Suppose 5*a - 10 = y*a. Which is smaller: 7/2 or a?
a
Let b(y) = 3*y**2 - 3*y + 1. Let c be b(2). Suppose 0 = 4*h - c*h. Is h <= -2?
False
Let w be (-1)/(-1)*(1 - 1). Let s = -1514 - -1520. Suppose 4*z + 2 + s = w. Is -5/6 at least z?
True
Let z(c) = -4*c**2 + 142*c - 71. Let i be z(35). Let h be (-16)/(-6) - 2/(-6). Let r(y) = y**3 - 4*y**2 + 3*y + 1. Let k be r(h). Which is greater: i or k?
k
Let t = 28 + -71. Which is smaller: t or 1?
t
Let u be (-6)/30 + (-389)/5. Let g be 3/(3 - u/(-16)). Suppose 0 = -2*a + a - 1. Is g at most as big as a?
True
Let y be 138/42 + (-8 - -5). Is -73 at least as big as y?
False
Let n(o) = 12*o - 1063. Let b be n(68). Is -248 > b?
False
Let b = -0.02 + 47.02. Let g = b - 46.92. Is 0.2 not equal to g?
True
Let f = 55 - 55.975. Let h = 0.025 - f. Which is smaller: h or 59?
h
Let j(y) = -y**2 - 8*y - 9. Let g be j(-6). Suppose 2*l + 258 = -2*w, 5*w - 378 + 120 = 2*l. Let p be (3 + l/9)*(-2)/8. Is p at least as big as g?
False
Suppose -5*n = -2*h + 562, -4*h + 115 = -3*n - 225. Let k be (-102)/n - (-24)/(-84). Let c = 3/8 - k. Is -1 less than or equal to c?
True
Suppose m + 0 = 1. Let o(s) = 6*s - 84. Let l be o(13). Is m at most as big as l?
False
Let n = -763 + 761. Is n less than -17?
False
Let w(j) = -j**2 + 4*j + 1. Let v(m) = -1. Let h(c) = c - 1. Let t be h(2). Let s(k) = t*w(k) - 3*v(k). Let n be s(5). Is n less than or equal to 0?
True
Suppose 0 = -2*f - 2*k - 796, 383 = -f - 5*k + 7*k. Is -395 > f?
False
Let b = 85175/957 - 89. Are b and 0 nonequal?
True
Suppose -6 = -3*d + d. Suppose 5*r - 15 = -m, 5*m + 0*r - 2*r = -6. Let t be 2*1 + m/15. Are t and d nonequal?
True
Let f(k) = k**3 + 6*k**2 + 6*k - 1. Let n be f(-6). Is n < -71/2?
True
Let u be 8/(-32) + 1 + (-1169)/4. Are -291 and u equal?
False
Suppose -4*p = q - 7 - 7, -3*p + 20 = -4*q. Let a be (1 - (6 + -4))/(3/(-237)). Let d = -79 + a. Which is greater: d or q?
d
Let d(w) = -w**3 - w**2 + 3*w - 5. Let o be d(2). Is -16 at least as big as o?
False
Let z = 52 + -2131/41. Let h = 83 - 84. Are h and z equal?
False
Let k = 354 + -380. Let j be (-7 - -6)*(0 + -3). Is k smaller than j?
True
Let n = 4/9 - 2/9. Let d = -374 - -374. Which is smaller: n or d?
d
Let k = -2/64535 + 121337/361396. Let i = k + -1/20. Which is bigger: i or -0.13?
i
Let r = 3.28 + -1.54. Let f = 0.26 + r. Which is greater: 0.22 or f?
f
Let r = -39 - -33. Let h be 12/8 - (r/4 - -1). Do -4 and h have different values?
True
Let i be 264/(-94) + 21/28*4. Which is greater: i or 0?
i
Let v = -208 + 831/4. Which is smaller: v or -0.2?
v
Let d = 196.64 - 193. Let j = 3.7 - d. Is -6 smaller than j?
True
Let d = -78.55 - -79. Let t = -0.25 + d. Which is bigger: 0.07 or t?
t
Suppose 2*g + 4 - 22 = 0. Let v be (-21)/14*(-2)/g. Do 13 and v have different values?
True
Let s = 48 + -36. Suppose 0 = -s*a - 108 + 12. Is a > -7?
False
Let d = 143 - 109. Let y = d + -35. Which is smaller: y or 0.008?
y
Let q be ((-30)/12)/(2/(-4)). Suppose -r + 1 = t - 2, -q*t + r + 27 = 0. Suppose 0 = 3*b - 4*b + t. Is 4 equal to b?
False
Suppose -5*v - 487 - 98 = -h, -3*v + h = 353. Which is smaller: v or -118?
-118
Let x = -271/3540 + -2/295. Let q(a) = -a**2 - 5*a + 4. Let i be q(-5). Let h be i/(-4)*(1 - 0). Are h and x unequal?
True
Let y be (-7214*(-1)/(-10))/1. Let j = y - -719. Which is bigger: -2 or j?
-2
Let a(q) = -q + 1. Let u(c) = -7*c**2 - 9*c + 8. Let r(s) = 3*a(s) - u(s). Let f be r(2). Which is smaller: 33 or f?
33
Suppose -2*w + 5 = -3. Let k be w/(-20 + -4)*(-4)/(-21). Is k not equal to 0?
True
Let n = 152035/63 - 2413. Is n at least -1?
True
Suppose -i = 0, 3*i = -5*p - 2 + 17. Suppose 5*v = 3 - p. Which is smaller: v or -1.9?
-1.9
Let q = 232 - 698/3. Let v = 2497 + -297145/119. Which is smaller: q or v?
q
Suppose -66 = 3*l + 3*x, -3*l - 80 = -0*l - 4*x. Which is smaller: -0.6 or l?
l
Let a be 3 + ((-4)/(1760/(-2536)))/(-2). Is a != -1?
True
Let l(a) = -a**3 - 3*a**2 - a + 3. Let n(c) = c**3 + 3*c**2 + c - 4. Let v be n(-2). Let r be l(v). Which is smaller: -6/19 or r?
-6/19
Let m be -2*(-21)/7*-4. Which is smaller: -25 or m?
-25
Suppose -3*n - 15 = -8*n. Suppose -n - 11 = -w - s, 3*s = 12. Suppose 2*h + 0*h - w = 0. Is 5 smaller than h?
False
Let i = 10 + -8. Suppose 3*g - i*g = 0. Which is bigger: g or 7/6?
7/6
Let r = 77.83 + -78. Let d = -0.13 - r. Which is smaller: d or -2/3?
-2/3
Suppose -9 = -0*f - 2*f - z, 3*f + 5*z - 17 = 0. Are f and -7 nonequal?
True
Let w be (-30)/(-20) - (-354)/(-4). Suppose -89 = s - 2. Are s and w equal?
True
Let s = 1/53199 + -108433/108259965. Is -1 smaller than s?
True
Let s = -26.98 - -27. Let o = s + 0.2. Which is greater: o or 0.1?
o
Let a(p) = p**2 - p + 2. Let w be a(0). Let o be w*5*8/20. Suppose 5*k = -o + 19. Is 3 != k?
False
Let d(g) = -11*g + 113. Let u be d(12). Is -16 != u?
True
Suppose 0 = k - 4*x + 12, 3*k + 3*x + 2*x = 15. Are 2/1579 and k equal?
False
Let r = 2929/111220 + -3/1340. Suppose -6*k = -3*k - 3. Is k <= r?
False
Let f = 5939/3 - 2001. Which is greater: -0.1 or f?
-0.1
Let b = -751 - -364. Is b != -386?
True
Let f = -1.8 + 0.8. Let n be (-4)/18*(-39)/26. Is f >= n?
False
Let a be (-10249)/185 - 4/(-10). Are a and -55 equal?
True
Let m(q) = q + 3. Let o be m(-2). Suppose 10*s - 21 + 71 = 0. Let i be 5 + (-5)/(-20) + s. Which is smaller: o or i?
i
Let d = -40 - -41.9. Let v = d - 2.1. Let w = -0.1 - v. Which is smaller: w or 3?
w
Let a(l) = -l - 2. Let j be a(-5). Suppose -4*p + 4 = -5*g + 5, 4*g - 7 = -j*p. Let m = 2566/11 - 233. Is m less than or equal to p?
True
Let w be (14/(-35))/((-10)/5). Is 92 smaller than w?
False
Let n = 238 + -163. Is n greater than 73