 0. Suppose 0 = f*l + 5*r - 2*r - 15, -55 = -5*l + 5*r. Let n(o) = -3*o**3 - 159*o**2 + 2*o + 114. Let h be n(-53). Is h < l?
False
Let c = -37.6082 - -37.95. Let z = c + -3.3448. Let m = z - -0.003. Which is smaller: 0.2 or m?
m
Let m = -5 + 1. Let j(s) = -28*s**2 - 8. Let c be j(m). Let f = c - -7293/16. Is f at most -1?
False
Let m be (-8)/(-18) + 690/270. Does -0.07 = m?
False
Let z be 5 + 1*202/(-18) - -6. Let d = -73 + 17. Is d at least as big as z?
False
Let w = 17.059 + -285.059. Which is smaller: w or 14?
w
Let x = 0.7638 - 0.5638. Which is smaller: x or 563?
x
Suppose 2*z + 21883 = -5*g + 56, 54698 = -5*z + 2*g. Is z at most -10936?
True
Let b(g) = -g**2 + 84*g - 118. Let n be b(63). Is 1205 at least as big as n?
True
Let w = 2417 - 2119. Which is greater: w or -2/19?
w
Let b be 3/9 - (-56)/21. Suppose -1 = -2*p - b. Does p = 10?
False
Let r = -487 + 508. Suppose 4*w - r*z = -16*z - 100, 4*z = -5*w - 166. Is w smaller than -29?
True
Let i be 56682/27*12/(-32)*-4. Is 3150 > i?
True
Let z = 15 + 1. Let g be ((-20)/(-6))/(21 - (-1372)/(-66)). Is z bigger than g?
True
Let v be ((-93)/(-124))/((-1)/12). Let h be (-74)/72 - (v + (-249)/(-27)). Let t = -4.93 - 0.07. Is t at most h?
True
Suppose 10*c = 12*c - 16. Let g be ((-2)/c)/((-9)/24). Which is smaller: g or 0.41?
0.41
Suppose -15*p + 2916 = -6*p. Let g = p + -247. Is 1/4 equal to g?
False
Let a = 11343 - 11308. Are a and 539/16 unequal?
True
Suppose -630*n + 332 = -631*n + 5*k, -5*n - 3*k = 1492. Is n less than -1507/5?
True
Let k(f) = -f + 1. Let d(q) = -22*q + 178. Let g(b) = d(b) - 6*k(b). Let m be g(9). Is m bigger than 28?
False
Let i = -523.49 + 10.49. Is i greater than or equal to -1/2?
False
Let o be (-11 + 3/(-3))/(117/(-234)). Is o bigger than 65?
False
Let o be ((-1)/10)/(6 - 496/80). Which is bigger: o or -74?
o
Let m = -0.0379 - 61.4621. Which is bigger: m or -2/3?
-2/3
Let k = -2112.6 + 2041. Which is smaller: k or -2/5?
k
Let r = 429 + -424. Suppose -39 + 19 = -5*w + 5*y, -r = y. Let n = 65.05 - 0.05. Which is smaller: w or n?
w
Let c be 17/102 + 7426/8892 + -5 + 4. Which is bigger: c or 0?
c
Let j = 101 + -5. Let w be 24/(-6) - (-366)/j. Suppose 2*g - 4*g + 6 = q, -8 = -2*q. Do g and w have different values?
True
Let y = -2150 + 2160. Is y at least as big as -20/3?
True
Suppose -2*x + 126 = -s - 382, -5*x = -3*s - 1272. Let u = 223 - x. Are -28 and u non-equal?
True
Let b = 538 + -304. Is 701/3 greater than or equal to b?
False
Let n = -6.02 + 8.017. Let o = 0.103 + n. Which is bigger: o or -3?
o
Let i = -120 - -596/5. Suppose 23 = -3*a - 2*p, -4*a + 0*p = 3*p + 30. Let z be (-25)/a - 24/(-108). Which is greater: i or z?
z
Let c be (-77 - 19)/(-3 + 5 - 3). Suppose -5*t + 0 = w - 5, 0 = -4*t - w + 5. Suppose -4*x + x - c = t. Is x != -33?
True
Let b(z) = 223*z - 21852. Let o be b(98). Let k = -32 - -65/2. Which is smaller: o or k?
k
Let f = -545 - -550. Suppose 9 = -3*b, -u - 3*b + f - 15 = 0. Is -1/432 greater than u?
True
Let l = 1141 - 1224. Which is greater: -2 or l?
-2
Let t = 723 + -129. Let v = t + -635. Let f = -3 - -3. Is f greater than v?
True
Let m = -6102 - -42716/7. Which is smaller: m or -0.0586?
-0.0586
Let r = 8015 - 9414. Is -1401 at most r?
True
Suppose 0 = -0*n - n + 2*s + 36, 2*s - 174 = -4*n. Let t = -1037 - -1085. Which is bigger: n or t?
t
Let h(c) = 8*c - 167. Let w = -167 + 188. Let f be h(w). Let n be 1/1 - 29/24. Which is smaller: n or f?
n
Let p = 800 + -800. Suppose 0 = -4*r + 2*k - 32, p*r + 3*r + 38 = -2*k. Let n(t) = -t**3 - 4*t**2 + t - 5. Let l be n(-4). Does r = l?
False
Let q = 43318.8 + -43319. Is -23196 less than or equal to q?
True
Let t = -27364 + 245677/9. Which is smaller: t or -68?
-68
Let m = 1.5 - 13. Let s = -11.5 - m. Is 37 < s?
False
Let o(b) = -10*b + 22. Let i be o(-11). Let l be (i/891)/((-86)/6). Is -1 bigger than l?
False
Let i be 1/(((-35)/15)/(-7)). Suppose -h - 158 = -3*z, 0 = -i*h + 5*z - 212 - 250. Is -149 < h?
False
Let u(r) = r**3 + 21*r**2 + 45*r + 51. Let w be u(-19). Which is smaller: w or -81?
w
Let s be -2*1/(10/(-105)). Let h be 36/s - (-4)/14. Suppose h*u - 7*u - 70 = 0. Which is greater: u or -13?
-13
Let b be 1/(2/(-76)*-2). Suppose -426 = -3*j - 3*o, 0 = j + 4*o - 74 - 56. Let t = j - 127. Are t and b nonequal?
False
Suppose -2*w + 99 = -l - 512, 0 = 2*l + 10. Suppose 217*n + 5*m = 212*n + 1510, 0 = -5*n - 13*m + 1494. Which is smaller: n or w?
w
Let l be ((-715)/(-7) - 1) + (-4)/28. Is l greater than 307/3?
False
Let x = 143 + -279. Let o = -135 - x. Is o less than 0.58?
False
Let x(o) = -2*o**3 + 18*o**2 + 2*o + 9. Let w be x(9). Let q be (-3 - (-1)/1)/((-1206)/w). Which is smaller: 1 or q?
q
Suppose 0 = -j - 2*l - 12048, 1114*j - 1112*j + 5*l + 24090 = 0. Is j smaller than -12059?
True
Suppose -4*u = -2*u + 18. Suppose -8*q = -f - 5*q - 11, -4*q = 4*f + 28. Which is smaller: u or f?
u
Suppose -3*s + 42 = -5*j, 4*j = 4*s - 59 + 3. Suppose -23*p = -s*p - 90. Is p bigger than 16?
False
Suppose 2*a = 82 + 130. Let h be (1/6)/(1/a). Suppose 2*s = 5*q - 9, -350*q + 3*s + 7 = -349*q. Which is smaller: h or q?
q
Suppose 31 = 5*k + 11. Suppose -4*h = -h + k*q - 51, 3*q + 51 = 2*h. Let j(z) = z**2 + 12*z + 22. Let b be j(-12). Which is smaller: b or h?
h
Let o(r) = -r**3 - 6*r**2 - 13*r - 75. Let z be o(-6). Let m be ((-2)/4)/(z/(96/2104)). Is m at most 1?
True
Suppose -6*m - 5*b - 963 = -3*m, -3*b = m + 313. Is m at least -328?
False
Let x be 4/(-30) - 1706388/1980. Let d = -862 - x. Which is greater: d or -1?
d
Let d = 931802481/9193 - 101360. Which is smaller: 1 or d?
d
Suppose 192 = 299*a - 107. Do a and -2/12365 have the same value?
False
Let j = 204544/5 + -40779. Is j equal to 2/9?
False
Let a be (-1)/((-14)/1424) + (-2)/(-7). Let c = a - 98. Suppose -f = c, t + f - 116 = 4*t. Is t >= -39?
False
Let f = -687 + 693. Let a(b) = 5*b**2 - 19*b + 1. Let x be a(f). Is 70 less than x?
False
Let i(z) = -z**3 - 6*z**2 + 2. Let j be i(-2). Which is smaller: j or -8?
j
Let j = 0.07716 - 34.46716. Let h = -2.39 - j. Let o = 0.3 - 0.2. Which is smaller: h or o?
o
Let v be ((-2)/3605)/((-2)/10). Let c be (520/(-170))/26 - (3 - 108/51). Which is greater: v or c?
v
Let z be 72/(-192) + (-1429)/5736*-3. Which is smaller: z or 0?
0
Let r = 193 + -279. Let k = r - -91. Suppose 2*x = -2*l, -5*x + 0*l + 5*l + 10 = 0. Is k not equal to x?
True
Let h = 36335 - 36316. Which is greater: h or 719/40?
h
Suppose 4*d - 50 = 78. Suppose 3*f = w + 103, 4*f = 2*w - 135 + 279. Is f at least d?
False
Let d = 3182 - 3163. Which is smaller: 79/4 or d?
d
Let c be (45/(-12))/((-1)/28). Suppose -5*s - c = -8*s. Suppose 8*j + s = 3*j. Does j = 0.09?
False
Suppose -300 = -k - 4*k. Suppose -d = -2*d + 2*c + 12, 12 = d + 4*c. Suppose -2*l + d = k. Is -25 > l?
False
Let v = -87 - -109. Let n = v - -4. Let y = -24 + n. Is y < 11?
True
Let x be 6/(-10) - (-46)/10. Let n = x - 7. Suppose 9344*h = 9338*h - 24. Is h bigger than n?
False
Let j be (-6)/(-4)*(-1 + 7). Let x = 146 + -144. Suppose 0 = -x*y - 74 + 60. Which is smaller: j or y?
y
Suppose 2*t = 5*v + 20 - 38, -3*t + 4*v - 41 = 0. Is t less than or equal to 5?
True
Let s = 12.8 - 22.3. Let j = s - -9.6. Which is greater: j or -0.047?
j
Let m(p) = 15*p**2 + p - 4. Let j(a) = -14*a**2 - 2*a + 5. Let d(i) = -3*j(i) - 4*m(i). Let c be d(-1). Let r(y) = -y**2 - 20*y - 23. Let f be r(c). Is f != -6?
True
Let p = 44/28541 - -49915129/1997870. Let f = p - 527/10. Which is smaller: f or -27?
f
Let l be 22/(-12)*228/(-1881). Let z(r) = -r**3 + 4*r**2 + 6*r - 5. Let o be z(5). Is l at most o?
False
Suppose -n + 39 - 7 = -3*p, 2*n - 44 = -4*p. Which is bigger: 3 or n?
n
Let b be ((-8)/(-16))/(16/(-10)). Let l = -29 + 23. Let j(z) = 3*z + 18. Let c be j(l). Is c not equal to b?
True
Let q(d) = -d**2 + 2*d - 16. Let j be q(13). Let f be j/(-21) - 15/(-35). Let b = 40 - 31. Which is smaller: f or b?
f
Let d be (-2 - 1)/3 - -2. Let j be (-39)/52 - (-3235)/4260. Is j greater than d?
False
Let x be 0 + 8 - 1 - 83776/13090. Let k = 3 - 2. Which is smaller: x or k?
x
Let q(w) = -w**2 - 13*w - 38. Let t be q(-4). Let m be 3*539/(-63) + t/6. Is -33 equal to m?
False
Let c be -8 - -46*1837/10571. Is -1/3 < c?
True
Let v = -2877.304 + 2877. Let z = 10 + -9.9. Which is greater: v or z?
z
Let m be 6 + -42*(-5 + 