e a(9). Let w = 25 + f. Suppose 5*b + 2*i - 2 = 0, 3*b + 2 + 1 = w*i. Are b and 2/5 equal?
False
Let i be -940*(-44)/(-54) + 86/(-1161). Is i bigger than -764?
False
Let m be ((16/(-5))/(-4))/((-8)/980). Is -96 >= m?
True
Let p = 6225028/615 + -10122. Is -1 greater than p?
False
Suppose 11 = -4*a - 1. Let u = 33251/9 + -3699. Which is bigger: u or a?
a
Let u = 47/858 - 1/286. Which is smaller: 0 or u?
0
Let f = 1408 + -695. Is 1/3 less than f?
True
Suppose 4*v = m + 2*v + 4, 4*m + 4*v = 8. Suppose -2*t + 3 = k - m*k, 5 = -k. Is t != 5?
True
Let w = 8.0728 - 0.0728. Let r(f) = f**3 - 5*f**2 - 2. Let l be r(5). Is l greater than w?
False
Let k = -64/337 - 145/1011. Let n be (-14)/9 - 0/(-2). Which is greater: k or n?
k
Let u(g) = -7*g - 5. Let q(r) = 3*r + 3. Let y(n) = -9*q(n) - 4*u(n). Let c be y(9). Suppose c*h - 1 = h. Is h smaller than -2/7?
False
Let w = 1.193 + -1.293. Which is greater: -4.78 or w?
w
Let d be 3/((-18)/4*3/261). Let g be 20/(-24)*d - 4/(-6). Which is smaller: g or 97/2?
97/2
Let j(c) = c + 13. Let s be j(0). Let x = 3 - 5. Which is greater: s or x?
s
Suppose -391*n - 6 = -388*n. Let f = 8/3 + -68/21. Is f at most as big as n?
False
Let t(c) = c**3 + c - 1. Let u be -2*2 - (-2 - 8). Suppose l - u*l = 0. Let m be t(l). Which is smaller: m or -2/13?
m
Let b = 113 + -62. Let k = b + -50. Suppose 0 = 2*v - 1 - 1. Are v and k unequal?
False
Let a = 47 - 43. Let t be a/(-18) - 658/(-126). Which is smaller: t or 2?
2
Let s = -1.025 + 0.125. Is 1.2 smaller than s?
False
Let y = 4.5 - 3. Let u be (4676/(-42))/(4/6). Let j = u + 1167/7. Is j < y?
True
Let m = 40 - -19. Suppose 0 = 5*g - 3*x - m, 0 = 2*g - 4*g + x + 23. Suppose 0*f = f - 7. Which is smaller: g or f?
f
Let f = 2515.3 - 2515. Which is greater: 301 or f?
301
Suppose 3*v - 34 = 2*c, -v + 30 = v - 5*c. Let j = v + -10. Suppose -3*k = -j*k. Is k greater than -1?
True
Let r be 3/6 + (-23)/2. Let a = -71 + 71. Suppose 0 = 8*x - a*x + 88. Is x less than r?
False
Let i = 5 + 20. Suppose 0 = -2*w - 2*o - 12, i = -5*w - 2*o - 2*o. Let v = 8/153 - -266/765. Is v >= w?
True
Let h(c) = -c**2 + 4*c + 5. Let l be h(5). Let r(w) be the second derivative of -w**3/6 - w**2/2 + 7*w. Let i be r(l). Which is bigger: -1/9 or i?
-1/9
Let v(l) = -2*l**3 - 10*l**2 - 5*l. Let g be v(-4). Let w(x) = 3*x + 1. Let d be w(-4). Which is smaller: g or d?
g
Let u = 6 + -8. Let w = 537 + -15571/29. Let t = w - -21/116. Which is bigger: u or t?
t
Suppose -11*s + 6*s + 3*a + 2 = 0, -4*s - 28 = 5*a. Which is greater: s or 51?
51
Suppose 4*x = 121 - 9. Let m = -3324 + 3326. Which is smaller: m or x?
m
Suppose 4*d + 2*o + 0*o - 4 = 0, -d = -4*o - 10. Suppose d*w + a = -w + 2, -w + a = 6. Let g be 45/(-340) + 1/4. Is g > w?
True
Let h be 2793/(-63) + 4/(-6). Which is greater: h or -46?
h
Let y = 20597610/1003 - 20536. Which is smaller: 1 or y?
y
Suppose -103 = 2*n - 3*g, 4*g = 16*n - 21*n - 269. Which is smaller: n or -52?
n
Suppose -64*v - 17995 - 25333 = 0. Which is smaller: -676 or v?
v
Let w = -0.044 - -25.044. Let t = w + -24.98. Is t less than -1?
False
Let d(g) = 7*g - 12*g**2 - 6 + 11*g**2 + 25*g - 9*g. Let m be d(24). Is m < 1?
True
Let u = 6.89 + -7. Suppose -3*c + 7 = -5*s - 10, 13 = -4*s + 3*c. Is s smaller than u?
True
Suppose 0 = -k + 2*j + 5, 3*k + j = 4*k - 3. Which is smaller: 9/29 or k?
9/29
Let v = -11041 + 9594627/869. Which is greater: -1 or v?
v
Suppose 0 = h + h + 3*d + 7, 4*h + 5*d = -11. Let t = -153 - 268. Let r = -9681/23 - t. Is r at most h?
True
Let q = 1.3 - 1.37. Let h = q + -0.43. Let w = h - -0.3. Which is smaller: w or 0.3?
w
Let r(g) = -4*g - 6. Let x be r(-2). Let b(s) = -2*s**2 + s + 1. Let u be b(x). Are -4 and u unequal?
True
Let j = 142 + -138. Suppose -4*m = j*n - 0*n + 8, -n + 3*m + 2 = 0. Are n and -20/19 equal?
False
Let d(l) = 29*l**2 - 1. Let i be d(1). Let z = i - 23. Suppose 5*a - 2*a = -3*x + 42, 0 = -z*a + 4*x + 52. Is 12 less than a?
False
Let t = 439 + -440. Which is smaller: 0.001 or t?
t
Let s(y) = -17*y + 2. Let o be s(-5). Suppose 0 = 4*v - o - 1. Which is bigger: v or 23?
23
Let m = 1334 - 912. Which is greater: m or 424?
424
Let t(k) = 7*k - 93. Let x be t(18). Is 2 >= x?
False
Let k(z) = -4*z**2 - 2*z - 1. Let p be k(-1). Let u(a) be the second derivative of -a**4/12 - a**3/3 + a**2 - 9*a. Let i be u(p). Is -1/6 less than i?
False
Let g be (-3 - 695/(-235))/(-1). Let a(u) = -u**2 - 3*u. Let y be a(-3). Which is greater: g or y?
g
Let n = 0.312 - 2.312. Which is bigger: n or -0.059?
-0.059
Suppose 2*m + 55*m = 48906. Which is greater: m or 856?
m
Let g = -332346/139 - -2391. Is 0 greater than or equal to g?
False
Suppose 5*y = -y - 126. Let p be ((-9)/y)/(16/(-56)). Is p at least as big as -1?
False
Let z be -1 + ((-21)/2061)/(7/(-693)). Let r = z + 452/687. Let h = -2.02 + 2. Is h not equal to r?
True
Suppose -3 = -7*k - 17. Suppose 0*s - 4*s = -w - 8, 0 = -s - 2*w + 2. Which is bigger: k or s?
s
Let g be (-2)/(-25) - (-186656)/(-2285700). Is 1 greater than or equal to g?
True
Let h = 515183/7 + -73329. Let t = h + -268. Do t and 2 have different values?
True
Let u(g) = -g**2 + 4*g + 2. Let k be u(3). Suppose 0 = -4*n - f + 560, 2*n + 403 = k*n + 5*f. Let b = -1271/9 + n. Which is bigger: b or 0?
0
Suppose -u = -3*p + 13, 3*p + 3*u - 5 = 16. Let m = -8 - -8. Suppose 2*j + 2*j - 16 = m. Which is greater: j or p?
p
Let b be (2 + (-8)/(-6))*(-258)/1075. Let o = 2 + 0. Suppose 4 = -2*a + o. Is b greater than or equal to a?
True
Let s be ((-154)/33)/(-7) + (-5)/3. Is s not equal to -3/1345?
True
Suppose 4*v = 4*j + 12, 2*j - j + 2*v = -18. Suppose -c - 8 - 6 = 3*r, c - 34 = 5*r. Is j greater than r?
False
Let p(f) = f**3 - 8*f**2 - 4. Suppose 13 = m + 5. Let u be p(m). Let r = 4/387 + -6212/1935. Which is smaller: r or u?
u
Let n = -6077883/1966 - -6183/2. Which is smaller: n or -1?
-1
Suppose -3*o + 3 = 12. Is o at least -31/7?
True
Let a(i) = 15*i**2 - 3*i - 2. Let l be a(-2). Are l and 63 equal?
False
Suppose 20 = 4*w + 4*u, -2*w + u + 7 = -3. Suppose w*o + 4*l - 25 = 0, 3*o + 6 = 4*o + l. Are o and 4/3 non-equal?
True
Let w be (-4 - 678/(-168))*408/(-5). Let d = w + 766/455. Which is greater: d or -2?
d
Suppose -2344 = -281*y + 273*y. Which is greater: 292 or y?
y
Let p = -48 - -242/5. Let q = -72 + 76. Suppose 2*n - 5*m - 13 = q*n, -m = 3. Which is greater: p or n?
n
Let f(u) = -u - 1. Let b be f(3). Let d be (4/32)/(b/24). Is -1/5 > d?
True
Let g = 4.9 + -5.1. Let t = -54 + 54. Which is smaller: g or t?
g
Let o(g) = -4*g**3 - g. Let y be o(-1). Let z be (12/(-10))/(y/75 + 0). Let i be (-19)/1 + (-1 - -2). Is z bigger than i?
False
Suppose 10*a = 8*a - 28. Let l = a - -14. Which is smaller: -4/17 or l?
-4/17
Let p be (-4 - -3) + 151/150. Suppose -t + 4*t + 2*f = 0, -3*f = -6*f. Which is bigger: t or p?
p
Let u be (-1)/(-6) + (-2989)/(-252) + -12. Suppose 4*w = 2*w. Are w and u non-equal?
True
Let v = 31.68 + -31. Let z = -144.6 + 144.28. Let t = z - v. Is t less than -3/20?
True
Let n be 1/8*4 + (-7175)/14406. Is 0.1 <= n?
False
Let m = -212 + 288. Does 75 = m?
False
Suppose 5*k + 33 = 4*j, -3*j + k + 11 = -0*j. Suppose b + 33 = 5*p, 3*b + p + j*p = -9. Are -7 and b nonequal?
True
Let t = 3 - -25. Let a = t - 27. Which is bigger: a or 5?
5
Let j be (-660)/(-198)*262*6/8. Which is greater: 654 or j?
j
Let t(c) = -5*c**3 - 2*c**2 - 8*c + 9. Let u be t(1). Is u != 80?
True
Let s = 70 + -42. Suppose 2*x = -5*y + 5*x + 48, 0 = -2*y - x + s. Suppose 3*g = -0*g + y. Which is smaller: 7/2 or g?
7/2
Let s(d) = -d**2 - 6*d - 4. Let k be s(-5). Let x be ((-6)/(-32))/(k/(-4)). Suppose 9 = -f + 11. Is f at most x?
False
Suppose -4*u + 8 = -0*f + f, 0 = u - 2*f - 2. Let v(l) = l**3 - 2*l + 1. Let z be v(u). Suppose -22 - 13 = z*t. Is t less than -7?
False
Let l = 23 + -23. Suppose -3*t - t + 4*r - 56 = l, -24 = t + r. Which is smaller: t or -20?
-20
Suppose -107*x = -99*x + 1600. Is -199 >= x?
True
Let f be -1 - (-92 - 8) - 0. Which is smaller: f or -1/4?
-1/4
Suppose -22*t = -25*t. Which is smaller: -12/65 or t?
-12/65
Let a = -1649 + 1461. Are -182 and a non-equal?
True
Let z = 904854/19 - 29459453/627. Let l = z - 639. Is 1 at most l?
False
Let x = -159 + 160. Which is bigger: x or -2/49?
x
Let j = -2826.4 - -2831. Which is bigger: -2 or j?
j
Let v = 11 + -