Let a(c) = -5*c**3 - 13*c**2 - 22*c - 4. Let h be a(-8). Suppose 4*y - 5*j + j + h = 0, -j - 483 = y. Is -478 greater than or equal to y?
True
Let p = 368 - -21. Let t = -386 + p. Let n = 0.1 + -0.3. Which is bigger: n or t?
t
Let n = -101 + 100.87. Let y = 0.0795 + -8.0795. Which is bigger: y or n?
n
Let n = 19 - 46.2. Let l = -26.2 - n. Is -11 at least as big as l?
False
Suppose -749885 = -113*n + 273556. Which is greater: n or 9058?
9058
Let n(q) = -q**3 + 30*q**2 - 126*q + 90. Let r be n(25). Suppose 5*c = -3*t - 681, 5*c - 2*t + t = -693. Let z = c + 204. Is z not equal to r?
True
Let h = 495440 + -11147895438/22501. Which is bigger: h or -1?
h
Let r(w) = 21*w**2 - 16*w - 9. Let u be r(-4). Suppose 0 = 19*x - 1189 + u. Are 41 and x equal?
False
Let y(i) = -108*i + 116. Let p be y(-7). Let b = p + -564. Which is smaller: b or 309?
b
Let h = -2207358/235 - -9393. Which is smaller: h or 0?
h
Suppose 2*m - 4 = -27*y + 24*y, -m = -4*y + 9. Suppose 4*h = p + 2*h - 10, y*p = -3*h + 27. Which is smaller: p or 13?
p
Suppose -8*k - 21*k + 118379 = 14*k. Do k and 2754 have different values?
True
Suppose -4*r = -260 - 676. Suppose 6*a - r = 342. Let i be 2/(-12) + (-688)/a. Is i smaller than -6?
True
Let c be (-3)/((-3)/(-1)) + 2. Let z be (-15)/(-9)*(-2 - c). Let y = 12068 + -12075. Are y and z equal?
False
Suppose -1 = 2*k - 3. Let f be (180/(-27))/(k/24). Let t be ((-8)/5)/(8/f). Is 32 smaller than t?
False
Let z = 288 - 286. Suppose 0 = z*j - k + 17, -5*j - 43 = -0*k - 2*k. Is j greater than -42/5?
False
Suppose -104*r = -115*r - 616. Is r != -20?
True
Let o = 13259/560 + -166/7. Let y be 1/3 - (8/(-3) - -4). Do o and y have the same value?
False
Let p = 937 + -1169. Are -238 and p equal?
False
Let t be (-15)/((-2400)/620) + ((-51)/(-24) - 2). Let w(o) be the third derivative of -o**4/24 + 5*o**3/6 - 2*o**2. Let z be w(5). Which is smaller: z or t?
z
Let s(q) = 46*q**3 + q**2 - 6*q + 6. Suppose 4*f = 2*v + 2, -5*f = v + 2*v - 8. Let b be s(v). Which is smaller: b or 46?
46
Let i = 0.27 - -0.13. Suppose -t + 20 = 3*x, -3*x - 3*t + 8 = -4. Let r be (-5)/(-6)*x/70. Is r smaller than i?
True
Suppose 62*w = 59*w. Is -2/11229 greater than or equal to w?
False
Suppose 11 = -5*c - 49. Let j(x) = -6*x - 25. Let v be j(-17). Suppose 22*g - 29*g = v. Is c smaller than g?
True
Suppose -24 + 4 = -5*c. Let g be (18/c)/((-27)/5796). Let x be -167*(-2)/g - (-2)/6. Which is smaller: x or 0?
x
Let h(v) = v**3 - 9*v**2 - 9*v - 9. Let u be h(10). Let b be (1 + u)*-169*1*1. Let f = b - -2362/7. Is -1 smaller than f?
True
Let k = -6.618 - -362.618. Let o = 0.05 + 0.05. Which is bigger: o or k?
k
Let u(r) = 2*r - 4. Let j be u(6). Let w = 3846.3 + -3847. Which is bigger: j or w?
j
Let f(u) = -u**2 - 2*u + 10. Let c(g) = -g**2 + 16*g + 31. Let j be c(18). Let n be f(j). Let z be (n + 95/15)*-15. Which is smaller: -22 or z?
-22
Suppose 4*q + 2*v = -22, -14 = 2*q + 3*v + v. Let j be ((-42)/12)/(q/(-10) + -1). Are j and 7 non-equal?
False
Let h = -720 + 1108. Suppose -7*j = -249 - h. Which is smaller: j or 90?
90
Let q = -1.84 - -3.84. Let n = -14 - q. Is 2 at least n?
True
Let y = 83031 + -113752463/1370. Which is bigger: 1 or y?
1
Suppose -5*b + 37 = -33. Let j be ((-4)/b)/((-7)/49). Is j smaller than -2/21?
False
Let l be 610944/268160 - (-12)/(-5). Is 1 less than l?
False
Suppose -494*l = -442*l + 354848. Which is greater: -6826 or l?
l
Suppose 30 = -12*j + 7*j. Let z be j/2 + 118/14. Are z and 5 non-equal?
True
Let c(m) = -2*m**3 + 5*m**2 + 2*m - 1. Let x be c(3). Let f be x/(-9) + (-18)/(-81) - 1. Which is greater: 24 or f?
24
Suppose 20 = 10*u - 20. Suppose 2 = -t + 3*t - 4*p, -u*t - 3*p = -48. Which is smaller: t or 58?
t
Suppose 4*m - 3*g = -6, -8*g = -5*m - 12*g + 8. Let n = 5233/3355 + -93/55. Are n and m equal?
False
Suppose 394*o + 200453 - 36233 = -89*o. Suppose 5*l + 2*p + 1713 = -0*p, -1356 = 4*l - 2*p. Which is smaller: o or l?
l
Let u = -43574891/1903 + 22898. Is 1 < u?
False
Suppose k - 2*h = -931, 4*k = -38*h + 33*h - 3620. Which is smaller: -920 or k?
-920
Let g = -29 - -16. Let o be 228/18*(-2 + 14/4). Suppose -14*j + 55 = -o*j. Are g and j unequal?
True
Let v = 15453311/216675 + -1783/25. Is v <= 0?
False
Let h be 3*-2*161/46 + 4. Is h less than -196/11?
False
Let x = 11028 + -11028.12. Is -3.72 smaller than x?
True
Let s(f) = -f - 3. Let d be s(5). Let m(a) = 135*a + 3. Let l(z) = 472*z + 9. Let x(c) = -2*l(c) + 7*m(c). Let r be x(d). Is r greater than -5?
False
Let p be 0 + -2 + 1*(-92 + 9). Let k = p + 85. Is -3/515 equal to k?
False
Suppose 3*q + 144 = 5*q - 2*u, -4*q - 5*u = -333. Suppose -13 = -8*m - q. Let l be (0 + 76/(-8) + 3)*m. Do l and 52 have the same value?
True
Let x be 3*3/(18/(-4)). Suppose 13*n - 15 - 24 = 0. Let z be ((-9)/n)/(9/6). Do z and x have different values?
False
Let z be -1*(-18)/(-3)*1/(-3). Suppose 0*t = 5*h - z*t + 137, h + t = -26. Is h bigger than -27?
False
Let a = 98032/240255 - 114/281. Let w be -23 - -13 - 44/10*(-90)/36. Is a < w?
True
Suppose -95*m - 3*m - 13440 = -2*m. Which is greater: m or -139?
-139
Let c = -72 - -75. Suppose b + 0*b - 6 = 2*u, -u + 4*b = c. Is u > -6?
True
Let t = 157 - 120. Suppose -3*c + 20 = -t. Is c <= 14?
False
Let w = 909 + -733. Let n(c) = 7*c + 5. Let j be n(-1). Which is smaller: j or w?
j
Let s be (-45)/20*3/(-4). Let p = -6000 + 6002. Which is smaller: s or p?
s
Let b be 152/(-56) + (-18)/63 + 100. Let m be 4676/49 + (-6)/14. Is b greater than or equal to m?
True
Suppose 2*m - 2*u = 13 - 17, 2*m = -u + 2. Which is greater: m or 8/1575?
8/1575
Let j be (-10)/((2 - -2)/(-2)). Suppose 3 = j*m - 2. Let g = -18.37515 + 0.37515. Which is bigger: m or g?
m
Let j = 4.04 + -4.04. Suppose -8*t + 5*t = -3*o + 96, o - 3*t = 38. Which is smaller: j or o?
j
Let l be ((-11)/242)/((-3)/39)*6. Suppose -23*d = -d - 110. Which is smaller: l or d?
l
Let b = -28530/13 - -134343/65. Which is greater: b or -129?
b
Suppose 10*k - 426 = 438 - 854. Which is bigger: -1057 or k?
k
Let y = 495 - 494.63. Let f(a) = -a**3 - 10*a**2 + 26*a + 28. Let d be f(-12). Which is smaller: d or y?
y
Let x = 1779 + -1778. Which is bigger: 17144 or x?
17144
Suppose 21*j - 225 - 900 = 16*j. Is j at most 276?
True
Let j(f) = 80*f + 801. Let v be j(-10). Which is smaller: -6/1237 or v?
-6/1237
Let j be 50 - 0 - ((-1)/1)/(-1). Let g = j + -42. Which is smaller: 2 or g?
2
Let w = -32 + 37. Let b(y) = 89*y - 25. Let z be b(w). Suppose z = -0*o + 6*o. Which is bigger: o or -2/3?
o
Suppose h - 21 = -o + 6*o, o - 42 = -4*h. Let a = 2.04 - -32.96. Let v = -35 + a. Which is smaller: v or h?
v
Let x = -14367.09 + 14367. Is -659 greater than x?
False
Let u = -8.27 + 6.8. Let k = 1.67 + u. Is k at least as big as 1/5?
True
Let m(r) be the second derivative of -13*r**3/2 - 19*r**2 - 51*r + 2. Let i be m(-1). Which is smaller: 242 or i?
i
Let r = -4336 - -4499. Which is bigger: 165 or r?
165
Let v = -832.5 - -239.5. Is 1 at most as big as v?
False
Suppose 0*o - o = -2*v, -4*o + 5*v = 0. Suppose 4*m + m - 255 = o. Suppose 0 = -4*a + 16, 0*p = -p + 4*a + 34. Which is bigger: p or m?
m
Let m = -4491 - -5178. Is m at least 690?
False
Let t(y) = -55*y + 27*y - 3 - y**2 + 22*y. Let c be t(0). Which is smaller: c or -14?
-14
Let a be ((-6)/(-15))/(7 - 211/30). Let o be (21/(-210))/((-441)/a - -1). Is o at most 0?
True
Suppose 3*k - 11 = 2*o, o = 5*o + 4*k - 8. Let y be 27/2 - (-1009092)/(-75008). Which is smaller: o or y?
o
Let h = -5423 + 5431. Is h != -601?
True
Let j = 20442 + -28066865/1373. Is -1 < j?
True
Let d = 44 - 44.12. Let c = 2.88 - d. Is c bigger than -13?
True
Let l = 140 - 102. Let k = 37 - l. Which is smaller: k or -0.09?
k
Let u be 133 - 2/(-6)*(6 - 15). Suppose -4*c - u = -2*m + 94, -c - 4*m - 47 = 0. Is -55 greater than c?
False
Suppose -5*o = n - 207, o + 4*o + 5*n = 195. Suppose -6*h + 1 - 19 = 0. Let g be ((-15)/6)/(h/o). Which is smaller: g or -2/7?
-2/7
Let p = -358 - -366. Let s be (-1)/(-2) - (18/(-4) - -5). Suppose s*j + 4*j - 3*n = 28, 3*j - 24 = 3*n. Which is greater: j or p?
p
Let o = -7194 - -7196. Let g = 1247 + -16202/13. Is o at most as big as g?
False
Let z = -328 + 324.27. Let r = 3.8 + z. Let d = 5/8 - 19/56. Which is smaller: r or d?
r
Let r = -3/2 + 1. Let w(f) = f**2 + 5*f + 3. Let v be w(-5). Let i