se o*n + 68 + 32 = 0. Let z(a) = 2*a**3 + 2*a**2 - 3*a + 1. Let y be z(-3). Is y greater than n?
False
Let r = 14 + -10. Suppose 275*y - 1080 = 267*y. Let c be (108/y)/(4/10). Which is smaller: r or c?
c
Suppose 2*i = 13*i - 44. Suppose -2*w - 13 = -t, -8 - 5 = -i*t - 5*w. Which is greater: t or 11/2?
t
Let w be (2/(-5))/(14/(-70)). Let p be (w/(-4))/((-4)/(-24)) + 8. Suppose 3 = -p*j - 3*a, -2 - 5 = -3*j - 4*a. Which is smaller: -8/3 or j?
j
Let t(o) be the first derivative of o**4/4 - 11*o**3/3 + 6*o**2 - 21*o - 5. Let k be t(10). Let d be -12*(-3)/276*2. Are k and d non-equal?
True
Let q(p) = p**2 + 149*p - 2821. Let u be q(17). Which is smaller: -5/114 or u?
-5/114
Let k be ((-214)/(-210) - (6 - 5))/((-72)/(-5340)). Which is greater: 0 or k?
k
Let s(c) = c**3 - 13*c**2 - 14*c + 1. Let i be s(14). Let a = 30817 + -2619449/85. Which is smaller: i or a?
a
Let k(g) = 5*g + 7. Let d(h) = 4*h + 8. Let u(a) = 4*d(a) - 3*k(a). Let n be u(-7). Let y be 6/n*-7*10/(-105). Which is greater: 1/4 or y?
y
Let l be (-2*1)/((-213)/54 + 4). Let o be (l/(-15))/(9/150). Suppose -o - 128 = 8*g. Is -22 >= g?
False
Let l = -322 + 321. Let b = -190 - -151. Which is bigger: b or l?
l
Let b(s) = -12*s + 419. Let m be b(17). Do 223 and m have different values?
True
Let o(w) = -w**3 - 8*w**2 + 8. Let z be o(-10). Suppose 5*i - z = -3*i. Which is smaller: 29 or i?
i
Let q = 5690 - 1637. Suppose -98*f - q = -119*f. Are 192 and f equal?
False
Let p = 6197 - 6195. Is p greater than 428/3?
False
Suppose -3*i = -0*i + 30. Let n be ((-60)/(-56))/(-3)*(-8)/i. Which is bigger: 10 or n?
10
Let w = -15 + 14. Let p = -17.01 - -4.91. Is w smaller than p?
False
Let b be (68 - 5)/(2 - (10 - 7)). Suppose -2*k = -0*k + 122. Which is smaller: k or b?
b
Let z = 125.2 - -27.8. Let s = -151 + z. Let t = 0.6 + -3.6. Which is bigger: s or t?
s
Suppose 2187*n = 2101*n + 9116. Which is smaller: 95 or n?
95
Let j be ((8 + -11)/(-3))/3*-27. Let q(l) = -16*l**2 - 2*l - 1. Let i be q(-1). Which is smaller: j or i?
i
Let p be 0 + -8 + 7 + -42. Do p and -44 have different values?
True
Let s be 3/108 - (-43134)/(-36504). Are s and 0.123 equal?
False
Suppose 2*x + 4*k - 14 = 0, 5*x = -7*k + 4*k + 35. Suppose 16*t - 7 = -x. Which is bigger: -1/417 or t?
t
Suppose -22*m - 867 = 57. Are m and 21 equal?
False
Let x(u) = u**2 - 8*u + 17. Let p be x(7). Let w be 4 - p*(-7)/(-21). Let r be 10/14*2/(-5). Is w >= r?
True
Let i be 14*1/4 - 39/(-26). Suppose i*q + 4*h - 3*h + 12 = 0, -6 = -q - 3*h. Is 3/13 smaller than q?
False
Suppose -5*d - 30 = -0*d. Let b(h) = 9*h**2 - 21*h - 2. Let l(i) = -i**2 + 4*i. Let v(c) = -b(c) - 6*l(c). Let t be v(d). Do -88 and t have different values?
False
Let q(r) = r**3 + 14*r**2 - 4*r - 25. Let s be q(-14). Suppose -30 = 33*t - s*t. Is t greater than -9?
False
Let x be ((-177)/72)/((-33)/(-2244)). Which is greater: -166 or x?
-166
Suppose -3*v + 3*n = -5*v - 2, -3*n + 18 = -3*v. Let f be (v/(-7))/((-24)/6972). Which is greater: -167 or f?
f
Suppose -m - 5*f - 20 = -2*m, 0 = -m + f + 12. Suppose 0 = -m*t + 7*t. Let u be 4 - (t - 50/(-8)). Which is smaller: -2 or u?
u
Suppose 15*q + 172494 = -27*q. Is -4108 at most q?
True
Suppose l - 3*u + 16 = 0, 0 = -1629*l + 1627*l + 3*u - 26. Let v(q) = -q - 19. Let z be v(-8). Is l greater than z?
True
Let s(k) = -908*k**3 + 4*k - 4. Let h be s(1). Let c = 1086 + h. Is c at most as big as 179?
True
Let c be 44/(-5) - 186916/830. Let a = -728 - -494. Are c and a non-equal?
False
Suppose 36*r - 32*r + 2500 = 0. Is r at most as big as -628?
False
Let q = 2 - 1.96. Let p be 128/68 - (-20)/170. Suppose p*m - 200 = -192. Which is smaller: q or m?
q
Let q(o) = 11*o - 64. Let i be q(6). Suppose i*m + 1115 = 1103. Which is smaller: -5 or m?
m
Suppose 0 = 10*f + f. Suppose o - 4*v = 3*o + 80, f = v. Which is greater: o or 2?
2
Let j = 2595/32 + -7989989/98528. Is 0 at least j?
False
Let c = 12 + -6. Let f be 10/(-15) - 3955/(-15). Let i = f - 252. Which is smaller: c or i?
c
Let r be (728/(-273) - 6/(-2))/((-6)/27). Let m = 2 + -1.9. Let w = m - 0.1. Is w at most r?
False
Let p(b) = -6*b**2 - b + 1. Let f be p(-2). Let t = f + 19. Which is greater: t or -10/3?
t
Suppose -2*j - 18 = 5*t, 4 = 5*j - 1. Let k be (7/(-7))/(((-4)/(-3))/t). Suppose -8*r + 11*r = k. Which is smaller: -10/21 or r?
-10/21
Let d = -287 + 269. Let k(o) = -o**2 - 24*o + 97. Let w be k(4). Is w smaller than d?
False
Let q = -2 - -8. Let m be ((q/15)/2)/1. Let t = -27041 - -27048. Is m >= t?
False
Let g = 212 - 177. Suppose -2*p = r + 1, g = -3*r + 3*p + 5. Is r smaller than -7?
False
Let o(u) = -u**3 + 2*u**2 - 3*u + 203. Let c be o(0). Let j = 152 - c. Which is smaller: -251/5 or j?
j
Let y = -6121 - -6127. Let g = -1 - -1.04. Is y greater than or equal to g?
True
Let f be ((-2)/(-2))/2*-2. Let l = 796 + -796.169. Let q = 0.031 - l. Which is greater: q or f?
q
Let n be -3 + ((-247)/(-22610))/(4/1114). Let j = n + 1/68. Which is greater: j or 0?
j
Let b = -260.85 - -8.85. Let w = -249 - b. Let u = 0.2 + -0.12. Which is bigger: w or u?
w
Let y(t) = t**2 - 4. Let i be 3/(36/(-8))*12. Let r be y(i). Let s be r/42 + (-4)/2. Do s and -1 have the same value?
False
Suppose -3*x = -0*o + 5*o - 732, -x = -2*o - 233. Suppose 4*r + 3*q = 953, 111*q - 113*q + 476 = 2*r. Is r at least x?
True
Let s = 11.602 - 22.102. Which is smaller: -4 or s?
s
Suppose -300*y + 3 = -302*y + 3*j, 5*y + 1 = j. Which is smaller: 1/102 or y?
y
Let k = 1793 + -1281. Suppose -k = -8*f + 1312. Let r be 20/(-5) - (-910)/f. Which is smaller: 1 or r?
r
Suppose -68*c + 77*c - 936 = 0. Suppose 5*r - 320 = -3*z, r - 3*r + 2 = 0. Is z at least c?
True
Suppose 2*f + 345 = 2*g + 721, 0 = -5*g - 5*f - 900. Is g at least -1467/8?
False
Let i be 2 + (-4)/((-20)/35). Suppose -i*q = -5*q + 56. Let j be 4/q + (-33)/(-42). Is 0 not equal to j?
True
Let d = -2995 - -2991. Which is smaller: d or 14/5?
d
Let z = 248 + -419. Let m = -172 - z. Which is greater: -35 or m?
m
Suppose -4*d + x = -493, -3*d - 29*x = -30*x - 371. Which is bigger: d or 124?
124
Let i(b) = 2*b - 19. Let k(f) = 4*f - 39. Let t(s) = 11*i(s) - 6*k(s). Let l be t(16). Let c = l + -12. Which is greater: c or -20?
c
Let v(f) = -f - 4. Let o be v(-6). Suppose 11*j + 2784 = 3*j. Let u = j - -2434/7. Which is smaller: u or o?
u
Let v = 29 - -39. Let b = -89 + v. Let x be 4 + 0 - 4 - b. Is x < -2?
False
Let z = 62.64 - -90.86. Is 1 < z?
True
Let p = 12528 - 12527. Are p and -20/337 equal?
False
Let o = -0.60535 + 0.11835. Is 0 at least as big as o?
True
Let x = 68 + -65. Let w be (-3 + x)/1 - -124. Let u be 2/(-12)*2 - w/24. Which is smaller: u or -7?
-7
Let k be (9/160155)/(24/(-180)). Which is bigger: k or -1?
k
Let d = -7739833/3788 + 8173/4. Which is greater: -1 or d?
d
Let l be ((-21)/3 - (-1 + -1137))/3. Which is smaller: l or 375?
375
Let r = -1561 - -14387/9. Is r > 39?
False
Let l be -8 + 1/2*4. Let i be (-10)/((-420)/(-702)) + 3 + 9. Which is greater: l or i?
i
Let x be 1/(11/3575*13). Is 327/13 >= x?
True
Suppose -10 + 2 = 2*v. Let i be ((-2)/v)/((-19)/(-1824)). Suppose -y - a + 5 = 0, -a - i + 11 = -5*y. Is 4 >= y?
False
Let x be (-1537)/(-1 - 1436/(-1198)). Let f = x + 7737. Let p = -21/17 - f. Which is bigger: -2 or p?
p
Suppose 25 = -5*y, m - 83 - 140 = -2*y. Let w = -233 + m. Which is bigger: -106 or w?
w
Let v be (-67335)/402*(-16)/(-1810). Which is greater: 0 or v?
0
Let p(l) be the second derivative of 5*l**3/6 - 77*l**2 - 45*l. Let y be p(26). Are -25 and y nonequal?
True
Let l = 3.282 + -0.412. Let m = l + -0.66. Let o = 0.91 - m. Is -1/3 less than o?
False
Let q be 11/((-77)/(-35)) + 214. Is -12 > q?
False
Let d be (-4 - 186/(-36)) + (-35)/21. Which is greater: -2/3271 or d?
-2/3271
Let c = -27 - -27.4. Let r = -174 + 167. Which is bigger: c or r?
c
Let x(d) = -2*d**3 + 46*d**2 - 94*d - 372. Let r be x(16). Is r != 1697?
True
Let f = -21 - -11. Let u = -528282 - -528270. Which is smaller: f or u?
u
Let n = -0.15029 - 81.84971. Is 71 less than n?
False
Let v be -22 + -147*11/(-77). Let o = -4009 + 1976438/493. Is o at most as big as v?
False
Let t(r) = 15*r - 42. Let l be t(3). Suppose 5*m = 5*z - 0*z + 5, 3*m - l = 2*z. Is 8 greater than m?
True
Let o = 69 - 0. Let c = -69.4 + o. Let m = -30 + 47. Is m greater than or equal to c?
True
Let w 