6))/(6/33). Are w and x unequal?
True
Let q(s) = -12*s + 77. Let m be q(6). Is m at most as big as 65/12?
True
Suppose 3*j + 2*w - 7 = 0, -3*j - 38*w - 8 = -39*w. Which is greater: j or -66?
j
Let k = -37 - -7. Let i = -31 - k. Which is greater: -0.18 or i?
-0.18
Suppose 2*u = 2*l + l + 46, 5*l + 74 = 4*u. Let n = 10 + l. Which is smaller: n or 2?
n
Let a = 146 + -101. Suppose 0 = -5*w + k - 2*k - a, -5*w + 5*k = 45. Let d(g) = 2*g + 9. Let b be d(-8). Which is bigger: w or b?
b
Suppose -3*q + 16 = z - 13, -3*z = 4*q - 37. Let k be q/78 + (-4)/24. Let r = k - -55/78. Does 11 = r?
False
Let g = -0.2 - 0. Let h = 1.0471 + -0.0471. Is h less than g?
False
Let b be 0 + 1 + (-14 - 22). Suppose 36 = -2*g - 6. Let l = b - g. Which is bigger: -15 or l?
l
Suppose 0 = -4*o - 128 + 16. Is -27 at least o?
True
Let h = 6 - 4. Let p = -9 + h. Let j = 217/555 + 1/111. Which is greater: j or p?
j
Let z be -4 - 1/(4/(-12)). Suppose 5 = -4*q - 19. Let m be 3/q - 114/(-212). Is m not equal to z?
True
Let q = -6.83 + -0.17. Let d = q - -6.9. Let k = -173 + 182. Is d at least k?
False
Let q = 11.018 - 0.018. Let k = -12.19 - -0.19. Let d = q + k. Which is bigger: d or -8?
d
Suppose -3*z + 8*z = -5. Let d(s) = 3*s - 4. Let w be d(-12). Let p be -2*(105/w)/((-18)/8). Is z > p?
True
Let r(y) = -4*y - 7. Let a be r(-2). Let h(d) = -17*d - 3. Let o be h(a). Is o at most as big as -17?
True
Let q(f) = -11 + f - f**3 + 13*f**2 - 2 + 0 - 2*f**2. Let v be q(11). Is 19 less than or equal to v?
False
Suppose 0 = -j + 2*s - 6, -7 = 5*j - 5*s + 8. Let n = j - 13. Suppose -1030 = -7*x - 1121. Is x at most as big as n?
True
Let q = 50749/7728 - -5/1104. Let c = q - 54/7. Let x be (-221)/195 + 4/30. Is c smaller than x?
True
Let q be (6/4)/((-9)/(-5)). Suppose 46 = 5*w + 4*g, 0*g + 10 = 5*w - 5*g. Suppose 2*c = -c + w. Is q at least as big as c?
False
Let p(l) = -l**3 + 6*l**2 + 6*l + 16. Let j be p(7). Suppose -2*b - 8*w - 84 = -j*w, 4*b = -3*w - 158. Is b less than or equal to -40?
True
Let n = 1 + -4. Let u(c) = -23*c - 114. Let f be u(-5). Let m be -6 - f*130/(-35). Which is smaller: m or n?
n
Let z = 1/29 + -31/58. Let v = 50 - 103. Does z = v?
False
Let h = -0.06 - 3.94. Let v = 4.04 + h. Let l = 4.1 + -3.1. Which is smaller: v or l?
v
Let f(y) be the second derivative of -5*y**3/6 - 3*y**2 - y. Let p be f(-2). Is 25/7 at least p?
False
Let r(n) = -n**3 + 7*n**2 - 2*n - 8. Let p be r(6). Let w = p + -46/3. Suppose 0 = -g - 6, -k - 4*g + 5*g + 6 = 0. Is w less than or equal to k?
False
Let s = -166 - 33. Let t = -3385/17 - s. Is -3/4 at least as big as t?
False
Let d = -44163/17 - -2599. Which is greater: 2 or d?
2
Let n = -319 + 179. Let l be -1*(n/45 + 4). Is -2 at most l?
True
Let y = -714 + 15753/22. Which is greater: y or 1?
y
Let q be (-143)/(-22)*1/5. Let i = q - 11/10. Are 0 and i non-equal?
True
Let r be 1/3 - (-91)/(-21). Let h = r + -15. Which is smaller: h or -18?
h
Let k(n) = -3*n**3 - 18*n**2 - 17*n - 14. Let g be k(-7). Is g greater than 253?
False
Let y = -1.87 + -0.13. Let k = 26.65 + -0.65. Which is smaller: k or y?
y
Let s = 298 + -4472/15. Suppose 0*h + 4*h = -4. Which is bigger: s or h?
s
Let x = 214.5 + -212.5. Are -302 and x equal?
False
Let o = -1 + -1. Let f = 13 + o. Let y = -21/2 + f. Which is greater: -2 or y?
y
Let t = -1255/4 + 314. Which is bigger: t or 2/607?
t
Let r = -1.904 + 0.904. Which is smaller: r or 1.024?
r
Let r be 6945/(-525) + 4 + 0. Let p = 66/7 + r. Is 1.3 less than or equal to p?
False
Let x(o) = o + 5. Suppose 4*f + 25 = 5. Let c be x(f). Suppose c = t - 5*t - 4. Which is smaller: t or 1/5?
t
Suppose -2424 = 59*k - 56*k. Do k and -807 have the same value?
False
Suppose -5*k = 2*u - 13, 2*k + 2 = -4*u + 20. Suppose -12 = 4*l, -4*l = -5*o - u + 1. Let i be ((-6)/342)/(1/o). Which is bigger: 1 or i?
1
Let y be ((-66)/(-18))/((-2)/(-6)). Suppose y*p = 6*p - 275. Let x be -4 + 0 + (-230)/p. Which is bigger: x or -1?
x
Let d = -1/15 - -3/20. Let r = -0.04 + 0.04. Which is smaller: r or d?
r
Let x(h) be the second derivative of h**5/20 + h**4/3 - h**3/6 - 14*h. Let n be x(-4). Suppose s = -n*s + 70. Which is smaller: s or 2?
2
Let t = -40 + 46. Suppose -2*h - 64 = -t*h. Which is bigger: h or 18?
18
Let u = -0.03 + 2.34. Let b = -2.3 + u. Let f = 0.21 - b. Which is greater: -4 or f?
f
Let z be 1220/(-180) - (-4)/(-18). Which is bigger: z or -13/2?
-13/2
Suppose 5*c = 87 - 27. Let u be ((-2)/3)/((-8)/c). Let s be (0 + u)/((-30)/5). Is s > 2/7?
False
Let c = 5.295 - 5.3. Let r = -1.995 + c. Is r at least as big as -11?
True
Let z be -5 - (-1 + -315)/(-34 + 32). Is z not equal to -164?
True
Let r be (2 - (-148)/(-8))/((-18)/84). Is r greater than 77?
False
Let x be 16*(4/30 + 38/(-60)). Let v = -133/4 - -33. Which is bigger: v or x?
v
Suppose -2*v = 3*v + 15. Let g be (-64)/6*(-33)/(-22) - 0. Let o be g/(-24)*(-6 - -3). Which is smaller: o or v?
v
Let t(k) = -k**3 + 12*k**2 + k - 10. Let d be t(12). Suppose d*s = s. Let j(o) = -3*o - 21. Let w be j(-6). Which is smaller: s or w?
w
Let m = -1 - 92.5. Let i = m - -93. Which is bigger: -1.3 or i?
i
Let z = -0.067 - 47.933. Let i = z + 34. Is 1 smaller than i?
False
Let d be (1 - 2)/(15 + -6 + -8). Is d <= 5/57?
True
Let v be 6/10*(-140)/(-42). Let a be -3 - 55/(-30)*v. Let k be 1*(-2 - 57/(-18)). Is k at least a?
True
Let m be (-1464308)/168 + 4/14. Let o = 8789 + m. Let x = 73 - o. Which is greater: x or -0.1?
-0.1
Let t = 735 + -9571/13. Let q = 229/91 + t. Let j = 107 + -106. Is q greater than or equal to j?
True
Let u = -91 - -108. Suppose -287 = 24*p - u*p. Are 0.2 and p equal?
False
Let d be (-2)/(-7) - (-663771)/651. Let f = d - 1020. Is -1 at least as big as f?
False
Let u(g) = -2*g + 2. Let l be u(-7). Suppose -3*s = s + l, 0 = -2*o + 3*s + 18. Suppose 2 = -5*j - o. Which is bigger: j or -1/6?
-1/6
Let f(g) = g. Let t(b) = -b**2 - b + 2. Let x(i) = -5*f(i) + t(i). Let w be x(-5). Suppose -2*n + 3*k = -6, 3 = 2*n + 2*k + w. Is 6/7 != n?
True
Suppose 112 = -15*r + 11*r. Let g = r - -225/8. Let u = -1.5 - -5.5. Which is bigger: g or u?
u
Suppose 5*m - i - 27 = 0, -m - 3*m + 26 = -3*i. Suppose -m*s + 4*q = -84, -17 = 5*s + 2*q - 95. Let v be s/28*(-21)/(-54). Which is greater: v or -8?
v
Let m = 42 - 41. Let i be (0/m)/((-28)/7). Do i and 2/31 have different values?
True
Let y = 45 + -53. Let r be (-12)/(-3)*6/y. Which is smaller: -12/5 or r?
r
Let p(r) = 7*r - 11*r**2 - 3 - 1 + 4*r**2. Let g be p(4). Let d = g + 266/3. Which is bigger: 1 or d?
1
Suppose -9*o = -289 + 883. Is o less than or equal to -66?
True
Let l = -3253 - -3254. Is 27/58 less than or equal to l?
True
Suppose -8*d = -6*d - 4. Let u = 32 - 31.6. Does u = d?
False
Suppose -4*z + 8 + 40 = 0. Let t = z - 71/6. Which is greater: t or -0.1?
t
Let f(r) = -r**3 + 132. Let x be f(0). Let m = 86 - x. Which is smaller: -45 or m?
m
Let f = -313 - -302. Which is bigger: 19 or f?
19
Let n(v) = -v**2 - 3*v - 2. Let t be n(-2). Suppose 0 = -2*w - t*w + 6. Suppose w*i = -i. Which is greater: -1/21 or i?
i
Suppose j + 15 = -15*r + 10*r, -5*j + 3*r + 9 = 0. Is j at most as big as -4?
False
Suppose 794 = 5*g + 3*p, -3*g = -2*p + 6*p - 483. Are 791/5 and g equal?
False
Let j be (-60)/(-432) + 1/(-4). Suppose 0*c = -c. Let h be (c - -1)*(1 + -1). Which is bigger: h or j?
h
Let d(w) = -w**3 - 3*w**2 + 5*w + 4. Let t be d(-4). Let a = 16078 + -16087.983. Let n = a - 0.017. Is t less than n?
False
Let l(p) = p**3 + p**2 - p + 2. Let v be l(-2). Suppose -j - j = -1982. Let o = 12877/13 - j. Which is smaller: v or o?
o
Let f = -604 + 651.7. Let g = -48 + f. Which is bigger: g or 0.2?
0.2
Let n = 743/2405 - 12/37. Let b be 2/(-42)*-6 - (-15)/21. Is n not equal to b?
True
Let c = 10.62 - 4.65. Let s = c + -6. Let o = s + 1.03. Which is smaller: 6/5 or o?
o
Let s be (-221)/(-26) + -8 + (-58)/(-124). Which is bigger: s or 0?
s
Let c(j) = 2*j**2 - 13*j + 16 + 3*j**2 - 6*j**2. Let o be c(-12). Suppose 5*b + 0*b - w - 47 = 0, -2*b + o = -5*w. Which is smaller: 10 or b?
b
Let c be (-4)/((-1)/12 - 0). Let v = 13 - c. Let f = v + 33. Which is smaller: f or -1?
f
Suppose 0 = -292*s + 255*s + 37. Is s > 1/175?
True
Let d be 3/(-21)*-51 - 7. Is d greater than 44?
False
Let m(j) = 3*j + 36. Let u(y) = -y**3 - y**2 + y - 17. Let v be u(0). Let r be m(v).