5*z - 14 = -3*i. Let k be (-524)/78 + (-6)/9. Is i smaller than k?
False
Let p be (-2882)/22794*(-1 - 17). Let f(l) = -l**2 - 3*l - 1. Let w be f(-1). Which is bigger: p or w?
p
Let x be 2*(-1)/((-2)/4). Let h be (4/32)/((-6)/x). Let o = 23715 - 23715. Is o >= h?
True
Suppose -288*q - 33 = -299*q. Which is smaller: 92/21 or q?
q
Suppose -25*h + g + 95 = -27*h, 4*h - g + 181 = 0. Let r = h + 46. Is -15/28 at least as big as r?
False
Let r be ((-16)/558)/(-2) + 0. Let m = 824 + -824. Which is smaller: r or m?
m
Let l = 54.8 + -5.8. Let q = 0.057 + -48.857. Let b = q + l. Which is greater: b or 1.4?
1.4
Let p = -158.6023 + -0.2977. Let y = -159 - p. Is 16 <= y?
False
Let z(o) = 5*o**2 - 23*o**2 - 30*o**2. Let f be z(1). Let k = 116 - 163. Which is smaller: f or k?
f
Let q = 10920 - 10898. Let x = 75 - 48. Which is greater: q or x?
x
Let k be 6/(-9)*12411/48 - -2. Let t = 171 + k. Is 2 >= t?
True
Let a(y) = y**2 - 120*y - 20116. Let p be a(214). Let w = 120.035 + -0.035. Which is greater: w or p?
w
Suppose 0 = -3*t - 646 + 63424. Let f = -188138/9 + t. Which is smaller: f or 21?
21
Let y = -139 + 120.1. Let c = 19 + y. Let b = -73 + 41. Which is smaller: c or b?
b
Let o = -116 - -181. Let c = o + -64.6. Let f = 1.4 - c. Which is greater: f or 54?
54
Let g = -2 + 25. Let d = 22 - g. Let c be 4/(-6)*-1*36/528. Which is smaller: c or d?
d
Let a be (1 - 0) + 1 - ((-16695)/(-560) - 28). Which is greater: a or -8/13?
a
Let c(k) = 178*k + 3347. Let m be c(-28). Are -1636 and m nonequal?
True
Let w = 28.64 + 216.56. Let a = -245 + w. Is 4/89 at most a?
True
Let o = 5427 + 4918. Which is greater: 10346 or o?
10346
Let d be (-6 + 3)/((-6)/8). Let j(y) = -y**3 - 6*y**2 - 6*y - 3. Let s be j(-5). Suppose 3*u + 3 = -s*q, -4*q - 2 = 2*u - 2*q. Which is smaller: d or u?
u
Let a = 12431 - 12428. Let n be (-2)/((-1)/(-1 + 3)). Suppose -n + 14 = 5*p. Does a = p?
False
Let p be (-4)/(1 + 58/(-62)). Let x = p - -61. Suppose 5*o = q - 13, 0*o + 2*o = -3*q + 90. Is x > q?
False
Let q(x) = 68 + x + 6 - 15. Let z be q(-17). Let g = -28 + z. Are 14 and g equal?
True
Let g = 15864 - 174390/11. Let v = 32 - 21. Are v and g non-equal?
True
Let f be 2*(12 + 1) - 6. Let w be 174/(-29) - (-162)/f. Is w bigger than 2?
True
Let l = -596 - -583.6. Are l and -8 nonequal?
True
Let o be (-162449)/21*(-48)/280. Let t = o + -1326. Is t greater than or equal to -1?
True
Let a = -14848 + 9625. Is a < -1/4?
True
Let g = -2264 - -2263. Is g less than 14/521?
True
Let y be 11 + 9 + -13 - (-3)/(-1). Let o(t) = -t**3 - 6*t**2 + 5*t - 10. Let s be o(-7). Suppose s = y*f - 0. Which is smaller: 1/2 or f?
1/2
Let h = -375 + 163. Let b = -190 - h. Which is smaller: 1/3 or b?
1/3
Let y = 1443 + -771. Which is smaller: y or 673?
y
Let w = -9 + 38. Let b = -22.78 - 2.22. Let p = w + b. Is p not equal to 1?
True
Let n(d) = -26*d + 2315. Let w be n(89). Which is smaller: 13/483 or w?
13/483
Suppose -12*h - 26289 = -26301. Are 3/6802 and h nonequal?
True
Let w be 15/(-5 + 2) + 25/(-35)*-7. Let o be (-1)/4*(-3)/(-23). Is o greater than w?
False
Let m be ((-52)/20)/(6/(-15)). Let w be (-430)/5*(-6)/(-4). Let l = w + 137. Which is bigger: l or m?
l
Let j be (377390/(-160028))/(-13) - 2*(-4)/(-44). Is 0 >= j?
True
Let x = 3.2986 + -0.0086. Let y = x + -3.3. Let u = y - -25.01. Is u at least 2/7?
True
Let h = -3477 - -191254/55. Does -1 = h?
False
Let l be -7 + ((-510)/((-30)/6))/((-3)/(-15)). Is l greater than 2519/5?
False
Suppose 0 = -5*h + 25, 3*h - 76 = 3*b - 2*b. Let g = 61 + b. Let x be (-40)/220 + (-93)/(-451). Which is smaller: g or x?
g
Suppose 0 = -2*m + 6, -2*z - m = -36 + 121. Suppose -5*r + 43 - 193 = 0. Let o = r - z. Are 12 and o unequal?
True
Suppose 157*x - 154*x = 15. Suppose -11*i - t - 107 = -7*i, -x*t = -5*i - 115. Which is greater: -11 or i?
-11
Let j = 373/33 + -2677/231. Which is greater: j or 4506?
4506
Let z be (1 + 2)*11/(-33)*-5. Let o(y) = -245*y**2 + 2*y - 3. Let w be o(z). Let c be w/616 - 2/(-11). Which is greater: c or -11?
c
Let n(q) = 9*q - 14. Let t be n(4). Suppose 0 = y + 10 + 8. Let v = t + y. Which is smaller: 5 or v?
v
Let o = -1593 - -1410. Which is smaller: o or -181?
o
Let c = -10.8 - -10.85. Let r = 193 - 184. Are c and r nonequal?
True
Let t(f) = 6*f**2 + 3*f + 2. Let j be t(-1). Let x(s) = s**2 - 4*s + 1. Let v be x(j). Is -3 >= v?
False
Suppose -3*z = 5*u - 660 - 450, -3*z + 3*u = -1086. Are z and 358 nonequal?
True
Let j = -175/6 + 119/3. Let b be 21/18*22 - 3/(-9). Suppose -b = -2*u - 6. Is u smaller than j?
True
Let f(k) = -k**2 + 3*k + 3. Let c be f(3). Let i = -269 - -233. Let p be (3 - -32)*i/(-585). Which is smaller: c or p?
p
Suppose 4*a + 3*c = 11860, 2*a = 3*c + 589 + 5377. Which is smaller: a or 2972?
a
Let k = 0.0595 + -310.0595. Let i = k - -311. Which is smaller: i or 4/99?
4/99
Suppose 7*f - 162 = 20. Let y = 28 - f. Let j be y/14 + 200/(-28). Which is bigger: j or -27/4?
-27/4
Let t(m) = -m**3 + 74*m**2 - 146*m + 159. Let p be t(72). Which is bigger: -4 or p?
p
Let v = 404 - 396. Let p = 51 + -54. Are v and p non-equal?
True
Let l(y) = y**2 - 18*y - 1. Let s be l(17). Let h(c) = -c**2 + c + 2. Let k be h(2). Let b be (k + 4)*15/s. Is b less than -4?
False
Let j be ((-23)/69)/((-17)/6). Let o = 25/68 - j. Is o equal to -5?
False
Let o be (-3 + 595/(-245))/(4*7/(-10)). Which is bigger: 1 or o?
o
Let p = -1880895/1319 + 1426. Do -1 and p have different values?
True
Let j = 2894 - 2893.99. Which is smaller: -140 or j?
-140
Let o be (298/(-20264))/(1/8). Which is smaller: 2/153 or o?
o
Let u = 47 - 46. Let s = -7715 - -1242111/161. Is u at least s?
True
Suppose 489*h - 1096 + 4010 = -998. Let t be (1 + -3)/((-1)/(-4)). Let f = -14 - t. Which is smaller: f or h?
h
Let m be (-3 + (-38)/(-8))/(-3 + 5668/1888). Is m smaller than 824?
False
Let g = -3/1627 - 9705/30913. Let b = -5 - -5. Is g less than or equal to b?
True
Let f = 0.194 + -0.101. Let r = -58.907 - f. Let j = r + 59.2. Which is smaller: j or 9?
j
Suppose 115*a - 71*a = -2684. Which is smaller: -57 or a?
a
Let b(j) = -j**3 + 4*j**2 - 2*j + 10. Let l be b(5). Let c = -1004/39 + 14/13. Which is smaller: c or l?
l
Let i be (0 - -161) + 6/(72/(-60)). Let b = -15783 + 47813/3. Which is smaller: b or i?
b
Let w be (-112)/(-364)*13 + 37/(-7). Is 10 bigger than w?
True
Let u = 6 + -9. Suppose -42 = 18*y + 30. Let r be (-6)/y*(-60)/(-405). Are r and u unequal?
True
Let m be ((-16)/(-6))/(-4)*(-13 + -35). Suppose -28 = -5*q + x, 0 = -4*q + 5*x - x + m. Let w(o) = -5*o - 1. Let r be w(-1). Is r at most as big as q?
True
Suppose -12*b = 19 + 5. Let z be (-7)/(-3 - b) + -7. Let u be 2/9 - 164/(-234). Do z and u have the same value?
False
Let g(c) = 26*c + 18. Let q(o) = 27*o + 23. Let r(k) = 3*g(k) - 2*q(k). Let h be r(11). Which is smaller: h or 274?
h
Suppose 18*r - 7947 = 18117. Suppose -44*v - 3348 = r. Which is bigger: -105 or v?
-105
Let j(n) = -43*n**2 + n + 2. Let o be j(-1). Let h be (o/(-49))/((-2)/(-7)). Suppose -6*c + h*c = 96. Is c less than -32?
False
Let j be 2*(-3)/2 - -1698. Let r = 28827/17 - j. Which is smaller: r or 2?
r
Let t = -25251 + 25517.1. Which is bigger: t or -3?
t
Let v(c) = -5*c**2 - 15*c - 74. Let l(m) = -7*m**2 - 14*m - 75. Let q(o) = 2*l(o) - 3*v(o). Let z be q(-12). Is z > 9?
True
Let r(x) = -x**2 + 3*x + 2. Let u be r(4). Let m = -664241 - -8639160/13. Let i = 309 - m. Which is greater: i or u?
i
Suppose 90*y - 442*y - 34*y - 216*y - 1806 = 0. Suppose -10 = -5*c - 0. Which is bigger: c or y?
c
Suppose -8 = 3*c + 10. Let i be 20 - 25 - (c + 0). Let o be ((-117)/(-3) - 2)/i. Which is smaller: 35 or o?
35
Let h(z) = z - 25. Let v be h(40). Suppose -u - 37 = -5*s, -4*s - v = 4*u + 253. Let a be 2/(-7) - (-1317)/(-21). Is u < a?
False
Let m be 2 + -51 + (-2)/1. Let d(f) = 2*f**3 + 31*f**2 - 26*f - 211. Let q be d(-16). Let o = q - m. Is o <= 2.8?
True
Let s = 154 + -157. Let i be s/(-6)*-4*(-20)/(-8). Which is smaller: -4 or i?
i
Let v be 170/1785 + 2685/(-189). Suppose -5*b = 5*i + 1 + 44, 0 = 4*i + 3*b + 41. Which is smaller: i or v?
v
Let y(u) = 32 - 7*u - 32 - 37. Suppose -35 + 3 = 8*d. Let g be y(d). Is -9 greater than g?
False
Let r = 22 + -269. Let h = 251 + r. Which is smaller: h or 29/6?
h
Let c(q) = 2*q**3 - 13*q**2 - 29*q - 159. Let t be c(8). Which is small