155591107/2701 - -57605. Is u at least 0?
False
Let x be 19199/52470*(-24)/16. Let f = 2/1749 - x. Let p = f - 59/180. Which is bigger: -6/13 or p?
p
Let g = 15 + -22. Suppose 3 + 5 = 2*q - 2*v, -5*q + 16 = -v. Let c be q/(63/6) + 436/(-56). Is g less than c?
False
Let b(g) = 20*g + 107. Let k be b(-3). Let z be -1*(-52 + 5) + -3. Which is bigger: z or k?
k
Let l = -24700/7 - -121746265/34503. Is -1 > l?
False
Suppose -93*u = 13*u + 106. Which is smaller: u or -2/429?
u
Let x be (14 + (-40 - -20))*(-1748)/(-3). Which is smaller: x or -2?
x
Let n = 18.32 - 17.8. Let x = 0.55 + n. Let u = 32.9 - 33. Is u smaller than x?
True
Let a(k) = 81*k + 599. Let p be a(-7). Is p less than 228/7?
True
Let q = -57 + 15. Let b = 0.077 + 36.923. Let j = b + q. Is j less than or equal to 0?
True
Let q = -70 + 23. Let p = q - -47.3. Let h be (-237)/(-39) - 2 - 4. Which is bigger: h or p?
p
Suppose 9*g + 50 = 302. Suppose -g*n + 36*n - 3888 = 0. Is n greater than or equal to 485?
True
Let n = 4.5 - 1. Let y = 10 - n. Let r = 6.53 - y. Is r at least -0.3?
True
Suppose 3*q - 113 - 165 = 2*r - 5, 5*r = 0. Which is greater: 38 or q?
q
Let o be 4 + (-27859)/1419*(-30)/(-150). Let r = -1/1419 + o. Which is smaller: -0.1 or r?
-0.1
Let s = -1.4183 - -22.4183. Is s smaller than -11?
False
Let u be 5263596/(-520) + (-9)/(-30). Which is smaller: u or -10123?
-10123
Let f = -3463 - -6679. Is f at most as big as 3214?
False
Let b = 510 + -461. Let l be (483/b)/(((-6)/(-2))/3). Are l and -2/3 nonequal?
True
Let c = -62 + 70. Let p be 8/(-2) + c + 3 + 0. Let k be (0/(-2))/(p - 6 - 5). Which is smaller: k or -2/305?
-2/305
Suppose 4*m + 133 = 5*u, -2*m - 71 = -3*u + 2*u. Suppose -19571 = -17*n - 55. Let f = n + -1185. Are m and f equal?
True
Let b be (-23)/(-5)*15/(-6). Let a(g) = -38*g - 1836. Let c be a(-48). Which is greater: c or b?
b
Let b = -4916 + 3527. Which is bigger: b or -0.1?
-0.1
Let x be (12/15)/((-16)/280). Let p = -11 - x. Let f be (4 - p) + 3 + -3. Is 1.4 at most as big as f?
False
Let g be (-685 + 704)*2/(-1). Which is smaller: 55 or g?
g
Let w be (-722)/1805*((-4)/(-22) - (-1821)/(-33)). Which is smaller: -0.358 or w?
-0.358
Let u be -9 - 77184/(-8624) - 2/(-22). Are 1.53 and u non-equal?
True
Suppose -5*x + 90 = 790. Let a = -125 - x. Let o be ((36/(-5))/(-9))/((-1)/a). Is -53/5 > o?
True
Let t(d) = d**3 - 7*d**2 + 6*d + 5. Let v be t(5). Let z be (2/4)/(v/6). Let b = -0.67 - 0.33. Which is greater: z or b?
z
Let s(f) be the third derivative of 7*f**4/24 - 5*f**3/3 + 21*f**2. Let c be s(-2). Let m be ((-37)/15 + 1)*c/(-16). Which is bigger: m or -3?
m
Let a be 2068 - (-19)/(38/(-18)). Which is bigger: 2058 or a?
a
Suppose -y = -2*q - q - 14, -3*y + 2*q + 14 = 0. Suppose -y*k = 4*k - 18. Suppose k*d + 2*l + l + 96 = 0, 0 = 4*d - 5*l + 101. Are -29 and d equal?
True
Suppose -304*i - 227686 = -1413286. Is i greater than 3902?
False
Let n = 8 - 10. Let c be (-36)/18*2*n/8. Which is bigger: -5/73 or c?
c
Let d = 19390.9 + -19391. Let t = -5 + 209/42. Which is smaller: d or t?
d
Let b(t) be the first derivative of -3*t**2/2 - 4*t - 2. Let y be b(2). Let v = 17 - y. Which is greater: 25 or v?
v
Let a(d) = -d**3 - 30*d**2 - 2*d - 58. Let l be a(-30). Is 29 not equal to l?
True
Let w be 8 - (-1 - -9) - (-3)/(9/1068). Is w smaller than 1784/5?
True
Let c be ((-48)/40)/((-5)/(-300)*-3). Let q be 3 + -2*(-21)/(-6). Let z be (8/c*-76)/(q/(-18)). Is z less than or equal to -114?
True
Suppose 630 + 162 = -6*c. Let b = -132 - c. Suppose -5*g - 56 = -0*g - 2*w, g + 4*w - 2 = b. Which is smaller: -5 or g?
g
Let k = 21 + -11. Let c = k - 10.6. Let w be ((-1)/10 - 1431/(-810)) + 8/(-12). Is w less than c?
False
Suppose -11 = -w + 4*i, -2*i + 2 = 2*w - 0*w. Suppose -w*t + 191 = b + 44, -3*t = -2*b - 138. Let r = -49 + t. Is 1/18 < r?
False
Let o = 22 - 13. Let x be o/((-36)/(-16)) + 1. Suppose -5*y - 25 = x*j, -6*y + 5*y - 5*j - 25 = 0. Which is smaller: -4/11 or y?
-4/11
Let y = 1887 + -2374. Do -487 and y have the same value?
True
Let f be (48/12 + -9)*(5 - 2). Is 49 greater than f?
True
Let p be 22/1749 + (3 - (-21)/(-9)). Let z = 430/477 - p. Let t = 52 + -37. Which is greater: t or z?
t
Let m be (722/4 + 1/(-2))*-1. Let c be (-108)/m + (-1201)/(-15). Is 81 greater than or equal to c?
True
Let q = -3232/18241 + 5/29. Which is greater: q or -4?
q
Let w = 37045 - 517921/14. Are 51 and w non-equal?
True
Let u = -502 - -1027/2. Let i(g) = -8*g + 108. Suppose 2*a - 28 = w, 2*a + 40 = 6*a + 2*w. Let n be i(a). Is u at least as big as n?
False
Let v = 6780 + -6786. Let m = 31/80 + -3/16. Which is smaller: m or v?
v
Suppose -12795 = 28*j + 449. Is -473 bigger than j?
False
Let l(c) = 2*c**2 + 18*c - 3. Let d be l(-9). Let q be 0 + 0 - (2 - 4 - d). Let v be (-1)/(-3)*q*27/414. Are v and -1 equal?
False
Suppose -29*w = w - 1830. Let n = 59 - w. Is -21 smaller than n?
True
Let j = 445 + -452. Let y be (-12 - j) + (4 - (-1353)/(-12)). Which is smaller: -113 or y?
y
Let a be (-21 + 3714)/(-2 + 494/92). Let o = a - 1096. Which is smaller: o or -1?
-1
Let q = 4097 - 8624. Which is smaller: -4529 or q?
-4529
Let d = 166511 + -3829756/23. Let x(c) = -c + 4. Let v be x(5). Is v at least as big as d?
False
Let p = -17632 + 17640.817. Let j = -8.8 + p. Let g = j + -0.017. Which is smaller: g or 85?
g
Suppose 3*t = -t + 4. Let b be (46/115)/((-294)/15). Is t equal to b?
False
Let m = 7976.241 + -7976. Which is smaller: m or 0.12?
0.12
Let z = -557.1 + 533. Let p = 23.838 - -0.162. Let i = p + z. Which is smaller: 16 or i?
i
Let s be 4/(-10) + 64/10. Let v(y) = 31*y - 27*y - 13124 - y**2 + 13129. Let o be v(s). Are -2 and o non-equal?
True
Suppose -p + 2908 = 3*s - 3771, -3*p + 2*s = -20081. Is p >= 6689?
True
Suppose 2*y + 4*r = 20, -4*r + 3*r + 20 = 3*y. Suppose 2*f + y = 4*n, f = n - 3 + 4. Suppose n*g - 22 = 3*x, -3*g = -3*x - 7*g - 38. Is x > -11?
True
Let x = -19726 - -19725.90042. Which is smaller: -0.1 or x?
-0.1
Let g(r) = 2*r**2 + 35*r - 15. Let m be g(-18). Let t be 1/2 + (m - 16)/(-26). Which is smaller: t or -2/369?
-2/369
Let d = 1275 + -1297.16. Let q = -3.16 - d. Is q equal to -0.6?
False
Let u be (-11)/99*6/98. Let f = -198/1025 + 274873/1205400. Let m = u - f. Which is bigger: 1 or m?
1
Suppose 3*q + 2*c = 6, -9 = -28*c + 31*c. Let p(t) = -85*t + 339. Let z be p(q). Are 58 and z non-equal?
True
Let y be (-8)/10*(-40)/(-16). Let t(l) = -104*l**3 + 3*l - 2. Let h be t(1). Let x = h + 103. Which is smaller: x or y?
y
Let a(m) = -17*m**2 + 5*m - 4. Let n be a(3). Let o(r) = r - 159. Let v be o(18). Do n and v have the same value?
False
Let r = -1.6509 - 18.3491. Is 2/13 at most r?
False
Let y = -19885 + 19885. Which is smaller: y or 595/6?
y
Let h be (-87)/6 + 2/4. Suppose -i = 6*q - 0 + 76, -4*i = -3*q - 47. Does q = h?
False
Let f be (976/810)/4 - (-388)/485. Let t = 8/81 + f. Which is bigger: t or 1?
t
Suppose -12*p + 9*p + 15087 = -3*t, -5*t = -6*p + 30174. Which is smaller: p or -1?
-1
Let o be -3*3*(-272)/72*1. Are 33 and o nonequal?
True
Let t = -60 + 45. Let y = t - -109. Is y at most -1?
False
Let t = 45 - 54. Let b(d) = d + 1. Let j be b(t). Let z be (-158)/j - 36/48. Which is smaller: z or 18?
18
Let b = -1521 - 449. Which is smaller: -1974 or b?
-1974
Let h = -1295 - -9102/7. Which is smaller: h or 6?
h
Suppose 20*m + 42 = -38. Do -64/15 and m have different values?
True
Let i(y) = 2*y + 18. Let j be i(-11). Suppose 0 = -15*v + 10*v + 175. Let m = j + v. Which is bigger: m or 30?
m
Suppose 23*j + 15 = 26*j. Let c be (2 + -7)/(2/(-2)). Let d(p) = p**3 - 6*p**2 + 5*p + 7. Let o be d(c). Is o < j?
False
Let q be 5180/(-78144)*3/(-10). Are 1 and q unequal?
True
Let n = 20/19 - 1. Let r = n - 67/190. Let d be 0/(-4)*(2 - (3 - 2)). Is d at least r?
True
Let g be 15/(-35) - (-96)/28. Let n be (-5)/1 - (g + -5). Let c = n + 5/2. Which is bigger: -2 or c?
c
Let j = -314.6 - -320. Let c = -5.1 + j. Which is greater: -0.47 or c?
c
Let b = -8881.6465 + 8884. Let g = -0.0535 + b. Do -2/7 and g have the same value?
False
Let z(g) = g**3 + 18*g**2 - 19*g + 1. Suppose 10*q = q + 90. Let m be 72/180 + -97*2/q. Let w be z(m). Is w less than 1?
False
Let o = -0.7 - -0.4. Let j = 0.096 - 2.496. Let l = j - o. Which is greater: 1/3 or l?
1/3
Let i = 441 + -154. Let p = i + -329. Are p a