= -4 - i. Which is greater: f or 52?
52
Let a(j) = -j**2 + 6*j - 5. Let z(s) = -s**3 - 15*s**2 - 15*s - 9. Let n be z(-14). Let p be a(n). Suppose -5*v + 72 + 138 = p. Which is greater: 43 or v?
43
Suppose -696 - 148 = -3*o - n, -o - n = -278. Let w = -121 + o. Is 161 not equal to w?
True
Let x be 1078/(-40)*((-715)/54)/(-11). Let k = -261/8 - x. Which is smaller: -1 or k?
-1
Let c be (-3)/(-5) - 506/10. Let r = c + 46. Let m be (8 + -1)/(2/r). Which is bigger: m or 1?
1
Let p be (1 + (-6)/9)/((-68)/(-864)). Let w = 373/68 - p. Is 1.4 > w?
True
Let f(k) = 31 + 3*k**2 - 6171*k + 6174*k - 23 + 17. Let r(l) = -l**3 + 5*l**2 + l - 5. Let c be r(5). Let u be f(c). Which is smaller: u or 23?
23
Let x(b) = 0 - 8*b + 0 + 5 + 1. Let z be x(5). Suppose -4*r - 71 = s + 73, 2*s = 4*r + 132. Which is smaller: r or z?
r
Suppose 731*w - 811*w = -13600. Are 1876/11 and w equal?
False
Let f(r) = 0*r + 133*r**2 - 3 - 135*r**2 - 10*r. Let s be f(-4). Let x be (24/(-14))/(3 + 92/(-28)). Is x greater than or equal to s?
True
Let s be (-851)/(-66) + (-2576)/161. Which is smaller: -2 or s?
s
Let p(f) be the third derivative of -f**5/60 + 3*f**4/8 + f**3 + 22*f**2. Let n be p(9). Let t = n - -48. Is t equal to 53?
False
Let d(x) = x - 4. Let i be d(-10). Let p be i*1*2/(-4)*1. Let w be (-1)/(-3) - (-100)/15. Is p at least w?
True
Let y = 3077 + -2651. Is y greater than or equal to 412?
True
Let x = -281353939072/658930887 - -2/28649169. Let w = 427 + x. Is w > -0.2?
True
Let z(r) = r**2 + 5*r - 8. Suppose 3*x = 5*x - 6, c + 3*x - 3 = 0. Let t be z(c). Let n be 10/(-115) + t + 2. Is n bigger than 2/7?
False
Let n = -14663.7 + 14545. Are n and 1/6 equal?
False
Let i(y) = -y**2 - 30*y + 1029. Let r be i(21). Is 12 != r?
True
Suppose -8*z + z = 7*z + 4732. Which is greater: -335 or z?
-335
Let o be 3/((-30)/(-4)) + 0. Let p = 10494 + -10497. Which is smaller: o or p?
p
Suppose 4*h + 24 = -0*h. Let m be (-2990)/138*12/20. Is h bigger than m?
True
Let o(w) = w**3 + 5*w**2 + 4*w - 8. Let y(b) = 12 - 17*b**2 - b**3 + 11*b + 13*b**2 - 3*b. Let i be y(-5). Let v be o(i). Is v greater than or equal to -5?
True
Let s be (-6 - (-6 + -3)) + 0. Suppose -11 = -s*j - 14. Which is smaller: -4/11 or j?
j
Let b = 3090003525 + -1764373402737/571. Let l = 32592 - b. Which is smaller: 1 or l?
l
Suppose 3*n = 3*d - 6, 4*d - 4 = -3*n - 10. Let r be (0 - n)/(-8) + (-561)/(-2516). Is 1 greater than r?
True
Let p = -39 + 39.1. Which is greater: -762 or p?
p
Let m(q) = q**3 - 17*q**2 + 17*q + 18. Let i be m(9). Let u = i - -476. Let x be (-4)/(-63) - 2/7. Is x at least as big as u?
True
Suppose -5*y + 4*q + 21 = 0, 0*y = y - 2*q - 3. Suppose 4 = -r, 202 = -3*f + y*f - 2*r. Which is greater: f or 98?
98
Suppose 14*p = -9*p + 115. Let b be p - 1182/(-4)*(-12)/774. Which is smaller: -1 or b?
-1
Suppose 3*l - 38 = 2*n, -47 = -4*l + 4*n - 5*n. Let w = -168 - -158.1. Let m = w - -9.9. Is m at most l?
True
Let s be (3 - (-945)/(-308))/(7 + 1510/80). Which is greater: s or 23?
23
Let d = 274028123/167283 - 14743/9. Let n = 1282525/204457 + d. Let k = -1333/209 + n. Which is smaller: -3 or k?
-3
Let r = -45700 - -117586098/2573. Is r bigger than 1?
False
Let f(l) = -2*l**2 - 146*l - 1824. Let j be f(-16). Is j smaller than 44/287?
True
Let d be 10421/4 - (-30)/36*9/10. Which is smaller: 1 or d?
1
Let d be -797 - -1 - (5 - 36/6). Let n = -794 - d. Is -3/145 != n?
True
Let g = 831355/31 - 26815. Which is smaller: g or 4?
g
Let r = 251481 + -162456765/646. Which is smaller: r or -1?
-1
Suppose -5*m - 532 - 7410 = -3*j, 3160 = -2*m - 3*j. Which is greater: -1587 or m?
m
Let h be 8283/920 + 253 + -262. Which is greater: h or -1?
h
Suppose -7*h + 4*h - 17 = -5*u, -3*h = -u + 13. Let t be (-4)/7 + -6*133/(-1323). Is t <= u?
True
Suppose -2*r + 6*r - 12 = 0. Suppose -2*u - 8 = -r*o + 4*o, 5*o - 4 = u. Is -12/11 not equal to o?
True
Let z be -1 - (1 + -9 + 2). Suppose 0*y + 5*y = -j - 1, z = -5*j. Let i = -4455 - -4455.1. Which is bigger: y or i?
i
Let w be (176/(-132))/(2/(-36)). Let r be 4 + 1 + (-174)/w. Let s = -7 - -4. Which is bigger: r or s?
r
Suppose -z - 3*a - 12 = -4*z, -z - 2*a - 2 = 0. Suppose -3*x - j - 42 = -4*j, -z*j - 29 = x. Which is bigger: -21 or x?
x
Suppose 5*l = 5*h, -4*l + 7 + 38 = 5*h. Let k be 6/(0 + 2) - 5973/(-1890). Let c = 2/315 + k. Which is smaller: c or h?
h
Suppose 0*q = 2*q - 156. Let k(c) = -2*c**3 + 11*c**2 - 4*c - 5. Let p be k(5). Let d be (2 - p)*15/q*-1. Is d bigger than 0?
False
Let x = -235 - -239. Suppose -x*l = 3*y - 44, -17 = -4*y + 2*l + 5. Is y < 3?
False
Suppose -4*k - 18 = -w, 2*w + 0*k - 5*k = 24. Suppose -9*n - 18 + 72 = 0. Let f be 51/(-2) + w - n/4. Does f = -25?
True
Let t(m) = -m**3 + 8*m**2 + 2*m - 43. Suppose -2*z = 5*a - 42, 8*z + 5 = a + 5*z. Let c be t(a). Is -23 less than or equal to c?
False
Suppose -83 = 40*s - 41*s. Suppose -80*t + s*t = 51. Let m be (-4)/(-26) - (-193)/13. Which is smaller: m or t?
m
Let v = 17088 + -17323. Which is bigger: v or -238?
v
Let t be -12 - (5 + 5144/(-280)). Which is greater: t or 2?
2
Let z = 8365 + -8401. Do 154 and z have different values?
True
Let q be (-15)/10*(3 + 1/(-1)). Let o be -8*(q + -3 + 8). Let p be ((-12)/(-16)*-31)/(6/o). Is 63 smaller than p?
False
Let h = -272 - -357. Suppose -2*z + 4*m - 437 = -7*z, -z + 79 = -2*m. Is z equal to h?
True
Let c be (6 - 8)*1*-1. Let l = c + 18. Suppose -2*p - 5*k + 19 = 0, -21 = 5*p + 3*k - 40. Which is bigger: p or l?
l
Let z be 1*3/2*(-10)/(-3). Suppose m + 95 = -4*t, 267 = -4*m + z*t - 113. Is m less than 1/2?
True
Let d be ((-30)/2)/((-34)/34) - 4. Suppose 270 = -d*n + 41*n. Which is smaller: 0.8 or n?
0.8
Let h = -2155/43924 + 11/278. Let g = 1163/155788 + h. Which is bigger: -1 or g?
g
Let f be ((-13)/(-4) - 0) + 1 - (-58)/29. Let l be 6/(-1 - 1/2). Let b be (2/l)/(6/(-60)). Which is greater: b or f?
f
Let i = 68 - 68. Suppose -7*g + 6*g - 4 = i. Let o(d) = -2*d + 3. Let h be o(5). Is h less than or equal to g?
True
Let c = 81427/293 - 1753538383/6309462. Let r = c + 1/194. Suppose -2*a + 15 + 7 = 4*y, -5*a - 5*y = -30. Is a equal to r?
False
Let h = 96 - 31. Suppose 3234 = -28*b + 77*b. Is h less than or equal to b?
True
Let b = 40577/25774 + -23/526. Which is smaller: b or 3?
b
Let k(c) = -c**2 + 3*c - 4. Let p be k(4). Let b be 5 - (5589/567 + 1 + 2). Which is bigger: b or p?
b
Suppose 3*y - 12*y + 9 = 0. Let k be 28/14 - (2/y + -4). Suppose -p - k*n = 12, p + n + 1 = -2. Which is smaller: p or 4/21?
p
Let j be 18/81 - 1555/(-9). Let f = j - 175. Is 4 greater than f?
True
Let i = 3 - -42. Let p = i + -43. Suppose 3*k - 2*s = 5, -2*k + p*s - 15 = -3*s. Which is bigger: k or 3?
k
Let c be (-10)/(-15)*(29 + 1). Let i(o) = -2*o - 4. Let r be i(0). Let j be ((-128)/c)/r + 10/(-5). Is j <= 0?
True
Let w(b) = -b**2 + 7*b + 2. Let u be w(7). Suppose 5*r - x + 44 = 0, 5*r + u*x - 14 = -46. Let c = -367/42 + 1/14. Which is smaller: c or r?
c
Let s(z) = z**2 - 2*z + 2. Let h be s(2). Let k(v) = 26*v**2 - 5*v - 6. Let r be k(h). Which is greater: r or 90?
90
Let d = -429 + 235. Let y = -292 - d. Which is bigger: -1 or y?
-1
Suppose -3*q + p - 1 = 0, -5*q + 4*p - 26 + 15 = 0. Which is smaller: -1/919 or q?
-1/919
Let b(u) = -u**3 - 7*u**2 - 18. Let n be b(-7). Let z be 3/9 - (-1 + (-42)/n). Which is smaller: z or 1/1312?
z
Suppose x - w = -18, 3*x + 4*w = -58 - 17. Let y be (-1)/(-3) - x/(-468). Which is greater: 1 or y?
1
Let f = -21 + 15. Let p(w) = -w**3 - 5*w**2 + 9*w + 14. Let y be p(f). Let v be 5 + (y + (-2 - -5))/1. Is 3 at most as big as v?
True
Let z = 139.913 + -140. Let x = z + -47.913. Let h = -52 - x. Which is smaller: -16 or h?
-16
Suppose -58*f - 576 = -66*f. Let a be 5 + ((-426)/f - 1). Which is greater: a or -3?
a
Suppose l = -13*l + 1806. Let o be (l/(-15)*-2)/((-4)/(-10)). Is o greater than 43?
False
Suppose 407 + 55 = 3*b. Suppose 0 = b*f - 134*f - 40. Which is greater: -0.172 or f?
f
Let v be ((-9)/3 + 4)*0. Let p be (-9*1)/(0 + v + 1). Let c be ((-2)/(-24))/((81/(-60))/p). Is 1 less than c?
False
Let g be (16 - (-1 + 9))/(4 - 2). Suppose -2*o - 14*s = -10*s + 38, o + 17 = -g*s. Let v = -2 + -21. Which is smaller: o or v?
v
Let d = -126545 - -625818/5. Which is smaller: -1382 or d?
-1382
Let o(x) = 6*x + 2*x**3 + 11 + x**2 - 2*x - 3*x**3. Let v be o