et w be (-3 - (-47 - -5)) + 0. Is -1 >= w?
False
Let j = 1.05 - 1.15. Is j greater than -22?
True
Let o be (-30)/(-12)*17656/55. Let i = o - 802. Is i > 2?
False
Let k be (-11)/22*6/(-3). Let m = 7 - 4. Is k <= m?
True
Let p = 6 - 3. Suppose 0 = 3*j + p*c - 3 - 0, 3*c = -j - 1. Suppose -2*t - 2*t = 0. Is j < t?
False
Suppose -24 + 8 = -4*k. Let d = k - 0. Suppose 2 = -3*s - d. Is s >= -2?
True
Let o be ((-15)/(-20))/((-33)/48). Suppose 4*n + 5 = -n. Is o at least as big as n?
False
Let y be (0/2 - 0)*1. Suppose -o - 5*a + 5 = 0, -3*o = -2*o + a - 1. Is o not equal to y?
False
Suppose -2*f - 4*p + 4 = 0, -5*f - 2*p + 4*p + 10 = 0. Suppose 0 = 3*t + f*t + 15. Is t smaller than -3?
False
Let f = -6 - -8. Suppose p = -f*p - 30. Let y be p/(-3) + (-5)/15. Is 3 greater than or equal to y?
True
Let n be 24 + -8 - (-6)/2. Are 18 and n nonequal?
True
Let j(b) = b**2 + b - 2. Let z be j(0). Let n = z + 8. Suppose -c - 4 = 0, -2*q + 3*c = 4*c + n. Is 1 at least as big as q?
True
Suppose -2*w - 2*n + 13 = -1, 0 = -w - 3*n + 13. Let a be (-4)/1 + -3 + w. Which is bigger: -2 or a?
-2
Let d = 0 - 4. Let q be (3/(-6))/((-1)/d). Let y be (-2)/9 - q/9. Which is smaller: y or -2?
-2
Let m = -688 - -691. Let h(f) = 2*f - 7. Suppose 3*s + w = 14, 0 = 4*s - 3*s + 3*w - 2. Let p be h(s). Are p and m equal?
True
Suppose -3*t = -t. Is t bigger than 10/13?
False
Let w = 0.1 - 0.2. Suppose -4*b = 2*r - 7*r - 31, 5*b + 4*r = 90. Let g be 17/(-14) - 4/b. Is g greater than w?
False
Suppose -14 = -3*l + 5*l. Let g(j) = j**2 + 11*j + 13. Let o(x) = -x**2 - 10*x - 12. Let y(a) = -2*g(a) - 3*o(a). Let c be y(l). Is 3 < c?
False
Suppose -15 + 21 = 6*w. Let t be (2/4)/(18/4). Which is smaller: t or w?
t
Let b = 23 - 18. Is 6 smaller than b?
False
Let u(n) = 2*n + 3*n + 0*n - 3*n. Let q be u(-1). Is q less than -2?
False
Let c(i) = -i**3 + i**2 - 1. Let f(m) = m**3 - 5*m**2 - m + 4. Let t be f(5). Let o be c(t). Which is bigger: 2/9 or o?
o
Let h = 8 - 5. Let k = 34 + -32. Which is greater: h or k?
h
Suppose 0 = -5*o - 3*t + 15, 9 = 2*o - 3*t + 3. Suppose 4*u + 2*v + o*v + 38 = 0, -v = u + 10. Are u and -12 nonequal?
False
Let m be -1 - (-3 + -1 + 4). Is -1 >= m?
True
Let p = -61023/190 - -1927/6. Which is smaller: 0 or p?
p
Let u = -3 - -2. Let q = 1.31 - 0.21. Let h = 1 - q. Is h > u?
True
Suppose 2*s = -4*t - 0 - 2, t + 3*s = 7. Let m be t/(-10) - 6/30. Is -8 smaller than m?
True
Suppose 2*l - 12 = l. Suppose 4*b - b = l. Does 2 = b?
False
Suppose 2*k - 4 = -0*k. Let c = k + -3. Is -2/11 at least as big as c?
True
Suppose 18 = 3*f - 12. Let g be 1/(-2) - 1/f. Let m = 104/3 + -35. Do g and m have the same value?
False
Let d = 5317/291 - -6/97. Is 17 at most as big as d?
True
Let s be ((-2)/(-2))/(13/2). Let g(f) = f**3 - 7*f**2 + 7*f. Let a be g(6). Let z(x) = x**2 - 5*x - 5. Let v be z(a). Is s < v?
True
Let w = 8.9 - 9. Which is bigger: 6 or w?
6
Let p = -84 + 87. Is p < 6?
True
Let n be 18*(0 - (-2)/6). Let i be (4/n)/((-16)/(-30)). Is 0 equal to i?
False
Let s be (((-33)/(-4))/1)/((-33)/132). Is -31 greater than or equal to s?
True
Let k(q) = 3*q**2 - q + 2. Let x be k(1). Suppose -g - x*g = 75. Is -15 greater than g?
False
Let h be 18*(-1)/2*-1. Let a(l) = l**3 - 9*l**2 + l - 9. Let v be a(h). Which is greater: v or 4/5?
4/5
Let d = 0 + -8. Let n be d/(-58)*(-4)/(-8). Which is smaller: n or 0?
0
Suppose 2*i - 2 = 4*d, 7*i = -4*d + 3*i + 4. Suppose -w + 2*w - 5 = d. Let l = w + -1. Is l <= 4?
True
Let j = 31 - 32. Is j > 4?
False
Let q = 11 + -10.2. Let b be (-1)/4 - 6/(-12). Is q at most as big as b?
False
Let l(q) = q**2 + 4*q - 3. Let a be l(-5). Suppose -n - a*n = 0. Which is bigger: n or 2?
2
Let v(n) = -n**3 - 5*n**2 + 3*n - 2. Let z be v(-6). Let r be (-6)/(-4)*z/6. Do 4 and r have the same value?
True
Let m = -0.1 + 0.9. Let b = 1.2 + -0.2. Let f = b - m. Is 0 greater than f?
False
Let d = 2578/15 - 172. Are d and -4 unequal?
True
Let c = 2 + -2. Let o = 134/171 + -1/171. Let s = -1 + o. Which is greater: s or c?
c
Let c be 7 - 4 - (-1 - -2). Suppose 0 = -c*z + z. Which is smaller: z or 2/15?
z
Suppose 5*x + 4*n - 3*n + 21 = 0, 0 = 3*x + 3*n + 15. Let g be 40/(-25)*(-1)/x. Let v = 0 - -1. Does v = g?
False
Suppose 2*u - 3*k + 21 = 0, 1 + 14 = -u + 3*k. Suppose -18 = 4*o - 2*s, -2*o - 19 = 4*s + 15. Are o and u nonequal?
True
Suppose l - 7 + 3 = 3*n, -2*l + 4*n = -4. Let k = 0 - l. Is k at least 2?
True
Let x(s) be the second derivative of -2*s**4/3 + s**3/6 - 3*s. Let a be x(1). Let t be 1/3*(-3)/a. Is t < -1?
False
Let a(t) = -t - 3. Let p(h) = 4. Let d(y) = -3*a(y) - 2*p(y). Let b be d(-2). Are b and -4 nonequal?
True
Suppose -5*h - 7*t = -3*t + 17, 2*t = -4*h - 10. Let b be (-3)/(6/(-38)) - h. Let s be 5*-2*(-6)/b. Do 2 and s have different values?
True
Let v = 32 + -33. Is v <= 4/23?
True
Let n = -3/3176 + -350151/3176. Let m(r) = r**3 + 4*r**2 - 4*r - 1. Let f be m(4). Let g = n + f. Which is bigger: g or 0?
g
Suppose q - 2*y + 20 - 3 = 0, -85 = 5*q + 4*y. Which is greater: -19 or q?
q
Suppose 5*b = -5 - 0. Let z be ((-2)/14)/((-24)/(-252)). Which is smaller: z or b?
z
Suppose -4*c = 3*p + 15, 5*c + 5 = 2*c - p. Let o = -6 - c. Let b be 4/o - 2/6. Is -1/2 greater than b?
True
Let a(y) = -y. Let f be a(-5). Suppose 0 = 4*c - f*c + 7. Is c less than or equal to 8?
True
Let x = 477.27 + -482. Let u = -0.78 - x. Let r = -0.05 - u. Which is smaller: -1 or r?
r
Suppose -5*g - 6*n + 30 = -2*n, g - 3*n + 13 = 0. Is g at most 10/17?
False
Suppose 14*f + 72 = 212. Is f greater than 13?
False
Suppose 5*h = 2*v - 8, v = -3*h - 3*v + 16. Suppose -3*b + s + 3 - 1 = 0, 2*b = -2*s + 12. Suppose 2*i + 4 = -b*i, 3 = -t - 4*i. Is t equal to h?
False
Let u be (-5)/2*(-42)/35. Suppose -u*g + 1 = -8. Let l be 0 + -2 - (-8 + g). Are l and 3 equal?
True
Let d be (-5 + 8)/(-6)*(-42)/(-15). Which is bigger: -1 or d?
-1
Let r(h) = h + 4. Let a be r(-5). Let w = a - -5. Suppose 0*m = -m - w. Are m and -4 equal?
True
Let w(c) = -4*c**2 + c + 6. Let g be w(-4). Are g and -62 unequal?
False
Let u = 6.9 - 1.9. Let d = 5.2 - u. Which is bigger: -0.3 or d?
d
Let j = 14 + -12. Is 14 greater than or equal to j?
True
Let s = 12 - 6. Let p(l) = 3 - 1 + l - s + 3. Let u be p(1). Does 1/8 = u?
False
Let z = 509 - 1460/3. Let j = -23 + z. Is -2 at least as big as j?
False
Suppose 0*p = 4*p + 4. Let x be p*(-2)/(-4)*0. Let n = 105/4 - 27. Which is smaller: n or x?
n
Suppose -2*f + 5*j = 1, -2*j - 2 = -4*j. Let h be 1/4*(10 + -4). Which is bigger: f or h?
f
Let k be 11 + -9 - (-3)/((-3)/2). Which is bigger: 1/19 or k?
1/19
Let v = 1.2 - -10.8. Let b = v + -12. Is b > -14?
True
Suppose -3*p - 5 = 1. Which is bigger: p or -1?
-1
Let k(g) = g**2 + 5*g - 3. Let f be k(-6). Let l be (2 - 5)/(f/(-2)). Let t = 7/5 + 1/10. Which is smaller: t or l?
t
Let i = 5 - 53. Is -0.1 at least as big as i?
True
Let a = -0.27 + 2.17. Let f = a + -1.8. Is 0.3 <= f?
False
Let i be 1/(-4) + 54/24. Suppose d - 3 = i. Which is bigger: d or 4?
d
Let t be (4/12)/((-1)/(-45)). Let q = -11 + t. Suppose 5*a - 3*w = -3, -5 = 3*a - w - q. Which is smaller: a or 1?
a
Let t = 48 - 36. Which is greater: t or 8?
t
Let d = 4 - 4. Is 3 less than or equal to d?
False
Suppose -2*p = 2*l + 10, p = 5*l - p - 10. Let g(x) = -x**3 + x**2 + 2. Let j be g(l). Let t be (8/6)/(4/6). Is t < j?
False
Let j = -13 + 13. Let m be 2/15*3 + 0. Are m and j unequal?
True
Let p = -1358/45 - -152/5. Is 1 bigger than p?
True
Let h = -28.87 - -29. Let z = 1.13 - h. Is z bigger than -0.09?
True
Suppose 4*h - 261 = -4*q - q, -q + 53 = h. Let j be 0/(-2) - (-21)/q. Which is smaller: 1 or j?
j
Let l = 5 + 2. Suppose -2*a + l*a = 0. Which is smaller: a or 1/16?
a
Let q be -7*2*1/(-7). Let c = 3 + -1. Suppose 3*z - q*s + 1 = 0, c*z - 8 = -5*s + 23. Are 1 and z nonequal?
True
Suppose -1 = 2*c + 7. Which is smaller: c or -1/2?
c
Let t = 55 + -85. Are -1 and t nonequal?
True
Let p = 82 + -81.5. Let s = -4 - -3. Which is bigger: p or s?
p
Let u = -3 - -1. Let o = u + 1. Let y be ((-11)/132)/(5/8). Is o at least as big as y?
False
Let d = 310/3 + -104. Suppose 0 = 4*v - o + 4, -2*v - o + 12 = 2*o. Which is greater: v or d?
v
Let c be (-1 - -3)*35/(-10). Let x = c + 9. Suppose 5*d = -4 + 29. Which is smaller: x or d?
x
Let q = 0.44 - 0.04. Which is smaller: 0 or q?
0
Le