96. Suppose -31*n - 365 = -86. Does n = y?
False
Let y = -213 - -217. Let g be (5/(-12))/(-2 + 6/y). Which is smaller: 1 or g?
g
Let a be (4 - 1)/(2/6). Let s = a - 13. Suppose -t = 0, -9*t + 8 = -2*b - 5*t. Is s bigger than b?
False
Let a = -29.133 - -29.7. Let g = 0.467 - a. Which is smaller: g or -82?
-82
Let u(i) = 19*i**2 + 9*i - 2. Let o be u(6). Let p = o - 1432. Let g be p/1980 + (-1)/(-3). Is 1 smaller than g?
False
Let t = 20.7 - 16.7. Let n = 1081 + -1071. Is t at most n?
True
Let w = -37829825541/36372775 + -2/2139575. Let l = -1039 - w. Is 1 less than or equal to l?
True
Suppose -144 = 88*c - 136*c. Let y = 0.17 + -0.01. Which is bigger: y or c?
c
Let x = 308 - 301. Which is bigger: x or 714?
714
Suppose 0 = -24*v + 27*v + 5*a - 15, v = 2*a - 6. Let r be (-2)/(-8) + (-413)/1820. Which is greater: r or v?
r
Suppose -10 = -16188*o + 16178*o. Which is smaller: o or 27/107?
27/107
Let i = 8.78 + -136.95. Let r = i + 128. Which is smaller: r or -1/2?
-1/2
Let j be -44*((-273)/(-52))/(0 - (-6 - -3)). Is -69 at most j?
False
Suppose 4*j = 3 + 17. Let p be (7 - 5)/2 - 41/j. Let r = 118/15 + p. Is 11/4 less than r?
False
Let u be 2/77*(147 + -114). Which is smaller: u or -3/188?
-3/188
Let m(b) be the second derivative of b**5/20 + b**4/6 - 8*b**3/3 - 17*b**2/2 + 41*b - 2. Let s be m(-4). Is s at most -2?
False
Let f = 57 + -71. Let k be (19/1)/((-2)/f*1). Let x be 105/30*1/(k/(-3)). Does 1 = x?
False
Let k = -820 + 820.0295. Let t = k + 59.2705. Are 2/5 and t nonequal?
True
Suppose 3*l + 4*b - 4 = 0, 2*l + 2*l - 3*b = -3. Suppose -12*j + 7*j - 5*u + 60 = l, -j + u = -8. Is j equal to 120/13?
False
Let l = -10.091 - -10.041. Is l < 2/21?
True
Let p = -314 + 331.8. Let h = p + -17.77. Is h less than 14?
True
Suppose 0 = -3*b + 6*b + y - 1420, 5*b = -4*y + 2362. Let t be -4 - (b/(-42) - -8). Are t and 4/7 equal?
False
Suppose -29 = -2*a + 1. Let z(n) = -11*n + 25. Let m be z(2). Suppose -7 = -t + 5*l + 29, 0 = -m*t - 2*l + 40. Is a smaller than t?
True
Let p = 1043/33 - -33089/561. Are p and 90 equal?
False
Suppose 4*b + 299 + 129 = 0. Let l = b + 122. Is l > 43/3?
True
Let k = 191 + -121. Let d = -68 + k. Which is bigger: d or 44?
44
Let m = 103229/46292 - 158/71. Which is smaller: -1 or m?
-1
Let v = -2798/69 + 124/3. Suppose 47*l - 59 + 12 = 0. Which is smaller: v or l?
v
Let z = -238 + 233. Let a be (-6 - z)*4 - -4. Let m be 0 + -2 - (-57)/24. Which is bigger: a or m?
m
Let x(g) = -5*g**2 + 281*g + 227. Let u be x(57). Do -1/10931 and u have the same value?
False
Let t be (15/6 + -2)*-2 - -81. Suppose 2*d = 2*m + t, -d - 164 = -5*d + 3*m. Let b = d - 701/16. Which is bigger: -1 or b?
b
Let b be (-1)/13 + (-1056)/(-208) + -19. Is b > -28?
True
Let x = 1.1636 + -1.0734. Which is greater: x or -0.2?
x
Let o be (-8)/(-48) - 2955/24. Let n = o - -123. Is n bigger than -0.2?
True
Let w(k) = k**3 + 19*k**2 + 31*k - 23. Let q be w(-19). Let l = -535 - q. Which is greater: 76 or l?
l
Let x = 488.698 + -0.698. Let a = -489 + x. Which is bigger: 18 or a?
18
Suppose 709 - 5989 = 12*y. Suppose -14*x = -4*x + 4390. Is x greater than or equal to y?
True
Let p be 23185/(-39410) + (-32)/(-56). Which is greater: 0 or p?
0
Let s = -0.24 + 0.14. Which is bigger: s or 10140?
10140
Let c(f) = f**3 - f**2 + 20*f - 38. Let l be c(4). Let j = 0 - -3. Let b be ((-60)/l)/(4/j). Is -0.1 < b?
False
Let g be -4 - (-5)/((-10)/(-8)). Suppose -4*r + r - 2*r = g. Suppose r = -3*t + x - 23, 5*x - 13 = -3*t - 60. Is -9 < t?
False
Let o(w) = 2604*w + 172. Let m be o(2). Which is smaller: 5381 or m?
m
Suppose -v + 11 = 4*o, 137*o - 142*o + 12 = v. Is o less than or equal to -36/83?
False
Let i be 122/(-170) + (-6 - -7). Let u = i + 2308/255. Which is smaller: u or 10?
u
Suppose -994 = -a - 5*v + 2*v, -5*a - v + 4984 = 0. Let x = a - 87733/88. Is x less than -1?
False
Let w = 3369/2613338 + -1/1211. Is -0.2 < w?
True
Suppose -5*l - 129 = w, -2*l - 2*w = 3*w + 70. Which is smaller: -48 or l?
-48
Let j(d) = -12*d - 6*d + 58 - 14 + 6*d + d**2. Let g be j(4). Is 21 at least as big as g?
True
Let r = -4/5387 + -1729211/21548. Let k = -19605/244 - r. Is k bigger than 0?
False
Let f = -2471 + 2471.393. Which is greater: f or -3?
f
Let r = -969 + 968.9. Let p = 1.627 - 0.217. Is p less than or equal to r?
False
Let u = -6 + 5. Let f = -1069/1054668 - 5/5892. Which is greater: f or u?
f
Let x be (-1)/489*(9/(-54))/(21/(-84)). Is -6/7 greater than x?
False
Let d = 19.862 + -19.804. Which is smaller: -11 or d?
-11
Suppose -336 = -970*z + 914*z. Are z and 190/33 non-equal?
True
Let q(a) = -a**3 - 21*a**2 + 35*a + 287. Let h be q(-22). Which is smaller: h or -7.29?
-7.29
Let o be (-11 - (-15225)/63)/(4/9). Let u = -692 - -1212. Which is smaller: o or u?
o
Suppose 41 = 2*s + 35. Suppose -228 = -4*i + 4*r, -5*i + s*r + 229 = -i. Suppose -171 = 5*v + 2*d, -2*v = 5*d + i + 23. Which is smaller: -34 or v?
-34
Let d be 10/(-35) + (-205)/(-7). Let k = -30 + d. Let g be (393/78 - 3 - 3) + 1. Are k and g non-equal?
True
Let w = -8.538 - -0.638. Let p = 1.1 - w. Let k = -1 - 1. Which is smaller: p or k?
k
Let r = 0.08 + 4.02. Let d = 8.8 - r. Let p = 7.7 - d. Which is smaller: p or -3?
-3
Let i = -0.05412 + -0.03588. Let g = -1.7 + 2. Let a = g + -0.5. Which is smaller: i or a?
a
Let n = 6696 - 113825/17. Is 0.4 equal to n?
False
Suppose -f + m = -0*f + 474, -2*m = f + 474. Let r = f - -175. Is r smaller than -300?
False
Let p = -982.91 + 983. Which is bigger: -2/41 or p?
p
Suppose -w = -0*w - 14. Let i be 6 + -5 + 9950/705. Let n = i - -5/94. Is n < w?
False
Let o = 2841 - 2773. Is o at least as big as -0.85?
True
Let n = 1123 + -1082. Which is smaller: n or -1.2?
-1.2
Let f be 55/(-90) + (-9)/(-81). Which is smaller: f or 91.8?
f
Let j(i) be the second derivative of -2*i**3/3 - 3*i**2 + 3*i + 4. Let h be (-8)/16 - 1/2. Let q be j(h). Is -5 > q?
False
Let p be (-39)/(-26) + 418/(-124). Is p < -2?
False
Let s(w) = w**3 + 20*w**2 + w + 26. Let f be s(-20). Let k be ((-2)/f)/(6*8/3312). Which is smaller: k or -21?
k
Let w = -32 + 70. Let t be (-4)/w + (-4680)/(-50958). Let u be 0/(5/(-3) + (-14)/(-21)). Is t bigger than u?
False
Let x = 10.795 + -4.295. Is -0.2 less than x?
True
Let i(k) = k**2 + 34*k + 59. Let v(s) = 2*s**2 + 25*s + 21. Let q be v(-10). Let c be i(q). Which is greater: -0.1 or c?
-0.1
Let o(m) = -m**2 + 7*m + 47. Let q be (21/(-15) - -1) + 518/70. Let g be o(q). Is g at most as big as 47?
True
Suppose 5 = -2*j + 3*d, 2*d = -3*j - 3*d + 40. Suppose -2*h = v + 5, -3*v + 5*h = -13 - j. Let n be v*2 + 36/32 + -5. Is 0 greater than n?
True
Let p = 101.059 - 101. Let q = p + -0.169. Which is smaller: 0 or q?
q
Let u be 6/(-4)*3/(-2). Let x = 1717 - 1718. Let k be ((-14)/(-42))/((-1 + x)/(-12)). Which is greater: k or u?
u
Suppose 0 = -1207*u + 1191*u - 432. Does u = -488/19?
False
Suppose -4*b = 5*n + 775, -3*b = b + 4*n + 780. Suppose 0 = h - 2*t + 205, 0*t = -2*h - t - 400. Which is smaller: b or h?
h
Let w be (180/(-27))/(-10)*81. Is w at most as big as 42?
False
Let q = 56 - 59.3. Let w = 3.36 + q. Let d = -0.04 - w. Is -17 > d?
False
Let h = 6 - 3. Suppose -h*d - 6 = -0. Let w be -2 + -4 + 120/22. Is d at most w?
True
Suppose -4*x - 9*x - 3081 = 0. Let k = -188 - x. Does 49 = k?
True
Suppose 4*l - 1953 = 5*z, -5*z - 979 = 8*l - 10*l. Suppose -17*b - 2476 + l = 0. Which is bigger: -1 or b?
-1
Let z be 2/20*-6 + 6336/11110. Which is greater: z or 0?
0
Let n(d) = d**2 + d. Let p be n(-2). Let z be p/10 + 45/(-100). Let k be (-162)/(-130) - (-28)/182. Which is smaller: k or z?
z
Suppose -2*z + 3*y = -21, -3*y = 7*z - 2*z. Let i(t) = 2*t**2 + 2*t - 8. Let k be i(z). Suppose -k*d = -10*d - 60. Which is bigger: d or 15?
15
Let u be 7750/217 - ((-68)/(-56) - (-6)/(-4)). Which is bigger: 61 or u?
61
Let b be 254158/2092 + 1 + 0/(-3). Let w = 5/523 + b. Let t = 113 - w. Is t bigger than -9?
False
Suppose 0 = -5*m - 2*n - 532, 0 = 3*m + 146*n - 142*n + 308. Is m at most -114?
False
Let t(o) = o**3 + 3*o**2 + 12*o - 11. Suppose 37*v - 7 = 38*v. Let y be t(v). Which is greater: y or -292?
y
Let b(z) = z + 14. Let a be b(0). Let i be (-10)/8 + (-525)/(-84). Let c be (-2)/(88/20 + -4) + i. Are c and a unequal?
True
Let g = 892.8 - 894.8. Let t = 38 + 25. Which is smaller: t or g?
g
Let y be 9*