1/16?
False
Let a(t) = t**2 + 2*t + 2. Let w be a(-2). Let k be (-4)/(-1*(1 - w)). Let o be 1 - (k/(-12) - -1). Which is smaller: o or -2?
-2
Let w = -364 + 363.8. Is 2/31 less than or equal to w?
False
Suppose 7*z - 7 = -28. Is -85/19 greater than z?
False
Let d(n) = 2*n**3 + 3*n**3 - 2*n**2 + 3*n**2 + 0*n**3. Let g = -11 + 10. Let x be d(g). Which is smaller: -16/5 or x?
x
Let w = -142.9 + 149. Let r = 6.2 - w. Are -15/7 and r unequal?
True
Suppose -2*m = -3*b + 3876, 2*m + 21*b - 16*b + 3892 = 0. Is m at least as big as -1941?
True
Let n be -77 - ((0 - 4) + 0). Is n less than -71?
True
Let z = -1169 + 1168.97. Which is smaller: z or -31?
-31
Let j = 1321/8 - 611/4. Let p = 159/8 - j. Is 9 at least as big as p?
True
Suppose -2*l - 2*l - 12 = -4*r, -2*r = 2*l + 10. Let n = -1/10 - -37/70. Is n less than r?
False
Suppose 762*o = 765*o. Let p = -2/21 + 31/546. Which is bigger: o or p?
o
Suppose 34 = 4*r - 2. Let z = -24 - -33. Let h = z - r. Is h less than or equal to -1/3?
False
Let g = -1052/267 - -54/89. Is 35 not equal to g?
True
Let g be ((-8)/12)/(8/54). Let j = 7.8 + -0.8. Let z = -7.2 + j. Is z != g?
True
Let j(n) = -n**3 + 46*n**2 + 45*n + 94. Let m be j(47). Which is smaller: m or 2/161?
m
Suppose 5*d - 20 = 0, -2*t + 6*d = 11*d - 44. Is 10 at least as big as t?
False
Suppose b + 704 = 2*z, 0*z - 4*b - 1400 = -4*z. Is 353 smaller than z?
True
Suppose -7 = -2*z - 1. Suppose -23*j + z = -26*j. Which is bigger: j or 0?
0
Suppose 13*b + 3*h - 30 = 16*b, 5*b - 2*h = -35. Which is smaller: -3 or b?
b
Let j = 687 - 19912/29. Which is bigger: j or -1?
j
Suppose -5*q = -26 + 6. Suppose 5*x + q*r + 24 = 0, 5*x + 5*r = -0*x - 25. Is x > -6?
True
Suppose -148 = -319*l + 315*l. Which is smaller: 32 or l?
32
Let z = 0.019 - -0.312. Let u = 20.371 - z. Let h = u + -20. Do h and 1 have the same value?
False
Let q = -985/42 + 157/6. Is q smaller than 4?
True
Suppose 23*z = -73 - 19. Is -63/22 at most as big as z?
False
Let x(q) = -2*q**2 - 37*q + 86. Let h be x(-19). Let v be (-136)/5*20/(-8). Does v = h?
False
Suppose 5*m = -4*f - 48, 2*f - 5*m + 10 = -14. Let o = f + 2. Let q be 6/(-42) + (-23)/(-14)*-6. Is o not equal to q?
False
Let c = -167 + 182. Are c and 27/2 non-equal?
True
Suppose 0 = -3*r + 4*j + 21, -3*j - 10 = -2*r + 4. Let o be -6 + -8*(7 - 9). Let k = o - r. Which is bigger: k or 6?
6
Let b(z) = -z**2 + 2*z. Let s be b(4). Let f be 18*-2*1/(-6). Let a be (s/f)/(12/18). Is 0.3 less than a?
False
Let g(v) = 20*v + 161. Let d be g(-8). Which is greater: 3/50 or d?
d
Let o be (-6)/3 - (-187813)/96376. Let v = 4/1721 - o. Which is smaller: v or 0?
0
Let a be (2/18*2)/((-228)/9). Which is smaller: -1/4 or a?
-1/4
Let r(y) = -y**2 + 5*y + 7. Let s be r(6). Is s at most as big as 4/363?
False
Suppose -a = -5*a + o + 23, -2*o = 2*a - 4. Suppose 0 = 4*p + p - 15. Suppose 15 = p*u - 3. Is a at most u?
True
Let a(i) be the third derivative of -i**5/60 + 5*i**4/24 - 2*i**3/3 - 5*i**2. Let f be a(4). Let w(v) = v**3 - v + 4. Let z be w(f). Is 0 > z?
False
Let o be (((-576)/(-20))/(-8))/((-9)/(-210)). Do -80 and o have different values?
True
Suppose 6 = -21*y + 27*y. Let p be 4/(-6) + 22/6. Is y < p?
True
Let c be (4 + -2)/((-38)/(-256)*-14). Let t = c - -2/19. Suppose -4*q + 7*q = 0. Which is greater: q or t?
q
Let f(u) = 14*u - 3. Let r be f(2). Let g be (1 - 1) + -7*300/(-84). Is g at most r?
True
Let o be 2*3 - (0 - 2). Let t be 17/3 - -4*(-1)/(-12). Suppose -a - 45 = -t*a. Is o less than a?
True
Let y be 858/144 + (-1)/(9/(-6)). Are y and 6 equal?
False
Let h = 22.7 + -22.8. Which is smaller: h or -2/21?
h
Let f = -29 + 45. Let r = f + -17.3. Is 0.1 greater than r?
True
Let w be 10/(-18) + (-1)/(15/5). Let g = 18 + -18. Are w and g equal?
False
Let h = -6578/3 - -2153. Is h < -39?
True
Let c = -10243 - -10243.01. Suppose d = 3*m - 2, 0 = -4*d - m + 5 - 0. Which is smaller: d or c?
c
Let h(b) = -b**3 + 22*b**2 + 22*b + 26. Let y be h(23). Suppose -3*n + 4 = -8, -157 = -5*t - y*n. Is t > 29?
False
Let b = 71/150 - -2/75. Let f = -94 - -66. Let s = 27.5 + f. Is s > b?
False
Let f be 123 + 10 + 24/(-3). Which is smaller: f or 130?
f
Let r = 3/1831 - 16590/67747. Which is greater: r or 0?
0
Let i be 25/265*-5*1. Is i less than or equal to 0?
True
Let j(z) be the third derivative of -z**6/120 + z**5/10 - z**4/3 - 2*z**3/3 + 20*z**2. Let i be j(4). Which is smaller: -21/5 or i?
-21/5
Let w = 121/105 + -13/15. Let y = 42 + -19. Which is greater: w or y?
y
Let j = 11.14 + -0.14. Let b = -5484 - -5483.9. Which is smaller: b or j?
b
Let b = 6428893 + -11745588019/1827. Let w be 2580/(-3915) + (-2)/(-3). Let r = w - b. Is r at most -1?
False
Suppose -2*i = -3*y + 8*y + 4, -i - 5*y - 2 = 0. Let s = -435 - -433.8. Is s greater than i?
True
Let b = 205 - 206. Let z be (-2 + 1 - -3) + 9. Which is bigger: z or b?
z
Let y be (-3)/(-27) + 2/6. Let p(h) = 29*h + 57. Let i be p(-2). Which is smaller: y or i?
i
Let k(t) = 2*t + 1. Let h be k(2). Suppose l - h + 1 = 0, -31 = -5*d - 4*l. Suppose -42 = -d*u - 12. Is u bigger than 9?
True
Let i(f) = -f**3 - 37*f**2 - 2*f - 60. Let d be i(-37). Which is bigger: d or 0?
d
Let t = -894 - -591. Which is greater: -302 or t?
-302
Let l(b) = b**2 - 2*b + 1. Let f be l(2). Let i(j) = -j - 8. Let s be i(-11). Suppose -2*q = -s*q + 1. Is q at least f?
True
Suppose -4*x = 5*p + 25, 6*p - p - 5*x - 20 = 0. Let c be -49*p/(-260) - (-4)/16. Is c bigger than 0?
True
Let b = -92 + 92. Let p = -120.97 + 120. Let q = -1 - p. Is q less than or equal to b?
True
Let x(w) = -3*w. Let m be x(1). Let i(c) = c**2 - 16*c - 40. Let v = -38 + 56. Let y be i(v). Which is greater: y or m?
m
Let h = -6 + 8. Let c(f) = 3*f**2 - 3*f - 3. Let i be c(h). Is i at least 3?
True
Suppose 2*o + 388 = 5*b, 5*o = -5*b - 385 - 515. Which is bigger: o or -182?
-182
Let t(u) = 2*u**2 - 25*u + 12. Let v be 3/7 - (-81)/7. Let y be t(v). Which is smaller: y or 1/10?
y
Let c be ((-2)/(-5))/((-3)/15). Let v = 544 - 548. Is v greater than or equal to c?
False
Let h(f) = f**2 - 14*f. Let n be h(15). Suppose -4*q + n = -l, -3 = -4*l - q + 5. Let b = 19746/29 + -681. Are b and l equal?
False
Let x = 4738409/20895 - 427/597. Let r = x - 226. Let a = r - 16/35. Is 2/5 < a?
False
Let q(x) = 2*x**3 - x**2. Let t be q(-1). Let s be (-94)/540 + t/(-18). Is s greater than -1?
True
Suppose -672 = i + 228. Let m be 6/4*(-16)/i. Which is greater: m or 0?
m
Let u = -20 + 121/6. Let m = -19 + 18. Let p be 3 + m - 3/3. Is u greater than or equal to p?
False
Suppose 6*r + 5*k = 2*r + 15, 3*r + 3*k - 12 = 0. Suppose 15 = -3*w, -2*w - 14 = -r*b - 4. Which is bigger: b or 1/6?
1/6
Let t(n) = 2*n**3 - 13*n**2 + 6*n - 8. Let w be t(6). Let p be (19 - 17)/(42/w + 1). Which is smaller: 0 or p?
p
Let v be 9/(-2) + 9/(-6). Suppose -107 = -5*n + 13. Suppose 3*r + r = -n. Is r less than or equal to v?
True
Let r = 22/17 + 968/119. Which is bigger: r or 9?
r
Suppose 2 = -8*x - 6. Let s = -715548/169 - -4234. Which is bigger: x or s?
s
Let g = -5320811/38 - -140033. Let r = 3/19 - g. Which is smaller: -13 or r?
-13
Suppose -5*w = -5, -w + 5*w = 4*b + 36. Suppose 4*d + 84 + 188 = 0. Let x = d - -61. Is x at least b?
True
Suppose -6*g = -5*g - 6. Let d be 4/g*(-12)/4. Which is greater: d or -10?
d
Suppose -a = -19 + 3. Suppose a - 8 = 4*g. Is g < 9?
True
Let f = 2668/3 - 879. Which is greater: f or 11?
11
Let t = -0.0249 + -0.0051. Let h = 5 - 5.2. Let u = -3.8 + h. Which is smaller: u or t?
u
Let z = 2 + 0. Suppose -2*k + 12*k - 50 = 0. Suppose -k*o = -z*o. Does -1 = o?
False
Let q be (-1*(6 - -4))/(-17). Do 1 and q have the same value?
False
Let j = -4 + -2. Let q = -67 + 81. Let s be j/(-7)*q/9. Which is bigger: s or 1?
s
Let c(l) = 5*l + 3. Let w(v) = -4*v - 3. Let x(s) = -3*c(s) - 4*w(s). Let i be x(-2). Does 3/7 = i?
False
Let k = -267 + 133. Let m be 5/(-20) - k/(-8). Is -17 bigger than m?
False
Let n = 5 - 13. Let b be (12/(-8))/((-3)/22). Let y(d) = d**2 - 12*d + 3. Let f be y(b). Is n at most as big as f?
True
Let i be (-100)/8*(15/25 + -3). Which is bigger: i or 86/3?
i
Suppose -5*q - u = 1051, 3*u + 6 = 3. Which is bigger: -419/2 or q?
-419/2
Suppose -8 = -4*v, -2*v - 16 = -3*t - t. Suppose 6*y - t*y - 4*a = -15, -2*y - 19 = 3*a. Let p(c) = c**3 + 2*c**2 + c. Let l be p(-3). Which is sm