0 = -1107*t + 1119*t - 57996. Is t >= 4832?
True
Let m(u) = 87*u + 2287. Let d be m(-25). Is 77 smaller than d?
True
Let f be ((-12)/5)/(26/(-65)). Let m be 9/f - 714/28. Is -24 < m?
False
Let l = -6.7 - 71.3. Let u = -78.2613 - -0.0613. Let r = l - u. Is r != 1/2?
True
Let j(q) = 3*q - 58. Let x be j(21). Suppose 5*p + 58 = -k, 0 = -p + x. Which is bigger: k or 1/2?
1/2
Let i = 185 + -184.802. Let o = -0.368 + i. Is o < 2/11?
True
Let m = 62355/4 - 15588. Is 1/35 <= m?
True
Let d = -2.302 - -0.002. Let g = -2.13 - d. Suppose -2*p + 4 = 8 - 0. Which is smaller: g or p?
p
Let o = -3.75 - -0.68. Let r = o + 0.07. Let t = 5991 - 5993. Is t at least r?
True
Let w be (-22)/(-7) - ((-12)/21)/(-4). Suppose 15 = -2*q - 5*l, -3*q - w*l + 6*l + 9 = 0. Suppose -c - 1 + 2 = q. Is c < 15/11?
True
Let n = 405/3377 + 19/307. Is n greater than 43.6?
False
Let i be (8/18)/(5/(-345)). Suppose -2*c + 2*z - 65 = -9, -2*z + 116 = -4*c. Let n = c - i. Which is smaller: -2/5 or n?
-2/5
Suppose -5*m = u - 26, u - 50 = -5*m + 6*u. Suppose -12*y = 19 - 67. Let h be (-2)/4*(m - y)*-1. Is h > -2/41?
True
Let r(u) = -u**3 + 76*u**2 - 8*u - 100. Let w be r(76). Is w greater than -707?
False
Suppose -31*f = -33*f + 2. Let v be f/(5/(-2)*34/85). Let b be ((-4)/3)/((-66)/(-81)). Which is smaller: b or v?
b
Let p = -118 + 112. Let u be (-1)/p*-188 - 3. Let v = u + 34. Which is smaller: v or -2/63?
v
Let g be ((-10)/(-4626))/((7 + (-385)/66)/35). Which is smaller: g or 1?
g
Let x(k) = -k**3 + 9*k**2 - 8*k - 17. Let d = -139 - -145. Let q be x(d). Is 85/2 at least as big as q?
False
Let d be ((-38)/(-19))/(1 + -3). Is d bigger than -1/1224?
False
Let r = 6926 - 2811975/406. Is -1 smaller than r?
True
Let p = 446700/83 - 5382. Suppose -c + 13 = -3*k, 34*c = 37*c + 2*k + 5. Is c greater than or equal to p?
True
Suppose 27*p - 4*p = -345. Suppose 18*j - 16*j = 6. Suppose -j*s - 38 = 3*l + 16, -3*l - 56 = 5*s. Is p greater than l?
True
Suppose -3*u - 5*j = -u - 3, -5*u + 5*j = 45. Let a(m) = -m**3 - 6*m**2 - m + 3. Let f be a(u). Suppose -478*x - 192 - 1188 = -616*x. Is x at most f?
False
Suppose -294*c + 150*c = -173*c + 302238. Are c and 10423 non-equal?
True
Let l be ((-102)/(-95))/((-235)/(-50) + -8). Let t = -32315/97394 - l. Which is greater: -1 or t?
t
Let j = 260 - 315. Let v = -45 - j. Which is bigger: v or 11?
11
Let m = -119 - -123. Let y(c) = 20*c + 6. Let b be y(m). Let l = 73 - b. Which is bigger: l or -12?
-12
Suppose -14*r = 558 + 184. Is r less than or equal to -49?
True
Let a(d) = -13*d**3 - 4*d**2 + d + 4. Let i(g) = g**2 - 1. Let s(l) = -a(l) - 5*i(l). Let n be s(1). Suppose -255 = n*z + 381. Is -103/2 equal to z?
False
Let p(v) = -113*v + 1620. Let u be p(8). Is u smaller than 1/12?
False
Let j be (-8788)/(-24) + (-1 - (-5)/6). Let n be 8/42*427/j. Which is smaller: -1/12 or n?
-1/12
Let r be (44/(-770))/((-28)/6321). Is r greater than or equal to 13?
False
Let x(t) = 4*t + 56. Let w be x(-14). Suppose 24*q - 6*q = w. Is -100 < q?
True
Let o(g) = 4*g + 100. Let w be o(-42). Let t(k) = 14*k - 11. Let d be t(-4). Which is bigger: d or w?
d
Let h(f) = -f**3 + 9*f**2 - 9*f - 44. Let p be h(5). Is 5 at most p?
True
Let t = 63 - 69. Let w be (-3)/(-6)*6 + (-4 - t). Let j = -582 - -1763/3. Is j at least w?
True
Suppose 865 = -1243*s + 1248*s. Which is smaller: s or 168?
168
Let y(t) = -t**3 + 13*t**2 + 118*t - 76. Let x be y(19). Is 148/161 bigger than x?
True
Let d(o) = o**3 - 9*o**2 - 20*o - 20. Let y be d(11). Suppose -15 = -m - 4*s - y, -7 = 5*m + 2*s. Which is smaller: 7/9 or m?
m
Let y = -4395 - -4394.6. Are y and 12.1 equal?
False
Let s = -246.885 - -247.085. Let a = 469 - 92. Which is greater: s or a?
a
Let l(z) = z**3 + 17*z**2 + 35*z + 18. Let h be l(-12). Let t = h + -319. Let f be (-49)/(-23) - (-1 - -3). Is t less than f?
True
Let f = -2784 - -97436/35. Let x = 8 + -8. Which is greater: f or x?
x
Let x = -663/14 - -328/7. Let f = -46 + 16. Let q = f - -60. Is q equal to x?
False
Let v = -7709 + 7736.984. Let s = v + -28. Let y be 10/14 + 4/14. Is y at least s?
True
Let j = -209149/972 - 140/243. Is -216 bigger than j?
False
Suppose -2*g = 3*i - 197, -2*g - 5*i + 0*i + 207 = 0. Let j = 116 + -620/3. Let w = g + j. Is w equal to 3?
False
Let n(w) = 4*w**2 + 219*w - 489. Let p be n(-57). Are -0.252 and p nonequal?
True
Let b be 0 - ((-1295)/60 - 1). Let z = -85/4 + b. Which is greater: z or 2?
2
Let s = 300 + -234. Let d be 1 + -17 + s + -71. Is d less than or equal to -22?
False
Let p = 4477 - 3182. Let f be (4/10)/(p/(-25)). Is f greater than or equal to 1?
False
Let f = 719 + -4572. Does f = -3854?
False
Suppose -4*p - 4*x - 5463 - 817 = 0, 0 = 2*p + x + 3144. Is -1574 at most p?
True
Let r be ((-148)/(-26))/((-3)/6 - 21/14). Is -2 <= r?
False
Let h = 3 + -3.05. Let j = 4420 + -4426. Which is bigger: j or h?
h
Let h(p) be the first derivative of p**3/3 + 6*p**2 - 17*p - 3. Let f = -194 - -181. Let n be h(f). Which is smaller: -15/4 or n?
n
Let g(o) = -o**2 - 132*o - 3029. Let a be g(-30). Let k(p) = 2*p**2 + 4*p + 1. Let m be k(-5). Is a less than m?
False
Let p be 1/((-9)/(-18 + 9)). Let g be (2/p + -103)/(22/(-44)). Which is greater: 203 or g?
203
Let c = 34 - 21. Suppose -4*l + 4*x + 261 - c = 0, -l + 78 = 3*x. Let y = l + -200/3. Is y at least as big as -10?
True
Let q(o) = 39*o. Let c be q(-3). Let i = -117 - c. Is i > 4/7?
False
Let f = 52352 - 116692610/2229. Suppose q - 20 = -4*w, -4*q - 5*w + 0*w + 25 = 0. Which is greater: f or q?
q
Let n = 0.39 - 0.13. Let o = 0.26 - n. Let g be 45/(-35)*(-2)/3. Which is smaller: o or g?
o
Let s = -79.9 - 270.1. Let z = s - -350.191. Let d = z - -0.009. Is d equal to -22?
False
Let o = -453 - -484. Suppose -o*k = -28*k - 51. Is 17 at least as big as k?
True
Let r = -10286 + 246761/24. Which is bigger: -5 or r?
r
Suppose -q - 19 + 5 = 0. Suppose 45*t - 44*t = -5. Let h(g) = -2*g**2 - 5*g + 15. Let a be h(t). Does a = q?
False
Let v be 3/(15657/1956 + -8). Which is smaller: v or 647?
647
Suppose -80 = 20*a - 0*a. Let h be 6/a - (-6 - (-66)/12). Which is bigger: 0.7 or h?
0.7
Suppose -5*m = 3*d + 3947 + 1561, -4*d - 7344 = 2*m. Are d and -1836 non-equal?
False
Let x = -5.56 + 3.56. Which is smaller: -1064 or x?
-1064
Let m(z) = -108*z - 2 - 113*z + 227*z. Let v be m(1). Suppose 7*b + 11 = 10*b + i, 14 = v*b + i. Is b bigger than 3?
False
Suppose 0 = 366*q - 367*q - 41. Suppose j + 2*a + 48 = 4*a, 4*a - 12 = 0. Is j <= q?
True
Let c be 2 - -3 - ((-823 - -9) + 20). Is c at most 800?
True
Let s = -6322/3 + 2109. Is -258 less than or equal to s?
True
Let a = -1.4 - -0.6. Let w = a - -0.4. Let l = 3.93 + -4.13. Which is bigger: l or w?
l
Let y(f) = f**3 - 29*f**2 - 61*f - 43. Let v be y(31). Let k(o) = o**3 + 11*o**2 - 14*o + 6. Let h be k(v). Is h at most as big as 32?
True
Let i(m) = -186*m**3 + 2*m**2 + 4*m - 4. Let k be i(1). Let t be 276/k*1/6. Let p(j) = -36*j**2 + j - 1. Let x be p(1). Is t bigger than x?
True
Let a be 34/119 + (60285/(-18305) - -3). Which is smaller: a or -1?
-1
Let g be (-1)/(126/(-2928)*-26). Let y = g - -7/39. Which is greater: y or -2?
y
Let d = 106441 + -11602059/109. Let s = 0 - 1. Do d and s have the same value?
False
Let l = 37.533 + -38. Let h = 0.467 + l. Is h greater than -176?
True
Let d be -1*5*(-8)/198720. Let i = -15217/1554984 + d. Which is greater: 0 or i?
0
Suppose i + 32 = -7. Let c be 1*(-1)/(-3) - (-52)/i. Let b = -40/21 - -962/483. Which is greater: c or b?
b
Let t = -272 - -280. Suppose 0 = 7*n - 11*n + t, -216 = -5*j - 3*n. Suppose 13 = -5*u + 223. Is u less than or equal to j?
True
Suppose 20*d = 23*d + 393. Let q = d + 103. Is -23 at least q?
True
Let h(m) = m**2 - 8*m - 6. Let u be h(9). Suppose 0*t + 47 = -2*j - u*t, 5 = -5*t. Let p = j - -21. Which is smaller: p or -1/39?
p
Let f(r) = -r**3 + 11*r**2 + 31*r - 15. Let o be f(13). Let a = o - 40. Is a greater than or equal to 11?
False
Let l = -1275.9 - -1665.9. Which is bigger: l or -0.03?
l
Suppose -2267 = 25*s - 2242. Which is smaller: s or -21837?
-21837
Let x be (-35)/(-21) + 16/(-6). Is -26/191 at least x?
True
Let j be (-1 - (-60)/18)*3. Suppose -6*b - j*b = 4*b. Which is greater: -3/92 or b?
b
Let l = 230 + -231. Let m be ((-1)/(-4551))/((-5)/45685) - -2. Let o = m + -2/1517. Is o smaller than l?
False
Let