6 greater than or equal to o?
True
Let w(b) = 2*b**3 - b**2 - 2. Let g be w(2). Suppose 6*z + g - 4 = 0. Which is bigger: -1/9 or z?
-1/9
Let n(u) = -21*u - 312. Let l be n(6). Is l <= -439?
False
Let y be 226/(-46) + (-25)/(-5). Which is greater: y or 1.2?
1.2
Let i(k) = -k**3 - 8*k**2 - 4*k + 25. Let w be i(-7). Is w greater than -34?
True
Suppose 3*a - 4 - 5 = 0. Suppose a*b = -5*u - 34, -2*u - 4 = -3*u + 3*b. Is -5 less than u?
False
Let t = 3/100 - 37/2900. Are t and 0 equal?
False
Let i(m) = 3*m**2 - 4*m - 3. Let u be i(-2). Let g = -14 + u. Suppose -g*w + 10 = 1. Is w smaller than 16/7?
False
Let l(y) = -2*y + 4. Let h be l(3). Let j be (h/(-6))/(1/18). Suppose x + j = -2*x. Is x less than -2?
False
Let o = 26 - 98. Let u be (1/3)/((-12)/o). Suppose -5*f - 3*d = 19, -d + 4*d = -u*f - 13. Is -9/4 less than f?
True
Let n = -31 + 34. Let r be ((-28)/(-8) - n)*-2. Suppose g = 3*i + 19, i + 11 = -i - g. Is i not equal to r?
True
Let f(m) = -10*m**3 + m**2 - 1. Let i be f(1). Which is bigger: i or -11?
i
Let a be ((-10)/25*-57)/((-14)/(-30)). Which is smaller: 50 or a?
a
Let n be ((-18)/(-8))/(2/(-8)). Let i be 6/4*4/n. Let u(s) = 5*s**3 - 188*s**2 - 79*s + 113. Let a be u(38). Which is smaller: a or i?
a
Let q = -3.8 - -4. Let f be (10/(-450)*5)/(10/6). Which is smaller: f or q?
f
Let c = -15.1 + 15.3. Let n = -1 - -6. Suppose -3*h - 6*w + 5*w = 8, -n*w + 14 = -3*h. Are c and h unequal?
True
Let z be ((-2)/601)/(2/3). Which is smaller: z or 1?
z
Let m = 54 + -44. Let p = -14/3 - -76/15. Is m less than p?
False
Let p be (-6)/4*(22/(-6) + 3). Let y = -113933 + 1026604/9. Let j = y + -134. Which is bigger: p or j?
p
Let s = 36 - 19. Suppose -6*i + 4*i + 3*o + 26 = 0, -4*i - 4*o + 72 = 0. Let w = s - i. Which is smaller: w or -2/55?
-2/55
Let b be (-545)/(-10) - (-21)/42. Is 55 > b?
False
Let g be -7 + 2 + 1805/70. Is 21 bigger than g?
True
Let k(v) = 2*v**2 + 5*v + 3. Let y be k(-7). Let r be (y/9)/(1/3). Let z be 344/44 + 4/r. Is 9 < z?
False
Let s = 3 - 5. Let c be (-58)/6 - (4 + s). Is -12 < c?
True
Let o(k) = 2*k**2 + 6 - 6*k + 4*k**2 + 0*k**2. Let l be o(3). Let w = 30 - l. Which is greater: w or -10?
-10
Let b = 24067/58 + -415. Is b greater than or equal to -1?
True
Let h be -3 + (-42)/24 - (-1 + -3). Is h at least as big as 29?
False
Let i(f) = -13*f + 57. Let r be i(5). Which is greater: -3 or r?
-3
Let y be (-456)/(-18)*54/(-4). Which is smaller: y or -343?
-343
Let v = -4/67 - -178/737. Suppose x + 4*x + 15 = 0. Let q = -6 - x. Is v less than q?
False
Suppose -466 = 13*x + 158. Are x and -44 unequal?
True
Let l = -24 - -90. Suppose -d - 4*d = -5*s + 290, 0 = -s - 3*d + l. Is s at least 62?
False
Suppose -133 + 165 = -8*x. Is x at most as big as -4?
True
Let j(v) = 15*v + 19. Let o(a) = -7*a - 9. Let r(q) = 6*j(q) + 13*o(q). Let n be r(-8). Which is smaller: 3 or n?
3
Let z(y) = y**3 - 5*y**2 - 6*y + 9. Let p be z(6). Let s be -1 + -16 - (p - 7). Let a = s - -10. Which is greater: a or -1/2?
-1/2
Let t = 16837/180 - 13/45. Is 93 equal to t?
False
Let h = -101/372 + 2/93. Suppose 5*w + 4*a + 44 = 0, 2*w + 18 = -0*w - 2*a. Is w <= h?
True
Suppose -2*p - 5*d = -2, 34*d + 4 = 4*p + 33*d. Let q = 1633919/163176 - 760/1569. Let u = q + -75/8. Which is smaller: u or p?
u
Suppose -46 + 1201 = 5*s. Let w = s - 3699/16. Let u be (10/(-4) - -2)*2. Is u smaller than w?
True
Let p(k) = k + 29. Let q be p(-30). Let u be (3 - (-509)/(-169)) + 0. Which is greater: q or u?
u
Let o = 2.635 + 0.065. Let b = o - 2.8. Which is smaller: -9 or b?
-9
Let b(s) = -s**3 + 7*s**2 - 3*s. Suppose -3*y = -o - 8, 3*o = -3*y + 5*y + 11. Let u be b(o). Is u <= -21?
True
Let p = -31 - -33. Let h be 5 + (p - (-16 + 1)). Is h less than 24?
True
Suppose 0*s - 10 = -2*s. Let o(h) = -6*h**2 - 2*h + 10. Let i be o(s). Let m be i/(-14) + 4/14. Is m at least as big as 10?
True
Let z(n) = -3*n - 4. Let v be z(-3). Suppose 0 = -2*k + 22. Let a = k + -34/3. Which is smaller: a or v?
a
Let t be (8/108 - 1440/(-243)) + (-1 - 10). Suppose 4*x - 1 = -f, -3*f - 2*x = -4*x - 17. Suppose -2*w = 3*w + 2*u + 16, -5 = -f*w + 5*u. Is t at most w?
True
Let r = 44.3 - 44.41. Is -10 >= r?
False
Let a be 4/1 + 4 - 4. Let u be a*(-3 + (-4)/(-8)). Which is greater: u or -9?
-9
Let u = 12 + 86. Suppose -6*y - u = -8*y. Let q be (-30)/154 - (-14)/y. Which is smaller: 1 or q?
q
Let g = -0.848 - 0.038. Let q = g - 0.114. Which is bigger: 2/25 or q?
2/25
Let l = -205 + 113. Which is greater: -94 or l?
l
Suppose -15 = -4*i + i. Let v(q) = q**2 - 4*q + 5. Let z(y) = -y**2 + 3*y - 5. Let d(s) = 3*v(s) + 2*z(s). Let k be d(i). Which is smaller: k or 3/4?
k
Suppose -s = -0*s - v - 5, 0 = s + 5*v + 1. Suppose -2*l - 4*w + 10 = 0, -2*w - 3 = -5*l - 2. Let n be (l - -3) + (-2)/2. Is s at most n?
False
Let z be 57*1 - (-13)/39. Is 57 <= z?
True
Suppose 3*z - 1 = -1. Which is smaller: z or 4/65?
z
Let j = -67 - 51. Which is smaller: j or 2?
j
Suppose 0 = -3*k - 5*o - 29, 0 = -3*k + 4*o - o + 3. Is k at most -44/23?
True
Suppose 0 = -4*r + 1887 - 83. Let g = -2699/6 + r. Do g and 0 have the same value?
False
Suppose 0 = -4*j - 2 - 14. Let d be 5*(-17)/(-170)*(-168)/22. Which is bigger: d or j?
d
Suppose 6*q + 1861 = -2*f - 593, 3*f = 2*q + 829. Which is greater: -412 or q?
q
Let g(d) be the second derivative of d**3/6 + 11*d**2/2 - d. Suppose 5*j = 4*y - 36, 13 = 23*j - 25*j + 3*y. Let p be g(j). Which is smaller: 1 or p?
1
Suppose 4*s + o + 96 = -3*o, -s - 2*o - 27 = 0. Which is smaller: 1 or s?
s
Let h(s) = 14*s**3 + 6*s**2 + 4*s. Let t(n) = -n**2 - 2*n + 4. Let v be t(2). Let g be h(v). Let r be (-1)/(-6) - (-88)/g. Do r and 0 have different values?
True
Let r = 269 - 275. Do r and -6 have different values?
False
Let z(n) = -n**2 - n - 10. Let t be z(0). Is 12 > t?
True
Let y = -0.88 - 38.12. Let n = y - -37. Is 1/3 > n?
True
Suppose 2*o - 2 = 16. Which is greater: o or 10?
10
Let t be 2/(-12) + 310/60. Let j be (-8)/56*1/t. Is -1 at most j?
True
Let n = 23/33 + -1052/231. Suppose -3*k + 2*q - 3 = 14, 5*k + 27 = 2*q. Which is greater: k or n?
n
Let x = -341/18 + 208/9. Let v = x - 4. Let j = 0.1 - 0.1. Is v less than j?
False
Let f be ((-4)/110)/(7/(-5)). Suppose -14*r = 22 - 22. Is f at least as big as r?
True
Let a = -0.34 + 0.25. Let o = -37 + 66. Let l = 28.9 - o. Which is greater: l or a?
a
Let d(x) = x**3 + 6*x**2 - 13*x - 2. Let q be d(-8). Let m = q - -25. Is m equal to -3/7?
False
Let s = 33.4 + -33.1. Which is smaller: 4.5 or s?
s
Let a = 4 + -10. Suppose 183*b - 198*b - 105 = 0. Is b bigger than a?
False
Let g = 359 + -356. Which is bigger: g or -13?
g
Let p = -1605 - -1578. Which is smaller: p or -22?
p
Suppose 0 = 2*f + 10 - 20. Suppose -r = 5*o - 10, -f*o = -0*o - 10. Which is greater: r or -1/24?
r
Suppose -x + 33 = 5*l, 5*x = 3*x - 4*l + 36. Suppose 10*v + x - 78 = 0. Is v <= 8?
True
Let u = 11 - 10. Let x = u + -1. Let c = -274 - -3008/11. Is c at most as big as x?
True
Suppose 99 = -9*r + 12*r. Let o be ((-176)/r)/(1*2/(-12)). Which is greater: 34 or o?
34
Let r(b) = 2*b**3 - 4*b + 4. Let u be r(-6). Let l be -1 + -2 - u/108. Let q = -2/27 + l. Is 1 <= q?
False
Let h = 13 + -287/22. Which is bigger: -1 or h?
h
Let o(a) = -8*a**2 - 2*a - 11. Let h be o(5). Let s = 158 + h. Let f be (-3)/(-12) + s/12. Is f < -7?
False
Let v = -226.04 - -226. Which is greater: 1/5 or v?
1/5
Let q(o) = o - 23. Let r be q(11). Which is smaller: r or -40/3?
-40/3
Let f = -308 + 12626/41. Let g be 0/2 - (-2 - -2). Which is bigger: g or f?
g
Let n(k) = -55*k - 4. Let y be n(7). Let q = -12061/31 - y. Let x(t) = t**3 - 11*t**2 + t - 10. Let s be x(11). Is q <= s?
True
Let k be (3/(-94))/(24/(-288)). Which is smaller: 0 or k?
0
Suppose 61*y + 170 = 59*y. Let q = 100 + y. Which is smaller: q or -1/2?
-1/2
Let z(t) = -t**2 - t + 19. Let f be z(0). Let o(n) = n**2 - 7*n + 1. Let b be o(4). Let r = b + f. Which is bigger: r or 9?
9
Let v(n) = n**3 - 19*n**2 - 20*n + 4. Let q be v(20). Which is smaller: 27/10 or q?
27/10
Let p be (-46)/(-6)*(34 + -37)*-1. Do 0 and p have the same value?
False
Let x be ((-12)/(-20))/((-2)/(-10)). Suppose 0*c + 20 = -5*c. Let f be x - (c/6 + 3). Which is bigger: f or 1/4?
f
Suppose 0 = 7*f - 0*f. Suppose -6*v - 32 - 184 = f. Is -3 >= v?
True
Let s = 1585 - 2231. Let q = 642.01 + s. Let 