. Let t be u(-4). Let f be ((-28)/(-7))/(-1 + t). Let n(i) = -i**3 - 5*i + 4. Let y be n(0). Which is bigger: y or f?
y
Suppose -5*q + 750 - 285 = 0. Let z = 91 - q. Which is smaller: z or -10/9?
z
Suppose -2*s - 21 = -47. Suppose -4*l + 27 = -s. Suppose l*g = 5*g - 60. Is -11 < g?
False
Let o = 0.232 + -5.132. Which is greater: o or 1/102?
1/102
Suppose 107*i - 21*i = -82044. Does -1 = i?
False
Let t(p) = -17*p + 10. Let i(z) = 3 - 12*z + 0 + 6*z. Let x(n) = 11*i(n) - 4*t(n). Let y be x(16). Which is smaller: 24 or y?
24
Let d be 120/9*(-33)/(-22). Let r be 11/6 + d/(-75)*5. Which is greater: -73 or r?
r
Let p(f) = -f**3 + 42*f**2 + 84*f + 170. Let h be p(44). Let j(a) = -14 - a - a**3 + 0 + 2 - 9*a**2. Let u be j(-9). Is h greater than u?
False
Let z be (-178)/152 + (-1)/4. Let n = z + -3/38. Let f be (2 - (-36)/(-21))*((-10 - -6) + -3). Which is greater: n or f?
n
Let q be 0 + -14 + (-65008)/(-2720). Which is smaller: 9 or q?
9
Let t(c) = 6*c**2 + c + 13. Let p(x) = -x + 12. Let d be p(6). Let z be t(d). Let s = z + -4933/21. Which is smaller: s or -1?
-1
Suppose 0 = -5*p + 4*p + 2. Suppose 5*a + p*q = 395 - 79, 5*a - 313 = -q. Let m(d) = d**2 - 12*d + 11. Let l be m(11). Which is smaller: l or a?
l
Let v = -12303 + 8310. Let a = -67922/17 - v. Are -3 and a equal?
False
Let z be ((-10)/715*-11)/((-1)/(-192)*-2). Let q(c) = -15*c + 1. Let h be q(1). Which is smaller: z or h?
z
Let w be 1/((-987)/(-247441)) - (-44)/154. Let d = 251 - w. Is -1 < d?
True
Let j = 2452 - 14677/6. Let n = -13/12 + j. Let m = 1 - 0. Which is greater: m or n?
n
Let i be 56/(-28)*(0 + 5). Is i greater than -306/35?
False
Let l(o) = 6*o - 98. Let g be l(17). Suppose 0 = g*i + 32 - 32. Do i and -3/74 have the same value?
False
Let t be 1 + -1 - (-2)/(-30). Let k be (-147)/161 + 1/1 + 10/(-115). Are k and t non-equal?
True
Let i be (2/(-232))/(6/(-60)). Let v = 127/464 - i. Is v at least as big as 3?
False
Suppose -16 = -4*d - m, m + 2 = 3*d - 10. Let x be (-399)/(-28) + 3/d. Let h(b) = b**2 - 34*b + 80. Let y be h(32). Which is bigger: x or y?
y
Let d = -422.74 - -422.64. Is 17177 smaller than d?
False
Suppose -212*b - 22*b + 28314 = 0. Which is bigger: b or 90?
b
Let r be (-2205)/(-28)*752/141. Which is smaller: 2525/6 or r?
r
Let p be (3 + -4 + 14)*(6 - 0). Suppose -p*t = -92*t. Which is bigger: t or 4/15?
4/15
Let p be (120/(-1180))/(-7 + 4). Which is greater: 3 or p?
3
Let c = -0.024 + 0.0306. Which is bigger: 0.2 or c?
0.2
Let d be ((8/5)/(-2))/(99/312510). Let x = d - -2478. Let p = 52 + x. Do 6 and p have the same value?
False
Suppose -24 = -4*u + 44. Suppose -9*r + 26 = u*r. Which is smaller: 21 or r?
r
Let y = -357 + 928. Suppose -u = -z - 150, -3*u - 4*z = -4*u + 159. Suppose -8*v - u = -y. Is 53 < v?
False
Suppose 572 = 4*i + 2*q - 2938, 0 = 3*i + 4*q - 2630. Is i <= 878?
True
Let l = -54 - -18. Let r = -1891 - -1891. Let p = r + l. Does p = -37?
False
Let v be (15/(-100))/((-15)/(-20)). Suppose -t - 3*j - 2*j = -65, -63 = -t - 3*j. Let s be (-12)/30 + (-2)/t*-2. Is v at most as big as s?
False
Suppose -2*i + 12 = -12. Let o(q) = q**3 - 11*q**2 + 3*q - 20. Let d be o(i). Are d and 161 unequal?
True
Suppose -f = i - 16, 5*f + i + i = 77. Suppose 4*k = 5*z - 47, -2*z = -3*k - 23 + 7. Let j be (10/8)/(((-44)/(-48))/z). Is f greater than j?
False
Suppose 478 = -2*f + 4*z + 140, 5*f + 2*z = -905. Does -161 = f?
False
Let j = -103846248/2471 - -42026. Is -1 >= j?
False
Suppose 2*y - 92 = -2*y. Let a = y + -28. Is -2 less than or equal to a?
False
Let s = 5786 + -5785. Is s at least 9547?
False
Let s(c) = 4*c**2 - 36*c + 11. Suppose -4*o + 48 = -4*z, 4*o = 5*z + 12 + 40. Let x be s(o). Are -31 and x non-equal?
True
Let x = -4.3 + 3.93. Let f = x - 0.03. Let c = 9/11 + -25/44. Which is smaller: f or c?
f
Let q = -390 + 392. Let y be (1 + q)*3/7317*-3. Are 1 and y non-equal?
True
Suppose 25*h + 617 + 752 - 269 = 0. Which is greater: -52 or h?
h
Let u = -146 - -171. Suppose -5*a = 5*q + u, -a + 4*a + 9 = 0. Are 1 and q equal?
False
Let o be -5 + (-144)/3*2262/(-21658). Which is smaller: o or -1?
-1
Let a = -235 - -523. Let k = 4319/15 - a. Which is greater: -2/7 or k?
k
Let u(c) = -16*c + 147. Let y(t) = -t - 4. Let w(x) = -u(x) - 5*y(x). Let q be w(6). Which is smaller: 1/16 or q?
q
Let u = 152 - 151.961. Let h = u - 0.081. Is 0 bigger than h?
True
Suppose -2*t - 2007 = -5*q, 52*t = -q + 53*t + 402. Is 403 greater than or equal to q?
True
Suppose 57 = 10*n - 53. Suppose 0 = n*f - 858 + 264. Which is smaller: f or 60?
f
Let c = 39 - 16. Let w = 0.013 + 23.987. Let t = c - w. Is t < -3/4?
True
Let p be 70/735 + 520/13566*-2. Is p < -0.09?
False
Let r = 12429 - 21346. Which is smaller: r or -8916?
r
Let m(z) = -2*z + 10. Let c be m(6). Let w be 7*(5/(-5))/(c + 1). Suppose -h - 10 = -2*h. Which is greater: h or w?
h
Suppose -2*b - 1 = 9. Let o be -2 - ((-1)/b - (-4662)/10). Let f = -470 - o. Does -1 = f?
False
Suppose -3*j - 40 = j. Let r(q) = -q**3 - 10*q**2 - 12*q - 19. Let o be r(j). Let a = o + -3031/30. Is a != 1?
True
Let b = 61.632 - 64. Let h = -0.232 + b. Which is bigger: -1 or h?
-1
Suppose 84*i - 15 = 87*i + 3*q, -3*i - 2*q - 12 = 0. Let y be (-102)/(-14) + (-8)/28. Suppose -5*p = y + 3. Are i and p equal?
True
Let j be ((-122)/(-4))/((-1)/2). Suppose -4*g + 215 = -3*f, 17457*f - 154 = 17459*f - 4*g. Is j > f?
False
Let w = 371725/71 + -5235. Let d = -3168/4615 + w. Let i = d - 886/195. Which is smaller: i or -6?
-6
Let x = 103 + -109.9. Let n = x - -36.9. Is n smaller than -1?
False
Let j(g) = -g**2 + 105*g - 1586. Let q be j(26). Let p = -509 - -978. Does q = p?
False
Let k(a) = -a - 14. Let z be k(-10). Suppose -3*f - 12 = b + 8, 4*b + 32 = -4*f. Let g be (2/z)/(3/f). Which is smaller: 0 or g?
0
Let z = -2267 + 2412.54. Let t = 147 - z. Is 0 less than t?
True
Let h = -15 - -9. Suppose -64 = 5*w + 31. Let f be 2 + w/2 + (-2 - -3). Which is smaller: h or f?
f
Let s be (52/65)/((-91)/129090). Which is bigger: s or -1136?
s
Let v = -7058 + 7062. Is v greater than -162?
True
Let x be 2*2/(-4)*-2. Let v be (x/(-3))/((-7)/(-87)). Suppose 117 = -24*c - 99. Which is greater: v or c?
v
Let g be (305/(-15))/((-31)/3069). Is g at least as big as 2013?
True
Suppose 0 = 4*i + m + 6, -5*i - 3*m - 3 = -8*i. Is -41/38 less than i?
True
Let s = 67 - 65. Suppose 5*i + s*i = -406. Let f = -63 - i. Which is smaller: f or -3?
f
Let i be 264/9 + 3/27*-3. Suppose -c + i = -90. Suppose 2*g - 9*g - c = 0. Which is smaller: -19 or g?
-19
Let g = 81.772 - -0.228. Let z = 80 - g. Which is smaller: -1 or z?
z
Let o(y) = -y**3 + 8*y**2 - 14*y + 15. Let w be o(6). Let c be -13 + 8 - -1*(-3)/w. Which is smaller: c or -5?
c
Let g = -9 - -6. Let b be (((-10)/4)/5)/((-59)/(-3540)). Let m be b/(-4)*(1 + (-8)/6). Which is smaller: m or g?
g
Suppose 51 = 8*l - 21. Let q = -328 - -320. Which is bigger: l or q?
l
Let m be 13 + -5 + 344/(-16). Does -14 = m?
False
Let v = -3 + 2.8. Let o = -560.28593 - 0.62407. Let c = -561 - o. Is v greater than c?
False
Let w be 5*((-1261)/(-182) + -7). Let k = 2 - 1. Which is smaller: w or k?
w
Suppose 0 = 41*j - 45*j + 3*l + 695, l = 2*j - 345. Is j greater than 851/5?
False
Let b(m) be the first derivative of -m**4/4 + 4*m**3/3 + m**2 + 9*m + 15. Let f be b(4). Suppose -3*x + 34 + 14 = 0. Is f > x?
True
Let j = -383 - -386. Suppose 0 = c - j*x + 15, -15 = c - 0*x + 2*x. Which is smaller: c or -2/3?
c
Let w be 56/12 + 12/(-18). Suppose -n - 2*n + w*h = 9, h - 1 = 2*n. Is n at most 2/1211?
False
Let k(s) = 4*s**2 - 50*s + 412. Let j be k(10). Is j less than or equal to 312?
True
Let k(w) = -2*w + 19. Let u be k(10). Let r be 3464/(-806) - (-4)/1. Let f = 14/31 + r. Is f at least u?
True
Let t = -179.47 - -3.47. Let y = t + 175.8. Is 0.36 smaller than y?
False
Suppose -4*g - 5*x + 3417 = 0, -x + 260 = 259. Are g and 853 nonequal?
False
Let t be (-276)/23 - 553 - 9. Which is bigger: t or -579?
t
Let i be -7 + ((-252)/5)/(-6) - (-1492)/(-1065). Is i equal to -2/3?
False
Let y be 8029/(-10668) + 1 + 3/(-12). Is -0.1 at least as big as y?
False
Let y(h) = 2*h**2 + 2*h - 1. Let l be y(-1). Let o be (9/6)/(-3) + 1410/(-1276). Let q = o + 36/29. Is l bigger than q?
False
Let s = 0.794 + -280.104. Is s smaller than 1/2?
True
Let t be 4/((-4)/76*2). Let j = t - -44. L