s(j) be the third derivative of -j**5/60 + j**4/8 + j**2. Let d be s(3). Is d < 0.3?
True
Suppose 2*m + 1 + 4 = f, 5*m = 4*f - 11. Let n be f*(-4)/(-2) + 1. Let w(d) = -d**3 + 4*d**2 - d + 2. Let b be w(4). Is n greater than b?
True
Let b = 1.2 - -0.8. Which is greater: 0 or b?
b
Let d be (-154)/(-45) + -3 - (-1)/(-5). Which is greater: -13 or d?
d
Let p(b) = b**2 - 5*b - 2*b**2 + 1 + 4*b**2 - 4*b**2. Let z be p(-5). Which is smaller: -2/13 or z?
-2/13
Let s be -78*((-4)/10)/((-28)/35). Which is smaller: s or -38?
s
Let p = -0.17 - 0.85. Let v = -3.88 + p. Let n = v - -5. Which is bigger: n or 2?
2
Let l be (1/(-2))/(((-7)/10)/7). Is l equal to 7?
False
Suppose 7*l = 10*l - 6. Is -14 bigger than l?
False
Let x = 6 - 6. Are -10/3 and x non-equal?
True
Let y be (-5 + (1 - 1))/(-1). Let s = 5 + -1. Which is greater: s or y?
y
Let g = 20 - 56/3. Which is smaller: 2 or g?
g
Let w(n) = -2*n**3 - 19*n**2 - 4*n + 4. Let t be w(-9). Which is bigger: -39 or t?
-39
Let c = -8 + 11. Let w be (2/c)/((-8)/12). Is w at most 1?
True
Let z(c) = c + 6. Let v be z(-8). Which is smaller: v or 0?
v
Suppose 2 = -f + 4. Which is smaller: f or 1?
1
Let j be (-1)/(1/5*1). Let z = -3 - j. Is 3 at least z?
True
Let a = 1.68 - 1.62. Which is greater: a or 0.03?
a
Let n = 2 + -5. Is n > -1?
False
Let c(a) = a**3 + a**2 - 2*a + 1. Let u be c(1). Let j(w) = w**3 + 10*w**2 + 10*w + 8. Let t be (-6)/4*(2 + 4). Let d be j(t). Is d at most as big as u?
True
Let v = 0 + 3. Suppose -19 + 1 = -v*q - 3*j, -18 = -4*q - 2*j. Suppose q*d - 6 = -0*d. Are d and 0 nonequal?
True
Let a = 82 + -84.02. Let r = a + 0.02. Are r and -1/3 non-equal?
True
Suppose u = -2*z, u - 5*u - 10 = -2*z. Let o be (-1*(0 - z))/1. Which is smaller: 0 or o?
0
Let m = 0.6 - 0.6. Let x = 0 + m. Is x at most as big as -1/3?
False
Suppose 0 = -2*k - 3*k + 5. Let g = 1 + k. Is 2 less than g?
False
Let y = -1 - -3. Let c = 4 + -4. Is c smaller than y?
True
Let l = -7 - 2. Let v be (2/3)/((-3)/l). Let m be 4/10 - 132/(-120). Is m greater than or equal to v?
False
Let z = 5 - 9. Let f = 4 + z. Which is bigger: -0.3 or f?
f
Let o = 517/5278 + 1/182. Which is smaller: 0 or o?
0
Let y be 1 - -1 - (-1751877)/114. Let c = -15368 + y. Let k = -3/19 - c. Is -2 greater than or equal to k?
False
Suppose -3*m + 0*m = 0, 0 = 2*k + 3*m. Which is greater: k or 8/43?
8/43
Let z be 1/(-3) - (-3)/9. Let x be 6/18*(-1 + z). Which is greater: -4 or x?
x
Let p be ((-4)/10)/(2 + (-18)/10). Is -2 not equal to p?
False
Let x be (-4)/(1 + 15/(-9)). Let p be x + (-3)/6*2. Is p bigger than 1?
True
Let a = -3/588830 + -3694908199/10010110. Let z be -369 + 0/((-1)/1). Let w = z - a. Is w bigger than 0?
True
Suppose -10*r - 659 = -139. Is r smaller than -52?
False
Suppose 2*l + z - 3*z - 4 = 0, -5*z = -4*l + 9. Is l bigger than -2/41?
True
Let k be (-2)/(-2 - -3) + 1. Let s be 11/(-22) + (-3)/12. Is s >= k?
True
Let g = -20 + 21. Is g greater than -3/14?
True
Let q = 19583/4 - 4871. Which is bigger: 24 or q?
q
Suppose 2*z + 6 = 0, 4*z + 14 = 2*d - 3*d. Is -2/3 at most d?
False
Suppose -2*d - 5*l + 8 = 0, 0 = d - 6*d + 5*l - 50. Let x(m) = -m**2 - 6*m + 1. Let t be x(d). Are t and 4/15 equal?
False
Suppose -5*a + 3*x = -12, 0*x + 4 = 4*a - x. Which is greater: 11/16 or a?
11/16
Let a(k) = 7 + k - 4*k**3 + 3*k**3 + 5*k - 4*k**2 + 0*k**3. Let j be a(-5). Which is bigger: j or 1/2?
j
Let g be -4 - (1 + -3)*1. Let p(l) = l**2 + 5*l - 3. Let m be 38/(-8) - (-2)/(-8). Let z be p(m). Which is bigger: z or g?
g
Let t = 2381/123 + -58/3. Is t < -1?
False
Let i = 78/5 + -868/55. Suppose -6*o + 3*o + 12 = 0. Suppose 0 = -4*x + o*r - 0*r - 12, 0 = -2*r + 8. Do x and i have different values?
True
Let k(m) = 4*m**2 + 3*m + 2. Let u be k(-1). Is 7/4 at least u?
False
Let l = 0.8 + 0.2. Is l at most -3?
False
Let l = 118987775/315259 + -3/45037. Let x = l + -378. Let g = -2 - 0. Which is smaller: g or x?
g
Let g(j) = -2*j - 6. Let b be g(-4). Let q be 7/3 - 4/b. Is q > -8?
True
Suppose -16*r - 133 - 267 = 0. Is -27 < r?
True
Let l = 7 - 7. Suppose 3*a - 30 - 3 = l. Does a = 10?
False
Let a(k) = k**3 - 4*k**2 - 4*k - 1. Let u be a(4). Is -15 greater than or equal to u?
True
Let n be (-2)/(-8) - 711/36. Let h = n + 19. Which is bigger: h or 4?
4
Let v = -1164 + 81477/70. Is 0 bigger than v?
True
Suppose -2*j + 26 = -0*j. Let g = -8 + j. Suppose 3 = 2*i - g*k - 10, 8 = -2*i - 2*k. Is -3 at least as big as i?
False
Suppose -396 = -g - 3*g. Let h be g/(-21) - (-4)/(-14). Which is bigger: -1 or h?
-1
Let n(j) = j**2 - 8*j + 6. Let z be n(8). Suppose -5*c - c = -48. Which is smaller: c or z?
z
Let z = -1 - 0. Let c be 2*(-2)/4 - z. Let m = 15/14 - 167/182. Is m at most c?
False
Let r(n) = -n**2 + 11*n - 30. Let u be r(9). Which is greater: -15 or u?
u
Let q be 1560/4823 + (-4)/14. Which is smaller: q or 1?
q
Let b be ((-1)/1)/(2/(-4)). Let s(r) = r**2 - r - 2. Let z be s(b). Suppose 0 = 4*v + 7 - 3. Which is smaller: v or z?
v
Suppose 0 = -4*j + 2*u + 102, 2*j - 4*u + 28 = 88. Let x be (2/j)/(21/(-9)). Is 1 at most as big as x?
False
Suppose 0 = -5*m - 3*q + 52, 8*m + 2*q = 3*m + 53. Is m less than 11?
False
Let m be (7/7)/((-2)/(-8)). Suppose 0 = m*r + 16, 0*k + r + 1 = 3*k. Which is bigger: -3/11 or k?
-3/11
Suppose -t - 15 = 4*j, t + j - 5*j = 9. Let i be ((-9)/21)/(2/7). Is t < i?
True
Let n = 5/13 + 1/13. Is -1 at least as big as n?
False
Let m = 3 + 0. Suppose -4*h - 43 + 3 = 0. Let w = h - -14. Which is smaller: w or m?
m
Let u = -88 - -63. Let j = 101/4 + u. Suppose 1 = 2*m - m. Is m not equal to j?
True
Let v = -6.5 - -0.5. Let o = v + 3. Which is greater: 2/7 or o?
2/7
Let p be (-6)/(-9) - 39/(-9). Suppose 0 = -5*z - 4*u + 21, 3*z + 0*z - 2*u + p = 0. Is z > -1/20?
True
Let v(n) = -n**3 + 3*n**2 + 8*n - 17. Let z be v(4). Is z <= -3/7?
True
Let q be 148/28 - 2/7. Let m be (2/(-3))/(q/9). Is m equal to -1?
False
Let f = 74 - 960/13. Let i = -2 - -3. Is i smaller than f?
False
Let r be (-3)/9*50*6. Let h = -61 - r. Let x be 3/(-2)*(-4)/h. Is x <= -1?
False
Let i = -12562 - -23460. Let j be (-2)/11 - i/198. Let w = 55 + j. Is w < -1/5?
True
Suppose -4*y = 2*l + 4, 2 = -3*y + l + 9. Let b = -0.2 + 0. Which is greater: b or y?
y
Let k(b) = b**2 + 3*b - 1. Let a be k(-4). Suppose v - a*r + 0*r = 5, -r = v + 3. Is -2/11 <= v?
False
Suppose -5*u + 26 = 1. Suppose -3*x - 120 = u*x. Which is greater: x or -14?
-14
Let y = -19 - -59/3. Let s = 12.5 + -13. Which is greater: s or y?
y
Suppose 2*r = 8*r - 12. Suppose 5*n - 3 = 2. Let b be (n + (-15)/(-6))*r. Is 7 bigger than b?
False
Let w = -31 - -63/2. Which is smaller: 1 or w?
w
Let g(c) = -c - 6. Let x be g(-6). Do x and 4/7 have the same value?
False
Let v(f) be the second derivative of -f**3/6 - 17*f**2/2 + 3*f. Let m be v(-12). Let o(q) = q**3 + 4*q**2 - 6*q - 4. Let t be o(m). Are t and 2 unequal?
True
Suppose h + 28 = 5*h + 5*r, h + 3*r - 14 = 0. Let i be -2*(h/(-4) - 2). Is i less than 19/4?
False
Let q(x) = 3*x**2 - 5*x. Let m be q(2). Which is smaller: 9 or m?
m
Suppose -2*g + 14 = 4*r, -2*g - 3 - 7 = 0. Let p be (32/(-120))/(2/r). Which is smaller: -1 or p?
-1
Let l be (-4)/(-18) - 3084/756. Let f = l + 344/91. Which is smaller: f or -1?
-1
Let b be 300/(-108) + 4/(-18). Which is smaller: -1 or b?
b
Let f be 4/16 + 36/(-16). Which is greater: 1 or f?
1
Let r be (2 + -9)/(1/5). Let t be -2 + -2 + r/(-8). Which is smaller: t or -1/2?
-1/2
Let d = -7 - -3. Let b = 6 + d. Which is smaller: b or 3?
b
Let w = -6 + 8. Suppose -w*m = 3*m - o - 1, 0 = m + o + 1. Suppose m = -b - 4*b. Is 1 greater than b?
True
Let o be 3 + (-78)/21 + (0 - -1). Suppose 2*q - 5*l - 15 = 0, -2*q - 2*l + 5 = 3*l. Suppose -2*m + 4 = -2*r, 5*r - m - 8 = -q*m. Is o greater than r?
True
Let d be 2/11*-3 + 2. Is 2 > d?
True
Let n be (1 - -1)/(6/(-357)). Let g = 629393/5304 - -140/663. Let o = n + g. Which is smaller: 0 or o?
o
Suppose -10 = 4*p - 6. Let k be 0 - (-2 - (-148)/1). Let i = k - -1312/9. Which is smaller: i or p?
p
Let m = -121 + 127.7. Let d = m + -7. Let r = -0.1 - d. Which is smaller: 1 or r?
r
Let r = 3 + -3. Let o = 1 - r. Suppose 0*t = -t + 5*p + 7, 0 = 2*t + 2*p - 2. Which is greater: o or t?
t
Suppose 65 - 11 = -3*b. Let w be 56/(-90) + b/(-45). Is w at most 1?
True
Suppose 3*b - 3 = 27. Is b not equal to 9?
True
Let j 