 Is f greater than 2/7?
True
Let d be 3/(0 - (-117)/(-12)). Is 1 greater than d?
True
Let w = -71 - -40. Is 0 <= w?
False
Let t be -1*(-2)/(2/1). Let u = 105 + -737/7. Which is smaller: t or u?
u
Let v be (-2)/6 + 14/6. Let t(k) = k**3 + 7*k**2 - 8*k + 3. Let f be (-12)/2*12/9. Let i be t(f). Which is greater: i or v?
i
Let w(o) = o**3 - o**2. Let t be w(1). Let f = 6 + t. Let d be (-4)/f - (-4)/(-3). Is -3/5 less than d?
False
Let t = -19 + 9. Let l be ((-5)/t)/(0 - 1). Which is bigger: -2 or l?
l
Let f = 7271/46 - 158. Is f bigger than -1?
True
Let u = 21 - 22. Is 2/77 less than or equal to u?
False
Let i = 1.8 - 8.8. Let t = i - -2. Which is smaller: 0.2 or t?
t
Suppose 0*z + 2 = 2*z. Let c be (z - 1)/(-2 - -4). Are -2/3 and c nonequal?
True
Let z = 0 - 2. Let o = 14 + -17. Which is bigger: o or z?
z
Suppose -o = -142 - 202. Let j = o - 5846/17. Do 1 and j have different values?
True
Let h(p) = -p. Let t be (-21)/(-35) - (-36)/(-10). Let j be h(t). Suppose -2*u - j + 13 = -4*m, -3*m - 5*u = 27. Are m and -4 unequal?
False
Suppose 0 = -5*d + 2*d. Let r be -116*(-2)/118 - 2. Let t = -65/177 - r. Which is bigger: d or t?
d
Let h be (-10)/(-20) + (31/(-26) - 1). Which is bigger: h or -1?
-1
Suppose -w = 4*u - 14, 0*w + 28 = -4*w + 5*u. Let d = 4 + -2. Suppose -d*l = 3*l + 10. Is l != w?
False
Let j be ((-18)/(-5))/(-6) - 92/5. Is -19 at least j?
True
Let y = -41 + 150. Let m = y + -2181/20. Does m = -1?
False
Let m be ((-6)/90)/(2/6). Which is bigger: 1 or m?
1
Let z = 13881/110 - -185/22. Let w = -135 + z. Suppose -5*s = 15 - 5. Which is smaller: w or s?
s
Let n be 2/(-14) - 156/84. Is n bigger than 0?
False
Let k(i) = i**2 - 4*i - 6. Let p be k(5). Let b = 1557/41 - 38. Which is bigger: p or b?
b
Let h be ((-120)/42)/((-4)/14) + 1. Which is smaller: h or 13?
h
Let x(v) = 7*v + 4*v**3 - 3*v**3 - 7 - 2*v**3 + v**2. Let i be x(3). Is -4 greater than or equal to i?
True
Let u = 0.6 - 3.5. Let g = 0.04 - 3.04. Let q = g - u. Is 2 at most q?
False
Let s = -20 + 58/3. Let a = 33 + -29. Are a and s equal?
False
Let t(v) = v**2 + 6*v - 10. Let s be t(-8). Let f be (-2)/s - (-20)/6. Let g be 2/(-6)*9/f. Which is bigger: g or 0.7?
0.7
Let w(o) = o**3 + 3*o**2 - o + 4. Let v be w(-3). Let q = v - 3. Suppose -k - 2*k = 5*y - 8, 5*y - 5*k - 40 = 0. Is y > q?
False
Let z = 10 + -10.2. Is z bigger than 0.3?
False
Let v(y) = -y**3 + 2*y + 1. Let f be v(-1). Let k = -1.2 + 1.16. Let r = -0.36 + k. Is r at most as big as f?
True
Suppose -3*l - 3 = -4*l. Let v = 6 - l. Suppose 3*x - 2*w - 3 = 0, -5*x + 4*x = v*w + 10. Which is bigger: x or 2/9?
2/9
Suppose 1 = 5*c - w + 5, 4*c + 4 = w. Suppose -i = -c*i. Is -7 at most i?
True
Let u(n) = -n - 1. Let x be u(-8). Suppose 5*j = -2 + x. Let h be (-1)/(-2) - (j + 1). Which is smaller: h or -3?
-3
Let o = -89/3 - -29. Is o at most -1?
False
Suppose 0 = 5*p - 10 - 0. Let g = p + 6. Is 9 equal to g?
False
Let f = 0.14 + 0.16. Let a = f - 0.2. Which is greater: a or 0?
a
Let g(o) be the first derivative of -o**3/3 - 5*o**2/2 + 2*o + 2. Let w be g(-6). Which is smaller: w or -5?
-5
Let v(t) = -t - 1. Suppose 7 = -5*d + 2. Let y be v(d). Suppose -4*f = -y*f - 12. Do 3 and f have different values?
False
Let l = -1.105 + 0.105. Which is smaller: 22 or l?
l
Let v be (-3)/(2 - (-2)/4). Let g = -13 + 13. Suppose g = 5*o - b + 7, 4*o + 12 = -4*b - 8. Are v and o unequal?
True
Let u = -0.24 - -0.02. Let j = -0.02 - u. Which is smaller: 0 or j?
0
Let d = 8/2905 + -6835537/26145. Let j = d + 261. Suppose 3*k = 2*k - 1. Which is greater: k or j?
j
Let j be (3/(-6))/(2/4). Do j and -1 have the same value?
True
Let b = -2 - -2. Let d = -1 + b. Let z be 0 - 0 - (-3 + d). Is 4 less than or equal to z?
True
Let x be (-5)/(-2) + 1/(-2). Suppose 0 = -4*a - 2*t - 2, -a - 2*a = 2*t + 2. Which is smaller: a or x?
a
Let q(h) = -h**2 - h. Let g be q(-1). Let b = 153/35 + -32/7. Is g < b?
False
Let d be 1*2/4*0. Suppose -i + d - 2 = 0. Let o be (1/(-2))/(5/20). Is o less than i?
False
Suppose -5*k = 2*i + 18, 3*i = k + k + 11. Is 1/2 greater than or equal to i?
False
Suppose 0 = l + 2*l - 3. Let q be 1 - (-12)/(-28) - 3/(-7). Let z be (1 - l - q) + 0. Which is greater: z or 2/25?
2/25
Let b be 10/12 - 1/2. Let j = -0.5 - 0. Do j and b have the same value?
False
Let r(h) = -17*h - 2. Let p = -14 + 13. Let u be r(p). Is u less than 13?
False
Let c = 3.71 + -0.11. Let l = c + -0.8. Let y = l + -3. Is y at most as big as 2?
True
Let j = 1163/9 - 129. Which is smaller: -1 or j?
-1
Let f = -30 + 25. Let t(l) = l**2 - 7*l + 4. Let x be t(7). Let y = x + f. Which is smaller: y or -4?
-4
Let a = 71 - 71.2. Let x = -4407490/10399893 + 8/51231. Let r = x + 4/29. Does a = r?
False
Suppose -2*s = 3*c - 21, -3*s - 4*c + 14 = -3*c. Let r be s/6*(-2)/1. Do r and 1/9 have different values?
True
Let o be 32/(-12)*1/4. Let t = 9 - 5. Suppose 2*k - 20 = 5*v, -t*v = 5*k - 0*k + 16. Which is smaller: o or k?
o
Let l be (-21)/(-7)*4/6. Suppose 0 = -2*c + d - 3, -l*d + 5*d = 2*c + 1. Are 0 and c non-equal?
True
Let m(w) = -5*w + 0*w**2 + 0 + w**2 + 5. Let l be m(5). Suppose -4*p = -0 - 12. Which is smaller: p or l?
p
Let a = -7 + 12. Let d = 8 + -4. Which is smaller: a or d?
d
Let z(k) = -k**3 - 4*k**2 - 2*k + 2. Let c be z(-2). Let m be 1*-1*(-2)/c. Do m and -2/11 have the same value?
False
Let t be ((-280)/42)/(2/6). Let k = t + 21. Is k less than 12?
True
Suppose -56 = 3*b + 145. Is b less than -68?
False
Let a(x) = -x - 3. Let u be a(-3). Suppose 0*c - 12 = 4*n - c, u = 5*c + 20. Is n at least as big as -4?
True
Suppose -4*o = -5*y - 62, 0 = -o - 4*o - y + 63. Is o at least as big as 13?
True
Let h be 8/(-16)*(-36)/1. Let r be 5/h - 8/16. Which is bigger: -2/7 or r?
r
Let m = 2 - 2. Suppose c - 84 = 5*c. Let p = 61/3 + c. Which is smaller: p or m?
p
Let q be (5 + (-3 - -4))/5. Let g = 5 - 5.1. Is g less than or equal to q?
True
Let a = -0.1 - -0.1. Let l be -6 - ((-2079)/(-35))/(-9). Which is smaller: a or l?
a
Let y = -16 + 9. Let r be 2 - ((y - 0) + 0). Suppose 0 = -4*t + 3*g - 23, 2*g = -2*t - 3 + r. Which is greater: -2/3 or t?
-2/3
Suppose 0 = -i - 3 + 2. Which is smaller: 2 or i?
i
Let b be ((-1)/(-2))/((-2)/20). Let z = -1 - b. Let y(w) = -w**3 + 3*w**2 - w + 5. Let t be y(3). Is t equal to z?
False
Let r be ((-1)/(-6))/(12/16). Suppose 0 = -0*q + 4*q - 20. Suppose q*n - 3 = 2. Is n >= r?
True
Let a(d) = d**3 - 6*d**2 + 5*d + 2. Let s be a(5). Let j be s*(2 - 2/4). Suppose 0 = -2*w - 2*o - 2, 0*w - 5 = j*w + 5*o. Which is greater: -1/6 or w?
w
Let z = 9 + -10. Let v = -799/9 + 89. Is z bigger than v?
False
Let q be 6*-1*3/(-6). Suppose 11 = 4*v + q*u - 44, 0 = 3*v + u - 45. Is 16 less than or equal to v?
True
Let y be 12/(-6) + (2 - -1). Let j be (6 + 0)*(3 - y). Are j and 11 non-equal?
True
Let i(f) = f**3 - 3*f**2 - 4*f. Let q be i(4). Let r = -19 + 21. Which is smaller: q or r?
q
Let j = -5 + 3. Let d be (1/(-2))/((-1)/j). Which is smaller: 1/3 or d?
d
Let x = -54.1 - -54. Let i be (-33)/12 - 1/4. Is x != i?
True
Let r(f) = f**3 + 12*f**2 + 31*f - 7. Let b be r(-8). Suppose j + 0*q + 3*q = -1, j + 2*q = -1. Is j at least b?
False
Let h(n) = -3*n - 5. Let g(s) = s - 1. Let a(m) = -4*g(m) - h(m). Let q be a(8). Let w(j) = -j**2 + 6*j - 5. Let x be w(5). Is q < x?
False
Let k(f) = -29*f + 1. Let o = -3 + 2. Let r be k(o). Let i be (-2)/20 + 18/r. Which is smaller: 1 or i?
i
Suppose 0 = 10*t - 8*t - 2. Is t < 6/7?
False
Let j = -337/5 - -67. Do 15/2 and j have the same value?
False
Let b be -1 - -8 - (6 - 5). Let w be 12/9 + b/(-9). Let c = -2 - -1.9. Which is smaller: w or c?
c
Let b(t) = -t**3 - 3*t**2 - 3*t - 2. Let v be b(-2). Suppose 2*o + 16 = 2*z - 0*z, z = -2*o - 4. Suppose -z*h = -4, -r - h - 3*h + 4 = 0. Is r smaller than v?
False
Let i = 0.2 - 0.3. Let o = i - -0.1. Let m = 0.1 + o. Which is bigger: m or 2?
2
Let k = -0.1 - -0.1. Let w = 4 + -6. Which is greater: k or w?
k
Suppose 5*x - 2*r = -7, -4*x + 0*x - 5*r + 1 = 0. Suppose 2*y = 4*y + 2. Are y and x nonequal?
False
Suppose 2*r - 4 = 18. Which is smaller: 12 or r?
r
Suppose -2*s + 4*d = 38, d + 5 - 1 = -s. Let g be (-8)/4 + (-22)/s. Is g at least -1?
True
Let k = 0.48 - 0.18. Which is smaller: k or 1?
k
Let f be ((-1)/(-2)*10)/1. Is f < 6?
True
Let w(f) = -2*f + 5*f**2 - 2*f**2 - 2*f**2. 