g. Is q <= 2/9?
True
Let n = -5/8 + 51/56. Let i = -19/42 + n. Which is greater: i or 1?
1
Let g = 113405/64 - 1772. Is -1 bigger than g?
False
Let r be (2*-3)/((-18)/(-12)). Let u = -9/2 - r. Is -4 not equal to u?
True
Let y(p) = p**3 + p**2 - p + 8. Let u be y(0). Let k be (4/(-5))/((-1)/10). Is u less than k?
False
Let l be 3/(1 + -2 + 2). Suppose 0*q = -l*q - 6. Which is greater: -1 or q?
-1
Let t(u) = u - 1. Let r be t(-3). Let o be ((-30)/(-24))/(1/r). Suppose -7 + 27 = -5*n. Is o bigger than n?
False
Let f = -2 - -4. Suppose f*d = -d. Is d bigger than 1/2?
False
Let q be (-42)/4*(-2)/3. Let f = q + 0. Is f != 7?
False
Suppose 0 = -2*x - 69 + 71. Let l = 5 - 9. Let z be (-24)/133 + l/(-14). Is z >= x?
False
Let k be ((-1 - -1) + 0)/(-2). Suppose -8 + k = 4*t. Which is bigger: -3 or t?
t
Let p = -35 + 30. Is p equal to -24/5?
False
Let j be (-350)/98 - 3/7. Which is bigger: -2 or j?
-2
Let i = -51 - -56. Is 6 less than i?
False
Let s = -10 + 11. Is s < -1/12?
False
Let o = 1.71 + -0.71. Which is greater: o or -4/7?
o
Let w = 0.1 - 2.1. Let n = 1.5 + w. Let l = n - -0.6. Is 2/5 at least as big as l?
True
Let z be (-554)/411 - 32/(-24). Which is smaller: z or 0?
z
Let w = -0.03 - -3.03. Let q = 3.2 - w. Let f = q - 0.2. Which is greater: f or -2/3?
f
Let g = 175 - 2277/13. Is g greater than -0.1?
False
Let g = 4 - -4. Suppose -j = -u + 4, -7*j - 4*u - g = -3*j. Which is greater: j or -2?
-2
Let y(i) = i**2 + 8*i + 1. Let b be y(-9). Let l be 6/b + 120/50. Which is smaller: l or 4?
l
Let m be 35/476*(-2)/10. Are 1 and m non-equal?
True
Suppose -28 = -2*k + 5*x, 0 = 4*k - 4*x + 2*x - 24. Let m be 0 + (3 - 4/(-4)). Do m and k have the same value?
True
Let x = -316.9 - -332. Let l = x - 15. Suppose 0 = 2*y - 3*y - 3, -3*b + 12 = -5*y. Which is greater: b or l?
l
Let b = -0.58 - -7.58. Which is bigger: -1/2 or b?
b
Let w(x) = -2*x**2 - 2*x + 3. Let g be w(-2). Is g != -4/27?
True
Suppose 4*z - 50 = c, -z + 15 = c - 0*c. Is z smaller than 11?
False
Let o be -4 - -3 - (1 - 16/6). Let b = -0.1 - -0.2. Is b bigger than o?
False
Suppose -2*n = 3*n + 5. Let s(b) = 2*b**3 + 2*b**2 - 1. Let v be s(n). Let y = -22/5 + 164/35. Is v equal to y?
False
Suppose -n = t - 4*t + 4, -t - 4*n - 3 = 0. Suppose 2*g - t = -3. Let u = 23 + -91/4. Which is smaller: g or u?
g
Suppose 54 - 2 = 4*q. Is q > 12?
True
Let o = -169 - -168. Which is greater: 1/46 or o?
1/46
Let t be (-1)/9*-2*3/13. Is t < -1/3?
False
Let u(o) = o**3 + 4*o**2 + 3*o + 2. Let x be u(-3). Let t be (878/4)/((-30)/(-12)). Let c = -87 + t. Is x >= c?
True
Let r(k) = 8*k**3 - 2*k**2 - 2*k + 2. Let c be r(-2). Let n be 4/18 - c/(-54). Which is smaller: n or -3/8?
n
Suppose 0 = 2*p - 1 - 15. Which is smaller: -0.2 or p?
-0.2
Suppose 0 = -2*b + 5*b - 57. Which is greater: b or 18?
b
Suppose -19 + 3 = -4*n. Let g be n/8 + (-3)/(-6). Are -2/13 and g equal?
False
Let d = 0.6 - 0.63. Which is bigger: -0.1 or d?
d
Let p = -2 - 2. Let z(a) = -a**3 - 5*a**2 - 5*a - 6. Let v be z(p). Which is smaller: v or -3/2?
v
Let t be 3/(0 + -6)*1. Is 1 > t?
True
Let y = -0.2 + 0.2. Let z = y + 0.1. Let c = -2.6 + 1.6. Which is smaller: z or c?
c
Let m = -0.021 - 2.979. Is -1/10 at most m?
False
Let x be (-44)/(0 + -51 + 2). Let v = x + -2020/1813. Let b = -143/148 - v. Is b at least 0?
False
Let h = -1 + -4. Suppose 0 = -d - 8 + 12. Let i = h + d. Are i and -1/2 unequal?
True
Let t(u) = u**3 - 1. Suppose -2*b + 1 = -f, -5*f - 10 = 3*b - 5. Let o be t(b). Suppose -5*c = a - 14, 5*a - c = -3*c + 1. Is a at most o?
True
Let f = -28.3 - -30. Let j = f - 2. Let v(n) = 3*n + 106. Let k be v(-35). Is j <= k?
True
Let g = 4 + -4. Let a = 182 + -23. Let b = a - 1111/7. Which is greater: b or g?
b
Let m be 1/((-1)/(-1 + 2)). Let h(d) = -3*d + 2. Let l be h(2). Let n be (-5)/20 - (-3)/l. Is n at most as big as m?
True
Let m = 0.3 - 0.5. Let v(f) = f**2 + 12*f + 21. Let h be v(-9). Is m >= h?
True
Let k = 29 - 28.5. Is k > -1/2?
True
Let i = 28 - 21. Suppose 5*w - 7 = d - 4, 4*w = 3*d - 13. Are i and d equal?
True
Suppose -3*q + 26 = 5*i + 4, 4*q = 2*i - 14. Suppose -m + f = m + 3, -1 = 2*m - 3*f. Let n be 1/4 + 1/m. Is n less than q?
False
Let f = -108178 + 975634/9. Let a = f + -226. Which is smaller: a or 0?
a
Suppose -2*b + 82 + 92 = 0. Let r = 345/4 - b. Let z be (-1)/3*(-3)/(-1). Are z and r non-equal?
True
Suppose 2*d + 6 = 4*f, 0*d + 3 = 5*d - 4*f. Let c(j) = -2*j + 5. Let b be c(d). Is -1 not equal to b?
False
Suppose -15 = 2*p - 3. Is p > -24/5?
False
Suppose -2*v = -j + 13, 0 = -3*j - 0*v + 4*v + 33. Suppose j*r = 3*r. Is 0 at most r?
True
Suppose 3*z = 2*b - 19, -2*z - 5*b + b - 2 = 0. Let r be z*(-2)/12*-2. Which is greater: r or -3?
r
Let f = 3/17 + -26/51. Let l = 7 + -6. Which is greater: f or l?
l
Let f = 0.03 - -1.97. Let k be 1/(-1*1/1). Let j be ((1 - k) + -3)*0. Which is smaller: f or j?
j
Suppose 3*y = 4*g - 16, -5*g + y = -7 - 2. Suppose -2*n + 4 = 3*v + v, -v - 5 = -n. Is g smaller than n?
True
Suppose 2*l - 2*b - 18 = 6*l, 2*l = -3*b - 19. Let w(x) = 2*x - 25. Let m be w(12). Which is smaller: m or l?
l
Let m be 5/((-15)/12)*-1. Suppose -5*l = -m*j + 7, -3*l - 1 = j - 5*j. Let f = 3 + -5. Are f and j non-equal?
False
Let o(c) be the third derivative of 2*c**2 + 2/3*c**3 + 0 - 1/24*c**4 + 0*c. Let w be o(6). Is w greater than or equal to -2?
True
Let h = -114 - -1025/9. Which is bigger: h or 0?
0
Suppose 10 = -p + 3*p. Suppose -18 = -3*h - 5*x + 13, p*x = 2*h + 21. Suppose -11 = 3*t - 0*t + 2*k, -5*t - 29 = -h*k. Is -4 bigger than t?
True
Let s = -53 - -51. Which is smaller: -1 or s?
s
Let o = -447/88 + 60/11. Let y(k) = 2*k**3 + 34*k**2 + 34*k + 32. Let v be y(-16). Which is bigger: o or v?
o
Suppose -6 = -4*a - 2*t, 4*a + 0 = 2*t + 2. Suppose -i + 4*v = -v + 5, -5*v + 35 = 2*i. Suppose -3*b - 2*b = -i. Are b and a nonequal?
True
Let y = 113.3 - 108. Let z = 4.87 + 0.13. Let v = z - y. Which is smaller: v or 0?
v
Let z = 13 - 7. Let k = -1 + z. Is 1 > k?
False
Let g = -1.6 + 1.4. Is g >= 2/7?
False
Suppose 0 = -2*a - 8, 0 = 4*u - 3*a + 2*a - 4. Do u and -5/11 have the same value?
False
Let k(q) = q**3 - 8*q**2 - 7*q + 2. Let z be k(9). Suppose 20*s + z = 16*s. Which is smaller: s or -2?
s
Let u = -0.152 - -0.052. Is -11 at least as big as u?
False
Suppose -q + 5*q = -20. Which is bigger: 2 or q?
2
Suppose -2*f + 0 - 2 = 0. Let t = -58 - -58. Which is smaller: f or t?
f
Let w be (-1)/(-2)*48/(-84). Let g = 5 + -3. Suppose -2*n - 2 + 1 = 3*s, -s + g*n - 3 = 0. Is w at most s?
False
Let o be (-1)/5 - 9/5. Let w(c) = c**2 - 5*c + 1. Let m(z) = -4*z**2 + 21*z - 4. Let p(f) = o*m(f) - 9*w(f). Let l be p(3). Which is bigger: l or -2?
l
Let m = 6/5 + -41/30. Suppose 0*d = -3*d. Is d > m?
True
Let f = 30.94 - 31. Which is greater: f or -12/11?
f
Let r(c) = 13*c**2 - 3*c - 3. Let x be r(-1). Let m(f) = f**2 - 12*f - 12. Let n be m(x). Let z(q) = q + 8. Let b be z(-4). Is b <= n?
False
Suppose 0 = -w - 4*i - 35, -2*i - 84 = 3*w + 3*i. Which is bigger: w or -20?
-20
Let w = -101 + 101. Let p be (-2)/16*36/15. Is p greater than w?
False
Let x(f) = f - 11. Let i be x(9). Suppose -s = 2*s + 180. Let c be 26/s + 4/(-10). Which is bigger: i or c?
c
Let v = 15 + -28. Let s = v + 12. Is 2/13 less than or equal to s?
False
Suppose 2*m = -8 + 2. Do -0.07 and m have the same value?
False
Let z = -138 + 138. Let b = -77 + 387/5. Is z at most as big as b?
True
Let c = -24.4 - -25. Let l = -0.75 + 0.11. Let r = c + l. Are r and -2/7 unequal?
True
Let k(s) = -4*s**2 - 6 - 3*s - 6*s**3 + 2*s**3 + 3*s**3 + 10*s**2. Let c be k(5). Suppose 0 = -5*a + 4*r - 5, -3*a + 4*a = c*r + 15. Is -6 at least a?
False
Suppose -2*m - 4*k = k + 6, 15 = -5*m - k. Let h = m - -6. Which is bigger: h or 4?
4
Let u = -6 - -9. Let a be -3*u/(-9) + -2. Let i be (2 + a)*(4 + -3). Which is bigger: i or -1/4?
i
Let p be 1/84*177 - 2. Is -1 smaller than p?
True
Let c be (-12)/(-63)*(-6)/(-4). Which is smaller: c or 0?
0
Let y = 27 - 17. Is 9 less than or equal to y?
True
Let w(a) = -3*a**2 + 3*a + 3 - a**3 + a**2 + 1. Let o be w(-3). Suppose o*u + 3*f = 13, 11 = -4*u + 2*f + 3*f. Are u and 0 equal?
False
Let w = -27 + 15. Let h = 11 + w. Which is bigger: h or -2/5?
-2/5
Let k = 0.051 - 0.911. Let l = 0.9 + k. Which is smaller: l or 1?
l
Let f = 4 - 3. Let q = 