e (-2*(-4)/10)/(102/510). Is u > x?
False
Suppose -2*o + 14 = i + o, 0 = -3*i + 2*o - 2. Suppose 5*d = 10, -5*b + 2*d + 143 = i. Which is greater: 30 or b?
30
Let o = 22 + -21.68. Let g = -0.22 + o. Let q = 1 + -1. Which is greater: q or g?
g
Let b(m) = -5*m + m**2 + 4*m + 2*m. Let z be b(1). Suppose -5*p = 20*v - 21*v, 2*v = 2*p. Which is smaller: z or v?
v
Let v(u) = 2*u**3 + 3*u**2 - 3. Let f be v(-3). Let x(c) = c**3 - 19*c**2 + 56*c + 29. Let m be x(15). Is f greater than or equal to m?
True
Let o(w) = w**3 + 6*w**2 - 10*w + 1. Let i be o(-7). Let y be 605/(-9) - i/(-99). Is -67 >= y?
True
Let j be (1 + 3/(-2))*2. Let l = 24149/17 + -1421. Which is smaller: l or j?
j
Let s = 221.61 - 218. Let a = s + 0.39. Which is smaller: a or 2/9?
2/9
Let b = 327 + 476. Which is greater: b or 804?
804
Let u be (-40)/(-18) + (-4)/18. Suppose 0 = -5*x + 5*b - 0*b - 10, b - 6 = -x. Let z be (-46)/(-40) - x - 2/(-8). Is z > u?
False
Let u = -566 - -563. Which is greater: -17/7 or u?
-17/7
Let k be 188/144 - 6/72. Is k at most as big as 2/7?
False
Let b be 6/9 + (-6)/(-18). Suppose -b = j - 4. Suppose -3*s + 0*g = -g - 9, -j*s + 3*g + 9 = 0. Is 3 less than or equal to s?
True
Let m be (-24)/(-56)*35/1520. Do 0 and m have the same value?
False
Let p = 0.43 - 0.414. Let n = p - 1.016. Let y = 12 + -7. Which is smaller: y or n?
n
Let b = -2.2 - -17.2. Let q = 11 + -11. Which is greater: q or b?
b
Let p = 6 + -5. Let c be 1/(2/(-48)*-3). Let s be (6/c)/(2/(-8)). Which is greater: s or p?
p
Let x = 842 - 1015. Which is smaller: 4 or x?
x
Suppose 7 + 8 = 5*c. Let t = -105 + 111. Suppose -t*v = -c*v. Which is greater: v or -4/11?
v
Let g(n) = 7 - 2*n - 2*n + 3*n + 0*n. Let i be g(8). Is i less than -3?
False
Suppose 4*t - 220 = 2*g, 5*t - 309 = 3*g - 36. Which is smaller: t or 16?
16
Let s be ((-6)/(-5004))/(4/(3*12)). Is s <= -1?
False
Let r(j) be the first derivative of -j**5/60 + j**4/3 + 11*j**3/6 + 2*j**2 - 4. Let y(k) be the second derivative of r(k). Let d be y(9). Is d >= 1?
True
Let m(y) = y**3 + 9*y**2 + 19*y + 7. Let a be m(-7). Let c = -18 + -11. Which is bigger: c or a?
a
Let s = -58 + 57. Let i = s + 2. Is 1/73 bigger than i?
False
Let g = 311.9 - 312. Which is greater: -3/161 or g?
-3/161
Let x be -16*((-14)/28)/((-2)/4). Suppose 4*w + 48 = w. Is x at most w?
True
Let f be -15 - ((1 - -4) + -1). Let p = 29 + f. Suppose -o + p = 3. Which is smaller: o or 25/3?
o
Let o = 29.7 + 0.3. Let u = 25 - o. Which is smaller: u or 0?
u
Suppose 20 = 5*y + 5*d, -5*y = 4*d - 8*d - 11. Suppose -10 = -y*j - 13. Is -4/9 less than or equal to j?
False
Let p be 168/(-18)*(-9)/12. Let c be p/(21/(-36)) - -1. Let d be (-96)/10 + (-6)/15. Which is bigger: c or d?
d
Suppose -5*l = 2*i + 2927, -3*l - 1754 = 2*i - 3*i. Let q be (-1340)/l - 4/(-26). Which is greater: q or 2?
q
Let s be (8/12)/(4/48). Suppose s*i - 4*i = 24. Which is smaller: i or 3?
3
Let m = -381.2 + 112.2. Is m greater than -1?
False
Let k be (-2)/(-6) - 6/(-9). Let t = -14/51 - -57/187. Which is smaller: k or t?
t
Suppose 2*v + 3*m - 6*m = -313, -2*v - 308 = 2*m. Which is smaller: v or -6?
v
Let j be 12 - -1*(12 - 6). Suppose -4*u + 52 = 5*i, -4*u + 70 = u + 5*i. Is u < j?
False
Suppose -3*u + 2*p - 1671 = -0*u, -4*u = p + 2228. Let d = 11695/21 + u. Is d != 0?
True
Let v = 1 - 1. Suppose 90 = 2*g - 94. Let y = g - 2298/25. Which is bigger: y or v?
y
Let b = -332 + 334. Let j = 490 + -495.09. Let f = j + 0.09. Which is bigger: b or f?
b
Let s be (-5)/(-10) + 177/(-360). Let k = -337/360 - s. Let j = -4/9 - k. Is j smaller than -0.07?
False
Suppose 5*p = -3*p. Let z = 378 + 177. Let r = z - 16093/29. Is r less than p?
False
Suppose -3*s - 5 + 17 = 0. Suppose 5*q - p = -1 - 3, 4*q + p - s = 0. Let v = 4972/4135 - 2/827. Which is greater: q or v?
v
Let i = -806 - -744. Which is bigger: -69 or i?
i
Let u = -55 - 97. Which is smaller: u or -151?
u
Suppose -5*h = -4*j - 284, 0*j - h - 194 = 3*j. Let u be j/54*(0 + -3) + 1. Which is greater: u or 5?
5
Let x = -43 - -90. Let z = 80 - x. Are z and 33 unequal?
False
Let f = 1141 - 1141. Which is smaller: -13/152 or f?
-13/152
Let y be -24 - (0 - 2) - (-4 + 2). Let s = -19 - y. Which is smaller: 1/4 or s?
1/4
Let l be ((-1)/7)/(54/(-21)). Let r = l + 13/90. Suppose -8*f + f = 7. Which is smaller: r or f?
f
Suppose -7*m + 9*m = 0. Suppose -d = -m*d. Suppose -3*p - 31 = p + 3*r, d = -3*p - 2*r - 24. Is -10 != p?
False
Let n = -13 - 2. Suppose -2*i - 4*i - 90 = 0. Are n and i non-equal?
False
Let c = -50.991 - -51. Let p = -23.009 + c. Which is smaller: -1/2 or p?
p
Let a(k) = -k**3 + 5*k**2 + 18*k + 5. Let y be a(-3). Which is smaller: y or 24?
y
Suppose 4*j - 4*n + 112 = 1988, -487 = -j - 5*n. Are -1 and j nonequal?
True
Suppose 152*q - 147*q = -2*u + 5, 2*u = 4*q - 4. Is -1/554 >= q?
False
Let c = -23.35 - -0.35. Let w = -18 - c. Which is smaller: w or 3/7?
3/7
Let z = -20425/274129 - -34/467. Is 1 < z?
False
Suppose x = -2*x + 339. Suppose 2*a + 66 = 4*s, 0 = 5*s + 4*a - x + 11. Suppose -4*k + 6 = -s. Is 1 >= k?
False
Suppose -2*n - n = 4*x - 1, 0 = -2*x - 4*n - 2. Let y = x + -1. Suppose 3*j = 6*j - 5*l + 2, y = 4*l - 4. Is j at least as big as 2/9?
True
Let p = 384 - 507. Which is smaller: -124 or p?
-124
Let r = 2.469 + 0.051. Let n = -5.7 + r. Let s = 0.18 + n. Which is greater: -0.2 or s?
-0.2
Let m = -301 - -295. Is m less than -0.5?
True
Suppose -5*x - 6 = i, -i + 3*i - 4*x - 30 = 0. Suppose -m - 4*m = 3*a - 9, 4*m - 3*a + i = 0. Is -2/29 != m?
True
Let c = -228 - -1146/5. Let k(b) = -b**3 - 7*b**2 + 9*b + 8. Let o be k(-8). Is o < c?
True
Suppose 5*k - 4*g = -28, 3*k + 10 + 0 = -g. Let d be 0 - (1 - (-3 - k)). Is 0 smaller than d?
False
Let b(f) = 3*f + 26. Let l be b(-8). Let j be 3 + 1 + l*(-290)/148. Which is smaller: 1 or j?
j
Let f = -4/871 - 13868/14807. Let k = f - -146/119. Let a(j) = -j**3 - 4*j**2 - 3*j. Let r be a(-3). Is r at most k?
True
Let y = 13 - 14.6. Let b = 41.9 - 41.8. Which is smaller: b or y?
y
Let i(z) = z**3 + 9*z**2 + 2*z + 7. Let k be i(-9). Let a = 15 + k. Suppose -2*s = 4*h + a, 0 = 3*s - s - 5*h - 14. Which is smaller: s or 3/5?
3/5
Let c = 219 + -195. Which is smaller: c or 22?
22
Let k be (-29 + 31)/(2*2)*-2. Let c be 4/(-6)*(-10)/(-8). Is c less than k?
False
Let j(z) = 2*z + 32. Let g be j(-15). Let f(p) = -p**3 + 5*p**2 + 4*p + 8. Let s = 21 - 15. Let c be f(s). Is c greater than g?
False
Let g be (2456/20)/((-72)/135) - -1. Is -230 < g?
True
Let r be 66/165 + (-2)/10. Is 40/3 greater than r?
True
Let l(d) = 2*d - 9. Let a(r) = r - 10. Let q(c) = 3*a(c) - 2*l(c). Let g be q(-9). Which is bigger: -6 or g?
g
Let a(n) = -n**3 + 8*n**2 - 10*n - 1. Let h be a(7). Let l be (h/26 - -1)/((-30)/(-45)). Is -1 greater than or equal to l?
False
Let g = 64 - 62. Let f be (-6588)/(-1638) - (1 + 1 + g). Is f greater than -1?
True
Let n(t) = 3*t**2 - 81*t + 73. Let l be n(26). Let i(g) = -g**2 + 4*g - 1. Let x be i(4). Which is smaller: l or x?
l
Let h be -34*((-11)/(-2) + -5). Which is smaller: h or -117/7?
h
Let v be -8 - ((-4224)/(-544) - 96/6). Let w(p) = p - 2. Suppose -2*u - 2*u = -8. Let x be w(u). Is x <= v?
True
Let s(y) = 4*y + 6. Let b be s(3). Suppose i = -b + 3. Let p = i - -24. Is 1 bigger than p?
False
Let t(h) = -h**3 + 10*h**2 + 12*h - 8. Let j be t(11). Let q be j/(-6) + (-54)/(-4). Suppose q = f + 8. Is f at most as big as 5?
True
Let u = 17.1 + -17.3. Let i = 4 - 10. Are i and u equal?
False
Suppose 0 = 7*q - 49. Is 13 equal to q?
False
Let a(d) = 283*d + 1132. Let u be a(-4). Suppose -6 = -4*y + 98. Let v be y/36 - (-1)/(-2). Which is bigger: v or u?
v
Let l = -114775/9 + 1539280/117. Let w = l + -403. Which is bigger: -1 or w?
w
Let i(w) = -7*w - 31. Let p be i(10). Let c = -100 - p. Let f = -13/5 + 11/5. Is f >= c?
False
Let f be ((-70)/(-49))/(2/14). Suppose -4*k - 50 = -9*k. Is k greater than f?
False
Let l be -1 + -1 - 3 - (-978)/198. Is l > 0?
False
Suppose -u - 3*u + 35 = 5*r, 3 = r. Suppose -4 = u*q - 7*q. Which is smaller: q or -0.11?
-0.11
Suppose 9 - 12 = -x. Let y be x/(-9)*(-3 - -6). Which is bigger: -1/17 or y?
-1/17
Let o be 0 + -2 + (4 - -1). Suppose -5*g + o + 21 = 2*k, -2*g + 11 = k. Are k and 7 equal?
True
Let f be (176/17864)/((-2)/(-28)). Which is greater: 0 or f?
f
Let s(u) = -20*u**3 - 26*u*