f(c) = -c**3 + 17*c**2 - 16*c. Let y be f(16). Suppose 4*h = 2*i + 282, -4*h - 4*i + 216 + 84 = y. Is 73 != h?
True
Let t = -20945 - -19372. Which is greater: -1572 or t?
-1572
Let a(k) = 10*k**2 + 15*k + 7. Suppose -2*z - 4*q = 12, z + 2*z - 2*q = 22. Let c be a(z). Which is smaller: c or 229?
c
Let t = 0.21 - -33.79. Let b = 32 - t. Which is smaller: 1/12 or b?
b
Let m be 12/(-3)*(-4)/(-2) + (-2581236)/(-756). Is m at most as big as 3407?
True
Let f(i) = 2*i**2 - 11*i + 20. Let g be f(4). Suppose 0*o + 2 = 4*y - 3*o, -2*y = 3*o + g. Let d be (-1137)/(-2250) + 2/(-4). Is y less than d?
True
Suppose -4*j - 24408 = -28*j. Let a = 15244/15 - j. Which is smaller: -1 or a?
-1
Let i(s) = 1982*s**2 + 107*s - 108. Let b be i(1). Which is bigger: b or 1980?
b
Let o = -0.03836 + 0.08936. Is -33/2 >= o?
False
Suppose 0 = 2*a - 4*a + 34. Suppose -2*p + a = 2*u - 1, -2*p - 5*u + 27 = 0. Suppose b + p*b - 56 = 0. Do b and 5 have the same value?
False
Let m be -40 - 37/((-148)/196). Let i(a) = 3*a - 6 + 7*a - 2*a - a**2. Let r be i(6). Is m at least as big as r?
True
Let w be (0 - (-4)/(-20))*1. Let t = 49.82 - 89.82. Is t < w?
True
Let f be (501/(-156))/(4 + 68/(-12)). Let r = -27/13 + f. Let v = 1 - 2. Do r and v have the same value?
False
Let p = -12 - -17. Let d be 5/((-25)/(-1)) + (-251)/p. Let k(w) = 27*w + 3. Let i be k(-2). Is i equal to d?
False
Let c = -651 + 866. Is -10 <= c?
True
Let n be 4/(-16)*12/(-327). Let w = n + -465/3161. Suppose -4*g + 5*b - 15 = 14, -3 = -2*g - b. Is w not equal to g?
True
Let x be 145332/(-445280) - 4/(-22). Let a = -109/40 + x. Is -2 not equal to a?
True
Let x(a) = -2*a**3 + 24*a**2 - 16*a - 6. Let w be x(10). Let m = w - 2104/9. Which is smaller: m or 27?
m
Suppose -3*d = 2*y + 8788, -3*d + 4*y = 3*y + 8809. Is d bigger than -2933?
False
Let g be 2*(-20)/(-88)*(-392709)/395. Which is bigger: g or -452?
g
Let q be (-9)/(-10) - (-6)/(-15). Let r = -218.2675 + 0.3675. Let o = -218 - r. Which is smaller: q or o?
o
Let k = -2721 - -2855. Is -3 less than or equal to k?
True
Let j = 107 + 85. Let g(z) = 23*z + 2. Let t be g(0). Which is smaller: j or t?
t
Let z = 7 + -11. Let g be 935/(-45) - z/(-18). Suppose -1029 = 27*f + 22*f. Is g < f?
False
Let u(n) = n**3 + 20*n**2 - 43*n + 3. Let i be u(-22). Let m be i/19 - 25*-3. Is m != 75?
True
Suppose -50*f + 32 = -42*f. Let i be f - ((-270)/7)/(-9). Which is greater: i or 61?
61
Let f(i) = -3*i**3 + 115*i**2 + 77*i + 20. Let o be f(39). Is o equal to -438/25?
False
Suppose 0 = -24*p + 26998 + 19886 + 10764. Which is smaller: 2397 or p?
2397
Let i be (-60)/200*4/8*12. Which is smaller: 0.038 or i?
i
Let x be ((-10)/(28950/(-45)))/(-57). Is x less than -1?
False
Let j = 58/147 - -45757/147. Let n = j - 317. Suppose -3*o + 4*p - 20 = 0, -6 = o - 5*p + 4*p. Is o at least as big as n?
True
Let i = -6276 + 5688. Which is smaller: i or 4/7?
i
Suppose 4*t = 3*v + 48, 2*t - 4*v - 24 = -0*t. Suppose t*z - 371 = 1285. Are 137 and z nonequal?
True
Let l be -1*(2 - 3)*-1. Let o be (-75)/228 - l/4. Suppose 2*j - 191 = -193. Is j equal to o?
False
Suppose -14 = -y - 2*a, -2*y + 5*a + 7 = 24. Suppose -y*c = -5*d - 93, -c - 5*d = 2*c - 26. Let z = -18 + c. Is -14/9 < z?
True
Let p(i) = -3*i**2 - 50*i + 17. Let l be p(-17). Let x be ((0 - 4) + -25)*1. Let z be (-4)/(-2) - (-46)/x. Is l < z?
True
Let x = 33/68 + -4/17. Let d = 47.82 + 0.18. Which is greater: x or d?
d
Let n be (-2673744)/3360 - (-5)/250*-5. Which is greater: -796 or n?
n
Let o = -306 + 304.82. Let q = 0.18 + o. Are -1 and q non-equal?
False
Let y = 16943 - 3981621/235. Which is greater: y or -1?
y
Let k = -806 - -437. Is -372 greater than k?
False
Suppose 466 = 2*z - 3*d, z + 5*d - 246 = -0*z. Which is bigger: 242 or z?
242
Let k(a) = 11*a + 33. Let i be k(-3). Suppose -3*w - 3*s + 600 = i, 5*s + 791 = 9*w - 5*w. Is 198 <= w?
True
Let g = -33 + 49. Let l(i) = -3*i + 49. Let r be l(g). Which is smaller: r or -1/681?
-1/681
Let r be 6 + (-3)/(-9)*-15 - 1. Is -5/438 not equal to r?
True
Let a = 8647 + -7455. Which is smaller: a or 3?
3
Suppose -29*a = 3*g - 27*a + 942, 2*g = -a - 630. Which is bigger: -312 or g?
-312
Let i be ((4*2)/(1752/219))/((-1)/(-46)). Let g = 5579/3 - 1815. Which is greater: g or i?
i
Let l = 186 - 169. Suppose -n + f = 2*f - 4, -4*n - 3*f + l = 0. Are -7 and n equal?
False
Suppose -5*x + 75 = p, -4*x - 31*p = -26*p - 39. Which is smaller: 2.08 or x?
2.08
Let n(d) = -12 + 43 - 51*d + 92 + 106 + 79. Let s be n(6). Which is bigger: s or 2/325?
s
Let q(g) = -2*g**3 + 3*g + 5. Let m be q(-2). Let o = m + -11. Suppose -2*a + 3*i = -7*a + 36, i = a - o. Which is greater: a or 5?
a
Let f(p) = -19*p + 191. Let r be f(10). Is r equal to -18/3737?
False
Let j = -2 + 1.9. Let y = 869 - 869. Let k = j + y. Which is smaller: k or -12?
-12
Let v = -129 + 161.6. Let b = v + 9.4. Let m = 44 - b. Does -17 = m?
False
Suppose 155*m - 906 = 24. Is 284/43 not equal to m?
True
Suppose -9*d + 8*d - 2*x = -442, -5*x = -3*d + 1304. Which is smaller: 1316/3 or d?
d
Let a = 11268 - 11269. Let r be 22*-1*(-2)/(-30). Which is smaller: r or a?
r
Let u = -2 + 1.6. Suppose -3*z - 74 = 2*k, -3*k = -5*z - 371 + 235. Which is greater: z or u?
u
Let h be -1*5/(-10 - -5). Is h greater than 43/48?
True
Let b(a) = -5*a - 2 + 631*a**3 - 1270*a**3 + 640*a**3. Let n be b(-2). Let m = 187 + -3929/21. Which is bigger: n or m?
n
Let j = -0.279 + 0.24. Let b = j + 1.009. Let n = 0.87 - b. Which is smaller: -15 or n?
-15
Let h = 30.39 + -16.39. Which is bigger: -4/27 or h?
h
Let t(y) = -y**2 - 3*y + 26. Let l be t(-7). Let a = 26 + -7. Let i be 2*5/10*(a + l). Is 18 at most i?
False
Let s be 52/(-174) - (-2)/6. Suppose -a - 2*r = 63 + 41, a + 5*r = -101. Let w = a - -107. Is w less than s?
False
Let d be (4/((-32)/(-612)) - 5) + (-37)/74. Is -54 != d?
True
Let t(n) = -n**3 + 16*n**2 + 48*n - 1074. Let g be t(18). Is -1 < g?
False
Let g = -3390 - -3381. Which is greater: -128 or g?
g
Let z = 120.9 + -106. Let x = -6.3 - z. Let t = x - -21. Which is greater: t or -10/7?
t
Suppose 3*g - 49 = 5*l + 33, -2*g - 3*l = -42. Let v(n) = n**3 - 24*n**2 + 37. Let t be v(g). Which is smaller: t or 151/4?
t
Suppose 70*l - 71*l = -4*i + 617, -5*l = -i + 140. Is i at most as big as 156?
True
Suppose 4*s - s - 5*q - 52 = 0, -5*s - 3*q + 30 = 0. Let j be (-327)/(-27) - ((-8)/s + 1). Is 8 less than j?
True
Let w(a) = -2*a**3 - 15*a**2 - 27*a + 5. Let l be w(-4). Let q = 17925 + -3083139/172. Let i = -1/43 + q. Which is bigger: i or l?
l
Suppose -3*c - 34510 = -5*x, -2*x - 571*c + 13805 = -572*c. Is x at most as big as 6905?
True
Suppose 14*h = -5*t + 12*h + 767, 4 = -h. Are 161 and t non-equal?
True
Let v = -30 + 7. Let a = 274 - 269. Suppose -22*k + a*k = 425. Which is bigger: k or v?
v
Let v = 6.8 + -14.8. Let q = -8 - v. Which is smaller: q or 18/17?
q
Suppose -2*p - 686*y = -690*y - 1636, -3*p = 2*y - 2494. Is p at least 828?
True
Let t be (-12)/(-21) - (-3396)/(-63). Let k = 1387/26 + t. Which is bigger: -1 or k?
k
Let u be (-63)/6 + 4/2. Let l = -1.7873 + 1.1873. Which is bigger: u or l?
l
Let c be 258510/126*(-5)/((-75)/18). Which is bigger: 2463 or c?
2463
Let m = -0.62 - -0.7. Let p be 28/(-108) + 4/18. Let u = -8/27 + p. Which is smaller: u or m?
u
Let a be 3 + 1*292/(-44). Let d be (-2 - (-14)/8) + 80/22. Let o = d + a. Is 1 equal to o?
False
Let b(n) = 2*n**3 - n**2 - 8*n + 7. Let w(r) = 3*r**3 - 8*r + 8. Let l(o) = 4*b(o) - 3*w(o). Let z be l(-4). Let k be -4*((-415)/z + 6/(-27)). Is k > 47?
False
Suppose 7*j - 14 = -0. Suppose 0 = 4*v + j*r + 52, 3*v + 45 = r - 4*r. Let a = v - 1. Which is smaller: -63/5 or a?
-63/5
Suppose -378927 = 428*j - 215*j. Are -1778 and j equal?
False
Let b be ((-1)/(1/(-6)))/1. Let q be (-5)/(-3) - b/9. Let h = 8.05 - 8.1. Which is smaller: h or q?
h
Let l be (-2)/43 - 0/(-2). Let j(c) = -23*c + 22 - 5*c + 29*c. Let m be j(-21). Which is smaller: l or m?
l
Let t = -47 + 45.9. Let d = -1 - t. Let x = -0.076 - -0.056. Is x less than d?
True
Let z = -64/182245 + 3615928037/14215110. Let k = 1525/6 - z. Is k <= 0.2?
True
Let b = -161 + 293. Suppose -g - b = 2*g + 3*a, 0 = 5*a + 25. Is 2 > g?
True
Suppose d = -2*z + 9 - 1, -3*z + 15 = 3*d. Let l(q) = -23*q - q**3 - 9*q**d + 2*q**3 - 2 + 17 + 5. Let t be l(11). Which is bigger: 11 or