hich is smaller: t or -4/9?
-4/9
Let k be ((-12)/(-16))/(2/24). Let i be k/(-12) - (-5)/28. Let l be (-4 + 3)/(1 - 0). Is l != i?
True
Let j(u) = u**3 - 11*u**2 - u + 14. Suppose 3 = -3*b + 36. Let w be j(b). Suppose 0 = -5*g - 4*a - 3, -a = w*a + 8. Is g < -1/6?
False
Let l = 0.9 + -5.9. Let i = l + 8. Which is smaller: i or -2?
-2
Let k be (6/(-56))/(2 + 8/28). Which is greater: k or -1?
k
Let s = 1535198579/84 - 18275739. Let c = 1715/4 - s. Let f = c + 36/7. Which is bigger: f or -2?
f
Let n(i) = i + 11. Let k be n(-8). Let a = -44 + 63. Let j = a + -35/2. Which is bigger: k or j?
k
Let v be ((-17)/1)/(-4 + 4 - -1). Which is greater: -16 or v?
-16
Suppose 0 = 3*h - 3. Are h and 6 nonequal?
True
Let l(h) = h**2 - 3*h + 0 - 2 + 1. Let u be l(3). Let b = 6 + -10. Is b < u?
True
Let q = -85 - -89. Suppose 5*d + 12 = 4*x, -17 = -3*x - d - 8. Which is smaller: q or x?
x
Let b be (2 - (-5 + 4))*(-1)/(-3). Let v = 4/35 - 2/5. Does v = b?
False
Let r = 16 + -13. Is -0.3 greater than or equal to r?
False
Let x be (1/(-2))/((-6)/72). Let i be (-2)/8*(x + -1). Which is smaller: 0 or i?
i
Let q = 37.09 - 1.09. Which is greater: -1 or q?
q
Suppose 0*s = s. Suppose 0 = 4*x - 2*n, 4*n - 16 = -s*n. Suppose -3*z + t + 0*t = 4, -2*t = x*z. Is 1 less than or equal to z?
False
Let y be (1/(-2))/((-4)/8). Let u = 2 - y. Is 2/5 bigger than u?
False
Let r = -46/156651 + 25131947/1831250190. Let i = r - -1/1169. Let u = -27/70 - i. Is u greater than -0.2?
False
Let x = 25 + -173/7. Suppose -78 = -5*r - 8. Let t = 44/3 - r. Is t < x?
False
Let s = -26 + 24. Is s at most as big as -2?
True
Let d(l) = 57697*l**2 + 2*l + 1. Let r be d(-1). Let s be 4/(-18) - r/(-351). Let n = s + -164. Is 1 less than n?
False
Let w be 25/30*-3*12/(-75). Which is bigger: w or 0?
w
Let r be 1/2 - (-11676)/(-15576). Let w = 4/59 + r. Suppose 4*a + 0*a + 12 = -4*o, -3*o - 2*a = 5. Which is smaller: o or w?
w
Let z = -793/12 - -66. Let x be 2/1 + (-2)/2. Is z at least x?
False
Let p(u) = -u**3 + u**2 + u - 2. Let o be p(0). Let t(k) = k**2 + 4*k - 7. Let d be t(-5). Is d smaller than o?
False
Let c be (-6)/8 - (-2)/(-8). Let f be (-896)/49 + 4/14. Let m be (c/3)/((-3)/f). Which is bigger: m or -1?
-1
Let g = 11/238 - 2/17. Let y = g - 3/14. Which is greater: -2 or y?
y
Suppose 3*p + p = 44. Let q = p - 17/2. Is q less than or equal to 2?
False
Let s = 97.3 + -91. Let q = s - -0.7. Let i = q + -6. Does 0.2 = i?
False
Let w be 2*4*3/12. Let b be -3 - ((-26)/4 + w). Is b greater than or equal to 3?
False
Let o(w) = 2*w**2 - 14*w - 4. Let s be o(10). Do s and 55 have different values?
True
Let p = 19 - 10. Do p and 10 have the same value?
False
Let q(s) = -s**3 + 5*s**2 + 1. Let x be q(5). Let z be ((-2)/3)/(4/(-24)). Let c(t) = t**2 - 3*t - 4. Let n be c(z). Which is greater: x or n?
x
Let g(p) = p. Let t(c) = 2*c - 4. Let i(a) = -4*g(a) + t(a). Let s be i(-3). Suppose -2*n = s*w + 2, -2*w - 2*w = 0. Are n and 0 nonequal?
True
Let z = -1/60 + -29/60. Is -2/175 less than or equal to z?
False
Let z = -3.7 - -4. Let o = 0.1 - z. Let b be 5/(-6) + 2/4. Which is smaller: b or o?
b
Let a = -628 + 33286/53. Which is bigger: a or 0?
a
Let x be 2/(-7)*112/(-32). Let w be x*-1*(-10 + 5). Suppose d - 26 = -2*b - 2*b, 2*b + 20 = 5*d. Does d = w?
False
Let v = -1.9 - -2. Let i = -0.2 + v. Suppose 0*o - 3*o + 6 = 0. Which is smaller: i or o?
i
Let m = -1.206 - -0.056. Let b = m + 1.2. Which is bigger: b or -0.1?
b
Let p(l) = l**2 + 8*l. Let i be p(-8). Let m be (1 - i) + 13/(-11). Which is greater: 1 or m?
1
Let p be (57/(-6))/(5/(-10)). Is p at most as big as 18?
False
Suppose 5*y = -4*j + 27, 3*y - 3 - 3 = j. Suppose 7 = s + j. Is s != 3?
True
Suppose -4*l - 7 + 3 = 0. Let f = 498 + -48308/97. Let g = f - -113/776. Which is smaller: l or g?
l
Let d(m) = -2 + 3 + m - 5 - 2. Let z be d(7). Is z != 1?
False
Let f be (3/15)/(4/10). Is 1 equal to f?
False
Let a = 5/2 - 11/6. Let q(r) be the second derivative of r**5/20 + 3*r**4/4 - 4*r. Let w be q(-9). Is a greater than or equal to w?
True
Let p = 13 - 9. Suppose -5*b = z, 3*z - p*b + b = 0. Which is greater: -2/15 or z?
z
Let n = -22 + 29. Is n <= -2?
False
Let y = 12 - 11.9. Which is smaller: y or -1?
-1
Suppose -3*v = 15, -v + 2*v + 5 = 2*t. Let m be 4 - -3 - (-1 - -2). Suppose r - 4*r - m = t. Are -3 and r nonequal?
True
Let c = 272/7 + -39. Suppose -4*o - o + 5*l + 10 = 0, 1 = 2*o - l. Which is smaller: c or o?
o
Let o = -0.6 - -2.6. Let i = -4 + o. Which is greater: i or -3?
i
Let i be (2*2/(-8))/((-85)/20). Which is bigger: i or 1?
1
Suppose -3*b + 2 = -b. Let y be (-2)/4 + (-13)/(-2). Let g be 6/9*y/(-22). Do b and g have the same value?
False
Suppose 0*g - 48 = -4*u - 4*g, -3*u + 46 = -2*g. Is 15 < u?
False
Let i be (2/24)/((-5)/4). Which is smaller: -1 or i?
-1
Suppose -4*b = -3*b - 3. Let j = 7/2 - b. Is j < -0.1?
False
Let u be 7 - 4 - (-2 + 1). Are 6 and u equal?
False
Let x = 2 - 2. Suppose x*k = k - 4. Which is smaller: k or 5?
k
Let v be (195/10)/(-3) - -4. Is -2 < v?
False
Suppose -3*j + 5*q + 11 = q, -4*j + 22 = 2*q. Let n = j - 6. Is n > -4/7?
False
Let f = -1.1 - -2.2. Let k = 3.9 + f. Let v = -4 + k. Which is smaller: v or -2/7?
-2/7
Let l = 1 - 1. Suppose 5*o - 32 + 12 = l, -5*a = -o - 26. Let h = a + -8. Which is bigger: h or 0.1?
0.1
Let b = -7 + 11. Suppose m = 5 + b. Suppose -q + m = z, 0*q = 4*z - 2*q - 6. Are z and 4 nonequal?
False
Let b = 2.62 + 0.38. Is 1 < b?
True
Let v(y) = y**2 + y - 3. Suppose -u - 1 = 2. Let l be v(u). Suppose -3*z = -5*q + 1, -11 = -q + 3*z - 6*z. Are q and l equal?
False
Let o be (-1 - -2)/(2/18). Suppose 0 = -k + 2 - o. Let l be (-4)/k*2/12. Which is smaller: l or 0?
0
Let v be (-10)/4 - 5/10. Let p be (v/3 - -1)/2. Is 1 less than p?
False
Let p = 36 + -37. Which is bigger: p or -7/3?
p
Let k = 6 - 6. Let g = k + 1. Is g greater than -1/5?
True
Let n = -6 - -9. Suppose m = -n*m + 4. Let i = m - -7. Is 7 != i?
True
Let h = -60.1 - -60. Let r = -0.25 + -0.05. Which is greater: r or h?
h
Suppose 133 = -5*f - 0*o + 2*o, -5*f + 5*o = 130. Is -30 <= f?
True
Let n = -1 - 6. Let b be 38/(-7) - 56/98. Which is smaller: n or b?
n
Suppose 0 = 2*i - c - 1 + 8, 5*i - 3*c = -20. Let v = -13 + 9. Let j = v - -4. Which is bigger: j or i?
j
Let w = -0.024 - 0.002. Which is greater: -1 or w?
w
Suppose -2*l - 8 = 0, -5*q - l + 16 = -q. Which is bigger: q or 15/4?
q
Let p(y) = y + 1. Let r be p(2). Let z be (2 - 1) + 1 + 18. Let a be (r/(-2))/(z/(-8)). Which is bigger: 0 or a?
a
Suppose 0 = -3*x + 2 - 14. Let h be (x/(-1))/(1 + 1). Let j = -1 + h. Which is bigger: j or -0.1?
j
Let a = 77 - 68.8. Let l = a - 11. Let u = l + 3. Which is bigger: u or -2/3?
u
Let l = 333/40 + -41/5. Is l > 1?
False
Suppose -3*g + 0*g = 5*m - 20, 16 = 4*m - 3*g. Suppose -m = k - 8. Suppose c - 10 = -2*d, 3*c - k*d + 12 - 2 = 0. Is c greater than 1?
True
Let h(l) = 2*l + 5. Let j be h(-5). Suppose -c + 9 = 2*c. Let u = j + c. Are -2 and u unequal?
False
Suppose 2*t + 0*s = 4*s - 2, 4*s = 0. Let q = -0.29 - -3.29. Which is greater: t or q?
q
Let x be 0/((3 + -2)*-1). Suppose 5*k - 3*u + 63 = 0, 4*k + x*k - u + 49 = 0. Do -12 and k have the same value?
True
Suppose 0*a = 2*d - 4*a - 20, 9 = -3*a. Is -1/4 smaller than d?
True
Let q be (-12)/8*(6/14 - 1). Is q equal to 4?
False
Let q = 17 - 14. Suppose -3*k - 2*y = q, 0*k + 2*y = 5*k + 5. Which is smaller: -2/17 or k?
k
Suppose 2*p + 8 + 10 = -5*v, 4*v = -p - 15. Are -1 and v non-equal?
True
Let h(n) be the first derivative of -n**3/3 - 7*n**2/2 + 9*n + 4. Let r be h(-8). Which is smaller: -1 or r?
-1
Let h = 0.51 + 0.49. Which is greater: -2/91 or h?
h
Let q be 2/(-9) + (-80)/(-36). Let s = q + 0. Let i be (-1)/s - (-1)/2. Is -4/3 equal to i?
False
Let a(i) = 2*i**2 + 4*i + 2. Let w be a(-2). Let n be 3/(-12)*w*0. Which is greater: n or 2/21?
2/21
Let l be 1/4 - (-35)/(-60). Is l greater than 1?
False
Suppose 0 = -3*s - p - 27, -2*s + 18 = -4*s - 2*p. Is s smaller than -11?
False
Let d be ((-6)/4)/((-9)/(-12)). Let w = 1 + d. Let f be 2/5 - -4*(-18)/480. Which is greater: w or f?
f
Let c = 0 + 1. Let g = -4 - -9. Let s be (4/10)/((-17)/g). Is c <= s?
False
Let g = -0.4 + 0.6. Let k = -10 - -9.96. Which is greater: g or k?
g
Let r = -13 + 19. Let m = r + -34/5. Which is smaller: m or -2?
-2
Let 