 t + 0*t - 16 = -r*u. Is 4 at most as big as u?
True
Suppose -3*y - 3 = 3, -19 = -3*q + 5*y. Let i be (-6)/(-9)*27 + -3. Suppose -2*b - i = -7*b. Is b >= q?
True
Let c = 7 + 4. Let b be (-8)/28 + 2808/273. Is b <= c?
True
Let j = 22 + -42. Let b = -36 - j. Let r be b/40*15/(-6). Which is greater: 13 or r?
13
Let s = -0.61 - -0.5. Which is smaller: -0.13 or s?
-0.13
Let p = 5.94 - -0.06. Let z = -6 + p. Let i = z + -3. Which is smaller: -0.3 or i?
i
Let d(g) = -g**3 + 5*g**2 - 3*g - 18. Let a be d(6). Let j = 73 + a. Is j at least -2/39?
True
Let u(l) be the first derivative of -l**4/4 - 2*l**3 + l**2 + 13*l + 13. Let o be u(-6). Is o at least 3/19?
True
Suppose -x + 0*x - 2*f - 42 = 0, 2*x + 5*f + 81 = 0. Let s = 60 + x. Is s greater than 11?
True
Let g = 1375 - 1197. Is g > 177?
True
Suppose 5*l - 102 = -2*x, 0*x = -3*x - 5*l + 158. Is x not equal to 57?
True
Let z(r) = r + 3. Suppose 0 = 2*u + 4, 2*h + 4*u + 7 = h. Suppose 4*b - h = -9. Let i be z(b). Is 1/3 at least i?
False
Suppose 3*d + 3*l = -219, 15*l - 207 = 3*d + 12*l. Which is greater: -70 or d?
-70
Suppose w = 9*w - 592. Let p = w - 113. Do -38 and p have different values?
True
Let a be 8/(-28) + (-9468)/(-63). Suppose 6*p + 30 = a. Let h = -0.2 - -0.2. Are h and p unequal?
True
Let p = 929 - 2788/3. Which is greater: p or -532?
p
Let s(j) = 3*j - 1. Let v(y) = 2*y - 10. Let m be v(6). Let t be s(m). Suppose -t*u + 15 = 5*b, -3*u - 1 + 10 = -b. Which is smaller: b or -1/7?
-1/7
Let a(n) = 5*n**3 - 14*n**2 + 37*n - 2. Let g be a(4). Which is smaller: 241 or g?
241
Let x be (5/(-10))/((-2)/16). Suppose -w = 2*d - 10, d = -2*d + x*w + 4. Let y be -1 - d/(-24)*2. Which is greater: y or -3/5?
-3/5
Let h(l) = 18*l - 144. Let r be h(9). Which is smaller: r or 14?
14
Let l = -9514 + 95221/10. Which is smaller: 9 or l?
l
Let q = -0.07 - -5.07. Which is smaller: -4 or q?
-4
Let t(w) be the first derivative of -w**3/3 + 3*w**2/2 - 4*w - 1. Let n(x) = x**2 - 12*x + 14. Let z be n(11). Let j be t(z). Which is smaller: j or -5?
-5
Let p = -8 + 9. Let z = p + -0.8. Which is bigger: 8 or z?
8
Suppose -2*u = o - 3*u - 7, -2*o - u = 1. Suppose 0 = -4*b - 4, l = 2*l - o*b. Let y be -4 - l/16*38. Which is smaller: 0 or y?
0
Let b = 78 - 42. Let h be 14/18 + 8/b. Is h < -2/9?
False
Suppose -6*b = -71 - 1. Let p be 4 + -6 + (b/2)/2. Do -2/15 and p have the same value?
False
Let t = 561557/273 - 2057. Let c = 3533/1092 - t. Let n(o) = o**2 - 5*o + 2. Let b be n(5). Is c > b?
True
Let s = -257 + 120. Which is smaller: s or -135?
s
Let v(j) = j**3 + 5*j**2 + 5. Let w be v(-5). Suppose a - 2*n = 4, -2*a + w*n + 0 = -8. Suppose -a*q + 14 - 6 = 0. Is 5/6 bigger than q?
False
Let o(u) = u**2 - u + 1. Let c(p) = -4*p**2 - 9*p - 23. Let d(g) = -c(g) - 5*o(g). Let f be d(8). Is 66 greater than f?
False
Let v = -159.92 + 106. Let x = v + 53. Let p = x + 0.9. Is p less than or equal to -2/7?
False
Let z be (-6)/30*0 + (4 - 4). Which is smaller: z or -3/46?
-3/46
Let p be 318/(-30) + (-4)/10. Let g = p - -19. Let z be (-7110)/(-1440) + 1/16. Which is greater: g or z?
g
Suppose 27 = 10*n + 107. Let r = 2 - 12. Let i be -2*(n/r)/4. Is 1/4 at least as big as i?
True
Let b be 13/(-39)*(-1)/(-54). Do b and -1 have the same value?
False
Let r = 8.3 - -54.7. Let n = r - 48. Which is smaller: n or 0?
0
Let r be (12/210)/(17/(-119)). Let z(g) = g**3 - 2*g**2 - 3*g. Let v be z(3). Let i = v - -1. Which is greater: r or i?
i
Suppose -4*f = -2*j + 16, -4 = -3*f - j - 6. Let d = -1469/5 + 292. Is d at most f?
False
Suppose 422 = -5*m + 132. Let i = 60 + m. Which is greater: i or -38?
i
Let n be -3*8/(-6) - 4. Suppose n = -2*l - 26 + 18. Is l greater than -4?
False
Let o = 2.78 + -47.58. Let p = o - -45. Is p smaller than -1?
False
Let s = 53629/109 - 492. Let z be 0/((-4)/(-2) - 1). Is z bigger than s?
False
Let w(z) = -40*z**2 + z. Let q = -3 - -2. Let y be w(q). Let c = y + 165/4. Which is smaller: c or 1?
c
Suppose 971 = -4*d + 959. Let r(m) = 6*m**2 - 6*m - 4 - m + m**3 + 1. Let x be r(-7). Is d greater than x?
False
Let s(b) = 2*b + 27. Let l be (-574)/42 - (-2 - (-14)/6). Let f be s(l). Is f at least as big as -5/9?
False
Let q = 5/141 + -463/1128. Which is smaller: -2/7 or q?
q
Let b be (-6)/27 - 4/(-18). Let q be (1/(-2))/(2/(-4)). Suppose -q = -d - b. Which is smaller: d or 3?
d
Let q = 3 + 15. Let p be q/(-27) + 46/24. Let r be ((-6)/2)/3 - -3. Which is smaller: r or p?
p
Let z be (0 - 2)/((-6)/(-17)). Suppose -10 = 2*x - 0. Let t = -11 - x. Which is greater: t or z?
z
Suppose 3*a - 6 = a. Let k be ((-2)/8)/(a/6). Is k smaller than 0.06?
True
Let r(i) = i**3 + 11*i**2 + 8*i - 2. Let o be r(-3). Suppose 2*y - 3*y = -45. Which is greater: y or o?
o
Suppose -28*p + 225 = -31*p. Let b = p + 63. Are b and -35/3 unequal?
True
Let p = -97 - -97. Let q = 1.7 - 0.5. Which is bigger: p or q?
q
Let s = 42 + -42.19. Let f = -3.19 - s. Which is bigger: 1 or f?
1
Let u(s) = -20*s**2 + 15*s + 54. Let w be u(-6). Which is bigger: w or -755?
-755
Let z = -2812/5115 - -2/465. Which is bigger: z or -2?
z
Let a(h) be the first derivative of h**4/4 - h**3 - 5*h**2/2 + h + 7. Let c be a(4). Let i be -3*(3/c + 0). Which is greater: 2 or i?
i
Let c = 176 + -346. Which is smaller: 1/2 or c?
c
Let q = -590 + 590.18. Let h = -210.82 - -213. Let j = q - h. Is j at least -3/4?
False
Let p = -37 + 25. Let t be 1/6 + (-298)/p. Which is greater: t or 24?
t
Let h = 199877/166738 + -127/106. Which is smaller: h or -1?
-1
Suppose -4*y = -m - 52, 8 = -0*m + 2*m. Suppose y = 6*r - 8*r. Is r less than or equal to -7?
True
Let o = -0.43 - -3.13. Let q = -10.7 + o. Which is greater: q or -1?
-1
Let w = -189 + 195. Is w bigger than 33?
False
Let t(g) = g**3 - 2*g**2 - 5*g + 1. Let n be t(4). Suppose -4*s + 8 = -2*w - 6, 5*w = -s - n. Suppose 5*d + 27 = s. Is -7 less than or equal to d?
True
Let k(a) = 2*a**3 + 2*a**2 + a - 2. Let u be k(1). Suppose 6*l = 9 - u. Is 3 != l?
True
Let d be 90/(-405) + (-292)/(-18). Which is greater: d or 5/4?
d
Suppose -5*a - 2*m + 2 = -11, 7 = 4*a + 5*m. Suppose -c + 13 = -a*w, 14*c = 13*c - 5. Suppose 3*i + 6 = -3. Is w >= i?
False
Let u be 0 + 0 - 4*-1. Let h be 3*(-6)/(-8) - -2. Is h not equal to u?
True
Suppose -6*y - 9 - 33 = 0. Let q be 12/14 + (-35)/y + -5. Suppose -n = 2*n - 3. Which is smaller: n or q?
q
Suppose -3*c + 0*l + 136 = 2*l, 3*l - 50 = -c. Let b = -48 + c. Suppose 5*s = -3 - 22. Which is bigger: b or s?
b
Let x = -1395 - -1395.06. Is 99 at most x?
False
Suppose 3*t + s + 4 = -19, -3*s + 11 = -t. Let f(n) = -n - 8. Let i be f(-7). Let a be ((-1)/i)/(2/(-14)). Is a at least t?
True
Let j = -294 - -9701/33. Let v(m) = -m**2 + 7*m + 5. Let t be v(7). Suppose 4*x + 3*o = 12, -x - o - 1 = -t. Which is bigger: x or j?
x
Let z be 5/10*(1 + -3)*-1. Which is bigger: z or 23/26?
z
Let y(x) = -8*x + 7. Let j(g) = g - 1. Let m(q) = -5*j(q) - y(q). Let a be ((-1)/(-3))/(93/(-9) - -10). Let d be m(a). Which is smaller: -7 or d?
-7
Suppose -36 - 234 = 2*s. Let p be 4/10 - (-24)/s. Is 1 smaller than p?
False
Suppose 10 = l - 4*g, -4*l + 4*g = 2*g - 12. Suppose -l*o - 4 = -x, -2*x - 8 = 3*x - 3*o. Which is greater: x or -0.05?
-0.05
Suppose -n + 140 = 3*n. Let h = n + -31. Suppose -64 = -h*t - 12. Which is bigger: 14 or t?
14
Let s = 147 + -124. Let z = s - 27. Suppose -2*d + 3*d + 4*x = 11, 8 = 2*x. Is z less than d?
False
Let h = 798 + -1795/2. Are -99 and h equal?
False
Let z = -215/4 + 54. Let t = 0.5 - 4.5. Is z < t?
False
Let a = 20441/5 - 4072. Which is bigger: a or 15?
a
Let c = -66 - -65.8. Is 0.91 bigger than c?
True
Let v = -46 + 46.2. Is 10 bigger than v?
True
Suppose 4*j = 9*j + 190. Let p = j - -37. Let i = 6 - 10. Which is smaller: i or p?
i
Let c = 815851/9443 + 42/1349. Let y = c + -86. Which is bigger: y or 1?
1
Let w = 142 + -551/4. Let t(m) be the third derivative of -m**4/24 - 5*m**3/6 - m**2. Let c be t(-9). Is w less than c?
False
Let x = 20/67 + 1233/134. Let d be 4 - 2 - (2 + -11). Is d greater than x?
True
Let f = 25 - 34. Let o(y) = -y**3 - 10*y**2 - 8*y + 3. Let h be o(f). Is 4 less than h?
False
Let g(x) = -x**3 + 13*x**2 - 13*x + 10. Let d be g(12). Suppose a + 3*o - 29 = 0, 86 = 4*a + 14*o - 12*o. Are d and a nonequal?
True
Let b = -2/1857 + 27871/14856. Let z = 139/40 - b. Is -0.2 at most z?