ative of f**4/4 + 10*f**3/3 - 11*f**2/2 + 2*f - 18. Let u be c(-11). Suppose 5*d + 2*n = 5*n - 3, u*d - n = -1. Is d less than 1/8?
True
Let v(g) = -g**2 - 10*g + 85. Let s be v(-12). Suppose -1589 = -s*t + 3657. Are t and 86 equal?
True
Let h be (0 - (-3)/(-12))*45675/(-675). Which is smaller: h or 16?
16
Let w = 1/1349 - -29657/28329. Let u = -12/7 + w. Which is greater: 2/19 or u?
2/19
Let w(b) = 41*b + 5. Let y be w(2). Suppose -1 + y = 5*f - 2*j, 4*j - 62 = -3*f. Which is bigger: 16 or f?
f
Suppose -5*j - 30 + 5 = 0. Let w = -2855 - -25663/9. Which is smaller: j or w?
j
Let j = -113257/32 - -3539. Let o = 4 + -6. Is j < o?
False
Let p = 23240066766/485 + -47917643. Let b = p + 210/97. Is b at least 24?
False
Let p = -519 - -222. Let m = p + 211. Is m greater than 2?
False
Let d = -98 - -266. Let o be (1/(-2))/(28/d). Is -3 <= o?
True
Suppose 13918 - 3159 = 31*k - 11809. Which is greater: 727 or k?
k
Let c(t) = t**3 - 46*t**2 + 102*t - 150. Let l be c(44). Which is smaller: l or 463?
463
Suppose z - 956 = 3*g, 49 = -2*g + 2*z - 583. Let b = 269 + g. Is -0.1 less than b?
False
Let z(q) = -15*q + 62. Let d be z(4). Let c(v) = -v**3 + 9*v**2 + v - 9. Let a be c(9). Is d greater than a?
True
Suppose 0 = 12*i - 10*i - 4. Let f be (16/96)/(70/1131). Let p = f - -2/35. Which is smaller: p or i?
i
Let m = 178.9 + -201. Let y = m - -22.3. Let d = -0.1 + 0.04. Which is bigger: y or d?
y
Let m = 98525/19 + -5187. Suppose -4*n + 4*d - 16 = 0, 54 = n + 3*d + 46. Which is bigger: m or n?
n
Suppose -25*c - 280 = 10*c. Let l = 7 + -5. Let q be (-9 - -1)/(l - 1). Is c bigger than q?
False
Let h be (-2*8/48)/(68/3). Let t(l) = -l**3 + 6*l**2 - 4*l - 5. Let w(g) = -4*g + 1. Let j be w(-1). Let b be t(j). Which is greater: h or b?
b
Let y = 0.0492 - -0.1508. Which is bigger: y or -3/638?
y
Let p = -1578.99 - -1579. Let r = -335.01 + 337. Let y = p + r. Is 0.12 greater than y?
False
Let w = 1324 + -1336.26. Let m = w + -2.14. Which is smaller: 2/9 or m?
m
Let y = 1993.82233 + -1993.9. Is y at most -1?
False
Let m = -9.93 + -0.07. Let v = 9.95 + m. Let q = -130/63 - -16/7. Which is smaller: q or v?
v
Let s be 3 + 0 - 23628/198*(-102)/(-4). Which is smaller: s or -3039?
s
Let b = 10.6 - -4.4. Let z = b + -14.8. Let d = -0.15 + -0.15. Which is greater: d or z?
z
Let y(u) = -u**3 - 10*u**2 - 32*u - 63. Let l be y(-17). Which is bigger: 2505 or l?
2505
Suppose 277*p - 306*p = 58. Are p and 125 nonequal?
True
Let f = -2992 + 2695. Is f not equal to -293?
True
Let v be -90*(14 - (-952)/(-70)). Which is greater: v or -28?
-28
Let c = 15 + 42. Let k = c - 55. Suppose -4*m + 3*z - 2*z + 9 = 0, -k*z = 3*m + 7. Which is bigger: 1/36 or m?
m
Suppose 0 = -3*w + 3*u - 0*u + 480, 4*u = 4. Suppose a - 10 = 3*f, 0 = -3*f - 11*a + 6*a + 32. Which is smaller: w or f?
f
Let m(n) = -2*n + 28. Let x be m(14). Let l be (5 + x)*(2417/805 + -3). Which is smaller: l or 0.3?
l
Let q be (-128708)/26150 + 5 - (-38)/(-475). Do q and -1 have the same value?
False
Suppose 66 = m + 32*m. Let a be m/(-4)*(9/(-18) - 0). Let g = -899/12 - -75. Which is greater: g or a?
a
Let y be ((-36)/16 + 9/(-12))*-12. Let q be ((8/1713)/(y/54))/(-2). Which is greater: q or 0?
0
Let j be (114/(-190))/((-13329)/(-10)). Which is bigger: j or -1?
j
Let m = 6 + -5.9. Let y(u) = -u**2 - 29*u - 1. Let p be y(-19). Suppose 0 = 3*q + p + 12. Which is smaller: q or m?
q
Let f = -522 + 732. Suppose q - 5 - f = 0. Suppose 0 = -0*y - 5*y - q. Which is smaller: 1 or y?
y
Let n = -1218 + 5049/4. Which is bigger: 0 or n?
n
Let a = -7037 + 3175. Is -1 greater than a?
True
Let w be 5994/(-6)*(1 - (-4)/(-3))/1. Is 2665/8 at most as big as w?
False
Let x = -14016 - -14015.9. Is -4731 greater than or equal to x?
False
Let d = -3 + 2.9. Let j = 115 - 151. Let t be ((j/(-15))/12)/(8/10). Which is bigger: d or t?
t
Suppose 2037 = -12*x + 333. Let u be (-842)/x - -13*(-6)/13. Which is smaller: -1 or u?
-1
Let x(z) = -z**3 - 4*z**2 - 3*z + 1. Let n be x(-3). Let w be 29298/(-10980)*1 - 12/(-9). Let h = 1/610 + w. Are n and h nonequal?
True
Let o = 272 - 153. Let b = 19 - o. Is -2/3 at least as big as b?
True
Let h be -3 - (18125/(9 + -4) + 3). Let t = h + 439357/121. Is t < 1?
True
Let n = 1533 - 1841. Do -307 and n have the same value?
False
Let b(u) = u**2 - 101*u + 1227. Let z be b(88). Is z at least as big as 83?
True
Suppose 4*o - 18 = 3*p, -p - 3 = -4*o + 11. Suppose -o*w - 4 = 2. Is -26/33 equal to w?
False
Let i be (-2)/(-7)*10/(-8). Let b(q) = 19*q**2 - 37*q + 76. Let k be b(2). Suppose 0 = -65*m + k*m + 13. Which is smaller: m or i?
m
Let n be 30/(-50) + 4490/25. Suppose 169 = -2*l + n. Are l and -12 equal?
False
Let v = -2501.2 + 2501. Which is greater: v or 593?
593
Let r = 2421 + -1185. Suppose 0 = 23*l - r + 7147. Which is greater: -255 or l?
-255
Let q be (10/627)/(42/378). Which is smaller: q or 0?
0
Let g = -713 + 1117. Let n = g + -284. Is 121 less than n?
False
Suppose -5*a + 2807 = 2937. Which is smaller: a or -223/9?
a
Let l = -12.5 - -18.5. Let q be (-14)/(-35)*(-1 + -4). Is l less than q?
False
Let n be (27/81)/(26/(-6204)). Let t = n - -412540/5187. Is t bigger than 1?
False
Let b = 50 + -15. Let f = b - 31. Suppose 5*m - 56 = o - 3*o, 0 = f*o - 12. Which is greater: 11 or m?
11
Let g = 51 + -22. Let m = -19 + g. Let p = 1 + m. Which is smaller: 7 or p?
7
Let p = 63 + -35. Let f = 27.989 - p. Let q = 0.211 + f. Is 22 not equal to q?
True
Let t = -24558.693 - -24558. Is t less than 3?
True
Let p(q) = q**3 - q**2 + 2*q - 3. Let m be p(0). Let l be (1 + m)*(26 - 18). Is l < -111/7?
True
Let b be (3/12 - (-3)/(-12))/1. Suppose z + 5*z - 2*z = b. Is 2/131 at least as big as z?
True
Suppose -4*k = -5*x + 765, -k = -2*x + 4*x - 306. Let i = x + -158. Which is greater: -21/5 or i?
-21/5
Let g = -353905/4 - -615440947/6956. Which is smaller: g or -1?
-1
Let g(t) = t**3 + 2*t**2 - 13*t + 10. Let j be g(-5). Let u = 1633/19 - 86. Which is bigger: j or u?
j
Suppose 0 = 3*l + 825 - 1950. Let m be l/(-9) - (-2)/3. Which is smaller: m or -40?
m
Suppose a - 5*v = -14, 29*v = 3*a + 32*v - 12. Is a greater than -2/4547?
True
Suppose 2*b = -2*j + 278, 0 = 6*j + 10*b - 5*b - 833. Which is greater: j or 136?
j
Let x(k) = k**3 + 7*k**2 + 4*k - 4. Let s be x(-6). Suppose -5*i + 4*h + 376 = 0, h + 443 = 5*i + 79. Suppose -i*p = -65*p - 49. Which is smaller: p or s?
p
Suppose -w + 94 = 11*a - 8*a, -w - 2 = 0. Suppose 10031 = a*o - 3217. Is o at least as big as 415?
False
Let u be (-5 + (-32)/(-6))*18. Suppose -u*y = -5*y - 1. Let m be (11/(-6) - -2)*-2. Are y and m equal?
False
Suppose -5*p + 15 = 0, -5*h + 2*h - 3*p + 66 = 0. Suppose -24*a + h*a = -5. Which is smaller: -6/37 or a?
-6/37
Let x = 6.23 + -6.19. Which is smaller: x or 387?
x
Let h = 11982 + -12002. Let o = 6.3 - 6. Let x = o - 0.2. Which is greater: x or h?
x
Let v = 208 - 203. Suppose -v*j + 3*s = 0, -2*s = -j + 4*j. Is -4/339 less than j?
True
Suppose 26*x + 14 + 90 = 0. Let k(h) = h**2 + 13*h + 37. Let r be k(x). Let q be (-3 - -2)/((-10)/9). Which is bigger: q or r?
r
Let t(o) = 2*o**3 - 27*o**2 + 62*o - 515. Let q be t(20). Is q greater than 5926?
False
Let k(g) = -11*g**3 - 9*g**2 + 5*g + 15. Let w(n) = 9*n**3 + 9*n**2 - 6*n - 14. Let t(s) = 5*k(s) + 6*w(s). Let c be t(8). Are c and -33 unequal?
False
Suppose -31300 + 5320 = j - 4*j. Which is smaller: j or 8657?
8657
Let t = 154.055 - 154. Let y = -49 + 48.845. Let a = y + t. Which is greater: a or -16?
a
Suppose 2*n - 194*z + 199*z + 720 = 0, 1118 = -3*n + 2*z. Are -2/17 and n unequal?
True
Let v = 1234 + -2467/2. Let x = 3 - -14. Let z = -22 + x. Which is bigger: z or v?
v
Let q = -134 + 89. Let o be (12/(-54) + (-82)/q)*-5. Let f = -7000/807 + 2/269. Which is bigger: o or f?
o
Let v = -136 - -137.4. Which is smaller: v or 5/7?
5/7
Let p(u) = -3*u - 1. Let a(s) = -13*s - 25. Let l(k) = -a(k) - 3*p(k). Let w be l(6). Are 1 and w non-equal?
True
Let k be (-21 + 21)/(-1 + 1*4). Suppose -o = 5*a - 18, k*o - 3*o = 4*a - 21. Suppose a*s + s - 5*w - 7 = 0, 2*s - 2*w - 2 = 0. Does s = -5/4?
False
Suppose -29*o - 138 = -6*o. Let v(l) = -l**2 - 4*l + 24. Let f be v(o). Which is smaller: f or 39?
f
Suppose -2*l + u + 76 = -u, u = -4*l + 172. Let d be l/16 + 0/(3 + -5). Suppose -13 = -4*s - x, 4*x - 5*x + 17 = 5*s. Is s 