
Let a = 0.4911 + -26.5001. Let n = -0.009 - a. Let z be ((-48)/6)/2 - (1 + -6). Which is bigger: z or n?
n
Let b be (((-516442)/(-69))/(-103))/(1 - (-365)/(-363)). Is b smaller than 13189?
False
Suppose -4 = 4*t, 4 = -3*p + 3*t - 7*t. Let h be (p + -8)*(-3 - 2)/5. Let v be (-2)/(-11) + (-225)/(-33). Is v at most h?
True
Let n = -8060 - -7898. Which is greater: n or -2.7?
-2.7
Let p = 209 - 123. Let q = -67 - p. Which is smaller: q or -154?
-154
Let n be (-3004)/161 + (3 - 4) + 3. Let u = n - -116/7. Which is bigger: 1 or u?
1
Let m be (4/(-15))/(26/(-39)) + (-1907)/5. Which is smaller: -4936/13 or m?
m
Let v(w) be the second derivative of -w**5/60 - 5*w**4/24 + 11*w**3/3 + 6*w**2 - 6*w. Let n(j) be the first derivative of v(j). Let t be n(5). Is t at most -28?
True
Let l be 53750069/(-570)*-2*(-2)/(-24). Let x = 15716 - l. Let y = -1/20 + x. Do y and -1 have the same value?
False
Let g be -121*(10/(-4))/((-1)/(-2)). Is g less than 606?
True
Let c = -609 - -594. Let d be c + -6 + (7 - -6). Is d at most -7?
True
Let r be 6/(-225)*((2 - 4) + 169/89). Is -1 bigger than r?
False
Suppose 5*q + 2 = 7. Let f = 83319/770 + -541/5. Which is bigger: f or q?
q
Let k be 4/(-30) - (-454322)/3277140. Are 0 and k nonequal?
True
Let f = -1757 - -2513. Let b = -812 + f. Which is smaller: -48 or b?
b
Let a(f) = -f**3 + 29*f**2 - 90*f - 13. Let h be a(22). Suppose -z - h = -1394. Which is bigger: -12/25 or z?
-12/25
Suppose -22*r + 29*r - 28 = 0. Let n be (32/(-20))/(2/(-45)). Suppose 3*p + n - 45 = 0. Which is greater: p or r?
r
Let x be (5 - -1) + (-5799294)/966606. Which is greater: x or 0?
x
Let f be 0 - (8/10)/2. Let t be (-4)/(-4) + (2 - 1). Suppose 5*o + 7 = -b + 9, -b + 2 = t*o. Is o greater than f?
True
Suppose 4*d + 16 + 7 = m, m = -d - 12. Let l = -16658/7 - -2374. Is l greater than d?
True
Let j = -157.6 - -157. Let o = -0.16 + 0.142. Let m = 0.038 + o. Are j and m equal?
False
Let v = 322 + -403. Let d = -29 - v. Is d less than or equal to 2/3?
False
Let s(t) = 40*t + 7. Let a be s(0). Let z = -304 - -1554/5. Which is smaller: z or a?
z
Let c(g) = g - 2. Let y be c(-1). Let r be y - (1 + (-54)/(-20) + -4). Which is smaller: r or -2?
r
Let w be (1 + -8)*((-10)/(-7) - (-580)/(-798)). Which is bigger: -4 or w?
-4
Let w = 1.22 + 2.78. Let x = -17.8 + 25.8. Are x and w nonequal?
True
Let w be -28*3/(450/10) + 8. Is w at least 6?
True
Suppose 69*j = 63*j - 1734. Let n = j - -239. Is -48 bigger than n?
True
Let m = 10250 + -12258. Is m < -2008?
False
Let r be (-1 - -2)*19/(152/8). Is 2/155 bigger than r?
False
Let v(a) = 3*a + 43. Let b = 150 + -152. Let q be v(b). Suppose 19 - 4 = -3*n - 3*y, 5*n + 2*y = -13. Is q at most n?
False
Let c(d) = d**3 + 8*d**2 + 4*d + 33. Let o be c(-8). Is 0.05288 smaller than o?
True
Let j = -10106.2 + 10106. Which is smaller: j or 9/79?
j
Let l be 80942/210 - (-12)/28. Let t = -386 + l. Let f = 0.101 + 0.299. Do f and t have the same value?
False
Let c = 24307/2 + -12154. Is 0 at least c?
True
Let m = -123 - -117. Let u be ((-2)/m)/((-151)/(-6) - 5). Suppose 0 = 5*z - 13*z + 9*z. Is z at least as big as u?
False
Let a = -5.23 - -5.03. Let c = 1.398 + 0.022. Which is bigger: c or a?
c
Let a be (-2)/(-134) + 2 + -2. Suppose -3*i + 53 = 4*f + 62, -15 = 5*i. Are a and f equal?
False
Let r be (-1)/3 - 51578/(-163590). Which is bigger: -1 or r?
r
Let l(w) = -w**3 - 2*w**2 - 23*w - 189. Let x be l(-5). Let d = 1337491454/1871199 + 1/207911. Let c = -714 + d. Which is smaller: c or x?
c
Let l = -3550 + 3549. Is 16/31 greater than l?
True
Let n(h) = -h**3 - 89*h**2 - 1498*h - 22. Let g be n(-20). Is g > 2339?
False
Let z(y) = y**3 - 35*y**2 - 75*y + 50. Let w be z(37). Let g(o) = -o**3 + 11*o**2 + 31*o + 10. Let a be g(w). Are a and 75 non-equal?
False
Let q = -18 + 10. Let o(s) = 2*s**3 + s**2 + 2. Let k be 12/15*(-5)/2. Let y be o(k). Which is smaller: y or q?
y
Let m(a) = -3*a**2 + 167*a + 591. Let q be m(59). Is 6/3209 <= q?
True
Let l = 89 - 88. Suppose 4*k = -5*y - 10, -l = -5*k + 2*y + 3. Is -2.6 greater than or equal to k?
False
Let l(m) = m**2 + 4*m - 3. Let j be l(-5). Suppose -3*d = j*q + 46, 0*q - q - 65 = 5*d. Let o be (8/12)/((-8)/d). Is -3/2 not equal to o?
True
Let w = -77/461 - -362116/1383. Is 263 not equal to w?
True
Suppose -2*y = -6*y + 1116. Suppose -77 - 176 = -q - 5*b, -3*b = 2*q - 541. Is q at most y?
True
Let l = -3839 + 3892. Which is bigger: 2/19 or l?
l
Let f be (32/12)/((-4)/222). Let s(z) = -128*z**2 + z. Let q be s(1). Let r = f - q. Which is bigger: 1/4 or r?
1/4
Let o = 300505/1612 - -134/403. Is 188 smaller than o?
False
Suppose s = -3*j - 71, 2*j - 5*j = 15. Let w be (12/16)/(2/s). Let p = w + 22. Which is bigger: 7/6 or p?
7/6
Suppose 630 = 11*d - 19. Is d greater than or equal to 52?
True
Let v = -2/45 + 148/1305. Let g(x) = 2*x**3 + 25*x**2 + 28*x + 193. Let z be g(-12). Which is smaller: v or z?
v
Let t = -231.1 + 225. Let w = t - -6.1. Does -1/3 = w?
False
Let x be (-102)/(-3196)*(-1084)/(-6). Is 5 greater than x?
False
Suppose -19*b + 25080 = 46*b + 155*b. Which is smaller: 909/8 or b?
909/8
Let s = -10607/10899686 - -2/7819. Which is bigger: 0 or s?
0
Let u(v) = -2*v**3 - 4*v**2 - v + 3. Let y be u(-2). Let d be ((-3)/(-4))/(y/(-120)). Let i be (-3)/14 - d/108. Is 0.1 > i?
True
Let x be 6/(-9)*-1 + (-4432)/24. Let n = x + 132. Which is bigger: n or -54?
n
Let f(b) = 29*b**2 - 544*b + 81. Let o be f(16). Which is smaller: o or -1213?
-1213
Suppose -5*a = -5*w + 343 + 157, 8 = -4*w. Let p be ((-52)/6)/(68/a). Is 14 bigger than p?
True
Let y be 95342/(-1398438) + 2/29. Which is smaller: y or 1?
y
Let v be (-5 + -5 + -1 + 8)*-1 + -2. Are -1/366 and v non-equal?
True
Suppose 0 = -f + 7*u - 4*u + 28, 4*f = 3*u + 112. Suppose 3*r + 20 = 8*r. Suppose 2*p = -4*b - f, -r*p + b = -2*p + 13. Is p greater than 0?
False
Suppose -5*x = 9 - 4, 3*x + 271563 = 3*n. Let f be 22/18 + -1 - n/(-657). Which is smaller: f or 139?
f
Suppose 12 = 82*k - 79*k. Suppose 88 = 4*d + 2*m, 5*m = d - k*d + 73. Is 20 less than or equal to d?
True
Let o be 1/4 - (-844)/16. Suppose -25*r + 965 = -13685. Suppose -262 = -16*q + r. Is o less than q?
False
Let f = 14724 + -14657. Which is greater: f or -1/29?
f
Let w = 18002 - 18512. Is w bigger than 0.6?
False
Suppose 83 = h - 5*o, 2196*h - 495 = 2191*h + 5*o. Which is greater: h or 100?
h
Suppose -2341*j - 8*g - 208 = -2337*j, 206 = -5*j - 4*g. Suppose -d + 58 + 8 = 0. Suppose 0*u - 2*u = d. Which is smaller: u or j?
j
Let l be (2/8)/(17/37060). Is 544 at most l?
True
Let a = 7760393/368 + -21088. Is 1 smaller than a?
False
Suppose 9*y - 4*y = 5*w + 25, -y - 3*w + 9 = 0. Suppose -32*b + 27*b = 2*r - 5, -5*b + 5 = 4*r. Suppose y = 7*a - b. Which is bigger: a or 1/38?
a
Let p = -317 + 400. Suppose -92*a = -p*a - 36. Is 39 > a?
True
Suppose -3*n = 2*g - 470, 0 = 56*n - 55*n + 2*g - 162. Is 153 at least as big as n?
False
Let q = 11479/18828 + 3/2092. Are q and -0.9 equal?
False
Let q(m) = -m**3 - 46*m**2 - 54*m - 67. Let o be q(-45). Is 337 at least o?
False
Let j = 27.7 - 0.9. Let l = j + 20.2. Is -0.2 < l?
True
Let w be ((-7)/57)/(249/41085). Which is bigger: -19 or w?
-19
Let o = -199.91 - -200. Let r(s) = 5*s**3 + s**2 + 3*s + 2. Let p be r(-1). Let t be (-16)/(-64)*(-12)/p. Is o < t?
True
Let w = -4259.7 + 4269.7. Is 1/19 greater than or equal to w?
False
Suppose -3*o + 242 = -304. Let i = 181 - o. Is i >= 3/34?
False
Let q = 2132369/211 - 10106. Suppose 5*c - 2 = 3*v, 0 + 2 = 4*v - 2*c. Is q at most as big as v?
True
Suppose -3322 + 1118 = 4*a. Let k = 560 + a. Which is smaller: 6 or k?
6
Let f = -45 - -43.9. Let k = 2 + f. Let v = 4.9 - k. Does 3 = v?
False
Let k = 418 + -275. Let w = k + -106. Is 35 != w?
True
Let t = 1468 - 1457. Is -576 > t?
False
Let t be (-49)/(784/(-1280)) + -23. Which is smaller: 77 or t?
t
Let n(z) = -z**2 + 4*z. Let t be n(5). Suppose -608 = -40*g - 1968. Do g and t have different values?
True
Suppose 697*v = 346*v + 269*v. Let w = 10850137/105 + -103336. Let i = w - 1/15. Which is greater: v or i?
v
Suppose -10*s + 19 = -61. Let c(v) = -v**3 + 8*v**2 + v - 12. Let r be c(s). Are r and -54/13 non-equal?
True
Let f(z) = 2*z**2 - 6*z - 17. Let s be f(4). Let u be (-99)/10 + (-10)/20. Which is bigger: u or s?
s
Suppose -4*g = -4*o + 2*o - 6, -2*g 