w at least 9/11?
True
Let g be 15/(-3) - 25/5. Which is smaller: -14 or g?
-14
Let y(p) = 167*p**3 + 2*p**2 + 3*p - 4. Let h be y(1). Which is smaller: h or 167?
167
Let w = 13.6 - 16. Let g = 1.31 - 3.31. Is w at most as big as g?
True
Suppose -8*k = 7*k - 15. Which is greater: -4/279 or k?
k
Suppose 0 = -4*w - 16, -4*r - w = -6*r - 510. Do -257 and r have different values?
False
Suppose 2*d - 81 = 5*s - 0*d, 5*d + 45 = -4*s. Let t be (-4 + s/(-6))*2. Which is smaller: -0.6 or t?
t
Let p(d) = -2*d**3 + 7*d**2 + 4*d - 4. Let z be p(5). Does z = -58?
False
Suppose 1020 = 2*m - 2*l, -2*m + 2*l + 2042 = 2*m. Let t be (-1)/(-3) - (-69040)/(-135). Let g = m + t. Do -1 and g have the same value?
False
Suppose -3*y = -4*y + 1. Which is bigger: -1/616 or y?
y
Suppose -3*t = 154 + 1463. Is -537 less than t?
False
Let a(c) = 2*c**3 + 7*c**2 - 9*c + 4. Let q be a(4). Is q bigger than 208?
False
Let i = 336.9 + -351. Let o = i - -14. Which is greater: -2 or o?
o
Let u = 0.1043 - -7.6857. Let j = -7.8 + u. Which is smaller: -4 or j?
-4
Let z(y) = -y**3 + 10*y**2 - y + 10. Let r be z(10). Suppose 2*p - 2 = -r*p, -5*b + 5*p + 80 = 0. Is b less than 17?
False
Let q = 6 - 4. Suppose 5*c - 12 = -3*k + 14, -q = -k. Suppose 1 = c*d - 7. Which is bigger: 7/5 or d?
d
Let w = -159 - -1115/7. Let v = 0.3 + -1.2. Which is bigger: w or v?
w
Let p be (2 - (-6)/2)*1. Suppose -p*d + 10 = -10*d. Is d less than or equal to -2?
True
Suppose -5062*p = -5044*p + 18. Which is smaller: p or -2/7187?
p
Suppose 3*f = 1 + 5, 4*f = 3*i + 2. Suppose -5*d - i*d - d = 0. Let z be (-28)/21*3/86. Is d less than z?
False
Let d(i) = i**2 - 5*i + 6. Let o be d(6). Suppose o*g + 4 = 14*g. Let m = 0.2 - 0.4. Which is greater: m or g?
g
Let w = 25255 - 25110.27. Let u = 144 - w. Let y = -0.03 - u. Is y > 1?
False
Suppose 0 - 31 = -31*t. Is t at least -13/32?
True
Let j(l) = 3*l**2 + l + 13. Let m(r) = -3*r**2 - r - 14. Let q(g) = -7*j(g) - 6*m(g). Let h be q(-4). Let f be (-60)/h + 2 + -3. Which is greater: f or 1?
1
Suppose 12 = n - 5. Let c = n - 24. Let m(h) = -h**3 - 6*h**2 + 7*h - 1. Let j be m(c). Do j and -1/12 have different values?
True
Let r = -3780227/439 + 8611. Which is smaller: r or 0?
0
Let i = 114 - -391. Do i and 506 have the same value?
False
Let j = -2.5 - -2. Let z = j - -3.5. Let q = 0.38 + -0.08. Is z equal to q?
False
Let v be ((-3)/5)/((-144)/160). Which is smaller: 32 or v?
v
Let j(s) = s**2 - 12*s + 63. Let z be j(6). Which is smaller: z or 29?
z
Suppose -5*c + 29 = -66. Let h(i) = -5*i**2 - 31*i - 10. Let v be h(-5). Do c and v have different values?
True
Let t(q) = -q**2 - 5*q + 24. Let k be t(-8). Let i be (2 + k)*21/14. Let h(b) = -b. Let z be h(-2). Which is bigger: z or i?
i
Let f = 757/4 + -191. Let k = -1/4 - f. Do 3 and k have different values?
True
Let y = -8 - -8.08. Let r = 3.08 - y. Let g = r + -3. Which is smaller: g or -2/3?
-2/3
Let b = 42 + -39. Let f be (-49 - -6) + (2 + -1)*b. Which is smaller: -41 or f?
-41
Let l = 10 + -8. Suppose -5*c = 25, 3*o - 2*c = -0*c - l. Let v be 16/(-12) + o/(-12). Are 1 and v non-equal?
True
Let n(r) = r**2 + 9*r + 8. Let h be n(-8). Which is greater: -30/43 or h?
h
Suppose -62*j + 900 = -74*j. Is -78 < j?
True
Let k be 0/2 + 91 + -90. Which is bigger: k or 8/285?
k
Let x(w) = -w**3 + 5*w**2 + 6*w - 23. Let s be x(4). Suppose -4*d - 72 = 2*n, -4*n + 5*d = n + 195. Let m = n + 55. Is m < s?
False
Let c be 20/15 - (-1372)/(-903). Which is bigger: -1 or c?
c
Let q(z) = -3*z**2 - 14*z - 44. Let a be q(-4). Which is smaller: -174/5 or a?
a
Suppose 0 = -3*k - 2*z - 16, 0*k + 4*k + 24 = -4*z. Let a be (-16)/(-10)*k/12. Which is smaller: a or 0?
a
Let q = -8302549 - -12204749509/1470. Let u = -17/294 + q. Let o = 11/5 - u. Which is smaller: o or 1?
o
Suppose 4930 = 37*r - 4616. Which is bigger: r or 256?
r
Let u(d) = 2*d + 5. Let s be u(-4). Let i be s/12*4 - (-4)/(-6). Is i < -1/3?
True
Let o be ((-186)/24 - -8)*-4. Which is bigger: o or -1/25?
-1/25
Let x(q) = 7*q**3 - 10*q**2 - 1. Let z(n) = 8*n**3 - 11*n**2 - 1. Let c(p) = 7*x(p) - 6*z(p). Let k be c(4). Which is greater: k or 8?
8
Let k(o) = o**2 + 5*o + 1. Let p be k(-7). Suppose 2*h + 5 = -p. Let t = -38 + 28. Is h < t?
False
Suppose -2*d = -0*d - 5*o + 3392, -4*d = -o + 6784. Is d at least -1696?
True
Suppose -22*b + 24*b = -6, -2*s + 5*b - 551 = 0. Is -283 at most s?
True
Let f = 63 - 22. Let c = 40 - f. Is 3/20 bigger than c?
True
Let f = 14 - -37. Let s = -77 + f. Let p be 2 - 2/((-24)/s). Which is greater: p or -1?
p
Let b = 11133 + -278368/25. Is b at least as big as -2?
True
Let k be (-6)/(-8) + 1/4. Is k greater than or equal to 5/17?
True
Suppose 2 = -v, 0 = -x + 2*v - 0*v - 840. Is x greater than or equal to -843?
False
Let j be 11/2 + (1 - 0). Let t(b) be the second derivative of b**4/12 - 5*b**3/6 - 3*b**2 + 8*b. Let g be t(7). Which is greater: j or g?
g
Suppose -5*l - 15 = -0*l. Suppose 8*w - 16 = 6*w. Let o = l + w. Is 5 greater than or equal to o?
True
Let c = -395 + 13826/35. Let k be -2 + (0 - -2 - 1). Are c and k unequal?
True
Let l be (6/12)/(0 - (-3)/(-18)). Suppose 5*k + 5*t = -35, -2*k = -3*t - 0 - 6. Is k bigger than l?
False
Let x = -3 + 23. Suppose 4*z - x = 4*w, 3*z = -6*w + w + 23. Suppose 0 = z*i - 5*i. Which is smaller: -4 or i?
-4
Let x = -2.15 - -2.45. Let z = 2 + -3. Which is greater: z or x?
x
Suppose 9 = b - 1. Let p be (-5)/((-75)/b) + (-2)/3. Which is bigger: -1 or p?
p
Let b = 13 - 9. Suppose -5*h = -h - b. Let z be (h/(-18))/(5/(-20)). Which is smaller: 0 or z?
0
Let o = 10 + 25. Let s = 34.9 - o. Which is bigger: -26 or s?
s
Let n be (-4)/16 - 31293/(-132). Let m = n - 237. Is 1 greater than or equal to m?
True
Suppose -186*p = -184*p + 2. Which is smaller: 7/22 or p?
p
Let h = -39 + -306. Which is bigger: -344 or h?
-344
Suppose -4*c = 2*v - 5*v - 19, 4*v - 3*c + 30 = 0. Let q(t) = t**2 + 10*t + 9. Let y be q(v). Which is bigger: 3 or y?
3
Let s be (0 + 1/(-87))/((-40)/(-240)). Which is smaller: s or 1?
s
Let p be (1/(-4))/(-16 + 4550/284). Which is bigger: -13 or p?
p
Suppose -5*w + 4*d = 12, -3*d + 15 = w + 2*d. Which is greater: w or -4/51?
w
Let r = -147 + 150. Let d be 3/((-7)/((-28)/6)). Which is smaller: d or r?
d
Let o(u) = 2*u - 20. Let j be o(10). Let t be -2 + 1 - (-10 + j). Let s = -16 + t. Is -9 at most s?
True
Suppose -40 + 118 = 3*y. Is -1/3 < y?
True
Let i be (12/18)/((-2)/(-9)). Suppose 0 = -5*w - i*l + 27, -2*w - 4*l = -l - 18. Suppose 17 - 2 = -w*c. Is c != -3?
True
Suppose 3*t + 97*y - 2 = 92*y, 0 = -3*t + 2*y - 5. Is 14/291 smaller than t?
False
Let j = 34.91 - 36. Let x = j - -0.09. Is 3 >= x?
True
Let p = 14 - -42. Let f be 7/(-1)*(-16)/p. Let m be ((-2)/(-4))/(f + -1). Which is greater: m or -2/5?
m
Let q be 4/(16/28)*2. Are 17 and q non-equal?
True
Let x(b) = b**2 - 30*b + 19. Let s be x(29). Which is bigger: -67/6 or s?
s
Let k = -79.15 + 80. Let m = -0.95 + k. Which is smaller: -2.5 or m?
-2.5
Let s be -2 + (2 - 1 - -3). Suppose 4*z = -5*y + 33, -3*z + s*y = 2*z. Let h be z/10*(-3 - 0). Is h less than -2?
False
Suppose -2*y - 5*s - 2006 = 0, y + 5*s = -1163 + 160. Is -1004 not equal to y?
True
Suppose 4*z - 3 = 3*s, -5*z + z + 4*s = 0. Suppose -2*a - 93 = -3*v, -3*a - 121 - 23 = -3*v. Let x = a + 52. Which is bigger: z or x?
z
Let k = 1.95 + 0.05. Let h = -175 + 173.64. Let f = 6.36 + h. Is f less than k?
False
Suppose 424 + 722 = 6*d. Suppose 7*l - d = -758. Does -82 = l?
False
Let s be 537/(-462) - (-11)/121. Which is smaller: 2/11 or s?
s
Let x(k) = k**3 - 12*k**2 - k + 14. Let u be x(12). Let p be u*(0 + 4)*-3. Let w = 27 + p. Are 2 and w nonequal?
True
Suppose 0 = -4*t + 5 - 1. Let p = 521 + -18236/35. Which is bigger: t or p?
t
Suppose -3*x + 4 = 259. Let n = 74 + -129. Let t be (-22)/n - (-24)/x. Which is greater: t or 1?
1
Suppose 0 = 13*h - 23*h - 10. Is -2/103 != h?
True
Let w = 3.2 - -13.8. Let p = w + -17.18. Let d = p + 0.08. Which is smaller: d or 1?
d
Let b = 0.0102 - 0.9802. Is -0.1 smaller than b?
False
Let u be (45/50)/(-1 - 2). Let f = -129 - -128. Which is bigger: f or u?
u
Let f(h) = h**2 + 19*h - 27. Let v be f(-15). Which is smaller: -83 or v?
v
Let c be -2*(-1)/(-2) - 9. Let k be ((-4)/4)/((-1)/c). Which is greater: 2 or k?
2
Suppose 2*d = -2*b - 6, 5*d = -2*b + 9*d + 12. Whi