 p?
False
Let k be (0 + 0)/(-2 - 1). Let g = -95879/165 + 2903/5. Are g and k unequal?
True
Let n = 4332 + -4331. Which is greater: 2.66 or n?
2.66
Let i be ((-10)/(4/(-4)) - (-2 + 8)) + -4. Which is smaller: i or -1/2186?
-1/2186
Let c = -48 + -85. Let q = -132.58 - c. Let f = 74 + -73. Which is smaller: f or q?
q
Let a = -0.6968 + 0.5968. Is a less than -111/52?
False
Let d(w) be the third derivative of w**5/60 - 11*w**4/24 + 7*w**3/6 - 8*w**2. Let c be d(3). Let r = 43 + c. Are 0 and r unequal?
True
Let s = 15.44385 + -0.14385. Which is greater: 0.023 or s?
s
Let w be (-14)/(-4) + 1/(-2). Let d be (4 - w)*(-4)/(-2). Let p = 1977/830 + 3/166. Which is bigger: d or p?
p
Let f = 184 + -204. Let p = 94/3 + -92/3. Is p less than f?
False
Let j be 4 - (2 - (625620/8)/5). Let d = 15967 - j. Let w = d - 336. Does -12 = w?
False
Let v be ((-20)/15)/(6/153). Let b be 39/(-14) - v/119. Which is smaller: -1/2 or b?
b
Let s(y) = 46*y + 27. Let r be s(3). Let v = r + -3797/23. Let w = 0.3 - 0.3. Which is smaller: v or w?
v
Let c be (-28)/3066*17960/(-6). Let j = -194/219 - c. Which is bigger: -27 or j?
-27
Let u = 18541116/725 - 25574. Let f = u - 4/25. Suppose q + 13 = -4*o + 1, -5*q + o = -3. Which is bigger: f or q?
q
Let n = -19215 + 18374. Which is greater: n or -4?
-4
Let j = -6076 - -6050. Let x(t) = t**2 + 9*t + 5. Let l be x(-6). Which is greater: l or j?
l
Let n be ((-112)/(-49) - 8)/((-2)/7). Let a = 20 - n. Is 3 smaller than a?
False
Let g be (-4)/(-54) + 11218/(-36261). Let r = -7 + 11. Suppose r*z + 0*z = 0. Is g at most z?
True
Let l = -376 + 379. Suppose 490 = -5*p - 5*t, -2*p - l*t - 290 = -97. Is -105 less than or equal to p?
True
Let a be 6/(-524)*268/201. Is a smaller than -0.06?
False
Let o = -15018/785075 + 11/775. Which is smaller: 0 or o?
o
Let w = 5401 + -5858. Do 3 and w have different values?
True
Suppose 3*h - 8057 = -4*d, -5*d + 2*h = 1744 - 11798. Which is smaller: d or 2015?
d
Let r be 5/(1350/1342) - (18 + -13). Suppose -2*i = 2*i - 4. Is i > r?
True
Suppose -74*k = 51*k - 28875. Which is greater: 215 or k?
k
Let k = -9 + 8.8. Let s = 0.11361 + -45.11361. Which is smaller: s or k?
s
Let v = -1707 + 1696. Which is smaller: v or -312/25?
-312/25
Suppose -23*j - 4*r + 3538 = -24*j, 5*r + 7063 = -2*j. Which is greater: j or -3533?
-3533
Let j = -7.3 - -1.4. Let d = j - -2.9. Which is smaller: 0.035 or d?
d
Let w = -1.3 - -7.3. Suppose 9*u + 30 = -u. Let k be u/(-2)*(-126)/(-27). Is k < w?
False
Let j(y) = 2*y**2 - 10*y - 5. Let p(u) = u**2 - 5*u - 2. Let s(f) = 2*j(f) - 5*p(f). Let a be s(4). Which is smaller: a or 3?
3
Let j = -401.1 - -325. Let o = -76.54 + 0.54. Let p = j - o. Which is bigger: 30 or p?
30
Let l = -933 - -1365. Let p be (9/27)/(3/l). Which is bigger: p or 334/7?
p
Let l = -218 - -106. Which is bigger: -114 or l?
l
Suppose -3*u = u + 1180. Let j be ((-2)/u)/((-32)/40). Let q = -27/295 + j. Is 0 smaller than q?
False
Suppose -20 = -5*p, -4*p = -3*y + 31 + 175. Suppose 128 = x - 9. Let f = 210 - x. Does y = f?
False
Suppose 3*v = -3, -j - 5*v + 6*v = 84. Let h = -40 - 3. Let m = h - j. Which is bigger: 0 or m?
m
Let z(b) = -2*b**2 + 19*b - 1. Let k(w) = -w + 11. Let n be k(3). Let a be z(n). Is a at most 22?
False
Let t = -3.82 + 6764.82. Which is smaller: t or 0?
0
Let g = -1921/2 + 961. Let l be 108/(-30) - (-3)/5. Let f be l/12*(-12)/51. Is g equal to f?
False
Let r = 1045/8 + -131. Let j = 137 - 135. Which is smaller: j or r?
r
Let g = -5591 + 1257983/225. Which is greater: g or 1?
1
Let c = -1488 + 1399.9. Let y = c + 92. Let q = y - 4. Which is greater: 8.4 or q?
8.4
Let p = -6917 - -6921. Which is smaller: p or -239?
-239
Suppose -s = w - 13 + 14, 2*s = w - 11. Suppose -w*y = -3*b + 18, -2*y + 2*b + 2*b - 12 = 0. Is -57/8 not equal to y?
True
Let z = -2.878 + -0.022. Let t = z - -2.8. Let p be ((-120)/612)/(4/(-6)). Is t <= p?
True
Let m be -68 + (0/((-2)/2))/(-2). Let u be ((-9)/6*1)/((-2)/m). Let o = u - -50. Is o at most -1/14?
True
Let j be 2/13 + (-1415)/(-13). Suppose -780 = 24*t + 732. Let y be 42/t*(-2)/(1 - j). Which is smaller: -1 or y?
-1
Let d = -90617 - -3986907/44. Which is smaller: d or -4?
d
Suppose 16*y - 12*y - 3331 = 5*g, 3*g + 2004 = -3*y. Let i = g + 663. Let x be (-2)/5 + (-154)/40. Are i and x unequal?
True
Suppose 3*g + 5 = 2*t - 87, -3*t - g + 116 = 0. Is -10 < t?
True
Suppose 22*g - 31 = -9. Let y = -26428/2941827 - 2/13433. Which is greater: y or g?
g
Let s be ((-8832)/207)/(2/(-12)). Which is bigger: s or 252?
s
Let d(k) = -k**2 - 25*k + 250. Let r be d(8). Which is smaller: r or 13/5?
r
Let p be ((-570)/(-108))/(-5)*28/273. Which is smaller: p or -1?
-1
Suppose -95964*t + 95941*t + 714656 = 0. Which is smaller: t or 31073?
t
Let g(h) = 14*h**2 - 53*h + 17 - 48*h + 86*h - 2*h**3 - h**3. Let m be g(5). Which is smaller: -81 or m?
m
Let z be (-3)/(-9)*(-1)/139. Let g = 1236737465/549073908 + -8/987543. Let k = g + z. Do -3 and k have different values?
True
Let w be (5/1)/(105/504). Let d(c) = c**3 - 25*c**2 + 18*c + 99. Let k be d(w). Is -45 smaller than k?
False
Let y be (3/(-18))/(7/3). Let c = -244 + 272.1. Let i = 28.3 - c. Is i >= y?
True
Let p(t) = -t**2 + 39*t + 113. Suppose 12*d - 9*d - 126 = 2*y, 2*d - 84 = -y. Let g be p(d). Are g and -28 equal?
False
Let j be ((-2)/(-4))/((-3)/18). Let c = 161 + -817/5. Is c at least as big as j?
True
Let g = 120.7 - 203. Let y = 43.3 + g. Is y >= -2/3?
False
Suppose 142 = -83*o + 225. Is o at least 2/4977?
True
Let k(d) = -19*d + 108. Let j be k(6). Let n be (27/(-12) - j/(-8)) + 3. Which is bigger: -34/27 or n?
n
Suppose 0 = -5*s + 5*y + 79 + 81, 0 = -y - 3. Suppose -i - 1 = -5*f, -4*i + 5*i + 2*f + s = 0. Suppose -2*n + 100 = -7*n. Is n bigger than i?
True
Let d(l) = 3*l + 74. Let b be d(-23). Suppose 3*i = -0*u - 5*u + 20, 5*u - b*i = -20. Is -0.78 smaller than u?
True
Let z be (-143)/(-2 - (-1 + 0)). Let c = -59.745 - -58.745. Is c > z?
False
Let y(l) be the first derivative of -25*l**2/2 + 290*l - 174. Let f be y(-14). Is f != 639?
True
Let c be ((-1)/(-3))/((12 + -6)/90). Suppose c*k - 3*z + 12 = 0, 15*z - 11*z - 16 = -4*k. Let d be ((-12)/657)/(4/6). Which is smaller: d or k?
d
Suppose -40*c + 712 = -728. Let u be 12/279*c/32. Is u < -2?
False
Let d(v) be the second derivative of 15*v - 1/2*v**2 - v**3 + 1/12*v**4 + 0. Let t be d(6). Is -4/19 less than t?
False
Let v be 4/(-22) + 8 + -8. Let z be 3 - (18 + 3)/3. Let m = z + 4. Does m = v?
False
Let d = 247.4 + 1105.6. Let l = d + -1361.07. Let i = l - -0.07. Which is bigger: 1/7 or i?
1/7
Suppose -4*u + 7 + 17 = 0. Suppose u*x + 9 = -15. Suppose 0 = -4*h - 2 - 18. Is x > h?
True
Let d = -25598 - -25403. Is -187 at least as big as d?
True
Let p = -6/13151 - -5562987/249869. Let c = p + -117228/209. Let f = -539 - c. Which is greater: -1 or f?
f
Let c = 9759 + -10216. Which is greater: -452 or c?
-452
Suppose 49 = l - 0*l + 5*h, 4*h = -3*l + 114. Let i = l + -8. Let p be 5 + 0 + (-23)/(-1). Is p at most i?
False
Suppose 26*x + 24*x - 4536 = 42*x. Is x < 567?
False
Let i be (-8)/6*15/970. Let u(f) = -f**2 - f + 21. Suppose -16 = 4*g - a, 3*a + 31 = -3*g + 4. Let z be u(g). Are i and z equal?
False
Suppose -2*x + 2*y + 252 = 2*x, -5*x + 5*y + 305 = 0. Let u = x + -53. Let r be 3 - 10/u*-2. Is r at least 4?
True
Let d(v) = -v**3 + 5*v**2 + v - 4. Let u be d(5). Let a(m) = -8*m**2 - 133*m - 88. Let t be a(-16). Let h be (t/352)/(u/(-1 - -2)). Which is greater: 0 or h?
0
Let z = 3941 - 19969046/5067. Does 1 = z?
False
Suppose -52 = 4*j - 60. Let d(g) = 26*g**2 - 69*g**j + 13*g**2 + 12*g**2. Let r be d(1). Is r < -18?
False
Suppose 4*v + 53 = -11. Let s = 7.374 - 6.5. Let g = -0.126 - s. Are g and v unequal?
True
Suppose -5*t + 39 = l, t = -282*l + 286*l + 12. Is -54/527 less than l?
False
Let w(q) = 2*q - 1. Let f be w(4). Suppose -23*z = 18*z - 20*z - 231. Is f greater than or equal to z?
False
Suppose -2*m - 18 = -5*v, -4*v - 5*m - 1105 + 1060 = 0. Are 1852 and v non-equal?
True
Let a be (-2)/2 - (1 - 6). Let q be 2/(-1) - (108/144)/((-2)/16). Suppose 0 = 5*u - a*d - 18, 2*d + 2*d = -q*u. Is u less than -1/6?
False
Let o = 134 - 97. Suppose 19*v - o = 1. Suppose v*y + 16 - 1 = -3*a, -y = 3*a + 15. Which is bigger: -1/51 or y?
y
Let p(v) = 5*v + 2. Let m be p(1). Suppose -a = m