t i be (-5)/(-27)*n/(55/(-150)). Which is smaller: i or -5?
i
Let y(a) = -24*a + 1801. Let c be y(75). Is c <= 47/69?
False
Let t(d) be the third derivative of -d**6/120 + 11*d**5/60 + 13*d**4/12 + d**3/2 - 65*d**2 + 2*d. Let c be t(13). Is c less than 1?
False
Let y = -3897 + 3897. Which is smaller: -104 or y?
-104
Let x = -0.7 - 0.3. Let r = -967.7 - -984.7. Let t = x - r. Which is smaller: 0 or t?
t
Let v(z) = -z**3 + 3*z**2 - 3*z + 1. Let i be 2 + -2 - 4/((-2)/1). Let g be v(i). Let j be g + -3 + (-925)/(-230). Which is smaller: j or -1?
-1
Let w = 203 - 80. Let q = -25828 - -25953. Is w <= q?
True
Let c(l) = -2*l - 4. Let k be c(-10). Suppose -k*m + 15*m - 12 = 0. Which is smaller: m or -13?
-13
Let f = -522 + 347. Suppose 440 = -3*s + 11*w, 2*s - 4*w + 155 + 165 = 0. Is s smaller than f?
True
Let k be (64/10)/((-17)/(-1105)). Let g = k - 11233/27. Are 2 and g equal?
False
Let v = 0.04642 + -0.04605. Is -1/2 >= v?
False
Let i = 0.009 + 130.991. Let n = -157 + i. Which is smaller: 0.1 or n?
n
Let u be 18255/35 - (-3 + 125/35). Let g = 520 - u. Which is smaller: g or 154/3?
g
Let s = 9 - 44/5. Let j = -1.36 + 63.36. Let m = j - 51. Which is smaller: s or m?
s
Let m = -48.1 - -21. Let r = 27 + m. Is r less than or equal to -39?
False
Let z = 108751/13870 + 1/730. Which is smaller: z or 7?
7
Let r = 840741/208 - 4042. Let k = 631/8944 - r. Let f = -3 - -2. Is k greater than f?
True
Let n be 15/(-2)*(-40)/(-50)*1. Let q = -14 + 28. Let k = q + -12. Which is smaller: n or k?
n
Let d = -0.73 + 2.17. Let v = d - 0.44. Let g be (-16)/(-120)*(-1)/4. Which is smaller: v or g?
g
Let d = 15.268 - -3.232. Which is smaller: d or 0?
0
Let r = 1964 + -1979. Which is bigger: 0.07 or r?
0.07
Let m(b) = -b**2 - 1. Let w be m(-2). Let l be -43 - (-145)/(-174)*-30. Which is greater: l or w?
w
Let k = -32959 - -625990/19. Is k equal to -11?
False
Let r = -2 + 1. Let s = -380.5 - -407. Let h = s + -4.5. Is r greater than or equal to h?
False
Let n(x) = -x**3 + x**2 - 2. Let q be n(0). Let r be (-1)/(-30 + (-15974)/(-532)). Is r > q?
False
Let y = -118 - 253. Let x = -371 - y. Which is bigger: x or 10/13?
10/13
Let j = 12301.977 - 12303. Is j greater than -4?
True
Let p = -25 + 30.3. Let j = 1764.8 + -1765. Which is smaller: p or j?
j
Let q be (41/(-1))/(1/2). Let v = -115 - q. Let a(m) = m**3 + 75*m**2 + 283*m - 104. Let k be a(-71). Do k and v have the same value?
True
Let k = -216937569 - -24513667089/113. Let o = -2462 - k. Is o < -1?
False
Let m(g) = -4*g**3 + 3*g**2 - 12*g + 46. Let j(l) = -l**3 + l**2 + l + 1. Let d(t) = -2*j(t) + m(t). Let i be d(4). Is i bigger than -122?
False
Let t = 7.338 - 6.938. Which is greater: -699 or t?
t
Let z be 1 + (-3)/6 + 138495/150. Is z equal to 923?
False
Let h = -422 + 219. Let k = h + 204. Which is greater: k or -31?
k
Let w(a) = 10*a - 78. Let z be w(-34). Is z at most -421?
False
Let k be (-334)/(-12) - (-2)/(-6). Let g = k + -28. Let x be (-15)/12 + 1 - 41/(-4). Which is bigger: x or g?
x
Suppose -3*r + 7*r = -2*u + 42, 5*u + r - 69 = 0. Let h be -10*((10 - u) + 38/12). Which is greater: -4 or h?
h
Let j = 13 - 5. Suppose -3*x + 6*h + 16 = 2*h, -j = -2*x + 2*h. Let p = -48 + 242/5. Is p greater than or equal to x?
True
Let p = -4 - -6. Suppose 2*y = -0*y - p. Let d be (-20 - (-174288)/8712)*9/(-3). Which is smaller: y or d?
y
Let m(y) = 5*y**2 + 11*y + 23. Let o = 12 + -4. Let x(u) = 2*u**2 + 4*u + 8. Let j(t) = o*x(t) - 3*m(t). Let v be j(6). Is 126/5 >= v?
True
Let o be 9*31 + 207 + -214. Which is smaller: o or 263?
263
Let s(q) = -q**2 - q - 11. Let f be s(0). Let m = -29 - f. Let z = 10765 - 10784. Which is smaller: z or m?
z
Let z = 467 - 455. Suppose -225 - 159 = -z*r. Is r <= 34?
True
Suppose -2*d + d - 11 = -3*s, 0 = 5*s - 4*d - 23. Let p be 2 + -8 + (s - 1) - -4. Suppose 0*b - 9*b + 54 = p. Which is greater: 5 or b?
b
Suppose 242 + 2947 - 585 = 14*s. Which is smaller: s or 185?
185
Let i(w) be the second derivative of -w**3 + 111*w**2/2 + 52*w - 1. Let l be i(20). Is l != -6?
True
Suppose 14*t - 119 + 97 = -8*t. Which is smaller: t or 8/1553?
8/1553
Let p = -378 - -386. Let j = 915/118 - 1/236. Is j less than p?
True
Let p = -0.08987 - -473.10587. Let w = 470 - p. Let o = -0.016 - w. Which is greater: o or -3/7?
o
Suppose -36*q + 539 = 13*q. Let u = 5 - 4. Let k be 1 + 1 + (u - -6). Which is bigger: k or q?
q
Let n(w) = -71*w**2 - 179*w + 1229. Let j be n(7). Does j = -3505?
False
Suppose -3863*f + 3882*f = 0. Is f bigger than -1/4?
True
Let k = 2799 + -2766. Let z(a) = -a**3 - 5*a**2 + 2*a + 8. Let s be z(-6). Is k at least s?
True
Let b = 2 - 2.05. Let p = -148235 + 148234. Is p not equal to b?
True
Suppose -4*j - 351 = -9*j - 3*t, -4*j = 5*t - 286. Suppose 6*y - 45 - j = 0. Suppose -5*n - 4 = -109. Which is smaller: y or n?
y
Suppose 235 = 5*i + j, -15*j + 14*j = 3*i - 141. Is i at most as big as -0.02?
False
Let t be ((-18)/(-264))/(69/24). Let s = -1.116 + 1.016. Is s at most as big as t?
True
Let m = -10 + 9. Let q be (-3)/(-21) + m + 1. Suppose -1 = -53*i + 54*i. Are i and q equal?
False
Let p be 74/252 - (-78)/(-351). Are p and -62 equal?
False
Suppose 3*a = n + n - 152, 0 = -a - 2. Suppose -6*x + 149 = -n. Do x and 37 have the same value?
True
Let v = 396/13 - 12977/429. Let o = -74 + 74. Which is bigger: o or v?
v
Let z be ((-40)/(-36))/(200/720). Suppose -40 = -0*c - 2*c. Suppose -5*a - 2*y + c = y, 4*y - 16 = -4*a. Are a and z non-equal?
False
Let i be (-1412*12/1008 + 17)/((-6)/(-7)). Let r(x) = -x + 1. Let m be r(-1). Which is bigger: i or m?
m
Let m = -114.423 + 0.423. Let b = m + 242. Which is smaller: b or -1/2?
-1/2
Suppose -92*g + 95*g + 198 = 0. Let d be (33/g)/(11/(-54)). Do 1 and d have the same value?
False
Let l = 133891 + -764115939/5707. Which is smaller: l or 1?
l
Suppose 5*m = -5*i - 35, 3*m + 5*i + 15 = -0*m. Let j be (34*m)/5 - (1 + 1). Let s = j + 29. Is s bigger than -42?
True
Let y = -13722 + 24596. Does y = 10875?
False
Let u = -23 - -53/2. Let k(c) = c - 20. Let d be k(23). Let w = 8 - d. Which is greater: u or w?
w
Let h = -33 - -50. Let p = -5057 + 5072. Is p > h?
False
Suppose -36*y + 179 = -397. Let k be 0/((-4)/2)*8/y. Which is greater: k or -436?
k
Let c(o) = -52*o - 3191. Let i be c(-60). Which is greater: i or -110?
i
Let s = 547503/28 - 19530. Which is smaller: 24 or s?
s
Let q = 68 + -63. Suppose 5*f - 3*c + 9 = 0, -3*f = -4*c - q + 6. Is 0 bigger than f?
True
Suppose -6*u + 2*m + 22 = 0, -4*u + m + 10 + 2 = 0. Which is smaller: u or -4/4355?
-4/4355
Let o = -0.01 + 0.21. Let i(d) = d**3 + 3*d**2 - d - 29. Let r be i(0). Let h be r*3/6*4/2. Which is smaller: o or h?
h
Let i be (-2)/8*1/1. Let k = 563 + -215. Let u = 350 - k. Is i greater than u?
False
Let u = -560 + 610. Is u at least as big as 57?
False
Let n = 143 + 133. Let q be 5 + (0 - n/(-10)). Let o = q - 18913/580. Is o <= 1?
True
Let z(o) = 35 - 17*o - 448*o**2 - 4*o + 446*o**2. Let i be z(-12). Which is smaller: i or -5/17?
i
Let a = -670 + 1360. Suppose -34*g - a = -28*g. Let u = g - -110. Which is smaller: u or -2?
u
Suppose -4*x - 128 = -404. Let b = -3810 + 3878. Which is greater: x or b?
x
Let h be (-22)/143*(4 + 29077). Is -4469 less than or equal to h?
False
Let t = 2645 + -48. Which is greater: t or 2599?
2599
Suppose 0 = 5*o + 2*o - 42. Let b(p) = 2*p**2 - 15*p + 16. Let w be b(o). Let h be (-4*(-7)/(-1736))/((-7)/w). Is 1 at most as big as h?
False
Let i(v) be the second derivative of -v**4/12 + 5*v**3 + 55*v**2/2 + v - 3. Let d be i(36). Is -160 greater than or equal to d?
True
Suppose 5*a + 18 = -2. Let l(w) = 3*w**3 - 5*w**2 - 24*w + 8. Let o be l(a). Which is smaller: o or -167?
o
Let x(y) = -1. Let s(w) = -w - 3. Let q(u) = -2*s(u) + 7*x(u). Let j be q(0). Is j less than -11/7?
False
Suppose -4*x = -0*x - 44. Let r(d) = 2*d**2 + 28*d - 24. Let s be r(x). Let t = s - 2075/4. Is t <= 8?
True
Let k(m) = 2*m**2 - 4*m - 6. Let a be k(3). Suppose 5*b + 171 - 166 = a. Is b at most as big as -18/29?
True
Let k = 0.3 + -0.2. Let b = 183886 + -183893.8. Which is smaller: k or b?
b
Let r(s) = s**2 - 13*s + 10. Let y be r(11). Let c = -14 - -18. Suppose 0 = 2*l - v + 21 + 2, c*l + 4*v = -40. Is y less than l?
True
Let c = -2786.43 - -2787. Are -35 and c unequal?
True
Let x be ((-245)/(-308) + -1