 w?
False
Let w be (1/2)/(4/(-24)). Let g = w + 1. Let j = -2 + g. Is j less than or equal to -3?
True
Let m be (-148)/40 + (-9)/(-6). Is m smaller than -2?
True
Let r be 0/((-1)/(1/2)). Let u be -3*((-9 - -4) + 4). Is r >= u?
False
Let g be (1/(-17))/(3/6). Let p = -2.9 - -2.77. Let c = p - -0.03. Which is smaller: g or c?
g
Let h = 1.4 - 2.3. Let c = 0.1 - h. Let j be (-12)/2 - (-1350)/216. Which is smaller: c or j?
j
Let y(z) = z + 57. Let k be y(13). Which is smaller: 72 or k?
k
Let s be (-14)/(-35) + (-14)/(-40). Which is bigger: 0.1 or s?
s
Suppose 2*q + 58 = 56. Let p be (-3)/9 - 29/3. Let n be 2/(-5)*p/(-14). Which is greater: n or q?
n
Let i = -17/2 + 9. Let q = -2 - -4. Let a be 4 + -1*(1 + q). Do i and a have different values?
True
Let n(g) = g + 6. Let l be n(-6). Let o(k) = 74*k**3 - 1. Let q be o(-1). Let w = 373/5 + q. Is w >= l?
False
Let s = -30 - -59/2. Which is bigger: s or 0?
0
Let z = 0.3 - 0.4. Let w = 13 - 12.88. Let o = -2.12 + w. Is o less than or equal to z?
True
Let f be (-4)/(-10) + 28/(-95). Suppose 0 = 2*u - 3*b + 5*b, 5*u + 4*b = 0. Suppose -4*o + 7 = -13, u = 2*s - 3*o + 15. Which is bigger: s or f?
f
Let g be 22/(-8) + (-4 - -7). Is g greater than or equal to 0?
True
Suppose i = -0*r - 5*r + 6, -3*i = 3*r - 6. Let s = 4784/19 + -252. Which is bigger: s or r?
r
Let m be (-8)/10*(-5)/2. Let p(q) = 2*q - 2. Let w be p(m). Suppose w*a + 2 = -0*a. Are a and 2/23 non-equal?
True
Suppose -5*x = -0*x - 30. Let v be (x/9)/((-8)/12). Which is greater: v or -8/5?
v
Let u be (-4)/(-66)*81/(-135). Which is smaller: u or -1?
-1
Let b = 84.9 + -85. Suppose h - 2 = -6. Which is smaller: b or h?
h
Let d(h) = -h**2 + 11*h - 2. Let l be d(11). Let v = -5 - -3. Are l and v equal?
True
Suppose 30 = 2*i - 0. Which is smaller: i or 14?
14
Let v be (-1 + -13)*5/(-10). Let c be -7 + v + 4/10. Which is greater: c or 0?
c
Let k(a) be the third derivative of -5/6*a**3 - 7/24*a**4 + 0*a - 1/60*a**5 + 0 + a**2. Let x be k(-6). Is 0 equal to x?
False
Let r be (12/21)/(54/21). Is -30 < r?
True
Let q(z) = -z**3 + 6*z**2 - 5*z + 3. Let r be q(5). Let o = r + -1. Suppose 2*k = -o*w - 12, -k = -0*w - 2*w. Is w at least as big as -2?
True
Let m = -3 - 0. Let d(i) = -3*i**2 + 1. Let t = 8 - 9. Let y be d(t). Does y = m?
False
Suppose 13*r + 1491 = 451. Is 0.1 > r?
True
Suppose 5*i + 3 = -2*v, -4*i - 5*v + 1 = -0. Is 6/17 smaller than i?
False
Let r = 533753/4221 - 264/469. Let v = -126 + r. Let m be 10/25 + (-9)/(-15). Which is smaller: v or m?
v
Let d = 5 + -5. Which is bigger: d or -4?
d
Let f = -14 - -15. Is 1/17 bigger than f?
False
Suppose 5*f = -81 + 6. Let u = f + 29/2. Is u <= 2/5?
True
Let s = 11 - 7. Let q = 4.4 - s. Let i = q + -0.4. Which is bigger: i or 2?
2
Let h = 225 - 5178/23. Which is bigger: h or -1?
h
Let q(j) = -j**3 - 5*j**2 + 6*j + 1. Let r be q(-6). Is r greater than 6?
False
Let p(s) = -s**3 - 4*s**2 - 4*s - 2. Let q be p(-3). Suppose 4*y + 5 - q = 0. Let o = -1 + y. Is -1/2 at least as big as o?
True
Let x = -4269/2 - -2091. Do -44 and x have different values?
True
Let j be 4/(-10) - 666/10. Let k = j - -199/3. Let t(c) = -c**3 - 2*c**2. Let b be t(-2). Are b and k non-equal?
True
Let b be -1 + 0 - (-2 - -3). Let d(g) = g**3 - 11*g**2 + 10*g. Let a be d(10). Is b <= a?
True
Let o = 5 - 7. Let p = -2.9 - -0.9. Let i = p - -4. Which is smaller: i or o?
o
Let m(x) = x**3 - 3*x**2 - 4*x + 2. Let k be m(4). Suppose k*p = 3*p - 2. Suppose 0 = -6*f + p*f. Which is greater: 1/7 or f?
1/7
Let u be 12/(-2 - 1/(-2)). Let m = u + 8. Let i be 2 + (-2 - (2 - 2)). Is i <= m?
True
Let m = 23 - 23. Which is smaller: m or 40?
m
Suppose -7*k = -4*k - 6. Let u be ((-15)/(-2) - 2)*k. Which is smaller: 10 or u?
10
Let g be (-399292)/135*(-9)/318. Let m = -52/477 + g. Let r = 84 - m. Is r >= -1?
True
Let s be 23/(-42) + 2/4. Let t = s + 8/21. Let a = -3 + 2. Is t > a?
True
Let h = -1.62 + -0.48. Which is bigger: h or 0.1?
0.1
Let y = -8 - -8. Let j = y + 0.06. Let n = j + 0.04. Are n and -1/3 equal?
False
Suppose -4*t - 4 = -12. Suppose -t*i - 2 = -4. Which is smaller: 2/13 or i?
2/13
Let q = 5 + -11. Let n = -14 - -23. Let o be q*(6/n + 0). Is -5 less than o?
True
Let a be -1*(0 + -1 + 0). Let w(f) be the third derivative of -f**6/120 - 2*f**5/15 + f**2. Let l be w(-8). Which is greater: a or l?
a
Let l(u) = -u**3 + u - 5. Let x be l(-3). Is x greater than or equal to 19?
True
Let z(k) = -k**2 - 2*k. Let j be z(0). Let c(f) = -f**3 - 3*f**2 + f + 2. Let l be c(-3). Do l and j have the same value?
False
Let g be (3960/(-14))/(30/(-15)). Let o be (-284)/(-2)*-1*1. Let r = g + o. Which is greater: r or -2?
r
Let n(p) = -2*p**2 + p + 3. Let o be n(5). Is o less than -43?
False
Suppose -p + 6 = 2*p. Is 3 at most as big as p?
False
Let t = -193 + 284. Is t less than 91?
False
Let z = -6.13 - -0.33. Let i = z + 0.8. Which is smaller: 0 or i?
i
Let k = 48 - 45. Is 35/8 less than k?
False
Let p = 387.95 - 379. Let a = 9 - p. Which is smaller: a or -2?
-2
Let s be ((-6)/9)/((-8)/(-12)). Which is greater: s or 2/25?
2/25
Let n = -80.3 + 80. Which is bigger: 4 or n?
4
Suppose -5*k + 10 = -10. Suppose -b + 5*b + k = 0. Let f(v) = -v**2 - 4*v. Let a be f(-4). Is b at most a?
True
Let c = -55 - -97. Let g = c + -169/4. Which is bigger: -2 or g?
g
Let g be (14/12 - 1) + (-741)/1638. Let q be (-6 - 2) + -1 + 3. Let t be (-5)/(-7) + q/(-21). Which is greater: t or g?
t
Let p(b) = -b + 4. Let o be p(3). Let h = -16 + 242/15. Do o and h have different values?
True
Suppose -4*f + 11 = -5*x + 3, -2*x = f + 11. Suppose -5 = -0*g - g - 2*y, 10 = 5*g + 5*y. Which is smaller: g or f?
f
Let f be ((-3)/14)/(18/(-21)). Let b(l) = -l - 4. Let g be b(-5). Which is smaller: f or g?
f
Let m = 176/7693 - 10/157. Are m and 1 non-equal?
True
Let n be 2/(-3)*1/(-8). Let q(p) = p - 12. Let w be q(11). Which is smaller: w or n?
w
Let i = 0.2 - 0.2. Let o = -0.2 - i. Let b = 2 + -3. Is b less than or equal to o?
True
Let n(b) = b**3 + 6*b**2 + 5*b - 2. Let s be n(-5). Let a be ((-2)/(-6))/(s/12). Let g be 2/(-4)*a/4. Which is bigger: -1 or g?
g
Let o = 2 - 10. Is 2 greater than or equal to o?
True
Let p = 22 + -32. Let t = 2 + p. Which is greater: t or 0?
0
Suppose 2*r - 2 = -10, 2*k - 6 = r. Let l(n) = 2*n**3 - 1. Let u be l(k). Suppose u = 4*y - 7. Which is smaller: y or -1/2?
-1/2
Let m(k) = -2*k**2 + 2*k + 1. Let b be m(-1). Let x be b + 1 + 5 - 4. Is -2/5 less than x?
False
Let t = 643/5 + -129. Let h = 29/18 - 11/6. Which is greater: t or h?
h
Let t be -1 + -6*(-4)/6. Which is smaller: 4 or t?
t
Let o(w) = 2*w**2 + 11*w - 9. Let s be o(-9). Suppose -s + 18 = 3*x. Is -11 at most x?
False
Let k be (-10)/25*-1*10/16. Is k at least as big as 14?
False
Suppose -2*t - 10 = -8. Let a be -3*1/((-6)/(-4)). Which is smaller: t or a?
a
Let i = -6 + 5. Let x = 1.3 + -0.3. Let l = x - i. Which is smaller: 1 or l?
1
Let g(c) be the second derivative of c**3/6 + c**2 - 4*c. Let m be g(-2). Are -1/4 and m unequal?
True
Let d = -32/39 + 848/273. Let o = d - 258/119. Is o greater than or equal to 0?
True
Let i = -0.5 + -0.5. Let l = -0.9 - i. Are 0 and l equal?
False
Let r be (-2)/1*1/2. Let b = 88 - 969/11. Let p = b - 19/33. Which is greater: p or r?
p
Let t = -12 + 17. Let n = t + -5.9. Let v = -0.1 + n. Which is smaller: -0.1 or v?
v
Let j be (-3)/(-3) + (-52)/36. Let n be (-1 - 1)*9/6. Let z be -1*n/(1*6). Is j < z?
True
Let c = 25 - 62. Let w be c/(-11) - (-6 + 9). Is w less than or equal to -1?
False
Let t = 4.7 - 4.8. Are 0 and t equal?
False
Suppose 3 = -3*f - 2*z - 2, 2*f - z - 6 = 0. Are 7/4 and f equal?
False
Let r(n) = n**3 - 4*n**2 + 2. Let o be r(2). Is o at least as big as -6?
True
Suppose 0 = 5*i + 3*k - 3, 9*i + 2*k - 2 = 4*i. Let x = 1 - 1. Let r be ((-15)/(-6) + -2)*x. Is i greater than r?
False
Let y(n) = n - 5. Let x be y(3). Let g be -2 - 1/2*x. Is -4/13 bigger than g?
True
Let f = -16 - -10. Suppose d - 2*d = 4*n + 42, 20 = 4*n. Let k be d/117 - f/27. Which is bigger: 1 or k?
1
Suppose -3*d = 6, 4*o = -2*d - d - 10. Let s = 4/9 - 122/153. Which is greater: s or o?
s
Let x = 18 - 25. Is -1 bigger than x?
True
Let l = -188 + 1314/7. Let s = -57 - -64. Which is bigger: s or l?
s
Let u(n) = n + 8. Let r be u(-6). Suppose -3 = r*m + 3. Suppose -3*y + 4 = -7*y. Is y less t