22). Which is greater: 2489/14 or z?
z
Let v be 1*(-4)/(12/45). Let k be ((-400)/v)/4*(-6)/(-4). Let c be 2/(-7)*(45/k + -4). Is c <= 8?
True
Let a = -13.8 - -14.36. Let z = a + -0.54. Let m = -3 + 2. Is z <= m?
False
Let i be (-16)/(12/(-3)) - 152. Let w be 18/63 - i/(-224). Is -5/4 greater than or equal to w?
False
Suppose -s + 1224 = -4*v, 0 = -13*s + 14*s + 2*v - 1194. Is s greater than 1206?
False
Suppose 312*q + 4*p - 1286 = 317*q, -2*q - 2*p = 500. Which is smaller: -207 or q?
q
Let t be 6831/(-138) + (-6)/(-4). Let o = 213 - 215. Are t and o equal?
False
Let b be 2/(-994)*7917/(-26). Is 0 at most b?
True
Suppose 78*t - 10 = 83*t, -5*t = -3*r + 5989. Does -1 = r?
False
Let m = 1.7 - 66.7. Let r = 50.5 + m. Let d = -3.5 + r. Which is greater: d or 0.1?
0.1
Let j(c) = 286*c**2 + 3*c - 3. Let w be j(1). Let t = w - 1434/5. Let o be (-1 - -1)*3/3. Is t at least as big as o?
False
Let f = -5839 + 5319. Which is smaller: f or -2?
f
Let i(h) = h**3 - 4*h - 1. Let a be i(-2). Is 1/22 greater than or equal to a?
True
Let x = -17166032021/10185 + 11797914/7. Let i = x - 2/291. Which is smaller: i or -1?
i
Let w = 45.31 + -0.31. Let f = 96 - w. Let r = 51 - f. Which is smaller: -2/75 or r?
-2/75
Let d = 17 - 97. Let q = 84 + d. Let y be 6*(68/(-8))/((-6)/q). Are 34 and y equal?
True
Let r be (-215 + 239)*2/(-4). Let j = 215 + -685/3. Which is smaller: j or r?
j
Let l = -121.09 - 8.01. Let d = l - -129. Which is greater: d or -17?
d
Let l be 31/713 - 5296/20240. Let t = -2 + 1. Which is greater: l or t?
l
Let r be 317/567 - (-36)/(-63). Suppose -2*c - l + 25 = -0*c, 0 = 2*c - l - 15. Suppose 6*q - c + 4 = 0. Which is smaller: q or r?
r
Let t be (-1)/(-10) - (-5)/85*204/(-24). Suppose 2*h = 6*h + 4. Let g be h/3 + 7/(-15). Which is smaller: g or t?
g
Let g be 22/(-2) + 106/22 + (-40)/(-220). Is 2237 < g?
False
Suppose -9*v = 1366 - 619. Is v >= -87?
True
Let u(i) = i**3 - 6*i**2 - 3*i - 7. Let j be u(5). Let c = -42 - j. Suppose c*m + 48 = -m. Is -8 < m?
False
Let b = 0.3289 - 0.2239. Which is greater: b or -1/16?
b
Suppose -6*a - 66 = -8*a. Let n = 161 - 134. Which is smaller: n or a?
n
Let k be 13 + 2 + (-4 - (1 - 3)). Suppose 54 = -4*h - 2*t, 2*h + 4*t + 31 - k = 0. Is h greater than -15?
False
Let q be ((-5)/(-25))/(2/(-10)). Which is greater: q or -2/3521?
-2/3521
Suppose -2*o - 1067 = 3*l, -3*l + 3*o = 915 + 177. Let y = 10519 + -10520. Is y at least l?
True
Let t be (-11 - (-756)/72)/((-1)/76). Which is smaller: 591/16 or t?
591/16
Suppose 0 = -2*b + 2*i - 12, 2*b + 143*i - 23 = 138*i. Which is smaller: b or 2365?
b
Suppose -2*q + 6 = -3*c - 14, 3*q - 2*c - 20 = 0. Suppose -y + q*h + 19 = 0, y + 3*h - 51 = -h. Suppose -18*o + 13*o - y = 0. Which is smaller: -6 or o?
o
Let s = 3.122 + -1.722. Suppose 3*m + 4*m + 7 = 0. Is s < m?
False
Let h = -191 + 195. Let q = 44.0284 + -0.0284. Which is bigger: h or q?
q
Let d = -96.36 + 95. Let i = d - -1.26. Let k = 26.14 + -0.14. Which is smaller: k or i?
i
Let k = -2.78 - -5.75. Let l = k - -1.03. Is 11 > l?
True
Let q be 18/(-3)*(2 + -1). Let x(y) = -4343*y - 30394. Let m be x(-7). Which is smaller: q or m?
q
Let l = -134 - -126. Let k be 7/3 - 5/((-20)/l). Suppose 5*g = -0*g - 5. Is g less than or equal to k?
True
Let g(n) = n**3 - 7*n**2 - 2*n + 9. Let u be g(7). Let w(c) = c**3 - 19*c**2 - 7*c + 460. Let b be w(18). Which is smaller: b or u?
u
Let m be -11 - -23 - -3*2/(-3). Suppose m*w = 15*w. Suppose w = -8*i + 2*i - 24. Are -4 and i unequal?
False
Suppose 13 = -2*r + 11. Let l = 21/10 + -173/80. Which is smaller: l or r?
r
Suppose -4*k - 5*r + 978 = 318, -4*r - 526 = -3*k. Are 171 and k nonequal?
True
Let y = 147 - 153. Let r(l) = -l**3 - 6*l**2 - 2*l - 8. Let d be r(y). Which is greater: -3/2 or d?
d
Let v = 258 - 260. Which is greater: v or -214?
v
Let z = -1042309/99 - -93344/9. Let n = z - -157. Let k be (-8)/((-112)/10)*-7 + 5. Which is bigger: k or n?
n
Let s be 1228531/245967 + ((-1)/2 + 1)*-10. Which is greater: 0 or s?
0
Let g = 3427 - 3337. Is 8/3 equal to g?
False
Let h = -0.7 - -19.7. Let x = -20.5335 + 17.5335. Is x != h?
True
Let l(n) = n**2 + 5*n. Let g be l(-2). Let c = g + 11. Suppose -1 = -4*x + c*x. Do x and 1 have different values?
True
Suppose 4*w - 4*k = -62 + 22, w - 20 = -4*k. Which is bigger: -130/29 or w?
w
Let s(o) = -6*o - 3*o**2 + 4 + 7*o + 11 - 21. Let i be s(2). Is i greater than -15?
False
Suppose 9*g - 15527 - 12634 = 0. Suppose 0 = 17*c - 1157 + g. Is c >= -0.1?
False
Let r = 34430 + -2306768/67. Is r at most 2?
True
Let o be -213 + 0/(-3*14/21). Which is smaller: o or -220?
-220
Suppose -2*s - 430 = -5*t + 21, -2*t + 1117 = -5*s. Let z = s - -245. Is z <= 19?
False
Let q be (-4923)/132*-2*((-114)/(-18) + -5). Is q <= 99?
False
Let b be (16 - (-67423)/(-4214))/((-2)/(-12)). Let g = -6828/356083 + b. Which is greater: 0 or g?
0
Let l(a) = -42*a. Let m be l(-2). Suppose -29*o + o = -2296. Is o bigger than m?
False
Suppose -j = -3*k - 79, 2*k + 286 = 6*j - 2*j. Suppose -56 = 2*y - j. Let w be ((-18)/(-15))/(1/5). Which is smaller: w or y?
w
Let t = 1212 + -1254. Suppose 4*y = y - 135. Let o = t - y. Is 4 less than or equal to o?
False
Let p(w) = -w**3 + 19*w**2 + 11*w - 4. Let f be p(6). Let t = f + -536. Is t < -100/19?
True
Suppose -7*l = -0*l + 1253. Let f = l + 177. Suppose -4*p + 8 = 0, 0*y - 3*p + 6 = y. Is y less than or equal to f?
False
Suppose -2*y + 0*y + b = -10, 5 = -y - 2*b. Suppose -4*v + 4*q = 0, -2*v + 3 = y*q - 7. Suppose 22*m + v = 20*m. Which is smaller: -4/5 or m?
m
Suppose -2*d + 401 - 149 = 14. Which is smaller: d or 98?
98
Suppose -g - 305 - 58 = -k, -g - 724 = -2*k. Which is smaller: 367 or k?
k
Let l(a) = -a**2 - 14*a + 1. Let s be l(-15). Let n be (2/(-35))/(s/70). Let w be (-33)/264 + (1 - 1). Which is smaller: n or w?
w
Suppose -3 = 2*o - 2*m - 3*m, 2*o + 4*m = 6. Let l = -151 - -147. Let y be l/22 + 999/231 + -3. Are y and o non-equal?
True
Let u(m) = 67*m**3 + 2*m**2 + m. Let n be u(-1). Suppose 0 = 4*j + 3*s + 220, -19*j + 12*j + 2*s - 501 = 0. Is n at most j?
False
Let j = -2 - -48. Let g = j - 123. Let v = g + 92. Is -0.2 equal to v?
False
Let l = -319.04 + 320. Let w = 25.04 + l. Which is greater: 4 or w?
w
Let b = 0.26 + 13.24. Let v = b - 8.5. Let t = v + -70. Which is greater: -2/3 or t?
-2/3
Let x = -28 + 34. Suppose 3*q + x = 15. Suppose 30*o - 33*o = -q. Which is smaller: 8/11 or o?
8/11
Let f(m) = -372*m - 1712. Let u be f(-19). Is u != 5356?
False
Let a be ((-378)/(-5460))/(-3 - -4). Is a at least -2?
True
Let q be (-4 - -1)/(-2 - (-274)/140). Let n = q + -63. Let h be (-8 + n)*(2 - 1). Is h at least -8/7?
True
Suppose 3*q = 5*z - 295, -5*q - 445 = 3*z - 2*z. Let o = 587/5 - 117. Is o at least q?
True
Let v(z) = -68*z - 5150. Let r be v(-88). Is r equal to 831?
False
Let z = -318.5 + 312.8. Which is smaller: -3/4 or z?
z
Let o = -49304.931 + 49243. Let m = o + -0.069. Let d = m - -63.1. Does -2/9 = d?
False
Let i = -1127.9504 + 1129. Let l = -0.0496 + i. Is l != -30/13?
True
Suppose 0 = -29*o + 59 - 1. Suppose -384 = -62*a - o*a. Is a < 6?
False
Let c(l) = -225*l**2 - 225*l. Let x(k) = -9*k**2 - 9*k. Let a(d) = -4*c(d) + 99*x(d). Let b be a(-2). Is b smaller than 17?
False
Suppose -5*v + 166 = -34*k + 37*k, 5*k + 5*v = 280. Let u = k - 355. Which is smaller: u or -299?
-299
Let r(c) = -3*c**2 + 33*c + 1. Let q be r(0). Which is greater: -1/3460 or q?
q
Suppose 4*g + 12 = 0, -5*k = g + 66 - 13. Suppose -2*r - 21 = 3*s, -5*r + 21*s - 26*s = 50. Which is greater: k or r?
r
Let r(t) = -17*t**2 + 94*t - 36. Let q be r(7). Is q less than -214?
False
Let t be 10/15 - 25/(-75). Is t at least as big as 2/2391?
True
Let o = 23.17 + -0.17. Let q = o + -22. Let w(y) = 5*y + 38. Let i be w(-12). Which is bigger: i or q?
q
Let n = -3732 + 2747. Is n greater than -1?
False
Let t(p) = p**3 - 6*p**2 - 10*p + 50. Let z = -632 - -638. Let u be t(z). Which is greater: -180/19 or u?
-180/19
Let u be 371 + (-21 - -9) + 12. Is 1114/3 less than or equal to u?
False
Let w(q) = q**3 - q**2 - 5*q + 23. Let y be w(-3). Let t = -11 + 51. Let s be 7/((-294)/t) - (y + -3). Which is bigger: 1 or s?
1
Let m be 220/140 + 9/21. Suppose 642 = m*w - 332. Which is greater: w or 488?
488
Let x be 822365/(-46)*12/30. Is x less than -7151?
False
Let u = 309.2