 c?
False
Let m be ((-75)/(-10))/((-91)/(-28) + -3). Is m bigger than 36?
False
Let g(u) = u**3 + 9*u**2 + 4*u + 36. Let j be g(-9). Is j at least as big as 1/217?
False
Let m(y) = 17*y + 5. Let w be m(12). Which is smaller: -0.1 or w?
-0.1
Suppose 25 = -2*g - 17. Let s be 0/(4/14 + 27/g). Is s smaller than -1/69?
False
Let g(s) = 6*s + 9. Let n be g(-7). Let q be 1 + (-19)/12 - n/132. Is q greater than -1?
True
Let w = -14.4 + 14.2. Let r = -0.298 + 0.018. Is w at least r?
True
Let z(c) = -2*c**2 - 5*c - 1. Let f be z(-2). Let l be f*(3 - 2)/(-1)*-1. Which is smaller: l or 1/4?
1/4
Let m be ((-59)/3)/(1*3/(-27)). Which is greater: 178 or m?
178
Let r = 345 - -586. Is r at least 931?
True
Suppose 0 = -7*r + 16 - 9. Which is greater: 1/77 or r?
r
Let w(d) = d**3 - 4*d**2 - 4*d + 6. Let q be w(4). Let v(n) = n**3 + 9*n**2 - 11*n - 11. Let u be v(q). Are -1/16 and u nonequal?
True
Let l be (-1)/(4*(-5)/(-360)). Let x = 74 - 93. Is l at most x?
False
Let t be 48 - -9 - (-3)/2*2. Let i be (14/(-6) - -1)/((-40)/t). Which is smaller: 10/3 or i?
i
Let u(x) = -17*x + 119. Let w be u(12). Which is smaller: w or -87?
-87
Let w be ((-4)/4)/(13/(-3432)). Which is bigger: 265 or w?
265
Suppose -w = -0*w + 5. Let t(l) = -l**3 - 14*l**2 - 12*l + 15. Let m be t(-13). Suppose -m*f - 2 = 4*h + 14, h = -4*f - 18. Is w less than f?
True
Let m be (-1)/((-18)/(-16) - 1). Suppose t + 22 = 5*j, 6*t - 2*t = 4*j - 40. Is t less than or equal to m?
False
Let l = 60 - 61. Which is greater: -32/17 or l?
l
Let p = 23 - 29. Let x be 72/42 + p/(-1 + 4). Is 0 equal to x?
False
Let x = -0.355 + 1.355. Does 265 = x?
False
Let q(c) = -c**2 + 10*c + 11. Let s be q(14). Let l = s - -21. Let z be ((-2)/5)/(l/20). Which is greater: z or -3?
z
Let f be (-99)/1221*(1 + 10/(-6)). Let l(n) = 2*n**2 - 2*n. Let w be l(2). Suppose -t = -w*t. Are t and f equal?
False
Suppose -32*r = 6*r + 22040. Are -578 and r unequal?
True
Let v be -2 - (-8)/1*4. Suppose 14*t - 66 - 4 = 0. Suppose 0*y = t*y + v. Is -5 <= y?
False
Let c = 124 - 121. Suppose 4*m - 228 = c*r, 3*m - r - 3*r - 171 = 0. Is m at least 57?
True
Let z = 269.1 - 269. Which is greater: 4 or z?
4
Let l be 2680/4620 + 1/(33/6). Is 1 greater than l?
True
Let i(f) = f**2 + 9*f + 15. Let d be i(-5). Is d at most as big as 24?
True
Let w = 1185 + -1183. Which is bigger: w or 13?
13
Let u = -6 + 8. Let s be -12*((1/2)/1 + -1). Suppose 5 = y + s. Which is smaller: u or y?
y
Let m be (10 + 1332/(-63))*7/1. Is -92 less than m?
True
Suppose -a + 4 = 4*l, -5*a + 11 = 4*l - 9. Suppose 3*f - 2*w - 115 = -7*w, 0 = -4*f + 4*w + 100. Let n be (12/f)/(a/(-5)). Are n and -2 non-equal?
True
Let d be 6 + 0 + -2 + 8/4. Let q(g) = -2*g - 2. Let c be q(-3). Suppose 5*s = r + 22, s + 0*r + 7 = c*r. Which is smaller: s or d?
s
Let p be (-3)/(-5)*2/3. Suppose 3 = -15*d + 16*d. Suppose -5*q - 2 = d. Is p at most as big as q?
False
Suppose 0 = -32*g + 35*g - 549. Do g and 184 have the same value?
False
Let x be -2*((-3)/(-22) + 0). Let l(n) = 6*n + 36. Let p be 18/(-12)*12/3. Let t be l(p). Is t at least as big as x?
True
Let h = -56.9 + 65. Let v = 8 - h. Which is smaller: v or -5/18?
-5/18
Let j be (3 + -2)*39/(-15). Let z(g) = g**3 - g**2 - g + 1. Let c(b) = 3*b**3 - 7*b + 1. Let s(u) = c(u) - 4*z(u). Let f be s(3). Which is smaller: j or f?
f
Suppose 8 = -2*u + v, 2*u + 2 = -v - 2. Let g be 13 - (-564)/(-32) - 6/16. Is u < g?
False
Suppose 39*b = 28 + 89. Is b bigger than 14?
False
Let b(v) = v**3 + v**2 - 2*v - 2. Let o be b(-2). Let i = -4.807 + 4.657. Which is smaller: i or o?
o
Suppose -2*c - c = 4*y - 381, -y - 3*c + 93 = 0. Let m = y - 91. Are 8 and m equal?
False
Let f be (3 + -4)/(2/210). Let n = f + 106. Which is greater: 16/13 or n?
16/13
Suppose 0 = -4*y + y + 2*t + 1, 0 = -3*y + 3*t. Let m be 0*2/(2 - 0). Let s be (1 + 0)/(1 + m). Is y at most as big as s?
True
Let c be ((-74)/555)/((-164)/(-24)). Are c and 0 unequal?
True
Let b(r) = -r**3 - r**2 - 3*r - 2. Suppose 2*o = -p - 2, 3 = -3*p - o - 3. Let y be b(p). Is 8 >= y?
True
Let m = 63 - 64. Let v(g) = -g**2 + 9*g + 10. Let k be v(m). Is 2 smaller than k?
False
Let i = 22/25 - 19/50. Which is greater: 28/3 or i?
28/3
Let b = 3.07 - -19.53. Which is greater: 0 or b?
b
Let k = 15 + -8. Suppose k*x - 4*x = 27. Suppose 3*p - x = -0*p. Which is greater: p or 0?
p
Let u = 2469 + -2468.8. Let d = -2 - 23. Is d at least u?
False
Let i be 5 + -6 + 0 + 4. Is i less than 11/5?
False
Suppose -5*v = 5*g - 125, -4*g - 3*v + 37 = -63. Suppose 3*h + 2*x + 10 = 4*x, 5*x - g = 3*h. Let w = -46 - -367/8. Which is smaller: h or w?
w
Let s be (-40)/12*(-6)/(-2). Let n = -13 - s. Let d be ((-6)/(-24))/(n/(-4)). Which is smaller: 19 or d?
d
Let s = -1.614 - -1.714. Is 23/2 > s?
True
Let v = 3779/322 - 1/46. Which is smaller: v or 13?
v
Let s be 5/(-15)*(-2 + 5). Is 2/1007 at most as big as s?
False
Let c = -644 + 95958/149. Which is bigger: c or 0?
c
Let m = -77 + 76.38. Let i = -0.71 - m. Let h be (2 - 2)/(0 + 1). Is h greater than i?
True
Let r(c) be the first derivative of -c**3/3 - 3*c**2/2 + 16*c - 4. Let j be r(0). Let m = j - 21. Are -5 and m unequal?
False
Let n be (1 - 4)/(6/(-8)). Let d be (-2094)/n - 2/4. Let k = d - -6815/13. Is 1 at least as big as k?
True
Suppose 3*k = 4*g - 17, g + 2 - 7 = k. Let w be k/2*36/27. Let c = w - 0. Which is bigger: c or -4/5?
-4/5
Let q = -70 - 187. Is -256 less than or equal to q?
False
Suppose 9 = u + 5*v, -2*u - 4*v = 2*u - 20. Suppose -u = -3*h + 2. Suppose h*z - w + 6 = 0, -w - 24 = 5*z + w. Which is smaller: -6 or z?
-6
Suppose 9 - 1 = 8*l. Let g be l/(-4)*(-24)/(-136)*24. Which is smaller: g or -2?
-2
Let q be (2 + -3)/(8/(-56)*7). Let o = -6 - -5. Which is bigger: q or o?
q
Let p(q) = -2*q**2 + 9. Let d be p(6). Let l be 8/2 + d/45. Suppose -3*x + 18 = x - 5*b, x - 4*b = 10. Is l less than x?
False
Let w = 65.998 - -0.002. Let a = -66.2 + w. Let d = -222/7 + 32. Is d greater than a?
True
Let d be -4 + 1 + 0/(-4) + 3. Suppose 2*f + 2*f - 56 = d. Is 15 greater than f?
True
Suppose 15 = 3*y - 2*f - 0*f, -4*y = -5*f - 13. Let c = 1145 + -1144. Is c at least y?
False
Let k be (-2)/(-11) - (-1)/((-462)/(-56148)). Let h = 122 - k. Which is bigger: -4.4 or h?
h
Let j(b) = -141*b - 61. Let r be j(-1). Which is smaller: 79 or r?
79
Let d(x) = -8 + 7 + x - 27*x**2 - x - x. Let z be d(-1). Which is bigger: -28 or z?
z
Let c(k) = 35*k**3 - 7*k**2 + 2*k + 3. Let z be c(2). Which is bigger: 517/2 or z?
z
Let g be (5648/12)/((-4)/168). Let d = 316415/16 + g. Let b = d + -8. Which is bigger: b or 1?
1
Let i = -4.173 + 0.173. Is i not equal to 0?
True
Let l be (-481)/(-26) + 3/(-2). Suppose -3*j - r = -19, -37 - 8 = -5*j - 5*r. Suppose 3*d - 76 = -5*p + 13, -j*d = -5*p + 65. Which is smaller: p or l?
p
Let s = 1564 + -1565. Which is smaller: s or -29/55?
s
Let x(d) = -65*d - 2. Let n be x(-5). Let o = -1609/5 + n. Let y be (0/3)/3 - (0 + -1). Which is smaller: y or o?
y
Let y = -26.77 + -0.23. Let k = y - -58. Let w = 20 - k. Which is greater: w or -1?
-1
Suppose -4*v - 22 = -10. Let y be ((-4)/v)/(5/(-3)). Which is smaller: y or 0?
y
Suppose 0 = -w - 0*w - 4. Let g(b) = b**2 + 4*b. Let y be g(w). Is 4/3 bigger than y?
True
Let z = -891969/73 - -12219. Which is smaller: 0 or z?
0
Let p be ((-9)/(-12))/(165/88). Let y = 17/3 + -6. Which is greater: y or p?
p
Let v = 77 - 86.4. Let i = -1.6 + v. Is i < -0.1?
True
Let b = 1533.8 + -1534. Let k = -0.58 - -0.41. Is k at most b?
False
Suppose c = -5*p + 4 + 9, 5*c = p + 13. Let h be 12/18*c/41. Which is greater: h or -1?
h
Let o = 3521/32 - 110. Let v be (-14)/(-42) + 8/(-6). Which is smaller: v or o?
v
Let w be 2 + 1 + -2 + 1. Let p be (18/15)/(w/45). Let t be 8/(-6)*p/(-48). Which is smaller: t or 2?
t
Let z be 1*(24/(-4) + 2). Let m be 130/8 + z/16. Let i = m + -10. Do 7 and i have different values?
True
Let t = 2 - -2. Let l(o) = -o + 8. Let d be l(6). Suppose t*p - d*h + 20 = 74, p - 15 = h. Is p < 11?
False
Suppose -3*r - 164 = -17. Let o = r + 41. Which is smaller: -13/2 or o?
o
Let a be 879/12*(96/4)/6. Which is smaller: 294 or a?
a
Let u = 21/40 - 9/20. Let z = 3/40 + u. Is z at most 2/3?
True
Let u(n) = 4*n - 5. Let j be u(4). Suppose 2*w + 5*w = 21. Let m be 12 + (2 + w)/(-5). Is m greater than j?
False
Let n = -190 + 190. I