be 2/(-4) + (-1)/4. Let y = 0.3668 - 3.3668. Is y > d?
False
Let d(o) = -16*o + 10. Let b be d(6). Let j = b + 74. Which is smaller: j or 0.2?
j
Let q = -3/737 + 22149/9581. Let z be 1/5 - 237/(-390). Let y = q - z. Which is smaller: 2 or y?
y
Let t be (-904)/(-10) + (-8)/20. Let p be (-12)/t*(-9)/14. Is p < -1?
False
Let h(c) = 13*c + 5. Let k be h(5). Let j = k - 208/3. Let q = -0.11 - -4.11. Which is smaller: j or q?
j
Let n be 17/(238/4)*42. Is n greater than 2/3?
True
Suppose -8 - 4 = -4*k. Suppose -k*l - 4 = l. Let c be 0*3/(l + -2). Is 2/13 smaller than c?
False
Let v(n) = 6*n - 15. Let i be v(3). Let m be 9/i - -10 - (0 + 2). Is 8 equal to m?
False
Suppose -4*c = -5*o - 11, -2*o - 45*c + 43*c = -10. Is 5 greater than o?
True
Let o = -69 - -54. Is 0.1 less than o?
False
Let v be -2*((-348)/(-177) - 2). Is -1 smaller than v?
True
Let n be 170 - (-8)/((-48)/(-18)) - -2. Is 175 at least n?
True
Let v = 1659 - 1935. Are -276 and v unequal?
False
Let w = 826 + -827. Which is greater: 1 or w?
1
Let g(m) = m**2 + 20*m + 102. Let y be g(-9). Which is bigger: -17 or y?
y
Let g(f) = f - 9. Let p be g(0). Let a = -3 - p. Suppose -5*j = -25, -3*n + 5*j + a = 28. Is -1/5 less than or equal to n?
True
Let c = 397/6 - 131/2. Is 1 <= c?
False
Let p be -3*(-292)/12 - 3. Let y be (p/40)/(0 - -1). Which is smaller: y or 2?
y
Let f = -1 + 1. Suppose f = 4*i - 6*i + 96. Let n be (-2)/(-13) - i/(-26). Is n smaller than 5?
True
Let x(m) = -m**3 + 5*m**2 - 2*m - 2. Let j be x(3). Suppose -16 = 7*q - 9*q + 3*d, q + 5*d = 21. Which is smaller: j or q?
j
Let g = 497 + -472. Which is smaller: g or 17?
17
Suppose -5*a + 8 = -2*c, -3*a - 3*c - 20 = 2*c. Suppose a = -5*f - 5*q, q + 6 = -2*f + 4*f. Let i be (-19)/(-7) + (-5)/((-105)/6). Is f > i?
False
Let m = -29865/1099 + 190/7. Which is bigger: m or 1?
1
Let z = -40/3 - -14. Let v(d) = -d**3 - 20*d**2 + d + 20. Let u be v(-20). Suppose u*j = 3*j + 3*h - 6, -4*j - h = 4. Which is smaller: z or j?
j
Let g = -82585777/114105 + 279/7607. Let i = -724 - g. Suppose -3*a + 5 = -8*a. Do a and i have the same value?
False
Suppose 0 = -56*u + 17*u + 3744. Is u >= 97?
False
Let r(p) be the second derivative of p**4/6 - 29*p**3/6 - 3*p**2 + 29*p. Let w be r(14). Which is greater: w or -18?
-18
Suppose 2*v + 3*n + 0 = 2, 0 = 4*v - 3*n - 4. Let l = -2 + v. Does 16 = l?
False
Let c be (3 + (-5)/2)*62. Suppose c = a + 7. Suppose -3*x = 3*d, a = 3*x - 5*d - 0. Which is smaller: 2 or x?
2
Let n = 0 + 5. Suppose 0*y + 112 = -2*l + 2*y, -128 = 3*l + n*y. Let w be ((-2)/l - 0)*3. Does w = 0?
False
Suppose 20*s - 25*s + 4*o = 28, -3*s - 30 = 2*o. Which is bigger: -18 or s?
s
Let f = -0.6 - 0. Let c = 10 - 6.6. Let p = f - c. Which is smaller: p or 2/3?
p
Let d be (-112)/78 + 6/9. Which is greater: d or -1?
d
Let g(m) = m**2 - 11*m - 61. Let s be g(15). Let c = -1.94 - 0.06. Let o = -1.9 - c. Which is bigger: s or o?
o
Let a(d) = -536*d**3 - 4*d**2 - 2*d - 2. Let p be a(-5). Let o be (-1)/(-63)*p + 0. Let w = 1062 - o. Which is greater: w or 1?
1
Suppose -1999 = 12*n - 559. Let z = n + 117. Is -36/11 less than z?
True
Suppose -14*f + 27 = -1. Suppose f*a = -3*a + 4*a. Is a at least as big as 2/39?
False
Let t = 20/17 + -134/85. Let p = 0.351 - 0.951. Is t bigger than p?
True
Let f(m) = m**2 - 16*m - 241. Let d be f(26). Which is smaller: d or 22?
d
Let n = -767 - -773. Let v(w) = 4*w + 3. Let b be v(3). Suppose 0 = 3*m - 4*g - 20, 3*m + n*g = 3*g - b. Is m <= 3/13?
True
Suppose -37*i - 23*i = 31980. Is -534 bigger than i?
False
Let s = -2.334 + 0.334. Which is greater: s or -24?
s
Let c = 154 - 224. Let g = -75 - c. Is -2/7 greater than g?
True
Let h = 493 + -494. Let q be (-2 + 2)/(1*-2). Which is smaller: h or q?
h
Let f(x) = -5*x**2 - 8*x + 25. Let j(n) = n**2 + n - 1. Let i(g) = -f(g) - 4*j(g). Let u be i(-6). Which is smaller: u or 2/5?
u
Let q = -554 - -569. Which is bigger: q or 12?
q
Let w(k) = -k**2 - 3*k + 6. Let f be w(-4). Suppose -c = -5*m + 4*m, 5*m - 14 = -f*c. Suppose -m*j = 5*v - 18, 0*j = 2*j + 3*v - 22. Does j = 12?
False
Let j be (-28)/42*945/10. Are j and -322/5 equal?
False
Let g = -226/9 + 25. Let c = 5 - 10. Let s = -5 - c. Is s equal to g?
False
Suppose -2*v - v = 0. Let f(w) = -18*w - 9*w + 16*w - 13*w - w**2. Let a be f(-24). Is v greater than a?
False
Let r = -0.23 - 1.67. Let m = -4.1 - r. Which is greater: -1 or m?
-1
Let j(r) = r**3 + 10*r**2 + 8*r - 5. Let t be ((-3)/4)/(10/120). Let x be j(t). Let l be x/8 + 15/(-48). Is l greater than 0?
True
Let d = 1.94 - 1.35. Let k = d + -0.47. Which is smaller: 2/5 or k?
k
Let m(j) = 178*j - 409. Let n be m(0). Which is smaller: n or -412?
-412
Let q = -172 + 39. Let i be 454/14 - (-57)/q. Let m be i/117 + (-40)/180. Is m != 0.1?
True
Let b = 21 - 25. Let a be (0 + 0)/(b + 3). Suppose a = -w - 1. Which is smaller: -1/34 or w?
w
Let z = 985 - 993.98. Let c = -0.3 - -9.3. Let o = c + z. Is 0 smaller than o?
True
Let s(n) = n**3 + 12*n**2 - 13*n - 2. Let m be s(-13). Let g be (m/(-3))/((-3)/144). Let v = 290/9 + g. Which is smaller: v or 0?
0
Let s = 23 + 21. Let w = s + -17. Which is smaller: 28 or w?
w
Let j(b) = 80*b - 55. Let z be j(8). Which is greater: z or 2/3?
z
Let u(m) = -m**3 - 6*m**2 + 16*m + 31. Let i be u(-7). Let z be (-2)/5 + 158/(-5). Does z = i?
True
Let l(p) = 3*p - 15. Let u be l(5). Suppose -4*v + 3*v + 5*y = 39, u = 3*y - 12. Let r = v + 17. Which is greater: r or -1/2?
-1/2
Let u(f) = f**3 - f**2 - 3*f + 2. Let p be u(2). Let w = 0.4 + -0.28. Let d = w - 0.02. Is p greater than d?
False
Suppose 10 = -0*o + o. Let f be 5*3*(-1 - 0). Let h be (-21)/f - 4/o. Is h at least as big as 1/14?
True
Let y = -9 - -21. Let n be 3/y + 18/(-8). Let u be (4/n)/(10 + 0). Which is greater: u or -1/2?
u
Let d be (-1)/(4/(-16) + 45/164). Is d at least -40?
False
Let z be 8540/44450 + 1/(-5). Which is bigger: 0 or z?
0
Let p = -6921001 + 1937878027/280. Let a = p + 63/8. Is 0.1 equal to a?
False
Let n = -294 + 402. Which is smaller: n or 109?
n
Let u = 424 + -424.1. Which is greater: 94 or u?
94
Let d(l) = -l**2 - 4*l + 2. Let b be d(1). Let z = -1 - -1. Is z bigger than b?
True
Let m = -38 - -23. Let f = m + 6. Let n = f - -8. Is -2 smaller than n?
True
Let y = 0 + 3. Let z be 2 + 3 + 3*8/(-12). Suppose z*r + 15 - y = 0. Is -3 < r?
False
Let c(t) = t**3 + t - 1. Let h be c(1). Let w = 53 + -36. Let y = w + -17.3. Do y and h have different values?
True
Suppose 4*b = -2*f - 6, 11 = -3*f + 14. Which is greater: -3/2 or b?
-3/2
Suppose -3*r - 133 = 5*m - r, 3*m + 2*r = -83. Suppose -4*i + 70 = 5*a, i - 3*a = -4*a + 17. Let y be 18/i + 5/m. Is 6/13 < y?
True
Suppose -5*m + 3 = 2*k, -1 = k + 3*m + 2*m. Suppose -3*f + k*f + 3*f = 0. Which is smaller: -7 or f?
-7
Let n be 13/(-2)*(-12)/(-10 + 4). Let f = n + 14. Is 1/2 less than or equal to f?
True
Let i be 8/(-12)*1/3. Let j(n) = 2*n - n**2 - 2*n + 2*n**2. Let r be j(0). Is i equal to r?
False
Let w = 24 + -43. Let a = w - -61/3. Let v = 0.06 - -0.04. Which is smaller: v or a?
v
Let t(o) be the first derivative of o**3/3 - 2*o**2 + 3*o + 20. Let n be t(4). Which is greater: 1 or n?
n
Let a = -363/8 - -907/20. Let f = -0.01 - -1.41. Let o = f - 0.4. Which is bigger: a or o?
o
Let z = 811429280/6259 - 129642. Is z greater than 0?
True
Suppose 4*c = 4*y - 1420, 3*c - 432 = -4*y + 981. Which is smaller: y or 351?
351
Let d be (5 - (-189)/(-36))/(3/30). Which is bigger: 0.2 or d?
0.2
Let a = -1 - -40. Suppose 3*v + 0*v = -a. Which is greater: -14 or v?
v
Let q = 121742/43 - 2831. Let l = -307/645 + q. Which is smaller: 1 or l?
l
Let n be 1/(-8) + 78/(-16). Let d be n/(-10) + (-9)/6. Which is greater: -4/39 or d?
-4/39
Let u be (-14)/(-4) - 1/2. Let m be 2/(-114)*-2*u. Suppose -20*d + 15*d = -2*y - 23, -4*y = 3*d - 19. Is y less than m?
False
Let x(n) = -n**2 - 14*n + 7. Suppose -3 + 227 = -14*k. Let f be x(k). Which is greater: f or -27?
f
Let w be ((-172)/8 + -9)/((-4)/8). Which is bigger: w or 66?
66
Let g = -12 + -14. Let i be g/(-8) + (-3)/12. Suppose -34 = -4*w + 5*l, i*l + 6 = w - 6. Are w and 7 equal?
False
Let q = -16 - -22. Suppose -2*u = -q*u + 28. Let j be (7 - u) + (-6)/2. Which is smaller: j or -15/8?
j
Let i = 9/65 + 4/65. Which is smaller: i or 16?
i
Let f(g) = -3*g**2 - 58*g - 21. Let d be f(-19). Let w be