65). Which is smaller: w or c?
c
Let l = -36 - -39. Suppose 0*c - 2*k = -4*c - 562, l*c = -5*k - 428. Do -141 and c have different values?
False
Let r be ((-4)/8)/(5/(-370)). Let o = r + -11. Let h be 2*(-5 - (-9 - -5)) - -27. Which is greater: h or o?
o
Let c = -41.691 - 1.509. Let i = c + 2.2. Let g = -0.1 + 0.2. Is g at least as big as i?
True
Suppose -13*f + 24*y = -17*f - 1312, f - 2*y = -312. Is -631/2 >= f?
True
Let g = -7.53 - -1.23. Let m = -327 + 327.2. Which is smaller: g or m?
g
Let j = 291/71 + -11718/2911. Let r(c) = -c**3 + c**2. Let b be r(0). Let i = -1 - b. Which is smaller: j or i?
i
Let q = -45 - -4. Let w = q + -23. Let g = w - -65. Which is smaller: g or -4/37?
-4/37
Let b be ((-8)/6)/(17226/(-891)). Let n = -283 + 1984/7. Which is greater: b or n?
n
Let j = 1194.1 - 1111. Let m = 83 - j. Are m and -0.3 equal?
False
Let h = -39 + -117. Let v = 156.4 + h. Is v greater than or equal to -1/6?
True
Let a = -42 + 71. Let m = a - 32. Let q be (2 - 1) + (m - 9). Which is bigger: -9 or q?
-9
Suppose 153 = 4*j - t + 182, 3*j - t = -21. Let h be (-1005)/(-4) + (-4)/(-8). Let r = h + -260. Which is smaller: r or j?
r
Let g be (-2 - 5293/(-1765) - (21 - 25)) + -5. Are 2 and g nonequal?
True
Let u = -140 + 206. Let b be 44/u - 19/6*-2. Which is greater: b or 11?
11
Let z be (2 - (-14)/(-8)) + (-205)/20. Let h be -1*-2*(4 + z). Suppose 168 = 6*f - 18*f. Which is smaller: h or f?
f
Let h = -144 - -5477/38. Suppose 0 = -3*g - 3 - 0. Is h less than g?
False
Let v = 29.011 + -63.011. Let d be (1/3)/(2 + -3). Which is smaller: d or v?
v
Suppose -5*k = -5*y + 55, 3*k = -5*y - 27 + 2. Let u(i) = -i**3 - 13*i**2 - 29*i + 12. Let q be u(k). Is q at most 1?
False
Let o = -343.141 - -343. Let x = 0.141 + o. Which is bigger: -32 or x?
x
Let l = -134 + 130. Let v(j) = -j**3 + 10*j**2 + 37*j + 31. Let r be v(13). Which is greater: l or r?
r
Let b be 8/(-3)*97/(-1552) + (-77251)/6. Which is smaller: -12873 or b?
b
Let u = -80 + 109. Let y = 17 - 16. Let g(n) = n - 2. Let f be g(y). Are f and u unequal?
True
Let d be 1*(-1 + (1 - -3)). Let a be (-4)/(-18) + -3 + d. Let y = 35 - 34.3. Is a less than y?
True
Let x be (10/3)/(28/42). Let r be -3 - (x + -4) - -5. Suppose -k - 10 = -4*l - r, 2*l = -4*k. Which is smaller: 3/32 or k?
k
Suppose 1886 = -5*a + 1941. Let w(i) = i**2 - 3. Let n be w(4). Is n equal to a?
False
Let q = 0.48965 - -0.09035. Is 0 <= q?
True
Let o be ((-54)/9 - -5)/(2/(-244)). Let f(z) = z**2 - 50*z + 710. Let d be f(19). Which is smaller: d or o?
d
Let i(u) = u**2 + 5*u - 18. Let o be i(-8). Suppose 6*a + o = 4*a. Let x be 1*(-3)/9*a. Which is smaller: x or -3?
-3
Let o be ((1 - 2) + 0)/(-1). Let n be 1 - ((-96124)/1498)/(o/6). Let y = n - 386. Which is greater: -1 or y?
y
Suppose -3*n = 2*n - 0*n. Suppose n = -16*m + 10*m + 240. Let q = -41 + m. Which is bigger: -2/17 or q?
-2/17
Let i(y) be the second derivative of -7*y**3/6 + 123*y**2/2 - 5*y + 1. Let q be i(12). Which is smaller: 30 or q?
30
Let u(d) be the second derivative of 13/10*d**5 - 23*d + 1/2*d**2 + 0*d**3 + 0*d**4 + 0. Let r be u(-1). Is -25 at most as big as r?
True
Let x = 45/389 - 21259/197223. Which is greater: x or 0?
x
Let w be (-91)/(-156)*(-2)/7 + 978/36. Which is smaller: w or -9/4?
-9/4
Let j be 1112/10 + 2 + -1. Suppose 0 = 55*c + 34*c - 1194 - 8685. Which is smaller: j or c?
c
Let w be ((-16)/4)/(2/(42*-1)). Is 84 greater than w?
False
Let j = -39138 + 195692/5. Let z(b) = 4*b - 1. Let w be z(1). Let y be (-6)/(-4)*4/w. Which is smaller: y or j?
j
Suppose -7*k = -1716 + 295. Suppose 208*x - k*x = -710. Is -141 <= x?
False
Let x = 815.211 - -0.289. Let z = -816 + x. Is 0.24 at least as big as z?
True
Suppose 3*d - 5*d - 154 = -f, -5*d + 3*f - 384 = 0. Which is smaller: -392/5 or d?
-392/5
Let m = -455 - -309. Let p be (-10)/m*(-56)/(-140). Which is greater: 0 or p?
p
Suppose -2954 = -2*v + 5*f - 15, 0 = -5*f - 5. Are v and 5/4 equal?
False
Let r be 19 + -21 + -1*(0 - 1). Let c = -0.066 - -0.056. Which is greater: c or r?
c
Suppose -3*j + 51*i - 755 = 46*i, 2*j + 516 = -3*i. Let n = 322 + j. Which is smaller: 64 or n?
64
Let x(w) = -557*w + 16476. Let p be x(30). Which is greater: p or -187?
-187
Suppose 3*m - 315 = z, -4*m - 3*z + 401 = 2*z. Suppose -5*a = -9*a + m. Is a less than 26?
False
Let v(t) = -t**3 + t**2 + 41*t + 84. Let w be v(-4). Let i = -0.84 - -0.45. Which is smaller: i or w?
i
Let j = -28.2 + 14.6. Let o = -564.3 - -563.3. Is j less than or equal to o?
True
Let f(z) = 52*z - 53. Let y be f(1). Which is greater: 1/589 or y?
1/589
Let m = 8129/3 + -2709. Which is bigger: m or 0.174?
m
Suppose 3*a + 1130 = -4*v, 3*v = 2*a - 0*v + 793. Which is smaller: -387 or a?
-387
Let y = 93 + -68. Let b = y - 24.75. Which is smaller: b or -5?
-5
Suppose -5*h - h = -96. Suppose -h = -v - 18. Let y be 259/21 - v/(-6). Is y at most as big as 8?
False
Let x be 35/(-40) + 1 - (-4)/((-128544)/4053). Is x greater than or equal to 1?
False
Suppose -5*w - 44*s = -49*s, 0 = 3*w - 7*s. Is w at most -19/219?
False
Let w be 4/230*4/(-2). Let s(d) = -10328*d + 309839. Let f be s(30). Which is smaller: w or f?
f
Let m be ((-500)/8 - (5 - 3))/((-171)/228). Is -0.56 not equal to m?
True
Let d be 1/(-12) + 501940/48. Is d greater than 10456?
True
Let x be 4/29*(-588)/40. Let a = x + 11/5. Suppose 60*l - 62*l = 0. Is a less than l?
False
Let c = -5760 + 5832. Which is smaller: 918/13 or c?
918/13
Let l = -2087/46098 - -5/117. Which is smaller: l or 4/7?
l
Suppose -14*k - 39 = 31. Let t be k + (-795)/(-78) - 3/2. Is -1 not equal to t?
True
Let y(l) be the second derivative of 7*l**4/12 + 3*l**3/2 + l**2 - 149*l. Let t be y(-1). Is -47 equal to t?
False
Let g = 2253 + -2252.9. Does 5803 = g?
False
Let k(f) = -f**3 - 7*f**2 - f + 5. Let z be k(-7). Let w = 258 + -208. Suppose w = 4*p + 2*l, -4*p + 58 = -l + 17. Which is smaller: p or z?
p
Let d = -292.43 - -291. Let c = d + 1.4. Let n = -379/14 + 55/2. Which is smaller: c or n?
c
Let s = 69.865 - -27.247. Let d = -0.112 + s. Let l be (-22)/21 + 9*(-60)/(-405). Which is smaller: l or d?
l
Let x(w) = w**3 + 151*w**2 + 829*w + 159. Let u be x(-145). Is 6106 not equal to u?
True
Suppose -208*z + 513*z = -391*z + 18096. Let t = 72 - 49. Is z at least t?
True
Let c = 39079 + -39065. Let i be -37*(-1)/3 - -2. Which is greater: i or c?
i
Let z = -35 + 41. Suppose -q - z + 6 = 0. Which is smaller: q or 4/13?
q
Let m = -427 - -6409/15. Let w be 2/(-6)*(33 + -30). Let n be 0 + w/(-3) - (-124)/186. Which is greater: n or m?
n
Suppose -5*f - 272 = 3*q, 9 = -4*q + 13. Let k = f + 38. Which is smaller: k or -8?
k
Let i = -49627 + 397023/8. Let c be 1/(-4)*3/(-6). Which is smaller: i or c?
c
Let o = 0.7578 + -0.2578. Which is greater: -138 or o?
o
Let m = -0.97006 + -0.02994. Let n = -26.06 - -0.36. Let b = n + 27. Which is smaller: m or b?
m
Let o(m) = -m**3 - 8*m**2 + 5*m - 22. Let i be o(-9). Suppose a - 10 = -3*f, i - 38 = 2*a - 5*f. Are a and 5 non-equal?
True
Let v = -273 + 273.53. Let u = 0.83 - v. Which is smaller: 2/11 or u?
2/11
Let x = -142 - -149. Suppose 4*a + 23 = 4*c + x, 0 = 3*c - 5*a - 20. Which is bigger: c or 6/17?
6/17
Suppose -3*w - 5*y = -8*w + 55, y - 49 = -4*w. Let v be (w/10)/(-2*(-3)/400). Are v and 79 equal?
False
Suppose 0 = 3*g - 2*g - 16. Suppose -3*t = 2*t - 4*f + 26, -g = 2*t - 3*f. Let i be (-1 - -82*t/(-160))/(-1). Is 0 greater than or equal to i?
True
Suppose -5 = -3*y - 8. Let d be 4 + y + 8/(-3). Let o = -15/43 + 337/473. Is d less than or equal to o?
True
Let u(x) = -279*x**3 + 10*x**2 - 12*x + 1. Let o be u(2). Is -2217 greater than o?
False
Let t = 4583/4 - 1146. Which is smaller: 390 or t?
t
Let g = 306.55 - 307.1. Which is greater: g or -0.08?
-0.08
Let c be (-87)/(-33) - (-304)/836. Is 1675 < c?
False
Let o be -3*(6 - (-992)/(-168)). Which is greater: o or 3/368?
3/368
Let v(a) = -3*a**2 + a + 4. Let t be v(-4). Suppose -608*j + 52318 = 1407*j + 54516 + 96537. Which is bigger: j or t?
t
Suppose 3*h + 107*c - 105*c + 6 = 0, 3*h - 3*c - 9 = 0. Is h at least as big as -9016/9?
True
Let z = -0.17 - -32.17. Let d = -32.172 + z. Is -1 at least d?
False
Let p = -66895/16744 + 100/299. Is p < -4?
False
Let s be (8*(-4)/(-40))/(2/5). Suppose -2*b + 4*f + 4 = 2*b, s*f = -3*b + 8. Let t be (1 + -2)*-5 - (-9)/(