 - v. Let q = -11.5 - w. Is q less than -2/7?
True
Let m(o) = 88*o**2 - 5*o + 3. Let v be m(1). Are 86 and v non-equal?
False
Let i be ((-3)/(-9))/(1/12). Let w(x) = x**2 - 6*x + 11. Let p be w(i). Is p at least 8?
False
Let s(l) = l**3 - 13*l**2 + 39*l - 20. Let m be s(9). Let x = 6/181 + 4139/724. Which is smaller: m or x?
x
Let c = 29 + -4. Let r = -136 - -161. Is r at most c?
True
Let s(c) = -c**3 - 6*c**2 + c + 12. Let v be s(-6). Suppose -1 = u - v. Which is bigger: -2 or u?
u
Let a = -4.8 - 0.2. Let v = a - -10. Let f = v + -4. Which is greater: f or -1?
f
Suppose b - 15 = -4*o - 84, -30 = o - 4*b. Suppose -j = -3*v - 57, -4*j = -2*v - 2*v - 76. Is v greater than or equal to o?
False
Let i = -160 - -159. Which is smaller: i or 2/549?
i
Let x = -24 - -39. Let d = x - 11. Suppose 0 = -d*w + w - 9. Is -3 at most as big as w?
True
Let q(z) = z**3 - 32*z**2 + 29*z + 54. Let o be q(31). Which is smaller: o or 2?
o
Suppose 16 = -41*f + 37*f. Let r be (2/f)/(15/(-6)). Which is smaller: -4.2 or r?
-4.2
Let u = -0.57 + -0.03. Is -75 > u?
False
Suppose 15*m - 16*m - 3 = 0. Let t(w) = -w**3 + 2*w**2 + 2*w + 1. Let s be t(-1). Let a be s/m - 1/3. Is -1 < a?
False
Let l = -0.04 - -0.16. Let p = 0.22 - l. Let q = -0.1 + p. Which is greater: -0.05 or q?
q
Suppose -50 - 598 = 3*w. Let o be (-2)/(-7) - w/(-1120). Let f = o + 1/20. Which is greater: f or -0.1?
f
Let v(a) be the second derivative of a**4/6 - 13*a**3/6 + 11*a. Let r be v(6). Is -4 bigger than r?
True
Suppose 0 = -3*s - x - 27, -18 = 3*s - x + 5*x. Let g be 3 + -3 + s/405. Which is bigger: g or -1?
g
Let b = -4 + 7. Let m = -1 - b. Let l = 2 + m. Which is smaller: l or -0.1?
l
Let r(y) = 7*y**3 + y**2 + y + 1. Let f be r(-1). Let m be ((-4)/f)/((20/(-6))/(-5)). Is 2/243 greater than or equal to m?
False
Let l be ((-1)/(-3))/(4/24). Let n be 52/(-64)*l*17. Let v = 27 + n. Is -2 greater than or equal to v?
False
Let w = 3 - 2. Suppose 5*f - 5*q = 0, 0 = -4*f + 5*q - 0*q + w. Let t = -106/9 - -35/3. Which is greater: f or t?
t
Let t = -28.7 + 29. Let b = -0.5 + t. Which is bigger: 1 or b?
1
Let w = -411 + 342. Which is bigger: w or -71?
w
Let g(w) = w**3 + 32*w**2 + w + 37. Let x be g(-32). Let h be (4/x)/((-224)/80). Is -104 at most h?
True
Let j(v) = v**3 + 3*v**2 - 3*v + 3. Let k be j(-4). Suppose 11*a - 2 = 9*a. Let h be ((-55)/70 + a)*2. Is h >= k?
True
Let p = 17.3 - 2.2. Let u = -2.1 + p. Let n = u - 11. Is n at least 2?
True
Suppose -13*a = -16*a + 9. Suppose -a*h + 3 - 56 = -4*x, -5*h = -2*x + 9. Which is greater: 69/4 or x?
69/4
Let p = -11 + 36. Is p smaller than -0.2?
False
Suppose 10*w - 35 = 3*w. Suppose -5*k + 0*k - 3*f = 0, 0 = 4*k - w*f. Is k equal to 0?
True
Let b(r) = r**3 - 12*r**2 - 7*r + 35. Let t be b(13). Which is greater: t or 111?
t
Let d be 7/((-140)/12) + 2184/40. Is d not equal to 5?
True
Let t(x) be the first derivative of -7*x**2/2 + 4*x + 9. Let l be t(2). Let d be -14 + 12/4 - 1. Is d less than l?
True
Let i(b) = 21*b + 62. Let j be i(-3). Is -2/209 not equal to j?
True
Let o be ((-1)/9)/(2/(-4)). Let a = -17.3 - 69.7. Let z = a - -83. Which is smaller: z or o?
z
Let l(q) = -q**2 - 6*q + 2. Let x be l(-6). Let i be (-7 - (-68)/8)*(-12)/(-9). Is x != i?
False
Let z = 143 - 81. Let x be (0 + -1)/((-2020)/252 + (10 - 2)). Which is smaller: x or z?
z
Let b be (-36)/((-3)/(2/371*7)). Is b bigger than 1?
False
Let c = 638977/187 - 3417. Let g = c - -207/1870. Is g < 0.1?
False
Let v = -2 + 1. Let o = 61 + -63. Let t be 1 - (o + 14/6). Which is smaller: v or t?
v
Let p be 81/2250*(-48)/9. Is p != -1?
True
Let o = -1.53 + -0.27. Is -6 bigger than o?
False
Let p = 64 + -60. Let k(b) = b + 19. Let j be k(-10). Suppose 4*z = z + j. Is p equal to z?
False
Let u(l) = 162*l + 76. Let j be u(-7). Is -1058 bigger than j?
False
Let q be 4/(-22) + 2 + (-43075)/(-55). Let y = -54163/69 + q. Is 0 at least as big as y?
False
Let c = -0.07 - -0.27. Let p = c - 0.2. Let x = 0.1 - p. Is 1/4 at least as big as x?
True
Suppose -13*r + 8*r = 90. Which is greater: r or -17?
-17
Suppose 1057 - 655 = -2*f. Is -200 != f?
True
Let z = 75 + -76. Let p be 0/z - (-3)/(15/(-140)). Which is bigger: -27 or p?
-27
Let t be ((-9704)/80*8)/(-4). Which is smaller: 243 or t?
t
Suppose 0 = -14*d + 18*d + 80. Which is smaller: 2 or d?
d
Suppose 5 = 4*b + 3*j, 5*b + 4*j - j = 4. Suppose f + 2*r - 37 = -41, 10 = 2*f - 5*r. Is b less than f?
True
Let z = -95 + -110. Let c = -1843/9 - z. Which is smaller: 2/13 or c?
2/13
Suppose 4*t + 5*k = 41, 4*k + 4 - 20 = t. Let h be 19/(-6) + t + 1. Which is smaller: 3 or h?
h
Let m = -2273/8 - -284. Is 1 smaller than m?
False
Let v = -8.44 + -180.56. Which is smaller: 0.2 or v?
v
Suppose 0 = -16*o + 22*o - 18. Suppose 8 = -g + 4*c, g = o*c - 4 - 2. Is g at least as big as -5/4?
True
Let n = -1 - -1.4. Let b = 9 + -7. Let a be 65/(-91) + b + -1. Are a and n unequal?
True
Let g = 6 + -4. Let z = 216 - 1948/9. Which is greater: z or g?
g
Let h(x) = 7*x + 289. Let j be h(-29). Is 437/5 != j?
True
Suppose -3*z = 3*a - 192, 4*a = 7*z - 8*z + 52. Let l = z + -61. Which is smaller: l or -2?
-2
Let d = 0.596 + -351.596. Is -2/5 bigger than d?
True
Let p be (-654*(-6)/18)/(-1 - -3). Which is smaller: 4 or p?
4
Suppose 3*a = 7*a - y - 24, a + 3*y = 6. Suppose 0 = 5*b + a - 1. Let p = -61/12 + 19/4. Which is smaller: b or p?
b
Let o = 187 + -195. Which is smaller: o or -6?
o
Let x(o) = o**2 + 10*o + 22. Let t be x(-7). Which is greater: t or -2/629?
t
Let b = -0.61 + -19.39. Which is bigger: b or -0.05?
-0.05
Let p(n) = n**3 - 3*n**2 + n - 2. Let q be p(2). Is -5 >= q?
False
Let q(s) = -s**3 + 20*s**2 - 19*s + 5. Let v be q(19). Suppose -v*u + 33 + 17 = 0. Let y(x) = 3*x**2 - 3*x + 3. Let k be y(2). Which is greater: u or k?
u
Let n = 20 + -17. Let j = n + 2. Suppose -j*z + 3*z - 5 = -i, z = 0. Is i at most 0.1?
False
Let r = 1249 + -2361. Which is bigger: r or -1113?
r
Let v be (-261)/(-87) + -2126*1/(-2). Is v greater than or equal to 1065?
True
Suppose 4*a = 5*w + 621, -617 + 149 = 4*w + 4*a. Let u = -74 - w. Are 47 and u unequal?
False
Suppose 3*y + j = 40, -5*y + j + 62 = -2*j. Is -5/6 less than y?
True
Let q(z) = z**3 + 4*z**2 + 2*z + 3. Let a be q(-3). Suppose 0 = -a*b + 3*b - 15. Let l = b - -4. Which is greater: l or 1?
1
Suppose -5*k + 10*k + 5*z = 30, -4*z + 12 = 0. Let h(p) = 26 - 3*p - p + 8*p - 6*p. Let f be h(12). Are k and f equal?
False
Let f = -1138 - -1139. Which is greater: f or 436?
436
Suppose -5*v = -4*u + 35, 0*v - 2*v = u + 1. Suppose 0 = -u*q - q + 3*q. Which is smaller: q or -1/108?
-1/108
Let l(u) = u**2 + u - 3. Suppose -w = k - 2*k - 2, -2*k - 4*w = 4. Let p be l(k). Is -1 bigger than p?
False
Let n be -129 + (1 - -11) + -8. Which is bigger: n or -122?
-122
Suppose 0 = 2*p - p - 6. Let k = -2 - -4. Suppose -5*b - 2*q - 2*q = 5, -k*q = 3*b + 1. Which is greater: p or b?
p
Suppose 5*x - 5*l + 30 = 0, 0 = -x + 7*l - 2*l - 6. Which is bigger: -12 or x?
x
Let l(p) = -4*p**3 + 10*p**2 + p + 18. Let o be l(3). Suppose 0 = 3*h + 4*d + 10, -3*h + 0*d - 3*d - 15 = 0. Let j = 7 + h. Is o at least as big as j?
True
Let z = -10 - -10. Which is smaller: z or -5/16?
-5/16
Let b = 4 - -14. Let v = b - 13. Suppose -v*o + 14 = -1. Is 3 <= o?
True
Let p(m) = 3*m**2 - 2*m - 1. Let u be p(-1). Suppose -u*f = -7*f. Let v be 4*(444/2120 + 3/(-15)). Is v >= f?
True
Let z = -38.236 + 0.236. Which is smaller: -2 or z?
z
Suppose 0 = 4*j - 5*v - 547, -4*v + 9*v + 685 = 5*j. Is 136 at most j?
True
Let n(t) = -t**2 - 4*t + 15. Let o be n(-7). Let j be (-3)/o + 9/(-30). Which is greater: -1 or j?
j
Let f = 3288/7 + -482. Is f at least as big as -13?
True
Suppose 0 = -70*k + 68*k + 4. Suppose -5*m + 1 + 0 = -h, -k*m = 0. Is h equal to -1/29?
False
Suppose 0 = -12*r - 5505 + 5325. Suppose -2*u - 27 + 1 = 0. Is r not equal to u?
True
Let j be (-89)/(-45) + 10/(-50). Suppose 7*r - 4 = 3*r. Is r < j?
True
Let b be (-1)/((-126)/91) + 6/(-27). Is -0.0386 > b?
False
Let p = 104 - 197. Are p and -0.04 nonequal?
True
Let j = -12 + 13. Let t be j/(12/(-8) + 1). Suppose -3*u = -u + 8. Which is bigger: u or t?
t
Let u(x) = -4*x - 19. Let q be u(-4). Let f be 1*(-1 + 0)*-7. Suppose -2 = 3*d + f. Is q bigger than d?
False
Let b = -17725612192/721 - -24584769. Let s = b + -11/103. Which is bigg