be k/(-15)*(0 + 3). Is c less than or equal to -3?
False
Let n be ((-27)/(-42))/(78/7). Let g = n + -79/468. Is g > 2?
False
Suppose 0 = 3*i - 9 - 30. Suppose 6*j - 4*j = -o + 9, i = 5*o + 2*j. Suppose 0 = 5*z - o - 4. Is z less than 1?
False
Let m = -2 - -3. Let u = -22 + 21.1. Let t = m + u. Which is smaller: 1/3 or t?
t
Let i be 5/((-15)/66)*1. Let d = i + 49. Let t be (-4)/18 + (-48)/d. Which is smaller: t or 0?
t
Suppose 0*f - 2*f = 2. Are -1/6 and f nonequal?
True
Let b be (-4 + 5)/(1/5). Is 10 > b?
True
Suppose a = -l - 6, l - a = -17 + 21. Let c = 4 + -1. Suppose r - 4*x = 21, 2*r = -r + c*x + 18. Which is bigger: r or l?
r
Let j(t) = t**3 - 4*t**2 - 13*t + 11. Let y be j(6). Which is bigger: y or -1?
y
Let l be ((-5)/(-4) + -1)/(23/46). Which is bigger: -1/3 or l?
l
Let w = 4 + -3. Is w < 2?
True
Suppose -5*m - 128 - 192 = 0. Let a = m + 255/4. Let q be 4 - ((-16)/2)/(-2). Which is smaller: a or q?
a
Let i = 19/6 - 383/120. Are 0 and i unequal?
True
Let k be (-3)/(50/56 + -1). Let z = 14 - k. Are -13 and z nonequal?
True
Let t = -0.6 - -0.5. Let x = 4.1 + t. Which is greater: -0.1 or x?
x
Let t be (-16)/3 + (-3)/(-9). Let v be 69/(-12) - (t - -2). Which is bigger: -3 or v?
v
Let x = 1/1476 - -1957/16236. Which is smaller: x or 0?
0
Let y = -0.42 - -0.02. Let q = 0.4 + y. Which is greater: 3 or q?
3
Let m(u) = -11*u**3 - 7*u**2 - 9*u. Let w(x) = -5*x**3 - 3*x**2 - 4*x. Let l = -13 + 22. Let g(k) = l*w(k) - 4*m(k). Let o be g(0). Is o smaller than 1/3?
True
Let q be (3/9)/(-4 + 33/9). Is q greater than -3/20?
False
Let t = -18 + 19. Let i = 185/4 - 46. Do t and i have the same value?
False
Let p(h) = -3*h - 12. Let t be p(-4). Which is smaller: 5/11 or t?
t
Let u(w) = -w**3 - 4*w**2 - 5*w - 2. Let t be u(-3). Is 4 smaller than t?
False
Let o = -4444/269997 - -2/2093. Is o greater than 1?
False
Suppose 9*m = 7*m - 2. Suppose u = -2, 3*t + 7*u = 2*u - 10. Let i = 0 + t. Which is smaller: i or m?
m
Let n be -63 + -4 + (-4)/2. Let c be (-4)/(-2)*(-3)/n. Which is greater: -1 or c?
c
Let p(y) = -10*y**2 + 5*y + 1. Let b be p(2). Which is bigger: -28 or b?
-28
Let b(h) = 5*h**2 - h - 1. Let i be b(-1). Let s = -6 + i. Do s and 2/13 have different values?
True
Let y = 83/45 - 7/5. Let b = 43 + -44. Are b and y unequal?
True
Suppose 3*j + 7 = 2*j. Let u = j + 8. Is 0 < u?
True
Suppose -7*y + 195 = -20*y. Is y smaller than -9?
True
Let j be (4 - 2) + 0 + -1. Let g be j + 15/(-21) + 0. Is g greater than 0?
True
Suppose 5 - 80 = -5*y. Let w be 22/(-55) - (-11)/y. Let v = -2 + 2. Is v at most as big as w?
True
Let l = 10 - 12. Let y(f) = -1 + f - 1 + 0*f**2 + f**2. Let w be y(0). Is w >= l?
True
Let x = 43 + -18. Let c be ((-2)/(-5))/((-20)/x). Which is greater: c or -1?
c
Let o(t) = 7*t - 3. Let r be o(4). Let d be (-4)/10 - (-85)/r. Let m be 69/(-24)*1 + d. Which is bigger: -1 or m?
m
Let a(k) = k**2 - 2*k + 1. Let u be a(1). Let j be (4/12*10)/4. Which is smaller: u or j?
u
Let t = 10/117 + -4/13. Let x = -1.85 + 33.95. Let p = -32 + x. Which is smaller: p or t?
t
Suppose 12 - 1 = h. Is 12 smaller than h?
False
Suppose 35 = 5*j + n, j + j + 3*n = 1. Let z be (-6)/j - 1/4. Let w = 2.7 + -1.7. Is w less than or equal to z?
False
Let u = 1 + -1. Let l(n) = n**2 - 6*n - 5. Let z be (-3)/((-12)/(-14))*-2. Let f be l(z). Is f at least as big as u?
True
Let t = 8 + -13. Suppose -2*c - c = -15. Suppose 0*z - c = z. Is t <= z?
True
Let v(d) = d**2 + 6*d - 1. Let u be v(-6). Let o be (-1 + 4)/(3/2). Suppose -o = -z - 1. Which is greater: z or u?
z
Let r = -50 + 25. Which is bigger: 3/4 or r?
3/4
Suppose 3*d = 2*k + 16, -2*k = 3*d - 2*d + 8. Let o be (d/(-3))/((-2)/(-6)). Suppose -i = -3*c, -i - 13 = 4*c + 2*i. Is o at most c?
True
Suppose -v = 2 - 0. Let u be 6 + 1*-2 + v. Suppose 3*c = 2*c + 3. Which is greater: u or c?
c
Let w = -4 - -8. Suppose 0*d + w*d = -20. Let c(b) = -b - 4. Let s be c(d). Is s bigger than 2?
False
Let n(j) = -j**3 - 5*j**2 + 13*j + 1. Let t be n(-7). Is 41/5 != t?
True
Let f be -1 + (-1)/(-1) + -1. Let t be (-18)/42 + (-1 - -1). Is f >= t?
False
Let c = 153/11 - 19/33. Is c >= 14?
False
Let t be 2*(-4)/6*3. Let v(j) = j**2 + j - 4. Let x be v(0). Is t <= x?
True
Suppose 4*q - 4*n = -8, -3*n + 4*n = 1. Suppose 0 = 2*d + 2, -2*s + 8 = d + 3. Let m(k) = k**2 - 4*k. Let i be m(s). Is i > q?
False
Let r(s) = s**3 + 10*s**2 - 12*s - 8. Let c be r(-11). Let z be 2/(-10) - c/(-5). Is z equal to 1?
False
Let d be (-2)/8 - (-155)/(-20). Let s be ((-8)/18)/(d/12). Which is smaller: -0.3 or s?
-0.3
Suppose 13 = 4*t + h, -12 = -3*t + 3*h + 9. Let q(z) = -z. Let p be q(t). Which is bigger: p or -5/2?
-5/2
Suppose l = 6*l. Let k be 10/4*(-16)/(-10). Suppose k*m - 8*m + 4*u + 12 = 0, l = m + 3*u + 1. Is m bigger than 1?
True
Let z = -65.24 + 64. Let p = z + 1.3. Which is greater: p or -1/5?
p
Let m(p) = p**3 - 2*p**2 + p + 2. Let w be m(-1). Which is smaller: w or -4?
-4
Suppose 3*b = v - 0*v - 7, 3*v - 11 = 4*b. Let z(h) = -h**2 + 10*h - 20. Let o be z(6). Is v equal to o?
False
Let j = -2 - -4. Let t be (0 - 2)/(j/(-8)). Is 9 smaller than t?
False
Let r = -27 + 21. Which is bigger: -5 or r?
-5
Suppose 0 = -4*i - i - m + 38, -4*i = m - 30. Let t be 2/(-1) - i/12. Are t and -3 nonequal?
True
Let j be ((-40)/(-12) + -4)/(-3). Which is smaller: -1/12 or j?
-1/12
Let y = 41.79 - 44.8. Let r = -0.01 - y. Are 1 and r nonequal?
True
Let x = -607/5 + 121. Let w be (-8)/(-28) - 4/14. Suppose 3 = 3*d - w. Which is bigger: d or x?
d
Let z = -14 + -6. Is z less than or equal to -20?
True
Let d be (8/470)/((-2)/(-5)). Suppose -z - 2 = -2*w - 0*w, 2*z = 3*w - 4. Is d at least as big as w?
True
Suppose -c = 2*c + 30. Let n = c - -11. Are 0 and n unequal?
True
Suppose 5*b + 40 = -5*h, -4*b + 3*h - 23 - 9 = 0. Is b > -8?
False
Let o = -18 - -20. Does o = 5?
False
Let v = 59 - 56. Is 2 bigger than v?
False
Let m = -4.156 - 0.044. Let f = m + 4. Is -0.1 at most f?
False
Let h = -3.01 + 0.01. Let q = h - -5. Which is smaller: -1/3 or q?
-1/3
Let h = -11.1 - -11. Is -21 at most h?
True
Let t(r) = r**2 - 4*r + 3. Suppose -2*y - m = 2*m - 12, -4*y + 20 = 4*m. Let v be t(y). Let w be (-15)/(-9) - 4/2. Which is smaller: v or w?
w
Suppose 2*m = 3*i + 111, m - i + 16 = 70. Suppose 3*g + 5*f + m = 12, g = -4*f - 20. Let v be ((-36)/(-16))/((-3)/g). Is v greater than -1?
True
Let h(l) = l**3 - 4*l**2 + 2*l + 3. Let u be 2/(-13) + (-1516)/(-52). Suppose 3*a = -y - 2*y - 6, 4*a + u = 3*y. Let t be h(y). Is t > -1/2?
True
Let p = -2 - 5. Which is smaller: p or -6?
p
Let l(a) = -a**2 - a + 5. Let h be l(-3). Which is smaller: 2/13 or h?
h
Let g(a) = -a**3 + 3*a**2 + a - 3. Let b be g(3). Let l be (-2 + 2)/(-1 - b). Let f(j) = -j - 4. Let p be f(-5). Which is smaller: p or l?
l
Let d be -3 + 118*2/76. Which is greater: d or 1?
1
Suppose 3 - 6 = -3*j. Suppose 0 = -o + 2 + 2. Let i be 10/o*4/5. Which is greater: i or j?
i
Let l = 25 + -37. Which is bigger: 0 or l?
0
Let p = 67 - 67. Let b = -49.05 - -48. Let i = -1 - b. Which is smaller: p or i?
p
Let x = 25 + -18. Which is smaller: -0.2 or x?
-0.2
Let y(m) = m**2 - 8*m + 9. Let a be y(6). Let w be (-7)/21 - 7/a. Is w at most as big as 3/2?
False
Let t be -4 + 3 - 4/2. Let o be (t/4)/(27/(-8)). Let m(u) = u**3 - 7*u**2 - 9*u + 7. Let q be m(8). Which is smaller: q or o?
q
Let f = 38463/49 + -785. Let p = -53/98 - f. Are p and -2 non-equal?
True
Let n be (4/8)/((-13)/4). Is -1 at most n?
True
Suppose -t - 25 + 109 = 0. Let w be 77/t - 2/8. Is w < -1/4?
False
Let o = 0.1 - -0.4. Let p = o - 0.4. Which is bigger: p or 1?
1
Let a = 0.5 - 0.2. Let o = -0.024 - -16.924. Let m = -17 + o. Is m less than a?
True
Let u = 38 + -7. Which is smaller: -1/2 or u?
-1/2
Let q = 15 - 5. Let u = q - 9.2. Let a = 0.2 + u. Is 0.1 at least as big as a?
False
Let s = -10 + 16. Let o = s - 4. Let w = o + -2.1. Which is greater: 0.2 or w?
0.2
Let t(h) be the third derivative of -h**5/60 - h**4/24 + h**3/6 + 2*h**2. Let j be t(-1). Let v be j/(-2)*24/(-10). Does v = 1?
False
Let w(s) = -s**3 + 2*s**2 + 3*s. Let r be w(-2). Which is smaller: 1/4 or r?
1/4
Suppose 22 = -5*y - 4*l, y + 3*l + 8 = 4*l. Let w be (-1)/((-5)/(15/y)). Which is smaller: w or 0.1?
w
Let b = -11 + 7. Let m be (1137/(-30))/(b/(-10)). Let c = m - -94. Which is bigger: c or 0?
0
Let