 = 25 - 32. Is y greater than 1/2?
False
Let y = 5 - 2. Suppose -5*t - 2*g - 12 = -g, -y*g + 24 = -5*t. Let f = t + 7. Is 4 <= f?
True
Let k(m) = -m + 1. Let w be k(-5). Let o(r) = -r**3 - 8*r**2 - 8*r - 6. Let q be o(-7). Let z be (-1)/(8/w - q). Do z and 2/3 have different values?
True
Suppose 324 = m - 0*m. Let q = m + -2912/9. Is 1 >= q?
True
Let v = -181921/36652 - 23/1666. Let m be 1/3*(-1110)/55. Let n = m - v. Which is greater: n or -3?
n
Let v(d) = -5*d - 6*d**2 + 2*d**3 + 0*d + 3*d + 6 - d**3. Let q be v(6). Let t be 4/12*9/q. Which is bigger: -2 or t?
t
Let l be 2 + (-4)/(-14)*-417. Let m = l + 118. Is m < 1?
True
Let l = -49.1 - -47. Let d = l + 0.1. Let v = 3 + d. Which is smaller: v or 0.2?
0.2
Let r be -1 - 0 - (36 - -31). Is -68 greater than r?
False
Suppose -3*f - 5*d + 19 = f, 4*d = -3*f + 15. Let l = f - 1. Which is bigger: l or -1?
l
Let t be ((-36)/(-8))/(3/(-4)). Let i(a) = -a**3 - 7*a**2 - 6*a + 1. Let q be i(t). Let u = 7 + -6.7. Does u = q?
False
Let l = 2/269 + 380/21251. Which is smaller: 0 or l?
0
Let g(p) = -p**2 + 7*p - 6. Let b be g(6). Suppose -o = -2 - b. Is 4/7 at least o?
False
Let c be -1 - (3 - 1) - 0. Which is bigger: -2 or c?
-2
Let u be 8/15*(-4 + (-74)/(-20)). Is u at least as big as -1?
True
Let x be ((-2)/6)/((-5)/60). Are 6 and x equal?
False
Let r = 21 - 25. Which is smaller: -3 or r?
r
Let o = 215 + -97. Let t = -6020/51 + o. Which is smaller: t or 0?
t
Let j = -14 - -12. Let t(c) = -c**2 - 2*c - 2. Let w be t(j). Which is bigger: -9/7 or w?
-9/7
Suppose -2*r = r - 6. Let y = -25/12 + 11/4. Which is bigger: y or r?
r
Let j be 2/9 + (-210)/(-27). Let x = -11 + j. Let g be (-5)/x + (-6)/9. Is 1 bigger than g?
False
Let g(t) = t + 4. Let q(b) = -b**2 + 7*b + 3. Let s be q(7). Let r be g(s). Let m(p) = -p + 6. Let k be m(r). Which is greater: k or 0?
0
Let o(f) be the third derivative of 0*f - 1/24*f**4 - 1/120*f**6 - 3/20*f**5 + 0 - f**3 + 2*f**2. Let u be o(-9). Which is bigger: 2 or u?
u
Let r be ((-1)/(-2))/(7/(-28)). Which is smaller: r or -4?
-4
Let o(t) be the first derivative of -t**3/3 + 5*t**2/2 + 4*t + 1. Let f be o(5). Suppose f - 1 = l. Is l equal to 1?
False
Let o = -10 + 11. Let c be (-2)/5*-1*-1. Is o at most c?
False
Let k be (-1)/(-1 + 2/5). Let c = -23/12 + k. Which is greater: -1 or c?
c
Let k = 23 + -20. Let i(y) = y. Let h be i(4). Suppose 0 = -2*t + k*t - h. Which is bigger: t or 3?
t
Let c be ((-10)/40)/((-7)/(-2)). Which is smaller: c or -1?
-1
Let z = 0.4 + -4.4. Is -5 <= z?
True
Suppose 5*t + 45 - 235 = 0. Let i = 229/6 - t. Do i and 1 have the same value?
False
Let f be -1 + (0 - 2) + 12. Which is bigger: f or 5?
f
Let q = 113/303 - 697994/2121. Let w = q - -328. Is -1 != w?
True
Let k(v) = -v - 4. Let z be k(-5). Suppose -1 = 3*i - 22. Let j = i - z. Which is greater: 7 or j?
7
Let z = -0.2 - -0.14. Is 2 at least z?
True
Let p be (-1)/(-18) + (-1)/3. Let q = -2/9 + p. Let h = 0.3 + -0.3. Which is greater: h or q?
h
Let l = 60 - 421/7. Suppose 3*g - 6 = 3*r - 0*r, -17 = 5*g + 4*r. Which is greater: l or g?
l
Let k = -0.08 + -0.08. Let m = -0.06 - k. Which is smaller: m or 0.6?
m
Let h(w) = -w**3 - 8*w**2 + 9*w + 5. Let i be h(-9). Suppose -2*z - 40 = i*p + z, 0 = -2*p - 5*z - 16. Let f = 8 + p. Which is greater: f or 2/23?
2/23
Let d(s) = -s**3 - 2*s**2 + 2*s - 31. Let q be d(0). Which is smaller: -29 or q?
q
Let u = 18 + -18. Are u and 9 non-equal?
True
Let i be (-25)/60 + 1/(-3). Is 2/7 < i?
False
Suppose -3*n + 4 = n. Let g be (2/1 + n)/7. Let o = 11 + -10. Which is greater: o or g?
o
Suppose k - 5*k - j = 1, -2*j = -3*k + 2. Is k smaller than -2/25?
False
Let m = 15 + -13. Is 3 bigger than m?
True
Let w(g) = -g**2 + 7*g - 14. Let u be w(3). Which is bigger: -5/2 or u?
u
Let x = 42 - 46.6. Let r = -0.4 + x. Which is greater: r or 0?
0
Let s(i) = i - 2*i + 2*i + i + 11. Let n be s(-8). Is -5 less than or equal to n?
True
Let x(r) = r**2 - 5*r - 4. Let w be x(6). Let p(h) = 2*h**3 + h + 0*h**3 + 5*h**w + h - 3*h**3 - 7. Let y be p(5). Which is greater: 2/7 or y?
y
Let u be (-3 + 5)/(14/(-7)). Is 2/155 > u?
True
Let f = -28.8 - -24.87. Let t = 1.57 + -1.5. Let p = f - t. Which is smaller: p or 0?
p
Suppose -k + 4*k = -6. Let v = 68 + -206/3. Which is smaller: v or k?
k
Let j be 5 + 3 + 2 + -2. Which is bigger: j or 36/5?
j
Let r be ((-9)/4)/(2/16). Let g be (-5)/r*(-374)/(-40). Let j = g + -19/8. Are -3 and j non-equal?
True
Let y = -11 + 10. Which is greater: 11 or y?
11
Suppose 0 = -6*d + d + 10. Suppose -2 = d*n - 4. Which is greater: n or -8?
n
Let t = -11 - -21. Let b = t + -16. Which is smaller: -4 or b?
b
Suppose 4*r - 33 = -13. Let t = 15 - 7. Let a(k) = -k**3 + 7*k**2 + 8*k + 6. Let y be a(t). Which is greater: y or r?
y
Let k = -8542/61 + 140. Which is bigger: k or 1?
1
Let y be 3/7*(-8)/(-3). Let u = 13 + -7. Suppose 2*v = -5*z + z + u, 3 = 4*z - v. Which is bigger: y or z?
y
Suppose 3*w - 2*v = -4, 2*v - 8 = -2*v. Suppose w + 6 = -2*t, 2*b - t - 5 = 0. Suppose u = 2*u. Which is greater: u or b?
b
Let y = -3 - 3. Let n = -138 + 132. Is n <= y?
True
Let p = 0.05 - -0.05. Let u = -2 - -8. Let n be 5/(-3) - u/18. Which is smaller: p or n?
n
Let n = -0.19 - -0.17. Which is bigger: n or -3?
n
Suppose -2*t + 19 = -11. Let u = 16 - t. Which is smaller: u or -2/25?
-2/25
Let d be -1 + -1 + -2 + 4. Let j = d + -1. Let g be (5/(-30))/((-2)/(-4)). Is g not equal to j?
True
Let x = 72 + -70.07. Let w = x + 0.07. Is -3 at most w?
True
Let n be -1 - (0 - -1) - -1. Suppose 2*f + 63 = -f. Let p = 61/3 + f. Is n smaller than p?
True
Suppose -3*i + 0*o - 48 = -3*o, o = -2*i - 20. Are -11 and i unequal?
True
Let w(o) = -8*o + 2. Let i be w(-1). Is 11 less than or equal to i?
False
Let m be (-1)/(1/((-2)/1)). Let o be -1 + m + 2/(-1). Let f be (-2 + 1)*(3 + o). Is 0.1 smaller than f?
False
Suppose 1 = -3*y - 4*m, -4*y - y = -3*m - 37. Suppose -y = -3*g + 19. Suppose -6*o - g = -2*o. Is o bigger than -1/2?
False
Let s(j) = -13*j + 4. Let m(u) = -7*u + 2. Let y(o) = 11*m(o) - 6*s(o). Let l be y(4). Let q = l - 3. Is -4 greater than q?
False
Suppose b = -2*v - 3, 3*b - 24 = -0*v + 5*v. Suppose 0 = q - b + 2. Let k be (-3 + q)*(-3)/6. Which is smaller: k or -1/6?
-1/6
Let v(j) = -j - 5. Let k be v(-5). Let d = k + 2. Do 2 and d have different values?
False
Let x be 3/6 - (-279)/6. Is 47 at least x?
True
Let i = -1.86 - 0.14. Let t = 3 + -3.2. Is i at most t?
True
Let r(j) = -j**3 - 2. Let u be r(-2). Let d be u/(-5)*(-7 + 12). Let p be (6/5)/((-1)/5). Are p and d unequal?
False
Let o be 3/(-9) - (-20)/132. Which is bigger: o or 1?
1
Let c(f) be the second derivative of f**4/12 + 5*f**3/6 - f**2/2 + f. Let d be c(-5). Let a = 3/11 + -31/33. Is d at most as big as a?
True
Let o(y) = -y - 4. Let i be o(-9). Suppose -8 = i*u - p, 5*p - 14 = 4*u + 5. Let k be (u/(-6))/((-3)/9). Is 2 greater than k?
True
Let s be -2*(3 - (-7)/(-2)). Is 1/6 smaller than s?
True
Let q = -367/9 - -41. Which is smaller: q or 0?
0
Let u(c) = -c**3 - 3*c**2 + 3*c + 3. Let z be u(-4). Which is smaller: z or 6?
6
Let h = 35 + -30. Is h greater than or equal to 5?
True
Let u be (1*-1)/((-120)/168). Is 1 not equal to u?
True
Let r(y) = -y**2 + y - 37. Let b be r(0). Are -37 and b non-equal?
False
Let m(h) = -7*h**2 - 5*h + 4. Let o be m(1). Which is greater: o or -7?
-7
Let n(d) = d**3 - 3*d**2 + 2. Let b be n(5). Let u = 209/4 - b. Is 0 < u?
True
Let c be (1 + 0)/1 + -2. Is c < 2/47?
True
Let r(v) = v**2 - 4*v + 1. Let x be r(5). Let g(k) = 2*k**2 - 12*k - 8. Let d be g(7). Is x at least d?
True
Suppose 0 = -0*l + 3*l - 3. Suppose 2*s - l = 2*r + s, s = -3. Let b be (3/r)/((-9)/12). Is b smaller than 1?
False
Let m = 194 - 196. Which is greater: -7 or m?
m
Let o be ((-6)/9)/(6/(-27)). Suppose -2*p + 7*p + 16 = 4*q, 0 = -4*q + o*p + 8. Is q at most as big as 1/4?
True
Let x(d) = -d**2 + 9*d - 1. Let n be x(9). Let v(q) = q + 1. Let t be v(n). Let w = 828/7 + -118. Which is smaller: t or w?
t
Let v be (10/4 + -3)*-6. Let m = 4/9 - -19/18. Which is smaller: v or m?
m
Let n = 10834/15 - 722. Let t = -2/105 - n. Suppose 0 = -0*f - 5*f. Which is greater: t or f?
f
Suppose 4*f - 14 = 2*w, 4*w + 17 = -f - 2*f. Which is smaller: f or 1/80?
1/80
Let t(f) = f**3 - 11*f**2 + 6*f + 24. Let u be t(10). Is -17 smaller than u?
Tr