79/182 + -13). Which is greater: 24 or l?
24
Let o = 22213/17918 + -73/62. Is o >= 1?
False
Let b = 7203/8 - 79257/88. Is -615 at most b?
True
Let q(l) be the first derivative of l**4/4 - 14*l**3/3 + l**2 - 21*l + 31. Let h be q(14). Suppose 5*f - 15 = d, -5*f + 22 = h. Is -2/3 smaller than d?
True
Let d be 35/(-100) - (-3)/5. Let n = 1202/63 - 132/7. Is n > d?
False
Let g be 0 - 1*(1 - -161). Suppose 550*o = 680*o + 20930. Is g greater than or equal to o?
False
Let z be (-27)/15*(-4)/24*10. Let v be (2/z)/(7/(-21)). Let s be (6/(-64))/(2/56). Is s <= v?
True
Let q = 797 - 925. Suppose 5*k + 8*w - 11*w + 645 = 0, 2*k - 4*w + 258 = 0. Which is greater: q or k?
q
Let v = -249.7 + 248.4. Which is smaller: v or -14.8?
-14.8
Let g be ((-1)/(-12))/((-3)/(-80)). Let x = g - 26/9. Let a be -5 + 504/112 - 5/(-26). Is x at most as big as a?
True
Let r be (5817/(-14))/(-2 + -1). Let y = 720 - 580. Which is smaller: y or r?
r
Let t = 49 + -51. Let a be -3 + (244/(-2))/t. Let x = a + -59. Is -4/23 equal to x?
False
Let o(p) = 6*p**3 - 21*p**2 + 40*p + 10. Let c(r) = -5*r**3 + 20*r**2 - 39*r - 11. Let a(x) = -7*c(x) - 6*o(x). Let g be a(-16). Which is smaller: g or -153?
-153
Let j = -41 - -41. Suppose j = l - 3*m - 14, -3*m + 3 = -4*m. Suppose 0 = 6*i - l*i + 13. Is i not equal to -12?
True
Suppose -2*f = -3*s - 6*f - 1596, 0 = s + 3*f + 527. Which is bigger: -538 or s?
s
Let m = 3403 - 3314. Is 88 less than m?
True
Let r = -10 + 14. Let w be 2/r*248/20. Let g be (1 + -22 + 1)*(2065/140 + -15). Which is smaller: w or g?
g
Let w(m) = m**2 - 4*m + 27. Let n be w(8). Suppose n = 4*k - 161. Let b be (2/(-4))/(1 - k/70). Which is greater: b or -2?
-2
Let u(h) = h**3 + 3*h**2 + 20*h + 57. Let m be u(-3). Let l = 1007/3 + -3035/9. Which is greater: l or m?
l
Let d = 4442 - 4442. Is -7/313 > d?
False
Let h = -1010 + 1532. Which is bigger: h or 520?
h
Let f = -137/187 + 459411/626824. Which is greater: 0 or f?
f
Let k = -220 + 282. Suppose 2*s - k = -86. Let a be -4 + 2 - (-14)/6. Which is greater: s or a?
a
Let s = 2 + -4. Let h = -105 - -40. Let y = h - -74. Is s <= y?
True
Let i = -22130.4 + 22130. Which is bigger: 1065 or i?
1065
Let d = 36.49 + -0.49. Let c = -35.6 + d. Which is smaller: -0.07 or c?
-0.07
Let n = 20.29 - 2.35. Let s = n - -0.06. Let u = -10 - s. Which is smaller: 0 or u?
u
Let d be 1808 + 2 + (345 - 352). Which is greater: 16240/9 or d?
16240/9
Let h = -0.052 - -518.052. Let w = h + -514. Is 1/2 less than or equal to w?
True
Suppose -26*x - 260 = -31*x. Suppose 0 = -x*v + 54*v. Let b be (-2)/(-6) - (-4)/((-10704)/868). Which is smaller: b or v?
v
Let o be ((-875)/14)/(-5)*(-8)/(-10). Are o and 182/19 nonequal?
True
Suppose 5*l + 2*n = -n + 286, 0 = 5*l - n - 278. Suppose -l = 3*r - 4*f, -4*r - 58 = -5*f + 16. Which is greater: -125/8 or r?
-125/8
Let p = 110283/21348142 - 7/12262. Which is smaller: 1 or p?
p
Let u be 1306/(-8)*(-68 - -64). Is u equal to 653?
True
Let z(w) = w**2 + 6*w - 7. Let k be z(-7). Let g(b) = -3*b - 2. Let o = -32 - -31. Let i be g(o). Which is bigger: k or i?
i
Let m(z) = -z**2 + 43*z - 73. Let t be 289/7 - 18/63. Let x be m(t). Let c be ((-3)/5)/(2/(-26)). Is c less than x?
True
Suppose -4*m = -2*r - 12, 0 = 3*r - 3*m + 8*m - 26. Suppose r*a = -s - 2*a + 32, 0 = 5*s - 5*a - 60. Is s < 17?
True
Let s be ((-48)/360)/((-6)/45). Let u be (-2)/((8/10)/(-4)). Let a = u + -10. Are s and a nonequal?
True
Let a = 13254 + -14928. Is -1674 at most as big as a?
True
Let s be (8 - (-468)/(-27))/((-4)/(-6)). Let n be 0 - ((-9)/(-12))/(4/32). Is s bigger than n?
False
Let d be (104/9646*(-6)/(-8))/3. Which is smaller: d or -0.6?
-0.6
Let n(q) be the third derivative of q**6/60 + 13*q**5/60 - 5*q**4/24 + 7*q**3/3 - q**2 + 2. Let x be n(-7). Which is smaller: x or -4?
-4
Let l = -20320 + 18780. Is l less than 1?
True
Suppose -5*c + 6272 + 5739 = -s, 0 = 3*c + 15. Let v = s - -96555/8. Which is smaller: v or 34?
v
Let i = -123 + 123.63. Let f = i - 0.39. Is f bigger than 2?
False
Let x = -6.047 + 0.047. Is x >= 0.2?
False
Suppose 306*l = 300*l + 6. Is l greater than 2332?
False
Let z = 1397.7 + -1397.8. Which is smaller: z or 251?
z
Suppose -3*u = 4*u + 21. Let p be (-69 - -73)*u/(-2). Let s = -0.29 - -0.3. Which is smaller: p or s?
s
Let c(v) = -104*v - 4691. Let i be c(-45). Is 4 greater than or equal to i?
True
Let r be (-4 - 9/54*9) + (-42)/(-7). Let l = -0.06 + 0.03. Which is smaller: l or r?
l
Let f be ((-3)/6)/((-6)/(-20376)). Let s be (-63)/9 - f/252. Is -1 < s?
True
Let r = 97548 - 974397/10. Which is greater: 107 or r?
r
Suppose 5*p - 2*j = 40, 2 = -6*p + 3*p - 4*j. Suppose 0 = -p*q + 11*q. Let c(z) = -88*z + 175. Let y be c(2). Which is smaller: q or y?
y
Let l = -3.2 - -15.7. Let d = 9.5 + -5. Let n = d - l. Which is smaller: n or -1/3?
n
Let t(n) = n**3 + 27*n**2 - 23*n + 142. Let p be t(-28). Suppose -p*l - 32 = 452. Which is bigger: -243 or l?
l
Let t(q) = q. Let c be t(6). Let p be (-1737)/(-63) + c/14. Let l = 28 - p. Which is greater: l or 2/37?
2/37
Let w(c) be the second derivative of c**3/3 + 9*c**2/2 - 4*c. Let g be w(-6). Let o be (56 - 43)/(7*-1). Which is smaller: g or o?
g
Suppose -2246*o + 2277*o + 19189 = 0. Which is smaller: o or -621?
-621
Let v be 1/((-12)/(-126))*60/(-9). Let f = v - -352/5. Which is smaller: 14/9 or f?
f
Let y be (-226)/(-1243) + (2 - 86*1611/66). Are -2097 and y equal?
True
Suppose 0 = -c - 3*a - 156, -5*a + 852 = -3*c + 440. Is c < -147?
False
Suppose 5*i + 3*f = -2*f + 50, f - 5 = 0. Suppose 2*v - 19 = -5*o, -i - 6 = -3*o - v. Suppose -6*y - 12 = -o*y. Is y greater than -22/7?
False
Let m = -62 - -85. Suppose 0 = 5*u - 5, -8*h + 10*h - 32 = 2*u. Which is smaller: m or h?
h
Suppose 2*t + 5*w - 11 = -45, 0 = -t + 2*w - 8. Let p be -2*(-543)/264 - 3/t. Do p and 1 have the same value?
False
Let g = -0.053 + 2.053. Suppose -1020 = -6*w - 318. Let y be 3/(-2)*(24/w)/(-2). Which is greater: g or y?
g
Let g(t) = t**3 - 22*t**2 + 40*t. Let m be g(20). Let d be (-1*1/15)/(36/(-10)). Are m and d nonequal?
True
Let z = -238/5 + 7849/165. Let q = -107 + 109. Suppose 0 = -6*p + q*p. Is z less than p?
True
Let l = -1127 + 1112. Is 75 greater than or equal to l?
True
Let b = 24562 + -4676. Is 19886 at most as big as b?
True
Let g(c) = 3*c**3 - 9 - 3*c**3 - 4*c + 2*c**3 - 3*c**3 - 2*c**2. Let z be g(-3). Suppose z = 19*y - 18*y. Is 1 != y?
True
Let n = 53 - 50. Suppose -n*j = 8 - 2. Let b = -14.7 + 8.7. Is b less than j?
True
Let y be (10 + -8)/((-4)/(-238)). Let v = -115 + y. Which is smaller: 16 or v?
v
Let g(v) = -95*v - 4465. Let s be g(-45). Which is greater: -184 or s?
-184
Let d = 7624 + -7624. Is d at most as big as -6.873?
False
Let l = 2185 + -2318. Which is smaller: l or 0.01?
l
Let g = 262 - 152. Let w be 115*1 - (32 + -30). Which is smaller: w or g?
g
Let q be (2160/16)/(-27)*1/(-5). Is 17/9 at most q?
False
Let z be 32/(-288) + (-1)/((-9)/10036). Which is greater: 2 or z?
z
Let c(x) = -4*x**3 - 4*x**2 + 66*x + 140. Let h be c(-2). Is -409 bigger than h?
False
Let j be ((-1)/(-2))/(196/(-392)). Are j and -83/76 non-equal?
True
Let a = 175 + -322. Let b = a + 253. Which is bigger: b or 0?
b
Suppose 0 = 4*m + z, -5*m + 2*m - 131*z + 130*z = 0. Is m at most as big as -1/7083?
False
Let b(c) = -c**3 - 44*c**2 - 84*c + 41. Let g be b(-42). Let t be (-48)/20*g/(-2). Which is greater: 2 or t?
t
Let k = -67883/696 + 2646/29. Let a = -141/8 - k. Let r(j) = -3*j**2 + 18*j + 10. Let f be r(7). Does f = a?
False
Suppose 2*d - 276 = 496. Suppose -m + 5*m = -2*o - d, 5*m = 0. Is -192 smaller than o?
False
Suppose 5*n - 4 = -3*v, 7*v - 2*v - 5*n = -20. Let x = 231 - 228.39. Let l = -16.39 - x. Which is smaller: l or v?
l
Let f = -6273 + 6276. Which is smaller: 0.0692 or f?
0.0692
Let v be (-5)/(-15) + 199/6. Let u = 10.99 + -10.89. Which is greater: v or u?
v
Let n = 29.7 + -24.6. Let a = -4.9 + n. Which is smaller: a or 0.0319?
0.0319
Let o = -233 - -236. Suppose 2*m + 0*p + 3*p - 60 = 0, 4*m + 5*p = 118. Suppose -6*j - o*j = m. Which is greater: j or -1?
-1
Let s be (-3)/145*(-820)/184992. Which is smaller: s or 1?
s
Let c(k) = k**3 + 16*k**2 + 63*k - 1. Let r be c(-9). Is r equal to 15/187?
False
Suppose 4*b + 2*b - 822 = 0. Let f = 446 - 308. Which is greater: b or f?
f
Suppose 0 = v - 0*v - 2