t f be a(x). Which is smaller: -2 or f?
f
Let t = 0.09 - 0.07. Which is greater: t or -1?
t
Let o be (-33)/(-9) + (-8)/12. Suppose 2*u - 25 = -o*r, 2*u + 2*r = u + 15. Do 6 and u have the same value?
False
Let o(a) = -a**3 - 7*a**2 + 5*a - 25. Let z be o(-8). Let i be (-38)/66 + (-2)/(-3). Which is smaller: z or i?
z
Let b(l) be the first derivative of l**4/24 + 2*l**3/3 + 2*l**2 + 3. Let t(p) be the second derivative of b(p). Let z be t(-4). Which is greater: z or -0.2?
z
Suppose 0*p + 4*p - 5*m = -76, 4*p + 5*m + 36 = 0. Which is greater: p or -12?
-12
Let z be 18/(-96)*(-298)/(-33). Let w = z + 20/11. Which is greater: 0 or w?
w
Let n be (2 + -2)/(1 - -1). Suppose n*x = -x. Is -3/11 bigger than x?
False
Let j(b) be the second derivative of b**3/3 + 5*b**2 + 4*b. Let v be j(-7). Which is bigger: v or -2?
-2
Suppose -3 = 4*d - l - 12, 0 = d - 2*l - 11. Which is smaller: -3/10 or d?
-3/10
Let t be (30/(-20))/(3/(-4)). Let l be (t/4)/((-3)/6). Which is smaller: l or 2/19?
l
Let q be 55/(-287) + (1 - 36/42). Which is smaller: q or -0.1?
-0.1
Let u(s) = -s + 9. Let v be u(-6). Is v < 14?
False
Let s(f) = -f**2 + 8*f + 2. Let t be s(5). Suppose 4*y - 4 = -4*k, 3*y - t = 2*y - 5*k. Let a(p) = -p**3 + 4*p**2 - 2*p + 4. Let b be a(4). Is y != b?
True
Let z(m) = m - 19. Let l be z(14). Is -2 less than or equal to l?
False
Let z = -486 - -1967/4. Let a = z - 6. Let q = 0.01 - -0.99. Which is smaller: q or a?
a
Let v(d) = 4*d**3 - 4*d - 4. Let b(p) = -5*p**3 - p**2 + 4*p + 4. Let z(q) = 3*b(q) + 4*v(q). Let j be z(4). Let s = j - -5. Which is bigger: -1/6 or s?
s
Let r = -0.4 + -2.6. Is 3/2 <= r?
False
Let j be 0*(0 - (-2)/(-6)). Let n = 0 + 1. Let l be n/(-4) + (-45)/(-84). Do l and j have different values?
True
Let f = -5.44 + 4.5. Let s = 1 + f. Let a = -0.16 + s. Which is smaller: 0.1 or a?
a
Let u = -5 + 4.9. Which is smaller: u or -2?
-2
Suppose 1 = -f - 0. Suppose -4*o = -6*o. Is o > f?
True
Let z be -35 - (-2 - -1) - -1. Let p = 12 + z. Let f be ((-12)/p)/((-6)/(-21)). Is 5/4 bigger than f?
False
Let w be 4/(-2) + (-7 - -11). Is 7 > w?
True
Let v = 57 - 24. Which is bigger: 31 or v?
v
Let k = 10 - 18. Let m be k/78*(-27)/6. Which is smaller: 1 or m?
m
Suppose 18 = -0*t - 3*t. Suppose -42 = 5*d + 4*s, -3*d - 4*s - 9 = 21. Is d > t?
False
Let i = -5 + 6. Which is smaller: 3 or i?
i
Let z = 3 + -9. Let i = -6 - z. Let d = 1 - i. Which is bigger: 2 or d?
2
Let c = 333 - 13313/40. Let u = c - 423/1960. Do -1 and u have different values?
True
Let m = 3810 - 72322/19. Let r = m + -413/57. Which is greater: r or -5?
r
Let x(b) = 9*b + b**2 + 2 + 9*b**3 - 6*b**2 - 10*b**3. Let i be x(-6). Let u be (i/18)/((-2)/(-3)). Which is smaller: u or 0?
u
Let y = 12 + -10. Let d be 1 - (-2)/6 - y. Is 7 equal to d?
False
Let l = 0 - 2. Let f = 7 - 3. Let a be 1*f*3/(-8). Is a <= l?
False
Suppose 29 = c + 28. Which is smaller: 8/19 or c?
8/19
Let m = 42.9 + -43. Let x = 0.7 - -0.3. Let a = x + 0. Which is smaller: a or m?
m
Suppose 0 = -7*y + 2*y + 3*j - 7, 5*y = -5*j + 25. Let v be (0*y/2)/3. Let g = -1032/11 + 94. Which is smaller: g or v?
v
Let t = 0.26 + -2.46. Let p = -5.1 - t. Let u = p - -3. Which is smaller: u or 1?
u
Suppose -p = -k - k + 4, 4*p = 8. Let o(s) = -1 - 2 + 1 + 1 + s**k + s**2. Let t be o(1). Which is smaller: t or 2/3?
2/3
Let v be 36/(-495)*(-1 + 27/2). Is -1 at least as big as v?
False
Suppose 0*l + 2*q = 5*l + 15, -l - q = 3. Let i(f) = f**2 + 4*f + 4. Let t be i(l). Let s(x) = x**3 + 4*x**2 + 2*x - 2. Let p be s(-2). Which is bigger: p or t?
p
Let t(s) = 2*s - 6. Let r be t(5). Suppose -14*h + r = -13*h. Do h and 0 have the same value?
False
Let m = 0.15 - 2.15. Is 0.07 at least m?
True
Let j = -9/16 + 65/144. Is j greater than 0?
False
Let g(s) = -s**2 + s + 2. Let j be g(0). Suppose -7*z = -5*b - j*z - 10, 2*z - 12 = -2*b. Which is smaller: b or 3?
b
Let l = 13 + -13. Suppose l = n + 3 + 1. Are n and -4 nonequal?
False
Let q = -4.7 - -5. Let s = 0.2 - q. Let u = s - 0. Which is bigger: -1/4 or u?
u
Suppose -3*d + 3 = 3*q + 9, -20 = -4*d + 3*q. Suppose d*m + 2 = -2. Which is smaller: -4/5 or m?
m
Suppose f - 2*p + 39 + 11 = 0, 0 = -3*f - p - 136. Which is greater: -45 or f?
-45
Let d be 2 - (0 - (1 + -3)). Let l be 0 + ((-3)/(-21))/1. Which is smaller: d or l?
d
Let p = -13361/73 + 183. Let d = 67/219 - p. Suppose -3*h = -3*x - 12, h + 2*x + 2 = -9. Which is bigger: h or d?
d
Let m(z) = -2 - 2*z + 4 - 4 + z**2. Let a be m(3). Let s(x) = 2*x. Let k be s(1). Is a > k?
False
Let m be -2*21/6 + -1. Let x be m/20*5/9. Let r(q) = q**3 - q**2 - 2*q. Let p be r(2). Is x at least as big as p?
False
Let y be (-1 - -5) + -4 + -7. Is 0 > y?
True
Let d be 0*-1*1/1. Let i(x) = x**2 + 2*x - 3. Let u be i(-3). Is u equal to d?
True
Let d be 2/(-8) - 1/(-4). Let o(r) = 3*r - 3. Let b be o(2). Which is smaller: b or d?
d
Let h = 0.3 + -0.2. Is h not equal to -2?
True
Let f be (-1)/(-3) + (-82)/(-6). Suppose -3*k = -f - 1. Which is greater: k or 6?
6
Suppose 5*l + m = 30 - 124, 0 = 4*l + 3*m + 84. Which is smaller: l or 2/7?
l
Suppose 4*w - 148 + 92 = 0. Which is smaller: 53/4 or w?
53/4
Suppose -4*m - 2 = 2. Is -12/11 at most as big as m?
True
Let a be (-1)/(27/(-96)) + -2. Let r = a + -20/9. Is r greater than or equal to -0.1?
False
Let o(l) = l - 10. Let v be o(8). Let s be -2*1*5/(-2). Suppose s*h + 0*h = -15, -4*k = 5*h + 23. Is v equal to k?
True
Suppose 5*u - 4*u = 0. Let c = 177 - 2299/13. Which is bigger: u or c?
c
Suppose -4*h + 0 = 3*d - 4, -2*d + 6 = h. Let x = d - -1. Is x at least as big as 4?
True
Let o = -11.4 - -3.4. Which is greater: o or -1/2?
-1/2
Let o = 338/5 + -68. Let g be (2/4)/(2/(-48)). Let r = -12 - g. Which is greater: o or r?
r
Let t be (-1)/(-3)*(-90)/47. Let w = t - -724/987. Is 1 less than or equal to w?
False
Suppose 2*l = -3*l - 55. Let s = -19 - l. Let p be s/(-6) - (3 - 1). Which is smaller: 0 or p?
p
Let t be (-28)/(-6)*3/2. Let l = 8 - t. Are 2 and l unequal?
True
Suppose -5*t = -t - 16. Let v = -5 + t. Which is smaller: 3/8 or v?
v
Let m be (1 + -3 - 0)*-1. Let s be m + -1 - (-2 + 2). Let f = 1051/21 + -151/3. Is f less than or equal to s?
True
Let r = -7 + 13. Let z be (2/44)/(r/(-48)). Is z less than or equal to -1?
False
Let y be 12/(-16) + (-1)/(-4)*-93. Is -73/3 less than y?
True
Let o be (-12)/(-24) - (-8)/(-18). Is 0 bigger than o?
False
Let o = 7 - 7.4. Let g = 8.7 - 9.1. Is o <= g?
True
Let z = -0.174 - 0.756. Let i = 0.07 - z. Which is greater: -1 or i?
i
Let g(b) = b - 4. Let s be (-1 + (-12)/(-20))*-15. Let z be g(s). Let i(c) = -c**2 + 6*c + 1. Let v be i(6). Which is smaller: v or z?
v
Suppose 3 = 2*a - 5*a. Let z(o) = -o. Let k be z(a). Let m = -5 - -6. Is m < k?
False
Suppose 0 = 2*n - 4*n + 262. Let a = -1963/15 + n. Is 0 <= a?
True
Let j = 7 - 5. Let d be -3*j/(-6)*1. Which is greater: d or 2/15?
d
Let o = 602 - 15048/25. Let r = 13/25 + o. Which is smaller: r or 1?
r
Suppose 2*g - 6 = y, 2*g + 0*y - 18 = 4*y. Let j be ((1 - 3) + g)*-4. Is j not equal to 3?
True
Let s = -31 + 35. Suppose 16 = 3*r + r. Is s greater than r?
False
Suppose r + 3*v = 392, 5*r + 5*v + 137 = 2097. Suppose r = -3*m - m. Let h be 21/m*4/(-3). Which is smaller: h or 0?
0
Let q = 33 - 35. Is q at most -0.5?
True
Let v(r) = -r**3 - 8*r**2 - 12*r + 1. Let j be v(-6). Let b = 0.14 - 0.1. Is j equal to b?
False
Let l(s) = s. Let a be l(-10). Let h(m) = -m**2 - 9*m + 14. Let t be h(a). Let c = t + 1. Is 6 < c?
False
Let p = -2 - -5. Let f(m) = 0*m**2 + 2*m**2 - m + 0*m**2 - m**p. Let t be f(1). Do 5/6 and t have the same value?
False
Suppose -5*m - 4*g = -25, 0*g = -g + 5. Suppose 0 = -3*s - 0*s + 18. Let a be (s/9)/(4/6). Is m greater than or equal to a?
True
Suppose -a = 3*a - 8*a. Are a and -1/7 non-equal?
True
Let z(s) = s - 4 + 1 + 7. Let i be z(-9). Is -7/2 >= i?
True
Let t = 25 + -37. Is t < -13?
False
Let k = -56617 + 2491041/44. Let p = 2/11 + k. Which is greater: p or -2?
-2
Let n(i) = -i**2 - 7*i - 4. Let m be n(-8). Let x = m - -13. Are 3 and x non-equal?
True
Let w(z) = -z**2 - 6*z - 16. Let r be w(-5). Which is smaller: r or -14?
-14
Let j = -36 + 50. Let l be 9/(-3) - j/(-6). Is -3/2 at most l?
True
Suppose 0 = 5*h + 4*l + 35, 2*h - 4*l - 15 = -1. Let v(f) = -f - 3. Let o be v(h). Suppose 0 = -t - o + 2. Are t and