ue
Let t be (-170)/56 + (5 - 2). Let d = 577.7 + -584.7. Which is greater: d or t?
t
Let v be (((-124)/(-20) + -6)*-12)/(2/55). Let o = 173 - 243. Which is smaller: v or o?
o
Let h = -114 + 81. Let q be (-11)/h + 70/(-3). Which is smaller: -24 or q?
-24
Let v(i) = -2*i**2 + 45*i - 304. Let g be v(6). Which is greater: -143 or g?
g
Suppose 8 - 4 = 2*d + 5*w, -5*d - 2*w + 10 = 0. Let r be (-42)/(-30) - d/5 - 1. Is -1/66 < r?
True
Let h(u) = 2*u + 5. Let d be h(-5). Let b(i) = -i**2 + 13*i + 17. Let l(j) = -4*j**2 + 39*j + 51. Let t(c) = 7*b(c) - 2*l(c). Let k be t(-11). Does d = k?
True
Suppose 7*v + v - 24 = 0. Let n(t) = t - 5 + 10*t**2 - 24*t**v + 4 - 3*t**2 + 26*t**3. Let x be n(-3). Is x > 7?
False
Suppose 13 - 1 = 3*i. Suppose -i*h = -18 - 2. Suppose 0*x - h*x = 45. Which is smaller: -8 or x?
x
Let x = -1.5 - -1.5. Let k = x - 17. Let t = 30 + k. Is -0.1 >= t?
False
Suppose -33*s = 10*s - 3*s + 36*s. Which is bigger: -2/179 or s?
s
Let h(j) = -j**3 - 32*j**2 - 241*j + 3. Let w be h(-12). Which is smaller: w or 109/8?
109/8
Suppose 0 = -5*j - 5*v - 3300 + 24300, 21024 = 5*j - 3*v. Which is bigger: 4202 or j?
j
Let z be 75/(-45)*(-1)/1*3. Let h be (-3)/(-8)*(-2)/z. Is 0 >= h?
True
Let i be 2/(-7)*(-714)/51. Suppose -t + 3*t - 4 = 0. Suppose s - 2*b - 5 = 0, 0*s = 2*s - t*b - 12. Which is smaller: i or s?
i
Suppose -150 + 41 = -29*x - 80. Is x > -1/419?
True
Let c = 102.178 + -103.89. Is c <= -2/49?
True
Let z(k) = 142*k**2 + 1. Let x be z(-1). Let p = x + -33. Let q = p + -118. Is -4 at most as big as q?
False
Let m = -271.6 - -35.6. Let n = m + 206. Is n less than or equal to 0.2?
True
Let b = 104153 + -207827/2. Let t = 265 + -25. Which is smaller: t or b?
b
Let l = 115/377 - -9/29. Let o be -4 + 81/10 + (-10)/(-25). Is o at least l?
True
Let f = -916 + 457. Is f greater than -2?
False
Let p = 1244 + -1243. Is 1074 at most as big as p?
False
Suppose -1540 = -4*v - 2*s - 2*s, 5*s = -3*v + 1155. Let j = v + -148. Let z = j + -3077/13. Which is greater: z or -1?
z
Suppose -f + 4*q - 51 + 18 = 0, 0 = -4*f + q - 12. Is 8/5547 less than or equal to f?
False
Let t be (-8 - 196/(-14))/(-642 + -1). Which is bigger: t or 1?
1
Let y = 1.73442 - -0.06558. Is y != -148/5?
True
Let u = -1995.22 - -1996. Let x = 0.4 - 0.3. Is u smaller than x?
False
Let i = -2520019/4 + 630005. Let q(l) be the third derivative of l**6/120 + l**5/30 + l**4/8 - l**3/3 + l**2. Let t be q(3). Which is greater: i or t?
t
Let r be ((-6)/(-9))/(46/621). Suppose -h + 0 = -8. Suppose w - 3*d = -h, -3*w + 2*d = -3*d + 16. Which is greater: r or w?
r
Let u be (0 - 80)*14/(-140)*256. Is u greater than 2048?
False
Let i = 177 - 173. Let m be (i/9)/(6/27). Let l be (10/6)/(21/9). Which is smaller: m or l?
l
Suppose 0 = -2*c - 3*q - 9 + 119, 5*c - 2*q - 218 = 0. Which is smaller: 852/19 or c?
852/19
Let p be (-844)/122*(1085/35 + -32). Is 6 bigger than p?
False
Let t = 0.4 - 0.3. Let c = 20407 - 20381. Is c less than or equal to t?
False
Suppose -l + 6 = 3*r, 0 = -r + 2*l - 36 + 24. Are r and -301 equal?
False
Let v be 6/(-2) + (-457825)/(-41010). Let h = v + 4/1367. Let u be (-8 - -7) + 8/1 + 1. Is u > h?
False
Suppose 360 = 22*w - 7*w. Let d be ((-4)/(-6))/((w/(-18))/4). Is -3 smaller than d?
True
Let m(f) be the first derivative of f**3/3 - 3*f**2/2 - 55*f - 94. Let x be m(-6). Let u = -150 + 3601/24. Is u at least x?
True
Let z = -0.07 + -0.93. Let g be (-3)/(-102)*(-19 - -21). Is g less than z?
False
Suppose -164359 = 8*p + 27*p - 82*p. Which is smaller: p or 3499?
p
Let d(s) = 453*s + 4*s**2 - 3*s**2 - 455*s. Let o be d(5). Let w = o + -19. Are -9/2 and w unequal?
True
Let b = 453 + -452.9264. Let c = -0.0264 - b. Is c smaller than 42?
True
Let n be (-2)/(-4)*(-1 - -1). Let q(i) = i**2 + 3*i + 13. Let s be q(n). Let g be (-2)/((-4)/2) + s/13. Is g at least 17?
False
Let k = 19760 - 19760.02. Is k at most 2/153?
True
Let s = -9 - 216. Let w be (-4)/(-6)*-6*(-25)/s. Is 7 at most w?
False
Let v = -39 - -42. Suppose -15 = 3*u - v. Let q be ((-19)/228)/((-2)/u). Is 0 at most as big as q?
False
Let u be (5 + -3)/((-6)/(-33)). Suppose u*y - 2 = 10*y. Let v be (-234)/216 + y/(-8). Which is bigger: v or -1?
-1
Let u = -3/659 - -205144/42835. Let z be 2 + -1 - (-114)/26. Let l = z - u. Is 2 greater than or equal to l?
True
Suppose -3*d = 2*o - 699, 4*d - 5*d = o - 232. Let l = 234 - d. Let t = 197/15 + -13. Which is greater: t or l?
t
Let h = -85 + 87.6. Suppose 0 = -v + 10*v + 432. Let d = -50 - v. Which is smaller: d or h?
d
Let t = 11501 - 57507/5. Which is smaller: t or 5244?
t
Let k(a) = a**3 + 13*a**2 + 5*a - 64. Let d be k(-11). Suppose 3*y - 2*h = -d, -4*h + 9 = -h. Is y < -39?
False
Let p = -287 - -441. Let o be (-1)/((-1)/(-5)) + p. Is o equal to 149?
True
Let t be ((-6)/(-45))/(276/(-2070)). Are 2/13399 and t non-equal?
True
Let z = -2231.251 - -2230. Let y = 0.251 + z. Is y less than or equal to 122?
True
Suppose 2*l + 13*z - 8*z - 17 = 0, -3*z = 4*l - 13. Does l = -25.38?
False
Suppose -5*t - 112 = 2*s, 2*t + 2*s = 6*s - 64. Let o be t/(-156) + (-1)/377*84. Which is smaller: o or 2?
o
Suppose 3*r + 16 = r. Let n be 2460/10*1/r. Let x = -32 - n. Is x at most as big as 0?
True
Suppose 829*m = 823*m + 30. Which is smaller: m or -10/119?
-10/119
Let j be 1*-5 + 4*3502/2808. Let s = j - -1282/50895. Let i(q) = -q**3 + 3*q**2 - 2*q + 1. Let p be i(2). Which is greater: p or s?
p
Suppose -4 = 2*y - 4*q - 6, -5*y - 2*q + 5 = 0. Let t = -8989 - -188791/21. Do t and y have the same value?
False
Let x be (1 + 1)*(-323)/9146. Which is smaller: 1 or x?
x
Suppose -235 = 22*c - 235. Which is smaller: -1/554 or c?
-1/554
Let r(q) = -585 + 1038 - 524 + 25*q. Let t be r(5). Are 163/3 and t unequal?
True
Let q = 57768350512 - 1584008171525741/27420. Let p = 25512 - 174884761/6855. Let c = q + p. Is c equal to -18?
False
Let r be (-271710)/(-117) + 16/(-52). Which is bigger: 2321 or r?
r
Let s = 37132 + -7581. Let x = s - 206208/7. Let r = x + -93. Are -5 and r non-equal?
True
Suppose 9*h - 2853 = -3*a, -21*a + 3*h - 1893 = -23*a. Which is smaller: 3771/4 or a?
a
Let c = -90 - -28. Let b(k) = -k**3 + 3*k**2 + 19*k - 7. Let h be b(6). Which is greater: h or c?
h
Let r(j) = 4*j + 6. Let a be r(-4). Let w = 430 - 103. Let q = w + -324. Are q and a non-equal?
True
Let h(b) = b**2 + 21*b + 42. Let l be h(-19). Suppose -l*x = 3*u - 5, -1 = x + u - 3. Let f be 2/6*(x + 0). Which is bigger: f or -1?
f
Let j = 3132 - 3131. Let n(u) = -2*u**3 + u**2 + u. Let d be n(-1). Let h be 30/14*d/5. Are h and j unequal?
True
Let i(c) = 5 + 20*c + c**3 + 30*c**2 + 25 + 10*c. Let x be i(-29). Is -1/30 greater than or equal to x?
False
Let q(v) = -2*v**2 + 65*v + 785. Let u be q(-11). Which is bigger: u or -175?
u
Let z be -16 + (-65936)/(-4464) + 2/(-9). Which is bigger: z or 0?
0
Suppose 23*n - 18*n = 50. Suppose 14 = r + m, 6*m = r + m + n. Which is smaller: r or -0.5?
-0.5
Let j = 46235/3 + -15412. Which is smaller: 8595 or j?
j
Let c(s) = 6*s + 4. Let f be c(-3). Let l be (-2)/f*(-1 + 0). Let n = 0.1269 - -0.8731. Is n < l?
False
Let l = -8730/7 + 1245. Let y = l + 89/35. Which is smaller: y or -321?
-321
Let l = 1.8354 + -1.9354. Which is smaller: -7845 or l?
-7845
Let i(c) = 3*c + 38. Let l be i(10). Let x = l - 68. Do 6/31 and x have the same value?
False
Let q = -415270 - -5586709/13. Let u = q + -14469. Is 9 at least as big as u?
True
Let x = 16045 - 16434. Is -381 at most as big as x?
False
Let b = -33.2316 + 0.0316. Let p = 33.3 + b. Which is greater: p or -0.492?
p
Suppose 12 = 3*o - 18. Let c be -3*10/75 - (-4)/o. Let x(y) = -y**3 + y**2 + 3*y + 8. Let d be x(c). Is d smaller than 10?
True
Suppose 2 = 2*a - 16. Let l be (-6)/4*(-63 - a). Which is greater: l or 109?
109
Let c = 9.043 + 772.957. Does c = 3?
False
Let d be (-3 - -9 - 9) + 2169/729. Which is smaller: 0 or d?
d
Let m = -137.983 + 138. Let d = 53.017 - m. Let i = 53.2 - d. Is i less than -0.16?
False
Let i(n) = -423*n - 2548. Let s be i(-6). Which is smaller: s or -153?
-153
Let a(f) = -f**3 - 20*f**2 + 102*f + 62. Let p be a(-24). Which is smaller: -85 or p?
-85
Suppose 27*t = 19*t - 632. Which is smaller: -24 or t?
t
Let m be ((0 - -2) + 2)*(71 + -16 + -15). Are m and 183 equal?
False
Let j(y) = -y**3 + 14*y**2 - 32*y - 7. Let b be j(11)