et s be 6/21 + (-3132)/l. Is -37 less than or equal to s?
True
Suppose 29*x = 33*x - 436. Let k = x + -98. Let p(b) = 11*b**2 + 1. Let c be p(-1). Which is greater: c or k?
c
Let b = -63 - 61. Let c = -124.2 - b. Let g = -1.91 - 0.09. Are g and c non-equal?
True
Let h(u) = -u**2 - 9*u + 15. Let i be h(-7). Let f = i - 27. Suppose 0 = f*w + 30 + 10. Is -98/5 at least as big as w?
True
Let h = -2/4127 - 359045/8254. Which is greater: h or -44?
h
Let g be (-5)/(-10) - (-1)/2. Let y = g + -4. Let o = 0.02622 + 0.97378. Is o at least as big as y?
True
Suppose 234*s - 205*s + 5655 = 0. Is -206 < s?
True
Let q be ((-2)/(-1))/((-10)/20). Let b be ((-1)/2)/(1/(-2280)*q). Let j be (-125)/b + (-1)/3. Is 0 at most j?
True
Let f be ((-1)/(-7 + 110))/(1/3). Let k = -379/9476 - f. Is k at least as big as 0?
False
Let t = -0.08 + 35.08. Let l = -8.958497 + -0.041503. Is t at least as big as l?
True
Let v(j) = 8*j**3 + 81*j**2 - 7*j + 8. Let w be v(-10). Is 175 >= w?
False
Let s = -1353187/19 - -71193. Is -26 equal to s?
False
Let d = 3269065/11 + -296952. Is 236 at least as big as d?
True
Let b be 0 - (-1203 - (-27 + 20)). Which is bigger: b or 1194?
b
Let j = 13201 - 26403/2. Is 0.08343 >= j?
True
Let p be (-4)/10 + (113/(-5) - 1). Let q be (-6)/4*(-56)/p. Which is smaller: q or 3/5?
q
Let y = -8542 - -8759. Is y bigger than 241?
False
Let v(y) = y**2 + 4*y + 2. Let p be v(-2). Let a be 18/4*(-28)/21*p. Suppose 7*h + 30 = a*h. Is h less than 1?
False
Let f be 3/(-18) - (-760)/(-48). Let y = 3 - 19. Is f smaller than y?
False
Let l be (((-14)/476)/((-2)/(-364)) + 5)/10. Which is smaller: l or 33?
l
Let t(z) = -3*z + 6. Let g be t(-3). Let m be g/(2 - ((-21)/6)/(-7)). Suppose -3*k - 18 = 3*r, -k + m = 2*k - 4*r. Is k at least as big as -2?
True
Suppose 12*x = 9*x + 3. Let p = -427743/16 + 26735. Which is bigger: p or x?
p
Let s be 10 - 1 - 4/(-7)*-14. Which is bigger: 17 or s?
17
Suppose 3*i = -15, 0 = -2*l + 6*l - 4*i - 28. Suppose 0 = -4*v + c, 5*v - c = l - 3. Let b = 6/313 - -512/5947. Which is greater: b or v?
b
Let o be -1*2*(-20)/8. Suppose v - z - 9 = 0, 3*v + v = z + 39. Suppose -2*h + 2*c + 12 = -v, 55 = o*h + 2*c. Is h smaller than 11?
False
Let a = -12/119 - -206144/357. Do a and 577 have different values?
True
Let q be (-8)/(-6)*59/(1121/(-570)). Which is smaller: -8 or q?
q
Let c be (6936/(-36))/(-17)*6/(-4). Let d be 10*8/680 - 202/c. Is 10 equal to d?
False
Suppose -2449 = -194*d + 514*d - 209. Which is greater: -28/33 or d?
-28/33
Suppose -3*u + 1 = o + 3, -5*u - 25 = 0. Suppose -11*k + 768 = o*k. Is k less than or equal to 32?
True
Let g = 786 + -6785/9. Is g != 33?
True
Let o(r) = r**3 + 5*r**2 - r. Let l be o(-4). Let k = l - 13. Let m = 57746 + -57739. Is m at most k?
True
Suppose 3*c + 4 = 5*c + 4*m, 3*c + m = -19. Let z(u) = -u**3 - 6*u**2 - 2*u - 6. Let h be z(c). Is h > 138?
False
Suppose 0 = -2*q + 3*u - 8*u + 8, 0 = 3*q - u + 5. Let r = 225.8 - 224. Let p = r - 0.3. Which is smaller: q or p?
q
Let y be (-66)/(-329) - 2/7. Let v be (34100/(-21150))/((-24)/(-9) - 2). Let x = y - v. Which is greater: x or 2?
x
Let l be 16/(-6)*360/(-96). Let n be 39/45 + (-2)/l. Let d = -0.2 + 0.14. Which is bigger: n or d?
n
Let t be (2/6)/(36/216). Suppose 0 = -33*b + 34*b - t. Which is bigger: b or 61?
61
Suppose 0 = 2*n + c - 241, -46*n + 44*n = -2*c - 226. Which is bigger: n or 115?
n
Suppose -180*d + 166*d + 2058 = 0. Let j = d - 1316/9. Which is greater: 0 or j?
j
Let x = -4948.4 + 1407.4. Is 0 less than x?
False
Let r = 2875 - 2896.17. Let x = -0.4 - 20.6. Let l = x - r. Which is bigger: -0.3 or l?
l
Let t(b) = 1311*b + 2621. Let a be t(-2). Is 13/1161 at least a?
True
Let t be -1*(95/190 - (-9282)/4). Are t and -2322 non-equal?
True
Let v be (72891/(-35) - 4) + (-2)/5. Let o = v - -14575/7. Are -6 and o equal?
False
Suppose 29*h + 39*h - 12*h = 0. Which is greater: h or 44/133?
44/133
Let g = -0.58 + 1.16. Let y = -1.126 - -0.956. Let a = g + y. Which is smaller: 0 or a?
0
Let v(g) = -2*g**3 + 86*g**2 - 85*g + 49. Let q be v(42). Suppose 9*w - q = -25. Is -7/11 <= w?
False
Let p = -14038.1 + 14037. Which is greater: p or 2/11?
2/11
Suppose -4 = 5*t + 11. Let u be t*(1 + (-1)/((-2)/(-4))). Suppose -3*x - 48 = -0*x - u*f, -71 = 4*x + 3*f. Is -17 > x?
False
Let h be ((-6)/(-4 + 1) - -4)*30. Let a = h - 1625/9. Does a = -2?
False
Let h be (-40 - -9) + 22 + (-4956)/(-550). Is h < -43?
False
Let z = 0.2 - 0.2. Let s be -2 + 2 + -114 - 5. Let i = s + 144. Is z at least as big as i?
False
Suppose 7*p + 1 = 4*v + 4*p, -p = 5*v - 6. Let o be -12 - -11 - v*29/(-11). Which is smaller: o or 2?
o
Let r = -8511/2 - -4255. Which is smaller: r or -743?
-743
Suppose -1574*v + 1456*v = 118. Is v not equal to -1/250?
True
Suppose -8*w = -101 + 21. Suppose 2*c - 4*o - 18 = w, -5*o = 5*c - 55. Let f be (c/14)/(3 + (-18)/12). Is f less than 6/11?
False
Suppose 0 = 10*z + 6*z - 96. Let n be (-4)/z - 143/(-39). Let g = 9 + -9. Is g at least as big as n?
False
Let x = 2 - 2. Suppose x = -0*v - 3*v - 3. Let k be ((-765)/15300)/(13/(-30)). Which is smaller: v or k?
v
Let u(x) = 4*x + 2 + x**3 - 6 - 24 + 9*x**2. Let q be u(-8). Suppose -q*y + 0*y - 108 = -2*g, -y - 243 = -5*g. Is g not equal to 46?
True
Let y = -720 - -7925/11. Suppose 57*b = 5*b. Are b and y unequal?
True
Let g be (-62)/(-18) - ((-12)/(-4))/1. Suppose 3*o = 18 - 3. Suppose o*j + 4*q + 20 = 0, j + 2*j + q + 5 = 0. Is j != g?
True
Suppose -2*f - 2 = 0, -4*c + 89 = f - 126. Is 66 less than or equal to c?
False
Let p = -4647635669049/7910 - -587564562. Let z = 1/565 + p. Is z < 1?
False
Let z = -155/117 + 5/9. Let h = 16929 - 16930. Which is smaller: z or h?
h
Let r(l) = l**3 - 8*l**2 - 2*l - 1. Let y be r(5). Suppose -12*g - 4*p + 66 = -13*g, 71 = -g + 3*p. Does g = y?
True
Let n = 15 + -21. Suppose -6315*o + 6323*o = -88. Do o and n have different values?
True
Let r = 99 + -96. Suppose 2*x = m + r*x - 104, 187 = 2*m - 5*x. Let n = -110 + m. Which is bigger: n or -7?
-7
Let j(w) = 3*w**3 + 3*w**2 + 179*w + 4256. Let b be j(-20). Which is smaller: b or -22123?
b
Let r(u) be the second derivative of -1/6*u**3 + 0 - 8*u**2 + 4*u. Let m be r(4). Which is greater: m or -21?
m
Let r = 1000.8 - 1001. Do 1155 and r have the same value?
False
Let n(s) = -s + 30. Let a be n(0). Let z be 922/34 - -24*16/(-3264). Which is smaller: a or z?
z
Let q = -3/415 + -7329/19505. Suppose 2*z + 2*x = -4, -4*x = -5*z - 0 - 1. Is q bigger than z?
True
Let d = -0.04 + -1.96. Suppose 0 = -2*g + 1354*p - 1358*p + 50, 3 = p. Is d less than or equal to g?
True
Let u = 50 + -23. Let i = 27 - u. Suppose p + 2*p - 5*a - 16 = i, -3*p = a - 22. Is 5 not equal to p?
True
Let v(r) = -9*r - 9. Let s be v(-8). Suppose 154 = 18*y - 1016. Which is smaller: y or s?
s
Let p = -1400.02 + 1396. Let z = -0.03 + 4.03. Let v = p + z. Is -2/7 less than v?
True
Suppose 43*y - 7944 = 3510 - 2338. Let p be ((-633)/6)/(2/(-4)). Is y greater than p?
True
Suppose 2562*f = 2596*f + 1292. Which is smaller: f or -63?
-63
Let f = -176 - -119. Let b = 57 + f. Is b greater than or equal to 16?
False
Suppose -10 = -5*u + 5*d, 2*d - 3*d = 4*u + 2. Suppose f + 28 = -5*b, b + u*f = -f - 4. Let v be ((-2)/b)/(4/12). Which is bigger: v or 3/59?
v
Let i = 74/175 - 422/9275. Is i at most 0?
False
Let b = -8253/8525 + 3/8525. Suppose -2 + 3 = -z. Is z less than b?
True
Suppose -2*z + 27087 = 2787. Suppose -w + 3*w = -z. Let h be (-1)/5 + 183*(-5)/w. Which is bigger: h or 1?
1
Suppose -2*l + 4*f - 6 = -20, -4 = -4*l - 4*f. Suppose 5*h + 1 = -14, -l*h = 2*g + 5. Let d be 5 + -2 - (-40)/(-28). Is d at most as big as g?
True
Suppose 639*g - 195 = 444*g. Which is smaller: -2/4121 or g?
-2/4121
Let z be 0 - 488*(-4)/8. Suppose 322 = -4*a - 3*d, -3*a + 10*d - z = 11*d. Which is smaller: -87 or a?
-87
Let l(v) = v**3 + 13*v**2 - 13*v + 35. Let m be l(-14). Let n = -73 + m. Which is smaller: -53 or n?
-53
Suppose 45720 = -5*q + 5*k, -159*k - 27416 = 3*q - 154*k. Do -9141 and q have the same value?
False
Let x = -64 - 357. Let y = -416 - x. Which is greater: y or -4.9?
y
Let n be (936/(-1560))/(-1 + 8854/8860). Which is greater: 876 or n?
n
Let c be ((-99)/(-4))/(-2 - 99/(-44)). Suppose -c = 14*j + 111. Do j and -4 have different values?
True
Let c(a) = -45*a**2 - 608*a - 37. Let f