alse
Let q(p) be the second derivative of p**5/20 + 4*p**3/3 - 45*p**2/2 - 226*p. Let u be q(6). Which is greater: u or 220?
220
Let n = -101 - 173. Let p = 282 + n. Let b be ((-4)/6)/(15/(-9)). Are b and p equal?
False
Let m be 4 + ((-84)/(-4) - 3). Let v = 1 + 12. Let q be (-2)/(-8) - v/20. Does q = m?
False
Let m be (6/(-15))/((-32)/(-80))*39. Which is bigger: m or -36?
-36
Let c be -32*(-84)/(-14958) + (-4)/(-36). Which is smaller: 1 or c?
c
Let m = 20465 + -4481851/219. Do 0 and m have the same value?
False
Suppose -2*p + 4*r - 4 = 0, p = r + 4*r + 7. Let w = -1118177 - -197915749/177. Let y = w + -24/59. Which is smaller: y or p?
y
Let b(y) = 3*y + 50. Let l be b(-16). Suppose -4*o - w + 51 = 0, -w + 1 = -l*w. Is 12 less than o?
True
Suppose 0 = 57*y - 58*y - 4*t - 27, 3*y = 5*t - 98. Do 6 and y have the same value?
False
Let n = 27 - 27.1. Suppose 15*f = -1949 - 151. Is f bigger than n?
False
Suppose 0 = 2*l - 3*l + 2. Suppose -b - k + 44 = 0, l*b = -4*k - 2 + 98. Let w = b + -40. Which is smaller: 3 or w?
w
Let d be (-2 - (-1185)/(-126)) + (-234)/351. Which is bigger: -12 or d?
-12
Let f(n) = -21*n**2 - 80*n - 1944. Let h be f(-17). Are -13305/2 and h unequal?
True
Let p(b) = 14*b + 3. Let t be p(14). Let h = t - 558. Which is smaller: -715/2 or h?
h
Let n be (-7310)/(-3)*18/12. Let x be (-2)/(-20) - n/(-450). Which is bigger: 9 or x?
9
Let w = -31878 - -31588.839. Let j = -289 - w. Let y = -0.061 + j. Which is bigger: 0.058 or y?
y
Suppose -2875 + 2953 = 26*t. Which is bigger: 124/55 or t?
t
Let a = -135 + 242. Suppose 0 = -a*n + 108*n - 25. Is n less than 151/6?
True
Let d be 10*(18/(-10)*-2 - -2). Let y = -53 + d. Let s be -15*(4 + (-11)/y). Is s less than -5?
False
Let k(f) = -f**3 - 4*f**2 + 5*f + 2. Let y be k(-5). Let j be -2 + -28 + 6/y. Let z be ((-696)/(-36))/(2/(-3)) + 15/(-15). Is z smaller than j?
True
Suppose -64 + 79 = 3*i, 0 = -s + i + 195. Is s not equal to 198?
True
Let w = 1554 - 1553. Is 13/310 at most as big as w?
True
Let y be ((-48)/60)/(2/(-15)). Let z be (-28)/3 + y/18. Let m be (4 - 1/1)*64/(-24). Which is bigger: m or z?
m
Suppose -120*l - 12 = -124*l + t, 0 = 3*l + 2*t + 2. Let c(w) = -36*w**2 + 1. Suppose 2*f + 3*u = -4 + 5, 2*u + 2 = -4*f. Let q be c(f). Is l at least q?
True
Let k = -2945/8853 - 2/2951. Which is greater: k or -5/62?
-5/62
Let t be (-4)/54 - 13230/(-1458). Are 152 and t non-equal?
True
Suppose 0 = 28*y - 504 - 224. Let l be ((-2)/4)/(y/8164). Which is bigger: l or -156?
-156
Let a = -219/4 + 56. Let l = -49596 + 396765/8. Is l bigger than a?
False
Let f(n) = -3*n - 20. Let k be f(-6). Let l be 6/(-51) + (-948)/34. Let d = l - -25. Which is smaller: d or k?
d
Suppose 3*c - 3*p - 2*p - 40 = 0, 3*p = -c - 10. Suppose 2*v + 168 - 174 = 0. Which is bigger: c or v?
c
Suppose -3*t - 332 = -4*t. Let u be (1312/3936)/(-2*(-1)/1998). Do u and t have the same value?
False
Let a be (1416/172 - 4) + -4. Let d = a + 175/172. Which is bigger: d or 1?
d
Suppose 330 = v + 327. Let c be v + 351/6 - 10/(-10). Does -0.1 = c?
False
Suppose -2*o = -i - 308, -5*o + 227 = 3*i - 565. Let f = 227 - o. Is 71 <= f?
True
Suppose -o + 4*w - 6 + 20 = 0, -2*o - w = -64. Let s be -2*4/48 + 2888/48. Let t = 91 - s. Is t at least o?
True
Let q = 540 - 530.9. Let w = q - 9.42. Which is smaller: -0.1 or w?
w
Let y be (-36)/14 - (-3)/(-7). Let a = -2249 - -13483/6. Which is bigger: y or a?
a
Suppose -57*r + 103*r + 1220 = 50*r. Which is smaller: 301 or r?
301
Suppose -y + 3 = -0. Let f = -18.3 - -16.068. Let v = -0.232 - f. Which is smaller: y or v?
v
Let g be 35/8 - (100 + -90). Let y(p) = -p + 11. Let c(x) = -3*x + 33. Let r(o) = -4*c(o) + 11*y(o). Let l be r(5). Are g and l unequal?
True
Suppose -25*t + 24*t - 5*f = -847, -4319 = -5*t - 4*f. Which is bigger: 4341/5 or t?
4341/5
Let y be 168/(-64) + 9/(-24). Let q be y + 0 + -4*(-4 + 3). Let t = 5/116 - 603/19372. Is q at least t?
True
Let k = -138.1 + 269. Let x = 130.3 - k. Let i be -1 + (-2)/(-1) + -8. Which is smaller: i or x?
i
Suppose -242 + 359 = -13*l. Which is smaller: 403 or l?
l
Let j = 5469 + -5470. Is j at most as big as 11/522?
True
Let l be (-4)/4 - (-6)/2. Suppose 12 = x - 2*w - 11, -4*x + l*w + 68 = 0. Suppose 152 - 430 = -44*k + 382. Is x equal to k?
True
Suppose 0 = 3*j - 19 - 20. Suppose j = -8*b + 9*b. Suppose b*l - 16*l - 3 = 0. Which is smaller: -3/13 or l?
l
Let n(q) = 3*q - 16. Let h(s) = s**2 + 16*s + 34. Let l be h(-14). Let v be n(l). Is v at most 38/15?
True
Let n = 421 - 606. Let w = -177 - n. Let m(y) = y**2 + 4*y - 11. Let h be m(-7). Which is bigger: w or h?
h
Let h(v) = -v**3 - 16*v**2 + v + 19. Let n be h(-16). Suppose n*u + 4*d = d - 312, -20 = -4*d. Let o = u + 102. Which is smaller: o or -22/3?
-22/3
Let a(g) = -23*g - 110. Let p be a(-5). Suppose m = -5*n - 66, -30 = 7*n - p*n + 4*m. Let w(j) = -15*j**2 - j. Let v be w(-1). Which is greater: n or v?
n
Let b(l) = -91*l - 820. Let y be b(-9). Is y less than -81/79?
False
Let k = -167759/1634 - -1954/19. Which is bigger: -1/12 or k?
k
Let t be (-2786)/(-199) + -1*(-44)/(-4). Is t < 68/29?
False
Let w be 1/4 - (-5)/(-4). Let c = 186.7 + -319. Let j = c + 132.8. Which is smaller: w or j?
w
Let p = -380 + 190. Let g = -189.1 - p. Is 5 greater than g?
True
Let u be ((-2)/30)/((-2534)/210 - -12). Is 11/9 at most u?
False
Let o = 13028 + -13571. Which is smaller: o or 1?
o
Let k(s) = -s**2 + 9*s - 14. Let t be (-9)/(-18) - 11/(-2). Let x be k(t). Suppose -i + 2 = 2*c + 1, x*i - 4*c + 8 = 0. Are i and 0 non-equal?
True
Let c(t) = -7 - 7 - 3*t - 33. Let q = -880 - -864. Let x be c(q). Which is greater: 1/4 or x?
x
Suppose -9 - 1 = -5*u. Let o(j) = -j**2 - 1436*j - 64. Let t be o(0). Which is greater: u or t?
u
Suppose -1420 = -22*g + 7*g - 127*g. Which is bigger: 414/41 or g?
414/41
Let b(a) = -20*a + 1. Let v be b(1). Let u(h) = -6*h**3 + 38*h**2 - 59*h - 4. Let w be u(2). Is v at most as big as w?
True
Let z = 3339 - 3361. Which is smaller: 23/3 or z?
z
Let m = 49.3 + -50.21. Let f = m - 1.64. Are 2/3 and f unequal?
True
Let n = -211234 + 5281631/25. Which is greater: n or 32?
32
Suppose k - 25 = 5*s, -3*s - 43 = -0*s + 5*k. Let i be 2/s - 1*(-9 - 2). Are 12 and i equal?
False
Let q = 37.86922 - -0.13078. Let o = 37.089 - 0.089. Let y = o - q. Is -89 at least y?
False
Suppose -5*a - 4 = 5*r + 1, -5*r + 3 = -3*a. Let f = 7461/7 + -1067. Is f not equal to a?
True
Let p = -131026 - -1289950969/9845. Is 0 equal to p?
False
Let l = 328 + -559. Suppose -3*a - 4*p - 39830 = -39126, -2*a - 3*p = 470. Is l bigger than a?
True
Suppose 5*q + 4*z = -984, 2*q + 0*z + 390 = 2*z. Are -118 and q non-equal?
True
Let a = 4157/31 - 134. Suppose -h - 4*h = -75. Let j = 16 - h. Does j = a?
False
Let l = -19352.783 - -19353. Is -0.11 != l?
True
Suppose 46*z + 270 = 776. Which is smaller: z or 12?
z
Let c be (4/(-7))/(54/14 + -4). Let x be -9 - -11 - (-2 + c). Suppose 4*q + 150 = -5*i, 5*q + 16 - 41 = x. Do i and -34 have different values?
False
Let j(w) = -w**3 + 6*w**2 + 4*w - 6. Let n be j(5). Suppose -54*f + 2607 + 3009 = 0. Let g be f/6 - 13/n. Is -1 at least as big as g?
False
Let r be (-1)/((-40)/(-336))*(-8)/((-64)/(-660)). Do 692 and r have different values?
True
Let a = 17304 - 18482. Which is smaller: a or -1171?
a
Let h = -6/27733 - -1026163/194131. Let u(k) = 6*k**3 - 2*k**2 + k. Let z be u(1). Which is smaller: h or z?
z
Let a(f) = f**3 - 12*f**2 - 2*f + 24. Let p be (27/(-6))/(3/(-8)). Let q be a(p). Let l be (6*2/3 - q)/1. Is -1.5 <= l?
True
Suppose -40 = 5*w - 5*b, w + 2*b = -3 + 4. Suppose 3*p + 2*l + 309 = -l, p = 5*l - 121. Let s = -112 - p. Is s <= w?
True
Let c = -245/3507297 + -53183964850/60041417343. Let b = c - 8/901. Which is smaller: 0 or b?
b
Let t(f) = -20*f - 14. Let l(j) = -1. Let k(v) = -3*l(v) + t(v). Let s be k(-2). Let r = s + 1. Are r and 30 equal?
True
Let l be (2 + -5)/(4/(-132)). Let x = 17 + l. Let g be 1/(-3 + 352/x). Is 30 < g?
False
Let c(u) = u**2 + u + 2. Let v be c(-2). Suppose x + v + 3 = 0. Let a = 578/29 - 2861/145. Is a at least x?
True
Suppose j = -3*j + h + 53, -37 = -3*j - 2*h. Let g be (-6)/(-20) - j/(-26). Let n = -2.5 + 2.6. Are g and n non-equal?
True
Suppose 0 = 2*x - 9*c + 8*c + 31, x + 5*c + 10 = 0. Let w be 1/(-3) - x/45. Let m = 25 + -51/2. Is m great