-0.78. Let k = 6.06 + -6. Let n = y - k. Is n at least as big as -11?
True
Suppose 5*m = -2*k - 39 - 25, -k + 59 = -4*m. Let w(p) = 4*p + 33. Let g be w(m). Suppose 35 + 13 = -2*o. Which is bigger: o or g?
g
Let x = -2 + 5. Let p(c) = 10*c**2 + 2*c + 3. Let j be p(x). Let m = -991/10 + j. Are m and -1 unequal?
True
Suppose 2*a + a = 0. Which is smaller: -8/7 or a?
-8/7
Suppose 2*j - 3*j + 3 = 0. Suppose -3*m = 2*m - 20. Suppose -m*q + j*q = 2. Which is bigger: -1 or q?
-1
Let d = 134.01 - 134. Which is smaller: d or -3.9?
-3.9
Let w = 1.2 - -6.8. Are w and -7/6 unequal?
True
Let o = -4.2032 + 0.1592. Let x = 0.044 + o. Is x equal to -4?
True
Suppose -83 = -7*b - 20. Suppose -g - 6 = -18. Do b and g have different values?
True
Let z = 0.14 - -26.86. Let u = z + -15. Is -2 >= u?
False
Let b = 52 - 680/13. Which is smaller: 1 or b?
b
Let k = -2377/3 - -811. Is k greater than 18?
True
Let f be 6/(-4) - 1/(-2). Let g be (7 - 7595/1386) + (-6)/4. Do f and g have the same value?
False
Suppose -3*f - 3 = 9, -c = -f - 18. Suppose -d + 2*j - 1 = 0, j + c = 4*d - j. Suppose 0 = 5*o - 0*o + d*k - 60, -k + 54 = 4*o. Are o and 13 unequal?
True
Let s(h) = -7*h + 23. Let b be s(3). Suppose -b*c + 6*c - 60 = 0. Which is greater: 14 or c?
c
Suppose 27 = 8*q + 19. Which is bigger: q or -1/73?
q
Let x = -7 + -16. Let m = -28 - x. Let u = 0 + 0. Are u and m equal?
False
Let t be 2/(-5) - (-17)/5. Suppose -2*p - t*j = 8, -3*p - 2*j = 2*j + 11. Let m be 279/930*(13/4 - 2). Is p smaller than m?
True
Let x(o) = -4*o**2 - 3*o**2 - 2 + 158*o - 159*o. Let a be x(-1). Are a and -9 equal?
False
Suppose -3*f - 3*f + 276 = 0. Let k = f - 46. Let m be 22/76 - 2/4. Which is bigger: m or k?
k
Let b be (-1)/(-2) - (-4 - (-126)/4). Is 0.2 at most b?
False
Let p = -145/247 - -445381/759525. Is p <= -1?
False
Let b be (-7)/(-14) + 558/4. Let i be (-1 + b/156)*816. Let l = i - -84. Is 1 smaller than l?
False
Let m(k) = 13*k**2 - k. Suppose -s + 4*p + 3 = 22, -5*s + 3*p = 10. Let w be m(s). Let j be ((-4)/276)/((-2)/w). Which is smaller: 0 or j?
0
Let n be 24/10*(-20)/(-3). Let j be (-3)/(-5)*(-50)/n. Let m be (2/8)/(0 - (-1)/(-4)). Is j less than m?
True
Let r = 0.448 - 1.038. Let u = 0.317 + -0.027. Let t = u + r. Which is smaller: t or -1?
-1
Let z = 4 + -8. Let x be 6*2/z + -2. Let q be 2*1/x*10. Which is smaller: q or -5?
-5
Let k be -3*(9/(-3))/((-9)/(-70)). Let j = 67 - k. Is j at most as big as -2?
True
Suppose -4*l - 4 - 36 = 0. Let a(b) be the third derivative of b**5/60 + 5*b**4/12 - 2*b**3/3 - 3*b**2. Let v be a(l). Is v at most -3?
True
Let w be (-6)/8*(-2 - 2). Suppose -5*k = -r - 3*r - 15, 3 = k - w*r. Let d be 2 + (-5)/(20/(-6)). Which is greater: d or k?
d
Let k be ((-224)/(-48) - 4)/((-8)/6). Which is smaller: k or -3/2?
-3/2
Let o(d) be the first derivative of 1 - 2*d + 8/3*d**3 + 7/2*d**2 + 1/4*d**4. Let p be o(-7). Is p at least as big as 0.2?
False
Let r = 50.71 + 1.29. Let x = -52.3 + r. Is -4 smaller than x?
True
Let y(m) = m**3 - 11*m**2 + 6*m - 11. Let a be y(9). Let k be 7/(a/57) + 3. Are k and 0 nonequal?
True
Suppose 3*b - 5*y + 26 = 0, -2*b = -0*y - 4*y + 18. Let k = 3/134 + -504/67. Which is greater: b or k?
b
Let b = -14 + 17. Let j = b + -3.02. Which is bigger: 0.1 or j?
0.1
Let o be -29*((-4)/10 - 143/55). Which is bigger: o or 89?
89
Let m(z) = 3*z + 4. Let v be m(-9). Let q = -22 - v. Let u be 8/(-30)*(-9)/(-6). Does q = u?
False
Let g = -85 + 86. Let v = -910072 + 130139293/143. Let z = -90/13 - v. Which is bigger: z or g?
g
Let z(p) = 19*p + 142. Let n be z(-8). Which is smaller: -6 or n?
n
Let f = -38887/13 - -2986. Let y = f + 1087/195. Is -1 at least as big as y?
False
Let d be (-301)/14*4/2. Let i = 39 + d. Which is smaller: -5/2 or i?
i
Let a(m) = -m**3 + 2*m**2 + 5*m + 13. Let k be a(4). Which is smaller: k or 0.47?
0.47
Let d = -170 - -170. Let a = -1 + 3. Suppose d = -v + a*v + 1. Are -4/15 and v non-equal?
True
Let m(j) = 1 + 0 + 29*j**2 - 2*j - 1 - 1. Let p be m(-1). Is 29 at least p?
False
Let j be 1/(-5) - (-266)/(-95). Is j less than or equal to -3?
True
Let y = -7 + 13. Let w be (-11)/1 - (-44380)/4060. Is y at most w?
False
Let p = -787 + 6299/8. Are -0.149 and p nonequal?
True
Let g = -514718/11 - -46732. Which is bigger: -62 or g?
g
Let z = 2/371 - -7045/742. Let i = z + -163/18. Suppose h - 16 = 3*u, 0 = -3*h - u + 3*u + 13. Are i and h unequal?
True
Let k = -90548/65 + 1393. Let z = -139/195 - k. Which is smaller: z or 1?
z
Let c(u) = -u**3 + 13*u**2 + 17*u - 19. Let j be c(14). Suppose -k = 3*k + 3*x - 3, j = -k + 4*x. Suppose 3 = -i, -4*t + 0*i - 5*i = 19. Is k >= t?
False
Let z(t) = t**3 - t**2 - t. Let w(j) = 4*j**3 - 5*j - 1. Let r(s) = -w(s) + 3*z(s). Let d be r(-4). Which is greater: d or 7?
d
Let r = 8 + -7.94. Let w be 4 - (132/45 + 4/6). Which is bigger: w or r?
w
Let p be ((-3)/(-2))/(3/6). Let n be (80/15)/((-5)/p). Which is smaller: n or -2?
n
Let w be (-3)/302*((-498)/(-81) + -6). Is w greater than 1?
False
Suppose -2*c - 2*z + 1088 = 0, -13 = -2*z - 17. Do 546 and c have the same value?
True
Let g = 148 + -158. Let b = 3 + -3.2. Let l = b + 0.1. Which is bigger: g or l?
l
Suppose -6*f - 3*p + 306 = -8*f, -4*f - 656 = 5*p. Which is smaller: f or -158?
f
Let t = -4 - -11. Suppose 0 = 3*a - t + 4. Let o(j) = 6*j - 1. Let x be o(a). Is 5 less than x?
False
Suppose 12*i - 14 = 11*i. Suppose -3*x + 2*x = -f + 6, f + 3*x = i. Let b be (6/4)/((-6)/(-32)). Do f and b have the same value?
True
Let j = -241 + 65. Let f = j + 1926/11. Let g be (-1)/(-1)*(0 + 0). Which is bigger: f or g?
g
Let g = -7 + 10. Let v be (-8)/10 - g/(-5). Suppose -5*t - 1 = r, -t = r - 3*r - 2. Which is smaller: t or v?
v
Let l = -7869 - -180957/23. Is -2 less than l?
True
Let q be (3 - -5 - -4)*(-4)/6. Is q greater than -2?
False
Let w = 31 - 30.68. Let i = w - 0.42. Let j = 12 + -59/5. Which is greater: i or j?
j
Let r be 6/21 - (-52)/14. Let x = -38 - -23. Let m = -10 - x. Is m > r?
True
Suppose 3*s - 40 = 8*s. Let i be (1*s)/4 - 6. Let o(k) = k**2 + 8*k + 1. Let q be o(i). Which is bigger: q or 1/10?
q
Let o(g) = -32*g**3 - g**2 + 2*g - 1. Let s be o(1). Let k be (6/s)/((-23)/92). Which is smaller: k or 2?
k
Let g be (-300477)/98604 + 1 + 2. Let h = g - -9/332. Let s = -148/2475 + h. Are 0 and s unequal?
True
Let l = -1489/22785 + -2/1519. Which is smaller: l or 0.31?
l
Let j = -37 - -112/3. Let a = -35.02 + 35. Let h = a + -0.38. Which is smaller: j or h?
h
Let l(f) = -f**3 + 12*f**2 - 11*f - 10. Suppose -11*x + 173 = 52. Let c be l(x). Do c and -10 have different values?
False
Suppose -4*l - 18 = 158. Is -44 greater than or equal to l?
True
Suppose 156*j + 208 = 364. Let o be (-1 + 7/22)*-2. Do o and j have the same value?
False
Let p = -57 + 86. Let f be 2 + p*2/(-28). Let u = -4/7 - f. Is 1.1 < u?
False
Let a = 9958/5 - 378239/190. Are 0 and a equal?
False
Suppose 5*u + r + 152 = 0, -u - r - r - 34 = 0. Suppose 3*w - 92 = 2*x, 5*x = -w - 2*w + 106. Let s = w + u. Does s = 5/2?
False
Suppose 8*l = l + 14. Suppose -4*c = -l*o - 3*o + 79, 61 = 3*o + c. Is 19 less than or equal to o?
True
Let k be 4/(-10) + 1 + (-69)/90. Let m = 0.9 + 0.1. Let w = m + 0. Is k > w?
False
Let y be 8/18 + ((-1810)/(-180) - 10). Suppose 4*c = -c + 5. Which is smaller: y or c?
y
Let h(a) = 110*a + 447. Let n be h(-4). Which is smaller: 33/4 or n?
n
Suppose 0 = -5*x - 15 + 20. Is x at least -4/57?
True
Let c = -527/8355 - 2/557. Suppose -10 - 21 = -2*n + v, -11 = -n - 4*v. Suppose -s + 5 = -k, -4*k + 0*k + 3*s = n. Do c and k have the same value?
False
Suppose 0 = 3*t + 12, 0*q + 28 = 4*q - 4*t. Suppose 0 = -0*u + 2*u + 8, 9 = 3*d + q*u. Which is smaller: 6 or d?
6
Let f = -610.1 + 610. Which is bigger: -71 or f?
f
Let l = -477 + 475. Is l greater than or equal to -26?
True
Let y be 166*((-99)/27)/(2/3). Let t = y - -15505/17. Is -2 at least t?
False
Let w = -0.66 - -0.46. Let s = 6 + 4. Which is greater: w or s?
s
Suppose -2*u + n = -3, 7 - 2 = 5*u - 5*n. Let m(r) = -r**3 + 9*r**2 - 6*r - 4. Let f be m(8). Let w = f - u. Are 9 and w nonequal?
True
Let x be ((-2)/4)/((-4)/(-8)). Let m be (x - 15/(-11))*1. Let p = -8 - -8.1. Is p smaller than m?
True
Let s = 18/19 + -237/190. Suppose 5*n + 5 + 15 = 3*i, -4*i + 4 = -n. Is s > i?
False
Suppose w - d + 676 = 0, -4*d