
Let b = 40 - 28. Suppose b*m = 18*m - 720. Let k = 1079/9 - m. Is k greater than 0?
False
Suppose 372 = n + 2*t + 350, 0 = t - 12. Let u(l) = l + 4. Let q be u(-3). Let j be ((-1)/q)/(7/13). Which is greater: n or j?
j
Let k(p) = 54*p**2 + 23*p. Let w be k(-6). Is w at least as big as 1807?
False
Let b(u) = 6*u + 17. Let s be b(-3). Let m be s + (1 - (-3 - -3)). Suppose 2*l + 26 = i, m = 2*i - 4 - 4. Is -8 smaller than l?
False
Let w be ((-90228)/(-18045) - 5)/((-111)/(-185)). Which is greater: 0 or w?
w
Let r = -102.894 + 103. Let i = r - 0.156. Does -4 = i?
False
Let n = 5028 - 5047. Let u = 1.02 + -0.02. Is n bigger than u?
False
Let k(s) = 3*s + 18. Suppose -118 = 2*v - 0*v - 4*z, -3*v - 169 = 2*z. Let x = -49 - v. Let m be k(x). Is 44 greater than or equal to m?
True
Let o(j) = 433*j - 8355. Let i be o(21). Is 731 != i?
True
Let o = -5 + -43. Let d = 1178.8 - 1131. Let q = d + o. Is q not equal to -2?
True
Let g be (1 - 2 - 0)*2/6. Let n = 0.7135 + -72.7135. Is g >= n?
True
Let k(z) = -165*z - 4. Let w be k(-1). Let j = -174 + w. Suppose 5*x = -1 - 59. Is j less than or equal to x?
True
Let t = 0.0658 - -0.7212. Let h = t - 0.427. Do -0.1 and h have the same value?
False
Let a(y) = 2*y**2 + 8*y + 86. Let j be a(-10). Let w = 774 - 567. Are w and j nonequal?
True
Let n = 59 - 54. Suppose 4*j + 4*m - 24 = 0, -j - 2 = n*m - 8. Let p be (-816)/(-1170) + (-4)/j. Are 0 and p non-equal?
True
Let c = -23 + 60. Suppose 27*z = c*z - 390. Which is smaller: z or 0?
0
Let i be (-1452)/(-27) + (-6)/(-27). Let b = -63 + i. Are b and -12 nonequal?
True
Let u = 33971 - 33617. Is u less than or equal to 353?
False
Let d = -9120 + 9205. Is 87 > d?
True
Let x be -4 - ((-4)/(-14) + 36509/(-9100)). Let v = -24/91 - x. Is -1 equal to v?
False
Suppose 2*r + 72 = 452. Suppose -10*q - 480 - r = 0. Which is bigger: q or -203/3?
q
Suppose 0 = 11*y - 4*y - 21. Let i be (y/9)/(11/66). Is 2 >= i?
True
Let t be (2/(-4))/((-68)/20). Let h = 1204 - 1203. Which is smaller: h or t?
t
Suppose -11*p - 6 + 28 = 0. Suppose 6 = p*l - 4, -4*s + 2*l = -2. Are 3 and s unequal?
False
Let v = 5329 - 5328. Suppose -g = -103 + 36. Let w = g - 463/7. Is v bigger than w?
True
Let h(t) = t**3 - 18*t**2 + 16*t + 20. Suppose 2*d = -0*d + 34. Let l be h(d). Suppose 0 = u - 0*u - l. Which is greater: u or 11/5?
u
Let r(d) = 42*d + 1 + 3 - 62*d. Let h be r(5). Let s = h + 1054/11. Which is bigger: 0 or s?
0
Let r = -0.92 - 37.08. Let q = 101303878007/3014 - 33611107. Let v = 1/1507 - q. Is r at most as big as v?
True
Let s = 0.69 - 1.1. Let f = 2.59 - s. Let n = f - 3. Is n at least as big as 1/5?
False
Let o be (-10)/(-1100)*205 + 2/(-1). Let x = 0 + o. Is -1 bigger than x?
False
Let j = 4771 - -7148. Is j not equal to 11920?
True
Let p = -71 + 82. Let j be p/(484/3264) + 6/(-33). Which is smaller: 75 or j?
j
Let x = 161 + -103.5. Let k = x - 53. Is k >= 0?
True
Suppose -2*u - 26 = -34. Suppose 0 = u*i + 7 + 9. Let m be i + 10/(-2) + 3. Is m <= 0.2?
True
Let q be (-3355)/(-22) - 2/(-4). Let x be (q/(-12))/((-3)/8). Let n be -13 - (-1)/((-5)/(-230)). Is n at least as big as x?
False
Let r = 10511 - 10511.38. Which is greater: r or -54?
r
Let i = 25.33 + -7.89. Let v = i + -17. Let n = v + -0.03. Which is bigger: 1 or n?
1
Let p = -388 + 416. Suppose -p*z - 16745 = -4173. Which is smaller: z or -450?
-450
Let t(f) = -41*f**3 + 10*f - 8. Let p(z) = -7*z**3 - z**2 + z. Let m(o) = -6*p(o) + t(o). Let a be 2/8*2*-8. Let q be m(a). Is 29/4 greater than q?
False
Let m = -310.799 - -311. Let s = m - 1.201. Which is smaller: -1/18 or s?
s
Let u be (6/(-8) - 6/(-24))*6. Which is greater: u or -71?
u
Let p(j) be the third derivative of j**6/120 + j**5/10 - 5*j**4/24 - j**3/2 - 4*j**2. Let n be p(-3). Let c = n - 37. Is -2/27 != c?
True
Let n(k) = -33*k**2 - 5*k + 8. Let y be n(4). Let a be 266/(-30) - (-72)/y. Let j = 0.03 - 0.43. Is j <= a?
False
Suppose 4*o + 8 = -5*f - 10, -2*o = 4. Suppose 0 = -n - 5*c + 373, 1776 = 5*n + 2*c - 181. Let p = n - 4723/12. Which is greater: p or f?
p
Let p = -764.88 - -765. Let h = p + -0.02. Are 267 and h nonequal?
True
Let c(t) = -t**3 + 5*t**2 + 13*t - 2. Let i be c(7). Let j = -19 - -34. Let u be (-118)/j + 4/(-30). Is i greater than or equal to u?
False
Suppose 3*w + 7365 = -3*p, -2*w + 2453 = -3*w - 3*p. Is w at least -2454?
False
Let w = 2959 - 2695. Which is bigger: w or 0.7?
w
Let r be 8/(-12)*(634 - 49). Is -1561/4 >= r?
False
Let s be ((-531)/5)/(615/(-7175)). Is 1239 smaller than s?
False
Let i be (-62)/(-434) - ((2 - 2) + 0). Which is bigger: 4.4 or i?
4.4
Suppose 4*i = 4, 4*s = 2*s - 3*i + 7. Suppose 0*p + s*p - 3*v = 6, -4*v = -2*p + 2. Let f = 204 - 204.3. Which is smaller: f or p?
f
Let z = 0.4 + -0.3. Let p = 321 + -125. Let o = 195.98 - p. Is z < o?
False
Let u be 28 - 0 - (50/25 + -1). Which is greater: u or 250/9?
250/9
Let o = 1.1 - 1.021. Let r = o - 0.079. Is -127 bigger than r?
False
Let c = 2.383 + -2.383. Let r = 2 + -3. Let x be (r - 4)*(-4)/(-4). Which is smaller: c or x?
x
Let f = -650 + 1023. Suppose -966 - f = -13*q. Is q equal to -2/3?
False
Let p = -20 + 19.11. Let n = p - -0.93. Let v = 10 - 9. Which is smaller: n or v?
n
Let y = -48209 - -329701353/6839. Which is greater: y or 1?
1
Let s be (-12)/21 + ((-99880)/14)/(-11). Let d = s + -918. Do d and -269 have the same value?
False
Let c = 185 + -551/3. Let n = 64 + -65. Which is smaller: n or c?
n
Let p be ((-134)/6)/((-36)/2268*35). Is p less than or equal to 39?
False
Let n be ((-1088)/1617 - (-42)/693)/(2/(-3444)). Are 1053 and n equal?
False
Let b = -6 + 11/2. Let c = 489 + -514. Let v be ((-20)/c)/((-10)/175). Is b at least v?
True
Let g(m) = -m**3 - 17*m**2 - 64*m + 19. Let d be g(-6). Which is smaller: 360/53 or d?
360/53
Let b be (-2)/(1/((-15)/(-6))) - -309. Let u = b + -76. Is u < 229?
True
Let n = 1/3911 - 179923/66487. Let u = 148/51 + n. Which is greater: 0 or u?
u
Let k(b) = b**3 + 14*b**2 + 22*b - 15. Let m be k(-12). Suppose 252 + 423 = m*g. Is 76 at least as big as g?
True
Let y = 16/96440047 + -1529153566432/1092183532275. Let i be (-4)/3*159/150. Let v = y - i. Which is greater: v or -1?
v
Let f = -2.4368 - -2.37504. Is 0 smaller than f?
False
Suppose 5*h - 2*t - 2 = 0, -2*h + 1 = -3*t - 2. Let c be -2 - h - (-496)/264. Which is smaller: c or 1?
c
Suppose 2*v + 24*v = -104. Let i be 5/(-6) + v/(-8). Is 47 at most i?
False
Let v = 363 - -26. Which is smaller: v or -2/3?
-2/3
Suppose -4*a + 5*g = -408, 2*g = -0*a + 5*a - 493. Suppose -a + 89 = 4*b. Which is smaller: -19/10 or b?
b
Suppose 0 = -z - 2*l - 2*l - 333, 0 = -3*z - l - 1054. Which is smaller: z or -351?
z
Let c be (-4 - (-3745)/1340) + 40/32. Is -9 > c?
False
Let g = 1938558/54825869 - 4/88003. Which is greater: 1 or g?
1
Let b(w) = -2*w**3 + 11 + w**3 - 6 - 3*w**2 + 5*w. Let n be b(-4). Let k be (((-160)/12)/4)/(n/3). Which is greater: 0.2 or k?
0.2
Let c = 781 - 789. Let d(z) = z**3 + 10*z**2 + 14*z - 54. Let x be d(c). Is x less than -38?
False
Let t = -1383.448 + -2.552. Let c = -896 - t. Is 1 < c?
True
Let h = 7813 + -7821. Let l = -11 + 6. Is l > h?
True
Suppose 2*k = -4*a + 4 - 6, 0 = -4*k - 2*a + 8. Suppose -4*p - 6 = 2*u, -2*u - 10 = -0*u + k*p. Which is smaller: -26 or u?
-26
Let s(t) = -8*t - 17. Let p be s(8). Let l be 0 - (6 + -4)*p. Suppose l = -5*u - 283. Is -90 >= u?
False
Let g = 6441 + -6334. Which is greater: 56 or g?
g
Let g be -404*(-3*4 - (-21692)/1808). Which is smaller: 0 or g?
0
Let p be 934 - (99/21 + 8/28). Suppose -p*q + 38 = -927*q. Which is smaller: q or 5?
5
Let u = 1567 - 1572. Is -90/19 < u?
False
Let d = 25 + -21. Suppose -d*y + 5*y = -5*u - 22, 5*y + 22 = -3*u. Let v be u + (-9)/(45/(-20)). Which is smaller: v or 2/3?
v
Let i = -3.2 + 3. Let t = -2513.1 + 2511.1. Is i smaller than t?
False
Let m = -106439/10 - -10644. Which is smaller: m or 48/11?
m
Suppose -3*p = -2*x + 29, -x + 17*p - 38 = 5*p. Let u = -9 + 26. Which is smaller: x or u?
u
Suppose -5*g - y + 91 = 20, -2*g - y = -29. Let c be (2/4)/((5 - g)/18). Let q = -330/13 + 31033/1222. Which is greater: c or q?
q
Suppose 3*i + 405*d = 402*d - 9405, 2*i + 6264 = -3*d. Are -3140 and i unequal?
True
Let b = 13718 - 9653. Which is smaller: -0.2 or b?
-0.2
Let x be 220/40*(-152)/(-22). Which is bigger: 39 or x?
39
Let