-y - 9. Which is bigger: y or c?
c
Suppose -o = -1637 + 194. Which is greater: -2/7 or o?
o
Let i(j) be the second derivative of j**4/12 + j**3/6 + j**2 + 4*j. Let r be i(3). Let t = 29/2 - r. Is 2/11 at least as big as t?
False
Let k be 1 + -2 + 0 + -7. Let t = k - -10. Suppose f + 1 = t. Is 0 < f?
True
Let n(o) = o**2 + 2*o - 2. Let v = -15 + 12. Let u be n(v). Which is bigger: u or -4/25?
u
Let r be -1*(618/126 - 5). Which is smaller: r or 2?
r
Suppose -m + 4*q + 9 = -16, 3*q + 22 = m. Suppose -48 = -7*o - m. Is 41/8 at most o?
False
Suppose 23 = 6*h - 1. Let v be 17*(h/4 + -2). Is -17 >= v?
True
Suppose -1008*f + 1005*f = -3. Which is greater: f or -2/97?
f
Let p(b) = 2*b**2 + 40*b + 71. Let q be p(-18). Is q <= -21/40?
True
Let q = 376 - 190. Suppose 5*z + 0*m + m - q = 0, -m + 72 = 2*z. Which is smaller: 37 or z?
37
Suppose 4*f - 12 = 20. Suppose 15 = -f*p + 13*p. Suppose 0 = -d - 4*d - 3*v - 24, 5*d = p*v - 36. Is -2/7 bigger than d?
True
Let h(a) = a**2 - 21*a + 91. Let y be h(16). Which is smaller: y or 83/7?
y
Let l = 42.9611 - -0.0389. Which is smaller: l or -1?
-1
Let l be (-1264)/(-24)*1/(-2). Which is smaller: l or -26?
l
Let j(f) = -3*f - 2. Let h be j(-2). Suppose 7*d + 16*d - 69 = 0. Are h and d nonequal?
True
Let j(q) = -11*q + 304. Let c be j(29). Let n(v) = -v**2 - 5*v - 9. Let w be n(-6). Is c != w?
False
Suppose g - 3*g + 8 = 0. Suppose 3*z = 4*z + g. Let t = -10 - -6. Is z at least t?
True
Let w be -14*(93/6 - 1). Let r be (w/(-3))/7 - 3. Which is smaller: r or 0.1?
0.1
Let k = -27 + 81. Suppose -80 = 4*t + g, 2*t + 4*g + k = -0*t. Let p = 86 + -87. Is t >= p?
False
Let y(h) = -4*h - 2. Let o be y(-6). Let s be 240/110 + (-4)/o. Which is greater: 3 or s?
3
Let z = -8 + 8. Let u(y) = 3 - 2*y + 4*y + 2*y + z*y. Let c be u(-2). Is c less than or equal to -5?
True
Let l be 8/20*(-1299)/(-36). Let u = 68/5 - l. Let q = -13/30 - u. Which is bigger: q or 2/15?
q
Let k(v) = 95*v - 23. Let m be k(2). Which is smaller: m or 331/2?
331/2
Let h be 2*1 - (-2 + 4). Let q be h*(-2)/(-16)*4. Suppose q + 5 = 5*s. Is -1/27 <= s?
True
Let o(a) = -a**3 + 53*a**2 + 56*a - 99. Let u be o(54). Let b be ((-2)/(-4))/((-2)/(-4)). Which is smaller: b or u?
b
Suppose 4*l = 2*i + 74, 2*l + 3 = -5*i + 10. Suppose 29 - 9 = 4*r. Suppose p = 10 + r. Which is bigger: p or l?
l
Let d = -10 + 6.4. Let f = 10/27 - 1/27. Is d greater than f?
False
Let n = 36 - 686/19. Are 0 and n equal?
False
Let g = -18.8 - -19. Let o = -46 + 31. Which is smaller: g or o?
o
Suppose -5*m - 9 = 3*p, p + 5*m + 2 = -11. Let i be 15/(-3)*3/(-6). Is i greater than or equal to p?
True
Let f(s) = 3*s**2 - 4*s. Let t be f(3). Let l be (-68)/(-20) + 1/(t/(-6)). Let o(m) = -4*m**3 + m**2 - m - 1. Let b be o(-1). Is l greater than b?
False
Let p be 270/(-5) + 5 + (-1)/1. Let g = -61 - p. Suppose -2*q + 5*q + 36 = 0. Which is smaller: g or q?
q
Let k = -156 - -162. Let g = k - 12. Let r be (-1)/(-4) + (-1)/4. Which is bigger: r or g?
r
Let c = 129 - 89. Let a be c/(-150) - 0/2. Let n = 1 - 2. Which is smaller: n or a?
n
Let r = 4/545 - -1543/12535. Which is smaller: -3 or r?
-3
Let c = -63 + 171. Which is smaller: c or -0.1?
-0.1
Let y = 5913/10 + -593. Are y and -2 non-equal?
True
Let u = 54 - 49. Suppose -w + u = -15. Which is smaller: 19 or w?
19
Let i(b) = b**2 - 38*b - 309. Let m be i(-9). Is m greater than 112?
True
Let n(r) = -r - 2. Let j be n(-6). Let k be (3 - -7)/(2/9). Suppose j*w - k = -w. Is w at least 9?
True
Suppose -h + 4 = 3*f - 26, -5*h = 2*f - 20. Let j be 2 + 4*(-5)/f. Are -13/12 and j unequal?
True
Let v(n) = n**3 - 2*n**2 - 5*n + 21. Let z be v(3). Is z greater than 114/7?
False
Let p = 35 - 27. Suppose p*m = 5*m + 9. Suppose -9 = 2*f - m*t, 0*t - 5*t = f - 15. Is -3/4 <= f?
True
Let u = -3 + 6. Suppose u*f = -8 + 23. Suppose -2*l - i - 6 = 0, -f*l - 9 = i - 0. Which is smaller: 2/9 or l?
l
Let z be 5/(-4)*(-6)/15*-8. Which is smaller: z or 1?
z
Let k = 19 - 28. Let u be k/3 + (0 - -9). Is 6 at least u?
True
Let z(r) be the third derivative of 6*r**2 + 0 - 1/12*r**4 + 1/2*r**3 + 0*r. Let h be z(6). Which is bigger: -10 or h?
h
Let m be (-1196 - -4) + -2 + (1 - 4). Let t = m + 211867/177. Is t != -1?
True
Let b(j) = -j**3 + 3*j**2 + 8*j + 9. Let i be b(5). Which is smaller: 3/71 or i?
i
Let s be 1/(-1) - 6/(-8). Let i = -45 + 100. Let o = -66 + i. Which is bigger: s or o?
s
Let v be (-3)/(-1)*(-480)/(-54). Is v not equal to 28?
True
Let l be (-3)/27 - (-24187)/(-855). Which is smaller: l or -28?
l
Let s be (-117)/26*(-2)/(-12). Let x be 2/(-20)*(28/8 - 3). Is x at most s?
False
Let u(q) = -2*q**2 - 11*q - 14. Let i be u(-2). Does 5/73 = i?
False
Let p = 1671 - 185479/111. Which is greater: -4 or p?
p
Let g = 0.176 - 0.576. Which is bigger: g or -1?
g
Let o = -4107 - -1186922/289. Which is greater: o or 0.1?
0.1
Let u = 58760644/77 - 763142. Let c = u + 116/7. Let w(j) = -j**3 - j**2 + 1. Let d be w(-1). Is d at most as big as c?
False
Let x = 135 - 132.1. Which is smaller: 27 or x?
x
Let m = -0.04 - 4.96. Let b = -0.38 + -12.62. Let s = m - b. Which is smaller: 1 or s?
1
Let q be (1/(-2))/((-15)/1800). Which is greater: q or 0.04?
q
Suppose 10 = -5*a - 5*o, -3*a + 4*o = 5*o. Is 2/27 != a?
True
Suppose 2*n - h = 7, 3*n + 25 = -h + 23. Which is greater: n or -3/646?
n
Suppose y - 4*x - 4 = 5*y, -3*x + 25 = -4*y. Let o be (9/4 - 2)*-18. Is o != y?
True
Suppose -33*g + 6*g = -27. Let c be 1/((-2)/(-4)) + 0. Is g at most as big as c?
True
Let k = -546 - -558. Which is bigger: k or 15?
15
Let w(s) = s**3 + 8*s**2 - 4*s + 15. Let m be w(-7). Let y = -91 + m. Which is smaller: y or 1/23?
1/23
Let l be 12/60 + ((-4)/(-5) - 1). Suppose s - 2 = -l*s. Is s <= 2?
True
Suppose 12 = 5*b + 2. Suppose -4*r - b*c = -8, -r - 4*r + 3*c + 32 = 0. Is r greater than or equal to 4?
True
Let c(g) = -g**2 - g - 1. Let h(u) = -3*u**2 - 10*u. Let b(f) = -4*c(f) + h(f). Let r be b(5). Let q = 3.8 - 4.1. Is r > q?
False
Let f = 286 - 201. Which is bigger: 79 or f?
f
Let r = 61 - 48. Let q be (2/15)/(r/39). Let w = 228 + -1134/5. Do w and q have the same value?
False
Let h be ((-2)/12)/(-8 + (-348)/(-90)). Is h >= 0?
True
Suppose -2*f + 63 = -z, -5*z - 4*f - 390 = f. Is z smaller than -67?
True
Let q(b) = 1 + 5*b - b**2 - 3 + 1. Suppose -2*p + 6 + 8 = -4*y, 5 = 2*p + 5*y. Let z be q(p). Is z equal to 0?
False
Let i(x) = x**3 - 8*x**2 + 9*x - 4. Let g be i(7). Let b = g + -4. Are b and 5 nonequal?
True
Let n be ((-3)/405*-4)/(105/(-150)). Is n <= 0?
True
Let m = -3.6 + 3.9. Which is smaller: -3 or m?
-3
Let d be (-6)/(-12) - 273/(-6). Let j be d/6 + -1 + 4. Let m = j + -358/33. Are m and 0 equal?
False
Let z(s) = -s**2 - 6*s - 5. Let n be z(-5). Suppose n = o - 2*g - 4, 3*g + 10 = 5*o - 3. Let d be 84/49*224/240. Do d and o have different values?
True
Let r = -8 - 3. Let n = 808.9 + -809. Which is bigger: n or r?
n
Let f(j) be the third derivative of -j**6/120 - 3*j**5/20 + 5*j**4/12 + 5*j**2. Let k be f(-10). Which is smaller: -6/29 or k?
-6/29
Let z = -9 - -4. Let k = -1 + z. Suppose 0 = 5*s - 30 + 25. Which is smaller: s or k?
k
Let k(c) = 12*c + 1. Let z be k(1). Let t be 37/z - (-8)/52. Let d(j) = -j**3 + j**2 + 2*j - 1. Let n be d(t). Which is smaller: n or -12?
n
Let q be 5 - ((-2)/5 + 151608/28020). Which is bigger: q or 0?
0
Suppose 5 = -8*p + 45. Suppose -2*j - 52 = j + p*z, -56 = 3*j + z. Is j smaller than -0.1?
True
Let m = 7174/325 - 288/13. Let d = 34 - 29. Let x(c) = c**3 - 6*c**2 + 6*c - 4. Let u be x(d). Which is smaller: m or u?
m
Let h(i) = -2*i**2 + 2*i + 5. Let z be h(2). Let k be (4/(-2))/(z/1 + 1). Suppose -5*p + 0*p = -10, -5*p = 5*m + 5. Which is smaller: m or k?
m
Let w = -490 - -522.9. Let c = w + -33. Is c less than 8?
True
Let h = -49 + 7. Let a = 50 + h. Which is greater: a or 2/5?
a
Let j = 46.066 - 0.066. Let r = -47 + j. Is 15 greater than or equal to r?
True
Let q = -2/17 + 44/85. Suppose -5*z + 3*k + 25 = 0, 0 = -3*z + k - 6*k - 19. Let v be ((-13)/13)/(3 - z). Which is greater: v or q?
q
Suppose 4*r - 6*r = -10. Suppose r*g = -5*n - 0*n + 5, 5*n = -4*g + 3. Let i be (g/3)/((-44)/12). Is 1 at least i?
True
Let x be (40/24)/(5/6) + -3. Which is smaller: x or -3/359?
x
Suppose 7 + 5 = 4*h. Suppose -3*l - 2*i = 2*l - 24, -i + h = l. Let p be (4/10)/((3 - 0)/30