 j(8). Is q at least as big as -1/10?
True
Let i be 38/247 + (-88)/26. Are i and -4 nonequal?
True
Let l be (4/6)/(12/(-108)). Let k = l - -8. Which is bigger: -0.2 or k?
k
Let i = 0.04 + 0.03. Let u = 0.57 - i. Let b = 0.6 - u. Is b > -4?
True
Suppose -4*s - 14 = -2*j, 3*s - 3*j + 4 = -14. Which is greater: s or 1/42?
1/42
Let f be (15/(-9) + 1)*-6. Suppose -4*q - u - 27 = 0, 2*q + f*u = 5 - 1. Is q not equal to 1?
True
Let c be (11/((-11)/6))/(-4). Which is bigger: 1 or c?
c
Let u be -2 - 1/(1/(-2)). Suppose 0 = -4*l + 5*n - 11 + 28, l - 2 = -n. Suppose -7*r + l*r - 4 = -v, 5 = -5*r + 2*v. Which is greater: r or u?
u
Let l be (-18)/(-81) - (-70)/(-234). Suppose 0 = w + 5*b - 0 + 15, 0 = 4*w - 4*b - 12. Which is greater: l or w?
w
Let x = -14 + 14. Is x equal to -1?
False
Suppose 0 = 5*l - 2*l - 9. Is l at most as big as 18/11?
False
Let w be 2/(-1 - -4 - (-9 + 10)). Let q = 6/41 + 4/533. Which is smaller: w or q?
q
Let u = -15 + 0. Let y = -10 - u. Which is bigger: y or 6?
6
Let z be 32/40*15/(-2). Which is greater: -7 or z?
z
Let u(p) = p**2 + 6*p + 2. Let r be u(-6). Suppose 3*c - 17 = z, 5*z + 19 = c + r*z. Which is greater: c or 0?
c
Let q be (150/(-90))/(1/(-3)). Let o be (6/20)/(3/4). Is o bigger than q?
False
Let u = -5 + 4. Let t(i) = i**3 + 4*i**2 - i - 5. Let r(d) = d**3 - 5*d**2 + 2*d + 4. Let a be r(4). Let o be t(a). Is o greater than u?
False
Let f be (-8 - -10) + (-2 - 0). Are f and 1 non-equal?
True
Let y be (-1)/4 + (-60)/16. Suppose -8 = -3*x + 4*l, -3*l - 2*l = 3*x + 37. Is x at least as big as y?
True
Let n = 7 - 7. Is -11 at least as big as n?
False
Let f be -12 + -7 - (0 - 3). Let n = -9 - f. Does n = 7?
True
Let p = -257/3 + 86. Is p != -36?
True
Let r(y) = -y**3 - 4*y**2 - 2*y - 2. Let t be r(-4). Let x be ((-2)/t)/((-2)/18). Let w be -2*(-3)/(x*-1). Is w less than or equal to -2?
True
Suppose 5*b - 11 = -1. Let r be 3 - (4/(-2) - -5). Suppose r*a - 2*a + 4 = 0. Is a >= b?
True
Suppose -j - 20 = -3*a - 2*a, 0 = 5*j. Let x be (a/(-6))/(14/(-63)). Which is smaller: 2 or x?
2
Let x = -340/1611 - 2/179. Is x greater than 0.16?
False
Suppose -4*d = -2*r + 8, 4*r + 3*d = 5*r - 4. Which is greater: r or 22/7?
r
Let d(i) = i**2 - 2*i - 2. Let g be d(3). Suppose -5*w + 3*w + 16 = -2*p, 4*w - 5*p = 37. Let c be (-78)/24 + w*g. Which is greater: c or -1?
c
Let k = 1 - 0. Let m = -0.2 + -1.8. Which is greater: m or k?
k
Let h be (-4)/6*5/(185/3). Which is greater: 1 or h?
1
Let j = -2.7 - -3.7. Is j >= 0.2?
True
Let d = 0 - 3. Let w = 2.8 + d. Let t be 0 - (-1 - 0/1). Does t = w?
False
Let o(p) = -2*p - 8. Suppose 29 = -5*f + l, -l - 1 + 12 = -2*f. Let z be o(f). Is 4 smaller than z?
False
Let w be (-3)/8*84/18. Is -1 at least as big as w?
True
Let p(l) = l**3 - 2*l**2 - 2*l - 4. Let t be p(3). Let h be 3/((-9)/(-12)) - t. Suppose 11 = h*s - q, 2*s - 5*s + 5 = q. Is 2 smaller than s?
False
Let g be (-66)/(-18) - 4/6. Suppose g = -f - 6. Let a be ((-3)/(-2))/(f/(-24)). Is -1 > a?
False
Let a = 10.03 - 0.03. Let t = 9.9 - a. Which is smaller: t or 0.2?
t
Let a be 1/2 + (-6775)/90. Let l = -75 - a. Which is greater: l or 6?
6
Let l = 0.35 - 0.2. Let k = l - 9.15. Let j = 5 + k. Which is bigger: -0.1 or j?
-0.1
Let g = 31 - 34.8. Let t = 4 + g. Let v(f) = -f**3 + 6*f**2 - 6*f + 7. Let o be v(5). Is o at most as big as t?
False
Suppose 0 = 4*z + r + 101, -6*r + 120 = -5*z - r. Which is smaller: z or -24?
z
Let p = 344/3 - 116. Is p < -2?
False
Let x be (3 - (-1258)/7)*1. Suppose s = m - 2*s + 171, 4*s = 2*m + 350. Let b = m + x. Which is bigger: b or -1/4?
-1/4
Let a = -7.1 + 0.1. Let g = a + 7.3. Is 0.1 smaller than g?
True
Suppose -6*c - 26 = -8*c. Is c at most as big as 13?
True
Let p = 17.3 + -15.29. Let a = p + -0.01. Let m = a + -1. Which is greater: 0 or m?
m
Let w = -1353/7 - -193. Which is smaller: 11 or w?
w
Suppose -3*n + 6 = 3*n. Is n bigger than -2/37?
True
Suppose 3*w = 2*w - 1. Which is smaller: w or -1/8?
w
Suppose 4*o - l - 28 = -5*l, -l - 18 = -4*o. Let x = 8 - o. Suppose 0*n + x*n - 31 = -5*w, 0 = -2*n + 4. Which is greater: w or 4?
w
Suppose 0 = -6*f + f - 25, 4*b + 4*f = -64. Is -10 >= b?
True
Let u be -3 - -7*(-2)/(-5). Do 4/7 and u have the same value?
False
Let v(c) = -c**2 - 12*c - 12. Let t be v(-11). Is t less than or equal to -1/220?
True
Suppose 47 = -4*v - 9. Let c be (-16)/v + 6/(-6). Is -1 smaller than c?
True
Let p = 1/6 + -1/15. Let q = -215 + 215. Is p less than q?
False
Let m(c) = -c**2 + 7*c - 6. Let z be m(5). Suppose 0 = z*l - 2*i + 2 - 6, 0 = -3*l + i + 1. Let a(h) = -h**2 + 5*h. Let v be a(5). Does l = v?
False
Let r be -5*(-3 + 48/20). Is 5/2 less than or equal to r?
True
Let b = 419 + -882. Let q = -7873/17 - b. Which is smaller: q or 0?
q
Let r(f) = 3*f. Let a be r(1). Let k = a + 3. Suppose 0 = -0*t - 3*t - k. Which is bigger: t or -3?
t
Suppose 182 = 2*c + 3*c - 4*v, 200 = 5*c + 5*v. Which is greater: c or 39?
39
Let l = 4738/5 - 944. Let g = l + -16/5. Let q = 0.08 + 0.22. Which is bigger: q or g?
g
Suppose -5*y + 2*y + 9 = -3*t, -5*t = 3*y + 15. Let v be (-4)/10 + 1/15. Which is bigger: v or y?
y
Let u = 16368316/123 + -133075. Let z = u - 3/41. Let s(a) = a**2 - 6*a. Let d be s(6). Is z greater than d?
True
Let l = 9 - -2. Let k = l + -12. Which is smaller: -2 or k?
-2
Suppose -6 = 4*c - 3*j + 4*j, 3*c = -4*j - 11. Is -7 bigger than c?
False
Let g = 28 + -24. Which is smaller: g or 3?
3
Let d = -4/21 - -11/21. Let j = -3 + 2. Which is greater: d or j?
d
Let l = -16 + 19. Let t be 2 + ((-33)/(-21) - l). Suppose 3*p + 2 + 0 = m, 5*p - m = 0. Which is greater: t or p?
p
Let a = -9 + 8. Which is greater: -2 or a?
a
Let d = -92/5 - -19. Let i = -1 - -3. Let f = i - 2. Which is smaller: f or d?
f
Let w be (-13)/(-2 - 15/(-8)). Let h = w + -413/4. Are h and -1/4 non-equal?
True
Suppose -5*m - 19 = 36. Which is greater: m or -12?
m
Let x be (6 - 4)*-1 - -22. Is 17 equal to x?
False
Let d = -0.54 + -0.16. Let w = d - 0.3. Let n = 157/2 + -78. Does w = n?
False
Let t = 0.66 - 0.16. Let k = t - 0.4. Which is smaller: k or -0.2?
-0.2
Suppose -7*x - 35 = -0. Which is smaller: x or -14/3?
x
Let x(v) = -v**3 + 18*v**2 + v - 11. Let i be x(18). Which is smaller: 8 or i?
i
Let v = -17 - -23. Let h = -5 + v. Is -11 at least as big as h?
False
Let x = 0.31 - 2.31. Which is smaller: 2/25 or x?
x
Suppose 0 = 3*b + 17 - 5. Are -5 and b non-equal?
True
Let h(s) = 2*s**2 + 5*s - 2. Let b be h(-4). Let g = 9 - b. Are g and 0.04 unequal?
True
Suppose -14 = -n - 0. Let a be (-2)/7 - (-130)/n. Suppose 5*o = 1 + a. Is o greater than or equal to 2?
True
Suppose -5*j + 8*j = 48. Which is smaller: j or 17?
j
Let u = -4 - 17. Let x = u + 21. Are x and 7/5 nonequal?
True
Let b(w) = w**2 - w + 3. Let r be b(0). Suppose -r = 5*d - 13. Let s(t) = -t**3 + t**2 + 2*t - 1. Let u be s(d). Does -2/11 = u?
False
Let c = 130/3 - 43. Let v(m) = -2*m**3 - 7*m**2 + m - 13. Let y be v(-4). Which is smaller: y or c?
y
Let b = 0.8 + -0.3. Let f = b + 0.7. Which is greater: f or -1/4?
f
Let m be (-13)/26 + 86/4. Is m smaller than 21?
False
Suppose -4*s - 3*o = 0, -s - o = -2*s + 7. Suppose -s*i + 4*g + 16 = 0, 3*i - i + 2*g = 6. Is 5 less than or equal to i?
False
Let p = 19 - 4. Suppose 0 = -0*j - 3*j + 15, 0 = 4*h - 3*j + p. Which is smaller: h or 2/7?
h
Let c = 20 + -6. Let d be (-22)/c + 0 + 2. Which is smaller: -1 or d?
-1
Let x be 3*(-28)/(-384)*6/28. Is x bigger than 1?
False
Suppose 0 = -3*g - 4*d - 12, -6 = -5*g + d + d. Suppose 0 = -2*y - g*y + 2. Are 2/19 and y nonequal?
True
Let o be (-12)/(-18) + 2/(-3). Let j be -1*(1 + -1 - 1). Which is smaller: j or o?
o
Suppose 0 = -v + 4*v - 12. Let d = 0 + v. Let p = -2 + d. Is p less than 1/2?
False
Suppose -4*r = -0*g + 3*g, -r = -4*g - 19. Let m(c) = c**3 + 6*c**2 + 5*c + 3. Let p be m(-5). Are r and p nonequal?
False
Suppose -17 = -4*q - 1. Suppose -5*j + 3*j + q = 0. Let b(k) = -k**3 + 6*k**2 - 5*k + 2. Let f be b(5). Is f greater than j?
False
Let y = -8.2 + 0.2. Let c = 8 + y. Let t = 5 + c. Is 0 > t?
False
Let r = 43486/104951 - 2/3619. Which is smaller: r or 0?
0
Let q be 6/24 + 642/(-8). Let m = q + 556/7. Which is smaller: 0 or m?
m
Suppose 0 = -2*p + 7*p - 10. Suppose -o + 1 = v, o + p*o - 7 = -v. Is -2 equal to v?
True
Suppose -h + 2 = -0. Suppose y - h*y = 3. Is y s