6 = -5*y + 5. Let s(d) = -2*d - 2. Let j be s(y). Is j less than or equal to 2?
True
Let f = -538 - -534. Let s be -19*(0 - -2) - f. Is -32 at most s?
False
Let s be 2 + -1*4 + 30 + -33. Suppose -3*m + 0*t + 211 = -2*t, m - 73 = -2*t. Let b = m + -75. Is b at most s?
False
Suppose 0 = -4*b - 4*q + 465 + 383, 15 = 3*q. Let m = 206 - b. Is m at most 120?
True
Let o = 0.318 - 0.418. Let w = -2.05 + 2. Let l = -0.25 + w. Is o less than l?
False
Let s = 304 + -533. Let c = 237.2 + s. Is c at most as big as 1/3?
False
Suppose 18*s + 23*s - 41878 - 150371 = 0. Which is smaller: s or 4688?
4688
Let w = 1 - 1. Let f = w - 1. Let g = 39223/98 - 5603/14. Are f and g unequal?
True
Let f = 56 - -63. Suppose f - 86 = -3*k. Which is bigger: -12 or k?
k
Let r(z) = 240*z + 384. Let l(y) = 15*y + 24. Let p(q) = 33*l(q) - 2*r(q). Let t be p(-8). Let i be 4/t*1*(2 + 0). Which is bigger: 1 or i?
1
Suppose -106*s - 217*s = 232237. Which is greater: s or -5042/7?
s
Let c = 14616.03 + -14616. Which is bigger: 281 or c?
281
Suppose -6018 = -2*s + 2*c, -c + 11985 = 4*s - 61. Is 3011 at least as big as s?
True
Suppose -5*r - 615 = -5*q + 6*q, -q + 5*r = 575. Let t = q - -386. Which is greater: t or -210?
t
Let k = 367 - 258. Let l = k + -112. Which is greater: 28 or l?
28
Let k = -347.3 + 350.237. Let o = k - -0.063. Is -0.4 at most as big as o?
True
Let o = 8.7 - 7.32. Let p = 4.78 - o. Let d = p + 1.6. Do d and -1/4 have the same value?
False
Suppose 10*v = 3360 - 33340. Which is greater: v or -2997?
-2997
Let z(f) = 3*f**3 + f**2 - 3*f + 2. Let j be z(-2). Let o be (-24858)/(-14985)*(-188)/28. Let y = -8/1665 + o. Which is smaller: j or y?
j
Suppose 5*i = 4*p - 792, -i + 5*i + 627 = p. Let c be (-138)/(-23)*79/(-3). Is i at least as big as c?
True
Let i = 127 + -115. Suppose 6*q = 9*q - i. Suppose -4*r - q*a = -40, 2*r + 0*r + a = 19. Does 8 = r?
False
Suppose -1321 = -4*z + 1747. Is 767 less than z?
False
Let m = 523 - 522.19. Let v = m + -6.81. Is v not equal to -1?
True
Let l = -83 - -265. Let h = 177 - l. Which is greater: -6 or h?
h
Suppose -5*d = -3*t - 19452, 4*t + 4162 - 275 = d. Do d and 3891 have the same value?
True
Let u be (25 - 30)/((-1)/35). Is 171 not equal to u?
True
Let d(n) = n**3 - 2*n**2 + 4*n - 3. Let b be d(0). Let i be ((-81)/18 - b)*68/(-6). Which is bigger: i or 3?
i
Let g = 7690 + -7690. Is g >= 20/533?
False
Let k be 3 - 38/14 - 1188/42. Let s be 139/14 + k/(-392). Is s less than 54/5?
True
Let q be (-18)/20 + 363/(-605) - 4/(-1). Let l be (0 - -1)/3*2. Is l not equal to q?
True
Let x = 69 + -69. Let s(g) = -12*g**2 - 5*g**3 + 14 + 7*g + x*g**3 - 2*g + 4*g**3. Let q be s(-12). Which is smaller: -47 or q?
-47
Let x = 1870 - 2398. Which is smaller: x or -1?
x
Let o = -8712 + 8633. Let m = -2.01 - -0.01. Which is bigger: o or m?
m
Suppose -5*t + 0 = -5. Let h(r) = r - 2. Let o(j) = -3*j + 3. Let u(c) = -5*h(c) - 2*o(c). Let d be u(-2). Which is greater: d or t?
d
Let m = 3468.9656 + -3474. Let q = m + 0.0344. Let y = -0.1 - -0.4. Which is smaller: y or q?
q
Let u = 198/205 - 8577/6970. Suppose 3*t - 4 = 4*f + 4, 0 = t - 4. Which is greater: u or f?
f
Let b = -627 + 626.783. Let n = b - 14.783. Is n greater than 23?
False
Let y = 7895 + -7781. Is y bigger than 89?
True
Let a = -3752 + 7811. Is 4059 greater than or equal to a?
True
Let m = -1.878 + -5.17. Let x = 7 + m. Which is smaller: -1 or x?
-1
Suppose 0 = 2*m + 158*m - 160. Is m <= 60/91?
False
Let c = -3511 + 3802. Is 1454/5 >= c?
False
Let p be (2/4)/(5/(-10)). Let f be (392/686)/(((-6)/(-11))/(-2)). Which is bigger: f or p?
p
Suppose -5*p + 2 = -3*p. Suppose 4*d = -p + 77. Suppose 27*t - 26*t + s = 15, 0 = -3*t - s + 55. Is d greater than t?
False
Let u(f) be the third derivative of f**5/60 - f**4/4 + 10*f**3/3 + 252*f**2. Let z be (96/(-56))/(4/(-14)). Let l be u(z). Is l smaller than 21?
True
Let y be 1/((-33)/(-6) - 2 - 3). Suppose 0*a + 3*a + 10 = 2*z, 4*z = -y*a + 4. Which is smaller: 16/23 or z?
16/23
Let m be 10/4*8/30 - 248/402. Which is bigger: m or -1?
m
Let x = 4 + 9. Let a = 384630 + -384619. Is a greater than x?
False
Let p = -29151/2 - -39966025/2742. Is p at most as big as 1?
True
Let m(k) = k**2 + 2*k + 10. Let a be m(7). Suppose 0 = 2*l - 2*j + 4, 7*j = 11*l + 3*j + 15. Let u be ((-30)/90)/((-217)/216 - l). Which is bigger: a or u?
a
Let i = -0.00162 + 0.05962. Let s be 32/(-14) + 2/1. Is i < s?
False
Let x(l) = 7*l + 1. Let c be x(2). Let b = 5383 + -8649. Let d be (-2)/(-9) + b/(-207). Is c bigger than d?
False
Let b = -26 - -180/7. Let c = 3/7 - b. Suppose -7*s = -2*s. Is s at least c?
False
Let p = -172 + 174. Suppose -6*g - 91 = -p*k - g, -120 = -3*k + 2*g. Suppose 4*t - 95 - 61 = 0. Is k > t?
False
Suppose -4*b = -9*b - 50. Let g be 6/b - (-1412)/20. Let a = -212/3 + g. Which is greater: 7 or a?
7
Suppose 10*v + 356 = -18*v + 104. Is -3/13 smaller than v?
False
Suppose 0 = -5*n - o + 17, -4*n - 4*o = -1 - 3. Let i be (n - (-1 + 6))*47. Let z = -46 - i. Is z <= 0.1?
False
Let k = -2243.584 - -2243. Let c = 28 + -27.43. Let t = k + c. Is t <= 1?
True
Suppose 1058493 + 868841 = 196*u + 759370. Which is smaller: 5960 or u?
u
Let m = 28 + -8. Let y = m + 9. Let i = 29 - y. Does -11 = i?
False
Suppose 7 = 16*j + 343. Let w be (20/590)/(48/j - -2). Which is greater: 1 or w?
1
Let v = -295 - -240.5. Let f = v - -55. Which is smaller: f or -2?
-2
Let w(p) be the third derivative of -4*p**4/3 - 119*p**3/6 - 8*p**2 + 4*p. Let v be w(-4). Is v smaller than 2?
False
Let h = -71808/79 - -909. Let w = h + -249/316. Which is bigger: -128 or w?
w
Suppose a = -2 + 9. Let g be (65/20 + -3)*1276/51. Let l = 4/51 + g. Which is smaller: l or a?
l
Let n be 3/((-15)/(-55)) - (-1 - 5). Is 87/5 less than n?
False
Let t = 2409 - -1045. Which is smaller: 6909/2 or t?
t
Let p = -6 - -72. Suppose -p = z - 5*z - 2*y, -2*z + 5*y = -3. Suppose 0 = 3*t - 5*t + z. Is t smaller than 8?
True
Suppose p + 1855 = -4*t, -803 - 127 = 2*t - 2*p. Let m = 4 - t. Suppose -14*f - m = -20*f. Is 79 not equal to f?
True
Let a(x) = -2*x**2 + 24*x - 12. Let l be a(11). Let k(b) = -b. Let j be k(-3). Let q be -9*(-4)/6 + j. Which is bigger: q or l?
l
Let j(l) = -363*l - 12. Let n be j(-4). Let p = -18760/13 + n. Let b = p - -145/26. Is 3 smaller than b?
False
Let u = -189838 - -1706747/9. Let j = 199 + u. Which is bigger: -0.09 or j?
-0.09
Let n be (-2)/3*(1 + (-77)/14). Let p be (-125)/15*n + 3. Is p < -22?
False
Let v = -206 - -155. Let s = -56 - v. Which is bigger: -2 or s?
-2
Let l be ((-2)/4)/(-15 - 627/(-38)). Which is smaller: l or 13282?
l
Suppose -2292*y - 10 = -2297*y. Let m = 4.1 - 4.4. Which is smaller: y or m?
m
Let s = -90 - -47. Let d = -1 - -43. Let a = s + d. Which is bigger: -2/3 or a?
-2/3
Let u(j) = 3*j - 36. Let n be u(-9). Let g be (2/(-21) + (-6)/n)/2. Are -36/35 and g unequal?
True
Let k = 0.0421 - 66.4421. Let o = 13.4 + k. Let c = -64 - o. Which is greater: c or 2/5?
2/5
Let s be (-10)/5 + 43011/27. Which is greater: 1592 or s?
1592
Suppose 5*s - k = -34988, -25*s - 6972 = -24*s + 3*k. Which is greater: -6997 or s?
s
Suppose 97 = -8*x + 25. Let r(m) be the first derivative of m**4/4 + 7*m**3/3 + 7*m**2/2 - m - 7. Let o be r(-6). Is o smaller than x?
False
Suppose -5*r = 4*a - 4, 0 = -4*r - a - 0 + 12. Suppose 4*j - 12 = r. Suppose -j*y + u = 9, -2*y + y + 4*u - 21 = 0. Is -4/19 greater than y?
True
Let p = 3276 - 3277. Which is bigger: -2/747 or p?
-2/747
Let t = -13080 - -13080. Which is smaller: -2/11319 or t?
-2/11319
Let i(h) = -966*h - 24. Let g be i(3). Let l = -20294/7 - g. Is 23 less than or equal to l?
False
Let p be 4 + (-30)/(-5) + (-401928)/40188. Is 1 less than p?
False
Let q = -239 - -1903/8. Suppose 22 + 8 = -5*r - 5*g, 0 = 4*r + g + 9. Let z be 476/(-221) - (-4)/(-26)*r. Is z < q?
True
Suppose 17 = m - 2*m. Let g(v) = -11*v - 12. Let t be g(4). Let h be (-938)/t*1/2*-2. Is m smaller than h?
True
Let i be 21/(-66) - 15/(-30)*1. Which is greater: i or 2754?
2754
Let i = -237/460 - -7/460. Which is greater: 873 or i?
873
Let w = -0.73 + 0.71. Let o = w + -0.08. Suppose 304 = -2*x - 2*x. Which is smaller: o or x?
x
Let f(h) = -29*h + 16. Let a be f(9). Let l be 140/a - (-512)/210. Is 1 > l?
False
Let p = -2.39 + -1.91. Is p less than or equal to 1/5?
True
Let b = 5076.2 - 