?
False
Let v(m) = m**3 - 9*m**2 + 5. Let r be v(9). Suppose r*q - 38 = -8. Let z be (-5)/(-10)*(-2 - 14)*-1. Which is smaller: z or q?
q
Let j be 1 + (4 - 7) + -43. Let x be ((-20)/12 - -1)/((-39)/j). Suppose -4*w - 13 + 5 = 0. Is x greater than w?
True
Let q be 2/1*13735/82. Is 337 at least as big as q?
True
Let p be (-1)/(342/(-84) - -4). Let m be p/(-6) + ((-10)/15)/(-2). Is m greater than or equal to -2/27?
False
Let i = 0.3 + -0.38. Let v = 23.4 + -27. Let d = 1.6 + v. Is d not equal to i?
True
Let k be (1/4)/(30/(-32) - -1). Let t = -5 - 7. Are k and t unequal?
True
Let z = 3475 + -27931/8. Which is bigger: -16 or z?
-16
Let h(i) = i + 9. Let r be -20*(1 + (-2)/10). Let d be h(r). Let v(b) = 5*b + 17. Let o be v(-5). Is d greater than or equal to o?
True
Let b be ((-38)/133 - (-5)/(-7))*59. Is -59 >= b?
True
Let z = 22 + -22.9. Let m = -55.08 - -56. Let d = z + m. Do -1 and d have the same value?
False
Let t = 122.2 + -122. Which is bigger: t or -101?
t
Let z(d) = -d. Let o be z(0). Let s = o + -1. Let x = 121/3 + -1576/39. Which is bigger: s or x?
x
Let k be 2/7 + 4/(-14). Suppose k = 5*s + 4*j - j + 3, 0 = -5*s - j - 1. Which is smaller: 2 or s?
s
Let a = 49 + -34. Let q = 184.89 - 186. Let n = q + 0.11. Which is smaller: n or a?
n
Let f = -2924 - -2927. Let d be ((-20)/(-21))/(1/3). Is d != f?
True
Let r be (6/(6/3))/(-1) - 9. Let c(g) = g**2 + 2*g + 10. Let h(f) = f. Let o(x) = -c(x) + h(x). Let j be o(0). Which is greater: r or j?
j
Let l be -2 - ((-2636)/658 - -2). Let s = l - 668/1645. Let r = -4829 - -4829.14. Which is bigger: s or r?
r
Let c = 258 - 258. Which is smaller: 2/683 or c?
c
Let t(k) = k**2 + 9*k - 3. Let d be t(-6). Let c be 246/21 + (3 - (-57)/d). Which is smaller: c or 13?
c
Let u be -30 - 1/4*0. Let n be (-45)/18*(-1)/u. Let a be (-3)/4 + (-9)/(-12). Which is smaller: a or n?
n
Let x(d) = -21*d + 21. Let p be x(1). Which is smaller: -4/21 or p?
-4/21
Let o be (1 - 4) + 13 - -2. Suppose -q + p + 0*p = -7, o = -3*p. Let r be (-4 + 0 + 4)/q. Which is smaller: -2/63 or r?
-2/63
Let h = 0.161 - 0.051. Let w = h + -0.16. Is w <= 4?
True
Suppose 2*k - 4*w - 12 = 0, 0 = 2*k - w + 1 - 22. Let j be k/(-21)*28/(-40). Which is smaller: j or -0.1?
-0.1
Suppose 3*q + 113 = -4. Let z = q + 509/13. Suppose -24 = -o - 5*i, 3*o = -i + 6*i - 28. Is z <= o?
False
Suppose 4*u - 70 = -10*u. Let s be (u/35)/(5/135). Is s greater than 5?
False
Suppose 34 + 26 = -5*u + 4*v, 2*u + 24 = v. Let i = 45/4 + u. Which is greater: i or -2?
i
Let b = -40383/5 + 8077. Let j = -20 + 19.91. Are b and j non-equal?
True
Let i = 113.268 - 0.268. Let m = i + -112.88. Is m at least -2?
True
Let j be (-15*(-7)/35)/(0 + -2). Which is smaller: j or 11?
j
Let i be (-2)/(-6)*((-132)/(-2))/(-11). Which is smaller: i or -80?
-80
Let m be -5 - (-6 - 18/6). Let a be 8/m*(-1 + -1). Which is smaller: a or -9/2?
-9/2
Suppose -3*y + 8 = -o, -4*o + 5*y - 50 = o. Let h be 1*(-8 - 1)*1. Which is smaller: o or h?
o
Let k = -1.216 - -1.2. Let i = k + -0.884. Do i and -0.1 have different values?
True
Suppose -2*z - 29 = 4*o + 59, 0 = 3*z - 5*o + 77. Let y = z - -45. Is 13 < y?
False
Let b = 232.3 + -232. Is b != 0.07?
True
Suppose 20*y = 25*y - 2*d - 11, -2*d - 10 = -4*y. Which is bigger: y or 15/14?
15/14
Let a = 38 - 40.42. Let g = 2.1692 + 0.0308. Let t = a + g. Is t bigger than 1?
False
Let p = -477.2 + 477. Is -94 less than or equal to p?
True
Let j = -0.2 - -0.3. Let a = -15140 - -15043. Are a and j unequal?
True
Let h be (-12)/(-10)*(-200)/345. Which is bigger: -1/3 or h?
-1/3
Let h be 7 + (-73 - (2 + 2)). Is h smaller than 0.2?
True
Let a be (-44)/(-11) + 135/12. Which is smaller: a or 14?
14
Suppose 2*b + 10 = -3*h - 0, -5*h + 3*b + 15 = 0. Let o be 9 - (h/(-4) + 4). Suppose 5*j = -5*z + 25, -3*z + 4*j + 23 = -j. Is o != z?
True
Let u = 2 - -20. Let p = u - 21. Which is smaller: 1/4 or p?
1/4
Let k be (8/(-10))/(7/10). Suppose 3*c + h = -2, -c + 63 = 3*h + 61. Which is greater: c or k?
c
Let f(v) = -v**2 - 10*v - 7. Let q be f(-6). Let a(n) = -46*n - 232. Let d be a(-5). Which is greater: q or d?
q
Let h = -973 + 974. Let f = 4/43 - -121/86. Is f <= h?
False
Let q = 14219946/22792231 - 5/71449. Let r = -26/29 + q. Which is smaller: r or 0?
r
Let i = 1134 + -1131. Are i and 41 non-equal?
True
Suppose -o + 594 = -12*o. Is o smaller than -54?
False
Suppose 0*z - z - 22 = 0. Let d = 48 - z. Let r be 1*(-3 - d/(-15)). Is 3 != r?
True
Let m be 9/(-6)*(-168)/9. Let n = 753 - 754. Is m less than n?
False
Let y(r) = -r**2 - 5*r + 6. Let f be y(-5). Let a(x) = x**2 - 9*x + 9. Let h be a(f). Which is bigger: h or -7?
-7
Let s = 19.17 + -19. Let t = -0.33 - s. Let b = 0 - 0.3. Is t at most as big as b?
True
Let g(w) = 3*w + 13. Let b be g(2). Which is bigger: -7 or b?
b
Let o = 911 + -478. Which is bigger: 435 or o?
435
Let y = -5 - -7. Suppose -381 = 4*k - 6*k + 5*z, 5 = z. Let l = 1825/9 - k. Which is bigger: l or y?
y
Let l = -178 - -158. Which is bigger: l or 4?
4
Let n(c) = -4*c - 24. Let o be n(5). Let r = 1501/8 + -1855/8. Let y = r - o. Which is smaller: y or 0?
y
Let g be -1 - (-510)/(-232)*6/(-15). Is 0 >= g?
True
Let t be (-51 + 4)/((-1 - -2)*4). Which is greater: t or -12?
t
Suppose -26*p - 58 + 84 = 0. Which is smaller: p or 2.65?
p
Let v be 32/(-80)*10/(-376). Is -1 <= v?
True
Let w = -3.15 - -2.75. Suppose 4 = 3*i - 2. Let k be (-6)/3 + (-2)/i. Which is greater: k or w?
w
Let v be (-2*(-5)/20)/((-2)/(-4)). Which is smaller: -1/65 or v?
-1/65
Let n(a) = a**2 - 6*a - 4. Let t be n(6). Let g be (2/(t/(-2)))/(-3). Let m be (-9)/27*1 - -1. Which is smaller: m or g?
g
Let c be 27920/37312 + 3/(-4). Which is smaller: c or -1?
-1
Let p = 4516 + -167112/37. Which is smaller: p or -2?
-2
Let l(w) be the second derivative of w**4/12 + 5*w**3/3 + 13*w**2/2 + 2*w. Let q be l(-11). Let a be (-7)/(-2)*q/14. Which is smaller: 7 or a?
a
Suppose 0 = -7*k - 42 + 35. Let l = -9/5 + 436/245. Are l and k nonequal?
True
Let y be (2 + -5 + 5)/17. Is y greater than 1/2?
False
Let f = -62 + 62. Let s be 4/(4/3) + 64 + f. Is 67 greater than s?
False
Let g(z) = 6*z**3 + 55*z**2 - 16*z + 56. Let h(d) = d**3 + 11*d**2 - 3*d + 11. Let l(x) = 2*g(x) - 11*h(x). Let c be l(11). Which is greater: 4 or c?
4
Let w be (21/(-35))/((-1)/5). Let h = w + -18. Let u = h + 18. Do u and 4 have the same value?
False
Let c be (-20)/(-2)*((-2584)/95)/(-8). Let d = 107 + -74. Is d greater than c?
False
Let x = -22 + 11. Let s = -0.137 + -10.763. Let l = s - x. Which is greater: -0.2 or l?
l
Suppose 17*o + 94 = 19*o. Which is bigger: o or 50?
50
Let x = -1.4213 + 1.391. Which is greater: x or 1/2?
1/2
Let o(v) be the third derivative of 0*v + 13/60*v**5 + 1/4*v**4 + 1/60*v**6 - 7*v**2 + 0 - 1/2*v**3. Let h be o(-6). Which is bigger: -1 or h?
-1
Let j = 541 - 511. Which is smaller: 32 or j?
j
Let f be (-8)/((-320)/15) + 6306/(-48). Which is smaller: -130 or f?
f
Let q(x) = -x**3 - 29*x**2 + 25*x - 140. Let u be q(-30). Is u greater than or equal to 6?
True
Let q = 5 + -4. Let k(f) = -f**2 + 5*f - 4. Let c be k(2). Let h be (-5 + -4 + 8)/((-2)/c). Do q and h have the same value?
True
Let v(j) = -2*j**3 - 4*j**2 + 3*j**2 - 2 - j**2 - 2*j. Let u be v(-2). Which is greater: 7 or u?
u
Let n = 2.81 - 8.81. Is n bigger than -0.17?
False
Let c = 12 - 11.9. Let l = c + 5.9. Let f = l - 7. Which is smaller: 0.9 or f?
f
Let b = -0.01 + 0.04. Let t = 555 - 551. Which is bigger: t or b?
t
Let h = -1221 - -10969/9. Which is smaller: h or -0.5?
h
Let g = 16 - 14. Let d be g/(-3) - 38/6. Let k = -17 + 11. Is k at most d?
False
Let n = -0.86 - -0.56. Do 17 and n have different values?
True
Let v(b) = b**3 + 13*b**2 + 37*b - 58. Let x be v(-7). Which is greater: x or 5?
5
Suppose -5*d - 295 = b, -3*d - 3*b - 205 = -8*b. Is -60 greater than d?
False
Let m be (2/(-5))/(-2 + (-136)/(-62)). Is -2 greater than m?
True
Let u(x) = 4*x + 82. Let k be u(-16). Do k and 2 have the same value?
False
Suppose 0 = -l + 2*l - 22. Suppose -5*v + l = 4*i - 3*i, 4*i = 2*v. Suppose v*w = w + 30. Is 11 less than w?
False
Let f be ((-1)/(-1))/(-4 - -3). Let h be (f - -7)*(-7)/(-14). Suppose -h*c = -0*c - 3. Which is bigger: 0 or c?
c
Let j = 2 - 1. Let q = 11.8 - 90.8. Let m = 88 + q. Which is smaller: j or m?
j
Let i(j) = -j**3 - 11*j**2 - 10*j