085/54. Let f = t + -135. Suppose 18*k = -3*i + 14*k - 23, 4*i - k = 1. Is i smaller than f?
True
Let h = 1107.6 - 1108. Let v = 3.5 + -2. Which is smaller: v or h?
h
Let q(f) = -153*f - 1025. Let j be q(-6). Is -107 at most j?
True
Suppose 836 = 2*y - 4*r - 100, 4*y - 1768 = -5*r. Which is greater: 457 or y?
457
Let x be 160/20 - 2294/289. Let m = -3761/65025 + x. Which is greater: 0 or m?
m
Let w(d) = -49*d. Let k be w(-5). Let o = 18872 - 18628. Is k < o?
False
Suppose -44*t + 45*t = 12. Suppose 4 + t = 16*v. Is v > 0?
True
Let a = -0.02 - 0.01. Let s be (68/(-476))/((-9)/(-21)). Which is smaller: s or a?
s
Let x = 232.21 - 232.15. Is x <= 25.5?
True
Suppose 3*r = 5*y + 162, 5*r + 137 = -3*y - y. Let f = -19385 + 19352. Is f greater than y?
False
Let i be 3598/18440 - (2/(-25))/((-240)/600). Which is bigger: i or -1?
i
Let q(a) = -114*a**3 + a**2 - 73*a + 283. Let d be q(4). Is -7289 > d?
False
Let n = 6 + -12. Let u = -8 - n. Let j = -283 - -277. Which is smaller: j or u?
j
Suppose 456 = -9*l - 237. Let f = l + 78. Let q be f/(-2)*(-22)/22. Which is smaller: q or 2/7?
2/7
Let x(y) = y**2 + 2*y - 9. Let f = -202 + 198. Let l be x(f). Which is greater: -8/5 or l?
l
Let c be (-164)/4*(-3)/(-9)*(-4 - 2). Is 87 >= c?
True
Let u = -224 - -228. Let s = -1126.92 + 1127. Which is smaller: u or s?
s
Let t = -7927 - -9334. Are t and 1408 nonequal?
True
Let u = -677821/35 - -97923/5. Let o = u + -218. Is 0.5 at most o?
False
Suppose 21*x = 17*x - 348. Let j be (4/8)/(x/84). Which is smaller: 0 or j?
j
Suppose -36*d + 6*d - 690 = 0. Suppose -5*h = -r + 5, -3*r - 1 = h - 0. Suppose -4*p + 9*p + 115 = r. Are p and d non-equal?
False
Let a = -11457310/541 - -21178. Which is greater: 1 or a?
1
Suppose -1134 + 420 = -7*h. Is 2 greater than or equal to h?
False
Let n(v) = 11*v - 9. Let f be n(16). Let s be -84*(0 - -1)*-2. Which is smaller: s or f?
f
Suppose 2*p + 0*z = -2*z + 4, -5 = -3*p - 2*z. Let o be ((-6 - -2) + 5)*-16. Let t = o + 17. Is t != p?
False
Let p(o) = -26*o**2 + 306*o - 975. Let y be p(37). Is -25246 at most as big as y?
False
Let p(y) = -y**3 - 17*y**2 - 15*y + 21. Let m(o) = -4*o - 16. Let w be m(0). Let k be p(w). Suppose 53 + 43 = -3*a + 3*i, k*i = -a - 38. Is a equal to -32?
False
Let u be ((-19)/(-3) - -1)*(-195)/(-130). Suppose r - 16*c - u = -13*c, 3*c + 10 = 2*r. Which is bigger: r or -12?
r
Suppose 6*n = n - 285. Let x = 66 + n. Let o = 7/8 - 73/56. Which is smaller: o or x?
o
Let u(d) = -1946*d - 883. Let s be u(-1). Is 6377/6 less than or equal to s?
True
Let o = -57.56 + 57.06. Do -0.1476 and o have the same value?
False
Let f(w) = w**3 + 2*w**2 - 5*w - 6. Let r be f(-3). Let x(c) = c**3 + c**2 - 6*c + 50. Let o be x(r). Which is smaller: 51 or o?
o
Let w = 1378/5 - 5557/20. Which is smaller: w or -10/23?
w
Suppose 4859 = -231*f + 118*f. Which is smaller: 6/17 or f?
f
Suppose 0*n - 36 = 2*n - 3*f, 4*n + f + 72 = 0. Let t be (7/((-21)/n))/(-2). Suppose 64 = -17*u + 13. Are t and u equal?
True
Suppose -2*h + 0 = 60. Let j(q) = -34*q - 158. Let g be j(-17). Suppose 0 = -16*r + 2*r - g. Is r at least h?
True
Let r = -1664.1 - -1664. Is r equal to -0.127?
False
Let v(d) = 13*d**3 - 29*d**2 - 28*d + 125. Let f be v(6). Which is greater: 1720 or f?
f
Let c be 1348/(-20) + 12/5. Are c and -64 non-equal?
True
Suppose -5*q - 35*q = -42*q. Which is smaller: -3/917 or q?
-3/917
Let j be 1/((-4)/(-60)*(1 - 2)). Let z be j/70 - (-1)/(-6). Let b be ((-4)/(36/(-3)))/((-2)/(-6)). Is z > b?
False
Let g = 4767 + -4753. Which is smaller: g or 7.2?
7.2
Let x = -182 - -183.4. Let v = x + -1.3. Which is greater: v or -3.1?
v
Let k = -229 + -105. Which is bigger: 6 or k?
6
Suppose 0 = -3*w + 49 + 53. Suppose 40*h + 3*j - 151 = 35*h, 4*h = j + 114. Which is smaller: h or w?
h
Let l = -5 + -10. Suppose 0 = 5*y + 2*o - 2101, 5*y - 2*o = 2748 - 639. Let s = y - 434. Which is smaller: s or l?
l
Let y = -7.69 + 1.39. Let z = y + 4.3. Suppose 5*v - 2*v - 9 = 0. Which is smaller: v or z?
z
Let c(h) = -h**3 - 4*h**2 + 28*h - 19. Let w be c(3). Do w and 54/31 have the same value?
False
Let p be 174/(-435)*(-15)/(-93). Let q(v) = -v**2 - 2*v. Let d be q(-2). Suppose -y - y = d. Is y less than or equal to p?
False
Suppose 6*c + 10*c = 1632. Is 129 greater than or equal to c?
True
Let v be (-204)/(-6) - (3 - -6). Suppose -p = -0*p + 1. Which is greater: v or p?
v
Suppose 2*k + 164 = -2*g, -8*g - 15 - 17 = 0. Which is smaller: -96 or k?
-96
Let p(i) = -11*i**2 + 298*i + 20. Let q be p(-6). Which is smaller: q or -2162?
q
Let k = -339/160 - 9/32. Suppose -13*r = 42 - 3. Which is greater: r or k?
k
Let u(t) = 3*t**2 - 2*t - 2. Let m be u(5). Let d(v) = -v**3 - 21*v**2 - 105*v + 28. Let j be d(-9). Let r be 3*j/m*3. Which is smaller: r or 0?
0
Suppose -2*x = 3*b + 13, x - b = 6 - 0. Let j be (-1 + x)/(-5) + 330. Suppose 16*a = a - j. Which is greater: -2/7 or a?
-2/7
Let r = -25 - -79. Let m = -77 + r. Let k = 25 + m. Are -1.3 and k non-equal?
True
Let h = 24.9 + -18.52. Let z = h + 0.62. Does -4 = z?
False
Let a(j) be the third derivative of j**4/6 - 15*j**3/2 + 6*j**2. Let g be a(12). Is g < 7?
True
Let x = -9.01207 - -0.01207. Are x and 80 nonequal?
True
Let m = -512.6 + 490.23. Let j = 4.37 + m. Is -1/3 not equal to j?
True
Let f be (2/1)/((-16)/1976*-19). Let l be ((-10)/(-6))/(4/(-12)). Let a = -6 - l. Is f <= a?
False
Let l(j) = 17*j - 20. Let z be l(1). Let x be (-5*8/17040)/(z/(-24)). Which is smaller: x or 0?
x
Let l(a) = a**3 - 9*a**2 + 7*a + 7. Let o be l(8). Let x = -4 - o. Let d = -5 + x. Is -7 less than d?
False
Let h be 4*1*(1080/(-75))/(-6). Which is bigger: 11 or h?
11
Let v = 1800 + -1813. Which is smaller: -99 or v?
-99
Let z = 62 + -73. Let y = 55 - 94. Which is bigger: z or y?
z
Let g(f) = f - 1. Let v be g(5). Suppose 0*w - w = v*u - 22, -5*u + 36 = -3*w. Let t be 2 - (1 - (u + -2 - -1)). Is 6 > t?
False
Let h be ((-211)/6541)/(-625 - (-2)/1). Which is bigger: 0 or h?
h
Let k be 2705/(-20) - (-21)/84. Which is smaller: k or -127?
k
Let q(u) = 2*u**3 - 6*u**2 + 4*u + 7. Let m be q(3). Let k(l) = -l + 19. Let t be k(m). Which is greater: 3/119 or t?
3/119
Let i = -3 + -3. Let b be (15/(-2))/(3/i). Let w be (-210)/b*1*-2. Does 28 = w?
True
Let o(t) = -9*t**2 + 57*t + 29. Let h be o(8). Which is bigger: -110 or h?
h
Let p be (0 - 3/1)*(-51)/(-17). Let u be ((-78)/p)/(10/(-39)). Which is smaller: u or -35?
-35
Let r = 1878 + -3755/2. Is r smaller than 156?
True
Let p be (-6 - (-14 + 4))*25/(-2). Let u be 1/(((-20)/4)/p). Is 10 > u?
False
Suppose -4*s = -5*n + 10 - 0, 5*n = 3*s + 5. Let o be (-3)/n - (645/(-10) - 2). Suppose -k - k = -o. Are 34 and k equal?
True
Let f be (-6)/4*304/10488. Is f greater than 1?
False
Let g be ((-1)/(-2))/((-25)/(-1800)). Suppose -2*x - 5*u + 27 = 0, 2*x - 5*u + g = 13. Suppose x = -3*h - 44. Is h equal to -16?
False
Let q = 28 - 18. Suppose 3*w = -q + 7. Let t be (w/4*-4)/(-1). Is -2/7 less than or equal to t?
False
Let f = -343 + 3645. Let c be (-4)/(-7) + f/(-4823). Let x = 244/1219 + c. Is 0 greater than x?
False
Let h be 27/(-54)*(4 + (1 - 3)). Is h equal to -28/89?
False
Let u(j) be the first derivative of j**3/3 - 3*j**2 - 5*j + 6. Let t be u(7). Let z be -3*10/(-75) - t/20. Which is smaller: -1 or z?
-1
Let o = 3 + -35. Let a = o - 22. Let l = 67 + a. Which is greater: 2/7 or l?
l
Let u = 6707 + -6711. Let y = -0.64 - -0.14. Which is smaller: u or y?
u
Let d = 16063 - 16063. Which is bigger: d or -1410.8?
d
Let b be 4 + -3 - (-88)/5. Let f = b - 649/35. Let r be 18/(-54) - (-16)/12. Which is bigger: f or r?
r
Let w be 2/(-2 + (-90)/(-46)). Let j = 543 - 547. Let s be ((-30)/j)/(((-350)/(-60))/(-35)). Is s < w?
False
Let a = -1708651/762 - -407973646/91059. Let h = a + -2238. Is h at most 0?
True
Let b be ((-2)/94)/(492/328). Which is smaller: b or 4/59?
b
Suppose 1 - 19 = -2*j. Let x = j - 16. Let z(t) = 10*t + 2. Let f be z(-1). Which is bigger: f or x?
x
Let i(k) be the third derivative of k**6/120 + 7*k**5/30 - 5*k**4/8 + 16*k**3/3 + 3*k**2. Let o be i(-15). Suppose -7*w = w + o. Are -6 and w equal?
False
Let x be (-17)/((-119)/42) + (2 - 3) - -1420. Does x = 1424?
False
Suppose 0 = -3*z + 61 - 292. Suppose 500 = -5*i + 120. Is i greater than z?
True
Let q(i) = -28*i - 195. Let r be q(-7). Which is smalle