n or equal to 0?
False
Let w = -3 - -1. Let s(f) = -2*f + 16. Let o(k) = -2*k - 6. Let a be o(-7). Let p be s(a). Which is greater: w or p?
p
Let u be (-58)/18 - -3 - 1275/(-27). Let k = 57 - u. Is k greater than 34/3?
False
Suppose -932 = 8*g + 228. Is -145 > g?
False
Let m be (-168)/370 - (-4)/10. Let f(n) be the third derivative of -n**6/120 - n**5/60 + n**4/24 + n**3/6 + 4*n**2. Let o be f(1). Is m at most as big as o?
True
Let u(r) = -3*r**3 - 129*r**2 - r**3 - 15*r + 117*r**2 + 23 + 3*r**3. Let w be u(-10). Which is smaller: -30 or w?
-30
Let o = 340 - 347. Is o > -3?
False
Let r = 47.9 + -45. Let s = r - -0.1. Let l = 0.07 + 1.93. Do s and l have different values?
True
Let w be ((-6)/15)/((-2)/40). Let b = w + -22. Let q = -17 - b. Is q at most -1?
True
Let d = -29.8 + 4.8. Let w = 14 + d. Let p = -24.13 + 24.13. Are w and p nonequal?
True
Suppose -4*r + 0*j - 3*j - 12 = 0, 4*j + 16 = r. Let n(b) = -b**3 + 2*b**2 + b - 2. Let p be n(r). Is -3 > p?
False
Suppose -2*y = 4*d + y - 6, -5*y = -10. Let n be (-7)/(-1)*(-6)/(-21). Suppose 2*j + n*c - 4 = 0, 3*j - 5*c + 2 = -d. Do j and 4/11 have the same value?
False
Let v be (2/3)/(4 + 72/(-27)). Which is smaller: -291 or v?
-291
Suppose -6 = -x - 2*j, -x + 3*x = -j. Let y be (-13)/(-39) - x/3. Suppose s + 6 = -2*s. Are y and s equal?
False
Let v = -5.1 - -5.2. Let z = 550 + -531.33. Let y = -0.33 - z. Which is smaller: v or y?
y
Suppose 2*n + 5 = 2*j + 1, -2*n - 3*j - 4 = 0. Let g = 57 + -57. Suppose -3*o - 4*o = g. Which is smaller: n or o?
n
Suppose -3*l = -0*l - 6. Let u(q) = q. Let v(g) = g**3 + 7*g**2 + 7*g + 9. Let f be v(-6). Let m be u(f). Which is greater: l or m?
m
Let o be (1/2 - 1)*-2. Let h(a) = -a**3 - a. Let d be h(-1). Let m be d + ((-180)/93)/1. Do o and m have the same value?
False
Let j = 391 - 392. Is j greater than or equal to -138?
True
Let t be 12/4*(-6)/(-9). Suppose -t*u - 2*u = 4*i - 60, -u = -2*i - 12. Is 13 smaller than u?
True
Let h(u) = -37*u**2 + 38*u**2 + 3 + 7*u - 2 - 5*u. Let j be h(-1). Suppose 0*s - 4*s = 8. Which is smaller: s or j?
s
Suppose 2*x = -2 - 12. Let i = x + 9. Suppose 5*z - 5 = 0, -2*b - 7 = z - i*z. Is -1 at least as big as b?
True
Let k = -14 + 44. Do 28 and k have different values?
True
Let j be (-10)/12*7004/255. Is j at most as big as -22?
True
Let h be 1/(-3) - (-4)/(-30). Let k(m) = m**2 + 12*m + 35. Let y be k(-6). Is h at least y?
True
Let d be (-16 - -4)*(-8)/((-224)/1099). Which is smaller: d or -470?
d
Let n be 10 - ((-400)/8)/(-5). Which is greater: n or -2/2031?
n
Let v(l) = -3 - l + l**2 + l - l. Let i be -12 + 9 - 3/(-1). Let r be v(i). Which is bigger: -5/2 or r?
-5/2
Let d be (-2 - 1276)/(-10 - -8). Is d less than 640?
True
Suppose -5*p = -4*p - 0*p. Which is bigger: p or 16?
16
Let s be (1/2)/((-9)/(-72)). Suppose -3*q - 61 = -3*y - 2*q, 0 = -4*y - s*q + 60. Suppose -3*v + 4*n = y, 5*v - 5*n + 23 = 2*v. Are v and -4/7 unequal?
True
Let i = 33 + -57. Let f = -20 - i. Let q = 4.3 - f. Which is greater: 0.4 or q?
0.4
Let w = -0.793 - 0.067. Let g = w + -2.14. Is g < -1/3?
True
Suppose -6*n + 2*n + 20 = 0. Let x be n/(-10) - (-2)/(-4). Let r be (-33)/65 - x/5. Which is bigger: r or 0.1?
0.1
Let s(x) = 4*x**3 - 2*x + 1. Let n be s(2). Let c = n - -33. Is 62 <= c?
True
Let v = 208 + -209. Is 23 >= v?
True
Suppose 5 = 6*r - r. Let p = 21 - 21. Let x = -0.1 + p. Which is greater: r or x?
r
Let s be (4 + 219/(-54))*4. Let n be 1/(-1*3/48). Let p be 6/9*(-6)/n. Which is bigger: p or s?
p
Let t be ((0 - 2) + 3)*-2. Let i be ((-5)/20*0)/(3 + t). Is i != 6/11?
True
Suppose -w = -5*g + 21, 0 = -g - 11 + 15. Is w <= 348?
True
Let f be ((-1)/(-3))/(-1) - 0. Let v(w) = -4*w - 34. Let u be v(-9). Suppose -u*x = 7*x. Which is greater: x or f?
x
Suppose -78 = -i + 53. Suppose -2*n + 19 - i = 0. Let q be (-1)/(-4)*n/21. Which is greater: q or 10/3?
10/3
Let w(v) = -3*v + v + 26 + 3*v - 21. Let p be w(-5). Let q = 37/7 + -5. Which is smaller: p or q?
p
Let v = -19.999 + -0.001. Let b = v - -19.77. Is b greater than 0?
False
Let k = 22 - -4. Let w = k + -19. Is 29/4 >= w?
True
Let q be 1 - -6 - (27104/(-8))/14. Which is bigger: 250 or q?
250
Let k(a) = -30*a**2 - a - 4. Let i be k(-1). Is i at least 11?
False
Let u(s) = 2*s**2 - 3*s. Let h be u(2). Suppose h*c - 45 = -c. Suppose -3*a = -c + 36. Is a less than -7?
False
Let m = 2 + -2. Let l = 264 + -254. Which is smaller: m or l?
m
Let l = -245 - -135. Let q be (l/11)/(1 - 5). Suppose 21 = 2*o + s + 4*s, -s + 18 = 5*o. Are o and q nonequal?
True
Suppose -8*o + 6*o = 2*o. Suppose -3*x = 4*d - 129, o = 4*x - 2*d - 129 - 65. Is x < 46?
False
Let h(w) = w**2 - 2*w - 23. Let i be h(6). Which is smaller: i or -5?
-5
Let t = -539.73 + 537. Let h = 0.43 + t. Let c = -6.7 + h. Is -1 at least c?
True
Let o(v) = -6*v - 9. Let t be o(-4). Let n be t/3 - 334/66. Which is greater: n or 1?
1
Let a = -40 + 46. Suppose -2*s + a*s = 48. Do s and 15 have different values?
True
Let t(b) = b**2 - 2*b + 3. Let m be t(2). Let n be 3/(-4)*12/18 + 2484/920. Is n at least as big as m?
False
Let d = 17 + 8. Suppose -2 - d = 3*j. Which is greater: j or 2?
2
Let w = 334 + -334.64. Are 0.1 and w equal?
False
Let b(x) = 90*x**3 - x**2 - x. Let l be b(-1). Let o be (-1 + 0)/(6/l). Suppose 4*p - p + o = 0. Which is bigger: p or -6?
p
Let s = 8.54 + -111.54. Which is smaller: s or 0.2?
s
Let h = 9 + -9. Suppose h = 2*t + 4*x + 4, 22 + 16 = -5*t - 3*x. Let o(v) = 9*v + 1. Let y be o(-1). Is t != y?
True
Suppose -8 = -4*w - 4*u + 20, -5*u = -3*w + 21. Suppose -18 = -2*d - d. Is w at least d?
True
Let l = 24 + -17. Let o be 2*(-2 - 80/(-15)). Which is smaller: l or o?
o
Let v(w) = 45*w - 203. Let h be v(5). Is h greater than or equal to 21?
True
Let x = -51 - -56. Let v = x + -6. Which is bigger: -6/35 or v?
-6/35
Let p = 113 - 58. Let t = p - 54.9. Let r be (-7)/(-4) - 2/(-8). Which is greater: t or r?
r
Suppose 181 = 5*c + 36. Let y be c/(-66) + (-2)/(-4). Suppose -3*a + 9*a - 8*a = 0. Does y = a?
False
Let l be (-103 + 1)*(-2)/(-36)*6. Is l at least -30?
False
Let o = 453 - 434. Which is bigger: 16 or o?
o
Let j be (-2 - -2)/(2/(-5)*-5). Is j at least as big as 2/497?
False
Let p = -5 + 4.7. Let d = -0.031 - -29.031. Let f = d - 29. Do p and f have the same value?
False
Let x = 151 + -218. Which is smaller: -68 or x?
-68
Suppose -3*r + 12 = -9*r. Let q be r/8 + -3 + (-265)/(-180). Are -2 and q equal?
False
Let u = 511678/40205 + -140/11. Is u greater than or equal to -1?
True
Suppose 5*a + 12 = -3*u, 5*u = 2*a - 132 + 143. Are u and 47/62 nonequal?
True
Let s be ((-390)/(-180))/(-2 + (-13)/(-6)). Let r = -30 + 46. Which is smaller: r or s?
s
Let x = -865/2 - -432. Is -48 at least as big as x?
False
Suppose -12*i = -9*i - 6. Let p(o) = -o + i*o**2 + 2*o**2 - 8*o**2 + 3*o**2 + 2. Let j be p(-3). Which is smaller: j or -5?
-5
Let o = 0.01 - 1.41. Let f = -1 + 1.4. Let q = f + o. Which is smaller: q or 6/5?
q
Let t(u) = -4*u**2 + 9*u + 24. Let q be t(4). Is 4 at least as big as q?
True
Let d(i) = 16*i - 11*i + 8*i - 8 - 5*i**2 - i**3. Let g be d(-7). Does -3/17 = g?
False
Let w(x) = 4*x**3 + 33*x**2 - 23*x + 6. Let f(n) = -3*n**3 - 22*n**2 + 15*n - 4. Let k(a) = 7*f(a) + 5*w(a). Let c be k(10). Which is smaller: -0.13 or c?
-0.13
Suppose b + 3 = 3*x - 0, 4*b = -2*x - 82. Let k(d) = 16*d - 130. Let s be k(8). Let z be (s - 0)*b/684. Which is greater: 1 or z?
1
Suppose 3 = -3*t + 4*t. Suppose -t*w = r + 89, 75 = 5*w - 4*r + 246. Which is smaller: 1 or w?
w
Suppose 36 - 86 = -5*f. Let t = -1 - -4. Suppose -2*q = -2*b + t*q + 23, 5*b + 2*q = 43. Which is smaller: f or b?
b
Suppose -59 = -4*k - 3*d, -3*d - 51 = -4*k + 2*d. Suppose 2*q = 3*m - 5 - 6, 0 = 3*q - 4*m + k. Suppose s + q = 2*s. Which is smaller: 1 or s?
1
Let i be 8*(-1)/(8/(-10)). Let r be (-234)/(-45) - 2/i. Suppose r*k = 2*z + 2*z + 11, 15 = -3*k - 3*z. Which is greater: k or -1/10?
-1/10
Let k be (1/(-2))/((-2)/4). Let s be (-388)/(-300) - 1*28/21. Which is greater: k or s?
k
Let n be (6/(-18) + 0)/(4/3). Does -196 = n?
False
Let f = 111337/7107 - -2/2369. Which is smaller: 17 or f?
f
Let k = -11 - -19. Let h = k + -13. Let d be 5/(-40) + (-42)/48. Do h and d have the same value?
False
Let t = 1126 + -1253. Which is bigger: 0 or t?
0
Suppose -f = 19 + 28. Let r = -46 - f