et w(j) = -j**2 + 18*j + 10. Let o(a) = -5*n(a) - 2*w(a). Let s be o(3). Which is greater: -10/27 or s?
s
Let p(m) = -m**3 + 2*m**2 - 3*m + 3. Let o be p(3). Suppose -l - 28 = 10257*d - 10258*d, -4*l - d = 87. Is l greater than o?
False
Suppose 25*m + 1766 - 4477 = 2914. Is m at least 2014/9?
True
Let o(b) = 2*b**3 + 19*b**2 - 98*b - 464. Let l be o(-12). Which is smaller: l or 134?
l
Suppose -241*b - 4 = -237*b. Is b smaller than -13/1097?
True
Suppose -189*s = -127 + 316. Is s <= -3/50?
True
Suppose 0 = 15*f - 16*f + 2*y + 12, 28 = 3*f - 2*y. Let h be -5 + f - (-125)/(-41). Is h at most as big as 1?
True
Suppose 91*k - 144*k = -80*k - 4320. Which is smaller: -156 or k?
k
Suppose -8*p - 50 = -31639 - 7019. Is p greater than 4825?
True
Let p = 1882/7 - 19429/70. Is p smaller than -9?
False
Let q be 16/2 - (26 + -38). Suppose q*a = 5*a + 1110. Which is greater: 293/4 or a?
a
Suppose -47*c + 46*c + 282 = -5*u, -3*u = 5*c - 1242. Which is smaller: c or 253?
c
Let y = -6102.7 - -6088. Which is smaller: y or -2?
y
Let a be (-151)/79 - (-2 + 0). Let c be 217/341*-11 - -8. Which is bigger: c or a?
c
Let a(t) = -t**3 - 39*t**2 - 41*t - 113. Let m be a(-38). Is -3/5741 less than m?
True
Let z = -43/140870 - 118986947/157915270. Let b = -83/9 + 4888/531. Let l = z - b. Is l at least as big as -2?
True
Let v(z) = -z**3 - z**2 + 8. Let b = 2 + -7. Let i(k) = k**3 + 5*k**2. Let l be i(b). Let c be v(l). Do c and 2 have different values?
True
Let z = -0.09 - -31.59. Let c = 29.9471 - -0.0529. Let x = z - c. Is -0.1 greater than x?
False
Let j be 32/56 + (-6116)/266. Let k = j - 1578/133. Let q = -8887/259 - k. Is q != 0?
True
Let n = 154 - 22. Let s = n + -139. Which is smaller: s or 5?
s
Let d be (-60)/100 - 2/(-4). Suppose -29*c = -33*c. Which is smaller: c or d?
d
Suppose 0 = -3*v - n + 59, 16*v = 11*v + 3*n + 89. Suppose -7*a + v - 12 = 0. Which is greater: 26/15 or a?
26/15
Let i = 1.08477 + -0.08477. Let x be ((-2)/6)/(2/(-3)). Is x less than i?
True
Let f = 71 + -102. Let o = 23 - 54. Let u be o*(-6 + 8 - 1). Is f at least u?
True
Let x be ((-8)/(-6))/2 + (141040/123)/(-10). Which is smaller: x or -120?
-120
Let n = -7 - -9. Suppose 6*c - 12 = 9*c. Let w be 1*c*(0 + 7/(-16)). Which is smaller: n or w?
w
Let p(a) = 2*a**2 - 84*a - 5617. Let v be p(78). Let y = -877/13287 + 6/103. Is v greater than or equal to y?
False
Let h = 135499 - 679791/5. Is h <= -460?
False
Let j be ((-39)/3)/(-8 - (-28)/4). Let i = 68 + -32. Suppose 4*c - i = 20. Is j at least as big as c?
False
Suppose 5 = 3*v - 4*v. Let u(x) be the third derivative of x**4/24 + 3*x**3/2 + 32*x**2. Let y be u(-12). Which is smaller: v or y?
v
Let q be (-3)/(-3 + 10080/3368). Let l = q - 256. Which is greater: l or 166?
166
Let f = -101.182 - -0.182. Let c = -100 - f. Is -84 equal to c?
False
Let g(o) = -o**3 + 8*o**2 + 18*o + 11. Let v be g(10). Let u be (-93)/v + 4/6. Let b = 2 + 9. Is b at most as big as u?
True
Let n(h) = -h**2 - 7*h + 15. Let d be n(-7). Let x be d - (2 - (-3)/3). Let s be ((-1)/(-4))/(x/48). Is s less than -1/41?
False
Let x = 3598/15 - 722/3. Which is bigger: -7/19 or x?
-7/19
Let c = -0.0013 - 2.0487. Let i = c - -1.35. Is 0.2 bigger than i?
True
Let z be 4*3/(-60) - (-6 + (-12)/(-15)). Which is smaller: z or 12?
z
Suppose 54*f - 35*f - 25*f + 1416 = 0. Which is bigger: f or 233?
f
Suppose -4*g - 2*t - 12 = -9*g, 2*t = -3*g + 4. Suppose -33*j + g = -31*j. Let p = -1/26 + -41/286. Is p equal to j?
False
Suppose u + 11 - 71 = 0. Let b be (-84)/(-27)*-3*12. Let s = b - -172. Is u smaller than s?
False
Let g = -27027 + 79786/3. Do g and -433 have the same value?
False
Let b = -22 - -8. Let q be (1/(b/30) + 2)*-1. Let l be 1/(28/(-12) - -2). Is l at most as big as q?
True
Let f = -0.0133 - -39.7133. Let h = f - 41.7. Is h smaller than 7.2?
True
Let p be 5099 + (-1 - 1 - 1). Suppose -15*a - p = -a. Which is smaller: -365 or a?
-365
Let m = 16130 + -7694006/477. Which is smaller: -1 or m?
-1
Let t = 23/80 - -729/80. Let p(h) = -h**3 - 18*h**2 + 6*h - 237. Let q be p(-19). Which is smaller: t or q?
t
Let p = -100.3 - -101.106. Let o = -0.709 + p. Which is greater: o or 3?
3
Suppose k - 28*z + 25*z = -291, 5*k - 2*z = -1442. Let v be k/(-64) - 1/2. Let u be (4/10)/((-3)/(-24)). Which is smaller: v or u?
u
Let c = -3458 - -3361. Which is smaller: -0.01 or c?
c
Suppose 2*t - 4073 = -3*y - 18513, 2*t - 4*y = -14440. Does -7221 = t?
False
Suppose -8 = -4*d - 2*n, 0 = 16*d - 13*d - 2*n + 8. Let z = -129866/61 - -2129. Are z and d equal?
False
Let q = -0.29992 + 0.19992. Let h be (-3 - (-12)/8)*-88. Is h at most q?
False
Let w = 1.1 - 17.1. Let p be (-10)/(2*2/(-32)). Let h = p - 80. Is h equal to w?
False
Suppose -2*h + 1524 = 2*v, 2*v + 755 - 2297 = 4*h. Suppose v = -23*l + 8*l. Is l smaller than -49?
True
Let n = -1815.6348 + 0.6348. Which is bigger: n or 2?
2
Let p(u) = 8*u**2 + 160*u - 17. Let n be p(-20). Which is bigger: -449/28 or n?
-449/28
Let u be (-2)/(-201)*4995/444. Is u less than or equal to -1?
False
Let l = -7 - -5. Let v be -5 - 0 - (4 + l). Let t = 11611 - 11620. Which is smaller: t or v?
t
Let n be ((-42)/12)/(3/(-174)). Let d be ((-14 - -4) + 68)/(2/7). Is d bigger than n?
False
Let t = 53/468 - 3/52. Let y be 40/15 - (-1 + 3). Which is smaller: t or y?
t
Let t = -476 - -483. Let l be (91/t)/117 - 122/(-9). Which is bigger: 15 or l?
15
Suppose 101*a = 96*a + 10. Let h = -28 - -100. Is a smaller than h?
True
Let z = -21/19 + 29/95. Let l = -93076/21 - -4432. Is l less than z?
False
Let t be 15/(-10)*3*4. Let r = 875 + -842. Let x be (3/4)/(t/r). Is -2 > x?
False
Let v be 4/(48/33)*4. Suppose 0 = -m + 4*g + g + 7, 5*m = 2*g - v. Let a be 108/324 - 87/45. Is a at least as big as m?
True
Suppose -2371*i = -2358*i + 46306. Are i and -14247/4 equal?
False
Let x be (-153*(-10)/1305)/(-2 - -1). Which is bigger: x or 0?
0
Suppose 175*j + 2 = 353*j - 176*j. Which is greater: 20/239 or j?
j
Let s = -4592 + 4592. Is s bigger than -3/8201?
True
Let q = -2921 - -3132. Is q > 209?
True
Let t be 1 + 4 - ((-12)/2)/(-2). Suppose 3 - 3 = t*z. Suppose 3*x + x + 4 = z. Which is smaller: x or -6/25?
x
Let r = 257266/55 - 4678. Suppose -u + 2*u - 3*x - 16 = 0, -2*u + 17 = -3*x. Is u greater than or equal to r?
True
Let j = 333.4342 - 333.35. Which is bigger: j or 0.04?
j
Let d(s) = 182*s**2 + 730*s + 9. Let w be d(-4). Is -3/2629 not equal to w?
True
Let n be (-14)/21*(-9 - (-9)/3). Suppose -5*w + 2*b + 5 = 0, 4*w - 1 = 3*w + n*b. Let z be 938/(-84) - w/(-3). Is -10 at least as big as z?
True
Let f(t) = 4 + 11*t - t**2 + 2*t - 13*t + 7*t. Let k be f(7). Suppose 275 = k*r - 15*r. Is -24 at least r?
True
Let d be 30/(-170) - (-167992)/954074. Which is smaller: d or 0?
d
Let d be (-49)/2 - (27 - 14). Let o be (1 - (3 + 0)) + -1. Let p be o/(-5) - (-1316)/(-35). Which is greater: d or p?
p
Let o be 12 + 31378/18 + 16 + (-2)/9. Which is bigger: o or 1773?
1773
Let i be ((-4)/(-10))/((-16)/(-40)). Let g = -2580/7 - -7739/21. Which is greater: i or g?
i
Let r = 63984 - 190864270/2983. Which is bigger: r or 0?
r
Suppose 4 = 165*r - 170*r - 3*f, 0 = 5*r - 4*f - 17. Are -1/18122 and r equal?
False
Let k = 220 + -216. Let o be (-3)/((-3)/k - 225/(-100)). Which is smaller: -34/13 or o?
-34/13
Let d = -32761/72 + 455. Suppose -4*v - 14 = 3*l - 4, -11 = v + 5*l. Is v at least d?
False
Let a be 24/160 - (46/(-184) - (0 - 0)). Which is bigger: a or 1062/7?
1062/7
Let x = 78.65 - 78.89. Is -4/3 > x?
False
Let a(m) = 14*m + 63. Let i be a(9). Let o = 189 - i. Which is bigger: o or -2/2345?
o
Let w be 0/(0/(-2) - -1). Let g be 3942/(-2825)*22/(-88). Let k = g - 17/50. Which is bigger: w or k?
k
Suppose -374*j = -382*j + 16. Suppose -4*i + 2*i - s + 9 = 0, -2*s = -5*i. Suppose i*p - 19 = p + 5*q, -4*p + 4 = -j*q. Is p equal to 4?
False
Let p be 6/20 + -9*2568/62640. Which is smaller: 133 or p?
p
Suppose 3*h - 2*h = 1. Let j be (86/(-24940))/(2/(-10)). Which is smaller: h or j?
j
Let r be 5/(-40)*-2 - (-3156)/(-336). Which is smaller: r or 0.4?
r
Let u(s) = s**3 + 11*s**2 - 11*s + 10. Let o(k) = 4*k - 52. Let y be o(10). Let b be u(y). Let r be b - 22/(-14) - (-117)/28. Is r less than or equal to 4?
True
Let t(c) = 3*c**3 + 5*c**2 + 5*c - 4. Let v be t(-2). Which is smaller: -80 or v?
-80
Let r(v) = v