/6*n**3 + 3/2*n**2 + 22*n + 0. Let y be s(-1). Which is greater: y or 0?
0
Let j be 6*(1 - 3)/(-2). Let h(w) = w**3 + 7*w**2 - 63*w - 398. Let u be h(-9). Suppose 41 + u = -j*z. Which is smaller: z or -10?
-10
Let c = -3/2 + 2. Let t = 444859 + -444773. Which is bigger: t or c?
t
Let j = -11439.9 + 11440. Which is smaller: 3599 or j?
j
Let i = -1/71759 - 142915/43270677. Let w(n) = n**2 + 3*n - 4. Let y be w(-4). Is i bigger than y?
False
Let y be (4 + 44382/(-11100))*(-4)/(-21). Which is bigger: -1 or y?
y
Suppose 4*t - 49 + 5 = -2*k, 3*t - 47 = -2*k. Suppose 17 = 9*d - k. Suppose 185 = -d*i + 5*f, 0 = 5*i + 5*f - f + 194. Are i and -36 equal?
False
Suppose -2*y + 3*c = 780, 2*y - 4*c + 788 = -3*c. Suppose -5*d - 1970 = -5*p, -2*p - 1977 = -13*d + 18*d. Which is bigger: d or y?
d
Let s(u) = 3*u**2 + 8 + 3*u**2 - 5*u**2 - 7*u + 5*u**2 + u**3. Let o be s(-7). Is 9 > o?
True
Suppose -3*g + 12*g + 27 = 0. Let m = -467 + 466. Do m and g have the same value?
False
Let j = 9943 - 10505. Is j < -562?
False
Let x = -7620.8 - -7540.597. Let t = -0.203 - x. Is 0 less than or equal to t?
True
Let t = -646759/760 - -851. Is t less than or equal to -0.1?
False
Let p = -10797 + 10863. Which is smaller: 154 or p?
p
Let r(i) = -78*i + 114. Let z be r(6). Let k = 354 + z. Is 4/211 less than or equal to k?
False
Let a = -6571 + 6198.1. Let q = a - -405. Let v = q - 32. Is -21 != v?
True
Let q = -1.42 - 2.27. Let j = q + -0.31. Is j greater than 0.7?
False
Let j(f) = -780*f**3 - 2*f**2 - 2*f. Let b be j(-1). Let v be -4 + (2/(-13) - (-3006)/b). Let t = -3 + 2. Which is bigger: t or v?
v
Let d be (-22 + 16 - (1098/(-39))/3) + 0. Suppose 0*x = -2*x + 6. Which is greater: x or d?
d
Let r = 0.014 - -49.986. Let u = 57 - r. Let t = u + -7. Which is smaller: 33 or t?
t
Let i be -15*(2100/(-18) + 6). Suppose -3*d + i = 17*d. Which is smaller: 85 or d?
d
Let r be (10726 - -11) + ((-4)/10)/(18/(-180)). Is r less than 10741?
False
Suppose s = -2*o + 5*s - 4, -4*s + 40 = 4*o. Let u = -35.054 + 0.054. Let d = u + 34.7. Is o bigger than d?
True
Let f be 0 - (-6 + ((-1)/1)/(-1)). Suppose -5*z + 4*q - q = 112, -f*q = -4*z - 100. Which is greater: z or -19?
-19
Let b = -99 - -100. Suppose -1 - 2 = -s - 2*x, 24 = 5*s + x. Suppose -3*v + 3*t - 15 = 0, 3*v + 3*t = 20 - s. Do v and b have the same value?
False
Let n = 335/25341 - 57231002/21919965. Let p = 2/865 - n. Let b = -3 + p. Which is bigger: -2/9 or b?
-2/9
Let d be (-214)/(-14) + 12/(-42). Suppose -99 + d = -6*g. Let u be g/(-56) - 42/8. Is u less than -7?
False
Suppose -2*t - 9 = 15. Let s = t + 27/2. Suppose -2*w - x = -1, 7*x = 5*w + 4*x - 30. Which is smaller: s or w?
s
Suppose -2*w + 2 = 5*s, -22 = -3*s + 5*w - 27. Suppose s = -4*d - 22 + 18. Let a = -272 + 1900/7. Which is bigger: d or a?
a
Let c = 135/1817 + -2/23. Let l be 6/1 + (-28 - -23). Is l less than or equal to c?
False
Suppose 3 + 24 = 3*z. Let c = -39 + 18. Let b = -19 - c. Which is bigger: z or b?
z
Let f be 2 + (3 - (-1 - -2)). Let d(y) = -22 - f + 3*y - y - 21. Let s be d(20). Are s and -4 unequal?
True
Suppose 2*r - 5*b - 25 + 5 = 0, 5*r = 4*b + 16. Suppose -44*i + 2736 = -38*i. Let t be (10/14)/(i/(-84) - -6). Which is bigger: t or r?
t
Let f be ((-2)/(-7 + 5699/814))/1. Is f smaller than 0?
True
Let p = -56 + 61. Suppose p*a = -157 + 137. Is -0.2 greater than a?
True
Let j = 1.2 + -1. Let o = 60689/3 - 20238. Which is smaller: o or j?
o
Let o be (95/(-15))/((-1)/6). Let r be (-157275)/1620*6/(-15). Which is bigger: r or o?
r
Let a be 1 - (32850/(-3295))/(-10). Which is bigger: a or 0?
a
Let y = 108 + 214. Let w = y + -323.936. Let h = -0.064 + w. Which is smaller: h or 9/4?
h
Let n(t) = -t**2 + 4*t - 5. Let g be n(3). Let f(s) = -150*s**3 - 2*s**2 + 5*s - 4. Let o be f(1). Let a = o - -152. Which is greater: a or g?
a
Suppose -15*y = 36498 - 213. Which is smaller: -2421 or y?
-2421
Let j = -3343/6 - -8116807/14568. Are -1 and j equal?
False
Let p be 75/30*12/(-90). Are p and 648 nonequal?
True
Let z(w) = -w - 7. Let k be z(-3). Let y = k + 27. Suppose 9 = -5*v + 5*s + 34, 3*v = 5*s + y. Does -2/25 = v?
False
Suppose 20*w - 2*x = 4950, -1260 = 48*w - 53*w - 4*x. Which is greater: 249 or w?
249
Suppose -3*u + 12 = 4*t + 13, 0 = -4*u - 4*t. Is 1/69 at least as big as u?
False
Let k = 106.06 + -112.06. Which is bigger: 99 or k?
99
Suppose 0 = -5*v - 4*m + 28, -3*v + 0*v = 3*m - 15. Let t be -4*(14/v)/(-7) + 3. Let k be (t/(-2))/(-89 - 4). Which is greater: 1 or k?
1
Suppose 4*m + u = 2274, -5*m - u = -7*m + 1140. Suppose m*f + 3 = 572*f. Which is smaller: f or 8/37?
8/37
Let m be 2/(-4) + 27738/(-528) - 1/11. Which is bigger: 1/3 or m?
1/3
Suppose 138 = 5*i + 3*r, 2*i + i + 4*r = 85. Is -12 at most i?
True
Let k be 30/80 + 335/(-40). Which is smaller: k or -61?
-61
Suppose -2*o + 5*t = -1044, -2*t - 941 = 39*o - 21896. Let s be -1 - -1 - (-538 - -1). Is s < o?
False
Suppose 51*j + 4 = 7 + 48. Is j at least as big as 33/326?
True
Let r = 541 - 509. Let d(s) = 4*s**2 - 3*s + 6. Let c be d(6). Suppose -c = -15*y + 11*y. Which is greater: y or r?
y
Suppose -x + m - 10 = 0, -15*x - 19*m = -11*x - 98. Is x smaller than -2?
True
Let q = 4401.1 + -4402. Is q equal to 148?
False
Let a = -3004 + 3006. Which is bigger: -192.3 or a?
a
Suppose 13931 + 34598 = 169*w - 68757. Which is bigger: 3466/5 or w?
w
Let w = 1.1241 - 1.2241. Let n be (234/297)/(16/(-14)). Let o = 2/33 - n. Is o < w?
False
Let g = 12417/2 - 6041. Are 167 and g unequal?
True
Suppose -3*k + 50 = 2*a + 146, 0 = 3*a - k + 155. Suppose -1150 = 5*q + 18*q. Which is bigger: a or q?
q
Let r be (-510)/171 + (608/(-12))/(-19). Is r != -11.2?
True
Suppose 385 - 1031 = -19*z. Suppose 3103 - 485 = -z*n. Is n bigger than 2?
False
Let l(y) = -24*y**2 - 6*y - 12. Let q be l(-3). Let a = q - -7. Which is bigger: a or -204?
a
Suppose 2*n + 3704 - 45465 = 5*c, -2*n - 25047 = 3*c. Let l = c + 42072/5. Let v = 63 - l. Is v less than -0.07?
True
Let m = -8346 + 8218. Which is greater: -116 or m?
-116
Let o = 2676213078984801243/24655073442746 + -26316614639/242446. Let s = o - 1088/22909. Let i = s + 5/193. Which is smaller: i or -1?
-1
Let s = -16 + 49. Suppose -14590 + 14942 = 11*c. Are s and c nonequal?
True
Let y(p) = -4 + 3*p**2 - 5*p**2 - 9 - 12 + 15*p. Let r = -1479 - -1488. Let z be y(r). Is -53 at most as big as z?
True
Let v = -22 + 5. Let y be -3 + 3 + -3 - (v + 1). Suppose -19 = -p - y. Are 7 and p nonequal?
True
Let u be (-1 - -2) + 333/(-335). Let p = -57814 + 57814.1. Is p < u?
False
Let i = 635 + -7615/12. Suppose -35*k - 15 = -40*k. Suppose -h + 3*s - 3 = -2, -2*s = 3*h + k. Which is smaller: h or i?
h
Let a = -175486 + 2278606/13. Are -208 and a equal?
False
Let a be 319*((5 - 0) + -4). Suppose -37*j + a = -8*j. Which is smaller: 14 or j?
j
Suppose -164543 - 104344 = -277*y - 69447. Is 2156/3 at most as big as y?
True
Let s be (-6)/76*230/(-1725). Let c(z) = z**2 + 9*z - 9. Let u(n) = -n**3 + 10*n**2 - 11*n + 8. Let p be u(9). Let w be c(p). Are s and w unequal?
True
Let v = 45 + -61. Let i be 1 + (-6)/3 - -2. Let b be i/6 - v/(-24). Which is bigger: b or -2/3?
b
Suppose 10*m - 3*m = -203. Let d = m - -97. Suppose 0 = 73*t - d*t. Are -11/8 and t non-equal?
True
Let h(b) be the second derivative of -b**4/12 - 7*b**3/3 + 23*b**2/2 - 16*b. Let m be h(-14). Suppose -o = -0*o + m. Which is smaller: o or -25?
-25
Let q = -19 - -22. Suppose 0 = -q*b - 2*x - 100, b - 174 = 6*b - 4*x. Let u = 33 + b. Is u greater than -2/37?
False
Suppose -c + 2*c = 1, -5*c - 25 = -5*k. Suppose -k*y + 124 = -68. Which is smaller: y or 1?
1
Let y(f) = -f**2 + 45*f - 265. Let b be y(38). Is b smaller than 3/623?
False
Let n(i) be the second derivative of i**3 + 1/20*i**5 + 3/4*i**4 - 2*i + 0 - 5*i**2. Let f be n(-8). Are 9 and f equal?
False
Let g = -3870 - -73532/19. Which is greater: g or -0.9?
g
Let o be 12/(-14) - 12608/(-8960). Are o and -2 nonequal?
True
Suppose -4 = -g - 3. Let i be ((-1)/58)/((-539)/(-147) - 2*2). Is i < g?
True
Let s = -5393 - -5394. Which is bigger: s or 2/15185?
s
Let s be (11 + -11)/5 + (458 - 0). Let v = s + -4123/9. Which is smaller: v or -3?
-3
Let a(c) = c**3 + 6*c**2 + c. Suppose 5*u + 6 + 19 = -5*b, -5*b - u = 13. Let k be a(b). Let n be (8/k)/4*(1 - 3). Which is greater: n or -3/19?
-3/1