or -1?
-1
Let m = -88 - -104. Which is smaller: m or 77/5?
77/5
Let g = 51 - 36. Suppose g*i = 10*i - 170. Is i smaller than -1?
True
Let y = -3 - -2. Let i = -0.01 - 0.99. Let l = i - y. Does 1/2 = l?
False
Let p(o) = -92*o - 1. Let g be p(2). Let t be (5/g)/((-2)/4). Is 0 greater than or equal to t?
False
Let o be 24/(-260)*9/78. Let r = -189873/23660 + o. Let i = 31/4 + r. Is i != -8?
True
Suppose -9*u + 13*u = -4*f, f = 4*u. Is u bigger than 3/179?
False
Let z = 158.2 + -268.3. Let h = z - -110. Which is smaller: h or -0.81?
-0.81
Let a be (3109617336/282)/(34/(-3)). Let j = a + 972972. Let l = 9/47 - j. Does l = -1?
False
Let z be 2*(-4)/16 - 94/4. Let g = 26 + z. Which is smaller: g or 6/11?
6/11
Let w be (1*-1 + -19)*14/(-28). Suppose 3*s + 2*u - w = 6, 2*u + 12 = 4*s. Which is greater: s or 34/7?
34/7
Let b(p) = -2*p**2 - 4*p - 3. Let z(c) = c**3 - c**2. Let o(g) = -b(g) - z(g). Let d be o(4). Is 1 at most d?
True
Let a be ((-21)/28)/(1662/96 - 4). Which is smaller: a or -1?
-1
Let t(r) = r**2 - 11*r**2 - 11 - 12*r + 0*r**2 - r**3. Let w be t(-9). Is 16 at least as big as w?
True
Let g = 624 + -622.76. Is g not equal to 1?
True
Suppose 2*q - 132 = -5*l, -8*q - 211 = -11*q - l. Which is smaller: q or 68?
68
Let i = -657 - -658. Is i bigger than 4.1?
False
Let r(w) = 2*w - 6. Let m be r(6). Suppose 5*h + 0*h - 30 = -5*d, h - 5*d = -m. Let i be ((-48)/28)/(h/(-14)). Is i smaller than 5?
False
Suppose 172 = -u - 2*b, -172 = u + 2*b - 5*b. Is u less than -172?
False
Let t = -17.7 - -18. Let j = t - -1.1. Which is greater: j or 0?
j
Suppose 29*h + 5 = 27*h + 5*n, h - n + 4 = 0. Which is smaller: h or 11?
h
Let x = 431 + -290. Is x greater than or equal to 142?
False
Let w be (1 + 2/(-4))*2. Let a = 398/249 + -22/83. Is a at least w?
True
Let w = -17 + 17.17. Let l = -0.12 + w. Let v = l - -0.05. Is -1/3 greater than v?
False
Let o = 336 - 350. Which is smaller: o or 6?
o
Let v(h) = -h**3 - h**2 + h - 15. Let u be v(0). Let i = -3900 + 3883. Is i > u?
False
Let m be (510/(-238))/(2/(-14)). Is m at least 15?
True
Let u = -337/19 - -525402/29621. Which is bigger: u or 1?
1
Let b = 9937 + -20351/2. Is -240 bigger than b?
False
Let i = 82 - 82. Which is bigger: 3/68 or i?
3/68
Suppose -7*x = -31*x + 336. Let v(j) = 34 + 0*j + 0*j - j. Let k be v(x). Which is smaller: k or 21?
k
Let m = -15.3 + 15.4. Let p be -1*2 - (-1 - 68/60). Is p at least as big as m?
True
Suppose 0 = 5*f - 3*x - 91, 0 = -4*f + 35*x - 34*x + 70. Suppose 12 = s - 7. Which is smaller: f or s?
f
Let c = 209 - 211. Which is smaller: -1 or c?
c
Let n(c) = -c**3 + c**2 - 2*c - 3. Let y = 6 - 3. Let t be n(y). Let q be (-3)/t*3 - 0. Are 0.2 and q nonequal?
True
Let c be (-6)/34*2/3. Let m(o) = 2*o + 5. Let k be m(-3). Is c >= k?
True
Let p be ((-21909)/2190 - -10)/((-12)/1). Which is bigger: p or 1?
1
Suppose 15*a + 296 = -4. Is a equal to -139/7?
False
Let a be -14*4*(-10)/4. Which is bigger: 141 or a?
141
Let g = -661 - -677. Is g <= 7?
False
Let r be (-25)/5 - (2 - -2). Let o(q) = -q**3 - 7*q**2 + 17*q - 5. Let z be o(r). Which is smaller: 3 or z?
3
Let p = -1 - 1. Let k be ((-16)/(-10))/((-14)/(-35)). Suppose 4*w + 2*a + 19 = -3*a, -3*w = k*a + 15. Does p = w?
False
Suppose -15 = 5*q, z - q + 0*q = 6. Suppose 4*k - 984 = z*h + k, -4*k = -16. Let a be (-9)/h + (-4)/(-18). Which is smaller: a or -5/6?
-5/6
Let b = 2.9 - 3. Let x = -231.4 - -251.4. Is x smaller than b?
False
Let w(u) = 4*u**2 - 7*u. Let z(g) = -7*g**2 + 13*g - 1. Let s(d) = -5*w(d) - 3*z(d). Let l be s(2). Let r = -3 - -5. Which is greater: l or r?
r
Let q(o) = o**3 - 13*o**2 - 2*o + 26. Let x be q(13). Which is smaller: 4/25 or x?
x
Let q be 0 + -1 + 49/63 + 97908/2214. Suppose -121 - 96 = -5*w - 2*t, t + 4 = 0. Is q greater than or equal to w?
False
Let h = -3 - -5. Suppose -h*q - 3 = -17. Suppose 4*w + 3 = q. Which is greater: -7 or w?
w
Let f = -6 - -6.5. Let g = -0.62 + f. Let b = -0.32 - g. Which is smaller: b or 3/4?
b
Suppose 37*s = 42*s - 85. Are 9 and s nonequal?
True
Let s(t) be the first derivative of t**4/24 - 2*t**3/3 - 3*t**2/2 + 3. Let n(q) be the second derivative of s(q). Let b be n(7). Which is smaller: b or 4?
b
Let x be -3 - (19 - 1)/(-6). Is x > 1/506?
False
Let n(z) = 4*z + 16. Let m be n(-4). Suppose m*f = 9*f + 171. Which is bigger: -20 or f?
f
Let y(l) = l**2. Let b be y(0). Let u(q) = 5*q + 28. Let p be u(-6). Let f = p - -5/4. Are f and b non-equal?
True
Suppose 0 = 8*d + 88 - 80. Which is greater: -5/57 or d?
-5/57
Let w be ((-774)/10)/((-8)/(-40)). Is -387 at most w?
True
Suppose 34*k = 39*k. Suppose -1 = -c - k*c. Which is smaller: c or 3/8?
3/8
Let t = -21 + 21. Let u = t + 18. Let v = -17.5 + u. Which is greater: -0.2 or v?
v
Suppose -72*w - 313 = 33*w + 2. Suppose -2*m + 5*m = -3. Is m at least w?
True
Let u = 168.17 + -170. Let v = -1.17 + u. Which is smaller: 1.2 or v?
v
Suppose 0*j - 13 = -4*z - j, 0 = 3*j - 15. Let l = -71 + 77. Suppose l = 3*s, -5*y - s + 0 + 2 = 0. Is y at most z?
True
Suppose 3*k = 1 + 2. Let b be (-1 - k)*(-2)/(-4). Let u(z) = 4*z**3 + 8*z**2 - 11*z - 21. Let j be u(-2). Is j smaller than b?
False
Let t be 2/2*(-5)/(-7). Let u(h) = -2*h - 9. Let v be 4*(-4 + 22/8). Let x be u(v). Is t at most x?
True
Suppose 0 = 2*m - 3*q + 3 - 2, 0 = -3*m - 3*q + 6. Is 3/248 >= m?
False
Suppose 0*b = 5*v + b - 14, 3*b = -4*v + 20. Which is smaller: v or 103?
v
Let z = 27175/518 - -10/259. Let h be (2 - (-6)/(-3)) + (-1159)/(-22). Let a = h - z. Are a and 1/4 equal?
False
Suppose 2*c + 11 = t, 0 = 2*t + 2*c + c - 1. Let w(f) be the third derivative of -f**4/12 + f**3/2 - 5*f**2. Let o be w(t). Which is smaller: o or -8?
-8
Let a = -48 - -8. Let h = -40.1 - a. Is 1/3 < h?
False
Let h be (1/(-1))/((-1)/2). Let o be ((-8)/32)/((-1)/4). Let j be ((-4)/h + o)*1. Is j > -2?
True
Let n = 127 - 122. Let g be (-9)/(-2) + 2/(-4). Suppose -g*w - 13 + 2 = c, -c + 4*w = -21. Is n bigger than c?
False
Let z(p) = 2*p**2 - 36*p + 36. Let v be z(17). Let i = -89 - -454/5. Which is smaller: v or i?
i
Let k = -1/29 - -89/58. Let v = 7.6 + -7.3. Are v and k nonequal?
True
Let y be 1 + -3 + 0 - 9. Let p = 11 + y. Let j = 97/7 - 14. Which is greater: j or p?
p
Let n be (-3)/(-2) + (-54)/(-12). Suppose 7*i - n*i + 4 = 0. Let p be 4/39*(-6)/i. Which is bigger: 0 or p?
p
Let u = 14/433 - -20686/3031. Let a be (-160)/(-28) - (7/147)/((-1)/6). Is u at most as big as a?
False
Let m be (-6)/(-70)*(-2190)/(-24309). Is -1 < m?
True
Let x = -20 + 20. Suppose x = 4*y + d - 2*d - 16, -4*y + 20 = -2*d. Does y = 16/7?
False
Suppose 0 = 12*r + 47 - 35. Does 0.084 = r?
False
Let m be (-2)/(-10) - (1232/10)/(-14). Which is greater: 69 or m?
69
Suppose 0 = 3*c + 8 - 20. Suppose 0*l - 36 = -c*l. Is l at most as big as 10?
True
Let a be (18/56)/9*-4. Is a at most as big as 9?
True
Suppose -u = -3*u - 310. Is u greater than -154?
False
Let x = 0.2 - -0.5. Let b = 43 + -41. Is b less than x?
False
Suppose 0*s - 10*s = -60. Suppose -10*w + s*w - 20 = 0. Which is smaller: w or 9?
w
Let x be (-3)/(-2)*20 - (-20 - -24). Let s = -24 + 49. Which is bigger: x or s?
x
Suppose -4*a = 2*r + 10, 0 = -a - 0*r + r + 5. Let h be (a + 3)*(-20)/3. Is h at least -21?
True
Let l = 86 - 34. Is l > 49?
True
Let h(x) = -x**3 - x**2 - 2*x - 9. Let u be h(0). Let a(q) = -2*q**2 - 13*q + 8. Let f be a(u). Is -37 less than or equal to f?
True
Suppose 6*d = 5 + 7. Let l be 2 - (d*-61)/(-2). Which is smaller: l or 0?
l
Suppose -4*r = -3*r - 3. Suppose -4*p + d = -r*d - 52, 9 = 3*p + 3*d. Which is greater: 10 or p?
10
Suppose -5*m + v - 1 = -52, 0 = -m + v + 7. Suppose m*n = 15*n. Is -1/61 >= n?
False
Let x be 1*(-5)/(-20)*4 + -2. Which is bigger: x or 1/172?
1/172
Let a = 44 + -46. Let h = -415/26 + -111/13. Let w = -25 - h. Are a and w nonequal?
True
Suppose 5*r - 696 - 629 = 0. Let n = r + -185. Is 80 greater than n?
False
Suppose -h - 17 = -19. Suppose -8 = -u + 3*p, 2*u + 4*p + 16 = h*p. Which is smaller: u or -21/4?
-21/4
Let o = 219 + -128. Let i = o + -87. Do i and 2 have the same value?
False
Suppose 3*k - 242 = -5*x, -2*x - 20 = 2*x. Suppose -4*w = 5*v - 381, -4*v + 351 = 4*w - 5*v. Is w at least as big as k?
True
Let z be ((-1610)/15)/(2 + (-358)/31). Let o = z + -45/4. Which is bigger: o or 1?
1
Let y be (4/18)/(2/12*4). Let h 