a = f - -4. Which is smaller: a or v?
v
Suppose k = r - 2, -3*k = -2*k - 3. Let x(c) = -c**3 + 4*c**2 + 4*c + 6. Let q be x(r). Is 0 greater than q?
False
Let z = 0.02 - 0. Let w = z + 0.98. Is -3 greater than w?
False
Let g be (-1)/((0 - -3)/(-9)). Suppose g*k = -k + 8. Which is bigger: 0 or k?
k
Let h be 3 - 138/42 - -2. Suppose 3*b + 0*n = 3*n + 3, 0 = n - 2. Which is smaller: b or h?
h
Let f(t) = -t. Let b be f(-1). Let u be 0/1 - (-2)/(-13). Is u less than or equal to b?
True
Let r(b) = 6*b - 39. Let z be r(7). Let a(l) = l**2 + 6*l + 2. Let g be a(-6). Which is bigger: g or z?
z
Let r = 4/239 + -850/22227. Is r at least 0?
False
Let g = -38.8 + 39. Which is bigger: g or -0.2?
g
Let b(h) = h**3 - 3*h**2 + 2*h - 1. Let u be b(3). Let o = 10 - u. Let f(g) = g**3 + 7*g**2 + 4*g - 8. Let c be f(-6). Do c and o have different values?
True
Let m(q) be the first derivative of -q**2/2 - 8*q - 5. Let y be m(-6). Let o(g) = -g**3 + 3*g**2 + 5*g - 5. Let c be o(4). Which is smaller: y or c?
y
Let s be (4/1090)/((-63)/(-15)). Let z = s + -9190/38913. Which is bigger: z or 0?
0
Let y = -0.07 + -0.23. Suppose -m + 3*m + 12 = -j, 24 = -4*m - 3*j. Let o be -1 - m/(-8)*-1. Is y at least o?
False
Let v = 2 - 0. Suppose -1 = r - v. Which is greater: r or -1/22?
r
Let g = -8710151/22571832 - -2/122673. Let y = g - -6/23. Which is greater: y or 1?
1
Let g(d) = -2*d + 2. Let b be g(-6). Suppose -5*z = -j - 3*z + b, z = -5*j + 37. Let h be (-1)/3 + j/6. Which is smaller: 2 or h?
h
Suppose 0 = 14*i - 11*i - 480. Is i at most 159?
False
Let c = -33 + 32.995. Which is greater: 1/3 or c?
1/3
Let p(z) = -z**2 + 3*z + 9. Let d be p(9). Let o = d + 17. Let n be (-8)/(-32) + 3/o. Which is smaller: n or 1?
n
Let m be 30/77 + (-12)/(-66). Is m greater than or equal to 0?
True
Let b = 1 + 0. Let i = b + -1. Let u(f) = -f - 5. Let d be u(i). Which is smaller: -1/3 or d?
d
Suppose -3*b = 2*b. Is 2/17 at most as big as b?
False
Suppose 14 + 13 = 4*p + 3*c, -5*p + 4*c = 5. Let m be (p - 3)/(-2 + 3). Which is bigger: m or -5?
m
Let f = 1.964 + 0.036. Is f at most 14?
True
Let s(y) = -y**2 + 2*y + 6. Let d be s(3). Is d > 1?
True
Let p = -30 - -18. Which is smaller: p or -14?
-14
Let b = -21/2 + 13. Let n = 29 - 25. Is b equal to n?
False
Let a(u) be the third derivative of -u**6/120 + u**5/10 - u**4/24 + 7*u**3/6 - 3*u**2. Let f be a(6). Let j = -145/4 - -36. Is j smaller than f?
True
Let n be 8/(-24)*(1 + 5). Is -4 at most as big as n?
True
Let w = 11 + -6. Let r(i) = i**3 - 5*i**2 - 6*i + 3. Let h be r(6). Suppose -4*v - h*c = -2*v + 5, 3*v - w*c - 21 = 0. Which is smaller: 3 or v?
v
Suppose 0*a - a + k + 6 = 0, 3*a - 23 = 4*k. Let m = -12 + 12. Let n = m + a. Do 1 and n have different values?
False
Suppose -10*o = -6*o - 4. Which is smaller: o or -1/7?
-1/7
Let c = 494/7 + -70. Let p be 4/2*(-5)/2. Let a be 4 + p - -1*3. Is a greater than or equal to c?
True
Suppose 0 = 5*c - 0 + 45. Let v = 18 + c. Are 11 and v equal?
False
Let k be (-8)/(-24)*42/(-11). Is -1 >= k?
True
Suppose m - 3*a = -5, 2*m + 3*a + 2*a = 12. Let v be ((-40)/450)/(((-12)/10)/3). Which is bigger: m or v?
m
Let j = 161 + -142. Which is greater: j or 21?
21
Let y = 19217/5 - 3998. Let u = y - -154. Which is smaller: u or -2/7?
u
Let h(f) = 8*f**2 + f. Let w be h(-1). Is -2 less than or equal to w?
True
Let u = -74 + 63. Is u greater than -12?
True
Let j = 124/637 - 2/49. Is j <= 0?
False
Let a = 2 + -1. Let b be -82*(-2)/132 - a. Let f = 9/22 - b. Which is smaller: f or -1?
-1
Let y be (5/(-50))/(4/5*-1). Which is smaller: y or 3?
y
Suppose 0 = -3*q + 4*q - 1. Is q less than 0?
False
Let g = -31.182 + 0.182. Is 0 < g?
False
Let w = -2.9 + 6.9. Let n = 0 + 12. Let s = w - n. Is s > 1/4?
False
Let k = -14 + 7. Let n = k + 9. Which is greater: -4 or n?
n
Let n = 123/7 - 1606/91. Are n and -1 equal?
False
Let m be (16/(-12))/(10/(-15)). Let d be -2 + 2*(-10)/(-8). Which is smaller: d or m?
d
Suppose -2*s = -4*s - 6. Let r be ((-9)/s + -1)/(-2). Which is bigger: r or -3?
r
Suppose 8*f - 5*f + 36 = 0. Which is smaller: f or -0.1?
f
Let i = -165 + 1157/7. Which is smaller: 0 or i?
0
Let d = -5.468 + 0.288. Let z = d + 0.18. Is 1 less than z?
False
Let f be (-993)/1566 - (-2)/4. Let v = f - -2/87. Is v less than 0?
True
Let t be 0 + 1/((-2)/(-8)). Let b = 42 - 46. Let k be ((-1)/t)/((-3)/b). Is 0 bigger than k?
True
Let j = 116.98 + -126. Let r = j + 9. Is r less than or equal to -1?
False
Let y = 165037/13 + -12718. Let u = 23 + y. Is 2/5 less than or equal to u?
False
Let y(f) = f**3 + 3. Let m be y(0). Suppose 0 = m*g - 4*b, 2*b + 10 = 4*g - 0*b. Let h = g + -5. Is h at least as big as -1/9?
False
Let r = -4 - 5. Let q = 8.9 + r. Are 0.4 and q non-equal?
True
Let t = 1.2 + -1.1. Which is greater: t or 0.7?
0.7
Let r = 102 + -102.4. Are r and 3 unequal?
True
Let g = 0.052 + -1.052. Let h = 0.2 - 0. Are g and h equal?
False
Let z = 26 - 24. Suppose -3*j - 5 = z*d, -d - 4 = j + 2*d. Is j bigger than 2/5?
False
Suppose 0 = -5*x - n - 18, 0 = -n - 0*n - 3. Let f(r) = -r - 4. Let o be f(x). Does o = 1/5?
False
Let k be 6/(-4)*2/7. Let y(c) = c**3 + 7*c**2 + 6*c + 1. Let a be y(-6). Which is bigger: a or k?
a
Suppose 5*f = 88 + 112. Let s be 26/f + (-3)/12. Let g be 5/75*5*1*-3. Which is bigger: g or s?
s
Let t(b) = -b**3 + 4*b**2 + b + 2. Let f be t(4). Suppose 7*p - 1 = f*p. Is p < -3?
False
Suppose i - 11 = 2*y, -9 = -i + 4*y + 12. Let l be (-15 + i)*9/18. Let p be 2/9 + (-65)/9. Is p equal to l?
True
Let g = -4 + 3. Is g at least as big as -1/9?
False
Let l be 1*-3*(-20)/(-15). Let a be (l/2)/(6/(-9)). Suppose a = -3*q + 12. Is -0.2 != q?
True
Suppose -g = -0*g - 13. Suppose 5*p - 2 - 18 = 0, -3*p = -z - g. Which is smaller: z or 1/8?
z
Let w be -2 + 0 - (-38)/16. Is w less than or equal to 0?
False
Let g = 0.4 - 0. Let l be (-2)/(-5)*284/(-16). Let n = l + 15/2. Is n greater than g?
False
Let z = -3.3 + 3. Let t = 0.1 + 0.1. Let k = -0.3 + t. Do z and k have the same value?
False
Let b = -40 - -42. Suppose 0 = -3*d - 3*h + 18, -57 = -5*d - 0*d + 4*h. Do b and d have the same value?
False
Let t(g) = -g**3 + 2*g**2 + 4*g + 1. Let k = -6 - -9. Let b be t(k). Is b less than 3?
False
Let s(d) = -d. Let r be s(0). Suppose r = 4*x + 12 + 16. Let u be (-32)/308 - 2/x. Which is greater: u or 1?
1
Let n(c) be the third derivative of 1/60*c**5 + c**3 - 3/8*c**4 + 0 + 0*c + c**2. Let w be n(8). Which is bigger: w or -2/3?
-2/3
Let y = 11 + -6. Let v be (-1)/y + (-308)/(-715). Is v at least 1?
False
Let w = 2.6 + -0.8. Let h = w - 2.1. Which is smaller: h or -6?
-6
Let d = -17.94 + 18. Which is smaller: -1/3 or d?
-1/3
Suppose -2*x - 45 = x. Let t be 0 - (x/(-6) - 3). Let l = 1 - 1. Is l at most t?
True
Let v = 229 - 296. Is v >= -69?
True
Suppose 79 = -j + 75. Is -22/7 >= j?
True
Let i be (-217)/(-165) + 4/12. Let w = 47/33 - 159/55. Let d = i + w. Is 1 < d?
False
Suppose -4*w + 17 = 5*u, 3*w - 12 = -w. Is 3/19 bigger than u?
False
Let j(y) = -y - 7. Let z be j(-6). Let w be ((-12)/(-45))/((-16)/(-12)). Is w < z?
False
Let t(a) = -a**3 + 7*a**2 + 8*a + 4. Let f = 22 + -14. Let x be t(f). Are x and 4 nonequal?
False
Suppose 0 = -3*l + 5*l - o + 4, 2*o - 8 = -3*l. Suppose 5*p + 0*p = l. Is 2/13 smaller than p?
False
Suppose 5*g + 5*o - 10 = 0, 0 = 3*g + o - 4*o - 12. Let s be -3 + g + 54/33. Which is smaller: 3 or s?
s
Let r = -24 - -24.2. Which is bigger: -7 or r?
r
Suppose -2*y - 4*x + 20 = -5*x, 2*y - 20 = -4*x. Let c be (2/y)/(48/300). Which is bigger: 2 or c?
2
Let y = -0.02 - 1.98. Let j = 0.8 + y. Let u = 1 + j. Is 2 greater than u?
True
Let n = -21 + 23. Which is bigger: n or 0?
n
Let s = -4 - -8. Suppose 7*j - 3*j - s = 0. Let p = 9 + -6. Is j greater than or equal to p?
False
Let f = 454 + -24059/53. Which is smaller: f or 0?
0
Suppose 4*k - 5*q - 3 - 11 = 0, -9 = k + 5*q. Suppose -k + 2 = f. Which is greater: f or 0?
f
Let a = 5 + 3. Suppose 0 = -a*j + 5*j + 6. Which is bigger: -1 or j?
j
Let t be (16/6)/4*(13 + 53). Is t at least 45?
False
Suppose 38 = -5*v + 4*u + 7, 3*v = -u - 5. Let m be 4/v*15/(-25). Is m >= 1?
False
Let c(q) = q**2 + 4*q - 5. Let u be c(-5). Let r(m) = -2*m - 19. Let j be r(-9). Let h = j - u. Is h greater than -1?
False
Let k(x) = x**2 - 2*x - 5. Let h be k(4). Suppose h*n - 4 = 4*n. Is