) + -3). Suppose 2*v = 9*v + g. Let z be 21/6 + -3 + 5/v. Is z at most -8/3?
False
Let o be (52448/24)/(1/24). Let m be 6 + (-334884)/o + 3/8. Which is smaller: 1 or m?
m
Suppose 4*h - 6 = 2*o + 2, 5*o = -4*h + 8. Let z be 4/(-10)*3*(-5)/(-225). Which is bigger: o or z?
o
Let w be 9 - (-546)/65*-50. Which is bigger: w or -409?
-409
Let r be (-6 - (-104)/16)*(-6 + 36/6). Is r less than or equal to -8/523?
False
Let c(l) = l**3 - 26*l**2 - 27*l - 25. Let x be (1 - 0)/((-3)/(-81)). Let a be c(x). Which is greater: a or -174/7?
-174/7
Let n = 9/7 - 11/14. Let y be 9/(-37)*(7 - ((-4290)/45)/(-13)). Which is greater: n or y?
n
Let t = -111 - -110. Let r be (t/((-4900)/(-15)))/((-5)/10). Which is smaller: -1 or r?
-1
Let g = -3307 - -3305. Which is greater: -381 or g?
g
Let u be ((-11760)/20)/(-21) - 14. Let n = 4494 + -22398/5. Which is greater: n or u?
n
Let d be 59890/28 + -2 + 2. Let g = 2141 - d. Let m = g - 11/7. Which is smaller: m or -3/5?
-3/5
Suppose -22*q - 135086 = 102304 + 3708. Is q at most -32876/3?
True
Let g(p) = p**2 + p - 31. Let d = -199 + 192. Let q be g(d). Is -2 less than or equal to q?
True
Let m = -128 - -131. Let d be 276/(-230)*m*(-4)/(-54). Let w = -4 - -3. Which is greater: d or w?
d
Let q = 0.071 + 28.929. Let j = 44.78 - -1.22. Let b = q - j. Which is bigger: b or -0.1?
-0.1
Let u be (-7733 + 83)/(156/(-8)). Which is greater: u or 393?
393
Let u = -40247 + 40245. Are 268 and u equal?
False
Let j(p) = p**2 + 23*p + 87. Let b be j(-13). Let u be ((-3)/9*-10)/(4/(-54)). Which is greater: u or b?
b
Let w = -112099/6 - -18683. Let f = 47.51 + -0.51. Which is bigger: f or w?
f
Suppose -8 = 44*x - 52. Let s be 6/12*(-8)/338. Which is smaller: s or x?
s
Suppose -3*y - 16 + 28 = 0. Suppose y*m - m - 405 = 0. Which is greater: m or 137?
137
Let y = 0.04459 + 0.95541. Let x = 19.39 + 0.11. Is x > y?
True
Let t = -13897 + 14029. Is 78 bigger than t?
False
Suppose -2*l = -f + 5, 82*f = -5*l + 87*f - 20. Suppose 2*m = -2 - 14. Is m smaller than l?
True
Let h(b) be the second derivative of b**4/12 - 7*b**3/3 - 11*b**2/2 + b - 10. Let g be h(15). Is 1/3 at most g?
True
Let w(m) = 154*m + 25. Let y be w(16). Suppose -11*x = 11993 - y. Let j be (6/(-20))/(x/120). Is 1 less than j?
False
Let j = -0.5 + 3.5. Let t = -21.7 + 48.6. Let g = -21.9 + t. Does j = g?
False
Let w(a) = 199*a**2 - 76*a + 611. Let u be w(6). Is 7319 greater than u?
False
Let q = 0.05747 + 3.94253. Which is smaller: -5.67 or q?
-5.67
Let g be 9/(-33) + (-69514)/22. Are g and -9481/3 equal?
False
Let a = 2 + -1. Let c be (1 - 2) + a*7. Suppose -37*b + c = -34*b. Is 5/7 >= b?
False
Let m(n) = -4*n - 1. Let k be m(2). Let c = 0 - k. Suppose -3*y = -3*b + 27, 0*b + 15 = b + 5*y. Which is greater: b or c?
b
Suppose -3*t - t + 38 = 5*w, 4*t - 8 = 0. Let s be (468/13)/(-4) + 13. Suppose -4*j = 2*v + 162, -w*j - 111 = -s*j - 5*v. Is j < -45?
False
Let q = 15351.61 - 15290. Let r = q + -1.61. Is r less than 0.2?
False
Suppose -4*p + p = 3. Suppose z - 82 = 4*a, 19*z + 30 = -2*a + 14*z. Let b be 15/a*(-5 + 5015/1005). Is b at least as big as p?
True
Suppose 4*k - 80 = -684. Suppose -1017*q - 108054 = -43235 + 87731. Is q not equal to k?
True
Let n(p) = -p**2 + 20*p - 60. Let c be n(15). Suppose -18*k = c*k - 396. Is 22 less than k?
False
Let g be 0 + -5 + 2256/432 + 133/(-315). Are -1506 and g equal?
False
Let g(l) = 11*l**2 + l + 44. Let o be g(-7). Let t = 599 - o. Is 23 at least t?
True
Suppose -f + 145 + 464 = 0. Let c = f + -610. Are c and -10/9 equal?
False
Let r(s) be the first derivative of s**2/2 + 21*s - 16. Let v be r(-13). Suppose g = -6*u + u - 19, 4*g - u = v. Which is bigger: 7 or g?
7
Suppose 25*y = 22*y + 108. Let m be (-19)/3 + -2 + (-24)/y. Which is smaller: -8 or m?
m
Suppose 0 = 5*j - 0*g - 2*g - 7, 2*j = -4*g + 22. Suppose 3*z - 7 - 8 = -j*s, 0 = 4*s + 3*z - 25. Which is smaller: 73/8 or s?
73/8
Let x(b) = -12 - 16*b - 4*b**2 + 6 - 9*b**2 + 2*b**2 + 42. Let h be x(4). Are -204 and h equal?
True
Let l = -2 - -1. Let y(f) = -f**3 + 9*f**2 - 7*f + 2. Let i be y(6). Let s be (44/(-66))/(i/18). Which is greater: s or l?
s
Let p = -12825 - -12825. Which is bigger: p or -1/44?
p
Let n be (-1)/2 + 5635/11086. Let x = -237/482 - n. Let g be -3 - 1/(-1)*65. Is g at least x?
True
Let t = 2944 + -2967. Which is smaller: -1/14 or t?
t
Let f be (0 + (-1 - -1))/(-1). Let g be (12 - 8)/(2 + -2 + 2). Let r be (-4)/g + (-4836)/(-2379). Are r and f non-equal?
True
Suppose -50*i = 5*g - 51*i - 1735, -2*g - 4*i + 716 = 0. Which is greater: 344 or g?
g
Let c = -82 - -224. Let f = -1351 + 1351.1. Which is bigger: c or f?
c
Let s = -51 + 30. Let u be 2599/(-115) - 15/(-25). Which is smaller: s or u?
u
Let q(c) = -13*c - 1253. Let b be q(-52). Which is smaller: -575 or b?
b
Let f = -93 + 95.76. Let m = f + -0.76. Let r = 3 + -3.06. Which is smaller: m or r?
r
Let a(p) = -p - 2. Let k be a(-18). Suppose k*m - 15 = m. Is m greater than or equal to 7/17?
True
Let w = 8537 + -8625. Is -35 greater than w?
True
Let b be 4*-7*1*(1230/60 - 21). Which is smaller: 96/7 or b?
96/7
Let w(d) = -4*d + 40. Let o be w(-8). Let m = -6205 + 6280. Which is bigger: o or m?
m
Let z(c) be the second derivative of -c**4/12 - 2*c**3 - 11*c**2/2 + 15*c. Let r be z(-11). Let a = 1/23 - 45/506. Are r and a non-equal?
True
Suppose -62 = -5*l - 3*z, 4*z = -3 - 1. Suppose 8*w = l*w. Is w > 4?
False
Suppose -6*z + z = 15. Let k = 91.2 + -84.2. Which is smaller: k or z?
z
Suppose 95 = 6*k + 5. Suppose 4 - 34 = -k*p. Suppose 5*r + 4*f + 84 = -45, p*r + 3*f + 46 = 0. Is -31 != r?
True
Let a(n) = -n**2 + 2*n + 7. Let j be a(3). Suppose 0*h + j*h - 20 = 0. Suppose v = 0, -v = h*x - 4*v - 10. Which is smaller: x or 8?
x
Suppose 15914 = -7*f - 3*z, -4*f - 4278 - 4826 = 3*z. Is -3 at most f?
False
Let x(l) = -l**3 - 53*l**2 - 104*l - 103. Let z be x(-51). Is -8/333 less than or equal to z?
False
Let q = -2285 - -2294. Which is greater: -144 or q?
q
Let z = -28.1 + 22. Let w = z - -6.3. Which is greater: w or 1/4?
1/4
Let p(w) = w**3 - w**2 - 6*w. Let d be p(0). Suppose d = -5*m + 5*b + 280, 60 = 2*m + b - 64. Is 119/2 <= m?
True
Suppose 0*c - 4*u - 122 = -2*c, -3*u = -3*c + 171. Let y = -3511 + 3565. Which is bigger: c or y?
y
Let l = 47.491 - 47.6. Let n = 0.109 + l. Which is greater: n or -2?
n
Let d = 129 + -105. Let j be 18/d + -2 - -1. Let l = -0.3 - -0.2. Is l at least as big as j?
True
Let d = 8954.57 - -220.43. Which is smaller: d or -0.2?
-0.2
Let w = -792441769/5907 + 134153. Are -0.1 and w non-equal?
True
Let o(m) = 11*m**3 + 89*m**2 + 9*m + 14. Let t be o(-8). Which is smaller: 398 or t?
t
Let n be (-128623)/(-247) + 8/52. Let x = n + -521. Let j be (-54)/36 - (-1)/2. Is j >= x?
False
Let k = -21888 - -21887. Which is smaller: 2/2843 or k?
k
Let f = -45 + 57. Suppose 3*r + f = -12. Let s be (-5)/75*(-110)/r + 1. Which is bigger: -1 or s?
s
Let t = -50 + 66. Suppose 4*x - 4 = t. Suppose 0*i - 5 = -x*i. Is i greater than or equal to 1/5?
True
Let u = 5092.9 + -5093. Is u at least 816?
False
Let d = 7/24 + -233/552. Suppose 7*l - 12 = 11*l. Let a be 30/20 - l/(-6)*1. Is d at least a?
False
Let s = 7.037 + -6.953. Is s at least -10?
True
Let k(i) = -233*i + 13 - 245 + 115*i + 92*i. Let b be k(-11). Is b > 54?
False
Suppose 17*v - 2878 - 4942 = 0. Which is bigger: v or 462?
462
Let d = 2.1 - -35.9. Let h = 211 - 97. Let i = h + -114. Which is greater: i or d?
d
Let h be (-12*(-36)/(-432))/((-2)/1028*2). Do 257 and h have the same value?
True
Let w be 4/(-18) - 197400/(-378). Which is smaller: w or 525?
w
Suppose 5*c + 3433 = c - f, c = 2*f - 847. Let a = c + 853. Let w be ((-3)/(-2))/((-6)/16). Is w greater than or equal to a?
True
Suppose 0 = -3*q - 1284 + 5709. Let j be -35*((-1490)/q - -1). Which is smaller: j or 0?
0
Let s(n) = -30*n**2 + 23 - 12*n**3 + 30*n**3 - 16*n - 16*n**3 - n**2. Let w be s(16). Which is smaller: 24 or w?
w
Let n(d) = d**3 + 9*d**2 - 15*d - 35. Let b = -252 - -242. Let s be n(b). Is 9 greater than s?
False
Let d(x) = 3*x + 1. Let z be d(-1). Let h be (4/128)/((-42)/(-168)). Which is smaller: z or h?
z
Suppose -14*h + 24 = -102. Let p = -116728 - -2451928/21. Let k = p + -148/7. Which is greater: h or k?
k
Let g = 5.04 - 0.04. Let x = 5.1 - g. Let n = -8070.2 - -8071. Which is smal