Let u(c) = c**2 - 5*c - 2. Let t be u(-4). Suppose 0 = -5*w - t - 6. Let i be (-31)/4 + (-3)/12. Is i less than w?
False
Suppose 18 = -4*w + 2. Let m = -27.5 - -30. Let b = m - 2.3. Which is smaller: b or w?
w
Let k = 531 + -538. Let x = -76 + 230/3. Which is greater: k or x?
x
Let r = -965 + 964. Which is smaller: r or -2/2301?
r
Let b be (-2)/(-20) + (-50)/(-125). Is b > -28?
True
Suppose 43*o - 40*o = -192. Is o < -196/3?
False
Let m = 74.7 + 401.3. Is -1/4 less than or equal to m?
True
Let c = -652 + 647. Which is smaller: -22 or c?
-22
Let s(v) = v**3 - v**2. Let a(y) = 4*y**3 - 11*y**2 - 4*y + 9. Let w(z) = a(z) - 5*s(z). Let m be w(-5). Suppose -m*g = 31 + 5. Is g at most as big as -10?
False
Suppose -5*h = -5*f - 40, 2*h - 19 - 7 = 4*f. Let m be -3*(h - 10/3). Suppose -19 = 5*v + m. Is -6 equal to v?
False
Suppose -101*v + 103*v + 626 = 0. Is v at least as big as -312?
False
Let a(p) = -2*p**3 - 3*p**2 - 1. Let v be a(-3). Suppose b - 9 = -2*r, -5*r - b + v = -2*b. Let u be (0 + r)*10/(-10). Are -1 and u equal?
False
Let f(d) = d**3 - d**2 + d - 1. Let u be f(2). Suppose a + 8 = u*a. Is a at least as big as 4?
False
Let i be (-3 - -1)/2 - 0. Let t be 6*(372/(-92) - -4). Which is bigger: t or i?
t
Let s = -8 - -4. Suppose -3*o + 0*o - 16 = v, 0 = -3*v + 3*o. Is v at least as big as s?
True
Let l be 3 - (-19 + (-3)/1). Is l less than or equal to 24?
False
Let k = 312.69 + -315. Is k greater than or equal to 2?
False
Suppose -5*u + 2*y - 76 = 0, 4*y - y = -3*u - 54. Which is smaller: 4 or u?
u
Let v = 7.6 - 8. Let h = v - -16.4. Let w = 15.93 - h. Which is greater: 0 or w?
0
Suppose -4*c = 5*s + 8, -s + 30*c - 28*c + 4 = 0. Which is smaller: 5/167 or s?
s
Let r = -6 + 1. Let z = -255 - -250. Is z smaller than r?
False
Let w = -0.8 - -11.8. Let q = 10 - w. Suppose 3*z = -3*p + 3, -4*p + 4*z + 12 + 0 = 0. Which is greater: p or q?
p
Let g = -783 + 849. Is g greater than 65?
True
Suppose 2*m - 5*m = 3. Let y be 4 + 1034/(-440) - (1 - -1). Which is smaller: m or y?
m
Let n = 438 + -436. Which is smaller: n or -305?
-305
Suppose -6*v - 6 = -0*v. Let o be (-27)/(v/(2/(-3))). Let q = o - -17. Which is greater: q or 1?
1
Let t = -661 - -401. Is t greater than or equal to -259?
False
Let q be (-46)/(-10) - (-19 - -9)/(-2). Is 1 != q?
True
Let j(c) = -c**2 + 16*c - 11. Let s be j(8). Suppose 2 = o - 4*k + k, -4*o - 3*k + s = 0. Suppose -o*x + 5*x - 6 = 0. Is -2 > x?
False
Let x = 612 - 612.8. Is -0.04 smaller than x?
False
Suppose 0*f + 5*f - 3*m + 10 = 0, -3*f = 5*m - 28. Suppose -1 - f = 2*o. Let j(w) = 3*w - 17. Let x be j(6). Is x != o?
True
Let g be (-156361)/(-55) - 2 - (-5 + 9). Let h = g - 2837. Is 0 greater than h?
True
Let d(q) = -q**3 + 17*q**2 - 30*q + 3. Let u be d(15). Is 3/16 at most as big as u?
True
Let f be (4/(-12) - -1)/(4/(-18)). Let n be f*4/6*-1. Which is smaller: n or -0.1?
-0.1
Let j be 3*-3*2/6. Let r be 2 - (0 - (j - 0) - 1). Let h be 2 + 0 + (-22)/12. Does r = h?
False
Let k = 162.7 - 22.7. Let s = 95 - k. Are -1 and s equal?
False
Let w = 1864 + -1863. Are -51 and w non-equal?
True
Let w = -64 + 55. Let o = -33 - w. Is -23 at least o?
True
Let a be (-700)/(-490) + 5381/(-3752). Which is smaller: -1 or a?
-1
Suppose 3*g + 3*g = -3*g. Which is smaller: 2/27 or g?
g
Let x = -736087/25272 - -5/3159. Let n = x - -1871/56. Is 3 greater than or equal to n?
False
Let r be (-12)/(-20) - 2/2. Let v = -2878 - -2874. Is v at least as big as r?
False
Let c = 439 - 306. Which is greater: 134 or c?
134
Let d = -41 - -69. Let v = d + -16. Is -2 greater than v?
False
Suppose 70*r - 66*r - 4 = 0. Let b be (1/1)/((-4)/(-4)). Is r less than or equal to b?
True
Let i = -2.04 - -1.84. Is 0.05 equal to i?
False
Let o = -495 + 494.95. Is o < -0.65?
False
Let j = -319 - -226. Is j at least -93?
True
Let r(o) = -o**3 - 6*o**2 + 5*o - 10. Let v be r(-7). Suppose v*z - 4*h + 18 + 6 = 0, 0 = 5*z + 3*h - 10. Which is bigger: -2 or z?
z
Let h(w) = -w**3 - 6*w**2 - 42*w - 57. Let b be h(-4). Let q be 315/4 + 1/4. Is q equal to b?
True
Let m be 15/(-5) + 4*21. Suppose 3*o - 84 = -m. Which is bigger: o or 8/37?
o
Let d = -19 - -21.4. Let f = -2.37 + d. Let y = f + -4.03. Which is bigger: 0.3 or y?
0.3
Let k = -3 - 1. Let y = 0 + k. Let j = 9 + y. Which is greater: j or -2/5?
j
Let n = 197 + -213. Let y = 7.88 - -0.12. Let v = y + n. Is -2 less than v?
False
Let r be (12/10)/(6/(-10)). Is -180 != r?
True
Let d(y) = -y - 23. Let t be d(0). Let m = 93 - 115. Let s = t - m. Is s greater than -2/13?
False
Let k = 1514774103/23441110 - 1/3348730. Let n = -323/5 + k. Is n != 1?
True
Suppose 0 = -5*i + 3*g + 30, 3*i - 5*g - 18 = -0*g. Let z be 4/i*(-39)/26. Let l be 6/10*(-2)/3. Is z greater than or equal to l?
False
Let s(z) = -7*z + 12. Let b be s(4). Let l = b + 21. Suppose l = -j + 4. Is -2 at most j?
True
Suppose -4*z - 77 = 19. Let h be 10/55 - ((-488)/(-11))/2. Which is smaller: z or h?
z
Let x = 2/209 - 428/1045. Is x bigger than 36?
False
Let w be ((-646)/51)/(2/(-6)*11). Is w != 2?
True
Let z = 1.8 + -1.8. Let y = -1 + 0. Let x = z - y. Which is greater: 3 or x?
3
Let f(i) = 24*i + 50. Let r(x) = 8*x + 17. Let t(d) = -2*f(d) + 7*r(d). Let l be t(5). Which is greater: l or 58?
l
Let i = 0.5 + -0.3. Suppose 35*g + 129 = 39*g + 5*w, 66 = 2*g + 2*w. Is i less than or equal to g?
True
Suppose -2178 = 56*s - 6602. Which is smaller: s or 0.5?
0.5
Let a = -50053/32 + 1564. Is 0 smaller than a?
False
Let u = -0.93 - -1.126. Let c = u + -0.096. Is -45 > c?
False
Let u be (-30)/(-40) + (-9)/(-4). Let p = -1 + u. Let i = 4 - 3. Which is smaller: i or p?
i
Let a = 11.29 - 0.29. Suppose 0 = -4*l + 3*c + 15, -4*l + 5*c + 54 - 29 = 0. Which is smaller: l or a?
l
Let d = -0.08 + -0.02. Let j = -0.061 - 1.939. Is j < d?
True
Let o be ((-1)/2)/(20/40). Is o != 3/61?
True
Let z = 277 + -263. Which is bigger: 27/2 or z?
z
Let x(l) be the third derivative of l**4/24 + l**3/6 - l**2. Let y(m) = -2*m**3 - 5*m**2 + m - 5. Let o be y(-3). Let k be x(o). Which is bigger: 3 or k?
3
Let q = -254 + 259. Which is greater: -7 or q?
q
Let l = -0.9 - 4.8. Is 4 equal to l?
False
Let o(j) = -58*j**3 + j**2. Let b be o(1). Is b <= -57?
True
Let c be (6 + -12)/((-228)/8). Let p be (-2)/4 + 1/2. Which is greater: p or c?
c
Let m = -14.6441 + 14.7. Is m smaller than -1/3?
False
Let z be (-19)/(5/(-15) - (-2)/15). Is z bigger than -1/4?
True
Let x = 0.06 - -4.94. Let o be (-4)/(-108)*6 + (-367)/(-9). Let h = 40 - o. Is h greater than x?
False
Let i be ((-5)/10*21)/((-3)/4). Let r be i/20 - 9/15. Is r >= 1?
False
Let s = -28.1 + 29. Which is smaller: -1/16 or s?
-1/16
Let r = 102.33 + -104. Let s = -0.23 + r. Let b = -3.9 - s. Which is smaller: -0.6 or b?
b
Let u be 14/10 + (-6)/15. Let o = 0 - u. Suppose 2*m - 2*q + 1 = -13, -m = 2*q - 2. Is o != m?
True
Suppose -8*q + 3 = -11*q. Let w be -3 + (q - 1112/(-276)). Which is bigger: w or -1?
w
Let w = 51 + -48. Let x(c) = -c**3 + 3*c**2 + 2. Let g be x(3). Is w less than g?
False
Let r(h) = 7*h - 17. Let t be r(7). Let z = t - 32. Which is smaller: 1 or z?
z
Suppose 4*a - 5 = h, 3*a - 5*h + 3 = 28. Let u(r) = -r**3 - 3*r**2 + 6*r - 4. Let f be u(-5). Let w be 0/3 + (-4)/f. Is a <= w?
False
Let d = 7 - 5. Let v be d + (-1)/((-3)/(-12)). Let j be (-4)/(-8)*v*-5. Is j equal to 4?
False
Let m(l) = 5*l - 45. Let b be m(10). Suppose -13 = -5*k + 2*g, b*k - 5*g - 23 = 2*k. Which is smaller: k or 0.07?
0.07
Let k = 0.2 - -1.8. Let f = 483 - 488. Is k bigger than f?
True
Let m = 184 + -185. Let s = -104875/18 + 5829. Let w = 11/6 - s. Is m smaller than w?
True
Let t(p) = -p**2 - 6*p - 1. Suppose -30 = 6*o - o. Let y be t(o). Let c be (-1 - 3/(-3))/y. Which is greater: c or -1/3?
c
Let p = 0.31 - 12.31. Let u = p + 15. Let l = -3 + u. Is -1/3 at most as big as l?
True
Suppose -3*w + 5 = -4*w. Let s be 2/6 - (-70)/6. Suppose -3*p = -5*p - s. Is p at least w?
False
Let u(p) = -3*p**3 - p**2 + p - 1. Let n be u(1). Suppose 39 = -5*o - b + 1, 4*o = b - 25. Let t = -12 - o. Which is greater: n or t?
n
Suppose 0 = -9*y + 242 - 44. Suppose -4*k + 82 + y = 0. Which is greater: 25 or k?
k
Let o = 80 - 126. Let h = 47 + o. Is -0.31 less than or equal to h?
True
Let y(d) = -3*d + 9. Let c be y(-4). Let u be (-1)/2 - c/(-14). Is 8 greater than or equal to u?
Tru