et b = l - -0.1. Which is smaller: b or 1/3?
b
Let n be (18/(-10))/(4/10). Let w = 5 + n. Let x = 194 - 1356/7. Do x and w have the same value?
False
Let a be (0 + -12)*5/10. Let g = 5 + a. Which is smaller: -2/21 or g?
g
Let b(j) = j**2 + 23*j + 19. Let s be b(-22). Let n = -8 + 12. Suppose 2 = 2*r - n*r. Which is smaller: s or r?
s
Let i(z) = -4*z**3 - z**2 - 2*z - 1. Let k be i(-1). Let x(y) = 7*y**2 - 2*y**3 - 4*y**2 + 4*y + y**3. Let s be x(k). Which is bigger: s or -1?
s
Let j = 1397/39 - 41/13. Let n = 33 - j. Is 0.1 greater than n?
False
Let t(z) = z**2 - 5*z - 6. Let i be t(6). Suppose 0 = 11*f - 8*f - 3. Is f < i?
False
Let v be ((-9)/(-21) + 0)/(-2). Let b = v + 5/7. Does 1/12 = b?
False
Let p be (-14)/6*(-18)/(-63). Which is greater: -2 or p?
p
Let w = 22744/8449 - 178/71. Let b = 8/17 - w. Which is greater: 0.9 or b?
0.9
Let c be ((-3)/18 + 0)*4. Let o = 9 - 6. Suppose 0 = o*m + 5 + 1. Which is bigger: c or m?
c
Let n = -13/28 + 5/28. Which is smaller: n or 1?
n
Let x(b) = -b + 2. Let q be x(0). Suppose 0*m + m = p - 1, -q*p + 5 = -5*m. Do m and 4 have the same value?
False
Suppose 4 + 5 = 9*o. Suppose i + 30 = -15. Let y = i - -136/3. Which is smaller: o or y?
y
Let c(i) = -3*i**2 - 19*i - 6. Let m be c(-6). Let v = 4 - 3. Which is greater: v or m?
v
Let i be (-20)/15*(-10)/8. Is i >= 1?
True
Let b be ((-4)/9)/((-2)/(-4)). Let w = -59/36 - b. Let o(k) = k**3 - 5*k**2 - 5*k - 7. Let a be o(6). Which is smaller: w or a?
a
Let z = 4 - 1. Suppose -4*o + 4 = -2*y, -4*o + o = 4*y + 8. Does z = o?
False
Let z(l) = l**2 - 8*l + 5. Let c be z(8). Suppose 3 - 28 = c*b. Let n be (2/b)/((-2)/(-10)). Which is smaller: -1 or n?
n
Let y = -1/687 + 3283/458. Which is bigger: 7 or y?
y
Let w = -15 + 15. Is 3/11 less than w?
False
Let q be (-2)/(-1) + (-2 - 2). Let d be (6/3)/(q/(-12)). Let l be -2 + -1 + d/3. Which is smaller: l or 2/39?
2/39
Let t(j) = j**3 - 34*j**2 - 3. Let n be t(34). Suppose -4*q - 10 - 2 = 0. Is n greater than q?
False
Suppose -6*k - 600 = 5*j - 4*k, -j + 3*k = 137. Is j smaller than -121?
True
Let m(b) = b**2 + 6*b + 1. Let f be m(-6). Let p be -2 + 0 - (-1 + f). Let j be (p/(-40))/((-2)/(-12)). Is 0 at least j?
False
Let t be -1 - ((-2)/4 + -1). Suppose 3*a - 32 = 4*i, -2*a + 0*a = 0. Let d = -6 - i. Is d > t?
True
Let g = 17/9 + -20/9. Are g and 6 unequal?
True
Let t = -20 - -29. Let k = t - 2. Is 0 bigger than k?
False
Let d = 456/13 - 8482/247. Is d bigger than 2?
False
Suppose 0 = z - 7 + 4. Let x(k) = -k - 2. Let g be x(-5). Is g less than z?
False
Let y(r) = -r**3 - 2*r**2 + r - 4. Let t be y(-3). Is t less than 2?
False
Let g = 0 - -0.06. Let h = 0.06 - g. Let d = -4/13 + 6/13. Is h smaller than d?
True
Let j be (9/6)/(6/12). Which is greater: j or -8?
j
Let v(n) = -n**2 - n. Let a be v(-2). Let k(l) = -l**3 - l**2 + l - 2. Let b be k(a). Let j = 191 - 1334/7. Do j and b have the same value?
False
Let c = 273 + -90. Let d be ((-2558)/(-14))/(1 + 0). Let r = d - c. Is r at most -1?
False
Let d(b) = -b**3 - 2*b**2 + 3*b - 4. Suppose 5*a - 5*t = -15, -3*a + 4*t - 10 + 3 = 0. Let f = -8 - a. Let l be d(f). Is l > -3?
False
Let p be (0 + 0/2)/(-1). Let t = -5 + 8. Suppose p*l + 3 = t*l. Does l = -1/8?
False
Suppose -2 = -2*i - 0*i. Let v be 7 + i + -5 + 1. Let d(j) = -j**2 + 2*j + 5. Let r be d(v). Which is smaller: -4 or r?
-4
Let t = -25 - -24.91. Which is bigger: 1/8 or t?
1/8
Suppose 5*k - 19 = -4. Let m = -1/2 - 0. Is k less than m?
False
Let l be 6/(-9) - (-14)/12. Let b = -11 - -15. Which is greater: l or b?
b
Let u be -2*2*(-2)/8. Let y be -3 - (0 - (-48)/(-15)). Which is greater: y or u?
u
Let w = -137/140 - -30721/420. Let y be -1 + (2 - 2) - 71. Let v = y + w. Is 0 at least v?
False
Let o(a) = a + 4. Let m be o(4). Let u = m + -4. Is 5 greater than u?
True
Let a(u) = -u**2 - 9*u + 10. Let s be a(-10). Is -3/11 smaller than s?
True
Let w = -1.1 - -1. Let y = w + -0.9. Let o = y + 1. Is -0.1 at most o?
True
Let g = -0.8 + 0.6. Let d = 2.5 + -1.3. Let t = g + d. Is t smaller than 1?
False
Let d = -6.3 - -6.2. Is 1/5 at most d?
False
Let j = -1/2 - 1/6. Do j and -1/7 have the same value?
False
Let u = -16 + 24. Let f(p) = -p**2 + 8*p - 2. Let i be f(u). Is i not equal to -2?
False
Let q(t) = t**2 + 6*t - 4. Suppose 0 = 2*v + v + 18. Let a be q(v). Let c = -62 - -62. Is a > c?
False
Let x = 22 + -108/5. Is x < 0?
False
Let r = -5 + 2. Suppose 3 = -h + 1. Is r >= h?
False
Let p = -7 - -9. Suppose 4*m + 17 = -o, 1 + 6 = o - p*m. Is -1/7 != o?
True
Let b = 98 + -1373/14. Which is smaller: 0.1 or b?
b
Let u(q) = -q**2 - 8*q - 5. Let a be 2 + (-19 + 1)/2. Let d be u(a). Suppose -5*h = d*c + 16, 2 = -2*h - 2*c - c. Is h bigger than -3?
False
Let v be 7/(-3) - 4/6. Is v not equal to -3?
False
Let g(f) = f**2 - 8*f - 7. Let a be g(9). Let o = -1/45 + -839/45. Let c = 239/12 + o. Which is greater: a or c?
a
Let l = -19 - -138/7. Let p = 8/7 - l. Which is smaller: p or 0?
0
Let d be ((-2)/(-3))/((-12)/(-90)). Is d <= 6?
True
Let m = -710/3 - -234. Which is smaller: -2 or m?
m
Suppose c - t + 3 = -6*t, t + 7 = 3*c. Suppose -2*w - w + 6 = 0. Is c < w?
False
Let r = 0.04 - 0.03. Let a = r + -1.01. Which is smaller: -0.03 or a?
a
Let c be (24/54)/(4/(-722)). Suppose 0 = l + 1 - 5, -2*g + 140 = -5*l. Let d = g + c. Which is greater: d or 1/5?
1/5
Let a(d) = -d**3 + 6*d**2 + 8*d - 5. Let p be (-51)/(-7) - 4/14. Let g be a(p). Let m = 45 + -133/3. Which is smaller: m or g?
m
Suppose 3*b - 9 = 4*b. Let q = b - -11. Suppose -a = q*a + 3. Which is smaller: a or -1/2?
a
Let s = -321/364 - -11/13. Let d = s + 19/140. Which is bigger: -0.1 or d?
d
Let p be ((-10)/6)/(85/(-34)). Which is smaller: 0 or p?
0
Let j be 3 - (-3 - (-2 - 2)). Which is bigger: 6 or j?
6
Let y(q) = -q**3 + 9*q**2 - 2*q + 12. Let h be y(9). Let g be 3/h*1*0. Let o = 12 - 73/6. Is o at least g?
False
Suppose -7*i = -3*i + 4. Let w be -11 - -11 - 10/12. Is i smaller than w?
True
Let q(s) = s**2 - 9*s - 10. Let r be q(10). Suppose 0 = -3*j + 2 + 4. Suppose 0*o + j*o + 4 = r. Are o and -1 nonequal?
True
Let a = 66 - 65. Which is smaller: 4/3 or a?
a
Let g = -109 + 133. Is 23 <= g?
True
Let d = 19 + -11. Let w = d + -6. Suppose -g - g = -w. Is g greater than or equal to 0?
True
Suppose -8 = 4*z - 3*z. Which is bigger: -5 or z?
-5
Suppose 2*v = 3*v + 1. Let o be v - 3*4/(-8). Does -0.02 = o?
False
Let x = 2 + -1. Suppose 3*s - x + 4 = 0. Let c = 14.2 + -14. Which is smaller: c or s?
s
Let p = -9.579 + -0.021. Let k = -9 - p. Let w = 0.5 - k. Are -2 and w equal?
False
Let h = 21 - 20. Is 0 at least h?
False
Suppose -4*b + 130 = b. Let q be (-1)/(-4) + b/(-40). Let j be ((-35)/4)/5 + 2. Is q equal to j?
False
Let d(o) = -o**2 + 8*o + 2. Let i be d(8). Let r be (0 - -2) + i*-1. Suppose 2*j + r + 12 = 0. Which is smaller: -5 or j?
j
Let v(m) = -m**2 - 5*m - 4. Let p be v(-3). Let o(b) = -b + 11. Let c be o(8). Suppose -2 - 4 = -c*z. Is z > p?
False
Let g(c) = 11*c + 1. Let w be g(1). Suppose r + w = 4*r + f, -3*r - 2*f = -9. Let k = 4 + 0. Which is bigger: k or r?
r
Let o be 0 + (8/(-1) - -1). Let w = o - -4. Does w = -2?
False
Let x be (-15)/(-10)*(-32)/(-54). Let c = x - 23/36. Which is smaller: -1 or c?
-1
Suppose -4*p + 0*p + m = -13, 4*m + 10 = 2*p. Suppose -t - p = -1. Suppose -4 = -0*y + 4*y. Does t = y?
False
Let i be ((-4)/6*(-6)/38)/1. Let w = 0 - -1. Which is smaller: w or i?
i
Let l be 1 - ((-30)/(-16) - 1). Let w = 10 - 14. Let m = w + 4. Is m < l?
True
Let r be 3/(3 - 27/8). Are -7 and r nonequal?
True
Let c(j) be the second derivative of j**3/3 + 5*j**2/2 - j. Let s be c(-4). Is s smaller than -5?
False
Let a = 1/10 - -17/30. Let p = 0.4 + -0.6. Let d = p + 0.3. Which is bigger: d or a?
a
Let b = -1 + 1. Let a = -1.25 + 1.45. Which is smaller: b or a?
b
Let m = 1.3 + -0.8. Let y = m - 0.51. Let k = y - -0.21. Which is bigger: -2 or k?
k
Suppose -4*h + q = 8, 3*h + 1 = -3*q + 5*q. Is -3 at most as big as h?
True
Let q(w) = w**2 + 8*w + 7. Suppose 4*i = -0*i + 20, 0 = -5*u - 3*i - 20. Let j be q(u). Is j > -1/11?
True
Let z be 9/(-36) - (-254)/(-24). Let b = 11 + z. Is -1 smaller than b?
True
Let i be 17/(-34) - (6/4)/3. Is -11/6 less than or equal to i?
True
Let c(w) = -2*w - 20. Let r be c(-10). Let x = -123/2 - -59. Which is greater: x or r?
r
Let t = 1