 x be -1 - -1 - 1 - -2. Let u = x - 9. Let c(o) = -o**2 - 9*o - 3. Let g be c(u). Which is smaller: 2 or g?
2
Let a(s) = -s**2 - 9*s - 1. Let b be a(-9). Let h be (13/(-1) - -2)*6/2. Let l be 4 - (0 + 1 + (-117)/h). Which is smaller: b or l?
b
Suppose 4*m + 4*h + 6916 = 0, 5*m = 7*m + h + 3461. Let n be (4*(-1)/m)/((-3)/(-6)). Which is smaller: -1 or n?
-1
Let l = 34271/434782 + 5/2918. Is 0 at most l?
True
Let s = -7924 + 7537. Which is smaller: s or -1939/5?
-1939/5
Let n = -4605 + 3273. Which is smaller: -1333 or n?
-1333
Let z(w) = 2*w**2 + 8*w + 15. Let h(c) = -c**2. Let i(d) = 3*h(d) + z(d). Let f be i(7). Suppose 19*j - f*j + 3 = 0. Do j and -4 have the same value?
False
Let s = 7.497 + 54.503. Is -1/12 >= s?
False
Let t be -25*42/(-525)*41/2. Is t < 38?
False
Let s be (-66)/(-18) - (3 + 2). Suppose 8 = 2*h, 4*h = -d - h + 50. Which is bigger: d or s?
d
Let d be (27018/2052)/((-3)/(-36)). Suppose 2*k = 3*k - 159. Is k greater than d?
True
Suppose 9*b = 10*b - a - 4, 5 = 5*b - 2*a. Let z be (b - 440/(-75)) + -5. Which is greater: z or -2/31?
-2/31
Let f(y) = -8*y**3 + 3*y**2 - 4*y - 11. Let i be f(-4). Let k = i + -650. Is k equal to -88?
False
Suppose 5*r + 2*d + d = 53, -3*r = -3*d - 27. Suppose -42 = -k - 32. Is k < r?
False
Suppose -1 = i, -4*o + 8*o - 1 = -3*i. Let f be -1*o + 2/(6 + 0). Is 142 smaller than f?
False
Let l be ((-79)/(-158))/((-1)/(-698)*-1). Is -1/2 < l?
False
Let k(f) be the third derivative of -f**6/4 + f**5/12 - f**3/2 + 7*f**2 + 10. Let t be k(2). Which is smaller: t or -224?
-224
Suppose -12*r - 5*r = -16*r - 3249. Which is greater: 6499/2 or r?
6499/2
Let y(f) = f**3 + 51*f**2 - 59*f - 533. Let w be y(-52). Which is smaller: -138 or w?
w
Let k(g) = 4*g + 110. Let x be k(22). Let m = x + -48. Is 149 greater than or equal to m?
False
Let g = -14471 - -14413. Is 26 not equal to g?
True
Let k(f) = -2*f**2 - 79*f - 107. Let r be -1*((-263)/(-7) + 66/154). Let g be k(r). Let d be ((-2)/8)/((-2)/46). Which is smaller: g or d?
d
Let p(q) be the first derivative of 124*q**3/3 - 3*q**2/2 - 4*q - 36. Let a be p(-1). Is 122 at most as big as a?
True
Let w = -69.81 + 73.3. Let o = w + 50.71. Let s = o - 54. Is s greater than -7/4?
True
Let h = -17/16 + -59/16. Is -4 smaller than h?
False
Suppose 119*v - 315501 = -815301. Which is bigger: v or -4197?
-4197
Let m be (-195*(-28)/735)/(4/(-22)*5). Which is bigger: m or -9?
m
Suppose 0 = -3*l + 2*i - 4072, -i - 1348 = l + 3*i. Is -1356 equal to l?
True
Suppose 2*y = -6, -2*u + 3*y = 2*y - 3. Let o = 13/2303 + 10488/181937. Are o and u nonequal?
True
Let q = 93 - 745/8. Let r = -505.237 - -506.337. Which is smaller: r or q?
q
Let d = 7.987 + -8.187. Is -126 at least as big as d?
False
Suppose 5*d = 12*d + 42. Let m = d - -336. Let u be (-6)/(m/125) + 2. Which is greater: -1 or u?
u
Suppose 5*c = 5*l + 949 + 3156, -5*c = 5*l + 4175. Are l and -4144/5 equal?
False
Let x = -1.3543 - -1286.3543. Are x and -6 non-equal?
True
Suppose -26 = 8*s - 10*s. Suppose 0 = 12*f - s - 107. Is 14 less than f?
False
Let m = 43655 + -24403. Which is bigger: m or 19251?
m
Let h = 401 - 13599/34. Are 0 and h equal?
False
Let w = -8933.1 - -8933. Let c = 0.0106 + -293.0106. Is w at most as big as c?
False
Let q = -2821 + 2820. Is -38/221 greater than q?
True
Let n be 11902168/(-102)*2/(-44) + 5. Let k = n + -5309. Which is bigger: 0 or k?
0
Let u = -3224/23 + 140. Which is bigger: -4 or u?
u
Let s(p) = -70*p**2 + 3*p + 122. Let y be s(-7). Does -3329 = y?
True
Let s(o) = -2*o**2 - 10 + 9*o**2 + 8 + 17*o + 14. Let v be s(-6). Is v > 162?
False
Let z be (352/(-2464))/(1 + -7 - 123/(-21)). Let y be (114/(-15))/(914/749720). Let g = -6234 - y. Which is bigger: z or g?
z
Let w be 7 + (-61716)/5142 - 25/(-5). Is 1 < w?
False
Let x = 3/2506 - 27617/42602. Let r(l) = -l**2 + 5*l + 4. Let i be r(6). Which is smaller: i or x?
i
Suppose 0 = 4*t - 4, 2*c = 3*t + 3 - 2. Suppose -12 = 3*n - c*o, -n + o - 8 = n. Are n and -5 non-equal?
True
Let u be (4/2 + -3)*12. Suppose -29*m + 845 = 1019. Which is smaller: m or u?
u
Suppose -193*t + 179*t - 305*t = 5636411. Is -17669 at least as big as t?
True
Let y = 145 - -209. Let a = -147 + y. Is 0.1 > a?
False
Let g = -13/426 - -3241/3834. Let v = -14/27 - g. Let m = 1 - 2. Is v smaller than m?
True
Let q = 4096 + -4144. Let u = -1 - -0.3. Let o = u + 0.6. Is o at most as big as q?
False
Let t be (((-69540)/75)/(-19))/(4/(-50) + 0). Which is bigger: -0.1 or t?
-0.1
Let z be -2 + (-12)/(-5) + 30/(-75). Suppose z = -2*q + b + 68, 43 = q - 9*b + 4*b. Which is greater: q or 133/4?
133/4
Let o = -5478 + 5477.9. Is 2/863 at most o?
False
Let b(u) = -u**2 + 2*u + 19. Let f be b(6). Let v(m) = m**3 - 24*m - 10. Let y be v(f). Is -8 bigger than y?
True
Suppose 2*k = 3*a - 1553 + 389, 3*a - 2340 = 4*k. Let d be k/(-8)*(0 - (-8)/3). Let x be ((-42)/d)/(6/8). Which is smaller: -2/19 or x?
x
Suppose -y = -5*y - 4*h - 76, -4*h = 16. Suppose 7*c - 12 = 3*c. Let b be 120/(-32)*(c + 1). Is b smaller than y?
False
Suppose -2*q + 122 = 4*r, -q + 0*q = -r + 32. Let m = -88 + r. Let z = 41 + m. Is -18 not equal to z?
True
Let t = 1522 + -1893.2. Is 1 not equal to t?
True
Let x = -6527 - -7693. Which is greater: x or 5824/5?
x
Let f be (-2 - 2/(-2))*-5. Let d = 0.77978 + 31.22022. Is d bigger than f?
True
Let d(y) = -y**2 + y. Let w(j) = -2*j + 19*j - 4*j + j - 5*j**2 - 12. Let x(z) = -6*d(z) + w(z). Let s be x(-9). Which is greater: s or -30/7?
s
Let y = 19823/5 - 4016. Let t(p) = -50*p**3 - p. Let b be t(1). Let k = b - y. Which is smaller: -1 or k?
-1
Let o = -11285 + 11286.6. Is 604 greater than o?
True
Let h(k) = -3*k**2 + 86*k - 409. Let m be h(6). Which is greater: m or 1863?
1863
Let a be ((-225)/(-20))/(1/(-4)). Let u = a + 43. Let r be (-28)/7 + u + (-37)/(-9). Which is bigger: r or -2?
r
Suppose 9*o + o = 0. Let l = 448698 - 5829015/13. Let p = l - 312. Which is smaller: p or o?
o
Let d = 28.2 - 27.912. Let l = 0.288 - d. Let r = 2261/9 - 251. Is l bigger than r?
False
Let p(d) = -d**3 + 13*d**2 - 23*d + 14. Let w be p(11). Suppose 0 = -4*b + w - 39. Is b smaller than -47/5?
False
Let u(b) be the first derivative of 8*b - 19 - 4*b**2 + 2/3*b**3. Let s be u(4). Is 7 at least as big as s?
False
Let y be ((-640)/960)/(1/15). Is -166/15 greater than y?
False
Let h = -0.7 - 0.3. Let o = h + 2. Suppose 5*r + 5*z = -70, -5*z = -26*r - 103 - 230. Is o at least as big as r?
True
Suppose -4 = 4*c - 4*b, 30*c - 5*b = 33*c - 13. Let y = 3 + -2.58. Which is bigger: c or y?
c
Let r = 0.18 + -0.04. Let z = 8.637 - 10.637. Which is greater: z or r?
r
Let x = -172795 - -589058149/3409. Which is smaller: 0 or x?
x
Let t = -1 + 1. Suppose 4*d - 5 - 7 = t. Let c(j) = j - 5. Let n be c(d). Which is bigger: n or -5/9?
-5/9
Suppose 2 = 3*y + 5*g - 36, -4*y = -5*g - 4. Let k be 22/(-6)*(8 - 12/y). Is -22 less than k?
False
Suppose 7*i = -3*a + 2*i + 21, 0 = 3*i - 9. Let m = 3636 + -32719/9. Are m and a non-equal?
True
Let r(k) = 3*k**3 - 65*k**2 + 11*k - 213. Let u be r(18). Which is smaller: -3581 or u?
-3581
Let p = -1634 + 680. Let v = 16206/17 + p. Let m(r) = -r**3 - 6*r**2 + 51*r + 306. Let g be m(-6). Are g and v nonequal?
True
Let c be ((-32)/(-360))/(160/(-165) + -6). Is 0 != c?
True
Let n = -6642 + 7220. Is 0 at most as big as n?
True
Suppose -10*b = 27 + 13. Let s(a) be the third derivative of -a**6/120 - a**5/30 + 5*a**4/12 + 3*a**3/2 + 4*a**2. Let g be s(b). Is g < 7/9?
False
Let s be (18/4 - 0)*(-4 - 6). Let l be 48 + (0 - 2)/(6/3). Let f = s + l. Which is smaller: f or 17/5?
f
Let q(t) = -t**3 - 38*t**2 - 35*t + 63. Let f be q(-37). Is f smaller than -1/213?
True
Let a = 150611/4 + -37425. Let c = a - 20949/92. Is -1 not equal to c?
True
Suppose 3*n + 3*b - 114 = 0, -n + 14 = -2*b - 18. Suppose 8 = 9*g - 10. Suppose 4*v - n = -5*x, -v + g = x - 6. Is x smaller than 5?
True
Let p be ((-1)/((-18)/(-12)))/(394/12). Let i = 414/985 + p. Are 0 and i nonequal?
True
Let f be 816/(-1890) + 36/90. Which is smaller: f or -1?
-1
Suppose -19*x + 18*x = 3*a - 7, -a = 2*x - 4. Let r be 122/14 - a/(-7). Suppose 3*f + 21 = 3*o, f = 5*o - 0*f - 43. Is r greater than or equal to o?
True
Let d be -1 + (-8)/((-64)/296). Suppose -4*y + 12 = -6*y. Let x = y - d. Do x and -42 have the same value?
True
Let c(b) = 2