 m be c(i). Let a = -15543/17 + m. Which is smaller: a or -1?
-1
Let y be (-4)/(-174)*66396/(-9152). Let i = y + 3/232. Suppose -5*v - 9 = -x, -x + 8 = -3*v - v. Which is greater: v or i?
i
Let p = -38 - -54. Suppose p = -4*l + 12. Which is greater: 2/663 or l?
2/663
Let g = 273 - 288.4. Let s = -19.4 - g. Which is smaller: -1.9 or s?
s
Let q = 577 - 586.51. Let i = q - -0.51. Is -0.3 greater than or equal to i?
True
Let c = 24.779 - -0.021. Let n = c - 22.8. Which is greater: n or -63?
n
Let f = -31431 + 31451. Is 311 < f?
False
Let p(y) = y**3 - 21*y**2 + 66*y - 212. Let c be p(18). Which is smaller: c or -312?
-312
Let k(y) = -27*y**2 - 218*y - 21. Let p be k(-8). Let b = -9496/923 - -370/71. Which is greater: p or b?
p
Let a = -1235 - -1236. Is a less than -16/37?
False
Suppose -4*a + 5*k = 1915, -376*k + 381*k - 1445 = 3*a. Which is smaller: 17/2 or a?
a
Let v be -30 + 5 + (43 - 19). Which is smaller: 2/24381 or v?
v
Let f(i) = -15*i**3 + 24*i**2 + 19*i**2 - 63 + 14*i**3 - 2*i**2. Let s be f(41). Is -63 greater than s?
False
Let v(p) = -4*p + 20. Let k be v(5). Let c be 4/10 + k/(-8 + 6). Let j = 515/938 + 3/134. Which is smaller: j or c?
c
Let p(m) = -27*m - 1000. Let c be p(-37). Is c < 2?
True
Suppose 3*q - 26 = -4*t, -5*t - 13 = q - 29. Let w be (-2)/(-6) + (-32)/q - -3. Which is smaller: -45 or w?
-45
Let i = -30 + 30. Suppose 0 = m - i*m - 5*m. Is m at most -65/6?
False
Let u be 10*(-2)/(-15) + 2/3. Suppose 2*k = u*f - 106, -5*f + 0*f - 167 = 4*k. Let r = -46 - k. Are -9 and r nonequal?
True
Suppose 0 = -2*k + r + 21, -k - 3 = 4*r - 36. Suppose -11*t + 8 = -k*t. Let v be 3*(-4)/(-48)*t/3. Which is smaller: 4/7 or v?
v
Let o = 0.25 + -0.73. Let u = -0.06 + 0.02. Let z = u + -0.96. Which is greater: z or o?
o
Let p(n) = 63*n - 1743. Let z be p(25). Which is smaller: z or -12?
z
Let z be (-6)/27 - (-34)/72. Suppose 5*u = 150 + 400. Suppose -6*f + u = 326. Which is bigger: f or z?
z
Suppose 2*o - 6*o = -12, 0 = 2*b + o - 9. Let i(d) = 5 + 17 - b*d + d**2 - 6*d. Let h be i(5). Which is smaller: h or 6/5?
6/5
Let s be -1 - (-6)/(6/5). Suppose s*f = 55 - 459. Let r = -64 - f. Is r less than or equal to 38?
True
Let y(c) = -2*c**2 + 11*c + 11. Suppose i + 20 = 5*d, d = 8*i - 5*i - 10. Let k be y(i). Which is greater: k or 31?
31
Let r = 15/76 + -207/2204. Which is smaller: r or 2/9?
r
Let j(f) = -f**3 + 11*f**2 + 28*f - 25. Let h be j(13). Which is greater: -6/595 or h?
h
Let m be 47/4 + (-4 - -12). Let g be 2*34/4 - -3. Which is greater: m or g?
g
Let k(j) = j**2 + 12*j - 51. Let u be k(-24). Is u bigger than 1421/6?
True
Let r be 10/(4 + 1) + (-155610)/(-19449) + -10. Which is smaller: r or -1?
-1
Suppose -9*m = -289 + 298. Which is bigger: m or 22.61?
22.61
Let z be 45 + -37 + 1 + (-3738)/412. Is 0 greater than or equal to z?
True
Suppose -40591 - 59795 = -11*j - 106*j. Is j bigger than 863?
False
Let p be (-5)/15*(-21 + 45174/22). Which is greater: -676 or p?
-676
Let t = -71 - -218. Suppose 6*u = -u + t. Which is smaller: u or 19?
19
Suppose 5*o + 3 + 4 = g, 2*g - 5 = o. Suppose w - 4*w = -2*u - 49, 5*w - 45 = -4*u. Suppose 3*s = -y - w - 1, 0 = y + g. Which is greater: s or -10?
s
Let c = -279.7 + 715.7. Is c < 2?
False
Suppose 0 = 3*l - 4*l + 4*c + 15, 3*l - 9 = 3*c. Let o(i) = 2*i**2 + 64*i + 64. Let b be o(-26). Let j be (-4)/(-32) + 55/b. Which is bigger: j or l?
j
Let n be ((-121496)/96*3)/1 + (-5)/1. Is -3802 less than or equal to n?
True
Suppose 3*h + 2647 = 2*c, -h + 4*c - 426 = 473. Is -875 greater than h?
True
Let s = -214.5 - -214.3. Let z = 142.61 - 143. Which is greater: s or z?
s
Let k(q) = -q**2 - 8*q + 66. Let y be k(5). Suppose 0 = -m - 4*t - 12 - 8, -4*t - 16 = 0. Let w = m + 12. Which is greater: w or y?
w
Let a(d) = -d**3 - 44*d**2 + 129*d + 86. Let k be a(-47). Is 652 <= k?
False
Let y = 24.9 + -25. Let r = -120.71 + -1.29. Let b = r + 121.78. Is b at most y?
True
Let r be 42/45 - 3/9. Let g = -95.4 + -12.6. Let c = 92 + g. Which is bigger: r or c?
r
Suppose 0*x + 1 = -x. Let t(a) = -456*a - 17. Let p be t(x). Which is smaller: 438 or p?
438
Let t(b) = -b + 7. Let y be t(6). Let w be -3 - (-28)/8 - (-277)/2. Let p = -694/5 + w. Which is greater: y or p?
y
Let g = 12175 + -12175. Which is smaller: -427.4 or g?
-427.4
Let c be -1 - -5 - (27 + -2). Let o be c/(-3)*-12 - (-6 + 8). Are -88 and o unequal?
True
Let p = 5.5821 + 2.4579. Is p less than 4?
False
Let z be 2*1 + (60/6)/(-5). Suppose -5*t + 4*a - 5084 = 0, 0*t + 3*t - 5*a + 3040 = 0. Let m be (135/t)/((-22)/(-16) - 1). Is z at least as big as m?
True
Let o = 0.4417 + -252.5417. Let w = -252 - o. Which is greater: -79 or w?
w
Let m = -0.1 + 36.1. Let w = 35.91 - m. Let u = -7.3 - -7. Is w at least u?
True
Suppose -c - 5 = -13. Suppose 12*p = 20 - c. Let d = -1715/11 - -156. Is p less than or equal to d?
False
Let b(a) = 3*a**2 - 13*a + 132. Let g be b(-17). Let p = 1204 - g. Let m = 23 - 38. Does p = m?
False
Let y = 147 - 44. Let s be 192 + -206 - (-1 + 1 - 115). Which is greater: y or s?
y
Let w = 20.059 + -0.259. Let c = w + 28.2. Is 2 bigger than c?
False
Let y = 19 + -15. Let x be 29/(-58) - (-58)/y. Suppose -12 = -x*h - 68. Which is smaller: h or -12?
-12
Let q(j) = -129*j + 1381. Let k be q(9). Which is greater: -20 or k?
k
Let z = -6979 + 7620. Is 639 greater than or equal to z?
False
Let o be (5/2810)/((-19)/(-38)). Which is bigger: -1 or o?
o
Let h be (-7)/((-14)/18) - 4. Suppose -574 + 129 = -h*m + 5*i, -m + 86 = -2*i. Which is smaller: m or 93?
m
Suppose -2*u + 13*d = 11*d - 128, 5*d = u - 68. Suppose 0 = 18*c - u*c - 1440. Which is greater: -34 or c?
c
Suppose -7*d - 38 = -2*s - 4*d, d = -2*s + 38. Let w(t) = t**3 - 18*t**2 - 19*t - 9. Let x be w(s). Suppose -61 = 5*o - 21. Which is greater: x or o?
o
Suppose 3*l - 11*l - 8 = -4*v, 0 = -v - 3*l - 3. Suppose -4*q - 998 = u, q + 5*u + 234 = -25. Let w = 9211/37 + q. Does w = v?
False
Let l = 16 + -18. Let j be -2*l/(16/12). Let v be -3 - 3*(-4)/j. Is -14 smaller than v?
True
Suppose 4*p - 7*p + 48 = -m, -2*p = 3*m + 199. Let w be (-5)/(-15) - 73057/m. Let l = 1160 - w. Is l bigger than 0?
True
Suppose -o + 4*r + 176 = -0*r, -2*r - 172 = -o. Let d be (-16)/o*14/6. Which is greater: 1.1 or d?
1.1
Suppose 2*d - j - 14 = 2*j, 14 = d - 5*j. Suppose -3*v - 3*w - 9 = 0, 6*v = v - d*w - 11. Does v = -2/473?
False
Suppose -x = 3*d - 5, d - 14 = -5*x - 3*d. Let k be ((-76)/19)/(-1*x). Let z = 5 - 4.9. Is k equal to z?
False
Let c be 0/1 + 19/(38/1664). Let m = 1437 - c. Let d be 11/(m/10) + 1712/22. Is 77 >= d?
False
Suppose -3*k + 21583 = 4*u - 9*u, -4*k + 4337 = -u. Are -4315 and u unequal?
True
Let q(c) be the second derivative of -c**3/3 + 11*c. Let a be q(-1). Let x be 116/26 - (a + 2). Is -1 equal to x?
False
Let b be 3/(-4) - 17/4. Let n = -916/15 - -164/3. Are n and b nonequal?
True
Let m = -0.237 - -32.037. Let y = m - 31.7. Are 3/13 and y equal?
False
Let w(p) = p**2 - 19*p + 23. Let m be w(18). Suppose 2*n = c + c - 96, m*c - 240 = -2*n. Let q be 1/(-6) + 40/c. Which is smaller: q or 0?
0
Let s = -435 - -3920/9. Let f = 7.15 + 550.85. Let q = -557.9 + f. Is q greater than or equal to s?
False
Let v(a) = 3814*a**3 + 2*a**2 - 14*a + 12. Let j be v(1). Is 3814 greater than or equal to j?
True
Let n = 163.92 + -164.32. Is n smaller than 228?
True
Let n(s) = s**3 + 7*s**2 - s + 27. Let x be n(-9). Let u = -56 - x. Which is greater: 0 or u?
u
Let a = -15/277 + 322/831. Is a at most as big as -213?
False
Let l = -2244/131 + 12092392/705959. Which is greater: -1 or l?
l
Let g be (-4424)/585 - 3*32/(-240). Let x = g + 96/13. Which is smaller: 0.0546 or x?
0.0546
Let m = -0.1 + 0.1. Let u = -0.1 - m. Let c = -22259 - -22258.82. Which is bigger: c or u?
u
Let c = -40 + 48. Let x(b) = -b. Let f be x(-6). Let j be 116/14 + f/(-21). Is j greater than or equal to c?
True
Let p(r) = -20*r**3 - 7*r**2 - 10*r. Let y be p(-3). Suppose -5*z + 172 = 5*o + y, 2*o + z = -132. Which is bigger: o or -67?
o
Let s(j) = -2*j - 6*j - 2*j - 7*j. Let d be s(4). Which is bigger: -70 or d?
d
Let c(a) = 8*a - 38. Let s(o) = -1. Let f(j) = c(j) + 3*s(j). Let r be f(39). Which is bigger: r or 812/3?
r
Let i be (442/(-364))/((-4)/(-512)). Which is greater: -155 or i?
-155
Let j be (-2 + 1032)*345/(-690). Which is smaller: j or 16?