et b be 3 - (-3 - -3 - -4). Is b at least as big as d?
False
Let z be (-25)/(-260) - (-2)/(-8) - 94/(-442). Suppose 3*d = -d. Is z != d?
True
Let f be (-3245)/55 + (-1 - 4). Is -64 bigger than f?
False
Suppose -3*x + 41 + 55 = 0. Let m = -24 + x. Does 5 = m?
False
Suppose -2*h = -h. Suppose h = -0*q + 2*q - 8. Suppose 29 = -q*o + 9. Is o < -21/4?
False
Suppose 2*d - 13 = 29. Let b(s) = -3*s + 76. Let r be b(18). Which is bigger: d or r?
r
Let j = 20.428 - 0.46. Let t = j + 0.032. Let y = -20 + t. Is -12 <= y?
True
Let y = -0.222 + -15.198. Let q = 0.32 + y. Let z = -15 - q. Is z equal to 1/19?
False
Let x(h) = h**2 - 37*h + 250. Let k be x(10). Suppose 3*q + 73 = 10. Is k at least q?
True
Let l(x) = 2*x**2 - 4*x + 2. Let r be l(3). Suppose 4*u = -0*u - r. Let w be 2/6*-1 - 1. Is u not equal to w?
True
Suppose 2*n = -5*n - 357. Let r be ((-31)/3)/((-3)/(-15)). Let i = r - n. Which is smaller: -5 or i?
-5
Let r be 0*(0 - -1) - 2. Let w = 186 + -214. Let g = w + 32. Do g and r have different values?
True
Let x(q) = -q**3 - 8*q**2 + 9*q + 4. Let c be x(-9). Let b be (-2)/c*0 - 114/(-380). Is 1 at least as big as b?
True
Let a be (2 - 5/20)/(1/4). Suppose 12*q = a*q. Which is greater: q or -16/11?
q
Let k be (0 - -1)/(21/(-9)). Suppose 0 = -4*n - 28 + 4. Let v be ((-2)/3)/(4/n). Is k > v?
False
Let c be (130/8)/(126/(-224)). Which is smaller: c or -29?
-29
Suppose -4*l - 3*g - 7 + 22 = 0, -l = -g + 5. Which is smaller: l or -6/157?
-6/157
Let u = 5.6 + 21.4. Let m = 26.927 - -0.073. Let a = m - u. Is a bigger than 0.6?
False
Let l(m) = 3*m - 2. Let c be l(-1). Let v = 104 + -108. Is v smaller than c?
False
Suppose 11*l - 30 = 6*l. Suppose 0 = 4*c + 3*h - 6, -4*c + 2*h + 4 = l*h. Suppose 4 = 2*m, -x - c*m + 0*m = 5. Is x less than or equal to -11?
True
Let y = -0.1 + 0. Let c be ((-5)/(-6) + 0)*104/260. Are c and y unequal?
True
Suppose -87*i + 94*i + 378 = 0. Is i >= -54?
True
Let q be (1603/(-245) - -5)/((-3)/165). Is 85 not equal to q?
True
Let u = 0.63 + -1.63. Let x = -1 - -1. Which is smaller: x or u?
u
Let a(u) be the second derivative of -u**6/360 - u**5/15 - u**4/24 + 5*u**3/3 - 7*u. Let t(h) be the second derivative of a(h). Let z be t(-8). Is z <= -2?
False
Let r(z) be the second derivative of -z**5/20 - z**4/2 - z**3/2 + 2*z**2 + z. Let n be r(-5). Let t be n/4*24/(-9). Which is bigger: 3 or t?
t
Suppose 2*s - 3*n = 1, s - 6*n + 9*n = 5. Do 7 and s have the same value?
False
Let l be 3 - (91/(-28))/13. Which is smaller: l or 4?
l
Let n = 1.16 - 0.119. Let t = -0.041 + n. Is t at least 30?
False
Let t = 274 + -273. Let s = 4 + -4.8. Which is smaller: t or s?
s
Suppose -4*y - 635*b = -633*b + 12, 3*y + 2*b + 10 = 0. Suppose 0*q + 4*o + 31 = -3*q, 0 = q - 2*o - 3. Is y bigger than q?
True
Let o(v) = v**3 - v**2 - v - 1. Let b(s) = 3*s**3 + 4*s**2 - 19*s - 9. Let u(j) = -b(j) + 2*o(j). Let i be u(-8). Which is bigger: -2/193 or i?
-2/193
Let i be 1802/5800 + (-6)/24. Let s = 3/145 - i. Is 1 greater than s?
True
Let t be ((-11)/2)/(46/460). Is t > -54?
False
Let v be -5*(2 + 2/(-2)). Let l = 173 - 174. Which is smaller: v or l?
v
Let i = 2/31 - -66/899. Is i at most as big as -5?
False
Let s = 431 - 214. Are 216 and s nonequal?
True
Let u = -0.0565 - -22.9065. Let f = u - 23. Which is bigger: -2 or f?
f
Let f(s) = -s**3 + 30*s + 9. Let x be f(-8). Is 280 at least as big as x?
False
Let r(m) = m**3 - 9*m**2 + 3*m + 3. Let x be r(9). Which is smaller: 29 or x?
29
Let h = 3273/10 - 9989/30. Let t = -0.8 + 1.1. Which is bigger: t or h?
t
Let q be (2/(143 - 1))/((-13)/26). Which is greater: q or 0?
0
Suppose 4*y - 114 + 18 = 0. Let d be y/(2 - 0) + 3. Let m be (4 + -3)/(d/(-3)). Is m equal to 1?
False
Let w be (-3)/(-81)*-4*1. Let g = w - -19/27. Which is smaller: g or 2?
g
Let m = -34 - -37. Let t = -1.2 - -1. Is t at most m?
True
Let w be (-28)/20*(-2)/(-2). Let c be ((-34)/(-34))/(11/2). Is c at most as big as w?
False
Let i be (-128)/144 + (-8)/(-6). Suppose -5*h = 2*r - 10*h - 13, 3*h + 7 = 2*r. Do i and r have different values?
True
Suppose -1 + 0 = -q. Let o be (5/(-75))/((-7)/(-35)). Which is bigger: o or q?
q
Let m = 7 + -29/4. Let o = -5/16 - m. Which is smaller: o or 0?
o
Let x = -0.11 - -7.91. Let f = -18 + x. Let o = -10 - f. Is 2 < o?
False
Suppose 76*j - 73*j + 49 = -41. Let i = 0.3 - 0.2. Which is smaller: i or j?
j
Let k(r) = -212*r - 2. Let l be k(-1). Let x be (-6)/4*56/l. Is x at most as big as -1?
False
Let h(i) = -41*i**2 - i. Let c be h(-1). Let p = -41 - c. Are p and -5/17 non-equal?
True
Let o be (-8840)/17 + (0/(-1))/1. Let u be (-1 - -4) + -1 + o/262. Which is smaller: u or -1?
-1
Suppose -202*f = -187*f + 45. Which is bigger: f or 120?
120
Suppose -2*p + 7 = 3*k, -4*p = 5*k - 18 + 3. Suppose p*j + i = 8*j - 2, -5*i = 10. Is j smaller than -6/5?
False
Let r = 3994 - 2476. Let a = 31844/21 - r. Let u = -9/7 - a. Is 0 less than or equal to u?
True
Suppose 6*q = 14*q + 38*q. Which is greater: -3/250 or q?
q
Let t(w) = -w - 1. Let u(a) = a + 1. Let x be u(4). Suppose x*c + 0 = -5. Let k be t(c). Is k != 1/3?
True
Suppose -2*h - 3 = 3*w, -2*h + 2 = -2*w - 0. Let q = 1 - w. Suppose -2 = q*u + 6. Is -3 bigger than u?
True
Let q(t) be the third derivative of 3*t**4/8 - 19*t**3/2 - 22*t**2. Let n be q(4). Let m = -1 + -20. Is m <= n?
True
Let d be 7*7/49 - (1 + -2). Which is smaller: 36/23 or d?
36/23
Let m(g) = g**3 - 15*g**2 + 13*g + 15. Let s be m(14). Let k be (s/3 + -1)/(2/87). Which is greater: k or -28?
-28
Let p be 2/(-5) - (-54)/10. Suppose p*a = 16 + 4. Let o be 0 + a*3/12. Is 1/33 != o?
True
Let t = -83.45 - -84. Let c = 0.65 - t. Is c >= 1/4?
False
Suppose -20 = 22*l + 24. Suppose 0 = 5*b - 0*b + 20. Are b and l unequal?
True
Let o = 2878/931 + -82/19. Which is smaller: -2 or o?
-2
Let w(s) = 2*s + 13. Let q be w(-7). Let a be ((-6)/(-75))/(q/(220/(-2))). Which is smaller: 10 or a?
a
Suppose -12 = 4*b - 0*b. Let v be (-3 - -2)/(((-6)/(-6))/(-1)). Is v != b?
True
Let o be 0/(-1) + 16/24. Is o < 78?
True
Let b = -177 - -78. Let v = 9 - b. Let t = v + -425/4. Which is smaller: 3 or t?
t
Let g = 131/15 - 26/3. Let b = -281/3 - -93. Which is smaller: g or b?
b
Let x(v) = -2*v. Let o be x(-4). Let g(s) = s**2 - 6*s - 13. Let j be g(o). Let u be 1*2/(-1) + j. Is u less than or equal to -1/6?
False
Let n = 481 + -475. Which is smaller: -34 or n?
-34
Let l be -4 - 87/(-43)*2. Which is greater: 0.1 or l?
0.1
Suppose 4*m - 3*d + 3 = -6*d, 0 = -m - 2*d - 7. Suppose 0 = -2*j + 4*w - 14, -5*w = m*j - 4*j - 19. Is -3/22 >= j?
False
Suppose 27*t = -10039 - 2489. Which is bigger: t or -463?
-463
Suppose -7*a + 2*t - 2 = -5*a, 3*a + t + 3 = 0. Which is smaller: a or 1/159?
a
Let p = -0.0664 - -0.1664. Is 10/23 >= p?
True
Let j = -0.0215 + -0.0385. Which is bigger: -26 or j?
j
Suppose j = 5 - 0. Let o = j - 4. Let r = 5 - o. Is r <= 2?
False
Let s = -0.32 - -0.09. Let r = -0.33 - s. Which is bigger: r or -8/7?
r
Suppose -88 = -5*c + c. Let l be 24/4*2/c. Do l and 1 have the same value?
False
Let r = -2000 - -1998. Which is bigger: -16/15 or r?
-16/15
Let x(y) = 10*y - 69. Let l be x(7). Is l not equal to 1/731?
True
Let z be (-10)/4*-1*2. Let j = 0.448 - 0.448. Is j not equal to z?
True
Let n = 0.02 + -0.03. Let d = n - 4.99. Let q = d + 5. Is 2/11 not equal to q?
True
Let f = 1 - -6. Let w = -5 + f. Let o = w - 1. Which is greater: 0.07 or o?
o
Suppose 0 = -2*h - 3*h + 25. Suppose h*a - a + 39 = 3*r, -4*r + 52 = 5*a. Let x be 1/(-2)*(-112)/4. Is r less than x?
True
Suppose 3*m - 397 = -l, -2*m + 5*l = -197 - 45. Let p = -143 + m. Are p and -11 non-equal?
True
Let w(l) = 4*l**3 + 5*l**2 - 6*l + 10. Let h(f) = -9*f**3 - 9*f**2 + 12*f - 19. Let a(r) = 3*h(r) + 7*w(r). Let g be a(-9). Which is smaller: g or -1?
g
Let d be (-5)/4*1/(-5). Let u = 408.6 - 356. Let t = 52 - u. Is t at most as big as d?
True
Let m(q) = -q**3 + 7*q**2 - 1. Let d be 50/8 - (-1)/(-4). Suppose -16 = -2*g + x, 4*g + d = -2*x + 30. Let j be m(g). Which is smaller: j or -1/20?
j
Let q = 28.12 + -0.12. Let i = q - 37. Which is bigger: -1 or i?
-1
Let u = -34 - -70. Suppose v = -0*p + 2*p + u, -2*p = -2*v + 66. Let m be 20/25*v/44. Which is greater: m or 0?
m
Let m be -3 - -11 - 4 - (-201)/(-4). Is -47 < m?
True
Let s be (-39)/(-26) + (3/6)/(-1). Let q be (-2)/3 - 