 a = 6 - 9. Let c = 226 - 194.6. Let n = c - 25.4. Which is bigger: n or a?
n
Let l = 210 + -192. Suppose -l*r = -28*r - 220. Let i = 24 + -45. Do i and r have different values?
True
Let t = -1141.33 - -1148. Let n = t + -6.9. Do n and 2 have the same value?
False
Let p = -7378/3 - -2214. Let i = 92593 + -92837. Which is greater: p or i?
i
Let g = -48 - -67. Let u = -48 + g. Let a = 0.05167 - 0.05167. Is a < u?
False
Let c be ((-236)/30)/(4/6). Let d be (-65)/(-518) + 644/(-11914) - 155/14. Which is smaller: c or d?
c
Let s(u) = -8*u**2 + 4*u - 13. Let y be s(-5). Let m = y + 231. Which is smaller: m or -13/7?
m
Suppose -1170 - 2717 + 377 = -15*v. Let m = -45 - -278. Which is greater: v or m?
v
Suppose -107*y - 6166 - 1966 = 0. Do -24 and y have different values?
True
Let r = 880910/177 - 4977. Which is smaller: -1 or r?
-1
Let i(y) = -6*y - 3. Suppose -4*v + 19 = 39. Let m be i(v). Let p = m - 24. Which is smaller: -5 or p?
-5
Let j be (-215)/156 + (9/(-36) - 1/(-6)). Let x be ((-3)/3)/1 - 0. Which is greater: x or j?
x
Let f = 19/15 + -14/15. Let w = -21398/3075 + 176/25. Are w and f non-equal?
True
Let s(y) = 19*y - y**3 + 24 - 12367*y**2 + 12364*y**2 + 4. Let r be s(-6). Is -1/3 <= r?
True
Suppose -11*y - 12 = -8*y. Let q = y + -1. Let h = 972 + -977. Are q and h equal?
True
Suppose r = -0*r + 5*g - 8, 2*g + 92 = -3*r. Let a be (r/(-6))/(12/27). Let y = -205 - -217. Which is smaller: a or y?
a
Let t = -6992 + 7004. Which is smaller: t or -64?
-64
Suppose y + 2*t + 1633 = 2*y, 0 = -3*y + 3*t + 4899. Which is bigger: y or 1632?
y
Let c = -20151 - -20211. Which is smaller: -114 or c?
-114
Suppose -2027 + 2202 = -5*f. Suppose -t + 5*p = -6*t - 175, 5*t + 3*p = -175. Is f at most as big as t?
True
Let u = 21 + -21. Suppose u = -b + 5*z + 87, -2*z - 7 = 5*b - 388. Is 235/3 greater than or equal to b?
True
Let k = 2450 - 2450. Is 96/89 less than or equal to k?
False
Let t = -3916 + 3703. Is t < -209?
True
Let i be (-3 + 2 + 6)*(-114)/(-95). Suppose 1157 = i*a + 395. Is 127 at most a?
True
Suppose -942693*q = -942825*q + 27192. Suppose -4*n = -2*n - 412. Is q greater than n?
False
Let t(o) = o**3 - 39*o**2 + 269*o + 11. Let q be t(30). Which is bigger: -678/35 or q?
q
Suppose -40*s = 719 - 679. Let c = -6388/9 + 708. Which is smaller: c or s?
c
Let c = -69 + 33. Suppose 2*x - 14*f + 48 = -16*f, -3*x = -3*f + 60. Let d be (38/(-8))/(x/(-176)). Which is bigger: d or c?
c
Let m be (-4)/6 - (-3140)/12. Let b = -2817 - -3079. Does m = b?
False
Let l = -12654 - -12608. Is -34 < l?
False
Suppose 0*k = -2*k + 14. Suppose 21 = 14*m + k. Let g = 157/574 - -1/82. Does m = g?
False
Let v(n) = n**2 + 11*n - 33. Let k = -33 + 19. Let s be v(k). Suppose 4*t + d - 3 + s = 0, 5*t = d - 3. Is t < -2/5?
True
Suppose 9*a = 14*a + 410. Let g = 83 + a. Which is bigger: g or -55?
g
Let r be -2 + (4 + -3 - 5/1). Let h(d) = -d**2 - 2*d - 1. Let t be h(-8). Let x = t - -52. Which is bigger: r or x?
x
Let v = -6609 + 6545. Which is smaller: v or -0.79?
v
Suppose -543 = -5*t + 4*i, 5223 - 5195 = -4*i. Which is smaller: 82 or t?
82
Let u(n) = -2*n**2 + 6*n + 84. Let i be u(-5). Suppose -3*f - 1307 = -i*h, 3*f + 1039 + 270 = 5*h. Are f and -432 equal?
False
Let j = 661600662/6187 + -106934. Do 0 and j have different values?
True
Let v be (((-4)/15)/(168/70))/((-1069)/6). Is 0 != v?
True
Let j be -4*(2 - (-7)/4). Let h be (-34)/3*61/((-366)/(-9)). Which is greater: h or j?
j
Let p(i) = -i**3 + i**2 - 2*i - 11. Suppose -4*t = 5*f + 7 - 3, -f + 4*t = -4. Let o be p(f). Let d(v) = -2*v**3 + 5*v**2 - 2*v - 1. Let l be d(3). Is l < o?
True
Let d = -0.4 + -3.6. Let r be (12/(-19))/(24/(-304)) - 55/7. Is r bigger than d?
True
Suppose 46 = -9*o - 58 + 5. Which is bigger: o or -0.2?
-0.2
Let r = 180191/558684 + 8/5173. Is 0 bigger than r?
False
Let y be (2670/120)/(2/(-8)). Let c = y + 90. Is -5/13 greater than or equal to c?
False
Let g = 3134 + -3117. Which is bigger: -0.12 or g?
g
Let r be -1 + ((-673)/(-16) - 1). Let b = r + -40. Let c be (-5)/(-5) - (-2 - -3). Do b and c have different values?
True
Let k = 42 + -20. Suppose 3*d + q = 74, -k = -d - 2*q + q. Suppose -w + 3*w = -d. Is -12 smaller than w?
False
Suppose 6*d - 5*d + 40 = 0. Let a(w) = w**3 + 145*w**2 + 288*w + 4. Let s be a(-2). Is s > d?
True
Let x = 6.72 - 6.79. Which is smaller: x or -83/13?
-83/13
Suppose -3*o - 12 = -0*o, 3*z - 4*o - 19 = 0. Let t be ((37 + z)/(-1))/((-2)/4). Is 74 less than t?
True
Suppose 261*l + 398583 = -13797. Are l and -1580 unequal?
False
Let w(j) = -25 + 24*j**2 - j**3 - 7*j**2 - j**2 + 33*j - 14*j. Let z be w(17). Is z >= 4?
True
Let z = 643 - 690.3. Is 2 greater than or equal to z?
True
Let h be -3 - (4 + -8) - -3 - 2. Suppose -7*c + t + 2 = -10*c, 5*t - h = -3*c. Which is greater: 11 or c?
11
Let c be 5*(-2)/(-8) + (-374107)/1641394. Let j = 5/2164 + c. Which is smaller: 1 or j?
1
Let g = 4451089/6549 - -16/2183. Let r = 3571/6 - g. Is r equal to -86?
False
Suppose -2 + 22 = 2*a - 5*r, 0 = -4*a - 5*r - 20. Let s be 67 + -107 - (-2632)/64. Which is greater: s or a?
s
Suppose -5*h + 5*y - 4*y = 7, h - 7 = -4*y. Let b be 5*(-3)/5 + (-11)/h. Which is smaller: b or 13?
b
Let c be (-3)/5 - 480/1200. Is c less than 19/286?
True
Let v = -23744 + 166535/7. Let u = 148 + -101. Which is smaller: v or u?
v
Let l be (-1178)/604 + 1/((-8)/(-72)*6). Is 1 at least l?
True
Let c be ((-150)/100)/(-3 + (-600)/(-199)). Which is greater: c or -99?
-99
Let z = 45389 + -5492015/121. Is 1 at most z?
False
Let n(w) = -7*w**2 + 0*w + 0*w**3 + w**3 + 19 - 5*w. Let c = 4577 - 4574. Let m be n(c). Are -61/2 and m nonequal?
True
Let k = 7 - 7.0519. Let s = k - 0.0481. Let n = -36 + 5. Which is greater: s or n?
s
Let j be -96 + 81 - (-824)/25*(-120)/(-264). Let y(m) = m**2 + m + 1. Let f be y(-1). Is f bigger than j?
True
Let r = 54.7 - 53.987. Let u = -0.313 + r. Is u at most as big as 35?
True
Suppose f = 20*f - 42*f - 115. Is 16.8 at least as big as f?
True
Let p be (-312)/56 + 5 - 26*3244/(-147700). Is p less than 0?
True
Let y = -349 + 1752/5. Suppose -9*n + 7 = -8*n. Suppose 3*j + 1 = n. Which is bigger: j or y?
j
Let s(d) = d**3 + d**2 + d + 35. Suppose -t = -7*t. Let f be s(t). Let b be 27 + -8 + (9 - -7). Is b equal to f?
True
Suppose -5*n + 3*o = -6*n + 19, -4*o - 171 = -5*n. Suppose 27*h - 23 - n = 0. Is 22/7 greater than h?
True
Let p = -9437 + 9487.99. Let q = 0.01 + p. Which is bigger: 0.2 or q?
q
Suppose 19*w - 392 = 12*w. Let n be (0 - (-4)/(-10))/(w/(-10976)). Which is smaller: n or 77?
77
Suppose -19*s - 120*s = -27*s. Which is greater: -2/19067 or s?
s
Let z = 371 + -402. Let q = z - -173. Is 0 < q?
True
Suppose -3 = 26*p - 27*p. Suppose z - 2*x = -405, 5*x - x = p*z + 1223. Let h = z - -20239/49. Which is bigger: h or -1?
h
Let h(v) = -v**2 + 3*v + 12. Let m be h(-2). Let y(f) = 2*f - 3. Let n(b) = 4*b - 6. Let g(s) = 3*n(s) - 5*y(s). Let i be g(m). Is i smaller than -5?
False
Suppose 0 = 6*q - 11*q. Let b(t) = -2*t**2 - 2*t + 9. Let k be b(q). Let i = k + -9. Which is smaller: -2/43 or i?
-2/43
Suppose -3*k = 4*p + 2*k + 67, -3*k - 100 = 5*p. Suppose c = -2*i + 3 - 12, -9 = 4*i - c. Let w(y) = -2*y**2 + 3*y + 4. Let f be w(i). Does p = f?
True
Let y be (-1805)/(-45) - (-4)/18. Let i be 29/((-1160)/(-1650)) - (-10)/(-8). Which is greater: i or y?
y
Let f = 77 - 63. Let w(h) = 12 + f - 21 + 1 - h. Let k be w(4). Which is bigger: 0.1 or k?
k
Let h be 89 + (0 - (1 + -2)). Suppose c = h + 150. Let z = c - 5518/23. Are z and -1 unequal?
True
Let n = -12.188 + -0.112. Let f = -6.7 + n. Which is bigger: f or -2?
-2
Let t = 16330/18351 - 2/2039. Suppose -30 = -592*z + 586*z. Suppose -4*v + 2*b - 4 = 0, 5*b - 12 = z*v - b. Which is bigger: v or t?
t
Let k(l) = l**2 + 144*l + 2582. Let p be k(-21). Let s = 72 - 20. Let y be ((-8)/s)/((-4)/(-6)). Which is smaller: p or y?
p
Suppose -1677 = 17*l + 162*l - 4183. Which is bigger: l or 21?
21
Let s = 28.79 - 56.79. Which is bigger: s or -18/11?
-18/11
Suppose -359*z = -336*z - 322. Is -13 at least z?
False
Let r(u) = 2*u + 19. Let i be r(-9). Let m be (-942)/(-106) - (-5 - -14). Which is greater: i or m?
i
Let r(a) = -a**3 - 4*a**2 + 3*a + 1. Let j be r(3). Let d = 335835 + -335833. Which is greater: d or j?
d
Let n be (-2)/(4/(-421)) + (-12)/(-24). Let j be 