et p be (-6)/76*288/(-130). Let x = p + -2/95. Let z be 8/56 + 32/21 - (-10)/(-15). Is x <= z?
True
Let q be 1*((-7)/(-42) - (-14)/(-12))*399. Which is smaller: q or 9?
q
Let x be 14/2 + (-6)/(-2). Let r be 842/x + -3 + -3. Let a = r + -47321/605. Which is bigger: a or 1?
1
Let j be (5/(-15)*-3)/((-31)/(-2)). Let l = -21 - -20. Is l smaller than j?
True
Suppose 134*w - 26056 = 136*w - 3*b, 0 = 3*w - 13*b + 39067. Is -13030 <= w?
False
Suppose 4*c - h - 2*h = 283, 0 = -3*c - 3*h + 207. Let b = c - 75. Which is bigger: b or 3/4?
3/4
Suppose -w + 28 = y, -4*w - 135 = -5*y - 22. Let p = -39 - -56. Let b = p - -10. Is b at most y?
False
Let b(w) = -25*w + 82. Let r be b(4). Let a be (r/(-3) - 2) + 2600/(-120). Is -18 at least a?
False
Let i = 100 + 47. Let f(o) = 11*o**2 - 53*o - 21. Let s be f(7). Is i greater than s?
False
Suppose -16*i + 15 = -13*i. Suppose -3*o + 524 = -i*v - 0*o, -3*o = 4*v + 403. Let h = 724/7 + v. Is 0 not equal to h?
True
Suppose 36 = v - 99. Let a = 151 - v. Is 17 < a?
False
Suppose 25 = 5*g - 3*c, -4*c - 22 = -2*g + 2. Let k(l) = 11*l + g - 2*l**2 + l**2 + 0*l**2 - 18. Let q be k(10). Do q and -7 have the same value?
False
Let n = 620698881028/25526827587 + 28/11441877. Let q = n - 564/23. Which is greater: 1 or q?
1
Let t(n) = n**3 - 6*n**2 - n + 9. Let s be t(6). Suppose s*x + 2 = -4. Let u be ((-20)/1375)/(x/5). Is u < 1?
True
Suppose 109*i = 139998 - 7454. Which is smaller: 1212 or i?
1212
Suppose -39*k - 8063 = -28*k. Let v = k + 30056/41. Which is bigger: v or 0?
v
Let q = -69 - -51. Let y(n) = n**2 + 21*n + 28. Let z be y(q). Suppose 118 = 2*w - 6*w + 2*b, -3*w - 91 = -2*b. Is z greater than or equal to w?
True
Let t be (-186)/18 - 4/6. Let v(a) = -12*a**3 - 2*a**2 - 3*a - 2. Let s be v(-1). Suppose -s + 27 = -2*h. Are h and t equal?
False
Let t be -2*(-56)/16 + (-1 - -1). Suppose -7*a - t*a = -a. Suppose 7 = 5*v - 2*d, 2*d - 2 = v - 5. Is a greater than or equal to v?
False
Let y = 1020 + -52024/51. Let f = -496 + 527. Suppose 6*s + 14*s - f*s = 0. Is s <= y?
False
Let m be 1/3 + 1/(-3). Let p(t) = -t**2 - 29*t - 36. Let j be p(-28). Let n be 13/(780/50)*j/330. Which is bigger: m or n?
m
Let n(w) = -w**3 - 17*w**2 + 7. Let v be n(-17). Let f be -3 + v/7 + (-17)/(-11). Is f < -1?
False
Let x be 1/4 - (-555)/(-108). Let u be 3/((-63)/14)*78. Let r be (2 + (-52)/8)/((-39)/u). Which is smaller: r or x?
r
Let u = -514 - -328. Let y = -345 - u. Which is smaller: -161 or y?
-161
Suppose -4 = 5*u + 4*g, 0 = u - 5*g - 8 + 3. Let r = -330/89 + 3185/979. Is r > u?
False
Let w be (9/(-6))/(7 + (-150)/24). Let m be ((-1)/w)/(-3 + 262/88). Is -22 at most as big as m?
True
Let x = 4965/34 - 146. Let c = -433 + 429. Which is smaller: x or c?
c
Suppose -4*d - 16 = 32. Let m(t) = -10*t - 119. Let z be m(d). Let c be ((-6)/(-2))/((-513)/(-6)). Which is smaller: z or c?
c
Let c = -4 + -25. Let g = -9.755 + 6.755. Is g < c?
False
Let t = 16323.099 + -16313. Let o = t - -0.201. Let w = o + -40.3. Is w < -1?
True
Suppose -209*d = -185*d + 2184. Let s = -196 + 106. Is d at most s?
True
Let a = -157817/174 - -907. Suppose -3*g + z = 0, 22 = 16*g - 6*g + 4*z. Are g and a equal?
False
Suppose 3*t - 2*n - 18 = 0, 3*t + 59*n = 54*n - 45. Which is smaller: t or 10/519?
t
Let z(n) = n**3 - 37*n - 69. Let f be z(-5). Which is bigger: f or -57?
f
Suppose 6*t - 68 = -950. Let n be (t/(-2))/(15/(-5)). Is -26 equal to n?
False
Let s be 6/(-8) - (1 - 2). Let z be (129/5)/((-81)/12555*217). Which is greater: s or z?
s
Let g = 693.63 + -11.63. Let w = g - 682.1. Which is smaller: -232 or w?
-232
Let q(w) = w**2 + 75*w + 285. Let r be q(-4). Which is smaller: 1/49 or r?
1/49
Let y be (-60)/9*-3*(-14)/(-56). Suppose -i - 24 + 72 = y*f, -i + 2*f + 34 = 0. Is i at most as big as 1?
False
Let q = -10 + 4. Let y = 9469.7 + -9444.7. Which is greater: y or q?
y
Let q = 120 + -114. Suppose q - 102 = -16*g. Is g < 8?
True
Let h = 11654 + -10286. Which is smaller: 1363 or h?
1363
Let a be -1 + 8/5 - 58401/76735. Is a > 0?
False
Suppose -4*l + 2*b + 4960 = 0, -18*b + 6245 = 5*l - 13*b. Is l not equal to 1243?
False
Let p be ((-5)/(-10))/(-1 - (-2636)/2634). Let w = p + -700. Let r(f) = 6*f. Let c be r(-7). Is c > w?
False
Let h be -2 + (2 + 0 - -11). Let j = 64709 + -64703. Does j = h?
False
Let u = 8 + -8. Suppose 177*r - 11521 - 14858 + 10449 = 0. Is r < u?
False
Let q be (-4351)/(-152) + -21 + -9. Which is greater: -2.9 or q?
q
Let p = -3097 + 3187.87. Let o = -72 + -19. Let f = p + o. Which is smaller: 0 or f?
f
Let i = -438 - -362. Let k = -75 - i. Is -18 < k?
True
Let y be 6 - 5/((-10)/(-6)). Let f = -1332 - -21339/16. Is y < f?
False
Let c(f) = 2*f**2 - 7*f - 5. Let z be c(5). Let s be (-2 - (-12)/5) + (-24)/z. Let p = -22 + s. Which is greater: p or -25?
p
Let i = -171 + 1025/6. Which is greater: 1/1793 or i?
1/1793
Let s be -2 + (-80)/(-36) - (-125)/(-36). Let d(n) = n**2 + 8*n + 14. Let i be d(-6). Suppose 2*j - 3 = -1, k + i = -j. Is k less than s?
False
Suppose 5*q = -16 + 1. Suppose 9*w = 15*w - 426. Let o = w + -72. Which is smaller: o or q?
q
Let c(p) = -10*p**2 - 198*p + 25. Let i be c(-20). Let g be 6 + (i - -8) - -29. Which is greater: g or 86/3?
86/3
Let c(w) = 2*w**3 + 5*w**2 + 2*w + 8. Suppose f - 3*t = 2*t + 16, 0 = -2*f + 2*t. Let u be c(f). Let j = -78 - u. Is -30 at most as big as j?
True
Suppose 4*q - 1215 = -z, 0 = 11*q - 9*q + 4*z - 604. Are q and 1522/5 equal?
False
Let t = 13 - 14. Let j be 6/(-39)*t/(-2). Let y = 302/3 - 101. Which is bigger: j or y?
j
Let m = -36030 + 180089/5. Suppose 5*i + 67 = -3*f, -4*i = 8*f - 3*f + 64. Which is smaller: i or m?
m
Let t(r) = -4*r + 2. Let h be t(0). Let d = -23 + 17. Let f be 4 - (-9)/d*8/(-12). Is f less than h?
False
Let p(h) = -h**2 + 40*h - 329. Let u be p(19). Is u at least as big as 70?
True
Let n be 4/(-8)*(-1)/(-41). Suppose -17*p + 92 = -61. Suppose -t = -p*t. Which is smaller: t or n?
n
Let n be (24/(-20))/((-9)/60). Let s be n/26*1/(-2). Let i = -503 - -503. Is s at least as big as i?
False
Let v(h) = 45*h**3 + h**2 + 16*h - 14. Let r be v(1). Is r less than or equal to 22?
False
Let d be (-18)/244*(2186/(-4) + 1). Let t = -161/4 + d. Which is bigger: 0 or t?
0
Let t = -19/1131 - -29501/5655. Are -14.4 and t non-equal?
True
Let v(g) = -3*g**3 + 2*g**2 - 3*g - 6. Let m be v(-2). Let h = m - 130. Are -98 and h equal?
True
Suppose 5*v - 661 + 628 = -3*f, 2*v = -9*f + 138. Let k be (-1)/(-10)*150/(-8). Is v < k?
True
Let v = -11390 - -1605998/141. Suppose 0 = -j + 5*j + 4. Is v at least as big as j?
True
Let l = -7.56 + 0.56. Let z = -6.8 - l. Let d be 4/(5/10*-1). Is z > d?
True
Let l = 0.0611 + 66.2389. Let n = l + 6.1. Let a = n - 73. Which is bigger: a or -1?
a
Let h = 82 + -331/4. Let m = -3.81 - -47.81. Which is bigger: h or m?
m
Let f(z) = -z**2 + 16*z + 30. Let u be f(18). Let g be (u/45)/(13/((-65)/(-4))). Is g at most as big as -1/33?
True
Let f = -3023 - -3022.96585. Is -2/5 at most as big as f?
True
Suppose 11*l = 5*v + 13*l - 29, -4*l = 2*v - 18. Suppose -3*n + w + 215 = 0, v*w + 214 = 3*n + 3*w. Let s be (-24)/n + 1 + -1. Which is smaller: -1.5 or s?
-1.5
Suppose -450 = 2*f + 3*w + 180, 4*f - w + 1288 = 0. Let y = 318 + f. Which is smaller: -24/7 or y?
-24/7
Let m = 123 - 122. Let z be ((-690)/675)/((-1)/(-5)) + 3. Which is bigger: m or z?
m
Let o be 4 - (-5 + (-910)/(-21)). Let q = 709/21 + o. Which is smaller: q or 0.04?
q
Let j = 15 - 66. Let n = j + 25. Is -1 bigger than n?
True
Let o = 270.107 + -270. Let s = o - 1.347. Is -1 smaller than s?
False
Let b be 1/(3170/4)*(572/(-2) - -31). Is b bigger than 0?
False
Let g = -39284 - -667618/17. Is g at least -11?
False
Let l(d) = -d**2 + 3*d. Let q be l(3). Let x be q/2 + 3 - 14. Let i = -8293 - -8280. Which is greater: x or i?
x
Suppose -161 = 3*d - 4*z + 179, 0 = 3*z - 3. Let y be 2*(-20)/8*d/(-35). Let f = 30 + -44. Which is smaller: y or f?
y
Suppose 0*f - 4*f = -4, -5*f = -p + 106. Let y = -9253 - -9248. Let o be 21/27*(y - p/(-21)). Is o less than 11?
True
Let p be 5/(-3) + 2/6. Let y = 14365 - 14367. Which is greater: p or y?
p
Let b(o) = o**2 - 4*o - 4351. Let q be b(68). Which is smaller: q or -1/11328?
-1/11328
Suppose -528 = -2*s - 532. Which is smaller: 0.196 or s?
s
Suppose 166*b - 40*b + 166952 = -506392. 