0))/(8/20). Which is greater: -7 or l?
-7
Let t = -363.67 - -160.67. Is -9/5 < t?
False
Let z = 65029/4590 + -2/2295. Is 15 at most as big as z?
False
Let t = -116 - -104. Let s be (-4 - (-90)/24) + (-131)/t. Which is smaller: 10 or s?
10
Suppose 1168 = -2*r + 7*r - y, 0 = -3*r + y + 700. Let t = r + -349. Does -113 = t?
False
Let j = -37/8422255 - 35415061019/118652728440. Let h be ((-22)/(-44))/((-587)/8). Let k = j - h. Is k > -1?
True
Let x(y) = -9*y**3 - 2*y**2 + y + 1. Let b be x(2). Let i = b - -109. Suppose 9*h - 14*h - 61 = -m, -3*m = -4*h - 117. Which is smaller: i or m?
m
Suppose -3 = 5*q - 13. Let p be -1 + q - 14/10. Suppose 5*s - 15 = -5*j, 0 = -2*j - 5*s + 13 - 1. Is j >= p?
True
Let y be (-33)/2*-28*9/(-189). Let n be 288/448*(-5 - -2)*12. Are y and n equal?
False
Let n = -36 - -64. Let c(k) = -143*k**2 + 5*k + 1. Let g be c(1). Let v = -137 - g. Which is greater: n or v?
n
Suppose 23*t - 4375 = 5*s + 24*t, 4375 = -5*s + 5*t. Are s and -1/6 nonequal?
True
Let b = 4270/11 - 388. Is b less than or equal to 0.0994?
False
Suppose -4*s + 3*p - 8 = 0, 182*s - 178*s - 16 = -3*p. Which is smaller: s or 1/29181?
1/29181
Let k be (36 + 4 + -3)*-11. Is k less than -409?
False
Suppose 0 = 5*k + z - 4, -5*k + 15*z + 12 = 18*z. Let m be 9/(-24) - 27867/(-74184). Which is bigger: k or m?
m
Let b = 3099 + -2849. Which is smaller: b or 5?
5
Let m = -184 + 186. Suppose -z + 5*w - 24 = 0, w + 2*w - 13 = m*z. Is -89 <= z?
True
Let v = 10300 + -10279. Let b = 14 - 15.8. Let j = b + 2. Is v != j?
True
Suppose 3*v - 20 - 3 = k, v - 3 = -2*k. Suppose -142 = -v*c - 135. Which is smaller: c or 1/20?
1/20
Let m = -96707.063 - -96591. Let s = -116 - m. Let x = -1.837 - s. Is 2 greater than or equal to x?
True
Let i be (-1 + 0)*(2 - 5). Suppose -5*k - 3*w = -31, 10 = 3*k + i*w - 5. Let r be k/(-2) - (-4 - 1). Is -1/131 at least as big as r?
False
Let k be (-2)/(-9)*(-1037 + -55)*3 - 4. Which is smaller: -724 or k?
k
Let l be 12 + 130*175/(-1900). Which is greater: 3/20 or l?
3/20
Suppose -3*l - 83 = -4*f + 8*f, -2*f = 2*l + 58. Let g = -8 - l. Suppose 2*w + 5*t = -28 + 76, -72 = -3*w + 4*t. Which is smaller: w or g?
w
Let a = 19379 + -19424. Is 39 >= a?
True
Let p(n) = n**2 - 9*n + 6. Let q be p(9). Let u be 4/108*q + (-16)/(-9). Suppose -28 = k - u*k. Are k and 29 nonequal?
True
Let h = 155743/58 + -2685. Is h > -1?
True
Let h(d) be the third derivative of d**5/60 + d**4/6 + 14*d**2. Let a = 24 - 26. Let l be h(a). Is l <= -16/3?
False
Let d = 5.01 - 6.01. Let y = -1 - -1.1. Let a = -0.4 - y. Are a and d equal?
False
Suppose 0 = -4*q - 4*n - 1912, -4*q + 8*n - 1921 = 9*n. Is -481 < q?
False
Let w be -5 + 2 - (-11180059)/437206. Let g = w + -1/5678. Let h = 7096/315 - g. Is 1 at most as big as h?
False
Let d be (-25)/100 + 309/4. Suppose 0 = -11*y + d + 11. Let w be (y/(-924) - 0)/2. Is -1 at least as big as w?
False
Let w = 0.8486 - -0.1514. Is 5384 at most as big as w?
False
Suppose -95*x - 66 = -29*x. Which is smaller: -6/241 or x?
x
Let u(s) be the first derivative of -s**4/4 - 17*s**3/3 - 9*s**2 - s - 9. Let n be u(-16). Suppose 3*b + 23 + n = 0. Which is bigger: 2 or b?
2
Let m be 4 + 13680/915 - 19. Suppose q + q = -2. Which is smaller: m or q?
q
Let s be (0/2)/((-24)/72*(5 + -2)). Is s greater than 10/1553?
False
Let q = -17351/19 + 913. Let z = -10200 + 10200. Is q greater than z?
False
Let z = 293839/4 - 73842. Is -381 greater than or equal to z?
True
Suppose x - 502 = 6*y - y, 1542 = 3*x - 3*y. Is 516 bigger than x?
False
Suppose 0 = -4*w - 4*g + 2222 - 11682, -g - 9472 = 4*w. Does -2369 = w?
True
Let a = -40 - -42.87. Let u = a - 3.17. Let b = 472/55 + -90/11. Do u and b have the same value?
False
Let x be (12/(-20) + (-273)/(-105))*(-2)/4. Which is bigger: -20/123 or x?
-20/123
Let u be 6/57 + 27160/(-232750). Suppose -5 = -5*w - 2*g, -2 = -3*w - 3*g + 2*g. Which is bigger: u or w?
u
Let o = -3.565 - -3.901. Is 9 less than o?
False
Let g = -0.31 - -0.3. Let m = -166 - -147.9. Let t = -19.1 - m. Which is greater: t or g?
g
Let n = -1489/2466 + 11/18. Which is smaller: n or 1?
n
Suppose -4*z + 3 = -a, 2*z - 4 = -3*a - 13. Let y = 2061479/297 + -6941. Which is smaller: z or y?
z
Let u = -54949 + 1924037/35. Is 22 at most u?
True
Let d be 1*3*39/(351/(-60)). Let h be (260/(-2))/((-50)/d - 3). Which is smaller: 0.2 or h?
0.2
Let a(b) = 35323*b**3 - 7*b**2 + 9*b + 6. Let d be a(-7). Let l be (d/(-34))/(2/((-24)/598)). Let t = l - -7151. Is t bigger than -1?
True
Let r = 2577 - 2581. Is -79/30 at most r?
False
Let r(x) = -12*x - 79. Let c(d) = 3*d + 20. Let j(q) = 9*c(q) + 2*r(q). Let g be j(-6). Let l(o) = -o**2 - o + 2. Let p be l(g). Is -19 equal to p?
False
Let q = 32 - 30. Suppose n - 59 = -36*z + 33*z, 4*z + 4*n - 92 = 0. Which is bigger: z or q?
z
Let y = 815602462/439103 + -4/439103. Which is greater: 1858 or y?
1858
Let d = -281.25 - -281. Let a = 0.25 - d. Which is bigger: -1 or a?
a
Let n = 13372 + -12087. Which is greater: -0.1 or n?
n
Let k be (9/2)/((-27)/(-36)). Suppose i - b + 21 = 4*b, -2*b + 10 = 0. Let p be 6/(i/2 - 1). Is k != p?
False
Let j = 114.872 - 115. Let s = j - -0.228. Which is greater: -103 or s?
s
Let o = -102 + 102. Suppose o*p = 5*h + 3*p - 531, -3*p = -h + 117. Let w = -115 + h. Which is bigger: -5 or w?
-5
Let f be ((-534)/(-3))/((-6 - -8)*4/(-20)). Which is greater: -441 or f?
-441
Let a = -355348005 + 174831805415/492. Let j = a + -1193. Is 0 less than or equal to j?
False
Let p be (-2*2/(-8))/((-4)/(-64)). Suppose 7*i + 24 = p*i. Suppose i = 7*m + m. Is 2 greater than or equal to m?
False
Let j be (-13 - -25) + (0 - (1 + 10)). Which is bigger: -20/799 or j?
j
Suppose -3*h = 63 + 213. Let n = 117 + h. Is 31 not equal to n?
True
Let t(y) = -14*y - 819. Let c be t(-68). Which is smaller: 134 or c?
c
Let m = 1.9013 + -44.7933. Let c = m + -0.108. Let s = c - -37. Is -2/5 > s?
True
Let o = 0.08746 + 3.91254. Is o at least as big as 262?
False
Let f be (60158/(-98644))/(0 - 1). Let m = -3/542 - f. Is -1 > m?
False
Let u = 117306/11 + -10676. Suppose -y + 4*m - 7 = -0*y, -m - 45 = 4*y. Is y at least as big as u?
True
Let b = 7 + 13. Let u(k) = -k**3 + 19*k**2 + 19*k + 20. Let j be u(b). Suppose -2*d + 44 + 44 = j. Is -1 bigger than d?
False
Let l(m) be the second derivative of 0 - 12*m + 2*m**3 + 1/12*m**4 - 23/2*m**2. Let k be l(-8). Is k != -56?
True
Suppose -384*f - 935049 = 27*f + 1420803. Is f at least as big as -5732?
True
Let z(d) = -126*d - 102. Let l be z(0). Let n = -62 + -41. Is n < l?
True
Let x be (-1612)/(-162) - 1 - (-3 - (8 + -20)). Let h = -1 - -1. Which is bigger: h or x?
h
Let z = 0.213 + 2.787. Let t = 157 - 155.01. Let j = t - 2. Is z less than j?
False
Suppose 0 = 2*l - 2*n - 10, -n = -6*l + 4*l + 15. Suppose -859 = l*v + 71. Which is bigger: -1 or v?
-1
Let c = 4796 + -4576. Which is bigger: 232 or c?
232
Let w = 59 - 47. Suppose -3*n = 2*n + 2*b - 225, 2*b + 10 = 0. Let a = -34 + n. Is a > w?
True
Let h = 20/30391 - 21456906/1306813. Is -17 bigger than h?
False
Let d be (-35)/(-45) + -7*14/(-441) - 0. Which is smaller: d or -18/739?
-18/739
Let j = 6237 + -3835. Is 2/7 < j?
True
Let v = -17 - 35. Let q = -54 - v. Let j be 1/(-3 - (-156)/57). Is q at least j?
True
Let z = 2.8111 + -2.9111. Which is smaller: 297.1 or z?
z
Let p = -5 - 10. Let x = -24 - p. Let o = x + 1. Is o greater than -2/3?
False
Let g(w) = w**3 - w**2 - 271*w - 538. Let s be g(-2). Let b be ((-87)/5)/3 - 1. Which is smaller: s or b?
s
Suppose -72*t = 86*t + 158. Is t < 4/12341?
True
Let n be -89 + 90 - -32*(-16 - -1). Let g = 480 + n. Is g > 17?
False
Let r = -18269.983 - -18270. Which is smaller: r or -0.049?
-0.049
Let s = 3067 + -3066. Is s less than or equal to 31/15?
True
Suppose 0 = 51*z - 529 - 797. Suppose 2*a - z*a = 24. Which is smaller: a or -2/65?
a
Suppose -6399 = -9*q - q - 36249. Which is smaller: -2984 or q?
q
Let g = -1572/7 - -220. Let n be ((-50)/(-35))/(24/(-74)). Let b = n - g. Do -1 and b have the same value?
False
Let g be (-2)/((-39202)/(-7))*682/(-2387). Is g greater than or equal to 0?
True
Suppose -4*m + 4*c - 24 = 0, -4*c = 11*m - 12*m - 9. Let b(k) = 2*k**3 + 14*k**2 + 14*k - 10. Let v be b(m). Which is bigger: 38 or v?
38
Let i = -27084 - -27072. Is -623 bigger than i?
False
Let g be (-11)/44 