e?
False
Let r = -0.093 - -2.093. Let q(k) = -8*k**2 - 14*k - 2. Let b be q(-8). Let s be -3*(-4 + b/(-99)). Is r greater than or equal to s?
True
Let s = -171.677 - -171.677. Let k = -29.94 - 0.06. Which is greater: k or s?
s
Let i be 27/4*(0 - 24/9). Let c be 5/((-115)/32) - (-20 - i). Which is greater: c or 1?
1
Let x(b) = b**2 + 8*b + 13. Let k be (3/(-3))/(-1) - (0 + 7). Let d be x(k). Which is smaller: 10/13 or d?
10/13
Let z be 1 - 0 - 3/((-27)/(-36)). Let p be (0 - 1) + z + 243/60. Is 1.1 bigger than p?
True
Let n be -5 - 656 - (14 + -8)/1. Is 2/5 greater than n?
True
Let k(h) = 67*h - 431. Let u be k(6). Let t(r) = -30*r**2 + 2*r + 3. Let v be t(-1). Is v equal to u?
True
Let x be 2/((-2)/(2 + -6)). Suppose 0 = -6*y + y + 4*s + 6, -3*s = x*y + 20. Let f = y + 6. Is 1 smaller than f?
True
Let i be 6/(3 + 4 + -5). Let k be 1/(0 + 1/3311). Let o = -43021/13 + k. Which is bigger: i or o?
i
Let d = 229708/95 + -2418. Let b(v) = -v**3 + 56*v**2 + 303*v - 10. Let x be b(-5). Is d <= x?
True
Let h = -95 - -67. Let f be 10/70 - 122/h. Let v = -2630 + 2635. Does f = v?
False
Let w = -103 - -105. Let z(r) = 9*r + 13*r**w + 36 - 23*r**2 + 9*r**2. Let k be z(14). Which is smaller: -33 or k?
k
Let i = -59 - -28. Let g(w) = 2*w**2 - w + 1. Let d(l) = -11*l**2 - 3*l - 12. Let y(s) = -d(s) - 6*g(s). Let m be y(-3). Which is smaller: i or m?
i
Let c = -401.91 + 1.91. Let u = -402 - c. Which is smaller: u or -53?
-53
Let d be (-14 - -415*(-16)/(-480)) + 2931/17590. Is d bigger than 0?
False
Suppose -4*u - 2*f = -3*f + 793, -3*u - 598 = -4*f. Let n = 397/2 + u. Are n and 1 equal?
False
Suppose 27*n - 32*n + 1454 = -4*f, -3*n - 2*f = -846. Is n at most 1994/7?
False
Let b be 9116/48 - (-1)/(-4). Let c = b + -186. Is c >= 3?
True
Suppose 47 + 127 = 6*b. Let y = b + -46. Do y and -16 have the same value?
False
Let q = -0.16263 - -0.16263. Which is bigger: q or -7696?
q
Let u(x) = 12*x**3 - 8*x**2 + 3*x + 2. Let r be u(2). Is 75 less than r?
False
Let k = 16507 + -215088/13. Do k and -37 have different values?
True
Let u(o) = 37*o**2 + 15*o - 97. Let y be u(5). Let a be (6 - 5432/y)*(-2 + -19). Is -1 at least a?
False
Let d(t) = -t**2 + 7*t - 8. Let a be d(4). Suppose 2*g + 2*o - 6 = 6*o, -g = a*o - 9. Suppose -g*y = -5*x + 190, 4*y - x + 227 = 72. Does y = -38?
False
Let o = -433 - -926. Let m = 494 - o. Which is greater: 139 or m?
139
Let c be 50/275 - (-42)/11. Let j be ((-50)/6)/(c/(-6)) - 0. Is j less than 0.8?
False
Let p(t) = -12*t**2 - 15*t + 6. Let s(c) = 6*c**2 + 8*c - 3. Let b(d) = 6*p(d) + 11*s(d). Let f be b(-1). Are f and -3/19 nonequal?
True
Suppose 23*n + 8 = 21*n, o + 5*n = 557. Which is smaller: 2 or o?
2
Let q(j) = 7*j**3 - 6*j**2 + 21. Let o be q(5). Suppose 467*m = 469*m - o. Which is bigger: m or 375?
375
Let l(i) = -4*i + 3. Let m be l(-4). Suppose -4*z - 13 = -4*u + 11, -4*u = -2*z - 22. Suppose u*o + 35 = 120. Which is greater: o or m?
m
Let w = -2618 - -2624.67. Let i = -1.33 + 1. Let t = w - i. Are 4 and t equal?
False
Let j = -0.53 + 0.86. Let m = j - 0.92. Let f = -0.01 + m. Which is smaller: -0.04 or f?
f
Let k(y) be the second derivative of -y**5/20 + 7*y**4/6 - 7*y**3/3 + 19*y**2/2 + 37*y. Let b be k(13). Are 6 and b nonequal?
False
Let p = -10 + 33. Let t be 0 - (-2 + 6) - (8 + -1)*-4. Is p not equal to t?
True
Let i be (14/(-6))/((-18)/(-162)). Let d = 193 + -137. Suppose 0 = -4*b + b - 2*g - d, 0 = b + 5*g - 3. Which is smaller: b or i?
b
Suppose -16 = -74*r + 70*r. Suppose 4*s = 2*o - 10 + 22, -r*o + 20 = 3*s. Let z = 13.8 + -12. Which is bigger: z or o?
o
Let u = 0.135 + 21.665. Let x = u + 7.2. Is x < -0.1?
False
Suppose -2*x - 21 + 60 = b, 4*x - 2*b = 58. Let n be -8*(153/3006)/x. Which is greater: n or -1?
n
Suppose 36*t + 2 = 34*t. Which is smaller: t or -10/571?
t
Let g = -94.014 - -0.014. Let y = g + 81. Which is greater: y or -4?
-4
Let u(h) = h**3 + 161*h**2 - 154*h + 1324. Let v be u(-162). Is v <= -0.13?
False
Suppose -3*m - 4 = o, 0*m - 4*o - 16 = m. Let u be 1/(-3)*(m + -36). Suppose 164 + 88 = u*r. Is 22 less than r?
False
Let x = -3.8 - 1.2. Let b = 8.243 - 4.284. Let y = -0.041 - b. Which is bigger: x or y?
y
Suppose 16*x = -45*x - 13*x - 18500. Which is bigger: x or 9?
9
Let j = -1437 - -1410. Is j less than 36?
True
Let f(y) be the third derivative of y**6/120 - 2*y**5/15 + 5*y**3/2 - y**2. Let u be f(8). Let h = 47 - 32. Is h at most as big as u?
True
Let t(k) = -828*k - 5020. Let s be t(-7). Which is smaller: 786 or s?
s
Let v = 10273 - 12824. Is 2/5 at least v?
True
Suppose -3*p = -5*m - 1107, 3*m = 10*p - 14*p + 1418. Which is greater: 342 or p?
p
Suppose 0 = 4*b, -3*t + 32 + 61 = 3*b. Suppose 5*n + u - 86 = 0, -u + 38 = 4*n - t. Let o = 60 - 43. Is n equal to o?
True
Let v(l) = 10*l - l**3 + 11*l - 12*l - 36 - 6*l**2 - 4*l**2. Let j be v(-12). Which is smaller: 145 or j?
j
Let h = -125 - 5. Let k = 131 + h. Which is smaller: 7/19 or k?
7/19
Let v = 13/420 + -4/35. Suppose 4*y - h = 208, -2*y + 4*h = -16 - 74. Suppose 0 = -51*u + y*u - 2. Is v less than u?
True
Let u(d) = 2 - 4*d**3 - 99 - 2*d**3 + 7*d**3 + 24*d + 3*d**2. Let t be u(4). Is t not equal to 109?
True
Suppose -2372 - 296 = -23*x. Suppose -4*r - x + 28 = 0. Is r at most -22?
True
Let n = 337 + -232. Let d = 111 - n. Let v be 695/30 - 1/d. Are v and 0 nonequal?
True
Let o = -788 + 802. Suppose -3*f + 11 = -4*u, -3*f - 2*u - 7 = -4*f. Let w be (-4 - f)/((-1)/15). Which is greater: w or o?
w
Let n = 1.4253 - 1.4253. Is n bigger than 594?
False
Suppose 29*k - 72 = 40*k + 38274. Which is greater: k or 0?
0
Let t = 58 + -49. Let u = 13 - t. Let k be u - 2 - (-1 + (-6)/(-4)). Which is bigger: k or -17?
k
Let t = 0.758 + -0.048. Let b = -0.3459 + -0.0311. Let a = b + 0.277. Which is bigger: a or t?
t
Let a be (-30)/150*5/(-18)*64. Is 10/47 <= a?
True
Let d = -0.4 + 0.4. Let y = -8.56 + 79.46. Let h = y + -50.9. Is d > h?
False
Let l = -181 - -183. Let d be (-15)/130*2 - (0 + 0). Which is smaller: l or d?
d
Suppose 4*n - 2*h + 24 + 0 = 0, 0 = -2*n - 3*h - 28. Let y be 20/n*(-24)/(-174). Which is bigger: -1 or y?
y
Suppose -2*n - b = 0, -n - n = 4*b. Let u = -5790 + 5785. Do n and u have different values?
True
Let i = 6.2 + 39.8. Let r = 0.0508 - 46.4508. Let h = i + r. Is h != -3?
True
Let p = 11543.1 - 11502.0176. Let v = p - 0.0824. Which is bigger: v or -0.4?
v
Suppose 5*y = -y - 0*y. Let j be (8 - (-1 + y))*2/6. Suppose -44 - 95 = -j*i + p, -37 = -i - 2*p. Is 44 greater than i?
False
Let i = -10 + -29. Let d be (-4)/(-26) + (-618)/i. Let b(r) = r**2 - 15*r - 32. Let h be b(d). Are h and -16 equal?
True
Suppose 2*d - 17248 = 3*d + 10*d. Is d <= -3137/2?
False
Suppose -64*s + 30495 = -14*s + 45*s. Which is smaller: s or -0.02?
-0.02
Let f = -2880536/15 + 190024. Let h = 2011 + f. Let u = h - -1/3. Is -10 at most as big as u?
True
Suppose -4*a - 5*n = 24, -a + 0*n = -n - 3. Suppose -25 + 103 = 2*k. Let d be (-153)/k + 12/4. Is d at most a?
False
Suppose 0 = 13*u + 1425 - 1821 - 2425. Which is greater: u or 215?
u
Suppose -23 = -56*u + 11 + 22. Do u and -1/2304 have different values?
True
Let v = 1822 + -892. Let q = 929.76 - v. Which is bigger: -3/8 or q?
q
Suppose 2*c = -2*z + z + 9, 0 = 3*z - 27. Is c at least as big as 60/229?
False
Suppose -2*u + 2*i - 18032 = 0, 47*u - 27044 = 50*u + i. Is u < -9015?
False
Let r be -1 + -6 - (5750 + (3 - -3)). Do r and -5762 have different values?
True
Let q(a) be the third derivative of -5*a**4/6 + 197*a**3/6 + 242*a**2. Let d be q(12). Is d less than or equal to -40?
True
Let f(j) = -4*j + 16. Let p be f(2). Suppose -p*u + 173 + 59 = 0. Is 29 at least u?
True
Suppose -83*j - 1944 = -13754 - 1636. Which is bigger: 7 or j?
j
Let w(y) = -131*y + 69. Let u be w(-5). Let j = u + -734. Which is smaller: j or -3?
j
Let y = -3752 + 3619. Which is smaller: y or -1/3?
y
Suppose -c - 5*z + 6*z = 3, 4*c - 2*z + 14 = 0. Let x be (-4)/c*(9/(-3))/3. Which is smaller: -1/45 or x?
x
Let v = 36348 - 37570.2. Are v and 2 non-equal?
True
Let a = -0.159 + 0.889. Let f = -1.26 + a. Which is greater: f or -1?
f
Let d(o) = 8*o - 12*o + 4 + 10*o. Let k be d(4). Which is smaller: k or 57/2?
k
Let u = -302 + 399. Let v = u - 96.46. Let f = 0.4 - 0.3. Which is greater: f or v?
v
Suppose 1158 = u + 5*u. Let g = 190 - u. Which is s