Let y be ((-18)/(-165)*11 - 1)*134/(-3). Which is greater: y or -9?
y
Suppose 5*f = f - 228. Let n = -55 - f. Is 15/8 at least n?
False
Let d(p) = -p**3 - 11*p**2 + 21*p - 15. Let r be d(-13). Which is greater: 23/2 or r?
r
Suppose 5*f + h + 15 = 0, -4*h + 9 = -3*f + h. Let n be (-120)/36*(-6)/(-5). Which is smaller: f or n?
n
Let i be (-55)/(-30)*9/(-24). Let c be 3 + (-61 + 54 - (-68)/18). Which is smaller: i or c?
i
Let o = 775/184 - 3148273/747592. Is o bigger than 0?
True
Suppose 125 = -15*z - 145. Let v(c) = c**3 + 21*c**2 + 53*c - 18. Let s be v(z). Which is greater: -78 or s?
s
Let w = -380831101/4703390 + 61305/758. Let u = w - -9/85. Suppose -7*k + 3*k - 4 = 0. Which is smaller: u or k?
k
Let z(o) = -319*o**2 + 23*o - 59. Let j be z(3). Do j and -2860 have the same value?
False
Suppose -4*g + 10936 = -3276. Let h = g + -2256157/635. Which is greater: h or -1?
h
Let b(z) = -z**3 - 82*z**2 - 20*z + 161. Let v be b(-82). Is 1801 bigger than v?
False
Let q(i) = 14*i. Let u be q(-1). Let m = u + 20. Suppose 0 = -10*l + m*l - 44. Which is greater: -13 or l?
l
Let h(y) = -y**3 + 4*y + 1. Let d be h(2). Let o be 1 - ((-4)/4 + d). Let z be -1 - o - (-9 + 12). Does -5 = z?
True
Let x = 72 - 72.1. Let m = 10 - 49.98. Let v = m + 40. Is x equal to v?
False
Let q = -11.811 - -11.7. Let n = -1.889 + q. Is n bigger than 0.11?
False
Let z = -272.38 - -264. Let r = -9 - z. Let t = r - -0.32. Do 0 and t have the same value?
False
Let q(x) = -3*x**3 + 16*x**2 - 18*x - 35. Let o(b) = 2*b**3 - 11*b**2 + 12*b + 23. Let m(w) = -8*o(w) - 5*q(w). Let l be m(6). Is l >= 32?
False
Let j = -51788 + 35155. Is -16633 != j?
False
Let j(k) = 59*k - 965. Let w be j(0). Is w bigger than -963?
False
Let x = -3920 - -3923. Is 182 greater than x?
True
Let b = 168786 + -193091205/1144. Which is smaller: b or -1?
-1
Let n = 1722 - 2213. Which is bigger: n or -1469/3?
-1469/3
Let n be (-1*(-33 - 14))/(-1). Do -283/6 and n have different values?
True
Let f = -5191/7 + 20773/28. Which is greater: -2/27 or f?
f
Let o = -1365 + 1374.24. Let j = o - 7.24. Let i = 6 + -6.45. Which is bigger: i or j?
j
Suppose -18*o - 3024 + 4968 = 0. Is 81 smaller than o?
True
Let n be 1/(-2)*(-2)/(-113). Is n > -1?
True
Let w = 0.44 + -0.5. Let d = -3.56 - 0.89. Let h = 2.45 + d. Is h greater than w?
False
Let l = 282545/4 - 71018. Which is smaller: l or -382?
-382
Let o be (2 - 16/5)/((-75)/250). Suppose 0 = -c - f - 2, -5*f = o*c - 3*f + 4. Which is smaller: -3/40 or c?
-3/40
Let m be -48*10/(-1120) + (-34648)/(-21). Is m at most 1651?
True
Let y(p) be the second derivative of p**6/360 + 7*p**5/120 + p**4/24 - 3*p**3 + 11*p. Let n(l) be the second derivative of y(l). Let s be n(-5). Is s > -7?
False
Let y be (-7666)/8 - (-50)/200. Which is bigger: -960 or y?
y
Let t be 0/(3 - 6) + 12. Let n be 2 - 4 - 4/t. Suppose -62*q + 322 = -302*q - 158. Which is smaller: q or n?
n
Let h = 9220.07 - 9220. Which is smaller: h or -551?
-551
Let i(m) = 18*m**2 + 238*m + 1859. Let x be i(-8). Is x >= 1107?
True
Let s = 0.306 + 0.154. Let d = 0.76 - s. Suppose 3*t - 2*x - 26 = -x, -4*t - 4*x = -40. Is t less than or equal to d?
False
Suppose 3*g - 6 = 3*f, -f - 6 = -4*g + 8. Suppose o - 20 = -4*o. Suppose f*k = 3*y - 2*k + 16, 30 = -o*y + k. Is y equal to 2?
False
Let r = -22 - -15. Let f(v) = -57*v - 572. Let u be f(-10). Is r bigger than u?
False
Suppose -1564*z + 43 = -1521*z. Are 8/309 and z equal?
False
Suppose 34*l - 31*l = 6. Suppose 3*p - 2*s = 2*s + 179, -4*p + 222 = -l*s. Let d = p - 55. Which is smaller: -30/17 or d?
d
Suppose -983 - 487 = -14*q. Suppose 5*i + q = -v - 247, 0 = -3*i + v - 208. Which is smaller: -68 or i?
i
Let n = -1397 - -1396.1. Let f = -1/50 - -777/100. Let l = 147/20 - f. Which is smaller: n or l?
n
Let p be (-10 - -134)/(3*14/(-315)). Which is smaller: -4653/5 or p?
-4653/5
Suppose 10*w + 2160 = 11*w + 26*w. Is w at most 78?
False
Let t = 0.19 + 1.31. Let m = t + -1.3. Let o be ((135/20)/(6/32))/2. Is o less than m?
False
Let v(u) = -1. Let i(o) = -2*o**2 + 22*o + 10. Let g(s) = i(s) - 10*v(s). Let j be g(12). Let c(x) = x**2 + 15*x - 19. Let r be c(-16). Which is bigger: r or j?
r
Let l = 105 - 104. Let f be (-10 + 13)*(l/(-3))/1. Let i = 1/43 + -89/129. Which is greater: f or i?
i
Suppose -297*u - 8162 = -244*u. Which is smaller: -169 or u?
-169
Suppose -9630 + 10652 = 73*j. Let n = -1.99 + -0.01. Which is smaller: n or j?
n
Let v(o) = -41*o - 262. Let k be v(-7). Let z = 7 + -5. Suppose z*q - 27 = 21. Which is smaller: q or k?
q
Let w be (-10)/(-12)*202642/(-2265). Which is smaller: w or -76?
-76
Suppose 21 = -4*x - 27. Let q = -451772 - -451760. Is q equal to x?
True
Let p(s) = 10*s - 3*s - 6*s - 20. Let x be p(4). Which is smaller: -15 or x?
x
Let b = -715 + 729. Let x(c) = -2*c**3 + c**3 + c + 6 + 14*c**2 + 9. Let p be x(b). Is 29 less than or equal to p?
True
Let a be ((-22)/(-110))/(-1 + (-3)/(-5)). Which is bigger: a or -132?
a
Suppose -25*u = 49*u + 3034. Let d = 1415/2 - 747. Is u at least d?
False
Let a = 504 + -461. Let i = a - 47. Which is greater: -4/11 or i?
-4/11
Let i(c) = c**3 + 7*c**2 + 6*c + 1. Let q be i(-6). Suppose 4*x - 5 = -l, 2*x - 4*l = -x - q. Which is greater: x or -7?
x
Suppose 3*o + 4*o + 49 = 0. Let u be (-4 - o)/(-3 + 2). Let b be 5*(-4)/(-20) - u/(-4). Is b at least as big as -45?
True
Suppose 58*k - 930 + 3420 = -2962. Let i(j) = j - 1. Let y be i(1). Is y != k?
True
Let i(t) = t**2 + 2*t. Let f be i(0). Suppose -5*x + 3 - 9 = b, -5*b + 5*x + 60 = f. Suppose 5*m + b = 3*g, -4*m + 3 = m + g. Which is greater: -3 or m?
m
Let o = -208 - -90. Let d = -516 + 399. Are d and o equal?
False
Suppose 4*g + 4*u = 5924, 218*g = 217*g - 4*u + 1484. Which is bigger: -5/8 or g?
g
Let i = -133811446/2009 + 66606. Which is bigger: 0 or i?
i
Suppose -122 = -2*w + 4*b, -5*b + b = 2*w - 106. Let h be w/12 - 4 - (-16 - -11). Which is bigger: 6 or h?
6
Suppose -2*i - 462 - 156 = -5*q, 319 = -i + 5*q. Is -304 >= i?
False
Let t = -0.0165 - 0.3395. Let v = 0.656 + t. Which is bigger: v or 7?
7
Let p = 1/24814 - 1166357/2456586. Which is smaller: 0 or p?
p
Suppose -w - k = -2*k + 1, 2*k = -5*w + 16. Let j = -1659.81 - -1677.81. Is w != j?
True
Suppose -3*y = q - 0*q + 2, q + 6 = -y. Let h = q - -7. Let x(t) = 7*t + 4. Let l be x(h). Which is smaller: 5 or l?
l
Let x = -8 + 11. Let a be (-1421)/33120 + x/45*2. Let y = 1/288 - a. Which is greater: 0 or y?
0
Let m(d) = 48*d + 501. Let w be m(-11). Let k be ((-174)/w)/2 - (-4 - -7). Is k less than or equal to 32/5?
True
Let o(p) = 3*p + 1. Let a(j) = -14*j + 30. Let d(l) = a(l) + 4*o(l). Let r be d(12). Which is greater: r or 5?
r
Let g = -1 - 0. Let v = -1003 - -1017. Let s be v/70*(-1)/38. Which is bigger: s or g?
s
Let x(j) = 97*j - 98. Let k be x(1). Which is bigger: k or -54/169?
-54/169
Let y = 92 - 50. Let c be (2*(-1 - -2))/(-6 + 7). Let f be y/18 - c/(-3). Which is smaller: f or 1?
1
Suppose 2*u - 39 - 9 = 3*o, 146 = 5*u - o. Let h be 441/15 + 2 + 3/5. Is h < u?
False
Let r = -12907/4 - -22625979/7012. Is r smaller than 0?
False
Suppose 1120 = -9*x + 1165. Suppose -c = -x*c. Let r be 2/6 - (-490)/(-1506). Which is greater: c or r?
r
Let l = 320692/3095 - 10/619. Let b = 391/10 - l. Which is greater: -65 or b?
b
Suppose 0 = -c + 2*t - 14, 0 = 5*c + 1736*t - 1733*t - 21. Let f = -0.08 - -0.26. Is f != c?
True
Suppose 0 = -2*z + 5 + 5, 0 = 4*c - 3*z + 43. Let n be (7/2)/(4956/(-4248)). Is n >= c?
True
Suppose -4*m - 698 = -5*v - 662, -2*v + 28 = -5*m. Is 13 less than v?
False
Let v = 5136.881 + -5137. Is -15 at least v?
False
Let f be (-165 - 7)/(32/(-40)). Is f less than or equal to 217?
True
Let r = -1620 + 6173. Let h = 22879/5 - r. Which is bigger: h or 24?
24
Let s(n) = n**3 + 16*n**2 + 16*n + 19. Let w be s(-15). Suppose -1 - 15 = -w*j. Suppose 10 = -5*x + 3*b - 1, 0 = j*x + 5*b - 6. Which is smaller: 0 or x?
x
Let d be 8/(-12) - 28/(-60). Which is smaller: -276.7 or d?
-276.7
Let p(i) = -32*i**2 - 15*i + 10. Let a be p(4). Let q be (116/87)/(a/3). Which is smaller: 0 or q?
q
Suppose -3*n + 35 = -n - 5*z, -z - 33 = -3*n. Let s be -1*1/n*(12 - -294). Let m = -458/15 - s. Which is greater: 1 or m?
1
Let k = 7585 - 7824. Which is greater: -0.13 or k?
-0.13
Let j = -73 + 34. Let n = j - -41. Let v(k) = 5*k**2