 greater: 1/163 or a?
1/163
Let k = -16 - -11. Let h = k - -4. Is h <= -1/4?
True
Let m be (-3)/(6/2 - 2). Let g be (m/(-9))/((-3)/(-81)). Which is smaller: g or 0?
0
Let j = 0.179 - -0.221. Is j at most 1/5?
False
Let s(x) = -x + 2. Let w be s(3). Let m be w/((0 - 8)/(-2)). Let h(j) = -3*j - 19. Let u be h(-6). Are u and m equal?
False
Let r(l) = -l + 6. Let d be r(5). Which is smaller: -2 or d?
-2
Let f = 44 + -72. Let j be 14/f + (-5)/(-2). Which is greater: j or 4?
4
Let b(t) = t**2 - 5*t**2 + 3 + 5*t**2 - 4*t. Let i be b(2). Which is smaller: -3 or i?
-3
Let h = 28/45 - -2/45. Which is bigger: h or -6?
h
Suppose -5*k = -3*f - 0*f + 20, -30 = -5*f + 5*k. Let r = -10 + f. Let j = r - -4. Is j at most -1?
True
Let x = 100 + -205/2. Let f = x - -41/18. Suppose -5 = -4*d + 3*s - 0, -s = 5*d + 8. Is f <= d?
False
Suppose 3*i - 14 = -v, 0*i + 22 = -i + 5*v. Suppose -i*p + 2*c = 8, 0 = -2*p + c + 2*c - 7. Which is greater: p or -1?
-1
Let r(w) = 2*w**2 + 11*w - 7. Let h be r(-8). Is h greater than or equal to 34?
False
Let o be -2 + -1*(-10)/6. Suppose 3*z + 4*y - 3*y = 0, 0 = 4*z + 4*y - 8. Does z = o?
False
Let r(d) = d + 12. Let m be r(6). Suppose m - 3 = 3*n, -p = -4*n + 21. Is p less than -2/7?
True
Let w = -7 + 3. Let a(m) = -m - 1. Let o be a(w). Suppose -4 = o*h - 13. Is 2 < h?
True
Let p be -3*4/(-24) - -3. Which is smaller: 5 or p?
p
Let j(v) = 3*v - 4. Let i be j(3). Suppose 5*a + 25 = 0, -4*k + 67 = -0*k - 3*a. Suppose 3*b + 4*d + d - k = 0, -33 = 2*b - i*d. Is -3 less than b?
False
Let m = -2 - 5. Which is greater: -8 or m?
m
Let c be ((-1)/(-2))/((-14)/8). Suppose 0 = 5*l - 3 + 8. Is l smaller than c?
True
Let p be 4/22 + (-14)/88*-2. Suppose 3*l + 17 = 5*b, -5*b - 8*l - 15 = -3*l. Let j be (-2 + 1)*(1 - b). Are p and j nonequal?
True
Let q = -0.61 - -0.27. Is 0 greater than q?
True
Let w be (-4)/(-5)*((-11)/2 + -2). Is -5 greater than or equal to w?
True
Let a be (-134)/190 - (-6)/10. Is a at least -1?
True
Suppose 0 = -4*y + w - 3*w - 4, -10 = 3*y - 2*w. Let p = 1 - 5. Let h = 0 + p. Which is smaller: y or h?
h
Let b = 64 - 75. Which is bigger: b or 3?
3
Let p = 0.06 + -0.12. Let b = -41 + 40. Which is bigger: p or b?
p
Suppose 0 + 1 = z. Let h be (z/3)/(2/6). Which is bigger: h or 10/3?
10/3
Let v = 17 - 24. Let u = 11 + v. Let b = 4 - u. Which is bigger: b or -1/4?
b
Suppose -4*q + x = 3*x + 4, -q - 6 = -2*x. Let b be q/(-7) + (-39)/14. Which is bigger: b or -4?
b
Let d = -3 - 0. Let f = d + 5. Let p = f - 2.2. Is -3 at most p?
True
Let s(b) = 3*b**2 + 1. Let j be s(-1). Let h be ((-3)/(-21))/(2/j). Is 3 greater than h?
True
Let o = 1.9 + -2. Let k = 1.1 + o. Let y = -36 - -250/7. Which is bigger: k or y?
k
Let j be (-22)/(-385)*10/(-8). Is -1 at least as big as j?
False
Let n = 12 + -8. Let h(w) = w**3 + 10*w**2 + 3. Let x be h(-10). Which is bigger: x or n?
n
Let g = 7502/171 + -392/9. Are 1 and g nonequal?
True
Let k = -43/95 + 2/5. Is k >= 1?
False
Suppose -96 - 124 = -10*c. Are 21 and c equal?
False
Let i = -1109/7 + 158. Let w = 1 - 0. Which is smaller: i or w?
i
Let w = 16 - 16.07. Let c = w + -0.03. Is c < 1/13?
True
Let w = -0.2 - -1.2. Let j = w + -0.8. Let b = 1.2 - j. Which is greater: b or 2?
2
Let j = 14.32 - 0.32. Let g = 12 - j. Is g not equal to -2?
False
Let n(w) = -w**3 + 4*w**2 - 4*w + 4. Let x be n(3). Suppose -h - 2*t = 6, h - 2*t + 5 = -x. Which is smaller: -7 or h?
-7
Let b be 28/5 + (-6)/(-15). Let r be (-9)/b*-2 - 2. Let u = -3/8 + 5/8. Which is smaller: u or r?
u
Let g(t) = -t + 7. Let v be g(7). Does -1/5 = v?
False
Let s = -229/339 + 1/113. Let x = -1 - -0.8. Is x less than s?
False
Let p = -4 + 12. Let t = 8.03 - p. Let w = t - -0.27. Is 1 less than or equal to w?
False
Let b(o) = -2*o + 19. Let v be b(5). Is 7 > v?
False
Let g = 0.1 + 0. Let a = 32.83 + -33. Let y = 8.17 + a. Does y = g?
False
Let v(i) = -i**2 + 5*i + 1. Let j be v(5). Let h = 5 - 2. Let o be 3/(-9)*h/1. Which is smaller: j or o?
o
Suppose 3*z + 2*z = -j - 25, -z - 5 = 0. Let l be -6*((-3)/60 - j). Let y = l + 1/30. Which is smaller: 0 or y?
0
Let z be 2 + (1 - (-3)/(-5)). Which is smaller: z or 1?
1
Let b(s) = s**3 - 3*s**2 + 2. Let o be b(3). Let l = 8 - o. Is l not equal to 5?
True
Let z = 29 - 7. Let f be 4/z + (-35)/11. Which is greater: f or -2?
-2
Let z = 269/36 - 29/4. Suppose 2*v = -v. Suppose f - c + 2 = v, 5*c - 8 = -2*f + 2. Which is greater: z or f?
z
Let z = -463/8 - -363/40. Let l be 0 - -50 - (-1 + 2). Let q = l + z. Is q greater than or equal to 0?
True
Let f = 0.646 - 9.516. Let g = -0.13 + f. Let i = g + 8.9. Which is bigger: i or 2/7?
2/7
Let o = 3 - 2. Let i = 4 - o. Suppose -2*d = -6, 2*x - 4 = d - 3. Is i <= x?
False
Let f = -29653360813/18125185 + 7/278849. Let x = f - -1636. Let p = 24/65 - x. Which is bigger: p or -1?
p
Let x = -80.3 - -81.3. Let w = -1065/476 + -3/238. Is x at least as big as w?
True
Let a = 11 + -4. Suppose 19 = 2*t + 2*r + 5, 2*r = 2. Is t equal to a?
False
Suppose 3*h + 20 = 65. Suppose 4*n = -o + 5*o, n + h = -4*o. Let b be 2/3*n + 2. Is b <= -0.3?
False
Let d = 0.05 - -0.35. Let f = 27 + -28. Let q = -1.1 - f. Which is bigger: d or q?
d
Let o be (-2)/(-3) + -1 - 48/(-36). Is 7/5 at most as big as o?
False
Let u be (2 + 0 - 3)*-101. Let k be ((-10)/9)/5*-454. Let t = u - k. Is -1 != t?
True
Let z = -18 + 18.1. Which is greater: 5 or z?
5
Let h = 17 + -28. Is -12 greater than h?
False
Suppose 3*b = 11 - 2. Is b not equal to 2?
True
Let f = -849 - -305. Let p be 6/27 - f/(-18). Let u be (1 + p/28)*-2. Which is smaller: u or -1/2?
-1/2
Let w = 48 + -42. Is -8 < w?
True
Let j(u) = u**3 + 6*u**2 - 7*u - 9. Let b be j(-7). Let t be 124/b - 8/36. Let z be t/(-3) + 1/3. Is z greater than or equal to 3?
True
Let w = 5.4 - 0.4. Let p = w + -9. Which is greater: p or 0?
0
Let l be ((-45)/12)/((-2)/(-8)). Which is smaller: l or -14?
l
Let i be -1*(-36)/(8/2). Does 8 = i?
False
Let l(r) = -2*r - 9. Let a be l(-7). Suppose -1 = a*p - 16. Suppose 2 = 2*i - v + 4, 4*v = p*i + 13. Are i and -1/4 non-equal?
True
Let d(c) = -c**3 - 8*c**2 - 7*c - 3. Let s be ((-7)/2)/(1/2). Let j be d(s). Let y = 1.05 - 0.95. Which is smaller: j or y?
j
Let g(r) be the third derivative of -r**8/10080 - r**7/2520 - r**6/720 + r**5/20 - r**2. Let v(p) be the third derivative of g(p). Let z be v(-1). Is 0 < z?
False
Let i(u) = -15*u**2 + 14*u - 10. Let t(h) = 7*h**2 - 7*h + 5. Let w(z) = 6*i(z) + 13*t(z). Let q be w(6). Are q and 0 unequal?
True
Let s(m) be the third derivative of -m**5/60 - 5*m**4/12 - m**3 + m**2. Let g be s(-7). Let r = g - 103/7. Which is greater: -2 or r?
r
Suppose 4*h = 5*v - 21, -5*v + 2*v = h - 16. Suppose v*i - 27 = 13. Is i at least 8?
True
Let m = -558/5 + 112. Let z be 0*(-3)/9 - -3. Let t be -3 + 3 + (z - 3). Is t <= m?
True
Let d be (-2)/(-4)*(-2)/1. Let a = 5 + d. Which is smaller: a or 3?
3
Let q be 238/(-20) - (-15)/(-150). Let s = 24 + -36. Are s and q non-equal?
False
Suppose 0 = 5*c - 317 + 27. Suppose 3*g + c - 193 = 0. Let o be (-10)/g + 7/(-9). Which is bigger: o or -1/2?
-1/2
Let g be (-24)/6*2/(-4). Is 5/3 < g?
True
Suppose 4*o + 5*b = 75, 5*o + 2*b - 98 = -0*o. Suppose 4*i - o = -x, -6*x - 4*i = -x - 20. Suppose x = -0*j + j - 1. Are 1/6 and j equal?
False
Let u(o) = 4 - 1 + 3 + 2*o. Let b be u(-10). Is -13 > b?
True
Let h = 51 + -8. Let l = h - 31. Let a = -27/2 + l. Which is bigger: a or -3?
a
Let p be (-2 - (-3 - 22))*1. Is p greater than 24?
False
Let q = 98 - 6568/67. Is 1 <= q?
False
Let u = 1.22 - 0.22. Is u smaller than 1/2?
False
Let a = -8 + 6. Let y be (2/18)/(a/(-4)). Which is smaller: -1 or y?
-1
Suppose -k + 2 = -1. Let a be (1/(-3))/(k/366). Let o = a + 41. Which is smaller: o or 1?
o
Let s be 0 - (-4)/3*14/16. Which is bigger: s or 1?
s
Let a be (12/(-14))/(2/(-14)). Let j(g) = -g + 5. Let u be j(a). Let i = u - 1. Is -1 less than i?
False
Let r be (-3)/(-1)*(-20)/4. Let b be 9/(-12) - r/4. Let p be b + -2 - (2 + 0). Is p greater than or equal to -3/7?
False
Let p be (0 + -1)*(-2)/8. Are 0 and p unequal?
True
Suppose 5*x + 80 = -4*s, 0 = -2*x + 4*x - 2*s + 32. Let o be (-22)/40 - (-4)/x. Which is smaller: -1 or o?
-1
Let d = 123/5 - 1333/55. Suppose 0 = -2*j - 2*u + 4, 7*j - 5*u = 4*j - 2. Are d and j equal?
False
Let s = -110 - -109. Which is smaller: -2/77 o