. Which is smaller: a or -31/687?
-31/687
Let n = -325 - -318. Let t be -5 - 152*n/210. Is t greater than -1?
True
Let t(i) = i**3 + 34*i**2 - 24*i + 386. Let k be t(-35). Is k at least 5/394?
True
Let w = -2143/470380 - 1/1622. Which is bigger: 1 or w?
1
Let k = -1519 + 1525. Which is bigger: k or -28?
k
Let d = -9.1 - -84.1. Let r = -77 + d. Is r not equal to -2/75?
True
Let a = 12846/22135 + -69/233. Which is greater: 0 or a?
a
Let h(m) = 34*m. Let o be h(-1). Let f(j) = j**2 + j - 87. Let d be f(-8). Is d less than o?
False
Let t = -16443 - -17042. Is t <= 598?
False
Let t = 98 + -175. Let v = t + 73. Are v and 5/8 unequal?
True
Let b be -10*((-24)/3)/16. Suppose b*g = g + 1412. Is 353 equal to g?
True
Let u be -9 + 18 + -1 + (-30 - 4)/(-1). Which is smaller: u or 380/9?
u
Suppose -4*f = -5*p - 10, -5*f - 2 = -2*p - 23. Suppose 4*b - 3*a - 16 = 0, -p*b - 4*a - 18 = -4*b. Which is bigger: -4/83 or b?
b
Let r = 59/2 - 527/18. Let q be (45/54)/((-29)/174). Which is smaller: r or q?
q
Let h be 2/9 + 318/27. Let k be (h/9)/(2/(-3)). Let d = 4/231 + -202/231. Is d > k?
True
Let v be 16 + -144 - (-14)/14. Let j be (4/8)/((-1)/254). Is v < j?
False
Suppose 3*j + 51*q - 54*q + 9 = 0, 3*j = q - 21. Let r(n) = -6*n**2 + 4*n - 2. Let f be r(2). Are f and j non-equal?
True
Let d = -685/4 - -40493/228. Which is greater: 7 or d?
7
Let w be 0/(-1*(-5 + 6 + -2)). Let m(r) = -6*r**3 - r - 31. Let i be m(w). Let z be ((-22)/4)/((-1)/(-6)). Which is greater: z or i?
i
Let w(n) = n**3 + 8*n**2 + 13*n + 7. Let d be w(-6). Let t = d - -54. Is 111/2 not equal to t?
True
Let x be 11/(22/12) - -12. Let m = 146 + -72. Let t = -56 + m. Is t bigger than x?
False
Suppose -2*b - 2*j + 14 = 0, -913 = -3*b - 2*j - 896. Which is smaller: b or 305?
b
Let v(f) = 2*f + 12. Let r be v(-5). Let a = -1021.2 + 1021.065. Is a less than r?
True
Suppose 2*x + 380 = 2*q, -25*q = -28*q + 2*x + 568. Let s be 3975/21 + (19/7 - 3). Is q < s?
True
Suppose -4*x - 4*j - 2323 + 491 = 0, 5*x + j + 2274 = 0. Let a = 40861/90 + x. Let w = 17/180 - a. Is w < -1?
False
Suppose 0 = 5*i - 5*g - 925, -3*i - 3225*g + 3222*g + 579 = 0. Which is bigger: i or 204?
204
Let x(i) = i + 7. Let p be x(-6). Let o be (2/p)/4*-80. Suppose y = 2*v - 62, -174*y + 171*y = -5*v + 175. Is o > y?
False
Let g = 1025.8 - 1043.765. Let z = -10 + 10.035. Let q = z - g. Which is greater: -2/15 or q?
q
Let x(c) = -66*c + 162. Let b be x(7). Let q = b + 300. Let u(k) = 2*k**2 + 4*k - 5. Let o be u(-4). Which is smaller: q or o?
q
Suppose -143 = 3*u - 16*u. Suppose 2*c - 4 - u = -5*f, -f + 3 = 0. Which is greater: 1/9 or c?
1/9
Let d = 448.3 + -450.3. Is d < -2521?
False
Let l(b) = -b**2 + 18. Let j be l(4). Suppose 0*q = 3*q - v - j, -4*q + 4*v = 0. Which is greater: q or -7?
q
Let f be (-2)/11 - (-3 + 3380/44). Let h = f - -72. Let b(w) = w - 9. Let p be b(9). Is h <= p?
True
Let r = -1923 - -1104. Let a be r/210 - ((0 - -1) + -2). Is -3 greater than or equal to a?
False
Let i be (-654)/(-2) - (25/(-10))/((-4)/8). Are 322 and i unequal?
False
Suppose 0 = w + 2*w - 18. Let d = -31 + 23. Let h(l) = -l**3 - 9*l**2 - 10*l - 11. Let u be h(d). Is w < u?
False
Suppose -446 + 111 = 38*n - 146 - 151. Let m = -30962/256619 + 56/451. Which is smaller: m or n?
n
Let m(n) = -n + 1. Let z be m(-2). Let f be 5/(-2 + z - 3). Suppose 64*s + 32 = 56*s. Which is smaller: s or f?
s
Let p = 849 - 840. Suppose r + 2*n = -4, 5*r + 0*n = 5*n + 55. Is p != r?
True
Let v be 5795/(-1976) - (-2)/16. Let m = -15497/5538 - v. Is -1 less than or equal to m?
True
Let n be 6/(-15) + ((-1)/(-8) - (-4395924)/(-1440)). Which is smaller: -3051 or n?
n
Let t = 2788/3 - 903. Let l = -25 + t. Let y(a) = a**3 - 5*a**2 + 6*a - 5. Let u be y(4). Which is greater: u or l?
u
Suppose 0 = 15*z - 224 + 329. Which is bigger: 0.103 or z?
0.103
Let p = -6345 - -6343. Is -1/19 at least p?
True
Suppose -2*s - s + 459 = -2*b, 2*b + 444 = -2*s. Let p = b - -223. Let f be 2/7 + (-240)/154. Is p <= f?
True
Let o = 870517/1389470 - 129/206. Which is greater: 1 or o?
1
Suppose 0 = -33043*x + 32957*x - 86. Suppose 5*m + 0*m + 3*n = 36, 0 = 5*m - n - 28. Let z be (-4)/(-3)*m/(-4). Which is smaller: z or x?
z
Let a = 184 + -184. Suppose -2*r - 66 + 76 = a. Which is smaller: r or 3?
3
Let b = 0.18 - -19.82. Let p = b + -11. Let x = -2.14 + 0.14. Does x = p?
False
Let a(x) = -2*x**2 + 96*x + 201. Let p be a(-2). Which is bigger: 49 or p?
49
Let s = -382 - -2285/6. Let h = -163 - -161. Which is smaller: s or h?
h
Suppose -19 = g + 4*n, -293*g + 28 = -290*g - 5*n. Is 6/299 greater than g?
False
Suppose -29*y - 96 - 4605 - 4579 = 0. Is y >= -321?
True
Suppose 299*k - 260 = 294*k. Suppose -101*r + 103*r = k. Let j(t) = -2*t + 5. Let h be j(-11). Which is greater: r or h?
h
Let v = 3 + -2. Let q(p) = -p**3 + 19*p**2 - 23*p + 17. Let x be q(16). Suppose -x*g + 418*g = 2. Which is bigger: g or v?
g
Suppose 12 = -744*t + 748*t - 2*h, -5*h = -5*t + 35. Which is smaller: t or -63/356?
t
Let m = 14/387 - 124/1935. Let s(v) = v - 9. Let n be s(10). Is n >= m?
True
Let s = 671/107 + -53249/4601. Which is bigger: s or -6?
s
Let o be 2/(-10) + (112/35 - 3). Suppose -u + 3 + 2 = o. Suppose 2*q - 2*j = 2 + 2, 0 = u*j + 15. Are -2/29 and q non-equal?
True
Let a(b) = -7*b**2 + 282*b - 51. Let p be a(40). Which is bigger: p or -12?
p
Let a = -10899 - -4619. Is -6282 < a?
True
Let g = 1.4 + 0. Is -100 at least g?
False
Let g = 61127 + -2139609/35. Let w be (-626)/84 - (-131)/(-524)*2/(-3). Let v = g - w. Which is smaller: v or 2?
2
Suppose 40 = 43*l - 41*l. Suppose 8*t + 84 - l = 0. Let b(p) = p**2 + 10*p + 17. Let h be b(t). Is 2 at most h?
False
Let i be 7 + 5 + -6 + -6. Which is bigger: 3/407 or i?
3/407
Let l be (6 + -5)/((-9)/243). Let j be -25*(-9)/l - -8. Are j and 2/123 nonequal?
True
Let v be (1 + -2)*(-72)/36. Suppose -v*q + 8 = 3*k, -k + q - 10 + 6 = 0. Which is smaller: k or 22/9?
k
Let p(f) = -f**2 - 9*f + 1. Let i be p(-9). Suppose 4*t - 5*n = -t + 20, t - 7 = -2*n. Suppose 3*j + 3*r + 9 = 0, 3*r + t - 2 = -j. Is i <= j?
False
Let w(z) = z**3 - 8*z**2 + 9*z + 6. Let c be w(7). Let i be c/2*(-66)/44. Let b be 6/3 - (-36)/i*1. Which is smaller: b or 5?
b
Let k be 3/((-18)/(-21) + 52/(-28)). Is -231/62 > k?
False
Let o(k) = k**2 - 2*k - 81. Let r be o(-8). Let w be (0/5)/(-3 - (-2 - r)). Which is smaller: w or -2/37?
-2/37
Let o = -1.31 - -61.31. Let f = o - 55. Let d = f + -6. Is d less than or equal to 13?
True
Let m be ((-32)/(-60) - 0) + 2. Let t = m + -3263/1290. Is t smaller than -1?
False
Suppose 442 = 266*v - 884*v - 176. Is v less than or equal to 25/372?
True
Suppose 0 = -3*x - 4*f + 2053, 4*x - 3*f - 2545 - 159 = 0. Which is bigger: x or 680?
680
Let u = 172.21 - 138.21. Which is smaller: u or -0.2?
-0.2
Let q = -23930 - -8901943/372. Which is smaller: 0 or q?
q
Let a be 6/8*2/3. Let w = 0.257 + -0.216. Let n = -0.059 - w. Is a greater than or equal to n?
True
Let z = -520.5679 + -0.2321. Let r = z + 520. Which is bigger: r or 0.19?
0.19
Let r = -428.53 - -5.53. Let m = r + 423. Is m at most 8/7?
True
Let o be ((-5628)/(-126) - 44)*(-3)/2. Which is greater: o or 1/23470?
1/23470
Suppose -2 = f, -2*f + 6 = p - 3*p. Let m be -4 + p + 275/35 - -1. Are 0 and m nonequal?
True
Let i = 357 + -223. Let t = -134.09 + i. Are -9 and t unequal?
True
Let u be ((-5922621)/846090 - -7)/((-1 - -4)/12). Which is bigger: u or 0?
u
Suppose 0 = -2*h - 6, -2*h = 5*x + 3*h + 5. Suppose -2*o = -5*m + x, 4*o - 4*m = -o - 22. Let u be ((-4)/o)/2 + (-177)/(-9). Which is smaller: u or 19?
19
Let p(i) = -22*i + 967. Let y be p(16). Which is bigger: 611 or y?
y
Let n = 33 - 32.7. Let h = 130 + -74. Let i = h + -47. Are n and i unequal?
True
Let l = -42091 - -213804/5. Which is bigger: l or 669?
l
Let u be (8 + 210/200)/(-2). Is -5 equal to u?
False
Suppose 5*x = 13 - 3, -4*h + 6 = -5*x. Let u = -7 + h. Suppose 153*f = 57*f - 239 - 49. Is u not equal to f?
False
Let o be 8/(-96) + -2*(-1)/(-8). Let u = 0.163 + -18.163. Is u < o?
True
Let j(c) = 435*c + 871. Let a be j(-2). Is a > -3/9680?
True
Suppose -14*o = -11*o - 12303. Let l(g) = 1 - 30*g**2 + o*g - 4101*g. Let q be l(-1). Which is bigger: -27 or q?
-27
Let q(u) = -803*u - 13. Let n be q(0). Let l(z) be the first derivative of 2*z**2 + 9*z - 5. Let r be