Let m be i(-8). Is m at least as big as -28?
True
Let g(l) = l**3 - 16*l**2 - 18*l + 15. Let u be g(17). Which is bigger: -3/2 or u?
-3/2
Let a = -7 + 16. Let r = a - 9. Are 2/13 and r non-equal?
True
Let y be (-8)/28 + (-2)/(-7). Let i be y*(-3)/(-3) + 4. Suppose -3*c + 18 = 3*a, a + i*c = -0*a + 21. Which is bigger: a or 0?
a
Let a = -11 - -5. Let w be 2/a*15/(-5). Which is smaller: 2/9 or w?
2/9
Let r be 3*1/15 - (-18)/(-10). Let y = 1/7 - -3/28. Which is smaller: r or y?
r
Let w(r) = 4*r - 3. Let f(v) = -5*v + 3. Let s(n) = 3*f(n) + 4*w(n). Let y be s(4). Let h(k) = k**2 - 2*k. Let d be h(2). Which is bigger: y or d?
y
Let o = 0.09 - -19.91. Which is smaller: 1/4 or o?
1/4
Let f(h) = h**2 + 5*h + 1. Let z(d) = -2*d**2 - 10*d - 2. Let m(p) = -7*f(p) - 4*z(p). Let v be m(-6). Is 1 > v?
False
Let j(s) = s**3 - 9*s**2 + 14*s + 14. Let l be j(7). Suppose -67 = -a - 4*a + y, 0 = -5*a - y + 73. Is a bigger than l?
False
Let i be (-6)/14*-4 + (-2)/(-7). Which is greater: 12/19 or i?
i
Suppose 0 = -16*t + 21*t - 5. Is t at least -1.7?
True
Suppose 0 = -8*r + 3*r + 10. Let m = r + -10. Which is smaller: -7 or m?
m
Let q = -95 - -76. Is -19 less than q?
False
Suppose -s = -7*s. Is s smaller than -2/11?
False
Let p = 7 - 4. Let a = p - 7. Which is smaller: a or -5?
-5
Let c(o) = 13*o**3 + 14*o**2 - 5*o - 2. Let v(s) = 7*s**3 + 7*s**2 - 2*s - 1. Let j(d) = -6*c(d) + 11*v(d). Let h be j(-8). Suppose 1 = r - h. Is 3 equal to r?
False
Suppose -5*d - t + 12 = 0, 5*d = -2*t - 3 + 12. Let k = -0.07 + 0.27. Which is smaller: k or d?
k
Suppose 3*j + 18 = 3*i, 0 = -j + 5*j - 2*i + 18. Let k = -50 + 197/4. Which is greater: j or k?
k
Let h = 864.91 + -869. Let k = -16 - -15.91. Let v = h - k. Which is smaller: v or -1?
v
Let v be (-1)/(-2) - (-54)/(-100). Is 0 less than or equal to v?
False
Let h(b) = -b**3 + 2*b**2 + 13*b. Let n be h(5). Which is smaller: -12 or n?
-12
Let w = -5 + 3. Let c be (12/(-10))/((-2)/10). Suppose c = -2*h - 0. Is w < h?
False
Let z be (-1 + 0)/(2/(-8)). Suppose -5*r = -7*r + z. Does 4 = r?
False
Let v(r) = -5 + 0*r + 6*r - 4*r + r**2. Let w be v(-4). Suppose -12 = -w*b - 3*d, -d - 1 = b - 5*b. Is 0 bigger than b?
False
Let f = 0.2 + 0. Let m = -0.15 + -0.06. Let c = 3.21 + m. Is c != f?
True
Let i be ((-26916)/(-224))/(18/(-4)). Let h = 142/7 + i. Let o = h + 25/4. Which is greater: 1 or o?
1
Let g = 0 + 0. Let p(q) = q + 8. Let l be p(7). Suppose -6*d = -d + l. Which is bigger: g or d?
g
Let n = 8 - 5. Let t be (2/n)/((-2)/(-15)). Is 5 greater than t?
False
Let z be (17/(-2) - -4)*-2. Are z and 9 unequal?
False
Let m = 17 - 17. Which is greater: -2/5 or m?
m
Let b(x) = -64*x. Let j be b(-1). Let q be j/(-110) + 8/20. Let v = 1 + -1. Which is smaller: q or v?
q
Let q = 9 - 4. Let j(c) = c**3 - 4*c**2 - 6*c + 1. Let v be j(q). Let g be -2 - 12/21*v. Are -2 and g equal?
False
Suppose -d - 4*r = -5*d + 20, 2 = -2*r. Is d smaller than 4?
False
Let q = 167 + -74. Do q and 94 have different values?
True
Let i = 63 - 56. Is i < 7?
False
Let l be (-6*4/(-12))/1. Suppose 4*b + 17 = 5*u, -l*b - 5*u - 1 = -0*b. Is -8/5 smaller than b?
False
Let n = -18 + 26. Let u be (n/(-16))/((-1)/3). Which is bigger: u or 1?
u
Let y(l) = l + 12. Let f be y(-10). Let u(r) = r**3 - 3*r**2 - 3*r - 1. Let z be u(4). Suppose -5*j = -z*j. Is j greater than f?
False
Let b(h) = -4 - h - 2 - 1 + 0. Let n be b(-5). Which is greater: 2 or n?
2
Let i(y) = -7*y - 4. Let d be i(-4). Let u be 12/d*4/7. Do 1/4 and u have the same value?
False
Suppose -5*k + 2*k - 12 = 0. Is -16/5 at least as big as k?
True
Let z = 0 - 0.1. Let r = z - 0.2. Let v = r - -0.4. Is -0.1 < v?
True
Let s = -189 + 286. Which is bigger: 96 or s?
s
Let p(v) = v**2 + 17*v. Let i be p(-17). Does -2/11 = i?
False
Let t = 6 + -12. Let l be 6/4 - (-45)/t. Let a = 425/2 + -217. Which is bigger: l or a?
a
Let z = -38 + 27. Let j = -2 - z. Are 9 and j non-equal?
False
Suppose 2*d = 3*y - 7, 7 = -4*d - 2*y + 1. Let q be (-5)/10 + (-3)/d. Which is bigger: q or -1/5?
q
Let x = -6 + 10. Let z = 3 - x. Let a = -6 - -4. Which is bigger: z or a?
z
Suppose -14 + 4 = -5*a. Is a not equal to 14/5?
True
Let a be (-23)/(-6) + (-6)/(-36). Let c be (-2)/a - (2 + -1). Which is greater: c or -2?
c
Let w be (16/12)/(-4)*0. Suppose 3*l - 1 + w = a, 0 = -2*a + 3*l + 1. Is a smaller than 0?
False
Let m = -100 + 101. Is m smaller than -3.3?
False
Let y be (-1 + 2)/(-48 - -8). Is -1 <= y?
True
Let b be 12/(-8)*(-2)/(-3). Let n(u) = -u**2 + 2*u + 2. Suppose 3*r - 2*o = 8 + 9, 2*r = 3*o + 18. Let a be n(r). Is b <= a?
True
Let d = 52/7 + -7. Which is smaller: -0.1 or d?
-0.1
Let a be (0 - 0)/(1 + -3). Which is greater: a or -1/5?
a
Let h = -82 + 88. Which is smaller: h or 68/11?
h
Let r be (-2)/(-10) + 54/(-70). Let a be -2 + -1 + 1*-1 + 3. Which is smaller: a or r?
a
Let i = -0.09 + 3.59. Let f = -1.2 + i. Are f and 1 non-equal?
True
Suppose 0*a = -a + i + 75, 3*i - 75 = -a. Is a bigger than 74?
True
Suppose -18 = -4*r - i + 81, 57 = 2*r - i. Let v = 26 - r. Which is bigger: 1/28 or v?
1/28
Suppose 3 = -r + 4. Let z be 2/4*(7 - 9). Is z not equal to r?
True
Let v = -3/25 - 4/175. Which is smaller: -2 or v?
-2
Suppose -3*u = -5*u - 4*t - 6, 12 = 3*u - t. Suppose -u*m + 5 = -4, 2*j + 3*m - 21 = 0. Is j > 7?
False
Let w be 6/4*2/(-6). Let d(a) = -a - 9. Let o be d(-9). Which is smaller: o or w?
w
Suppose -4*b - 1 = 11. Let o be -1 - (b - (-60)/27). Do -1 and o have the same value?
False
Let t = -17 - -7. Let c = -5 - t. Let d = c + -7. Is d < -0.1?
True
Let a be -5 + 1 + 1200/295. Which is smaller: 1 or a?
a
Let y(l) = 17*l**2 + l + 1. Let t be y(-1). Which is greater: t or 15?
t
Let k = -191/175 - -13/25. Suppose -s - 2*l = -5*l - 21, -5 = -s - 5*l. Let m = 14 - s. Is m at least k?
False
Suppose 4*c + c + 14 = -3*a, 0 = 3*c + 4*a + 15. Let s(z) = z**3 - 10*z**2 - 11*z + 15. Let p be s(11). Let w be p/10*(-2)/3. Is c at least as big as w?
True
Let b = 9/220 - 1277/20460. Which is bigger: 1 or b?
1
Let f(v) = 2*v + 9. Let u be f(-8). Let p = u - -2. Which is greater: -3 or p?
-3
Let q be ((-6)/15)/(2/(-10)). Let s be (-303)/(-12) + 1/(-4). Suppose -5*n + s = -4*u - u, q*n - 4*u = 18. Are 0 and n equal?
False
Let a(t) = -t**3 - 5*t**2 - 6*t - 6. Let z be a(-4). Let v(l) = -l + 5. Suppose 1 = -j + 7. Let m be v(j). Is z < m?
False
Suppose -z = -5*t - 2*z + 11, 3*t + 5*z = 11. Suppose 5 = -3*m + t. Let p = 0.04 - 3.04. Which is greater: p or m?
m
Let y = 45 - 48. Which is smaller: y or -2?
y
Let u = 18 - 16. Suppose w - 1 = 4*r - 7, -5*r = -u*w - 9. Which is greater: w or -5?
w
Let l = 7 + -13. Let b = -5.96 - l. Let z = b - 0.02. Is z smaller than 0.1?
True
Let h = -0.266 - -17.166. Let a = h + -17. Is 1 < a?
False
Let t = -1.8 + 0.9. Let o = t + 0.8. Which is smaller: o or 2/5?
o
Suppose 4*x + 3*j = 55, -5*j + 53 = 3*x - 2. Let l = x + -13. Is -5/2 less than or equal to l?
False
Let i(o) = -o - 5. Let x be i(-4). Let a be (-3)/((-156)/(-44)) - (-2 + 1). Does x = a?
False
Let l(a) = -a - 1. Let x be l(0). Let v = 536 - 13398/25. Which is bigger: v or x?
v
Suppose -5*m - 2 = 2*z, m + 4*z - 13 = 1. Let f = -0.01 + -3.99. Let k = f + 3. Is k equal to m?
False
Let b be 1/(-4) - (-11)/12. Let v = -20/7 - -234/77. Which is bigger: b or v?
b
Suppose -6 = -5*p + 2*p. Suppose -p*t = -5*n - 20, 6*t = t. Is -5 at least n?
False
Let w be (-24)/204 - 152/153. Is -2 at least as big as w?
False
Let p = -0.529 - -0.129. Which is smaller: p or 5/7?
p
Let x = -1575/211 - -95398/20045. Let b = -13/5 - x. Is b less than 0?
False
Let h = 1 + -4. Is -4 at least as big as h?
False
Let o = -1.3 + 11.3. Let v = 10 - o. Which is bigger: 1 or v?
1
Let n(j) be the second derivative of 0*j**2 - 1/10*j**5 - 1/12*j**4 + 1/6*j**3 + 0 - j. Let r be n(1). Are 1 and r nonequal?
True
Let t(l) = 4*l**2 + 4*l + 2. Let u be t(-2). Let h be u/(-4)*-1*2. Suppose 13*d - 40 - 51 = 0. Is d != h?
True
Let u be -2 + (0 - -2) + 36/44. Which is greater: u or 2?
2
Let n = -17/7 + 37/21. Is 2 less than n?
False
Suppose 4*z - 5*u - 24 = 15, -2*z + 9 = u. Suppose 0 = -3*h + z - 0. Are 3/5 and h non-equal?
True
Let n = 14 - 13.2. Is n >= -0.1?
True
Let a be (-2)/(-5)*-1 + (-162)/70. Which is bigger: a or -3?
a
Let d be (-87)/(-27) + (-2)/9. Suppose d*x = 8 + 16. Let c(y) = y**3 - 8*y*