 greater than or equal to j?
False
Let y(k) = -21*k - 31. Let c(f) = -5*f - 8. Let g(o) = 9*c(o) - 2*y(o). Let d be g(-6). Let v be (-2)/(-7) + 1881/252. Is v smaller than d?
True
Let k(r) = 10*r + 244. Let d be k(-27). Let f be d/169 + 3910/65. Which is smaller: f or 61?
f
Let j = 1.8869 + 0.0991. Let l = j + -1.9. Let i = -31 - -31.1. Is i not equal to l?
True
Suppose 2*n - 2*l + 16 = 0, 33 - 15 = -4*n + 2*l. Which is smaller: n or -1/22068?
n
Let f(b) = 2*b**2 + 69*b + 598. Let i be f(-39). Is i at least 946?
True
Suppose 2*g + 1 = 5. Let n be g*(3 + (-2876)/960). Suppose 5*u + 6 - 1 = 0. Which is bigger: n or u?
n
Suppose -n - 40 = 4*i, -4*n = 4*i - 0*i + 40. Let z be ((-2)/5)/((-722)/i). Is z bigger than 0?
False
Let k = 4582.6 + -4583. Is k <= 7/50?
True
Let k(c) = -2*c**3 - 7*c**2 - 5*c - 4. Let f be ((-3)/1)/(24/32). Let u be k(f). Which is smaller: u or -0.1?
-0.1
Suppose 60*c + 119*c - 19*c + 1440 = 0. Let i be (3/(-9))/(1/(-6)). Suppose -4 = i*m - 0. Is m greater than or equal to c?
True
Let n = 31225 + -31191. Which is smaller: n or -19.2?
-19.2
Let c = 3 + -3. Suppose -3*w + 8*w + 410 = c. Let o = w - -129. Is o > 46?
True
Let t = -444.3 + 445. Let h = t - 0.5. Which is bigger: -0.083 or h?
h
Let i = -390807/1739234062 - 1/101966. Which is smaller: i or -1?
-1
Let j(t) = -2*t - 66. Let c be j(-36). Is c > 106/17?
False
Suppose -4 = -2*a - 6. Suppose -11*x + 1496 = -33*x. Let u be 1/((-76)/x) + a. Are u and -1 equal?
False
Let h = -147.1 + 147. Which is greater: h or -0.11?
h
Let f = 69 + -82. Let l be f/(-57) - (-8)/304*4. Let r be (3*-2)/3 - -2. Is l bigger than r?
True
Suppose -10472 = -31*g + 14*g. Let b = 577 - g. Let u(d) = 40*d**3 + 2*d**2 + d. Let o be u(-1). Is o smaller than b?
False
Let g(w) = 5*w**2 - 96*w - 550. Let i be g(-33). Do i and 8061 have the same value?
False
Let k = -2/3673 + -75427/3133069. Which is greater: 0 or k?
0
Let q be (1/(-2) + (-35)/(-42))/((-62)/(-26629)). Is 142 less than q?
True
Let h = 1583 + -1585. Suppose 0 = -3*r - 55 - 20. Is r less than h?
True
Suppose -4*q = 3*i + 775, 0 = 3*q + 578*i - 581*i + 555. Which is smaller: -193 or q?
-193
Let y = 2001.9 + -2002. Is y <= 174/17?
True
Suppose 5*m + 2*j - 24277 = -8300, 3*m = -3*j + 9579. Is 3198 greater than or equal to m?
True
Let w(k) = 5*k**3 + 8*k**2 + 27*k - 212. Let d be w(10). Is 5859 less than or equal to d?
False
Let k = 208840 - 6660116438/31891. Which is smaller: -1 or k?
-1
Suppose -2*b - g + 499 = 0, b + b + 2*g = 502. Let x be b/480 - (-1)/3. Is x < 0?
False
Let s = -392 - -397. Suppose -s*m = -5*r + 105, 3*m - 56 = -2*r - 4. Which is bigger: r or 118/5?
118/5
Let s = -188 + 274. Suppose 35*o = 1449 + 1631. Is o at least as big as s?
True
Let l = 466 - 47997/103. Suppose -5203 + 5299 = 96*w. Is w smaller than l?
False
Suppose 146 = 10*w - 574. Let q = w - 68. Let b be (-3 + q/2)*(0 + -1). Which is smaller: b or 7/20?
7/20
Suppose 4*q = -4*v + 119 - 15, -2*q - 41 = -v. Let o = 344/519 - -2/519. Which is smaller: o or v?
o
Let n(b) = b**3 - 5*b**2 - 140*b - 53. Let a be n(-10). Suppose f = 6*f + 775. Which is greater: a or f?
a
Let u = -17 - -18. Let m be u + 4 + 1810/7. Let g = -264 + m. Are -1 and g nonequal?
True
Suppose -2*t - 5*h = -2 - 9, -4*t = 4*h - 16. Suppose -3*n + 6*n = 5*a + 21, t = -3*a - 3*n. Does -30/19 = a?
False
Let b be (-9)/(-36) + (-15)/(-4). Suppose b*x + 4 = -4*v, 7*v - 3*x - 17 = 3*v. Which is greater: v or -9?
v
Suppose 0 = -3*q + u + 636, -4*q + 4*u + 94 + 770 = 0. Which is smaller: q or 212?
q
Let p = 39 - 55. Let c(t) = 8*t + 126. Let j be c(p). Which is smaller: 5/6 or j?
j
Let d = -1908/11 - -173. Let g = -8/9919 + 506573/872872. Let a = d + g. Which is smaller: a or -0.7?
-0.7
Let r = 16/11 - 613/550. Is r smaller than -1?
False
Suppose 2*k = -o + 22, -4*k - 16 = -3*o - 0*o. Let a be 2*(o/6 - -4). Is a < 5?
False
Let l(q) = 2*q**2 - 4*q + 3. Let k be l(3). Let t = -742 - -267. Let s = -466 - t. Are k and s unequal?
False
Let o(h) = 31*h - 25. Let r be o(1). Let i be (r/(-8))/(4 - (-5036)/(-1256)). Which is greater: 78 or i?
i
Let w = 55 + -53. Let a be (4 - 4) + w - 77. Let m = a - -72. Which is greater: -1 or m?
-1
Let s be (2 - 1) + 1/1. Let d be 2/(s + -3) + 3. Let h = 304121 + -4257695/14. Is h greater than or equal to d?
False
Let k = 88 + -98. Let u be ((60/16)/5)/(84/(-1022)). Is u <= k?
False
Let q = -206321 - -205989.307. Let r = q + 332. Which is bigger: r or -0.2?
r
Let x = 1/75383 - -2788880/21936453. Which is smaller: x or 1?
x
Let b = -43 + 45. Suppose b*d - 2*r = -2*d + 166, 2*d - 98 = -4*r. Suppose -13*s + 9 = -d. Do s and 8/3 have the same value?
False
Let c = 368.447 + 4.553. Is c at least -1?
True
Let u be 9684/45 - (-9)/(-45). Is -12 bigger than u?
False
Let n = -19094 - -19062. Let a = 44 - 77. Which is smaller: n or a?
a
Let c = 4782590/493 - 9701. Which is smaller: 1 or c?
c
Suppose 4*l - 6*l = 3*c - 340, -3*c = 5*l - 859. Are l and 180 nonequal?
True
Let y be -53*(-36)/54*3/(-2). Is -0.001 less than or equal to y?
False
Let x = -220 + 209.1. Let b = x - -5.6. Let w = 4.3 + b. Are w and 0.04 non-equal?
True
Let q be (0 - (-10)/(-4))*-2 + 2991/(-997). Which is bigger: q or 272/99?
272/99
Suppose -6074 - 1263 = 223*o + 4705. Does o = -79?
False
Let f(u) = -2*u**3 + 39*u**2 + 21*u - 20. Let j be f(20). Suppose 8 - 16 = -4*h. Let o be h/12 - 15/(-234). Does o = j?
False
Suppose -4*g + 4 = 36. Let y be (-1)/(g/12)*22/(-6). Let c = 15 + -22. Which is smaller: c or y?
c
Let n = -21738 - -21737.9236. Is n greater than 0.3?
False
Let x(d) = -d**2 + 6*d + 27. Let u be x(9). Suppose u = 7*r - 30 + 527. Let p = 71 + r. Which is smaller: p or -2.9?
-2.9
Let a = 50 + -18. Let w be (-5)/(90/(-4)) - (-244412)/7740. Do w and a have different values?
True
Suppose 0 = -j + 5 - 2. Suppose -4*u - 10 = 3*o + 5, j*o + 15 = -3*u. Suppose 4*i - 8*i + 28 = u. Is 5 smaller than i?
True
Let o = -0.0515 - -222.0515. Let m = -223 + o. Which is bigger: 24 or m?
24
Let n be ((-2592)/120204)/(642/(-7)). Is 1 at most n?
False
Let h = -74 + 94. Suppose -h*u = -4*u + 1152. Let k be 1/(-12)*u/(-45). Is k equal to 0.3?
False
Let g = 83.984 + -85.48. Are g and -8 equal?
False
Let z = -242/75 + 7219/2400. Suppose -4 - 1 = 5*b. Is b at most z?
True
Suppose 0 = 5*l + 168 - 43. Suppose 14*b - 15*b - z - 31 = 0, -2*b - 38 = -4*z. Which is greater: b or l?
l
Suppose -3*z = 3*y, -y - 4 - 6 = 3*z. Let k be 20/35 + 2975/672 - y. Is k equal to -1?
False
Let d = 12.76 + 29.24. Which is smaller: d or 27?
27
Suppose 4*n + 3 + 1 = 0. Let q be (1845/(-153) + 12)*-1. Which is smaller: q or n?
n
Suppose -34*q = -11*q - 3473. Let z be 15/(-9) - q/(-15). Is -1/4 at least as big as z?
False
Let y = -29 - -99. Let o = y + -66. Let d be ((-2058)/(-36))/7*6/o. Which is smaller: d or 11?
11
Let z = 0.53 - 0.22. Let h = z - -7.69. Let v = h + -9. Which is greater: 5 or v?
5
Let k be 5 - ((-584454)/(-756))/(-13). Let l = k - 129/2. Let o = 8 - 7. Which is greater: o or l?
o
Let j be (-230178)/284 + (-28)/56. Let z be 4/(-22) - (-151691)/187. Let d = z + j. Which is bigger: 0 or d?
d
Let d(h) = 16*h**2 - 2*h + 1. Suppose x = 4, 3*i + 7 = 2*x + 2. Let p be d(i). Suppose -p = l - 8. Are -7 and l nonequal?
False
Suppose -r - 13 = 4*t, -3*r + 5 + 0 = t. Let c(v) = -6*v - 25. Let b be c(t). Is -1/283 smaller than b?
False
Suppose -19*c - 3842 - 4290 = 0. Let p be c*(-27)/(-144) + (-6)/8. Is -84 < p?
True
Let v = -10 - -7. Suppose -5*h - 2*b = -22, -8 = -2*b - 6. Suppose 3*x - x + h*f = -24, f + 5 = 0. Which is smaller: x or v?
v
Let y = 169975/1004772 + -37/219. Is y less than -1?
False
Let z(v) = 2*v**3 + 26*v**2 + 31*v - 3. Let t be z(-5). Which is bigger: t or 2/5?
t
Let l = -5975/2 - -2648. Let u = l - -12929/38. Let h = 62 + -60. Is h greater than u?
True
Let w = 916/9 + -11890/117. Is w at most as big as -335?
False
Let m = -1240/423 - -26/9. Suppose 0 = 4*h - 6*y + 3*y + 11, -2*h - 2*y - 2 = 0. Let o = h - -3. Is m at least o?
False
Let a be (-9 + 27)/(24/(-75)). Let g = -56 - a. Is g bigger than 0.92?
False
Let i = 486999/24080 + -708/35. Is i smaller than 2/3?
True
Let x(b) = -b**2 - 5*b - 5. Let y be x(-3). Let j be ((-2)/(-6))/(y - 32/36). Suppose -15 = j*z - 42. Which is greater: 4 or z?
z
Suppose -3*j + 2 = -4*g + 41, 3*g = 9. Let l