et z be 3 - (x + -5 - -296). Is -292 less than z?
False
Let l = 1054.8 - 932. Let w = l + -118. Is w >= 8?
False
Let q = 0.4 + -0.5. Let l = 6628.53 - 6661. Let p = 0.53 - l. Is p at least q?
True
Let h(c) = 747*c**2 + 3*c + 3. Let u be h(-1). Let k be -1 + (-1482)/u - (-31 + 28). Which is greater: -1 or k?
k
Let h(t) = -t + 9. Let q be ((-36)/(-45))/((-1)/30). Let c be (q/(-8))/(3/8). Let l be h(c). Which is smaller: 2 or l?
l
Let y = 115 - -186. Let t = y - 300. Is t at least -3/26?
True
Let t = 47/38615 - 1089408401/1660445. Let i = t - -656. Which is smaller: -1 or i?
-1
Let l = 13200 - 13170. Which is greater: l or 0.05?
l
Let r = 1.1921 - 1.2921. Is 854.4 smaller than r?
False
Let c(i) = -9*i**2 - 2*i**3 + 28 - 14*i**2 - 5*i**2 + i**3 + 4*i. Let b be c(-28). Are b and -84 equal?
True
Let q(h) = -h**3 - 5*h**2 + 6*h + 3. Let s be q(-6). Let b(p) = -6*p**3 + 33*p + 2 + 29*p - 61*p - p**2 - 3*p**s. Let j be b(-1). Is 6 at least j?
False
Let m(i) = i**2 - 4*i - 1. Let o be m(6). Suppose 55 + o = 6*h. Let s(l) = -l**2 + 4*l + 10. Let r be s(h). Is r bigger than -67?
False
Suppose -810 = -10*i - 71*i. Let y(w) = -w**3 + 1 + 7*w**2 - 9*w + 4*w**2 + 0*w**3. Let t be y(i). Is 11 != t?
False
Suppose 0 = -5*x + 2*m - 28, -2*x + 2*m - 15 = 5*m. Let p = 11/2 + x. Let t = p - 0. Which is greater: t or 1/22?
1/22
Let t(s) = -s**2 - 5*s + 12. Let k be t(2). Let f be 29 - (12 - (8 + k)). Which is bigger: f or 3?
f
Let o(s) = 4*s**2 + 17*s + 41. Let c be o(-16). Let v be c/(-1068) + (-108)/(-144). Is 1 less than or equal to v?
False
Let l be 2481/18 + (-6)/(-36). Suppose -2*u = 4*k - 0*u - l, -3*k + 2*u = -114. Let q be (k/65)/((-10)/(-25)). Which is bigger: 1/4 or q?
q
Let z be (-9)/(-6)*(4 + (-80)/(-30)). Let c(d) = d - 1. Let b be c(3). Which is smaller: z or b?
b
Suppose 2*a + 808 = 2*o, 2*o - 3*o + 804 = -2*a. Let f = 401 + a. Which is greater: 1/134 or f?
f
Let y be 6/(-24)*(6 - 10). Which is smaller: y or 310?
y
Let a be (-4)/((-21)/(-19) + -1). Let s be (-28)/(-3) - a/57. Suppose -2*p = 2*n + 7 + 3, 3*p - s = 2*n. Is p < -2/83?
False
Let b be (0 - -1)*(((-342)/27 - -11) + 5). Is b not equal to 41?
True
Let o be 52554/22 + (-126)/(-693). Is 2395 greater than or equal to o?
True
Let p = -367 + -2586. Which is smaller: -2954 or p?
-2954
Let r = 8090 - 40318/5. Let v = -4747/180 + r. Which is smaller: -1 or v?
-1
Let a(q) = 17*q - 439. Let u be a(26). Suppose 0 = u*s - 130 - 14. Suppose 2*c - 5*c + 144 = 0. Is c less than s?
False
Let k = -310 - -240. Let c = -0.082 - 0.918. Which is bigger: k or c?
c
Suppose 2*g - x = g, -2*x + 20 = 3*g. Suppose 5*h = g*t + 2686 + 3171, -2*h = t - 2335. Let q = h - 8200/7. Are q and -2 equal?
False
Let j = -2970 + 2971. Is j less than or equal to 17/263?
False
Suppose 1952*v - 1951*v + 18 = 0. Suppose -4*q - 85 = -0*z + 5*z, 5*q = 0. Let d = v - z. Which is greater: -4/9 or d?
-4/9
Let n = -27780 - -84479/3. Let v = 380 - n. Let k = 491 - 15223/31. Is k greater than or equal to v?
False
Let z = 0.435 + -23.411. Let k = z - 0.024. Let j = k + 24. Is -3/25 at most j?
True
Let s(o) be the first derivative of -o**4/4 - 29*o**3/3 - 4*o**2 - 31*o - 78. Let y be s(-29). Is y at least as big as 202?
False
Suppose 2*c + 21*s - 32 = 25*s, -4*c = -s - 36. Let z be -1 + -8 + (4 - 2). Let g = z + c. Which is smaller: g or 5/7?
5/7
Let t be 4/32 + (62/16 - 5). Which is bigger: t or 2/9593?
2/9593
Let x = 668 - 90178/135. Let h(t) = 3*t**2 + 20*t - 4. Let u be h(-7). Suppose g - u*s + 2 = 1, -4*g - 5*s = 4. Which is bigger: x or g?
x
Suppose 5*j + 17 = 3*f, -j - 29 = -3*f - 4. Let h be f/(-6) + 2 - (-9)/(-2). Is 7 at most h?
False
Let p = -18644558/143367 - -2731/21. Is p greater than 0?
False
Let z be 2/7 + 79/(-7). Let k = -129 - -336. Let m = k + -219. Is m greater than z?
False
Let j = 146.51 + -147.86. Is j <= 22?
True
Suppose -3*j = 138 + 6. Let p be (-468)/585*5/(-2) + -13 - 38. Do j and p have the same value?
False
Let s = -944049/395 + 2390. Which is greater: s or 0?
s
Let t = -6.95 + -0.05. Suppose -475 = -134*y + 39*y. Which is smaller: t or y?
t
Let b = 8 - 5. Let h = -735 - -744. Is b bigger than h?
False
Let g = -28 + 23.5. Let n = -35 - g. Let v = 31 + n. Which is smaller: -0.2 or v?
-0.2
Suppose 0 = 70*f + 19858 - 245958. Suppose i = p + 642, -12*p = 5*i - 7*p - f. Is i != 643?
True
Let t = -43.2 - -43.55. Which is smaller: -34 or t?
-34
Let n = -1 + 1. Let z(x) = -x**3 + 28*x**2 - 4*x - 92. Let g be z(28). Let s be (-9)/(918/(-12)) - 146/g. Is s bigger than n?
True
Let h = 132 + -283. Let m = -131 - h. Which is smaller: -2 or m?
-2
Let b = 68.73 + 0.27. Let s = -105 + b. Is 0 bigger than s?
True
Let u = 34 + -36. Let l be (3720/198)/(u/3). Which is greater: l or -27?
-27
Let q be 2/(-9) + 11/((-99)/(-2)). Suppose -15 = 6*m - 11*m. Let l be 24/(-4384)*2*(-4)/m. Which is bigger: q or l?
l
Let h be 22 + -34 + (-1 - -17). Is 113/26 bigger than h?
True
Suppose -42 = -0*u - 7*u. Suppose -5*g = -2*w + 65, 5*g - 123 = -4*w + 8*g. Suppose 5*n = -2*z - w, u*n - z + 30 = n. Are -9 and n unequal?
True
Let i = -123 + 122.37. Let w = 0.697 + i. Let c = -0.027 + w. Is c at least 4?
False
Let d = 1425 + -377. Which is greater: d or 1046?
d
Let a(b) = 697*b - 412. Let s be a(1). Which is greater: s or 293?
293
Let j be -4*(125/10 + -13). Let v be -4 + 5 + (-95)/(-85). Which is smaller: v or j?
j
Suppose 0*g - 3*g = 0. Let n = -32.96 - -43.96. Is n greater than g?
True
Suppose 120*u + 146*u - 236 = 30*u. Is -6/6191 at most as big as u?
True
Suppose -5*y + 48*d = 49*d - 10, -8 = -y + d. Let n = 4/109 - -25/2289. Which is smaller: y or n?
n
Suppose 0 = 30*f - 1922 + 7682. Is -190 < f?
False
Let i be ((-114)/(-1197) - 880/(-21))/(9/(-8)). Which is smaller: i or -7?
i
Let h = 7.46 + -33.46. Which is greater: -7/6 or h?
-7/6
Let a be -86 + 3 + (2/2)/(-1). Suppose 0*w - 2*w - 4 = 0, 3*w = 5*t - 436. Let y = a + t. Which is greater: 6 or y?
6
Let n be (-12)/(2/(-56)*4). Let a be (-154)/n - 5/(-6). Which is greater: a or -9/5?
a
Let w = -763039/13 + 58695. Let f be (1/((-2)/4))/2. Is w <= f?
False
Let j be (9 + 5990/(-680))*-36. Is -6 < j?
False
Let m(i) = 51*i. Let j be m(1). Let r = 28253 + -28202. Is j at most r?
True
Let a = -332 - -333. Suppose -q + 4 = -0*q, 3*q + 16 = -k. Let c be (-43)/k + 5/(-20). Is a bigger than c?
False
Suppose -2*m - a = -45, 4*m - 2*a - 85 = a. Which is smaller: m or 173/8?
173/8
Let y(i) = -i**3 + 3*i**2 + 14*i - 7. Let a be y(5). Suppose -105 = a*k - 18*k. Let n = -4 + 26. Is n <= k?
False
Let j = 1.3 - 1. Let m = 0.2 - j. Let s = -165898 - -165929. Is s bigger than m?
True
Suppose 26*p = 2*p + 288. Suppose -p*j + 6 = -6*j. Is -1/190 > j?
False
Suppose 1 = 6*u - 3*v + 100, 5*u + 93 = -v. Is u >= -308/17?
True
Let s = -22 - -21.5. Let b = s + -0.5. Let h = -27 - b. Is 0 greater than or equal to h?
True
Let j(s) = s**3 - 71*s**2 + 35*s - 579. Let z be j(72). Which is smaller: 7126 or z?
z
Let n(y) = 14*y**3 - 756*y**2 - 6*y + 45. Let d be n(54). Is d smaller than -51?
True
Let y = -263.91 + 244. Let w = 20 + y. Which is bigger: -13 or w?
w
Let n = 21667 - 20096. Is n at least as big as 1573?
False
Let u = 10 + -18. Let f be (u/6)/((-203)/21). Let i(o) = o**3 + 21*o**2 + 99*o + 15. Let y be i(-14). Is f at least as big as y?
False
Let y be 218*((-1)/(-2) + -1). Let q be (-5)/(-40)*-4300*1/5. Which is greater: q or y?
q
Let b(x) = -x**2 - 197*x - 78. Let q be b(0). Let c = 9.73 + 0.27. Let l = 9.9 - c. Is l != q?
True
Suppose -19*p - 594 = -13*p. Let o be -3*(-6)/p + (-2)/(-11). Let d be (-3)/(-14)*(o + 24/9). Which is smaller: 1 or d?
d
Let k = -5 + 9. Suppose -3*v + 46 = 4*z, 5*z + 3*v = k + 52. Let j(s) = -s**2 - 2*s + 15. Let x be j(-5). Which is bigger: x or z?
z
Let t be 30/(-8)*(-2 - -1). Let k = -0.855 - -1.8486. Let s = 0.0064 + k. Is s bigger than t?
False
Let m be 4/8 - 38/(-4). Let w(v) = -2*v**2 + 18*v - 19. Let b be w(m). Let o = b - -41. Is -8 at least o?
False
Let m = -4128 - -4288. Suppose 15*g - 19*g + 8 = 0. Is m smaller than g?
False
Let r = 78618/17 + -4628. Let d = r - -4807/1394. Is d > -1?
True
Suppose g - 15 = 2*v, 0*g + 2*v = 3*g - 53. Let p be 2/((-24)/(-255))*(2 + 2). Suppose 13*o - 8*o = p. Which is smaller: o or g?
o
Let t(a) be the third derivative of a**6/120 - a**5/20 + a**4