be -1*4/((-12)/z). Suppose i*g - 15 = 0, -2*k - 3*g = -3*k - 9. Which is bigger: k or 1/3?
1/3
Let j = -11796 + 11795.9. Let z = -2.41 + 2.3. Let b = -1.29 + z. Which is greater: b or j?
j
Let f be 6*-9*(-9)/5103. Let t = 0 + -0.2. Does f = t?
False
Let v = 11161 + -11194. Suppose -3*f - 2*f - 160 = 0. Is f > v?
True
Let v = 2/89 + 164/623. Let r = -5 + -7. Let t be (-1)/4 + 261/r. Which is smaller: t or v?
t
Suppose -2*b = -8*b + 66. Let q = 10 - 0. Which is smaller: b or q?
q
Suppose -11*a - 6 = -9*a. Let r be 0 - ((-19)/(-5) - (a + 6)). Is 2/31 less than or equal to r?
False
Suppose -5*x = -h - 2*h - 124, -107 = -4*x + 5*h. Which is greater: x or 18?
x
Let m(c) be the second derivative of c**5/20 - 7*c**2/2 + 5*c. Let b(a) be the first derivative of m(a). Let q be b(1). Which is smaller: 7/3 or q?
7/3
Suppose -u - 268 = 5*l, 3*l + 526 = -2*u - 2*l. Is u greater than or equal to -257?
False
Let o be (130/(-180))/13*(-8)/(-14). Is 1 < o?
False
Let a(f) = f**2 - 5*f + 7. Let u be a(4). Suppose -5*m + u = -7. Suppose 0*p + m*p = 0. Is -6/7 less than p?
True
Let v = -7.1 + 5.1. Let h(r) = r + 4. Let u be h(-6). Let d = u + 2. Is v greater than or equal to d?
False
Let d be (-34)/(-8) + 4/(-16). Suppose 15 - 11 = -d*y. Which is smaller: 3/14 or y?
y
Let g = -659 - -659.007. Is g at least as big as -6?
True
Let n(s) be the third derivative of -s**6/120 - s**5/60 + 4*s**3/3 + 17*s**2. Let c be n(0). Does 0.2 = c?
False
Suppose 2*k - 18 = -2*m, 2*m = 6*m + 3*k - 38. Suppose -4*d + 7 = m. Which is greater: -9 or d?
d
Let g(w) = -w - 16. Let u be g(-19). Which is greater: 50/17 or u?
u
Let n be ((-12)/(-34))/(33/6 + -6). Is 0 less than n?
False
Let n be 2/7 + (-395)/35. Let s be (-21)/(-63)*(0 - n). Is s < -1/2?
False
Let h = 43.7 + -64.7. Which is smaller: 4 or h?
h
Let l(a) = 2*a + 12. Let i be l(-11). Let t be (i/(-8))/((-7)/(-56)). Suppose 0 = h - 2*u + t, 0 = 4*u - 23 + 7. Which is bigger: h or -5/3?
-5/3
Let o = 471 - 470.95. Is -29/4 bigger than o?
False
Let g = -25 + 34. Let p = g - 8. Which is bigger: -17 or p?
p
Let u be -3 + 498/7 - 2/14. Do 64 and u have the same value?
False
Let r = 1 + -4. Let f(m) = -2*m**3 + m**2 + 2. Let c be f(2). Let y be (12/c)/(12/30). Is r > y?
False
Let p(f) = -10*f + 179. Let r be p(18). Is r greater than 3/59?
False
Let k(x) = -x**3 + 14*x**2 - 3*x + 43. Let w be k(14). Let v = -9.89 + -0.11. Which is greater: v or w?
w
Let s = 1 + -2. Suppose 4*i = 3*i - 70. Let f be 5/(i/(-21))*(-8)/66. Which is smaller: f or s?
s
Let i = -43/81 - -1625/3078. Which is greater: -1 or i?
i
Let n be (-6)/(-9)*147/6. Let y be 10 - (4/12*-9 - 3). Which is bigger: n or y?
n
Let g(t) = t**3 + 3*t**2 + 2*t - 7. Let u be g(-2). Which is smaller: u or -9?
-9
Let l = -1.4 + 1.795. Let o = l + 0.005. Is o < 3?
True
Suppose -5*x = -o + 6*o - 280, -4*o - 88 = -2*x. Let r be (-4)/6 - x/39. Let g be (11/(-2))/(-1)*r. Which is greater: -13 or g?
g
Let j(q) = -q**3 + 7*q**2 + q - 7. Suppose 0*c + c - 7 = 0. Let o be j(c). Let v = 19/60 + -23/20. Is v greater than or equal to o?
False
Suppose 2*x + 3*d + 208 = 0, 4*x + 136 + 320 = 4*d. Is -110 greater than or equal to x?
True
Let l be ((-75)/(-40) - 2) + (-118)/(-560). Suppose 0*h = 2*p - 3*h - 6, p - 4*h = 8. Which is bigger: l or p?
l
Suppose 10*w - 9*w - 9 = -4*o, -3*w + 13 = 5*o. Which is bigger: o or -34?
o
Let p = -1949/12 + 162. Which is bigger: 0 or p?
0
Suppose 4754 = 68*c - 2522. Is c != 107?
False
Suppose 3*x = -0*x - 3. Let r(g) = g**2 + 5*g - 11. Let h be r(-6). Let l(q) = q**3 + 4*q**2 - 5*q - 3. Let n be l(h). Is x > n?
True
Let p(t) = -t**3 - 17*t**2 + 2*t + 94. Let y be p(-17). Suppose -4*k - 4*d = -6*d - 226, -5*d = -3*k + 152. Which is smaller: y or k?
k
Let u(s) = -s**3 + 5*s**2 - 5*s + 4. Let a be u(4). Suppose 2*w - l = 2, a*w + 4*w = -3*l + 4. Let j be (-8)/(-5) + (-3)/5. Is w smaller than j?
False
Let t = 38 - 48. Let i = 10 + t. Is 2/23 less than or equal to i?
False
Let v = 655/18 + -209/6. Which is smaller: v or -0.02?
-0.02
Suppose 1482 + 2052 = 38*g. Is 92 greater than or equal to g?
False
Suppose 5*f - 3*x = -1492, 5*f + 1029 = 2*x - 459. Is f bigger than -298?
True
Let g = 1 - -6. Suppose g*x - 3*x = 20. Which is bigger: 18/5 or x?
x
Let j = 870/43 + -48624/2365. Which is smaller: j or 0?
j
Let i = -3259/3597 - 1/327. Let w = -28836 - -951662/33. Let m = w + i. Which is smaller: m or 0?
0
Let j be 38 - (11 + 24 + -16). Suppose 5*h = 4*p - 5*p + 13, -4 = 2*h + 5*p. Suppose 6*v = -4*r + v + 86, -h*r + 3*v + 51 = 0. Is j at most r?
True
Let v = -19.2 - -18. Let p = v + 11.2. Let z = 12 - p. Is -2/9 less than z?
True
Suppose t - 2 = -5. Suppose 0 = 2*z + 2*u - 4, -5*u + 37 = -4*z + 9. Let k be (z + t)*(-3)/(-5). Is 0 smaller than k?
False
Let q(g) = -2*g - 6. Let n be q(-4). Suppose -n*f - 4*a + 4 = -4, f = -3*a + 9. Let c be (f/(-2))/(4 - 1). Is c at most as big as -11?
False
Let w = 5.05 + -108.85. Let h = -103 - w. Is 0.1 at most h?
True
Let b = 22 + -99/4. Is b less than or equal to -3?
False
Let r = -29 - -29. Let a = r - 0.3. Let c = 176/7 + -1598/63. Which is smaller: a or c?
a
Let z(j) = j**3 + 2*j**2 - 2*j - 3. Let v be z(-2). Let a be (-203)/(-153) - (-4 - 462/(-119)). Which is greater: a or v?
a
Let g(q) = -q**2 + 2*q + 1. Let o be g(2). Let a(b) = b**3 - 1. Suppose -18*r + 13*r = -5. Let z be a(r). Are o and z non-equal?
True
Let y(n) = 0*n - 2 + 5*n - 9 - 3*n. Let b be y(7). Which is greater: 2 or b?
b
Suppose v = -4 - 4. Let j(s) = -3*s + 12. Let a(l) = -8*l + 36. Let i(o) = -5*a(o) + 14*j(o). Let u be i(v). Which is greater: u or 0?
u
Let y be (1/(-2) - 2020/120)/11. Which is greater: -2 or y?
y
Suppose 4*q + 0*z + 34 = -2*z, 0 = 2*q - 3*z + 13. Let u = -6 - q. Suppose 108 - 54 = 18*k. Is u bigger than k?
False
Let p = -681690/43 - -15854. Is p less than or equal to 1?
True
Let x = 0.11 + 1.69. Let i = x - 8.8. Which is bigger: i or 0.3?
0.3
Let d = -134534/15327015 + -99/4889. Let b be 4*(-1)/(380/3). Let p = d + b. Is -1 > p?
False
Let m = -57 - -111. Let v be (4/(-6))/(m/(-243)). Which is smaller: 3/2 or v?
3/2
Let y be (-824)/(-24) - 2/6. Let p(t) = 10*t + 233. Let j be p(-20). Which is greater: j or y?
y
Let x be 4 + (11 - 41) - -11. Suppose 0 = 5*v + 3*y + 58, -4*v - y - 15 = 37. Is x less than or equal to v?
True
Let d be ((-1)/(-1))/(-4) - (-7303)/(-4). Let l be 2/4 - (-869)/d. Which is smaller: 0 or l?
0
Let m be ((-8)/(-10))/(5/25). Let w = 81 - 72. Let j = w - m. Is j less than or equal to 2?
False
Let n = -62.8 - -61.8. Are -0.213 and n unequal?
True
Let f be 2*(10/12)/(-5). Suppose 0 = 8*q - 9*q + 5. Suppose -10 = q*b, -9*b = -5*a - 4*b + 5. Which is smaller: a or f?
a
Let l be 106/(-6) - (-2)/(-6). Let r = 68 + -56. Let d be r/8 + -2 - 66/4. Which is bigger: l or d?
d
Let x(u) be the second derivative of -u**4/24 + 5*u**2/2 + 6*u. Let w(i) be the first derivative of x(i). Let a be w(-1). Is -1 greater than or equal to a?
False
Let p(o) = -3*o**2 - 22*o + 17. Let r(t) = -t**2 - 11*t + 8. Let j(v) = -3*p(v) + 7*r(v). Let b be j(5). Which is smaller: b or 3/5?
b
Let y = 0.797 + 5.213. Let z = -0.01 + y. Is z not equal to 2?
True
Suppose -13*m = -11*m + 8. Let d be (-2)/(-7)*((-76)/12 - m). Is d bigger than -55?
True
Let g = -2069 - -2068. Is g less than or equal to -3/551?
True
Let x = -15 - -17. Suppose x*l = 3*i - 9, -4*l + 0 = -i + 3. Let f be (0/5)/(l + -2). Is f greater than -2/39?
True
Let f(v) be the second derivative of v**4/12 + v**3/2 - 8*v. Let u be f(-3). Which is smaller: u or 3/7?
u
Let p = -372.7 + 358. Let j = -9.3 + p. Which is greater: j or 1?
1
Let t = -111/26 - -136001/31850. Which is smaller: 1 or t?
t
Let y(b) = -6*b - 232. Let x be y(-39). Let w = -192 - -1349/7. Is w at most x?
True
Let x = -29.908 - 0.092. Let d = x + 30. Are d and -2.1 unequal?
True
Let c = -0.08 + -1.92. Let m(n) = n**3 - 9*n**2 + 2*n - 20. Let f be m(9). Do c and f have the same value?
True
Let c be ((-9)/(-42))/((-1989)/(-338) + -6). Which is bigger: c or -2?
c
Let t = 0.9144 + 0.0856. Are t and 19.2 unequal?
True
Let f be (80/(-72))/10*2. Suppose 3*w - 8*w = -15. Let u = -2 + w. Is u less than f?
False
Let k = 2 + 1. Let q be (27/6)/1 + (-1)/2. Suppose -g + k + 2 = -3*h, q*g = -16. Is h not equal to -2?
True
Suppose 6*r - 74 = -92. Suppose 